Igneum 2.0 register: review B's thirteen rows (F04 and F14 the founder's rulings; the 20:0x coverage); Counter ASIC 3.0 status: the pool seat's early item, the 19:4x lines (the miner base-unit root cause, the hubs' memory caps, the three object candidates on the live line, P22 stage 1, F0), the 20:00 words and read-back, review B, the founder's two rulings, the roll correction

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

docs/plans/igneum-2.0-register.md

@@ -119,6 +119,20 @@ Built 8 October 2026, 18:3x BST (the founder's order: no feature left out, no st
 | 112 | External source review of the mining algorithm (docs/analysis/review-2026-10-08/, on master at 0ae450bd; it examined the Mac checkout's older V2 to V4 crate, not class v6, and says so) | Finding A08 "An operation described as bijective is not always bijective" (on master at 0ae450bd, the harness run on build-2 to its end with every anchor it asserts agreeing with the tree, the v5 and v6 vectors outside its model); the review's harness is the cross-check evidence; the verdict reads fixed by construction, not applicable, or known open with a clock, and nothing reads PASS without the native test | hash lane (a690540514aa453d7); the node lane carries the verdict into the 23:30 freeze | 22:30 | RUNNING tonight (main's dispatch, 18:5x BST) | docs/analysis/review-2026-10-08/ | POW-02 (the review's harness as cross-check; the native test decides) |
 | 113 | External source review of the mining algorithm (docs/analysis/review-2026-10-08/, on master at 0ae450bd; it examined the Mac checkout's older V2 to V4 crate, not class v6, and says so) | Finding A09 "A naive stronger rejection test can exhaust all candidates" (on master at 0ae450bd, the harness run on build-2 to its end with every anchor it asserts agreeing with the tree, the v5 and v6 vectors outside its model); the review's harness is the cross-check evidence; the verdict reads fixed by construction, not applicable, or known open with a clock, and nothing reads PASS without the native test | hash lane (a690540514aa453d7); the node lane carries the verdict into the 23:30 freeze | 22:30 | RUNNING tonight (main's dispatch, 18:5x BST) | docs/analysis/review-2026-10-08/ | POW-04 (the review's harness as cross-check; the native test decides) |
 
-## Coverage at 19:0x BST: 113 pins (104 of the plan, 9 of the review), 113 owned, open 30, in flight 44, landed 34, passed 5. Cases: 128 in 16 suites, every case owned; run under the standard: EVM-02 to 06 and VER-03, 04, 05, 06, 08 PASS (10), ECO-05 FAIL, VER-01 and VER-02 FAIL by design and disclosed, 62 RUNNING, 52 NOT RUN, 1 DEFERRED (P13).
+| 114 | External review B (docs/analysis/review-2026-10-08-b/dispatch.md, 8 October 19:44 UK; fourteen findings F01 to F14) | F04 recovery lock weaker than final: THE FOUNDER'S RULING (19:57 UK): the recovery lock is kept and is always labelled "recovery", never "final", on every surface (the checkpoint field, the explorer, receipts, the light client, the oracle, the site) | node lane (a283f5f0d364ceef0) with the reference-apps lane and the site lane | the node field on successor-2.0.1 e9ab052f (pair about 20:45); the reference apps by 23:00; the explorer with them | RULED; in flight | docs/analysis/review-2026-10-08-b/dispatch.md; successor-2.0.1 e9ab052f | FIN-01 to FIN-08, VER-03, VER-05, VER-06, VER-08 |
+| 115 | External review B (the same) | F14 lab fleet control is not the public trust model: THE FOUNDER'S RULING (19:57 UK): the public miner ships from 2.0.2 without remote jobs; our own fleet runs the lab build with its own signing root | shipper (ae892a8b0f78fe31c) with the relay lane (a22d765a2e0355a9f) | 2.0.2's cut (the app and relay lanes, 23:00 for the split's plan) | RULED; in flight | docs/analysis/review-2026-10-08-b/dispatch.md | UX-01, UX-07, OPS-02, OPS-04, OPS-06 |
+| 116 | External review B (the same) | F01 the proof-verdict cache omits the statement (P0): the cache holds immutable verified facts per proof hash and every lookup compares the carried statement and the accepted identities; no zero accepted id; a context refusal never cached | enforced-proving lane (a6e8f84588b809d62) with the node lane (the two-node cache-history test) | verdict-cache-fix off 5eab958f, suites green by 21:30; rides 2.0.2 | RUNNING, dispatched | docs/analysis/review-2026-10-08-b/dispatch.md | ZKP-01, ZKP-05, ZKP-06 |
+| 117 | External review B (the same) | F02 the proof rule fails open: the test bypass behind a build feature off in every release build (a CI check); a missing oracle or keys after activation is not-ready and never passes | enforced-proving lane with the steward | with F01 by 21:30 | RUNNING, dispatched | the same | ZKP-01, ZKP-03, GOV-05 |
+| 118 | External review B (the same) | F03 one release manifest pinning node, generator, dataset policy, acceptance, host ABI, miner app, pool, guests, keys and activation; the hash lane's ProgramClass::V6 on the freeze | steward (a2ecfa95d3206016c), hash lane, pool seat | F0 at 8bdd1ff0 is the base; ProgramClass::V6 by 20:45 in the object's commit; the pool's build against the manifest | RUNNING, dispatched | docs/plans/igneum-2.0-f0-manifest.md | GOV-01, GOV-02, POW-07 |
+| 119 | External review B (the same) | F05 the reg64 address mixer has an exact incremental form: the prefix-tree form natively with an equivalence test across every source register; the kernel-level measurement on a 5090 and a 4090; the chip side priced (floor lane 3: 2.6 percent of the chip's energy, the connected-state KILL unchanged) | hash lane, adversary lane, floor lane 3, the fleet lane (the two cards) | the native test by 21:05; the cards by 23:00; the row 23:30 | RUNNING, dispatched | class-v6-floor-sram 3a16190a section 4a | POW-02, ADV-02, ADV-05 |
+| 120 | External review B (the same) | F06 acceptance and census do not cover the final execution: the freeze object's acceptance evaluates the actual 64-register schedule; the live census on the final packs; main's default: "frozen pending D1 census" if the live census is not green by 00:30 | hash lane, lane D (a07a99a3788566af2), the census hand (afb2fb655385dc259) | the final packs 21:20; the census and 6.11 reads by 22:00 on build-6 | RUNNING, dispatched | class-v6 04442d9ca (is_class_v4_shape), e72d4f202 (the liveness rule) | POW-02, POW-03, POW-04 |
+| 121 | External review B (the same) | F07 one per-device scheduler with explicit modes (simultaneous on measured headroom, time-share with the dataset evicted and memory confirmed free, mining-only); the memory and crash rows on 8, 12 and 16 GB cells | app lane (the shipper), fleet lane | the modes in 2.0.2 (23:00); the fleet's rows from 01:00 | RUNNING, dispatched | the dispatch | GPU-05, UX-02, CAP-02 |
+| 122 | External review B (the same) | F08 the proving pipeline hides expired work: an outcome ledger for every eligible job (completed, active, expired, cancelled), deadline misses and accepted-proof throughput published, failure by cause | enforced-proving lane, fleet lane, site (the ops page) | the ledger by 23:00; the two-hour declared-load hold after 2.0.2's cut | RUNNING, dispatched | the dispatch | CAP-03, CAP-04, CAP-05, OPS-01 |
+| 123 | External review B (the same) | F09 the economic table and the failed specialist: every pass or fail cell generated from the declared inequality and its inputs | research lane, floor lane 3, coordinator | done 19:56 (3a16190a: the hand-written (c) cell was wrong, the criterion stands; no chip meets (c) at any price in the window; the board six of seven) | landed on the branch; in the 21:00 landing | class-v6-floor-sram 3a16190a (market.py M3, section 12) | ECO-03, ECO-05, ECO-06 |
+| 124 | External review B (the same) | F10 the CUDA readback: a separate selection pass with sentinels, exact comparison and overflow fallback, then asynchronous overlap; kernel throughput and energy published | worker lane (new; the hash lane spawns it) | the 5090 and 3090 rented 23:15 for 23:30 to 01:00 | NOT RUN, dispatched | the dispatch | GPU-02, POW-08 |
+| 125 | External review B (the same) | F11 Ember search and identity: objective-aware bounded two-sided search, rebase on goal change, a workload fingerprint invalidating stale results | Ember lane (new; the shipper spawns it) | 2.0.2 or later; the plan by 23:00 | NOT RUN, dispatched | the dispatch | UX-02, GPU-03 |
+| 126 | External review B (the same) | F12 pool payout durability (durable idempotent intent, the exact signed transaction before broadcast, balance reserved atomically, the state machine) and F13 pool admission bounds (frame size enforced while reading, bounded write queues, one membership per session, nonce dedup after validation) | pool seat (a3832b1c3b274b310) | the plan by 23:00; the code on pool-2.0 after UX-05's runs | NOT RUN, dispatched | the dispatch; pool-2.0 72cc306e | UX-04, UX-05, INC-06 |
+
+## Coverage at 20:0x UK: 126 pins (104 of the plan, 9 of review A, 13 of review B), 126 owned, 2 RULED by the founder (F04, F14), open 30, in flight 56, landed 35, passed 5. Cases: 128 in 16 suites plus suite REV (44 regressions, the steward adds it by 20:45), every case owned; the registry at 19:45: 73 RUNNING, 53 NOT RUN with reasons, 1 DEFERRED (P13); team-run PASS 10 (EVM-02 to 06; VER-03, 04, 05, 06, 08), FAIL 3 (ECO-05 under P12; VER-01, VER-02 by design); nothing PASS under the procedure until the steward's test-record writes it.
 
 The pass criteria are the Test and Acceptance Standard's (docs/plans/igneum-2.0-test-standard.pdf, 128 cases, approved as proposed by the founder on 8 October 2026 with P13 deferred; the live registry docs/plans/igneum-2.0-test-registry.json): a row reads passed only when its cases pass under the standard. The plan's own conditions, per section: D1 an independent operator reproduces the baseline from the served kit alone; D2 the candidate improves against re-optimised adversaries within the preset limits, else published as a failure; D3 the best supported advantage inside the chosen envelope with uncertainty published; D4 the model names credible conditions for sustained commodity participation and where it fails; D5 specified behaviour with no emergency change and no privileged intervention; the launch requirements live; the claim ladder earned rung by rung.