igneum/docs/analysis/class-v6/census-packs.md

Class v6 census, lane 2: the six class v6 packs through the sub-version 3 harness

8 October 2026, 15:4x to 17:55 UK, the census lane under the Counter ASIC coordinator (Igneum 2.0 Deliverable 1's harness, pinned by digest at the 23:30 freeze). Every row measured on build-4 (igneum-build-4, 96 threads) through lease pool, class v5, nice 19, owner class-v6-census, pid files under /srv/builds/v6-census/pids/; build-3 ran hl-v6-rw and the first half of hl-v6-rw2 before it went unreachable at 16:40 UK (its rows are in the sheet from the read taken at 16:35; its files could not be copied). Nothing here touches a served page, the spec or any consensus object.

0. The sheet

Pack	Program id (reproduced from the pack's seeds before any row)	Crate	Harness (branch, commit)	(A) the rule with (c''') on the pack's program	(B) attempts census, 256 chain-shaped seeds under the pack's era and state	(C) F8 on the live state-keyed dataset	Verdict
hl-v6-fold (the index fold alone, W = 4, base mix)	482dc0dad937135b, attempt 1	class-v6-fold 7880bc96	class-v6-census-fold 5b3486f0	accepted; min site ratio 0.99986; bucket +5.25 sigma; worst free bit 2.84 sigma; no site over 6 sigma (class v5's own program on the same state: -448 sigma at one site)	256 of 256, 0 exhausted, r 0.701, mean attempt 2.34, max 14, (c''') 0.35 percent	16 seeds p18 to p33 at 2^22: 16 PASS, at most 1.0455x of the window model (the class v5 control on the same seeds: 5 of 16 flagged on the 6-sigma bucket); the known-failed set at 2^24: p4 1.0057x (from 1.2163x), p8 1.1663x (+6.6 sigma bucket; from 1.3787x), p10 1.1868x (from 1.5052x), p15 PASS, p212 1.0411x (+27 sigma; from 1.1917x), p225 1.2414x BEYOND (from 1.2457x: the value-level class, unmoved), p34 1.0486x with a +11.9 sigma bucket (from +5.06: the one regression)	PASS
hl-v6-rw (the k lane's table rw1: 16,14,4,12,4,11,10,2,10,0 in draw order, sum 83, or never drawn)	30628f8adcf6035e, attempt 0	class-v6-fold 7880bc96	the same	accepted; min ratio 0.99990; bucket +5.5; worst bit 2.89; no site over 6 sigma	256 of 256, 0 exhausted, r 0.117, mean attempt 0.13, max 2, (c''') 0.34 percent	16 seeds: ratio at most 1.1526x (within), 4 of 16 flagged on the 6-sigma bucket (the control's own rate is 5 of 16); known-failed under this table's draw: p4, p34, p225 PASS, p8 +22 sigma, p10 +14, p15 +8.8, p212 +37 sigma buckets at ratios 1.00 to 1.15x	PASS
hl-v6-foldrw (fold and rw1)	605d06cabc489f94, attempt 0	class-v6-fold 7880bc96	the same	accepted; min ratio 0.99993; bucket +5.75; worst bit 3.49; no site over 6 sigma	256 of 256, 0 exhausted, r 0.117, mean 0.13, max 2, (c''') 0.34 percent	16 seeds: 15 PASS, 1 flagged (p18), at most 1.0932x; known-failed: every ratio within (p4 1.0002x, p8 1.0138x, p10 1.0100x, p15 1.0088x, p34 1.0121x, p212 1.1111x, p225 1.0000x), buckets flagged on p15 (+9.3) and p212 (+24.5)	PASS
hl-v6-rw2 (the census lane's table 13,11,6,10,8,8,7,2,6,4, sum 75)	09e91b0dcd458c77, attempt 1	class-v6-fold 7880bc96	the same	accepted; min ratio 0.99990; two sites with the stride bit at -64 sigma (no fold)	256 of 256, 0 exhausted, r 0.410, mean 0.70, max 8, (c''') 1.15 percent	16 seeds: seed p30 1.3111x over the window model (the control 1.0004x; hl-v6-rw's worst 1.1526x), BEYOND the 1.2x gate; known-failed under its draw: p8 1.2507x (+42.8), p10 1.5044x (+100.9), p225 1.4049x beyond, p34 +70.7 and p15 +13.2 sigma buckets, p4 and p212 PASS	FAIL on the F8 line
hl-v6-win (the 64-register full-chain window alone, +reg64c)	f42d4a743ce7d4fa, attempt 0 (the v5-dn3-epoch0 seeds and state)	reg64-v5 198d171d	class-v6-census-reg64 b29e690d2	accepted (with the liveness probe); min ratio 0.99923; bucket +5.5; the base program's stride-bit site at -448 sigma (no fold)	256 of 256, 0 exhausted, r 0.716, mean 2.52, max 15, (c''') 1.66 percent (the window does not enter the draw: class v5's rows)	the window's own address stream through the interpreter's tracing probe, 32 sites of the interleaved schedule, 16 seeds at 2^22, the era laid over, closed form: per-site distinct ratio 1.0026 to 1.0027 on every site (the (c'') form; the control 0.9946 to 1.0027); the item histogram's top-0.1-percent share 1.0645 to 1.5624x of a flat control against the control's 1.0738 to 1.5074x, paired by seed 0.968 to 1.036x of the control. The attack-f8 mirror and the known-failed set do not apply (eight registers)	PASS (the live-dataset point owed)
hl-v6-all (window, fold and rw1)	9d40978601a7df2a, attempt 0	class-v6 3f25a8305 (the texts at c245d50b9, the verifier unchanged)	class-v6-census-all 2d54a4633	accepted; min ratio 0.99993; bucket +5.75; worst bit 3.49; no site over 6 sigma	256 of 256, 0 exhausted, r 0.117, mean 0.13, max 2, (c''') 0.34 percent	the trace on 32 sites: per-site distinct ratio 1.0026 to 1.0027; item share 1.0443 to 1.5132x flat against the foldrw control's 1.0398 to 1.4616x, paired 1.004 to 1.035x	PASS (the live-dataset point owed)

The controls: the freeze's class v5 pack v5-dn3-epoch0 (e5a4ac5978462156) through the whole harness at 15:53 UK (the dry run: the known-failed set reproduces the record to three places, p4 1.2163x, p8 1.3787x, p10 1.5052x, p212 1.1917x, p225 1.2457x) and class v5 on the node1 state over the same 16 seeds at 2^22 (16 of 16 within 1.2x, worst 1.0698x; 5 of 16 flagged on the 6-sigma windowed bucket: the statistic's own rate on the family at 2^22, so a pack's 4 or 5 flags is the control's and a pack's 0 of 16 is a gain).

What the sheet means. The index fold does what it was drawn for: the stride-bit bias is gone from every program it ships, the F8 tails of 1.22 to 1.50x come inside the gate (1.01 to 1.19x) and the bucket concentration at narrow-window sites falls from the control's 5 of 16 seeds to 0 of 16; p225's value-level class is untouched and p34 gains one bucket statistic. The k lane's table (rw1, or never drawn, mul at 4) reads clean and gives the lowest rejection rate measured on the family (0.117); the census lane's table (rw2, or 4, mul 6) keeps the lossy writers the tails come from and fails the F8 line, so the re-weight is sound in the rw1 form only. The window changes nothing the rule or the F8 form sees at 2^22 on the closed form and carries the fold's and the table's rows unchanged; its value is the chip-side cost the adversary lane prices.

1. The harness

The class v5 crate of each pack's branch plus lane D's family-gate harness diff (docs/analysis/class-v6/logs/harness-family-gate-v5-3dc3117c.diff: IGNEUM_FAMILY_GATE widens the class v4 rules to the family's shapes, with every new class flag set aside in is_family_shape: state, fold, rw, wide8, reg64, reg64_chain), plus: a sitestats command (the whole rule with (c'''), then per site over 2^20 evaluations the distinct ratio against the window model, the largest 256-item bucket in sigma, the largest index-bit excess in sigma over the free bits); the accept walk at the class's own cap under the flag; the attack-pass lane's attack-f8 with --load-class <string> (the program drawn from a class string with the spec's era laid over it) and --dataset-words N (the ds55 geometry through load_index_geom; not exercised: a state class refuses the non-power-of-two count); the uniform trace tool tools/attack/v6-census/uniform on verify::Probe { trace_loads } (every load's index per lane through the interpreter itself). Binaries pinned per crate under /srv/builds/v6-census/bin/<tag>/ with sha256: fold-5b3486f0 (igneum-pow 50903d30, attack-f8 9ba2210b), reg64-1b676975 (v6census-uniform b2214265 after the fixes), all-d7d441be (igneum-pow 5a221e56, v6census-uniform 2ebd92c1).

2. The commands

# per pack, steps A (show + sitestats), B (the attempts census), C (attack-f8: the known-failed set at 2^24, 16 seeds p18 to p33 at 2^22)
/srv/builds/v6-census/pack-run.sh <tag> <bin-tag> <class> <epoch-hex> <day-hex> <era-hex> <state> <day-index> <era-widths-bytes> ABC
# e.g. ./pack-run.sh hl-v6-fold fold-5b3486f0 mx8+sh256x27+state+fold edc4fa84...fb07 69676e65756d2d6461792ffa50000000000000 edc4fa84...fb07 /srv/builds/v6-census/packs/node1-state.igsd1 20730 4 ABC
# the window packs' F8-form read (the trace), beside a control class on the same seeds
lease pool 16 --min 4 --nice 19 --class v5 -- env IGNEUM_FAMILY_GATE=1 v6census-uniform --class mx8+sh256x27+state+reg64c --seeds 16 --nonces 4194304 --threads {cores} --era 0:<hex> --era-widths 4 --prefix igneum-attack-f8/program
# the sheet
python3 pack-summ.py packs-out/<tag>

3. The instrument's definition (the hot-set reconcile, for the record)

Three reads. The acceptance's index-bit read: per program, per site, the one-count of each address bit over the 64 units' 16,384 addresses, judged inside the site's own era window and above the width's alignment, 6 sigma. The sitestats bucket: per program, per site, the largest 256-item bucket in sigma of its window expectation. attack-f8 census: per program, per item over the whole dataset, the cross-hash item histogram of all sites' reads against the WINDOW-MODEL control (the density the program's 16 drawn windows imply), the top-0.1-percent share ratio (1.2x), the 6-sigma largest 64-item bucket, the hot-set test; the flat-control ratio printed beside it and not used (1.1 to 1.7x on every pack: layer 8 by design, the adversary lane's 72 percent read against the other null).

4. Faults found and fixed on the way (the record, so no one repeats them)

• The uniform tool's distinct sets as HashSet took 16 GB a thread at 2^22 nonces and were killed by the lease's memory cap; bit vectors over the dataset's words now.
• The reg64 interleaved schedule runs 32 load rows per iteration (instruction k on window 0 then window 1); the first read mapped them onto 16 sites (doubling N, ratios 1.35 to 1.80), the second mapped site s to load s mod 16 (the wrong window's expectation, ratios 0.84); site s is load instruction s / 2.
• The all pack's attack-f8 chain died at start on the fold-base tool (+reg64c unparsed); the class-v6 tool parses it but its mirror interprets eight registers, so the mirror is not the window's instrument.
• The lease pool is a race, not a queue; env VAR="a b" through it splits on spaces.

5. Owed

The live-dataset F8 point at 2^24 for the two window packs (the mirror would need the two-window interpreter: four to six hours); the 64 x 2^24 point per pack (45 to 100 core-hours each); hl-v6-rw's files (on build-3, unreachable); the exact or = 0 attempts rows are lane D's.