1.4.3 rewritten: the draw's two per-register states (fresh, fresh_value), the dataflow table and the shared-operand rule the class v4 shape uses for the load source, the empty-list fallback, the era window draws, the shadow block's draw from the same stream (256 ALU slots, era draws consumed), the draw counts per class (592, 720, 3,536).
1.4.6 rewritten into 1.4.6.1 to 1.4.6.6: (a) over two passes of the base instructions, (b), (a') to its fixpoint then a checking pass over base then shadow, (c) with the shadow block executed 27 times per iteration and its inputs and limits in tables, (c') saturated sources at 164 of 16,384, (c'') the distinct-index ratio at 2^20 evaluations with the 0.98 floor and its integer form, the attempts and the two caps (32; 256) with the measured per-part rates, the last resort stated as unreachable and unverified (fails (a) on 251 of 3,000 seeds), the program id with the generator-4 "sub/" || 3_le16 suffix and the class-rung form, a "Constants of the shipped rule" table and a "Pinned program ids" table in the shape the hash lane's read-back test parses.
1.7 gains the shadow block's execution; 1.13.1 names the ninth consumed era draw (the latency ladder); 1.8.5 carries the one-line pointer to class v5's 1.8.6 (agreed with the v5 lane).
docs/fud-ledger.md AP-F8-5 (the finding, the fix, the check); docs/ledger-public.md regenerated.
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
70949f8bfb