diff --git a/docs/plans/cryptanalysis/in-house-pass.md b/docs/plans/cryptanalysis/in-house-pass.md
index 6c85a7590..8e4bd9e30 100644
--- a/docs/plans/cryptanalysis/in-house-pass.md
+++ b/docs/plans/cryptanalysis/in-house-pass.md
@@ -214,3 +214,7 @@ Spend: box-hours by lane as each report states (about 0.6, 0.31, pending, 0.55,
 | 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 |
 | adv-accept, the floor's final tally (01:13 BST, gap-tail3.log) | 228763 (the ninth hot set, the non-saturated shape) minimum site 9 at 0.9809, the lowest of the pass, REFUSED; 638990 (the single-item shape at 1.51x) site 2 at 0.9872, REFUSED; 623492 (clean live) site 0 at 0.9922, REFUSED (a seventh false refusal). Over everything the lane read at 2^20: 9 of 9 live hot sets refused (0.9809 to 0.9919), both single-item programs refused, 7 clean-live programs refused and 1 passed among the 12 deepest 256-unit seeds, 3 mild residuals missed (about 1.0004x). So the floor's instrument reaches the non-saturated shape too: the distinct-index ratio reads any few-item concentration whatever its source, and misses only the diffuse era-stride excess |
 | adv-cache-2, after the hour (01:1x BST; tip 91ca5ce1) | Box 2 finished for the lane: the 4,096 drawn-era programs under drawn eras read top quarter mean 0.3378 and top half 0.5808 with tail probabilities 0.0283 and 0.0208, the closed form's 0.3382, 0.5811, 0.0277 and 0.0199 to three digits (section 3.3); the only item left is line shard s2c (64 fresh days, about 4 minutes at 32 cores) waiting on build-1 since 23:09 BST; box-hours of run about 2.25 |
+
+### 13.3 The frozen object after the pass
+
+The nine lanes attacked `igneum-pow` 017e7037 and every lane's branch tip carries it byte for byte. Master's `igneum-pow` moved after the freeze, in four files, none of them the hash: `src/emit.rs` and `src/generator.rs` (the program-id derivation string stated exactly in every pack and the recipe helpers behind it, adv-accept-3's documentation finding; the ids themselves unchanged, as the v5 lane's packs test read equal) and two new tests, `tests/derivation.rs` and `tests/spec_readback.rs` (the spec text read back against the crate). This branch carries master's copy from its 56eebc0d merge; the object the pass bounded is unchanged in every operation the hash performs.