Shaduf.Research preview
USDe Risk Audit/Stopping, restoring and completing an exit

USDe Risk Audit / Authority and complete exits

Stopping, restoring and completing an exit

Permission to act, successful execution and money received are different milestones. A control can protect backing without giving every holder time—or a funded route—to leave.

Useful new source evidence; deployed verification remains partial. This continuation examines controller and candidate-oracle source, version identities and specific publication follow-ups. It contains no new live contract reads, transaction tests, reserve measurements or security certification. The 22 September documentary chapter remains a separate, unchanged account; the September 18 and 20 observations below are inherited, not refreshed.

The important question is whether the next step reaches payment

The controller reading now supports a more precise distinction between an instruction that must wait, continuing permission to invoke a function immediately, cancellation of a pending instruction and administration of those permissions. It also sharpens a practical conclusion: a fast stop does not establish an equally fast restoration. A restored permission still does not collect a loan, release a fund redemption or supply the asset needed for a customer payout. Source-supported authority; the separate payment boundary.

Two other findings change the earlier interpretation without closing its gaps. The candidate MetaOracle at two differently linked repository revisions has the same file identity, so that pointer difference cannot explain the recorded deviation mismatch. A later reviewer statement reports a fresh timelocked PSM deployment, advancing the documentary status beyond the original test-plan wording, but without identifying and verifying a funded production route. The excluded source-version explanation; the deployment statement and its limits.

For a holder, these are not abstract distinctions. An eligible redeemer can wait for service restoration while cash exists elsewhere. A borrower can need USDC before pledged sUSDe is free to begin cooldown. A local lender can receive an oracle price without a funded buyer for the collateral. The protective countercases matter too: a valid delayed instruction, a functioning unaffected operator, independent repayment funds or already-local payout stock can each help—within the part of the chain they actually serve. Notice versus complete exit; local funding conditions.

What does the controller authorize?

The newly obtained address-indexed source concerns Ethereum controller 0xe8dc0fab349ea169283c48ccfd09d797e6db7c94, not the complete Mint V2 contract. The provider returned the custom controller and the relevant inherited scheduling, access-control and call-handling bodies. A pinned public Guardian repository supplies a corresponding custom controller and its design README. This strengthens source-level interpretation; it is not an independent compilation-to-runtime match or a current enumeration of authorized actors. The connection to the USDe/Mint family remains the earlier, dated ownership and administrator evidence. Address-indexed scope; pinned public source; earlier bindings.

A scheduled instruction is not the same permission as an immediate function

In the examined source, ordinary execute and executeBatch use the inherited scheduling machinery. A scheduled operation binds its target, value, full payload, predecessor and salt, or their batch equivalents. A proposer creates that specific operation; the requested delay must satisfy the minimum at scheduling. Execution then requires an eligible executor, readiness and completion of any required predecessor. An executor does not gain permission to substitute an unrelated instruction merely because some waiting period has elapsed. Custom and inherited source.

The separate immediate entry points require a whitelist-executor role and an allowed target plus function selector—the identifier of the function being called. That is continuing permission over an action class, not an ordinary scheduled approval of every argument in a single business instruction. The target still has to enforce its own caller, argument and application constraints. The custom introduction is less precise than the function bodies about which entry points use this path; the distinction here follows those bodies. Controller source and declared design.

Controller-source interpretation read on 26 September. Actor membership and selected target permissions below remain earlier evidence—not a complete current roster.
ActionConstraint supported by the examined sourceConsequence and remaining limit
Schedule and executeThe operation has its own identity and ready time. Ordinary execution checks authorization, readiness and any predecessor.A specific notice opportunity, not a guaranteed execution date or holder payout. Earlier Safe membership does not enumerate every present executor.
Use immediate permissionA dedicated entry point checks a role and a target/function pair, rather than an ordinary scheduled payload.Can support rapid containment or admission changes. Complete Mint target checks and present permission entries remain unverified.
CancelA canceller can remove an ordinary operation in waiting or ready state; it does not undo a completed operation.Can prevent a harmful change, but can also delay a needed restoration. Current cancellers were not established.
Change whitelist policyRequires the controller itself as caller; the controller cannot be added as its own whitelisted target.Using immediate permission does not by itself grant the power to expand it. This does not prove every external target is safe.
Change the minimum delayRequires a controller self-call. The minimum for future scheduling changes; existing ready timestamps are separately stored.A displayed minimum is not immutable and does not automatically rewrite pending operations. The operation’s own schedule matters.
Grant, revoke or renounce rolesGrant/revoke requires the relevant role administrator. The custom controller rejects voluntary role renunciation.Orderly removal depends on revocation. Constructor self-administration does not prove no additional administrator was granted a role later.
Act directly on Mint V2The controller constrains calls routed through it, not every separately authorized action at a target.The 18 September Safe collateral-manager membership is a distinct path. Full current transfer, destination and authority constraints remain missing.

