methods consolidate by gravity — one word attracts, compression adds words, the type holds the meaning
Theorem.methods consolidate by gravity — one word attracts, compression adds words, the type holds the meaning.
Proof.the name-space scanned as a gravity field (user law): exported function names cluster by shared name-words; each cluster's attractor is its shortest member (the one-word root), every other member a computed pull in the consolidation worklist — compression = the attractor word plus added words, and each executed wave gives the attractor the cluster's ONE exported type so the type itself holds the payload computable meaning. Executed waves this session: served (servedRouteFromSlugs at the src/3/7 leaf — wind/site, voice and the 3-5-8 map all compose the one route grammar) and combination (the Combination type at the corpus). The scanner is deterministic and zero-token; each wave shrinks its cluster's pulls, refutable by re-running the scan.
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#methodGravity
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
"methods consolidate by gravity — one word attracts, compression adds words, the type holds the meaning" 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 methodGravity.
- 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 (methodGravity @ 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 methodGravity (src/pair/enforcement/gates/strict/scan/index.ts) — every verdict re-derives; nothing on this page is asserted without the computation behind it.