diff --git a/docs/analysis/attack-pass-2026-10.md b/docs/analysis/attack-pass-2026-10.md index 1979238c..72073331 100644 --- a/docs/analysis/attack-pass-2026-10.md +++ b/docs/analysis/attack-pass-2026-10.md @@ -318,8 +318,12 @@ Priced: at most 12.1 percent more rate on that day for a per-day LUT-recompute F one place-and-route a day under USD 3 compiled ahead on the public calendar. Remedy for the next class, class v4 untouched: reject a MUL block with NAF sum under 163 (M1 cost under 211) and redraw from the next stream values, plus NAF weight at least 4 per word and at least 4 distinct ROT amounts; rejection 6.1e-4 per day; first calendar -redraw day 22,633; no pack changes. Status: F4 PASS against v4; AP-F4-1 FIXED-AND-PASSED when the rule lands in the -next class's bound list and is re-gated with F4's harness. +redraw day 22,633; no pack changes. Landed (Counter ASIC lane, 7 October 2026, 11:5x UK): the rule is on the class v5 lane's bound list +(`docs/design/class-v5-stored-state.md` section 11) with F4's harness as its gate, re-gated by this lane against the +v5 branch once its `accept.rs` carries it. The brief's rank 3 (funding.md B2, the untested all-equal ROT draw of +MEMHARD.md) now reads "a bounded tail, measured", with the F4 record as the source. +Status: F4 PASS against v4; AP-F4-1 FIXED-AND-PASSED against v5 once the lane's accept.rs carries the rule and the +census passes against it. Any further finding is logged here and in `docs/fud-ledger.md` with its owning lane (hash and algorithm: fixed in `igneum-pow` behind a test and re-gated; node: the node lane, relay agent) before the row is marked FIXED-AND-PASSED.