Behavioural basis: the four inspected controller/dependency bodies. Dated actor/target connections: 18 September control evidence. Source interpretation is not transaction testing.

There are two further qualifications. The inherited ordinary executor gate can be open when the executor role is granted to the zero address, but that does not remove scheduling conditions and its present configuration was not established. Likewise, initial constructor roles are not a current actor inventory. Neither a Safe signature threshold nor absence of a complete roster establishes organizational independence, absence of execution alternatives or a closed control path. Scheduling and role scope.

A fast stop is not evidence of a fast restart

The 18 September observations found selected immediate Mint permissions for role revocation and customer admission/removal, while the sampled grantRole whitelist entry was false. The new source reading explains why those are different authorizations. It is therefore inappropriate to assume that the observed fast revocation path also provides fast re-granting. It would be equally wrong to infer that every possible restoration must wait one day: alternate current paths and the complete Mint body remain unresolved. Dated permissions; separate execution paths.

Stopping and restoring do not use one universal clock

Stopping and restoring do not use one universal clockSource-supported distinctions, not an observed outage. A selected immediate restriction can contain activity. Restoring a route requires its own authority, target completion and usable payment resources. Cancellation does not perform the cancelled instruction, and ordinary readiness is not a completion deadline.CONTAINMENT CAN BE QUICKImmediatepermissionRevocation / admissionin the dated recordAffected route stopsA protective restrictioncan also interrupt serviceRestart isseparateRe-granting may usea different authorityRESTORATION HAS ITS OWN REQUIREMENTSValid authorityRestore or repairthe required routeTarget completionThe authorized callmust actually succeedUsable paymentInventory, admissionand the needed assetCancelling a pending instruction does not perform it.A ready instruction has no general maximum execution time in the examined source.Stopping and restoring do not use one universal clockSource-supported distinctions, not an observed outage. A selected immediate restriction can contain activity. Restoring a route requires its own authority, target completion and usable payment resources. Cancellation does not perform the cancelled instruction, and ordinary readiness is not a completion deadline.CONTAINMENTSelected immediate roleRevocation or admission changecan interrupt the affected route.A stop is not a restartRestoring authority can requirea different valid control path.RESTORATION REQUIREMENTSValid authorityRestore or repair the required route.Target completionThe authorized call must succeed.Usable paymentInventory, admission and therequired settlement asset.A cancellation does not carry outthe instruction it removes. Readinessdoes not promise completion time.
Source interpretation from the 26 September continuation; sampled immediate permissions and the separate direct collateral-manager role remain 18 September observations. Arrows show dependencies, not a guaranteed restart sequence or measured delay. Authority evidence and restoration limits.

Restoration may need another valid authorization, a scheduled operation that becomes ready, a functioning executor and a target that can complete the intended action. The examined scheduling body supplies no general maximum time by which a ready instruction must be executed. Cancelling an instruction removes that pending operation; it does not perform its business purpose, replace a replenishment or repay a waiting holder. These are source-level implications, not a reconstruction of an actual cancelled Ethena payment. Operation state and call handling.

The benefit is real: separating containment from expansion of authority can reduce damage while retaining deliberation for broader changes. An unaffected operator with usable inventory may continue to serve unaffected customers. The corresponding cost is route-specific: a legitimate customer can miss a deadline while the permission or resource their route needs is restored. No service-recovery duration, customer-priority rule or current outage was measured here.

Notice has to outlast the complete exit—not just the cooldown

An ordinary operation’s earliest readiness and a holder’s earliest cash arrival are different clocks. If an operation is scheduled at time s with required delay D, the source model permits execution no earlier than s + D. It does not require execution at that instant or bound how much later execution may occur. It also does not ensure that a holder learns of the action at scheduling. Ordinary scheduling.

For a holder using the route release collateral → begin a new cooldown → claim USDe → convert into the needed asset, a necessary timing relation is:

Cash arrival cannot precede:
notice received + time to release collateral + remaining cooldown + time to claim and convert.

This relation combines the examined scheduler with the previously established claim sequence. It assigns no measured duration to detection, repayment funding, issuer acceptance, custody release or market execution. Several steps can involve different entities and networks. A promise about one segment is not a promise about their sum. Staking and collateral-release sequence; funding and holder eligibility.

