From 9623055c42fa5bf4392422d3f6eb6ffd6c9393fe Mon Sep 17 00:00:00 2001 From: igneum-labs <337424239+igneum-labs@users.noreply.github.com> Date: Thu, 8 Oct 2026 00:39:04 +0000 Subject: [PATCH] class v5 design page: section 0's landing row Co-Authored-By: Claude Fable 5.1 --- docs/design/class-v5-stored-state.md | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/design/class-v5-stored-state.md b/docs/design/class-v5-stored-state.md index 497c37c36..8de926008 100644 --- a/docs/design/class-v5-stored-state.md +++ b/docs/design/class-v5-stored-state.md @@ -42,6 +42,7 @@ Clock rule for this page: every time is UK time (UK time tonight, UTC+1). The bu | 21:5x | FREEZE. The full igneum-pow suite green on the tree (box 2, 21:52 UK: 73 unit tests, 4 ignored census/bench, packs 20 incl. the pinned v5 packs unchanged, derive 7, mixer 4, recheck 2, scratch 7), the pre-push gate GREEN (58 checks). The shadow rule's trigger reading: 6,000 first draws read a maximum removable share of 11 permille against the 30 bound, 0 redraws (the earlier 4e-3 counted every rotate pair; the attack-pass lane's F1 census on 10^5 reads the chain rate). Pinned pack v5-dn3-epoch0 (e5a4ac5978462156, fingerprint 82b19cbde8557ea5) stands. Next commit, after the freeze: AP-F4-1 in the agreed form (cost A at most 205 against the median 226, w32 without the position-32 digit, a two-adder multiplier or one rotation amount rejected; the known-failed day 29,337), and class v5's verified last resort (adv-accept-3's finding: the sub-version 3 rewrite fails the rule on 223 of 2,500 seeds, 209 by part (a); class v5 repairs the stale loads and checks; known-failed first on adv3/steer/2) | | 22:2x | Post-freeze commit on top of 1c420786: AP-F4-1 in the agreed form (cost at most 205 against the median 226; day 29,337 the known-failed day) and class v5's verified last resort (adv3/steer/2 the known-failed seed); both move the stream only on days and seeds the chain never reaches; the pinned packs and the fingerprint stay | | 22:10 | Fix commit 8ca66afa on both mirrors (AP-F4-1 agreed form, verified last resort; suite 74 + packs 20 green, gate GREEN). The class-walk harness case: FAIL on the unfixed fork (e0:v3 e1:v3), PASS on the node lane's pair 4 c8f9b383 (e0:v4 e1:v4, v5 from epoch 8) | +| 01:5x | Tonight's record landed on both mirrors: main's sentence (nine of nine hot sets refused), the 61-row era reading, the class v5 attempts census, AP-F8-3 and AP-F8-6, spec 1.4.7 and 1.8.6 with the constants and id tables, the AMD fingerprint, the master merges (the program-id recipe form, the audit lane's spec rewrite and checks). Proofs on the tree: gate GREEN 71 checks; igneum-pow suite on box 2 74 unit, derivation 2, derive 7, mixer 4, packs 20 (the pinned ids and 82b19cbde8557ea5 under master's recipe form), recheck 2, scratch 7, spec_readback 2. Two corrections found by the proofs: the pinned packs' derivation text (master's export writes the sub-version suffix for generator 4; class v5's rung-0 text follows its plain id, the missing arm added) and the public-export scrub (the founder's name on the page, the zone name in three files) | ## 1. The claim, in one paragraph