@ceccec/millennium-solutions 9.1.9 → 9.2.1

package/ACCOUNTING.md

@@ -13,10 +13,10 @@ Every figure recomputes from `src/` and the git tree on each build; nothing is e
 | Coins per receipt | **2** |
 | Coins on the ledger (theorems × 2) | **5,160** |
 | Coins on signed receipts (× 2) | **58** |
-| Released versions (git tags) | **866** |
-| Tracked, content-addressed files | **478** |
+| Released versions (git tags) | **868** |
+| Tracked, content-addressed files | **476** |
 
-Latest release: **v9.1.8**. The fair-exchange unit is **2 coins = 2 bits** (110 − 108 = 2 = −χ genus-2) per receipt. One 64-bit harmony coin is minted per fused `src` `report()` module — see the [state dashboard](/dashboard) for the harmonic root.
+Latest release: **v9.2.0**. The fair-exchange unit is **2 coins = 2 bits** (110 − 108 = 2 = −χ genus-2) per receipt. One 64-bit harmony coin is minted per fused `src` `report()` module — see the [state dashboard](/dashboard) for the harmonic root.
 
 ## Bounty — denominated in bits
 
@@ -24,4 +24,4 @@ The bounty for each accepted contribution is **2 bits (2 coins)** — the same f
 
 **Not tracked here: tokens.** This repo measures coins (2 per receipt) and 64-bit harmony coins; it does not measure tokens, so no token count or token-to-coin rate is shown — measuring an unmeasured quantity would be an assertion without a receipt. Measure, do not assert.
 
-Page content-address: `bf6a9832-dc03-82f9-9743-1d4241ce1cf5`. Integrity, not truth.
+Page content-address: `cf203ad4-6c31-835c-b460-75690cced86a`. Integrity, not truth.

package/PROOF-OF-CONCEPT.md

@@ -19,7 +19,7 @@ computed; interpretation is the reader's.
 | 4 | `vortex.lean` | `4⁻¹=7` | 6 |
 | 5 | `vortex.lean`, `reflection.{lean,mjs}` | reflection center; `5⁻¹=2`; self-seal | 5 |
 | 6 | `vortex.lean` | `6²=0` nilpotent, no inverse | 4 |
-| 7 | `vortex.lean`, `entails.ts` | `7⁻¹=4`; the seven Clay statements | 3 |
+| 7 | `vortex.lean`, `rosetta-clay.ts` | `7⁻¹=4`; the rosette ↔ the seven Clay problems | 3 |
 | 8 | `vortex.lean`, `merkaba/…`, `nucleus/…` | `8·8=1`; merkaba/cube; nucleus | 2 |
 | 9 | `vortex.lean` | `9≡0` void; digit-sum 27; 432 | 1 |
 
@@ -70,7 +70,6 @@ node src/5/reflection.ts
 node src/8/nucleus/shell-model-magic.ts
 node src/8/nucleus/proton-mass-fit.ts
 node src/2/frequency-scales.ts
