the corpus is 432 megabytes of budget, path-indexed — meaning is the path, payload is the file
Theorem.the corpus is 432 megabytes of budget, path-indexed — meaning is the path, payload is the file — the whole-corpus size limit sealed from three user directives (2026-07-24): "432 by how many bytes is a megabyte is the size limit" fixes the ceiling at 432 × 2²⁰ = 452,984,832 bytes.
Proof.the whole-corpus size limit sealed from three user directives (2026-07-24): "432 by how many bytes is a megabyte is the size limit" fixes the ceiling at 432 × 2²⁰ = 452,984,832 bytes — the ICHING harmonic 432 lifted to binary-megabyte scale, so budget ÷ MiB = 432 exactly (dimensionless); "each folder path is the meaning while the folder is the payload" makes each path the content address and the file at it the payload; "improve input output by computed chunks as path indices" sums the corpus by walking each path ONCE, reading its stat.size as one chunk — O(files) IO, a collision-free bijection path→payload so no chunk double-counts. Measured 13.8 MiB over 202 payloads sits at ~3% of budget with 438 MiB headroom. A POLICY ceiling (432 chosen as the site harmonic, megabyte binary), distinct from the per-file DERIVED monolith target; bounds source payload bytes, refutable if the corpus exceeds the ceiling or any path collides.
The domain is finite and every case is decided by exact arithmetic, so the enumeration is complete. ∎
src/pair/enforcement/gates/strict/scan/index.ts#corpusSizeBudget432
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 corpus is 432 megabytes of budget, path-indexed — meaning is the path, payload is the file" 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 corpusSizeBudget432.
- 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 (corpusSizeBudget432 @ src/pair/enforcement/gates/strict/scan) 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 corpusSizeBudget432 (src/pair/enforcement/gates/strict/scan/index.ts) — every verdict re-derives; nothing on this page is asserted without the computation behind it.