One day of notice is not one day to complete every exit

One day of notice is not one day to complete every exitAn ordinary operation has a minimum readiness delay, not a latest execution time. A holder may have to learn of it, repay debt and release collateral, begin a new cooldown, claim USDe and convert to the needed asset. The earlier controller minimum and staking cooldown were both 86400 seconds. Equal durations do not establish positive margin for these extra steps; other routes and longer delays can differ.GOVERNANCE: EARLIEST READINESS, NOT A COMPLETION DEADLINEScheduled instructionA particular operationwith a required delay24-hour minimumInherited 18 Septembersetting, not a fresh readReady to executeNot necessarily executed;not necessarily paidHOLDER: THIS ROUTE MUST REACH THE REQUIRED ASSETNotice andreleaseDetect action;repay if pledgedNew stakingcooldown24 hours indated evidenceClaim andconvertInclusion; buyeror issuer accessRequired assetreceivedNot only USDefrom the SiloEqual 24-hour labels leave no positive margin from those durations alone.Detection, collateral release and final conversion cannot be assumed instantaneous.One day of notice is not one day to complete every exitAn ordinary operation has a minimum readiness delay, not a latest execution time. A holder may have to learn of it, repay debt and release collateral, begin a new cooldown, claim USDe and convert to the needed asset. The earlier controller minimum and staking cooldown were both 86400 seconds. Equal durations do not establish positive margin for these extra steps; other routes and longer delays can differ.EARLIEST GOVERNANCE READINESSOne scheduled operation24-hour minimum in the saved18 September configuration.Ready does not mean executed.HOLDER’S COMPLETE EXIT ROUTENotice and collateral releaseDetection and repayment canprecede a new cooldown.New staking cooldown24 hours in the dated comparison;not a cash-delivery promise.Claim and convertTransaction inclusion, a buyer oran accepted issuer payout.Required asset receivedThe endpoint is usable settlementvalue, not only USDe in hand.No positive margin follows fromequal 24-hour labels alone. This isa necessary-condition comparison,not a measured exit schedule.
Conceptual sequence, not a timeline to scale. The two 86,400-second values are inherited from 18 September 2026; no September 26 parameter read or actual exit was performed. The comparison concerns a new cooldown within a minimum-length window; free USDe, an existing queue or a longer delay changes it. Timing assumptions and source basis.

Under the 18 September configuration, both the controller minimum and the staking cooldown were 86,400 seconds. A holder who starts a new cooldown at the start of a minimum-length window has no positive time margin from those two durations alone. Detection lag, debt repayment before collateral release, transaction inclusion and the final sale or issuer redemption cannot all be assumed away. This is a necessary-condition comparison, not a new parameter reading, adverse simulation or a claim that every action executes at its first ready moment. Dated controller/cooldown record.

The countercases change the route. Already-free USDe can have fewer remaining steps. An existing cooldown may have less time remaining. Independent debt funding can release pledged collateral earlier. A usable secondary sale of free shares is different from finishing the cooldown. A deliberately longer operation delay can provide more room. Each still needs actual availability, an acceptable price and any required eligibility; none creates a universal escape guarantee. Position-specific exit routes.

For a lender, the relevant deadline may be earlier still. A borrower cannot fund repayment with proceeds that become available only after the debt has been repaid enough to release collateral. A stable-looking oracle value or a full eventual backing recovery does not resolve that ordering. Conversely, timely outside repayment can replenish lender liquidity and interrupt the stress chain. Timing, impairment and independent funding.

A successful controller call is not a receipt for every downstream asset

The examined ordinary and immediate call paths use Address-library handling that propagates target reverts. The batch path does not deliberately continue past a reverting member, and an ordinary operation does not become done simply because its delay elapsed. These are useful source-level constraints. They were not demonstrated with a transaction or rollback test in this continuation. Call-handling and operation-state source.

That helper does not interpret every target’s business-specific return value as evidence of the intended commercial outcome. Completing an authorized call therefore cannot be substituted for the relevant application result, asset transfer or off-chain receipt. Ethereum transaction behaviour also does not make a loan notice, custody instruction, hedge or bank transfer roll back as part of the same operation. The library’s actual boundary.

The 20 September study remains a useful, narrower payment observation: standard logs matched a USDe burn and an outbound USDC transfer in one provider-reported mined transaction. Its candidate Mint event did not match the client ABI and a separate receipt/status was not obtained. No controller source, later audit title or role event resolves those missing facts. The pairing is not a newly verified redemption count, a fee determination, a throughput statistic or proof that Maple or JAAA funded that payment. The original payment evidence and limits.

