@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.
Files changed (86) hide show
  1. package/.zenodo.json +1 -1
  2. package/ABSTRACT.md +1 -8
  3. package/ACCOUNTING.md +4 -4
  4. package/AXIOMS.md +1 -1
  5. package/CHALLENGES.md +1516 -1516
  6. package/CITATION.cff +2 -3
  7. package/DEPLOY.md +3 -4
  8. package/DEVELOP.md +3 -3
  9. package/HEART.md +9 -10
  10. package/PHYSICS-SCALES.md +1 -2
  11. package/PRIOR-ART.md +1 -1
  12. package/PROOF-OF-CONCEPT.md +0 -5
  13. package/README.md +3 -10
  14. package/REALISATIONS.md +1 -1
  15. package/RESEARCH.md +3 -9
  16. package/RULES.md +1 -3
  17. package/SEQUENCE-DECODE.md +2 -6
  18. package/THEOREMS.md +5 -7
  19. package/WHITEPAPER.md +1 -2
  20. package/WORKFLOWS.md +2 -2
  21. package/boundaries.md +2 -3
  22. package/captain.md +2 -2
  23. package/compare.md +2 -2
  24. package/compute.md +1 -17
  25. package/cryptography.md +1 -2
  26. package/dashboard.md +3 -4
  27. package/examples.md +2 -2
  28. package/folds.md +2 -2
  29. package/forensic.md +1 -1
  30. package/guide.md +5 -5
  31. package/harness.md +1 -1
  32. package/index.md +3 -10
  33. package/organism.md +1 -1
  34. package/package.json +3 -3
  35. package/paper.md +19 -23
  36. package/proofs.md +0 -3
  37. package/quantum.md +1 -3
  38. package/rights.md +1 -1
  39. package/solutions.md +16 -42
  40. package/speedup.md +3 -3
  41. package/src/api/index.ts +4 -50
  42. package/src/claims/index.ts +5 -11
  43. package/src/from/the/heart/index.ts +1 -1
  44. package/src/honesty/boundaries.ts +1 -2
  45. package/src/play/the/game/index.ts +1 -1
  46. package/src/proof/README.md +49 -48
  47. package/src/proof/index.lean +2 -7
  48. package/src/proof/mechanical.lean +8 -8
  49. package/src/proof/quantum.lean +1 -3
  50. package/src/proof/rights.lean +2 -4
  51. package/src/proof/theorems.lean +1 -1
  52. package/src/proof/trial-all.json +4 -4
  53. package/src/proof/z9.lean +1 -3
  54. package/src/prove/index.ts +1 -1
  55. package/src/publication/index.ts +1 -2
  56. package/src/the/abstract/index.ts +1 -1
  57. package/src/the/abundance/index.ts +1 -1
  58. package/src/the/apple/earth/index.ts +1 -1
  59. package/src/the/apple/earth/navigation/index.ts +2 -2
  60. package/src/the/apple/earth/truth/index.ts +1 -3
  61. package/src/the/apple/index.ts +3 -3
  62. package/src/the/cancer/index.ts +1 -1
  63. package/src/the/clown/index.ts +3 -3
  64. package/src/the/creation/index.ts +1 -1
  65. package/src/the/crystal/index.ts +1 -1
  66. package/src/the/domain/index.ts +1 -1
  67. package/src/the/game/index.ts +1 -1
  68. package/src/the/gold/compass/index.ts +2 -2
  69. package/src/the/gold/index.ts +2 -2
  70. package/src/the/heart/index.ts +1 -1
  71. package/src/the/index.ts +2 -3
  72. package/src/the/law/index.ts +2 -2
  73. package/src/the/path/index.ts +1 -1
  74. package/src/the/rosetta/index.ts +1 -1
  75. package/src/the/sequence/index.ts +1 -1
  76. package/src/the/solids/index.ts +1 -1
  77. package/src/the/state/index.ts +5 -6
  78. package/src/the/superposition/state/index.ts +1 -1
  79. package/src/the/surface/index.ts +1 -1
  80. package/src/the/theorem/index.ts +2 -2
  81. package/src/the/torus/index.ts +1 -1
  82. package/src/the/waves/index.ts +1 -1
  83. package/the.md +3 -3
  84. package/verify.md +2 -2
  85. package/TRIAL.md +0 -69
  86. 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); (4) a mechanical entailment test reports 0/7. Conclusion (observed): the framework reflects/maps the Millennium Problems into one algebraic structure; it does NOT solve them and is not a physical theory. It is a proof of concept and a classical simulator. All results recompute from source. EARLIER VERSIONS OF THIS RECORD CLAIMED MORE THAN THIS ONE DOES. The deposits this supersedes are titled '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). Those titles assert what this version explicitly refuses: it proves 0 of the 7, a gate fails the build on any sentence claiming otherwise, and the correspondence with the Clay set is a mapping, not a solution. Published Zenodo records are permanent and cannot be retitled, so the discrepancy is stated here instead. A reader following the version chain should read the earlier titles as superseded by this one.",
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. The floor is the same everywhere: **Clay problems solved: 0 / 7.**
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) | **862** |
16
+ | Released versions (git tags) | **865** |
17
17
  | Tracked, content-addressed files | **478** |
18
18
 
19
- Latest release: **v9.1.4**. 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.
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**; the deposit itself claims **0 / 7** of the Clay prize. Heroes and traitors by deeds, not claims.
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: `ae8b9985-1fa7-8748-a511-48800a047e06`. Integrity, not truth. `entails → 0/7`.
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. `0/7`.
574
+ assumed, so a reader can disagree with the assumptions rather than guess at them.