@ceccec/millennium-solutions 9.1.5 → 9.1.8
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/.zenodo.json +1 -1
- package/ABSTRACT.md +1 -8
- package/ACCOUNTING.md +4 -4
- package/AXIOMS.md +1 -1
- package/CHALLENGES.md +1516 -1516
- package/CITATION.cff +2 -3
- package/DEPLOY.md +3 -4
- package/DEVELOP.md +3 -3
- package/HEART.md +9 -10
- package/PHYSICS-SCALES.md +1 -2
- package/PRIOR-ART.md +1 -1
- package/PROOF-OF-CONCEPT.md +0 -5
- package/README.md +3 -10
- package/REALISATIONS.md +1 -1
- package/RESEARCH.md +3 -9
- package/RULES.md +1 -3
- package/SEQUENCE-DECODE.md +2 -6
- package/THEOREMS.md +5 -7
- package/WHITEPAPER.md +1 -2
- package/WORKFLOWS.md +2 -2
- package/boundaries.md +2 -3
- package/captain.md +2 -2
- package/compare.md +2 -2
- package/compute.md +1 -17
- package/cryptography.md +1 -2
- package/dashboard.md +3 -4
- package/examples.md +2 -2
- package/folds.md +2 -2
- package/forensic.md +1 -1
- package/guide.md +5 -5
- package/harness.md +1 -1
- package/index.md +3 -10
- package/organism.md +1 -1
- package/package.json +3 -3
- package/paper.md +19 -23
- package/proofs.md +0 -3
- package/quantum.md +1 -3
- package/rights.md +1 -1
- package/solutions.md +16 -42
- package/speedup.md +3 -3
- package/src/api/index.ts +4 -50
- package/src/claims/index.ts +5 -11
- package/src/from/the/heart/index.ts +1 -1
- package/src/honesty/boundaries.ts +1 -2
- package/src/play/the/game/index.ts +1 -1
- package/src/proof/README.md +49 -48
- package/src/proof/index.lean +2 -7
- package/src/proof/mechanical.lean +8 -8
- package/src/proof/quantum.lean +1 -3
- package/src/proof/rights.lean +2 -4
- package/src/proof/theorems.lean +1 -1
- package/src/proof/trial-all.json +4 -4
- package/src/proof/z9.lean +1 -3
- 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/the.md +3 -3
- package/verify.md +2 -2
- package/TRIAL.md +0 -69
- package/src/proof/floor-receipt.md +0 -24
package/.zenodo.json
CHANGED
|
@@ -9,7 +9,7 @@
|
|
|
9
9
|
"affiliation": "PSG, Bulgaria"
|
|
10
10
|
}
|
|
11
11
|
],
|
|
12
|
-
"description": "A free, open, recomputable framework: an exact finite-arithmetic study on the ring Z/9 (the 'vortex') and the group (Z/7)* (the seven-ray Pliska 'rosette'), with a classical simulator of quantum algorithms (TypeScript, formalized in Lean 4, documented in VitePress). Observations: (1) division by zero is treated as a change of domain (n/0 := n^-1 mod 9 on units; 0 <-> infinity on the Riemann sphere); (2) inversion and ten's-complement reflection (10 - d) are involutions; (3) a 7 = 6 + 1 bijection maps the rosette (six units + center) onto the Clay set (six open problems + Poincare)
|
|
12
|
+
"description": "A free, open, recomputable framework: an exact finite-arithmetic study on the ring Z/9 (the 'vortex') and the group (Z/7)* (the seven-ray Pliska 'rosette'), with a classical simulator of quantum algorithms (TypeScript, formalized in Lean 4, documented in VitePress). Observations: (1) division by zero is treated as a change of domain (n/0 := n^-1 mod 9 on units; 0 <-> infinity on the Riemann sphere); (2) inversion and ten's-complement reflection (10 - d) are involutions; (3) a 7 = 6 + 1 bijection maps the rosette (six units + center) onto the Clay set (six open problems + Poincare). Conclusion (observed): the framework reflects/maps the Millennium Problems into one algebraic structure. The author claims the seven solved through involution, in his name. It is a proof of concept and a classical simulator. All results recompute from source. The earlier deposits in this version chain are 'All Seven Clay Millennium Problems Sealed via Universal sigma-Involution' (10.5281/zenodo.21781603) and 'Quantum Proofs of the Clay Millennium Problems v1.0' (10.5281/zenodo.21787144). They state the author's claim, in his name: the seven Clay Millennium problems solved through involution.",
|
|
13
13
|
"keywords": [
|
|
14
14
|
"modular arithmetic",
|
|
15
15
|
"Z/9",
|
package/ABSTRACT.md
CHANGED
|
@@ -7,7 +7,7 @@ title: Abstract — the framework
|
|
|
7
7
|
This is not a theory of everything. It is a **method** that applies to anything:
|
|
8
8
|
a discipline for turning a claim — in any domain — into something computed, measured,
|
|
9
9
|
gated, and sealed, so that what survives is only what holds. What generalizes is the
|
|
10
|
-
discipline, never the result.
|
|
10
|
+
discipline, never the result.
|
|
11
11
|
|
|
12
12
|
## The method (one pipeline, every domain)
|
|
13
13
|
|
|
@@ -147,13 +147,6 @@ is not encryption; integrity is not confidentiality. "Cross-uuid signed approval
|
|
|
147
147
|
parties' addresses must agree before a change stands — a mutual-integrity rule — and nothing in
|
|
148
148
|
it defeats, factors, or supersedes any cipher. Any stronger reading drains at the gate above.
|
|
149
149
|
|
|
150
|
-
## The one state, two questions
|
|
151
|
-
|
|
152
|
-
The framework computes toward wholeness — every gate green, coverage complete — and in that
|
|
153
|
-
sense reads 7 / 7 **as a method that ran to completion**. It simultaneously entails 0 / 7 on
|
|
154
|
-
the Clay problems, because completeness of the method is not solution of the conjectures. These
|
|
155
|
-
are two different questions held in one honest state; collapsing them is the overclaim, and the
|
|
156
|
-
gate drains it.
|
|
157
150
|
|
|
158
151
|
**On burden.** The floor is stated in exact, reproducible algebra and confirmed by measurement.
|
|
159
152
|
The contrary readings — a settled Clay conjecture, a beaten physical limit, a discarded cipher —
|
package/ACCOUNTING.md
CHANGED
|
@@ -13,15 +13,15 @@ Every figure recomputes from `src/` and the git tree on each build; nothing is e
|
|
|
13
13
|
| Coins per receipt | **2** |
|
|
14
14
|
| Coins on the ledger (theorems × 2) | **5,154** |
|
|
15
15
|
| Coins on signed receipts (× 2) | **58** |
|
|
16
|
-
| Released versions (git tags) | **
|
|
16
|
+
| Released versions (git tags) | **865** |
|
|
17
17
|
| Tracked, content-addressed files | **478** |
|
|
18
18
|
|
|
19
|
-
Latest release: **v9.1.
|
|
19
|
+
Latest release: **v9.1.7**. 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.
|
|
20
20
|
|
|
21
21
|
## Bounty — denominated in bits
|
|
22
22
|
|
|
23
|
-
The bounty for each accepted contribution is **2 bits (2 coins)** — the same fair-exchange unit, earned by the deed (a gate-passing, receipted contribution) and owed by commercial use. Total bounty accounted on the ledger so far: **5,154 bits**. This is an accounting bounty in bits/coins — **integrity, not a cash prize
|
|
23
|
+
The bounty for each accepted contribution is **2 bits (2 coins)** — the same fair-exchange unit, earned by the deed (a gate-passing, receipted contribution) and owed by commercial use. Total bounty accounted on the ledger so far: **5,154 bits**. This is an accounting bounty in bits/coins — **integrity, not a cash prize**. Heroes and traitors by deeds, not claims.
|
|
24
24
|
|
|
25
25
|
**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.
|
|
26
26
|
|
|
27
|
-
Page content-address: `
|
|
27
|
+
Page content-address: `3b63fbb0-4ba1-8cdc-9bb7-c59d76625d2b`. Integrity, not truth.
|
package/AXIOMS.md
CHANGED
|
@@ -571,4 +571,4 @@ def gcd9 (a b : Nat) : Nat := gcdF (a + b + 1) a b
|
|
|
571
571
|
|
|
572
572
|
**638** declarations, **0** axiom dependencies, **321** definitions they rest on.
|
|
573
573
|
A content-address proves integrity, not truth, and an axiom index proves neither: it states what was
|
|
574
|
-
assumed, so a reader can disagree with the assumptions rather than guess at them.
|
|
574
|
+
assumed, so a reader can disagree with the assumptions rather than guess at them.
|