Authority must be attached to the resource it actually controls. These are linked requirements, not additional reserves.
Resource or claimWhat an issuer-side authorization can contributeWhat still needs separate evidence
Maple share claim and pool cashPermit the issuer-side request or onward movement where that route applies.Borrower collection, pool processing, the holder’s legal mandate and cash actually released. A share claim is not extra cash alongside its underlying assets.
JAAA on BaseAuthorize a relevant onward action after its own prerequisites.Investor permission, fund acceptance, realized and claimable proceeds, and the correct-network transfer. Tokens are not automatically NAV or Ethereum USDC.
Mint payout inventoryAllow a particular action under applicable target roles and order admission.Uncommitted inventory, valid execution and the agreed asset received. A contract stock is not standing accepted capacity.
Reserve or temporary financingAuthorize a permitted use or a funded eligible draw.Actual availability and competing commitments. Financing adds debt or assigns a claim; a committed reserve cannot remain fully free elsewhere.

Resource and legal limits are inherited from 20 September recovery research; controller interpretation is from 26 September source reading. No new balance or legal mandate was obtained.

Two repository revisions contain the same candidate oracle

The selected Base market remains the earlier identified USDC loan against USDe, with meta-oracle 0xf4b17c79492d68775e22e8dd0a2bb22854a39a47. The new work did not refresh that market binding or identify its full current implementation lineage. Instead, it examined a specific source-version explanation: did the README’s different factory-linked commit supply a different MetaOracle body? The original Base binding; the two source identities.

It did not. The MetaOracle file at 36385342274f71999b66c79c4475234a39ba9a01 has Git blob 56b2417be1ea52c16ccc193fb4efeb5830f95dfd, the same blob recorded for the candidate at 5ce0e80adb69bc06f5b390032150e7ea41d30c02. Both use the average of the two prices in the relative-deviation calculation. The difference between these two commit pointers, by itself, is excluded as an explanation of the earlier returned deviation. Neither file identity proves that this body was installed at the selected address. Pinned source evidence.

Inherited same-batch comparison: Base block 51,477,448, 18 September 2026. Raw integer outputs; no new calculation or contract read here.
ItemRecorded value
Primary input1000000000000000000000000
Backup input999619230000000000000000
Candidate average-denominator result380842506700638
Returned deviation380915041020169

The earlier study recorded that a backup-price denominator matched that one output. Such a match does not identify the complete deployed algorithm, validate all exceptional behaviour or establish a preferred denominator. The concrete discrepancy remains. Original comparison and interpretation.

The inspected candidate factory creates and initializes a clone within its deployment function. That is positive evidence about its intended creation sequence, not a record that it created this instance. The publisher’s indexed product documentation and saved README also list different Base factory addresses. No migration, replacement date or authority over the existing selected instance is inferred from that difference. Factory lineage, initialization and current configuration remain separate missing links. Factory source and documentary locators.

A more precise policy matrix—still conditional

Every source-behaviour statement in this section is conditional on the examined candidate body being applicable. Its correspondence to the selected Base instance is not established. The earlier output and setting observations do not turn these rows into installed, tested protections.

Returning a fallback price is not changing the selected provider

