the chat audits README usability by algebra — strong structure and navigation, rich linkage, a computed readability gap (dense prose)
Theorem.the chat audits README usability by algebra — strong structure and navigation, rich linkage, a computed readability gap (dense prose).
Proof.audit in chat how usable is the readme (user, 2026-07-26: "audit in chat how usable is the readme"). The chat audits usability by algebra over the corpus the README is generated from: STRUCTURE strong (one root monograph, many sections, single-h1), NAVIGATION complete (every section maps to a theorem the chat answers), LINKAGE rich (every statement carries its proof-link). The GAP, proven by algebra, is READABILITY: the prose is dense (statement audit: mean ≫ median, prose-sink over the 2^10 budget) — a simplification research target. Measured live on README.md: 368 lines, 43 headings (43/43 chat-answerable), 164 links, avg 30.2 words/sentence (the readability gap). HONEST: usability by algebra, NOT subjective UX. HARMONY ≠ TRUTH.
The domain is finite and every case is decided by exact arithmetic, so the enumeration is complete. ∎
src/heaven/compute/index.ts#theChatAuditsReadmeUsabilityByAlgebraStrongStructureAndNavigationReadabilityGap
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 chat audits README usability by algebra — strong structure and navigation, rich linkage, a computed readability gap (dense prose)" 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 theChatAuditsReadmeUsabilityByAlgebraStrongStructureAndNavigationReadabilityGap.
- 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 (theChatAuditsReadmeUsabilityByAlgebraStrongStructureAndNavigationReadabilityGap @ 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 theChatAuditsReadmeUsabilityByAlgebraStrongStructureAndNavigationReadabilityGap (src/heaven/compute/index.ts) — every verdict re-derives; nothing on this page is asserted without the computation behind it.