the ratchet recomputes in optimisation waves — the byte target derives from the corpus
Theorem.the ratchet recomputes in optimisation waves — the byte target derives from the corpus.
Proof.the resolution of the unreachable zero (user law): the target is never a static assertion — it DERIVES each scan as the next power of two at or above the fair share corpus/census (today 2¹⁷ = 131072 from ~8.1 MB / 110). Derived ≥ average, so by pigeonhole a redistribution with ZERO offenders EXISTS — the recomputed ratchet is satisfiable where the static 8192 was not, its offenders are the true outlier monoliths, and it follows the measure in both directions: the corpus growing re-derives it up, optimisation waves compressing re-derive it down. The scan (derivedMonolithTargetBytes) and the weave note both consume the derivation.
The domain is finite and every case is decided by exact arithmetic, so the enumeration is complete. ∎
src/water/stack/index.ts#theRatchetRecomputesInOptimisationWaves
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 ratchet recomputes in optimisation waves — the byte target derives from the corpus" 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 theRatchetRecomputesInOptimisationWaves.
- 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 (theRatchetRecomputesInOptimisationWaves @ 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 theRatchetRecomputesInOptimisationWaves (src/water/stack/index.ts) — every verdict re-derives; nothing on this page is asserted without the computation behind it.