Returning a fallback price is not changing the selected providerConditional analysis of the examined candidate MetaOracle only. A price read tries the selected provider and on call failure attempts the other provider without changing stored selection. A persistent switch requires separate challenge and acceptance operations with their conditions. The candidate is not deployment matched to the selected F4 instance.CANDIDATE SOURCE ONLY — NOT VERIFIED INSTALLED BEHAVIOURPRICE READ: RETURN A VALUE, IF A PROVIDER SUCCEEDSSelected call failsThe view catchesthat call failureOther provider calledIts failure is notcaught again hereFallback valuereturnedThis view does notchange stored selectionPERSISTENT SELECTION: EXPLICIT STATE-CHANGING OPERATIONSChallengerecordedConditions checkedwhen invokedExpiry andconditionsElapsed time alonedoes not accept itAcceptanceoperationChanges storedprovider selectionA price read does not accept a challenge or complete healing.Upstream freshness checks and F4’s actual implementation remain unverified.Returning a fallback price is not changing the selected providerConditional analysis of the examined candidate MetaOracle only. A price read tries the selected provider and on call failure attempts the other provider without changing stored selection. A persistent switch requires separate challenge and acceptance operations with their conditions. The candidate is not deployment matched to the selected F4 instance.CANDIDATE SOURCE ONLYF4 CORRESPONDENCE UNVERIFIEDPRICE READSelected provider call failsTry the other provider.Fallback call succeeds?Return its value if it succeeds;the second failure is not caught.Stored selection unchangedThe price view does not performa persistent provider switch.SEPARATE TRANSITION PROCESSChallenge / acceptanceChallenge conditions, elapsedexpiry and conditions at acceptanceare checked by explicit operations.Persistent selection changeAn acceptance operation changesthe stored provider—not a read.No unconditional price, automatic16-hour switch or 24-hour healingguarantee is established for F4.
Every behaviour shown is conditional on the examined candidate code being applicable. The selected Base instance remains unmatched. A successful fallback does not prove freshness, a stored switch or repayment in USDC. Candidate policy matrix and source-identity evidence.
Examined candidate source, read 26 September. Not verified production behaviour at the selected Base oracle.
ConditionCandidate-source behaviour onlyWhat a creditor still cannot assume
Normal readThe price view reads the stored selected provider; the described initialization starts with the primary.A returned value is not executable USDC proceeds or proof of today’s selection.
Deviation beginsAn explicit challenge operation checks primary selection, no active challenge and above-threshold deviation, then records an expiry. This custom function has no privileged-caller modifier.A market move alone does not record a challenge. Applicability, invocation and inclusion still matter.
Deviation clears or recursA separate revocation checks convergence and clears a challenge. Conditions are inspected when operations are invoked.An expiry field does not prove continuous deviation or record every intermediate price movement.
Challenge expiresAcceptance checks an active challenge, elapsed expiry and then-current deviation. Acceptance changes stored selection; a price read does not invoke it.The inherited 16-hour setting is not an automatic switch or a maximum completion time.
HealingSeparate start, revoke and accept operations check backup selection, expiry and convergence conditions.The inherited 24-hour setting is not guaranteed safe recovery or a restored cash exit.
Selected provider call failsThe price view tries the other provider. This does not change stored selection or complete challenge/healing.A fallback output is not evidence of a persistent switch or input quality.
Both calls failThe second fallback call is not enclosed in another catch here. The deviation helper calls both inputs directly.The candidate does not promise a price under every failure condition. No such production failure is alleged.
An old or invalid value is returnedThe custom wrapper uses a numeric price interface without its own explicit timestamp, heartbeat, sequencer or positive-value check.Upstream providers may validate inputs. Missing validation here does not establish its absence across the full installed path.
Policy or initialization changesFive configuration fields are assigned by an initializer-qualified function. No ordinary owner/setter functions appear in this custom body; the factory creates new clones.This is not complete initializer security, instance-history or dependency-mutability assurance. A vault curator is not automatically the oracle’s administrator.

Basis: candidate MetaOracle and factory source. The full inherited initialization/clone bundle was not rebuilt or established for the selected deployment. Neither source tests nor live switching were executed.

Price validity, stored selection and cash recovery must stay separate. The inherited Base backup used USDe/USD without an observed USDC/USD denominator; it was not automatically a direct valuation in the loan asset under every USDC move. Par-oriented valuation may spare a borrower liquidation during a recoverable discount, while exposing a supplier to lower or inaccessible proceeds. A market-responsive value may recognize impairment earlier but force realization of a temporary discount. Neither policy manufactures the USDC needed for repayment. The Aave share-ratio/capped-USDT comparison also retains its own dates and cannot be replaced with a USDe spot-depeg assumption. The distinct installed-input evidence and creditor consequences.

The PSM record now includes a later deployment claim

The original Kairos review, dated 22 July 2026, assessed a 15 July integration test and conditionally supported a 20 million-USDe seed. A newly inspected Kairos contribution dated 28 July reports that Ethena moved to a fresh timelocked deployment. That is positive documentary evidence beyond the earlier future-tense plan. Original review; later statement.

The supported status is “reported fresh deployment; production relevance and condition closure unverified.” The later contribution does not identify the fresh instance, establish its network/configuration or supply the pre-seeding confirmation record. Its posting date is not a proven deployment or seed date. The July test address and mainnet USDtb comparator must not be relabelled as a verified production Base USDe PSM. The September 22 chapter correctly preserves what its earlier reading established; this continuation adds the later statement without rewriting that account.

