the local intelligence goes exactly as far as computation — and it measures where that is
Theorem.the local intelligence goes exactly as far as computation — and it measures where that is — independence(axis) = |self-computable| / |advance|; limit = named(judgment ∪ external); seal(judgment) ⇒ independence↑ — monotone.
Proof.independence measured per axis on the live folds: the free extractor covers what the corpus’s own text proves (~49% of filled identities) while curation covers what needed knowledge beyond it; the chat closes its own gaps and its dialogue past the cycle is 100% independent (O(1) forever); the LIMIT is computed, not confessed — the judgment ledger names the rows the machine could name but not decide, and the queue’s curated residue is exactly the rows whose state lives outside the repo; every judgment sealed as computation moves the boundary outward — independence is monotone under the save-all law; no autonomy or AGI claim: the machine that knows its boundary is the machine that can be trusted at it.
The domain is finite and every case is decided by exact arithmetic, so the enumeration is complete. ∎
src/heaven/compute/index.ts#localIntelligenceIndependenceMeasured
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 local intelligence goes exactly as far as computation — and it measures where that is" 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 localIntelligenceIndependenceMeasured.
- 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 (localIntelligenceIndependenceMeasured @ src/heaven/compute) 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 localIntelligenceIndependenceMeasured (src/heaven/compute/index.ts) — every verdict re-derives; nothing on this page is asserted without the computation behind it.