the monolith byte-target exceeds the census capacity — a ratchet with an unreachable zero
Theorem.the monolith byte-target exceeds the census capacity — a ratchet with an unreachable zero — pure pigeonhole: the census law fixes EXACTLY 110 index.ts (mission:gate, HARD) and the index-only law forbids other code files, so total capacity under the 8192-byte monolith target is 110 × 2¹³ = 901,120 bytes;.
Proof.pure pigeonhole: the census law fixes EXACTLY 110 index.ts (mission:gate, HARD) and the index-only law forbids other code files, so total capacity under the 8192-byte monolith target is 110 × 2¹³ = 901,120 bytes; the measured corpus is ~9× that — the conjunction {index-only ∧ exactly-110 ∧ every index ≤ 8192 B} is UNSATISFIABLE while corpus > capacity, so the byte ratchet can never reach zero without changing one of the three laws (grow the census, allow body files, or raise/retire the target). The blocking LINE gate (≤ 2584 lines per index) is separate and satisfiable — it is the one that gates green.
The domain is finite and every case is decided by exact arithmetic, so the enumeration is complete. ∎
src/water/stack/index.ts#monolithTargetVsCensusCapacity
1 · Classification
finite-complete — self-contained computation, no external lean
2 · Provenance
Documented theorem re-derived by exhaustive computation (humanityNovel=false); first-in-this-registry is the only sense of discovered.
Acknowledgment
"the monolith byte-target exceeds the census capacity — a ratchet with an unreachable zero" is a re-derivation, acknowledged to documented mathematics — the original proof is the prior art this re-derivation acknowledges; not new to humanity — the contribution is the reproducible computation monolithTargetVsCensusCapacity.
- Prior art
- documented mathematics — the original proof is the prior art this re-derivation acknowledges
- Novelty
- not new to humanity — a re-derivation (humanityNovel = false)
- Contribution
- a reproducible computation (monolithTargetVsCensusCapacity @ src/water/stack) that re-derives the result at zero tokens — the contribution is the verifiable recomputation, NOT the theorem
3 · Reproducibility
Recompute from source: npm run theorems:verify recomputes monolithTargetVsCensusCapacity (src/water/stack/index.ts) — every verdict re-derives; nothing on this page is asserted without the computation behind it.