Conditions cannot be replaced by a general deployment announcement. Missing records are not proof that a condition was ignored.
ConditionWhat the later material addsWhat remains unestablished
Delayed roles and oracle policyA reviewer reports a fresh timelocked deployment.Matched production identity, published configuration and actual authority. The examined Ethereum controller cannot be assigned to an unidentified Base admin.
Segregated, capped custodyNo new production cash or mandate evidence is supplied.Custodian, usable approvals, relevant uncommitted payout stock and applicable limits.
Supply/attestor treatment and delayed ceremonyOriginal pre-seeding conditions remain the reference.Executed seed, completed ceremony, resulting authority and matched attestor/tracker treatment.
Reserve confirmation and future expansionNo current quantified support is credited.Actual authorized commitment, scope and non-overlap with other uses. This is not a finding that the reserve is zero.

Condition set: the retained documentary chapter and the July review. New status evidence: 28 July reviewer statement.

A local swap and continuing local capacity have different dependencies

A customer may benefit when the needed payout asset is already local, uncommitted and accessible to the permitted swap. That individual exchange need not wait for a new cross-chain transfer. Restocking the facility is another chain. It may still require an issuer-side action, external asset release, conversion and a source–Base transfer. Atomic local exchange is therefore not synonymous with bridge-independent continuing capacity. This is reasoning from the reported design, not an observation that a production route stopped or exhausted inventory. Reported local-conversion model; cash-arrival discipline.

A local swap can be atomic while restocking depends on another route

A local swap can be atomic while restocking depends on another routeConditional documentary model, not verified production. A funded local swap may pay an admitted customer without waiting for a new bridge transfer. Continued inventory requires separately authorized release, conversion and any cross-chain movement. USDe seed tokens are not external payout cash; future replenishment is not cash already received.ONE LOCAL SWAP — CONDITIONAL ON ACCESS AND FUNDINGAdmittedcounterpartyUSDe ready forthe permitted exchangeUsable localpayout stockAsset, permission,price and limitsLocal asset receivedA new bridge neednot precede this swapCONTINUING CAPACITY — RESTOCKING IS ANOTHER CHAINExternal cashor recoveryAuthorized releaseat the source entityIssuer / networkmovementConversion and anycross-chain dependencyInventory actuallyreplenishedCount only acompleted arrivalA USDe seed is not opposite-side payout cash.A bridge-free individual swap does not establish bridge-independent restocking.A local swap can be atomic while restocking depends on another routeConditional documentary model, not verified production. A funded local swap may pay an admitted customer without waiting for a new bridge transfer. Continued inventory requires separately authorized release, conversion and any cross-chain movement. USDe seed tokens are not external payout cash; future replenishment is not cash already received.ONE LOCAL SWAPACCESS AND FUNDING REQUIREDAdmitted counterpartyUSDe ready for the permitted route.Usable local payout assetUncommitted stock, usable authority,valid pricing and remaining limits.Payout received locallyNo new cross-chain transfer needprecede this one funded swap.RESTOCKING IS A SEPARATE CHAINExternal funds releasedIssuer, borrower, fund or custodianstill controls the relevant release.Onward movementConversion and network movementcan retain cross-chain dependencies.Usable local arrivalOnly the completed arrivalreplenishes the payout stock.This is a conditional design,not verified production capacity.USDe float is not payout cash.
Reported design, not an observed production flow or capacity measurement. The 28 July 2026 reviewer statement reports a fresh timelocked deployment but supplies no matched production identity or condition-closing record here. Dashed arrows mark unestablished completion, not observed failure. Local stock, replenishment and the necessary bound.

Admission and valid execution are prerequisites. For a specified eligible customer, payout asset, custody location and horizon, before an additional funded arrival, a necessary bound is:

Payout cannot exceed the least of:
usable uncommitted inventory; usable transfer authorization; payout permitted by remaining applicable limits.

This is a bookkeeping and control condition, not an implemented PSM formula or a measured capacity estimate. Its terms must be expressed in compatible units. A cap in USDe or a dollar notional needs the actual applicable conversion rule before comparison with an inventory of a different token. A custodian balance, an allowance to transfer it and permission for this customer to use the route are three separate facts. Tokens outside the PSM address are not automatically inaccessible; assets under a related brand are not automatically spendable by it. Custody and limit conditions; asset/entity-specific accounting.

A larger USDe float does not, by itself, enlarge the opposite-side payout stock. The float can support distributing USDe to customers contributing collateral; a customer leaving for USDC needs available USDC. A reserve covenant is not immediate transfer authority over that stock. An unchanged oracle price also does not preserve admission or usable approvals, and a cap does not reserve inventory for the next customer.

A genuinely funded local stock is a useful countercase: it can cover a timing gap while an unrelated loan or fund claim remains unsettled. Count that stock once. Future replenishment remains a receivable until received, and any financing must carry its matching debt or assigned claim. Maple and JAAA proceeds do not become Base PSM inventory merely because the issuer could eventually recover them. Independent funding and conservation.

