in-house-pass.md: Q4d: 0 of 400 differ with nothing from the crate; the spec text is sufficient

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

docs/plans/cryptanalysis/in-house-pass.md

@@ -208,6 +208,7 @@ Spend: box-hours by lane as each report states (about 0.6, 0.31, pending, 0.55,
 |---|---|
 | The spec rewrite read-back (main, 01:0x BST) | adv-accept-3's second documentary finding (a text-derived implementation differs on 264 of 400 epoch programs) was read against the spec at 017e7037; the audit lane's rewrite of 1.4.3 and 1.4.6 to the shipped rule is on master at 8b834634 (the merge of spec-accept-23: the constants table, the pinned-ids table, igneum-pow/tests/spec_readback.rs). adv-accept-3 re-derives the same 400 programs from the rewritten text alone (row Q4c, `lease pool 16`); the expected reading is 0 of 400; a non-zero names the sentence that still diverges; the count goes to main and the audit lane. LANDED 01:15 BST (build-2, 16 cores, 4 minutes; row 6.5 in adv-accept-3's report, log 983-textderive-8b834634.tsv): 0 of 400 differ, equal on every field (64 base and 256 shadow instructions with every operand, the chosen attempt, the id with the sub/3 suffix, the sequence of rejection parts of the earlier attempts; 0 last resorts); the 264-of-400 finding is CLOSED against 8b834634. One sentence still cannot be followed from the text alone: 1.4.6.4's Dataset row names dataset_elem(idx, S[0], S[1]) "of verify.rs" without its six operations, so (c), (c') and (c'') take that one function from the crate; stating the closed form in the text closes it |
 | The second read-back (ordered 01:49 BST) | The audit lane closed that sentence on master at 56eebc0d (verified on the mirror): 1.4.6.4 states dataset_elem in full (eight operations, three constants, 32-bit wrapping) with two pinned vectors read by igneum-pow/tests/spec_readback.rs; 1.4.6.5 now carries sub-version 3's own rates (68.1 percent per candidate, the parts' shares, mean attempt 2.1) in place of the class v2 figures. adv-accept-3 re-runs Q4c as Q4d (row 6.6) with nothing taken from the crate; the expected reading 0 of 400 on every field and the two vectors matching; the count to the audit lane and main. AP-F8-5 then reads fixed on two measurements |
+| Q4d LANDED 01:57 BST (build-2, 16 cores, granted 01:52 after adv-accept released a shard; row 6.6, log 984-textderive-56eebc0d.tsv) | 0 of 400 differ against 56eebc0d with text.rs taking NOTHING from igneum_pow (0 `use igneum_pow` lines; dataset_elem from 1.4.6.4, the two pinned vectors checked at start): equal on every field and every row equal to its Q4c row; no sentence of 1.3, 1.4.2, 1.4.3, 1.4.6, 1.6, 1.7 or 1.13.1 needs the crate. THE SPEC TEXT IS SUFFICIENT for the program draw and the acceptance rule; AP-F8-5 reads fixed on two measurements; adv-accept-3 at its end, nothing on either box |
 | Box 2 at 01:05 BST | No release-class waiter listed and 32 pool cores free, so nothing of the pass was ended; the v5 lane re-submits its packs test and suite at 16 cores |
 | The v5 lane's release job (01:0x BST) | Ran on box 2 the minute adv-accept's two holders ended (65 cores, no lease fault): 19 of 20 packs tests green; the one failure is a text diff only, master's export now writing the "sub/" suffix into program.json's derivation string (adv-accept-3's finding, fixed on master) while the pinned packs carry the old wording, the ids equal; the three pinned packs re-exported and the test re-run at 16 cores within the half hour; nothing of the pass in its way |
 | adv-accept, after the hour (01:12 BST) | A NINTH hot set: seed 228763 (id 2c4be0f6dc44c423, stand-in 0.9820) at 2^24: X at 0.1 percent +0.118, 1.82x the window model, its single hottest item 0xe2cc96 at 1,218,380 reads, 0.057 percent of ALL reads, the largest single item of the pass (40x 100767's), from a NON-saturated source r0 at site 9 (the sel register), saturated-source share 0.000: the third shape at scale, which (c') cannot see by construction. 638990 beyond the gate at 1.51x with one item at 0.027 percent (also r0, no saturation), no hot set; 623492 clean. Tally: 9 hot sets in 37 tail seeds against 0 in 20 random; 269,250 programs drawn at 01:08; the price stands at 1.002x (0.27 percent of reads on 1 MB; one item is 64 bytes); the three seeds' 2^20 ratios against the floor minutes away |