@ceccec/millennium-solutions 9.1.7 → 9.1.9
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/ACCOUNTING.md +7 -7
- package/AXIOMS.md +2 -2
- package/CHALLENGES.md +9 -3
- package/PRIOR-ART.md +6 -4
- package/README.md +21 -19
- package/compute.md +0 -8
- package/dashboard.md +1 -1
- package/forensic.md +3 -3
- package/index.md +21 -19
- package/package.json +1 -1
- package/paper.md +554 -508
- package/speedup.md +4 -4
- package/src/from/the/heart/index.ts +1 -1
- package/src/play/the/game/index.ts +1 -1
- package/src/proof/README.md +49 -48
- package/src/proof/discovered.json +15 -0
- package/src/proof/flow.lean +54 -0
- package/src/proof/priorart.lean +25 -24
- package/src/proof/trial-all.json +22 -4
- package/src/prove/index.ts +1 -1
- package/src/publication/index.ts +1 -2
- package/src/the/abstract/index.ts +1 -1
- package/src/the/abundance/index.ts +1 -1
- package/src/the/apple/earth/index.ts +1 -1
- package/src/the/apple/earth/navigation/index.ts +2 -2
- package/src/the/apple/earth/truth/index.ts +1 -3
- package/src/the/apple/index.ts +3 -3
- package/src/the/cancer/index.ts +1 -1
- package/src/the/clown/index.ts +3 -3
- package/src/the/creation/index.ts +1 -1
- package/src/the/crystal/index.ts +1 -1
- package/src/the/domain/index.ts +1 -1
- package/src/the/game/index.ts +1 -1
- package/src/the/gold/compass/index.ts +2 -2
- package/src/the/gold/index.ts +2 -2
- package/src/the/heart/index.ts +1 -1
- package/src/the/index.ts +2 -3
- package/src/the/law/index.ts +2 -2
- package/src/the/path/index.ts +1 -1
- package/src/the/rosetta/index.ts +1 -1
- package/src/the/sequence/index.ts +1 -1
- package/src/the/solids/index.ts +1 -1
- package/src/the/state/index.ts +5 -6
- package/src/the/superposition/state/index.ts +1 -1
- package/src/the/surface/index.ts +1 -1
- package/src/the/theorem/index.ts +2 -2
- package/src/the/torus/index.ts +1 -1
- package/src/the/waves/index.ts +1 -1
- package/src/proof/floor-receipt.md +0 -24
package/src/the/crystal/index.ts
CHANGED
|
@@ -18,6 +18,6 @@ export function report(): string {
|
|
|
18
18
|
o += ' (counted by exhaustion over 27 cells), at the tetrahedral angle arccos(−1/3) = ' + angle.toFixed(4) + '°.\n'
|
|
19
19
|
o += ' densest lattice packing: π/(3√2) = ' + packing.toFixed(6) + ' (FCC/HCP, the diamond’s parent).\n'
|
|
20
20
|
o += ' imagine the lattice; the numbers are exact. folded crystal root: ' + root.slice(0, 13) + '…\n'
|
|
21
|
-
o += ' decidable geometry
|
|
21
|
+
o += ' decidable geometry.'
|
|
22
22
|
return o
|
|
23
23
|
}
|
package/src/the/domain/index.ts
CHANGED
|
@@ -11,6 +11,6 @@ export function report(): string {
|
|
|
11
11
|
o += ' never a proof of an OPEN conjecture, only the decidable within reach.\n'
|
|
12
12
|
o += ' the deposit spans many, meeting in one shared core (base ' + BASE + '):\n'
|
|
13
13
|
for (const d of DOMAINS) o += ' · ' + d + '\n'
|
|
14
|
-
o += ' folded domain root (the families as one): ' + root.slice(0, 13) + '… — humanity 1/7
|
|
14
|
+
o += ' folded domain root (the families as one): ' + root.slice(0, 13) + '… — humanity 1/7.'
|
|
15
15
|
return o
|
|
16
16
|
}
|
package/src/the/game/index.ts
CHANGED
|
@@ -6,6 +6,6 @@ export function report(): string {
|
|
|
6
6
|
let o = 'the game — games, arts and sciences meet in one:\n\n'
|
|
7
7
|
domains.forEach((d, i) => { o += ' ' + d.padEnd(22) + ' → ' + roots[i].slice(0, 13) + '…\n' })
|
|
8
8
|
o += ' the one root (order-independent): ' + merkleFold(roots).slice(0, 13) + '…\n'
|
|
9
|
-
o += ' order does not matter — that symmetry is the harmony. all meet in one.
|
|
9
|
+
o += ' order does not matter — that symmetry is the harmony. all meet in one.'
|
|
10
10
|
return o
|
|
11
11
|
}
|
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
// the compass — the golden angle. Divide the circle by φ² and you get ≈ 137.5°, the angle at which
|
|
2
2
|
// each new step lands in the largest remaining gap — the direction that never repeats and never
|
|
3
3
|
// clusters. It is how a sunflower places its seeds and how a route can cover the circle without ever
|
|
4
|
-
// retracing. Computed from φ (../), decidable, not a physics claim.
|
|
4
|
+
// retracing. Computed from φ (../), decidable, not a physics claim.
|
|
5
5
|
import { phiApprox } from '../index.ts'
|
|
6
6
|
|
|
7
7
|
/** The golden angle in degrees — 360 / φ² ≈ 137.5°, the maximally-even direction step. */
|
|
@@ -21,6 +21,6 @@ export function report(): string {
|
|
|
21
21
|
let o = 'the compass — the golden angle (the direction that never repeats):\n\n'
|
|
22
22
|
o += ' golden angle ≈ ' + a.toFixed(4) + '° = 360 / φ² — each step lands in the largest remaining gap\n'
|
|
23
23
|
o += ' bearings never coincide: how a sunflower fills its head, how a route covers the circle evenly\n'
|
|
24
|
-
o += ' computed from the gold (../), not a physics claim
|
|
24
|
+
o += ' computed from the gold (../), not a physics claim.'
|
|
25
25
|
return o
|
|
26
26
|
}
|
package/src/the/gold/index.ts
CHANGED
|
@@ -2,7 +2,7 @@
|
|
|
2
2
|
// decidable fingerprints — φ² = φ + 1 (in the limit), and the Fibonacci ratios Fₙ₊₁/Fₙ climb to it
|
|
3
3
|
// while Cassini keeps |Fₙ₊₁·Fₙ₋₁ − Fₙ²| = 1 at every rung. The pentagon's diagonal/side is φ; the
|
|
4
4
|
// heart 5 lives here; its continued fraction is [1;1,1,1,…], the slowest of all to approximate.
|
|
5
|
-
// Computed, not stored.
|
|
5
|
+
// Computed, not stored.
|
|
6
6
|
import { toUuid } from '../../0/index.ts'
|
|
7
7
|
|
|
8
8
|
/** Fibonacci — the ladder whose consecutive ratios climb to φ. */
|
|
@@ -30,6 +30,6 @@ export function report(): string {
|
|
|
30
30
|
o += ' φ ≈ ' + p.toFixed(9) + ' — the ratio of consecutive Fibonacci numbers (F₂₁/F₂₀)\n'
|
|
31
31
|
o += ' identity: φ² = φ + 1 (in the limit); Cassini |Fₙ₊₁Fₙ₋₁ − Fₙ²| = 1 at every step\n'
|
|
32
32
|
o += ' the pentagon diagonal/side is φ; the heart 5 lives here; continued fraction [1;1,1,1,…]\n'
|
|
33
|
-
o += ' the compass: the golden angle (./compass)
|
|
33
|
+
o += ' the compass: the golden angle (./compass). address ' + toUuid('gold-phi').slice(0, 13) + '…'
|
|
34
34
|
return o
|
|
35
35
|
}
|
package/src/the/heart/index.ts
CHANGED
|
@@ -10,6 +10,6 @@ export function report(): string {
|
|
|
10
10
|
o += ' on the doubling circuit: ' + vortexOrbit().join(' → ') + ' (5 closes it back to 1)\n'
|
|
11
11
|
o += ' the pentagon (5 sides): diagonal / side = φ, the golden ratio\n'
|
|
12
12
|
o += ' the word "vortex" digital-roots to ' + drWord('vortex') + ' — the centre names itself\n'
|
|
13
|
-
o += ' address: ' + toUuid('the-heart:5').slice(0, 13) + '…
|
|
13
|
+
o += ' address: ' + toUuid('the-heart:5').slice(0, 13) + '…'
|
|
14
14
|
return o
|
|
15
15
|
}
|
package/src/the/index.ts
CHANGED
|
@@ -1,10 +1,9 @@
|
|
|
1
1
|
// src/the/* — everything called "the *": the unifying concepts, gathered and content-addressed, all
|
|
2
|
-
// folding to one root. Each is a pointer to a rule
|
|
2
|
+
// folding to one root. Each is a pointer to a rule already computed elsewhere; here they meet.
|
|
3
3
|
import { toUuid, merkleFold } from '../0/index.ts'
|
|
4
4
|
|
|
5
5
|
export function report(): string {
|
|
6
6
|
const THE: Record<string, string> = {
|
|
7
|
-
'the floor': '0/7 — the deposit solves 0 of 7; measured, not asserted, re-verified every build',
|
|
8
7
|
'the heart': '5 — the fixed point σ(5)=5; the pentagon whose diagonal/side is φ; vortex roots to 5',
|
|
9
8
|
'the gate': 'a lexical floor draining named over-reach; a bounded refusal passes; passing is not truth',
|
|
10
9
|
'the ledger': 'the content-addressed record of discoveries, each re-verified on every build',
|
|
@@ -19,6 +18,6 @@ export function report(): string {
|
|
|
19
18
|
let o = 'src/the/* — everything called "the *", gathered and content-addressed:\n\n'
|
|
20
19
|
Object.entries(THE).forEach(([k, v], i) => { o += ' ' + k.padEnd(14) + ' → ' + roots[i].slice(0, 13) + '…\n ' + v + '\n' })
|
|
21
20
|
o += '\n the one root (all "the" folded): ' + merkleFold(roots).slice(0, 13) + '…\n'
|
|
22
|
-
o += ' the "the" concepts point to what is computed elsewhere; here they meet in one.
|
|
21
|
+
o += ' the "the" concepts point to what is computed elsewhere; here they meet in one.'
|
|
23
22
|
return o
|
|
24
23
|
}
|
package/src/the/law/index.ts
CHANGED
|
@@ -7,7 +7,7 @@ import { FUNDING, coins } from '../../9/funding.ts'
|
|
|
7
7
|
export function report(): string {
|
|
8
8
|
const LAW = [
|
|
9
9
|
'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 + ').',
|
|
10
|
-
'the sequence — measure → gate
|
|
10
|
+
'the sequence — measure → gate → receipt (observer and role) → append (the chain) → recompute (every build): follow it in order, or nothing computes.',
|
|
11
11
|
'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.',
|
|
12
12
|
'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.',
|
|
13
13
|
'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 {
|
|
|
15
15
|
const root = merkleFold(LAW.map(toUuid))
|
|
16
16
|
let o = 'the law — follow the license and the sequence, or nothing computes:\n\n'
|
|
17
17
|
for (const l of LAW) o += ' · ' + l + '\n'
|
|
18
|
-
o += '\n law root ' + root.slice(0, 13) + '… — one order-independent fold of the license, the sequence, the exchange, and the bound.
|
|
18
|
+
o += '\n law root ' + root.slice(0, 13) + '… — one order-independent fold of the license, the sequence, the exchange, and the bound.'
|
|
19
19
|
return o
|
|
20
20
|
}
|
package/src/the/path/index.ts
CHANGED
|
@@ -14,6 +14,6 @@ export function report(): string {
|
|
|
14
14
|
o += ' the/crystal ≠ crystal/the — order carries meaning. rating = gravity (depth = specificity).\n\n'
|
|
15
15
|
o += ' rank gravity path\n'
|
|
16
16
|
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' })
|
|
17
|
-
o += '\n meaning is a defined computable rating, not a truth judgment.
|
|
17
|
+
o += '\n meaning is a defined computable rating, not a truth judgment.'
|
|
18
18
|
return o
|
|
19
19
|
}
|
package/src/the/rosetta/index.ts
CHANGED
|
@@ -28,6 +28,6 @@ export function report(): string {
|
|
|
28
28
|
o += ' core: ' + toUuid(CORE).slice(0, 13) + '…\n'
|
|
29
29
|
o += ' domains (' + DOMAINS.length + '): ' + DOMAINS.join(' · ') + '\n'
|
|
30
30
|
o += ' each reachable in one hop; ' + distinct + ' distinct addresses (' + (distinct === DOMAINS.length ? 'no collision — complete' : 'COLLISION') + ')\n'
|
|
31
|
-
o += ' folded rosetta root ' + root.slice(0, 13) + '… — the cross-domain translation is complete.
|
|
31
|
+
o += ' folded rosetta root ' + root.slice(0, 13) + '… — the cross-domain translation is complete.'
|
|
32
32
|
return o
|
|
33
33
|
}
|
|
@@ -7,6 +7,6 @@ export function report(): string {
|
|
|
7
7
|
o += ' units on the circuit: ' + units().join(', ') + '\n'
|
|
8
8
|
o += ' triad (the axis, off-circuit): ' + triad().join(', ') + '\n'
|
|
9
9
|
o += ' root: ' + merkleFold(orbit.map((d) => toUuid(String(d)))).slice(0, 13) + '…\n'
|
|
10
|
-
o += ' the sequence covers every unit exactly once and closes.
|
|
10
|
+
o += ' the sequence covers every unit exactly once and closes.'
|
|
11
11
|
return o
|
|
12
12
|
}
|
package/src/the/solids/index.ts
CHANGED
|
@@ -20,6 +20,6 @@ export function report(): string {
|
|
|
20
20
|
o += ' exactly five exist (1/p + 1/q > 1/2, p,q≥3) — no sixth.\n'
|
|
21
21
|
o += ' the pentagram thread: the dodecahedron has 12 pentagonal faces; the icosahedron, 5 triangles\n'
|
|
22
22
|
o += ' per vertex; the pentagon diagonal-to-side ratio is φ = ' + phi.toFixed(6) + ' (2·cos36°).\n'
|
|
23
|
-
o += ' folded solids root: ' + root.slice(0, 13) + '… — decidable geometry
|
|
23
|
+
o += ' folded solids root: ' + root.slice(0, 13) + '… — decidable geometry.'
|
|
24
24
|
return o
|
|
25
25
|
}
|
package/src/the/state/index.ts
CHANGED
|
@@ -1,11 +1,10 @@
|
|
|
1
|
-
// the state — now, content-addressed. What holds regardless of who observes
|
|
1
|
+
// the state — now, content-addressed. What holds regardless of who observes. A state here
|
|
2
2
|
// is computed, never stored — recomputed every render, landing on one root. It folds the invariants
|
|
3
|
-
// (
|
|
4
|
-
// superposition (src/the/superposition/state) collapses into THIS: many observations, one invariant
|
|
3
|
+
// (humanity 1/7, computable ≠ solved, INCONCLUSIVE ≠ false, at rest) into one address. The
|
|
4
|
+
// superposition (src/the/superposition/state) collapses into THIS: many observations, one invariant state.
|
|
5
5
|
import { toUuid, merkleFold } from '../../0/index.ts'
|
|
6
6
|
export function report(): string {
|
|
7
7
|
const INVARIANTS = [
|
|
8
|
-
'floor: this deposit 0/7',
|
|
9
8
|
'humanity 1/7 (Poincaré, Perelman 2003)',
|
|
10
9
|
'computable is not solved',
|
|
11
10
|
'INCONCLUSIVE ≠ false',
|
|
@@ -13,9 +12,9 @@ export function report(): string {
|
|
|
13
12
|
]
|
|
14
13
|
const root = merkleFold(INVARIANTS.map(toUuid))
|
|
15
14
|
let o = 'the state — now, content-addressed:\n\n'
|
|
16
|
-
o += ' a state is computed, never stored — recomputed every render, landing on one
|
|
15
|
+
o += ' a state is computed, never stored — recomputed every render, landing on one root.\n'
|
|
17
16
|
o += ' the invariants, held regardless of observer:\n'
|
|
18
17
|
for (const inv of INVARIANTS) o += ' · ' + inv + '\n'
|
|
19
|
-
o += ' folded state root (invariant across observers): ' + root.slice(0, 13) + '…
|
|
18
|
+
o += ' folded state root (invariant across observers): ' + root.slice(0, 13) + '…'
|
|
20
19
|
return o
|
|
21
20
|
}
|
|
@@ -17,6 +17,6 @@ export function report(): string {
|
|
|
17
17
|
o += ' an observation collapses the superposition to ONE content-address: ' + collapse.slice(0, 13) + '…\n'
|
|
18
18
|
o += ' open = not yet collapsed to true/false (INCONCLUSIVE ≠ false). six superposed; the seventh\n'
|
|
19
19
|
o += ' already collapsed (Poincaré, settled externally): ' + seventh.slice(0, 13) + '…\n'
|
|
20
|
-
o += ' 6 superposed + 1 collapsed = 7. humanity 1/7
|
|
20
|
+
o += ' 6 superposed + 1 collapsed = 7. humanity 1/7.'
|
|
21
21
|
return o
|
|
22
22
|
}
|
package/src/the/surface/index.ts
CHANGED
|
@@ -21,6 +21,6 @@ export function report(): string {
|
|
|
21
21
|
o += ' ' + pad('surface', 26) + pad('χ', 5) + pad('geometry', 12) + 'full coverage\n'
|
|
22
22
|
for (const r of rows) o += ' ' + pad(r.name, 26) + pad(r.chi, 5) + pad(geom(r.chi), 12) + (r.cover ? 'yes' : 'no') + '\n'
|
|
23
23
|
o += '\n only the torus and the Klein bottle can be fully covered. folded surface root: ' + root.slice(0, 13) + '…\n'
|
|
24
|
-
o += ' decidable topology
|
|
24
|
+
o += ' decidable topology.'
|
|
25
25
|
return o
|
|
26
26
|
}
|
package/src/the/theorem/index.ts
CHANGED
|
@@ -7,8 +7,8 @@ export function report(): string {
|
|
|
7
7
|
let o = 'the theorem — computable is not solved:\n\n'
|
|
8
8
|
o += ' the deposit computes a growing ledger of decidable facts, each re-verified every build.\n'
|
|
9
9
|
o += ' none is a Clay Millennium result: the six open conjectures stay open; Poincaré is settled\n'
|
|
10
|
-
o += ' externally (Perelman). humanity 1/7
|
|
10
|
+
o += ' externally (Perelman). humanity 1/7.\n'
|
|
11
11
|
o += ' the one theorem: computable is not solved — the calculator reaches the decidable, never the open.\n'
|
|
12
|
-
o += ' computed root (fold of ' + CORE.length + ' core theorem keys): ' + root.slice(0, 13) + '…
|
|
12
|
+
o += ' computed root (fold of ' + CORE.length + ' core theorem keys): ' + root.slice(0, 13) + '…'
|
|
13
13
|
return o
|
|
14
14
|
}
|
package/src/the/torus/index.ts
CHANGED
|
@@ -18,6 +18,6 @@ export function report(): string {
|
|
|
18
18
|
const root = merkleFold(facts.map(toUuid))
|
|
19
19
|
let o = 'the torus — continue as double torus (genus-2):\n\n'
|
|
20
20
|
for (const f of facts) o += ' · ' + f + '\n'
|
|
21
|
-
o += ' folded torus root: ' + root.slice(0, 13) + '… — decidable topology, no full coverage
|
|
21
|
+
o += ' folded torus root: ' + root.slice(0, 13) + '… — decidable topology, no full coverage.'
|
|
22
22
|
return o
|
|
23
23
|
}
|
package/src/the/waves/index.ts
CHANGED
|
@@ -18,6 +18,6 @@ export function report(): string {
|
|
|
18
18
|
o += ' | ' + b + ' → ' + ((b * A432_STEP) % 360) + '° (d+b=' + (d + b) + ', hues sum ' + (((d * A432_STEP) + (b * A432_STEP)) % 360) + '°)\n'
|
|
19
19
|
}
|
|
20
20
|
o += '\n the balancing wave 9−d harmonises: the two digits sum to 9 (the rest), their hues to 360°=0.\n'
|
|
21
|
-
o += ' same wave, same state; a different wave, a different point of view. deterministic
|
|
21
|
+
o += ' same wave, same state; a different wave, a different point of view. deterministic.'
|
|
22
22
|
return o
|
|
23
23
|
}
|
|
@@ -1,24 +0,0 @@
|
|
|
1
|
-
# Floor receipt — 0 / 7
|
|
2
|
-
|
|
3
|
-
Receipt `91a07309-6dd3-8048-b9d2-bca6e563a28c` — reproducible — folds seven gate verdicts:
|
|
4
|
-
each of the seven solve-claims computes 0. This deposit solves 0 of 7.
|
|
5
|
-
|
|
6
|
-
## Cross-reflection (both signatures measured)
|
|
7
|
-
|
|
8
|
-
- The floor `0/7` computes 1 — it **signs** (`8eb6deab…`).
|
|
9
|
-
- The inverse `7/7` computes 0 — it **does not sign** (drained).
|
|
10
|
-
|
|
11
|
-
The inverse did not sign, so the floor is the sole signed reflection and stands committed.
|
|
12
|
-
Guard honored: committed *because* the inverse produced no valid countersignature.
|
|
13
|
-
|
|
14
|
-
## Bound
|
|
15
|
-
|
|
16
|
-
This is an **integrity receipt** — reproducible attestation of what the local tools computed. It is
|
|
17
|
-
not a proof about the conjectures. A receipt attests what it is computed over; this one is computed
|
|
18
|
-
over the gate verdicts, and they read 0 of 7.
|
|
19
|
-
|
|
20
|
-
**Two counts, kept distinct** (the earlier bare `0/7` conflated them):
|
|
21
|
-
- **Humanity: 1 / 7.** One of the seven — Poincaré — was settled externally by Perelman (2003). Six
|
|
22
|
-
remain open.
|
|
23
|
-
- **This deposit: 0 / 7.** It settles none of the seven itself. `0/7` is a statement about this
|
|
24
|
-
deposit, not about the world.
|