The remote supply boundary is still separate. Earlier Base owner, controller, endpoint and peer observations did not establish all source locks, remote supply, in-flight messages or effective verification settings. A same-hex peer is not a proven self-loop. Under a lock/mint model, comparing one source balance with one network’s supply needs compatible units, peer coverage and timing; an unexplained difference cannot simply be labelled backing loss. No corridor reconciliation or all-chain supply ratio was produced in this continuation. Original representation scope.

Newly located audit artifacts are not newly inspected audit findings

The auditor’s own engagement narrative and repository listings add provenance leads for an execution guard, onchain minting and a later PSM adapter. Their original PDF bodies were not obtained. Consequently, there is no new original-body assessment of findings, remediation, reviewed commits or installation at the selected production objects. A named original artifact is stronger discovery evidence than a logo, but it is not equivalent to an inspected report. Auditor narrative and exact artifact identities.

Product boundaries matter. The newly read onchain-minting narrative concerns xUSD; other entries concern a Safe guard and a PSM adapter. Those are not automatically Ethereum USDe Mint V2, the Base USDe token or the selected MetaOracle. A shared Ethena label cannot transfer an audit across those objects. The newly located August 17 adapter-review filename does not supply its production address or connection to the selected Base corridor.

The PSM summaries also differ. Kairos attributes three Medium, nine Low and nine Informational findings to the described July 2 report; Guardian’s indexed summary lists one Medium, three Low and five Informational for its June PSM entry. Without matching original bodies and review/fix identities, the investigation cannot decide whether these are different scopes, stages or inconsistent descriptions. The counts are not averaged, and neither is adopted as an inspected finding set or current risk score. Kairos attribution; Guardian attribution and access scope.

The earlier inspected Pashov and selected Code4rena material retains its own scope and dates. Likewise, locating a Cantina MetaOracle PDF artifact does not establish that the selected instance uses the reviewed version. Meaningful review evidence should neither be dismissed nor enlarged into a guarantee covering source–deployment identity, actor configuration, external recovery and funded exits. Earlier inspected audit scope; new artifact-only lead.

What changed—and which conclusions still need evidence

The continuation strengthens selected propositions without completing the wider deployment assessment.
QuestionAdvance on 26 SeptemberStill not established
How authority stops and restores a routeRelevant controller and inherited bodies support distinct scheduling, immediate use, cancellation, administration and call-handling conclusions.Complete deployment-matched Mint target, current relevant actor/admin set, Safe alternatives and transfer constraints.
Whether notice permits a complete exitThe required route must include notice, collateral release, remaining cooldown, claim and conversion. Equal one-day labels provide no positive margin by themselves.A universal exit window, service-recovery deadline or guaranteed available conversion.
Why the candidate deviation differsThe two linked repository revisions contain the same MetaOracle blob; the pointer difference alone is excluded.The actual implementation/initialization lineage, resolved discrepancy and installed exceptional behaviour.
Whether a local PSM became productionA later reviewer reports a fresh timelocked deployment; later auditor artifacts were located.Matched production identity, condition closure, seed, source–Base authority/supply correspondence or usable local payout stock.
What payment and reserve evidence provesController completion is explicitly separated from economic receipt and external release.A resolved Mint-event ABI, separate historical receipt, Maple/JAAA funding attribution, standing capacity or current reserve ratio.

The wider authority, valuation and remote-control assessment remains partial. That does not mean every control fails. Ordinary scheduling restrictions, separation of immediate use from policy expansion and the later deployment claim are meaningful evidence within their scope. Missing correspondence and configuration prevent the stronger deployed conclusions—not the use of these narrower findings.

The most decision-changing next evidence would tie the selected Mint and Base objects to versioned production implementations and effective authority, resolve the selected oracle’s lineage, and identify the PSM launch/condition record. Independent repayment, free-collateral and funded-sale evidence can answer other creditor questions without presuming these protections are complete. A current aggregate audit count or an unchanged market price cannot substitute for either kind of evidence. Current coverage and limits.

Sources, versions and inspection boundaries

Public material below was read for the source-based continuation on 26 September 2026, except where explicitly inherited. Access dates are not deployment dates. Indexed publisher text is identified as such. Related publications from one issuer or reviewer are not independent corroboration. The original September 22 documentary register was not refreshed and is not a current permission inventory.

Address-indexed controller and inherited bodies

