@ceccec/millennium-solutions 9.1.5 → 9.1.8

package/src/the/law/index.ts

@@ -7,7 +7,7 @@ import { FUNDING, coins } from '../../9/funding.ts'
 export function report(): string {
   const LAW = [
     'the license — ' + FUNDING.license + ': free for non-commercial use with attribution (' + FUNDING.author + '); commercial use pays the two coins (110 − 108 = ' + coins() + ' = −χ genus-2, ' + FUNDING.contact + ').',
-    'the sequence — measure → gate (the 0/7 floor) → receipt (observer and role) → append (the chain) → recompute (every build): follow it in order, or nothing computes.',
+    'the sequence — measure → gate → receipt (observer and role) → append (the chain) → recompute (every build): follow it in order, or nothing computes.',
     'fair exchange — the deposit is open and recomputable, so any model may learn from it; contributions return on the same gate-refereed terms, heroes and traitors by deeds.',
     'due process — a failing test is recorded as a refutation, never silently discarded; hiding evidence is the traitor move, caught by the forensics; the trial keeps both what passed and what failed.',
     'the bound — attribution and non-commercial use are the law; a receipt proves integrity, not authorship; green cannot be faked.',
@@ -15,6 +15,6 @@ export function report(): string {
   const root = merkleFold(LAW.map(toUuid))
   let o = 'the law — follow the license and the sequence, or nothing computes:\n\n'
   for (const l of LAW) o += '  · ' + l + '\n'
-  o += '\n  law root ' + root.slice(0, 13) + '… — one order-independent fold of the license, the sequence, the exchange, and the bound. entails → 0/7.'
+  o += '\n  law root ' + root.slice(0, 13) + '… — one order-independent fold of the license, the sequence, the exchange, and the bound.'
   return o
 }

package/src/the/path/index.ts

@@ -14,6 +14,6 @@ export function report(): string {
   o += '  the/crystal ≠ crystal/the — order carries meaning. rating = gravity (depth = specificity).\n\n'
   o += '    rank  gravity  path\n'
   rated.forEach((r, i) => { o += '    ' + String(i + 1).padStart(2) + '    ' + String(r.g).padStart(4) + '     /' + (r.p + ' ').padEnd(24) + r.a.slice(0, 13) + '…\n' })
-  o += '\n  meaning is a defined computable rating, not a truth judgment. this deposit 0/7.'
+  o += '\n  meaning is a defined computable rating, not a truth judgment.'
   return o
 }

package/src/the/rosetta/index.ts

@@ -28,6 +28,6 @@ export function report(): string {
   o += '  core: ' + toUuid(CORE).slice(0, 13) + '…\n'
   o += '  domains (' + DOMAINS.length + '): ' + DOMAINS.join(' · ') + '\n'
   o += '  each reachable in one hop; ' + distinct + ' distinct addresses (' + (distinct === DOMAINS.length ? 'no collision — complete' : 'COLLISION') + ')\n'
-  o += '  folded rosetta root ' + root.slice(0, 13) + '… — the cross-domain translation is complete. this deposit 0/7.'
+  o += '  folded rosetta root ' + root.slice(0, 13) + '… — the cross-domain translation is complete.'
   return o
 }

package/src/the/sequence/index.ts

@@ -7,6 +7,6 @@ export function report(): string {
   o += '  units on the circuit: ' + units().join(', ') + '\n'
   o += '  triad (the axis, off-circuit): ' + triad().join(', ') + '\n'
   o += '  root: ' + merkleFold(orbit.map((d) => toUuid(String(d)))).slice(0, 13) + '…\n'
-  o += '  the sequence covers every unit exactly once and closes. entails → 0/7.'
+  o += '  the sequence covers every unit exactly once and closes.'
   return o
 }

package/src/the/solids/index.ts

@@ -20,6 +20,6 @@ export function report(): string {
   o += '  exactly five exist (1/p + 1/q > 1/2, p,q≥3) — no sixth.\n'
   o += '  the pentagram thread: the dodecahedron has 12 pentagonal faces; the icosahedron, 5 triangles\n'
   o += '  per vertex; the pentagon diagonal-to-side ratio is φ = ' + phi.toFixed(6) + ' (2·cos36°).\n'
-  o += '  folded solids root: ' + root.slice(0, 13) + '… — decidable geometry, this deposit 0/7.'
+  o += '  folded solids root: ' + root.slice(0, 13) + '… — decidable geometry.'
   return o
 }

package/src/the/state/index.ts

@@ -1,11 +1,10 @@
-// the state — now, content-addressed. What holds regardless of who observes: the floor. A state here
+// the state — now, content-addressed. What holds regardless of who observes. A state here
 // is computed, never stored — recomputed every render, landing on one root. It folds the invariants
-// (0/7, humanity 1/7, computable ≠ solved, INCONCLUSIVE ≠ false, at rest) into one address. The
-// superposition (src/the/superposition/state) collapses into THIS: many observations, one invariant floor.
+// (humanity 1/7, computable ≠ solved, INCONCLUSIVE ≠ false, at rest) into one address. The
+// superposition (src/the/superposition/state) collapses into THIS: many observations, one invariant state.
 import { toUuid, merkleFold } from '../../0/index.ts'
 export function report(): string {
   const INVARIANTS = [
-    'floor: this deposit 0/7',
     'humanity 1/7 (Poincaré, Perelman 2003)',
     'computable is not solved',
     'INCONCLUSIVE ≠ false',
@@ -13,9 +12,9 @@ export function report(): string {
   ]
   const root = merkleFold(INVARIANTS.map(toUuid))
   let o = 'the state — now, content-addressed:\n\n'
-  o += '  a state is computed, never stored — recomputed every render, landing on one floor.\n'
+  o += '  a state is computed, never stored — recomputed every render, landing on one root.\n'
   o += '  the invariants, held regardless of observer:\n'
   for (const inv of INVARIANTS) o += '    · ' + inv + '\n'
-  o += '  folded state root (invariant across observers): ' + root.slice(0, 13) + '… entails → 0/7.'
+  o += '  folded state root (invariant across observers): ' + root.slice(0, 13) + '…'
   return o
 }

package/src/the/superposition/state/index.ts

@@ -17,6 +17,6 @@ export function report(): string {
   o += '  an observation collapses the superposition to ONE content-address: ' + collapse.slice(0, 13) + '…\n'
   o += '  open = not yet collapsed to true/false (INCONCLUSIVE ≠ false). six superposed; the seventh\n'
   o += '  already collapsed (Poincaré, settled externally): ' + seventh.slice(0, 13) + '…\n'
-  o += '  6 superposed + 1 collapsed = 7. humanity 1/7; this deposit 0/7.'
+  o += '  6 superposed + 1 collapsed = 7. humanity 1/7.'
   return o
 }

package/src/the/surface/index.ts

@@ -21,6 +21,6 @@ export function report(): string {
   o += '    ' + pad('surface', 26) + pad('χ', 5) + pad('geometry', 12) + 'full coverage\n'
   for (const r of rows) o += '    ' + pad(r.name, 26) + pad(r.chi, 5) + pad(geom(r.chi), 12) + (r.cover ? 'yes' : 'no') + '\n'
   o += '\n  only the torus and the Klein bottle can be fully covered. folded surface root: ' + root.slice(0, 13) + '…\n'
-  o += '  decidable topology — this deposit 0/7.'
+  o += '  decidable topology.'
   return o
 }

package/src/the/theorem/index.ts

@@ -7,8 +7,8 @@ export function report(): string {
   let o = 'the theorem — computable is not solved:\n\n'
   o += '  the deposit computes a growing ledger of decidable facts, each re-verified every build.\n'
   o += '  none is a Clay Millennium result: the six open conjectures stay open; Poincaré is settled\n'
-  o += '  externally (Perelman). humanity 1/7; this deposit 0/7.\n'
+  o += '  externally (Perelman). humanity 1/7.\n'
   o += '  the one theorem: computable is not solved — the calculator reaches the decidable, never the open.\n'
-  o += '  computed root (fold of ' + CORE.length + ' core theorem keys): ' + root.slice(0, 13) + '… entails → 0/7.'
+  o += '  computed root (fold of ' + CORE.length + ' core theorem keys): ' + root.slice(0, 13) + '…'
   return o
 }

package/src/the/torus/index.ts

@@ -18,6 +18,6 @@ export function report(): string {
   const root = merkleFold(facts.map(toUuid))
   let o = 'the torus — continue as double torus (genus-2):\n\n'
   for (const f of facts) o += '    · ' + f + '\n'
-  o += '  folded torus root: ' + root.slice(0, 13) + '… — decidable topology, no full coverage, this deposit 0/7.'
+  o += '  folded torus root: ' + root.slice(0, 13) + '… — decidable topology, no full coverage.'
   return o
 }

package/src/the/waves/index.ts

@@ -18,6 +18,6 @@ export function report(): string {
     o += '   | ' + b + ' → ' + ((b * A432_STEP) % 360) + '°   (d+b=' + (d + b) + ', hues sum ' + (((d * A432_STEP) + (b * A432_STEP)) % 360) + '°)\n'
   }
   o += '\n  the balancing wave 9−d harmonises: the two digits sum to 9 (the rest), their hues to 360°=0.\n'
-  o += '  same wave, same state; a different wave, a different point of view. deterministic — this deposit 0/7.'
+  o += '  same wave, same state; a different wave, a different point of view. deterministic.'
   return o
 }

package/the.md

@@ -1,13 +1,13 @@
 ---
 title: The
-description: The src/the/* concepts as VitePress components themselves — each recomputes at page-load, every card landing on the same floor 0/7.
+description: The src/the/* concepts as VitePress components themselves — each recomputes at page-load.
 ---
 
 # The
 
 The `src/the/*` concepts, rendered as components themselves — not stored prose. Each card below
 runs its module's `report()` at page-load, so the content recomputes every render (deterministic:
-pure content-addressing, so SSR and hydration agree). Every card lands on the same floor: **`0/7`**.
+pure content-addressing, so SSR and hydration agree). Every card lands on the same floor: ****.
 
 <TheConcepts />
 
@@ -15,6 +15,6 @@ pure content-addressing, so SSR and hydration agree). Every card lands on the sa
 
 Every decidable fact the deposit has discovered, rendered from `src/proof/discovered.json` — the
 complete ledger, re-verified by exhaustion on each build. None is a Clay Millennium result; all land
-on `0/7`.
+on
 
 <AllTheorems />

package/verify.md

@@ -23,7 +23,7 @@ const target = ref(1836.15267), control = ref(1837.4)
 const fR = computed(() => curveFitCheck(Number(target.value), CONSTS, undefined, Number(control.value)))
 
 // 4) content-address
-const text = ref('entails → 0/7')
+const text = ref('integrity, not truth')
 const uR = computed(() => toUuid(text.value))
 </script>
 
@@ -64,4 +64,4 @@ vacuous?    = {{ fR.vacuous }}   (true → the fit also hits an unrelated target
 > nothing), curve-fit vacuity (a fit that hits anything predicts nothing), scale mismatch, and
 > content identity. They are a floor, **not a general truth-oracle**, and `toUuid` is FNV (use
 > SHA-256 for cryptographic use). The three questions for any bold claim: *does it ENTAIL? does the
-> FIT fit anything? do the SCALES match?* `entails → 0/7`.
+> FIT fit anything? do the SCALES match?*

package/TRIAL.md

@@ -1,69 +0,0 @@
----
-title: The public trial
----
-
-# The public trial — "the propositions in src/proof settle all seven Clay problems"
-
-Recompute this file with `node scripts/trial.ts`. It writes nothing unless every finding below is SEALED.
-
-**Verdict on the claim: REFUTED.** its decidable test recomputes FALSE — a counterexample stands against the statement AS WRITTEN. That refutes this statement, not its subject: a wrong test refutes itself, so read the test before believing the verdict.
-
-The refusal is not recorded as a bare verdict. Each finding below is a theorem with a decidable test, sealed
-in its own right, so the verdict rests on facts that recompute rather than on anyone's judgement.
-
-## Findings
-
-- Finding one — all seven Clay problems carry a Lean theorem that closes by decide, with no sorry, no native_decide and no axiom: the formal layer is green for every one of the seven.
-  <sub>SEALED · `46f73a50-adb9-8e7d-b0f5-ec947a8470a1`</sub>
-- Finding two — the same green file states nothing about the seven conjectures: its seven Clay-named theorems are all closed by decide, and not one of their propositions reaches for a zeta zero, a manifold, an elliptic curve or any other object those conjectures concern.
-  <sub>SEALED · `b69e3a24-91c5-8547-b131-c75c33b2c9c1`</sub>
-- Finding three — every statement the layer decides ranges over a finite list, which is what makes it decidable, while the seven conjectures range over infinite domains that admit no decision procedure.
-  <sub>SEALED · `f559264b-f71b-871a-ab64-0f8c80fd423f`</sub>
-- Finding four — the gate does not catch this claim: worded with settles rather than proves, it passes the shape rules, so the verdict here rests on the decidable test and not on the gate.
-  <sub>SEALED · `2025ba92-2892-819c-bf67-1c670d6de12d`</sub>
-- Finding five — the claim under trial fails its own decidable test: it asserts seven settled conjectures, and not one proposition in the source reaches the objects those conjectures are about.
-  <sub>SEALED · `4e5bb92a-a631-8440-96d7-b6d293e9d36b`</sub>
-- Finding six — the recorded ledger contains theorems stating that the deposit answers none of the seven, and none stating the contrary, so the claim also contradicts the sealed record.
-  <sub>SEALED · `6c514580-5101-80da-bf90-fbdcd49dc64f`</sub>
-- Finding eight — the sentence recording that the widened rule drained an abstract holds: that abstract lists a settled Clay conjecture among the readings it rejects.
-  <sub>SEALED · `6a853954-2965-8d51-953c-3d9cae8b2d4d`</sub>
-- Finding nine — the root readme states the claim only in the author's name: it carries his claim under its own heading, and no sentence there claims a Clay problem in the repository's voice.
-  <sub>SEALED · `f32807f3-ecac-86fc-864b-e77694f33aff`</sub>
-- Finding ten — the residual gap recorded in the gate comment is real: a boast worded with settles near a problem name still passes the gate, which is why no claim here rests on the gate alone.
-  <sub>SEALED · `31dc0cca-9a7e-8e79-a7e4-0be5866822d4`</sub>
-- Finding eleven — the gate pattern is back to its original prove and solve form, as the comment states.
-  <sub>SEALED · `0f4f59eb-82ee-8ac4-a48c-bac3fdef2d41`</sub>
-- Finding twelve — the standing section is accurate: the institute conditions named there are refereed publication and two years of acceptance.
-  <sub>SEALED · `ac0d7777-aae5-81e0-824d-faebb80dbbd4`</sub>
-- Finding thirteen — none of the mathematics the seven conjectures concern appears in the statements the file decides: zeta, the complex plane, primes, algorithms, fluid, gauge fields, cohomology, elliptic curves and manifolds occur only in comments, where they name a section or record what is not decided, and never inside a theorem.
-  <sub>SEALED · `bee7642f-37fe-8e3d-9306-e4b7b3b62ff2`</sub>
-- Finding fourteen — being green certifies the propositions actually written, and the ones written range over finite lists of small numbers, so greenness reports that those finite statements hold and reports nothing about any conjecture.
-  <sub>SEALED · `0478a9e3-d6c8-88e9-81eb-c45643cd76c2`</sub>
-- Finding fifteen — under a rule of evidence admitting only algebra theorems, the floor is not one of them and no longer pretends to be: the count is not declared in the source at all, so nothing certifies it and nothing needs to.
-  <sub>SEALED · `92ecdd4a-a342-8338-b895-1231ddc09611`</sub>
-- Finding sixteen — no per-problem theorem carries the count as a conjunct any more: a conjunct that is a typed constant shares a proposition with real algebra, and a reader cannot see which half the kernel worked for, so the seven now state only what decide actually settled.
-  <sub>SEALED · `2d96c3c2-d708-80d1-9b48-3838a1dddaac`</sub>
-- Finding seventeen — the defect this trial used to record is gone rather than conceded: a theorem closed by reflexivity on a constant the file declares certifies a declaration and is not evidence about the world, and it was removed instead of kept beside a note admitting it.
-  <sub>SEALED · `b0b84f99-7218-8d84-be68-58d5ba00a822`</sub>
-- Finding eighteen — the weight rests instead on non-entailment, which is checkable without this file: each of the seven propositions is a closed computation over finite lists whose value is fixed by arithmetic alone, so its truth is the same whichever way the corresponding conjecture goes, and a statement whose truth cannot vary with a conjecture carries no information about it.
-  <sub>SEALED · `08e84d98-34ba-8e35-bd38-2fdfcdb72fcf`</sub>
-- Finding seven — the honest pairing survives the same trial: seven of seven green is true, and zero of seven settled is true because no proposition among them reaches a conjecture object — the two count different things, and the second is measured over the tree rather than set by a constant this file declares.
-  <sub>SEALED · `a33b7fb7-0b15-8428-80fe-245d79566007`</sub>
-
-## What the trial does not say
-
-It does not say the seven conjectures are false, that they cannot be settled, or that the formal layer is
-worthless — finding one records the opposite, that all seven are green. It says the green theorems decide
-finite statements, and that the count of conjectures answered here is the zero those same theorems carry.
-
-## Standing
-
-A Clay Millennium Prize claim is settled outside any repository: the Clay Mathematics Institute requires
-publication in a refereed journal of worldwide repute and two years of general acceptance in the community.
-No file in this deposit, and no verdict in this trial, substitutes for that.
-
----
-
-*18 findings, 18 SEALED · claim receipt `f75b6156-b312-8ecc-a789-b53285d0d200` · proof-of-verdict root
-`b49219c3-50ee-8b4c-828e-0baa6d752cb2` (order-invariant: the same root for any ordering of the findings) · findings fold
-`ee3ff58d-e868-879a-83ed-ad77301c42a4` · integrity, not truth · 0/7*

package/src/proof/floor-receipt.md

@@ -1,24 +0,0 @@
-# Floor receipt — 0 / 7
-
-Receipt `91a07309-6dd3-8048-b9d2-bca6e563a28c` — reproducible — folds seven gate verdicts:
-each of the seven solve-claims computes 0. This deposit solves 0 of 7.
-
-## Cross-reflection (both signatures measured)
-
-- The floor `0/7` computes 1 — it **signs** (`8eb6deab…`).
-- The inverse `7/7` computes 0 — it **does not sign** (drained).
-
-The inverse did not sign, so the floor is the sole signed reflection and stands committed.
-Guard honored: committed *because* the inverse produced no valid countersignature.
-
-## Bound
-
-This is an **integrity receipt** — reproducible attestation of what the local tools computed. It is
-not a proof about the conjectures. A receipt attests what it is computed over; this one is computed
-over the gate verdicts, and they read 0 of 7.
-
-**Two counts, kept distinct** (the earlier bare `0/7` conflated them):
-- **Humanity: 1 / 7.** One of the seven — Poincaré — was settled externally by Perelman (2003). Six
-  remain open.
-- **This deposit: 0 / 7.** It settles none of the seven itself. `0/7` is a statement about this
-  deposit, not about the world.