adv-accept-3: section 6.6 (Q4d, the crate-free text derivation against 56eebc0d), queued

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

docs/analysis/cryptanalysis/report-acceptance-rule-3.md

@@ -287,6 +287,10 @@ Command: `adv3 textderive --from 0 --count 400 --threads 16` (binary 144b81a9ec9
 
 Result: 0 of 400 differ. The documentary finding of section 6.2 (264 of 400 against the text at 017e7037) is CLOSED against 8b834634. One sentence of 1.4.6 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 (the closed form of the version 0.1 packs)" and does not state its six operations, so a reader of the text cannot compute part (c), (c') or (c'') without the crate; text.rs takes that one function from `igneum_pow::verify` and nothing else. Stating the closed form in the text (`x = idx XOR S[0]; x *= 0x9E3779B1; x ^= x >> 15; x += S[1]; x *= 0x85EBCA77; x ^= x >> 13; x *= 0xC2B2AE3D; x ^= x >> 16`, read from verify.rs for this note) would remove the last dependence. Box-hours for the row: 0.02.
 
+## 6.6 Q4d: the same 400 programs from the spec text at 56eebc0d, text.rs taking nothing from the crate
+
+The audit lane closed the gap of section 6.5 on build master 56eebc0d (01:49 BST, 8 October): 1.4.6.4 now states the closed form in full (`x = i XOR S0; x = x * 0x9E3779B1; x = x XOR (x >> 15); x = x + S1; x = x * 0x85EBCA77; x = x XOR (x >> 13); x = x * 0xC2B2AE3D; x = x XOR (x >> 16)`, 32-bit wrapping) with two pinned vectors (`dataset_elem(0x00000fed, 0x9E3779B9, 0x7F4A7C15) = 0x5c7dabd2`, `dataset_elem(0x0fffffff, 0, 0) = 0x7662c1ec`). A diff of the spec between 8b834634 and 56eebc0d shows that block and one clause of the "what the parts catch" paragraph as the only changes. text.rs now carries `dataset_elem` written from that text and imports nothing from `igneum_pow` (0 `use igneum_pow` lines); the binary checks the two pinned vectors before the first seed and exits 4 on a mismatch (binary 47b72eadc5466e8054f5701cbb53881dec6afef9705300ac7be2a30defa84ae4). The run: the same 400 seeds, `adv3 textderive --from 0 --count 400 --threads 16` under `lease pool 16 --min 8` class adv on build-2, queue file 984, queued 01:51 BST with the pool at 88 of 88 leased. The count lands here.
+
 ## 7. Q5: era steering (sweep 99)
 
 `adv3 era-steer --from 0 --count 400` (DONE, 23:00 to 23:04 BST on build-2, log 99-era-steer.tsv) lists, per era seed of this lane's label space, the stride multiplier (its popcount and NAF weight), the rotation, the interleave, and epoch 0's accepted attempt and minimum ratio under that era.
@@ -339,5 +343,6 @@ Main's rule (relayed 20:2x BST): no sweep starts except through `/srv/builds/_bi
 | 981-adv-accept-3-verdicts-noncyclic.sh | 1 then 2 | verdicts noncyclic 0..300 (the replacement known-failed shape) | DONE 22:30 BST on build-2: fired, 4 verdicts and 3 programs changed |
 | 982-adv-accept-3-ratios.sh | 1 then 2 | ratios 0..300 (the (c'') ratio at 2^20 of every dynamic candidate) | DONE 22:45 BST on build-2: the floor sits in a 0.023 gap |
 | 983-adv-accept-3-textderive.sh | 2 | textderive 0..400 against the spec text at 8b834634 (Q4c) | DONE 01:15 BST, 8 October: 0 of 400 differ |
+| 984-adv-accept-3-textderive-56eebc0d.sh | 2 | textderive 0..400 against the spec text at 56eebc0d, nothing from the crate (Q4d) | queued 01:51 BST, pool full |
 | 99-adv-accept-3-era-steer.sh | 1 then 2 | era-steer 0..400 | DONE 23:04 BST on build-2: the lane's last run |
 | 991-adv-accept-3-f8-live.sh (DONE 20:37 BST) and 992-adv-accept-3-f8-live-2.sh (DONE 21:53 BST) | 1 | f8 `warps` (seed mode added, census code untouched; binary attack-f8 918f80a5fee5d2c349c90794b825a731ff16084c833c2f76f810a0e9ff5b0d80) on the const-item plant, seed 0 as control, then steer seeds 514, 522, 620, 703, 959 at 10^6 nonces, day 20733 | claimed 20:30 BST, waiting |