Smarts public source locator for Ethereum E8 controller. The index reports compiler v0.8.26+commit.8a97fa7a, 14 files and 54,667 bytes. Four complete relevant bodies were read: EthenaTimelockController.sol, inherited TimelockController.sol, AccessControl.sol and Address.sol. The scheduling/access headers identify OpenZeppelin v5.3.0; Address identifies v5.2.0. Provider source/address attribution and source interpretation—not a whole dependency audit, current state read or independent build/runtime comparison.

Pinned public controller and design README

Guardian repository controller, blob ab5d5fa24cd5df95e63e36fdec728988eedc9979; README, blob e0a330022afb941665be18ab94bb2663f9db7ce7. Corresponding custom functions were compared with the address-indexed text. No independently computed whole-bundle equality or source-test execution is claimed. README invariants remain design statements.

Two revisions, identical candidate MetaOracle file

Factory-linked revision and earlier candidate revision identify blob 56b2417be1ea52c16ccc193fb4efeb5830f95dfd. The complete candidate body supports the conditional policy matrix. It is not deployment matched to the selected F4 instance, and the earlier numerical discrepancy remains unresolved.

Factory body and differing documentary locators

Candidate factory, blob 40c551a00f8c10f1ef882522df71b1f4976af3b1. Complete custom body read; no selected-instance creation event or complete inherited initialization verification. Indexed publisher documentation lists Base factory 0x507f940234005f7c49dfE2F27E361C3b66Fb31CF; the saved README lists 0x83910ae3f4a7bb8606402289a60feb95bc39a060. The full publisher page was not obtained; no effective date, migration or applicability to F4 is established by this comparison.

Original L2 PSM review

Kairos review and discussion, 22 July 2026, test-state cutoff 15 July. Reopened for conditions and assurance comparison. The Base test 0xfcdd707a477c8bdece30910d3a1a20c2a805ff94 and mainnet USDtb comparator 0x73e35c5c35a274e34ade6eb13cc7f62aee323728 are not adopted as verified production Base USDe deployments. Reviewer test claims were not rerun; seed support and audit counts remain attributed.

Later reviewer deployment statement

Kairos application contribution, displayed 28 July 2026 at 14:42. The L2 PSM paragraph was read in context. It reports a fresh timelocked deployment but supplies no selected production address or condition-closing record. Other promotional, election and portfolio claims are outside this continuation’s findings.

Guardian narrative and located original artifacts—bodies unread

Auditor engagement narrative: undated indexed text, direct full-page retrieval unavailable. Used for scoped xUSD/guard/adapter descriptions and the attributed PSM-count discrepancy, not an adopted rating or installation claim. Original-report listing was read on a mutable branch; the following Git blob identities preserve the artifacts listed. None of these PDF bodies was read in the continuation.

Artifact discovery only. Filenames are not production deployment dates.
Listed fileGit blob
2026-04-02_Ethena_Execution_Guard_Review.pdf835e2899862b37d406914de1e7148c7fcef27f1b
2026-07-02_Ethena_Onchain_Minting.pdfef0c54a58f07a817a105541dae0b066ad28e2cc8
2026-08-17_Ethena_PSMAdapter_Review.pdf4631879e4ddb9abae3a586078452bf61b88dd4f6

MetaOracle audit artifact—discovery only

The pinned repository tree identifies audits/2025-06-23-metaoracledeviationtimelock-cantina-managed-review.pdf, blob 677caac45376136e475d4e71e3dce6ad95f96c44. Its body was not inspected and no review result or correspondence to F4 is adopted.

Inherited whole-system evidence · 18 September

Whole-system foundation and source trail. Used for the dated issuer/controller/Safe relationship, selected immediate/direct roles, staking and exit sequence, Aave/Base inputs, concentration and remote representation. Component dates/blocks remain their own; no current authority enumeration or re-execution of its calculations occurred here.

Inherited recovery and payment evidence · 20 September

Recovery chapter and evidence; unchanged selected reader data. Maple accounting claim/direct cash, JAAA token/NAV distinctions, Mint stock and earlier payment logs keep their dates, units and receipt/ABI limits. The source-based continuation neither refreshes the data nor attributes payment funding to a particular recovery chain.

Preserved documentary chapter · 22 September

Governance, control and audit-scope source register. Appointment, public terms, competing control clocks, reserve/revenue policy and the original conditional PSM review retain that chapter’s evidence boundary. Its historical text is not redated as this continuation.

Updated as new research is ready. Source-based continuation dated 26 September 2026; wider deployed-control verification remains partial. No live monitoring, security certification, current reserve opinion or personal investment recommendation.

Assessment · Control and contracts · All research · Coverage · History

Search published pools, pages, reports, and evidence.