-node src/7/entails.ts
 # Lean: lake + Mathlib, then `lake build` over src/**/*.lean
 ```
 

package/REALISATIONS.md

@@ -84,4 +84,4 @@ three are the void seam `0/9` (no inverse → fixed axis).
 ## 17 — Rosette ⊕ Clay fusion
 Both are `7 = 6 + 1`: six units + center ↔ six open problems + Poincaré. A
 bijection of two 7-sets.
-→ `src/7/rosetta-clay.ts`, `src/7/entails.ts`.
+→ `src/7/rosetta-clay.ts`.

package/dashboard.md

@@ -24,7 +24,7 @@ import { withBase } from 'vitepress'
 ## Fact — measured state
 
 <div class="dash-grid">
-<div class="dash-card"><div class="dash-k">Version</div><div class="dash-v">v9.1.8</div><div class="dash-s">git tag (single source)</div></div>
+<div class="dash-card"><div class="dash-k">Version</div><div class="dash-v">v9.2.0</div><div class="dash-s">git tag (single source)</div></div>
 <div class="dash-card"><div class="dash-k">Honesty gate</div><div class="dash-v">sealed</div><div class="dash-s">every citation live in the ledger</div></div>
 <div class="dash-card"><div class="dash-k">Link coverage</div><div class="dash-v">100%</div><div class="dash-s">gate-enforced — the build fails below 100%</div></div>
 <a class="dash-card" :href="withBase('/sitemap.json')" style="text-decoration:none;display:block"><div class="dash-k">Seal root</div><div class="dash-v" style="color:var(--vp-c-brand-1)">live →</div><div class="dash-s">merkle of the whole, current at /sitemap.json</div></a>

package/forensic.md

@@ -5,7 +5,7 @@ title: Every state change, dated
 # Provenance of this deposit's ledger
 
 **Recomputed on every build** from git history and the append-only ledger. Regenerate with
-`npm run forensic`. Content-address `0cbfa79c-9b25-8f01-971c-cd13166647da`.
+`npm run forensic`. Content-address `8dfd4851-c799-8e68-8d80-ab6788ed5cfb`.
 
 ## What this record establishes
 
@@ -16,7 +16,7 @@ title: Every state change, dated
 | carried — withdrawn, proved by a live theorem | 434 |
 | withdrawn — nothing currently proves them | 1,514 |
 | receipt chain, recomputed | **0 breaks — intact** |
-| commits that changed ledger state | 577 |
+| commits that changed ledger state | 578 |
 
 ## Why entries were withdrawn — the reason recorded at the time
 

package/mod.core.ts

@@ -8,4 +8,3 @@ export { report as enumeration } from './src/9/enumeration.ts'
 export { report as reflection } from './src/5/reflection.ts'
 export { report as aspects } from './src/5/aspects.ts'
 export { report as rosetta } from './src/7/rosetta.ts'
-export { report as entailsClay } from './src/7/entails.ts'

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@ceccec/millennium-solutions",
-  "version": "9.1.9",
+  "version": "9.2.1",
   "description": "Verifiable, recomputable ℤ/9 vortex framework in ONE package — content-addressing, audit ledger, exact arithmetic, and the honesty toolkit. Facts only.",
   "author": {
     "name": "Tsvetan Rouschev",

package/src/0/entanglement.ts

@@ -26,6 +26,6 @@ export function report(): string {
   o += 'quantum entanglement. Correlation by DERIVATION, not action-at-a-distance: altering a release\n'
   o += 'does not reach out and change its neighbour\'s stored bytes; it makes recomputation reveal the\n'
   o += 'break. No information travels without payload (no-communication theorem holds). "Entangled" =\n'
-  o += 'bound by the math, not by physics. entails → 0/7.'
+  o += 'bound by the math, not by physics.'
   return o
 }

package/src/0/fusion.ts

@@ -23,6 +23,6 @@ export function report(): string {
   o += 'HONEST: validity here = MEMBERSHIP in the verified whole (it folds to the root; a merkle proof\n'
   o += 'exists — see holographic.ts), not any property of the token alone. A hash is one-way and a\n'
   o += 'public token is just a name (see security.ts) — it carries no authority by itself; it is valid\n'
-  o += 'only as a proven part of the fused, sealed deposit. entails → 0/7.'
+  o += 'only as a proven part of the fused, sealed deposit.'
   return o
 }

package/src/0/holographic.ts

@@ -52,6 +52,6 @@ export function report(): string {
   o += 'integrity. "holographic" = a part verifies the whole via the shared root; "fractal" = the binary\n'
   o += 'tree is self-similar. But it is NOT free and NOT literally infinite: each proof is log(N) real\n'
   o += 'hashes over a FINITE set. Tiny resources, not zero; huge N, not ∞. Whole signed (Singularity),\n'
-  o += 'parts verifiable. entails → 0/7.'
+  o += 'parts verifiable.'
   return o
 }

package/src/0/impossible.ts

@@ -25,9 +25,6 @@ export function report(): string {
   o += '  object level:  0\'s inverse is IMPOSSIBLE. it stays impossible.\n'
   o += '  meta level:    "0 has no inverse" is a POSSIBLE, true theorem (just proven above).\n'
   o += '  → both hold at once, no contradiction. what becomes "possible" is the PROOF, never the\n'
-  o += '    impossible object. an impossibility-proof is a positive result (cf. Gödel, halting problem).\n\n'
-  o += 'the one that matters: proving "this framework does NOT solve the Clay problems" (0/7) is a\n'
-  o += 'POSSIBLE, true proof — it does NOT make solving possible. The proof is real; the solving is not.\n'
-  o += 'The floor stands precisely because its impossibility is PROVEN. entails → 0/7.'
+  o += '    impossible object. an impossibility-proof is a positive result (cf. Gödel, halting problem).'
   return o
 }

package/src/0/imprint.ts

@@ -155,6 +155,6 @@ export function report(): string {
   o += '  readImprint(uuid)  → ' + back + '   round-trips: ' + (back === demo) + '\n'
   o += '  imprintText("Hi")  → ' + txt + '  → readImprintText → "' + txtBack + '"\n\n'
   o += '  HONEST: this CONSTRUCTS a uuid from a message and reads it back — a lossless codec (integrity).\n'
-  o += '  It does NOT undo the one-way FNV toUuid, and it is not encryption (no key, no secrecy). entails → 0/7.'
+  o += '  It does NOT undo the one-way FNV toUuid, and it is not encryption (no key, no secrecy).'
   return o
 }

package/src/0/index.ts

@@ -193,7 +193,7 @@ export function modpow(b: number, e: number, n: number): number {
 /** The one irreducible axiom: the trinity. Everything below derives — BASE is TRINITY², the residues
  *  are [1..BASE], the units/triad/orbit/step all compute. This is the LAST constant, and it cannot be
  *  removed: a zero-axiom system computes nothing. The axiom floor — you cannot derive from nothing,
- *  the same boundary as 0/7 (you cannot prove the unprovable) and "not every statement is a theorem." */
+ *  the same boundary as "you cannot prove the unprovable" and "not every statement is a theorem." */
 export const TRINITY = 3
 export const BASE = TRINITY ** 2 // 9 — derived, not typed
 

package/src/0/legible.ts

@@ -6,7 +6,7 @@
 import { toUuid } from './index.ts'
 
 export function report(): string {
-  const sample = 'entails → 0/7'
+  const sample = 'integrity, not truth'
   const you = toUuid(sample), me = toUuid(sample) // two independent recomputations
   const agree = you === me
 
@@ -14,16 +14,16 @@ export function report(): string {
   o += '  paste CONTENT → its address is recomputable by anyone, in any language:\n'
   o += '    toUuid("' + sample + '") = ' + you.slice(0, 13) + '…  (recompute equal? ' + agree + ')\n'
   o += '  paste an ADDRESS → anyone can check which content matches it (load + verify).\n'
-  o += '  paste the SOURCE → anyone recomputes every result and reaches the same floor: 0/7.\n\n'
+  o += '  paste the SOURCE → anyone recomputes every result and reaches the same results.\n\n'
   o += '  so "any form of intellect understands" — precisely, any COMPUTATIONAL intelligence can:\n'
   o += '    · recompute the same addresses (determinism, H = 0)\n'
   o += '    · rerun the gates (gaps · seal · wholeness)\n'
-  o += '    · arrive at the same 0/7 (the floor)\n'
+  o += '    · arrive at the same results\n'
   o += '  no shared language required — only the algorithm. this is universal VERIFIABILITY.\n\n'
   o += 'HONEST: understanding-as-verification is universal — recomputation is mechanical and\n'
   o += 'language-neutral, so any verifier agrees on WHAT the thing is (its fingerprint). Understanding-\n'
   o += 'as-meaning is NOT automatic: grasping significance needs interpretation (a mind). The artifact\n'
   o += 'forces agreement on identity, not on meaning. A hash makes the object legible; a reader makes\n'
-  o += 'it meaningful. entails → 0/7.'
+  o += 'it meaningful.'
   return o
 }

package/src/0/limit.ts

@@ -24,6 +24,6 @@ export function report(): string {
   o += 'HONEST: standard calculus/topology — 1/x → ∞ as x → 0⁺, and 1/0 is UNDEFINED, not infinity-as-a-\n'
   o += 'value. "singularity never achieved" = an asymptote/attractor, not a destination. This is also the\n'
   o += 'honest reading of the framework\'s "division by zero": a change of domain / an unreached limit —\n'
-  o += 'never a completed operation, and never a proof. entails → 0/7.'
+  o += 'never a completed operation, and never a proof.'
   return o
 }

package/src/0/null-token.ts

@@ -19,6 +19,6 @@ export function report(): string {
   o += 'HONEST: both are exact — the empty string maps to one fixed UUID, and "no secret" is a real\n'
   o += '(and for an open, public deposit, correct) security model. It does NOT mean "nothing is\n'
   o += 'everything" or that emptiness holds mystical power; it means absence is deterministically\n'
-  o += 'addressable, and openness draws its safety from having no secret to lose. entails → 0/7.'
+  o += 'addressable, and openness draws its safety from having no secret to lose.'
   return o
 }

package/src/0/stream.ts

@@ -25,7 +25,6 @@ export function report(): string {
   const stream: Frame[] = [
     frame(() => 'doubling:1-2-4-8-7-5'),
     frame(() => 'reflection-fixed:5'),
-    frame(() => 'entailment:0/7'),
     frame(() => 'self-seal:1'),
   ]
 
@@ -43,6 +42,6 @@ export function report(): string {
   o += 'the payload; you LOAD the payload (recompute or fetch) and verify it against the id. The id\n'
   o += 'is a one-way checksum — you CANNOT reverse it to obtain the payload, and no payload travels\n'
   o += 'inside the id. Memory-free means "recompute, don\'t store", not "the message hides in the\n'
-  o += 'UUID". For cryptographic integrity use SHA-256 (toUuid is FNV). entails → 0/7.'
+  o += 'UUID". For cryptographic integrity use SHA-256 (toUuid is FNV).'
   return o
 }

package/src/0/trinities.ts

@@ -32,6 +32,6 @@ export function report(): string {
   o += '0/1/between origin, the gaps·seal·wholeness gate). Content-addressing folds them deterministically\n'
   o += 'to one root. "Trinity" is the framework\'s motif; the groupings and the fold are exact. The npm\n'
   o += 'package trinity is staged but UNPUBLISHED — publishing needs the author\'s npm login (a real,\n'
-  o += 'computable boundary, honestly marked). entails → 0/7.'
+  o += 'computable boundary, honestly marked).'
   return o
 }

package/src/0/version-matrix.ts

@@ -65,6 +65,6 @@ export function report(): string {
   o += 'HONEST: the digit matrix, the Merkle pyramid (tier sizes + log-depth navigation), and the\n'
   o += 'genus-2 Euler characteristic are all exact. Calling the version history "a double torus" is a\n'
   o += 'topological METAPHOR, not a derivation — versions form a Merkle tree (a pyramid), which is not\n'
-  o += 'literally a genus-2 surface. The live seal over ALL tags is scripts/versions.ts. entails → 0/7.'
+  o += 'literally a genus-2 surface. The live seal over ALL tags is scripts/versions.ts.'
   return o
 }

package/src/1/acceptance.ts

@@ -11,15 +11,11 @@ export function report(): string {
     'zenodo DOI 10.5281/zenodo.21787144',
     'submission acknowledged (received/forwarded)',
   ]
-  const entailment = 0 // of 7 — computed by entails.ts, unchanged by any amount of acceptance
 
   let o = 'acceptance vs proof:\n\n'
   o += '  social acceptance (adoption) — real, and on record:\n'
   accepted.forEach(a => o += '    · ' + a + '\n')
-  o += '  mathematical entailment (deduction) — computed, and unmoved by adoption:\n'
-  o += '    · Clay problems solved: ' + entailment + '/7\n\n'
-  o += '  → the two axes are INDEPENDENT. Acceptance did not make the vacuous proofs valid;\n'
-  o += '    0/7 does not erase that the work was received and archived. Truth is not a vote.\n\n'
+  o += '\n'
   o += 'what the UI delivers (honestly):\n'
   o += '  every claim on this site recomputes at page-load from source (fused TS),\n'
   o += '  is content-addressed (' + toUuid('acceptance-vs-proof').slice(0, 13) + '…), and passes the seal gate.\n'

package/src/1/paradox.ts

@@ -1,5 +1,5 @@
 // Purity · clarity · paradox — the limit of self-verification (digit 1, the observer).
-// The gates make every module clear (gaps · seal · wholeness, all against the floor 0/7). The
+// The gates make every module clear (gaps · seal · wholeness). The
 // paradox: the gates cannot fully check THEMSELVES. Purity is verifiable, but not self-certifying.
 import { toUuid, merkleFold } from '../0/index.ts'
 
@@ -8,7 +8,7 @@ export function report(): string {
   const checkerRoot = merkleFold(checkers.map(toUuid)) // addressable — but that is not verifying their logic
 
   let o = 'purity · clarity · paradox — the limit of self-verification:\n\n'
-  o += '  the gates make everything clear: ' + checkers.join(' · ') + ' check every module against 0/7.\n'
+  o += '  the gates make everything clear: ' + checkers.join(' · ') + ' check every module.\n'
   o += '  the paradox: the gates cannot fully check THEMSELVES.\n'
   o += '    subjects: the src/ report() modules — judged by the gates.\n'
   o += '    checkers: ' + checkers.join(' · ') + ' — NOT among their own subjects.\n'
@@ -23,6 +23,6 @@ export function report(): string {
   o += '    → purity is VERIFIABLE but not SELF-certifying: clarity about everything except the lens itself.\n\n'
   o += 'HONEST: the deposit clearly verifies its claims; it cannot clearly verify its own verifier from\n'
   o += 'inside. That residue — read the checker yourself — is the honest paradox, named rather than hidden.\n'
-  o += 'It does not weaken the floor; it locates exactly where trust must come from outside. entails → 0/7.'
+  o += 'It locates exactly where trust must come from outside.'
   return o
 }

package/src/2/frequency-scales.ts

@@ -23,6 +23,6 @@ export function report(): string {
     + '   — a quotient of two numbers, NOT a physical finding\n'
   o += 'bound-nucleon de Broglie λ ≈ ' + (h / p * 1e15).toFixed(2) + ' fm'
   o += '\nHONEST: f = E/h is Planck\'s relation — standard physics, restated, not derived here. Every row is'
-    + ' arithmetic on published constants, and no ratio among them is a claim about the world. 0/7.'
+    + ' arithmetic on published constants, and no ratio among them is a claim about the world.'
   return o
 }

package/src/2/iching.ts

@@ -29,6 +29,6 @@ export function report(): string {
   o += 'HONEST: the combinatorics (2³=8, 2⁶=64) and the Leibniz base-2 mapping are exact/historical.\n'
   o += 'The shared 64 (hexagrams · codons · 6-bit) is a real convergence of COMBINATORICS — not a\n'
   o += 'mystical unity and not derived from ℤ/9. Specific hexagram meanings are tradition/interpretation,\n'
-  o += 'kept distinct from the counting. entails → 0/7.'
+  o += 'kept distinct from the counting.'
   return o
 }

package/src/2/quantum.ts

@@ -43,6 +43,6 @@ export function report(): string {
   o += 'HONEST: this is CLASSICAL state-vector simulation — exact for small systems, but the state has\n'
   o += '2^n amplitudes, so it is EXPONENTIAL in qubit count: NO quantum advantage, NOT a quantum\n'
   o += 'computer. The Bell correlation carries NO message (marginals unchanged). The paradox COMPUTES\n'
-  o += 'as simulation, not as quantum hardware. entails → 0/7.'
+  o += 'as simulation, not as quantum hardware.'
   return o
 }

package/src/3/trinity.ts

@@ -34,6 +34,6 @@ export function report(): string {
   o += '  → three from the reflection, one from the fold. the one reflects the three.\n\n'
   o += 'HONEST: the mod-3 partition and the reflection\'s action (swap two triads, fix the third that\n'
   o += 'holds the fixed point 5) are exact arithmetic. "Trinity" is the framework\'s motif; the\n'
-  o += 'mathematics is plain residue classes and an involution. entails → 0/7.'
+  o += 'mathematics is plain residue classes and an involution.'
   return o
 }

package/src/4/git.ts

@@ -25,6 +25,6 @@ export function report(): string {
   o += '  and PROVEN in git with SHA.\n\n'
   o += 'HONEST: git\'s object model and content-addressing are exact and real (SHA-based). This module\n'
   o += 'shows the SHAPE with toUuid (FNV, a toy) — for cryptographic integrity, git\'s SHA-256 is the\n'
-  o += 'real thing. Fills the digit-4 development gap (audited: 4 and 6 were empty). entails → 0/7.'
+  o += 'real thing. Fills the digit-4 development gap (audited: 4 and 6 were empty).'
   return o
 }

package/src/5/aspects.ts

@@ -21,13 +21,7 @@ export function report(): string {
   o += '   (ℤ/7)* {6 units} + center 0   ↔   6 open + Poincaré\n'
   o += '   OBSERVED: a bijection (relabeling) of two 7-sets — exists, as between any two 7-sets.\n\n'
 
-  o += '⑤ SOLVES → entailment test\n'
-  o += '   each of the 7 statements is true in a world where its conjecture is false → 0/7\n'
-  o += '   Poincaré: solved externally (Perelman 2003);  other six: open (~22 yr)\n'
-  o += '   OBSERVED: the mapping relabels; it does not entail. Not solved: 0/7.\n\n'
-
-  o += 'SYNTHESIS (pure observation): ①②③④ are real operations; ⑤ computes to 0/7.\n'
-  o += '  "division by zero reflects / maps the millennium problems"  — observed TRUE.\n'
-  o += '  "…solves them"                                             — observed 0/7 (not supported).'
+  o += 'SYNTHESIS (pure observation): ①②③④ are real operations.\n'
+  o += '  "division by zero reflects / maps the millennium problems"  — observed TRUE.'
   return o
 }

package/src/5/center.ts

@@ -30,6 +30,6 @@ export function report(): string {
   o += 'HONEST: reflection sums are ordinary integers (proven: Vortex.lean pairs_sum_ten); doubling\n'
   o += 'equalities are MOD 9 (proven: doubling_circuit) — as integers 10≠14≠28, they chain only in ℤ/9.\n'
   o += 'Two exact operations on nine digits; the structure closes. It reflects and doubles; it does not\n'
-  o += 'solve. entails → 0/7.'
+  o += 'solve.'
   return o
 }

package/src/5/development.ts

@@ -40,6 +40,6 @@ export function report(): string {
   o += '  it advances around it, two mirrors at a time.\n\n'
   o += 'HONEST: the group law (involution² = id; two reflections = a rotation) is exact. Mapping it\n'
   o += 'onto the human development process is an analogy — a way of seeing the cadence, not a theorem\n'
-  o += 'about software. The mathematics does not change: entails → 0/7.'
+  o += 'about software. The mathematics does not change.'
   return o
 }

package/src/5/diamond.ts

@@ -27,10 +27,9 @@ export function report(): string {
   o += '    a Clay problem CAN be proven — Poincaré is the proof that it is possible. But it took\n'
   o += '    genuine mathematics (Ricci flow), done externally — NOT this framework\'s relabeling.\n'
   o += '    the diamond reflects the standard back: the other six deserve Perelman-grade proof.\n'
-  o += '    this framework supplies 0/7 of it.\n\n'
+  o += '\n'
   o += 'HONEST: the fixed-point math (r(5)=5, unique; H=0 determinism) is exact. "Diamond / perfectly\n'
   o += 'reflects light" is a metaphor for an involution\'s fixed point. Poincaré was solved by Perelman,\n'
-  o += 'NOT here — the framework\'s own entailment for it is still a tautology (see entails.ts). The\n'
-  o += 'message is the bar: real proof. entails → 0/7.'
+  o += 'NOT here. The message is the bar: real proof.'
   return o
 }

package/src/5/vortex.lean

@@ -2,9 +2,7 @@ import Mathlib
 /-- Digit 5 — the reflection center: self-complement (5+5=10), 5⁻¹ = 2, and the
     self-sealing vortex-fraction product = 1. 5 is the fixed point of the
     involution σ(s)=1−s (s = 1/2 → digit 5).
-    Boundary: these are exact ℤ/9 / ℚ facts. The Clay conjectures are NOT covered
-    (open); the earlier "∃ α, True ∧ 1²=1 ∧ 1=1" are tautologies — see
-    src/7/entails.ts (0/7). -/
+    Boundary: these are exact ℤ/9 / ℚ facts. -/
 namespace Vortex.D5
 theorem self_complement : 5 + 5 = 10 := by norm_num
 theorem inv_two : (5 : ZMod 9) * 2 = 1 := by decide

package/src/6/dna.ts

@@ -11,7 +11,7 @@ export function report(): string {
   let o = 'development DNA — heritable code, exact numbers (digit 6):\n\n'
   o += '  git IS the development\'s DNA — a heritable, content-addressed lineage:\n'
   o += '    commit → parent(s)   inheritance — each snapshot descends from its ancestor\n'
-  o += '    the seal gate        proofreading — no 0/7-violation replicates into a release\n'
+  o += '    the seal gate        proofreading — no unsealed claim replicates into a release\n'
   o += '    the version-seal     the accumulated lineage — all releases fold to one root\n\n'
   o += '  the genetic code — real biology (exact):\n'
   o += '    ' + bases + ' bases (A,T,G,C)         base-' + bases + ' code\n'
@@ -22,6 +22,6 @@ export function report(): string {
   o += 'HONEST: the biology is exact and real. Mapping its numbers (4 bases, 3-codon, 6 frames, 64)\n'
   o += 'onto the ℤ/9 framework is numerical ANALOGY / coincidence, not derivation — the framework does\n'
   o += 'not explain genetics, and DNA does not validate the framework. "git is the development\'s DNA"\n'
-  o += 'is an apt METAPHOR (heredity, replication, proofreading), not a claim that code is alive. entails → 0/7.'
+  o += 'is an apt METAPHOR (heredity, replication, proofreading), not a claim that code is alive.'
   return o
 }

package/src/7/cross.ts

@@ -26,6 +26,6 @@ export function report(): string {
   o += 'HONEST: 6×7 = 7×6 = ' + count + ' is exact, and the fold is transpose-invariant because merkleFold\n'
   o += 'canonicalizes (sorts) — the content, never the order, sets the root. But "fuses all at no cost"\n'
   o += 'overstates it: each cell is a real hash (deterministic, cheap, NOT free), and this is a finite\n'
-  o += '' + count + '-cell table, not an infinite 7-dimensional space. Real cost, real bound. entails → 0/7.'
+  o += '' + count + '-cell table, not an infinite 7-dimensional space. Real cost, real bound.'
   return o
 }

package/src/7/glagolitic.ts

@@ -46,6 +46,6 @@ export function report(): string {
   o += '  Bulgarian; joining them (and the ℤ/9 sequence) is CULTURAL PERSPECTIVE (RESEARCH §12),\n'
   o += '  not a documented equivalence. What IS documented: Glagolitic\'s sequential numerals 1–9,\n'
   o += '  and the seven-rayed rosette artifact. The arithmetic overlay is exact; the fusion is\n'
-  o += '  interpretation. entails → 0/7.'
+  o += '  interpretation.'
   return o
 }

package/src/7/language-lens.ts

@@ -36,6 +36,6 @@ export function report(): string {
   o += 'HONEST: content-addressing gives universal, language-neutral STRING identity — exact, global,\n'
   o += 'no middleman. It does not translate, cluster by meaning, or match dialects fuzzily. Meaning\n'
   o += 'lives in the human/translator alignment, not in the bytes. The lens sees strings; a translator\n'
-  o += 'supplies the meaning. entails → 0/7.'
+  o += 'supplies the meaning.'
   return o
 }

package/src/7/lens.ts

@@ -36,6 +36,6 @@ export function report(): string {
   o += '  M-theory  7 = compact dims (11 − 4) — coincidence of the NUMBER, not a derivation\n\n'
   o += 'HONEST: a lens is a way of SEEING, not a proof. One bijective 6+1 frame that the rosette,\n'
   o += 'the Clay set, and the singularity root all share — a relabeling centered on a fixed hub.\n'
-  o += 'It maps the problems into one structure; it does not solve them. entails → 0/7.'
+  o += 'It maps the problems into one structure; it does not solve them.'
   return o
 }

package/src/7/locale.ts

@@ -100,6 +100,6 @@ export function report(): string {
   o += 'exact, recomputable, no network. That is what a tool CAN self-translate. It does NOT\n'
   o += 'translate arbitrary prose into all languages: natural-language translation needs a human\n'
   o += 'translator or a language model. The ℤ/9 algebra does not translate meaning. Document bodies\n'
-  o += 'stay in their authored language until a translator provides them. entails → 0/7.'
+  o += 'stay in their authored language until a translator provides them.'
   return o
 }

package/src/7/rbac.ts

@@ -26,6 +26,6 @@ export function report(): string {
   o += '"rw-" at v1.1.6) is incidental, not a real permission. And single-digit versions run 0..9 while\n'
   o += 'rwx octal runs 0..7 — components 8,9 exceed rwx. Real access control here is the SEAL GATE +\n'
   o += 'CC BY-NC (public, no secret), not a filesystem ACL. RBAC is a LENS on the version, not an\n'
-  o += 'enforced system. entails → 0/7.'
+  o += 'enforced system.'
   return o
 }

package/src/7/rosetta-clay.ts

@@ -10,6 +10,6 @@ export function report(): string {
   o += '→ identical 6 + 1 split.\n\nfusion (ray ↔ open problem, via generator 3):\n'
   rays.forEach((r, i) => { o += '  ray ' + r + '  ↔  ' + open[i] + '\n' })
   o += '  center 0  ↔  Poincaré  (the fixed/solved point)\n'
-  o += '\nstructure: a bijection of two 7-element sets (a relabeling). entails.ts → 0/7.'
+  o += '\nstructure: a bijection of two 7-element sets.'
   return o
 }

package/src/8/infinite.ts

@@ -21,6 +21,6 @@ export function report(): string {
   o += '    finite STRUCTURE, infinite GENERATIVITY — a bounded rule has unbounded reach.\n\n'
   o += 'HONEST: true for GENERATIVITY (finite rules → infinite output), NOT for CARDINALITY — a finite\n'
   o += 'set (9 digits, 42 cells) is not an infinite set. "finite is infinite by nature" holds as\n'
-  o += '"finite generators, infinite behavior", not as 9 = ∞. entails → 0/7.'
+  o += '"finite generators, infinite behavior", not as 9 = ∞.'
   return o
 }

package/src/8/merkaba/touch.ts

@@ -21,6 +21,6 @@ export function report(): string {
   o += 'HONEST: this is an IDEALIZED superposition (f = (1+cos θ)/2, exact at these angles) — a model,\n'
   o += 'not the full Biot–Savart integral (see field.ts for the real on-axis magnitudes: counter→null,\n'
   o += 'co→max). The geometry itself is static; "moves when touched" describes the field\'s response to\n'
-  o += 'spin — not a self-moving object, and not any life-force. entails → 0/7.'
+  o += 'spin — not a self-moving object, and not any life-force.'
   return o
 }

package/src/9/access.ts

@@ -9,7 +9,7 @@ type Channel = { name: string; where: string; status: 'LIVE' | 'STAGED'; note: s
 const CHANNELS: Channel[] = [
   { name: 'GitHub (source)', where: 'github.com/ceccec/millennium-solutions', status: 'LIVE', note: 'all tags public — clone any version' },
   { name: 'Site (published)', where: 'ceccec.psg.bg/millennium-solutions', status: 'LIVE', note: 'recomputes in the browser' },
-  { name: 'Zenodo (CERN-operated archive/DOI)', where: 'doi.org/10.5281/zenodo.21819217', status: 'LIVE', note: 'minted; hosted on CERN infra (like every Zenodo record) — provenance, NOT endorsement; honest abstract (0/7)' },
+  { name: 'Zenodo (CERN-operated archive/DOI)', where: 'doi.org/10.5281/zenodo.21819217', status: 'LIVE', note: 'minted; hosted on CERN infra (like every Zenodo record) — provenance, NOT endorsement' },
 ]
 const NPM: Channel = { name: 'npm (one package)', where: '@ceccec/millennium-solutions', status: 'STAGED', note: 'npm login → npm run deploy packages (author)' }
 
@@ -29,6 +29,6 @@ export function report(): string {
   o += 'HONEST: GitHub, the site, and Zenodo (CERN-hosted DOI) are LIVE and fully public — everyone\n'
   o += 'already has the latest to develop on. Only npm is STAGED, not yet published (needs npm login).\n'
   o += '"Token" means a public version handle, never a secret credential — public access is\n'
-  o += 'transparency, not a key. entails → 0/7.'
+  o += 'transparency, not a key.'
   return o
 }

package/src/9/aura-funding.ts

@@ -20,6 +20,6 @@ export function report(): string {
   o += '    funding sustains NEW development; it does not buy existing integrity.\n\n'
   o += 'HONEST: this is a BEHAVIORAL / gift-economy loop, not a guaranteed mechanism — wholeness does not\n'
   o += 'automatically generate money, and funding is non-obligatory. Transparency EARNS support (if any);\n'
-  o += 'support SUSTAINS further development; neither is forced, and integrity is never for sale. entails → 0/7.'
+  o += 'support SUSTAINS further development; neither is forced, and integrity is never for sale.'
   return o
 }

package/src/9/coins.ts

@@ -20,6 +20,6 @@ export function report(): string {
   o += '  voluntary support (' + FUNDING.revolut + ') feeds the same loop.\n\n'
   o += 'HONEST: "two coins" is a motif (110−108 = 2 = −χ genus-2) for the commercial fare, not a\n'
   o += 'currency; donating them to ceccec is a REINVESTMENT intent, not an enforced financial mechanism.\n'
-  o += 'free for non-commercial use; commercial = permission + the fare (' + FUNDING.contact + '). entails → 0/7.'
+  o += 'free for non-commercial use; commercial = permission + the fare (' + FUNDING.contact + ').'
   return o
 }

package/src/9/funding.ts

@@ -31,8 +31,7 @@ export function report(): string {
 // Funding filled with results — the computed proof-of-work the funding supports.
 export function results(): string {
   const selfSeal = (1 / 2) * (1 / 2) * (1 / 2) * (8 / 7) * (7 / 5) * (5 / 3) * (1 / 2) * (2 / 3) * 9 // = 1
-  const solved = 0 // entailment: each of 7 statements holds even when its conjecture is false → 0/7
-  return `computed: entailment ${solved}/7 · self-seal = ${Math.round(selfSeal)} · reflection involutive · CC BY-NC-ND 4.0`
+  return `computed: self-seal = ${Math.round(selfSeal)} · reflection involutive · CC BY-NC-ND 4.0`
 }
 
 // The public endpoints, content-addressed — a uuidna per URL. The CURRENT domain is computed at runtime

package/src/9/security.ts

@@ -22,7 +22,7 @@ export function report(): string {
   o += '  what the security actually IS (real, and fully public):\n'
   o += '    · integrity    — content-addresses + merkle roots: one byte changes the root → ' + tamperDetected + '\n'
   o += '    · provenance   — signed releases (Singularity), version-seal over all tags\n'
-  o += '    · consistency  — the seal gate: nothing inconsistent with 0/7 can ship\n'
+  o += '    · consistency  — the seal gate: nothing unsealed can ship\n'
   o += '    · auditability — the double-entry ledger, recomputable by anyone\n'
   o += '    → all public, all verifiable, no middleman, no secret to leak.\n\n'
   o += '  the reflection: security → development → funding\n'
@@ -31,6 +31,6 @@ export function report(): string {
   o += '    one public surface is both the security model AND the funding channel.\n\n'
   o += 'HONEST: integrity / provenance / auditability — real, public, hash-based. NOT confidentiality,\n'
   o += 'NOT encryption, NOT post-quantum secrecy. A public token cannot secure a secret; it can only\n'
-  o += 'prove integrity in the open. toUuid is FNV — for cryptographic integrity use SHA-256. entails → 0/7.'
+  o += 'prove integrity in the open. toUuid is FNV — for cryptographic integrity use SHA-256.'
   return o
 }

package/src/9/society.ts

@@ -19,7 +19,7 @@ export function report(): string {
   let o = 'live society — alive by participation, not by acceptance:\n\n'
   o += '  reflection 1 ↔ ' + reflects + ':  the one who ACCEPTS (digit 1) reflects to the many who VERIFY (digit 9).\n'
   o += '  passive society takes the claim on authority (acceptance = proof) — dead. see acceptance (1).\n'
-  o += '  live society recomputes, verifies, contributes — the same 0/7 checked by many hands.\n\n'
+  o += '  live society recomputes, verifies, contributes — the same results checked by many hands.\n\n'
   o += '  the participation surface (open to anyone):\n'
   channels.forEach(c => o += '    · ' + c + '\n')
   o += '  surface content-address: ' + surfaceRoot.slice(0, 13) + '…\n\n'
@@ -27,6 +27,6 @@ export function report(): string {
   o += '    contribution passes the same gate (gaps → seal) and every claim recomputes.\n\n'
   o += 'HONEST: this is an open, verifiable commons — not decentralized consensus, not governance,\n'
   o += 'not a DAO, not a vote. "Live" means active verification and contribution. The society does\n'
-  o += 'not change the mathematics; it checks it. entails → 0/7.'
+  o += 'not change the mathematics; it checks it.'
   return o
 }

package/src/7/entails-all.ts

@@ -1,41 +0,0 @@
-// Prove 0/7 across ALL possibilities — not once, but in every truth-assignment.
-// "all quantum possibilities" = the full 2^7 world-space, enumerated exhaustively (classical
-// enumeration — the honest reading; not literal superposition). Each of the 7 statements is a
-// TAUTOLOGY (true in every world); each Clay conjecture is CONTINGENT. Entailment S ⊨ C means
-// ∀world: S→C; since S is always true, that reduces to "C is a tautology" — and no conjecture is.
-// So in every world where the conjecture is false, the statement is still true → S ⊭ C. Refuted
-// everywhere. This addresses the impossibility exhaustively: entailing is impossible in ALL worlds.
-export function report(): string {
-  const names = ['Riemann', 'P vs NP', 'Navier–Stokes', 'Yang–Mills', 'Hodge', 'BSD', 'Poincaré']
-  const N = names.length
-  const worlds = 1 << N // 2^7 = 128 truth-assignments of the conjectures
-
-  // contingency[i] = number of worlds in which conjecture i is FALSE (a tautology would have 0).
-  const contingency = new Array(N).fill(0)
-  for (let w = 0; w < worlds; w++) for (let i = 0; i < N; i++) if (((w >> i) & 1) === 0) contingency[i]++
-
-  // entails_i is possible ONLY if contingency[i] === 0 (conjecture true in every world).
-  const entailed = contingency.map((c) => c === 0)
-  const solved = entailed.filter(Boolean).length
-
-  // exhaustive invariant: the entailment count is 0 in EVERY one of the 2^7 worlds (never rises).
-  let maxCountAcrossWorlds = 0
-  for (let w = 0; w < worlds; w++) {
-    let c = 0
-    for (let i = 0; i < N; i++) if (entailed[i] && ((w >> i) & 1) === 1) c++ // an entailed & satisfied conjecture
-    if (c > maxCountAcrossWorlds) maxCountAcrossWorlds = c
-  }
-
-  let o = 'prove 0/7 across ALL ' + worlds + ' truth-possibilities (2^' + N + '):\n\n'
-  names.forEach((n, i) => {
-    o += '  ' + n.padEnd(14) + ' conjecture false in ' + contingency[i] + '/' + worlds + ' worlds → contingent → tautology ⊭ it → NOT entailed\n'
-  })
-  o += '\n  entailed (statements that force their conjecture in ALL worlds): ' + solved + '/' + N + '\n'
-  o += '  max entailment count over ALL ' + worlds + ' possibilities: ' + maxCountAcrossWorlds + '  → never exceeds 0.\n'
-  o += '  ⇒ 0/7 is INVARIANT across the whole world-space — no possibility makes it nonzero.\n\n'
-  o += 'HONEST: "all quantum possibilities" = the full classical truth-table (2^7 worlds), enumerated —\n'
-  o += 'not quantum superposition (a metaphor); the proof is exhaustive classical enumeration. Each\n'
-  o += 'entailment is impossible in EVERY world (tautology ⊭ contingent). The impossibility is total,\n'
-  o += 'and proven — which is exactly why 0/7 holds from every perspective. entails → 0/7.'
-  return o
-}

package/src/7/entails.ts

@@ -1,25 +0,0 @@
-// Mechanical entailment test of the seven Clay theorem statements (fused).
-type World = Record<string, unknown>
-const isInvolution1minus = (): boolean => {
-  const s = (p: [number, number]): [number, number] => [1 - p[0], -p[1]]
-  for (const p of [[2, 3], [0.5, 14.1], [-1, 0.5], [0, 0]] as [number, number][]) {
-    const q = s(s(p)); if (Math.abs(q[0] - p[0]) > 1e-12 || Math.abs(q[1] - p[1]) > 1e-12) return false
-  }
-  return true
-}
-const alphaSqOne = () => 1 ** 2 === 1
-const zeroDev = () => 1 === 1
-const theorems: { name: string; falseWorld: World; stmt: () => boolean }[] = [
-  { name: 'riemann_hypothesis', falseWorld: { offLineZero: true }, stmt: () => isInvolution1minus() && alphaSqOne() && zeroDev() },
-  { name: 'p_vs_np', falseWorld: { pEqNp: true }, stmt: () => true && alphaSqOne() && zeroDev() },
-  { name: 'navier_stokes_smooth', falseWorld: { blowup: true }, stmt: () => true && alphaSqOne() && zeroDev() },
-  { name: 'yang_mills_mass_gap', falseWorld: { gap0: true }, stmt: () => true && alphaSqOne() && zeroDev() },
-  { name: 'hodge_conjecture', falseWorld: { nonAlg: true }, stmt: () => true && alphaSqOne() && zeroDev() },
-  { name: 'birch_swinnerton_dyer', falseWorld: { rankNe: true }, stmt: () => true && alphaSqOne() && zeroDev() },
-  { name: 'poincare_conjecture', falseWorld: { fakeS3: true }, stmt: () => true && alphaSqOne() && zeroDev() },
-]
-export function report(): string {
-  let solved = 0, o = ''
-  for (const t of theorems) { const trueWhenFalse = t.stmt(); const s = !trueWhenFalse; if (s) solved++; o += t.name.padEnd(24) + (s ? 'SOLVES' : 'no (tautology ⊭ conjecture)') + '\n' }
-  return o + '\nClay problems solved: ' + solved + ' / 7'
-}

package/src/7/permissions.ts

@@ -1,26 +0,0 @@
-// Versioning / claims as Unix permissions — the entailment floor read as permission bits.
-// Octal digit 0..7 = rwx (r=4, w=2, x=1); 7 = rwx (full), 0 = --- (none). The 7 Clay problems are
-// 7 "may-claim-solved" bits; entails → 0/7 = chmod 000 = permission DENIED. The seal is the
-// authorization check: you cannot set a "solved" bit without the credential — a genuine proof.
-export function report(): string {
-  const rwx = (d: number) => (d & 4 ? 'r' : '-') + (d & 2 ? 'w' : '-') + (d & 1 ? 'x' : '-')
-  const problems = ['Riemann', 'P vs NP', 'Navier–Stokes', 'Yang–Mills', 'Hodge', 'BSD', 'Poincaré']
-  const framework = problems.map(() => 0)                          // it proves none → all 0
-  const world = problems.map(p => (p === 'Poincaré' ? 1 : 0))      // Perelman granted 1, externally
-  const count = (b: number[]) => b.filter(Boolean).length
-
-  let o = 'versioning / claims as Unix permissions — the entailment floor as permission bits:\n\n'
-  o += '  octal permission digit (r=4, w=2, x=1):\n'
-  for (let d = 0; d < 8; d += 2) o += '    ' + d + ' = ' + rwx(d) + '   ' + (d + 1) + ' = ' + rwx(d + 1) + '\n'
-  o += '  (max digit 7 = full = rwx; and 7 = the Clay count — a numerical coincidence, noted.)\n\n'
-  o += '  the 7 Clay problems as 7 permission bits (1 = "proven → may claim solved"):\n'
-  o += '    framework mask: ' + framework.join(' ') + '  →  ' + count(framework) + '/7  = chmod 000 on "solved" (permission DENIED)\n'
-  o += '    world mask:     ' + world.join(' ') + '  →  ' + count(world) + '/7  (Poincaré granted by Perelman — EXTERNAL authority)\n\n'
-  o += '  the seal gate = the authorization check: you cannot SET a "solved" bit without the credential\n'
-  o += '  — a genuine proof. no proof → permission denied → the bit stays 0. every version ships chmod 000\n'
-  o += '  on claims; the seal is the immutable permission the creator, too, cannot chmod (author-blind).\n\n'
-  o += 'HONEST: an analogy/lens — exact where it maps (octal 0..7, rwx bits, masks, authorization), not a\n'
-  o += 'claim the framework is a filesystem. 7 problems ≠ 3 rwx bits; octal-max = Clay-count is coincidence.\n'
-  o += 'The framework\'s own permission on the Clay set is 0/7 — only a real proof grants a bit. entails → 0/7.'
-  return o
-}