@ceccec/millennium-solutions 0.1.1 → 9.0.4

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 (91) hide show
  1. package/.zenodo.json +33 -9
  2. package/ACCOUNTING.md +7 -7
  3. package/AXIOMS.md +559 -0
  4. package/CHALLENGES.md +2181 -2479
  5. package/CITATION.cff +1 -1
  6. package/DEPLOY.md +2 -2
  7. package/DEVELOP.md +1 -1
  8. package/LICENSE +6 -5
  9. package/PRIOR-ART.md +149 -0
  10. package/README.md +221 -123
  11. package/SIGNATURE.md +2 -2
  12. package/TRIAL.md +69 -0
  13. package/WHITEPAPER.md +5 -5
  14. package/captain.md +2 -2
  15. package/compare.md +4 -4
  16. package/compute.md +9 -0
  17. package/dashboard.md +1 -1
  18. package/examples.md +5 -5
  19. package/forensic.md +67 -0
  20. package/guide.md +5 -5
  21. package/index.md +209 -139
  22. package/package.json +88 -9
  23. package/paper.md +7183 -0
  24. package/quantum.md +42 -0
  25. package/rights.md +39 -0
  26. package/solutions.md +7 -7
  27. package/speedup.md +4 -4
  28. package/src/0/index.ts +12 -2
  29. package/src/1/index.ts +1 -1
  30. package/src/2/frequency-scales.ts +13 -1
  31. package/src/2/index.ts +1 -1
  32. package/src/3/index.ts +1 -1
  33. package/src/4/index.ts +1 -1
  34. package/src/5/index.ts +1 -1
  35. package/src/6/index.ts +1 -1
  36. package/src/7/index.ts +1 -1
  37. package/src/9/funding.ts +2 -2
  38. package/src/api/gates.ts +117 -0
  39. package/src/api/index.ts +488 -0
  40. package/src/api/lanes.ts +81 -0
  41. package/src/demand/queries.json +1764 -0
  42. package/src/face/index.ts +100 -0
  43. package/src/html/index.ts +10 -0
  44. package/src/latex/index.ts +474 -0
  45. package/src/millennium/index.ts +53 -0
  46. package/src/proof/README.md +1 -1
  47. package/src/proof/address.lean +117 -0
  48. package/src/proof/coin.lean +148 -0
  49. package/src/proof/covered.json +9 -0
  50. package/src/proof/demand.lean +112 -0
  51. package/src/proof/demand2.lean +171 -0
  52. package/src/proof/demand3.lean +117 -0
  53. package/src/proof/discovered.json +10965 -1864
  54. package/src/proof/elementary.lean +393 -0
  55. package/src/proof/energy.lean +215 -0
  56. package/src/proof/families.lean +435 -0
  57. package/src/proof/fixtures/axiom-control.lean +39 -0
  58. package/src/proof/fnv.lean +99 -0
  59. package/src/proof/generated-theorems.json +207 -0
  60. package/src/proof/generated.lean +101 -0
  61. package/src/proof/imagined.lean +492 -0
  62. package/src/proof/index.lean +98 -18
  63. package/src/proof/index.ts +2 -2
  64. package/src/proof/involution.lean +90 -0
  65. package/src/proof/ledgerclaims.lean +84 -0
  66. package/src/proof/light.lean +135 -0
  67. package/src/proof/mechanical.lean +421 -0
  68. package/src/proof/merkaba.lean +89 -0
  69. package/src/proof/merkle.lean +132 -0
  70. package/src/proof/nim.lean +105 -0
  71. package/src/proof/phenomena.lean +90 -0
  72. package/src/proof/priorart.lean +189 -0
  73. package/src/proof/quantum.lean +161 -0
  74. package/src/proof/reach.lean +84 -0
  75. package/src/proof/recovered.lean +56 -0
  76. package/src/proof/reversal.lean +73 -0
  77. package/src/proof/rights.lean +157 -0
  78. package/src/proof/sequences.lean +105 -0
  79. package/src/proof/speed.lean +129 -0
  80. package/src/proof/split.lean +180 -0
  81. package/src/proof/theorems.lean +48 -1
  82. package/src/proof/trial-all.json +15260 -0
  83. package/src/proof/z9.lean +92 -0
  84. package/src/proof/z9plus.lean +208 -0
  85. package/src/proofs.lisp +3 -3
  86. package/src/prove/emit.ts +115 -0
  87. package/src/prove/index.ts +143 -0
  88. package/src/prove/translate.ts +638 -0
  89. package/src/publication/index.ts +363 -0
  90. package/src/quantum/field.ts +73 -0
  91. package/src/quantum/tree.ts +79 -0
package/package.json CHANGED
@@ -1,13 +1,14 @@
1
1
  {
2
2
  "name": "@ceccec/millennium-solutions",
3
- "version": "0.1.1",
3
+ "version": "9.0.4",
4
4
  "description": "Verifiable, recomputable ℤ/9 vortex framework in ONE package — content-addressing, audit ledger, exact arithmetic (0/7), and the honesty toolkit. Facts only.",
5
- "author": "Tsvetan Rouschev",
6
- "license": "CC-BY-NC-4.0",
5
+ "author": {
6
+ "name": "Tsvetan Rouschev",
7
+ "email": "ceccec@psg.bg",
8
+ "url": "https://orcid.org/0009-0000-7312-9778"
9
+ },
10
+ "license": "CC-BY-NC-ND-4.0",
7
11
  "type": "module",
8
- "workspaces": [
9
- "packages/*"
10
- ],
11
12
  "exports": {
12
13
  ".": "./mod.core.ts"
13
14
  },
@@ -25,12 +26,12 @@
25
26
  },
26
27
  "scripts": {
27
28
  "docs:dev": "vitepress dev",
28
- "predocs:build": "node scripts/dashboard.ts && node scripts/boundaries.ts && node scripts/challenges.ts && node scripts/heart.ts && node scripts/accounting.ts && node scripts/speedup.ts && node scripts/greeting.ts && node scripts/solutions.ts",
29
+ "predocs:build": "node scripts/analytics.ts && node scripts/pages.ts && node scripts/dashboard.ts && node scripts/boundaries.ts && node scripts/rights.ts && node scripts/priorart.ts && node scripts/challenges.ts && node scripts/heart.ts && node scripts/accounting.ts && node scripts/speedup.ts && node scripts/greeting.ts && node scripts/solutions.ts && node scripts/contradictions.ts && node scripts/latex-gate.ts && node scripts/paper.ts",
29
30
  "docs:build": "vitepress build",
30
31
  "docs:preview": "vitepress preview",
31
32
  "seal": "node scripts/seal.ts",
32
33
  "typecheck": "tsc --noEmit",
33
- "release": "tsc --noEmit && node scripts/gaps.ts && node scripts/dashboard.ts && node scripts/boundaries.ts && node scripts/challenges.ts && node scripts/heart.ts && node scripts/accounting.ts && node scripts/speedup.ts && npm run docs:build && node scripts/import-gate.ts && node scripts/locale-fold.ts && node scripts/security-gate.ts && node scripts/sitemap-mesh.ts && node scripts/theorem-pages-gate.ts && node scripts/receipt-audit.ts && node scripts/forensics.ts && node scripts/claims-gate.ts && node scripts/harmony-currency.ts && node scripts/gate-corpus.ts && node scripts/seal.ts && node scripts/wholeness.ts && node scripts/lean-claims.ts && node scripts/discover.ts && node scripts/release.ts",
34
+ "release": "node scripts/release-snapshot.ts && tsc --noEmit && node scripts/lean.ts && node scripts/translate-gate.ts && node scripts/lean-agree.ts && node scripts/hardcode-gate.ts && node scripts/one-author-gate.ts && node scripts/orphan-gate.ts && node scripts/attribution-gate.ts && node scripts/parallel-seal.ts && node scripts/retire-lexical.ts && node scripts/lean-gen.ts --emit && node scripts/seal-lean.ts && node scripts/imagine.ts && node scripts/analytics.ts && node scripts/pages.ts && node scripts/gaps.ts && node scripts/dashboard.ts && node scripts/boundaries.ts && node scripts/rights.ts && node scripts/challenges.ts && node scripts/heart.ts && node scripts/accounting.ts && node scripts/forensic-audit.ts && node scripts/speedup.ts && npm run docs:build && node scripts/gates-fire.ts && node scripts/import-gate.ts && node scripts/locale-fold.ts && node scripts/security-gate.ts && node scripts/seo.ts && node scripts/sitemap-mesh.ts && node scripts/theorem-pages-gate.ts && node scripts/receipt-audit.ts && node scripts/forensics.ts && node scripts/claims-gate.ts && node scripts/harmony-currency.ts && node scripts/gate-corpus.ts && node scripts/seal.ts && node scripts/readme.ts && node scripts/trial.ts && node scripts/verify.ts && node scripts/trial-all.ts && node scripts/wholeness.ts && node scripts/lean-claims.ts && node scripts/discover.ts && node scripts/release.ts && node scripts/dashboard.ts && node scripts/accounting.ts && node scripts/deployed.ts",
34
35
  "prepublishOnly": "node scripts/seal.ts",
35
36
  "gaps": "node scripts/gaps.ts",
36
37
  "harmony": "node scripts/gaps.ts && node scripts/seal.ts && node scripts/wholeness.ts && npm run docs:build && node scripts/seo.ts",
@@ -66,10 +67,85 @@
66
67
  "mcp": "node scripts/mcp.ts",
67
68
  "harmony-seal": "node scripts/harmony-seal.ts",
68
69
  "i18n": "node scripts/i18n.ts",
69
- "postdocs:build": "node scripts/sw-integrity.ts"
70
+ "postdocs:build": "node scripts/sw-integrity.ts && node scripts/theorem-pages-gate.ts",
71
+ "lean": "node scripts/lean.ts",
72
+ "imagine": "node scripts/imagine.ts",
73
+ "memory": "node scripts/memory.ts",
74
+ "fold": "node scripts/fold.ts",
75
+ "leandoc": "node scripts/leandoc.ts",
76
+ "lean-agree": "node scripts/lean-agree.ts",
77
+ "parallel-seal": "node scripts/parallel-seal.ts",
78
+ "retire-lexical": "node scripts/retire-lexical.ts",
79
+ "analytics": "node scripts/analytics.ts",
80
+ "hardcode-gate": "node scripts/hardcode-gate.ts",
81
+ "one-author-gate": "node scripts/one-author-gate.ts",
82
+ "gates-fire": "node scripts/gates-fire.ts",
83
+ "attribution-gate": "node scripts/attribution-gate.ts",
84
+ "wave": "node scripts/wave.ts",
85
+ "trial-all": "node scripts/trial-all.ts",
86
+ "citations": "node scripts/verify.ts",
87
+ "lean-gen": "node scripts/lean-gen.ts",
88
+ "orphan-gate": "node scripts/orphan-gate.ts",
89
+ "ci-health": "node scripts/ci-health.ts",
90
+ "published": "node scripts/published.ts",
91
+ "translate-gate": "node scripts/translate-gate.ts",
92
+ "paper": "node scripts/paper.ts",
93
+ "latex-gate": "node scripts/latex-gate.ts",
94
+ "contradictions": "node scripts/contradictions.ts",
95
+ "prior-art": "node scripts/priorart.ts",
96
+ "gates": "node scripts/attribution-gate.ts && node scripts/hardcode-gate.ts && node scripts/import-gate.ts && node scripts/one-author-gate.ts && node scripts/orphan-gate.ts && node scripts/security-gate.ts && node scripts/translate-gate.ts && node scripts/lean-agree.ts && node scripts/trial-all.ts && node scripts/readme.ts && node scripts/gaps.ts && node scripts/constants-gate.ts && node scripts/fixture-addresses.ts && node scripts/forensic-audit.ts && node scripts/notice.ts && node scripts/recover.ts && node scripts/independent.ts && node scripts/covered-gate.ts && node scripts/vacuity.ts && node scripts/citations-gate.ts && node scripts/cite-audit.ts && node scripts/lanes-check.ts",
97
+ "gates:fire": "node scripts/gates-fire.ts",
98
+ "ci:local": "node scripts/ci-local.ts",
99
+ "metrics": "node scripts/metrics.ts",
100
+ "metrics:verify": "node scripts/metrics.ts --verify",
101
+ "quantum-field": "node scripts/quantum-field.ts",
102
+ "zenodo": "node scripts/zenodo-gate.ts",
103
+ "zenodo:write": "node scripts/zenodo-theorems.ts --write",
104
+ "zenodo:mint": "node scripts/zenodo-mint.ts",
105
+ "axiom-index": "node scripts/axiom-index.ts",
106
+ "all": "node scripts/all.ts",
107
+ "docs-gate": "node scripts/docs-gate.ts",
108
+ "priorart:gen": "node scripts/priorart-gen.ts",
109
+ "priorart-check": "node scripts/priorart-gen.ts --check",
110
+ "apply": "node scripts/apply.ts",
111
+ "ci-drift": "node scripts/ci-drift.ts",
112
+ "carry": "node scripts/carry.ts",
113
+ "carry:apply": "node scripts/carry.ts --carry",
114
+ "zenodo:verify": "node scripts/zenodo-verify.ts",
115
+ "metrics:enforce": "node scripts/metrics.ts --enforce",
116
+ "unique": "node scripts/unique.ts",
117
+ "doi-resolve": "node scripts/doi-resolve.ts",
118
+ "bench:hex": "node scripts/bench-hex.ts",
119
+ "retire:duplicate-keys": "node scripts/retire-duplicate-keys.ts",
120
+ "bench:hexbit": "node scripts/bench-hexbit.ts",
121
+ "stale-figures": "node scripts/stale-figures.ts",
122
+ "cern": "tsx scripts/cern.ts",
123
+ "cern:oai": "tsx scripts/cern-oai.ts",
124
+ "xrepo": "tsx scripts/xrepo.ts",
125
+ "fixture:addresses": "tsx scripts/fixture-addresses.ts",
126
+ "constants": "tsx scripts/constants-gate.ts",
127
+ "leads": "tsx scripts/leads.ts",
128
+ "control-probe": "tsx scripts/control-probe.ts",
129
+ "deployed": "tsx scripts/deployed.ts",
130
+ "forensic": "tsx scripts/forensic-audit.ts",
131
+ "notice": "tsx scripts/notice.ts",
132
+ "candidates": "tsx scripts/candidates.ts",
133
+ "probe": "tsx scripts/probe.ts",
134
+ "vacuity": "tsx scripts/vacuity.ts",
135
+ "vacuity:deep": "tsx scripts/vacuity.ts --sensitivity",
136
+ "blind": "tsx scripts/blind.ts",
137
+ "citations-gate": "tsx scripts/citations-gate.ts",
138
+ "cite-audit": "tsx scripts/cite-audit.ts",
139
+ "lanes-check": "tsx scripts/lanes-check.ts",
140
+ "covered-gate": "tsx scripts/covered-gate.ts",
141
+ "independent": "tsx scripts/independent.ts",
142
+ "recover": "tsx scripts/recover.ts",
143
+ "recover:gen": "tsx scripts/recover-gen.ts"
70
144
  },
71
145
  "devDependencies": {
72
146
  "@types/node": "^26.2.0",
147
+ "@types/three": "^0.185.4",
148
+ "three": "^0.185.1",
73
149
  "typescript": "7.0.2",
74
150
  "vitepress": "^2.0.0-alpha.19",
75
151
  "vue": "^3.5.41"
@@ -84,5 +160,8 @@
84
160
  },
85
161
  "publishConfig": {
86
162
  "access": "public"
163
+ },
164
+ "dependencies": {
165
+ "@uuidna/uuidna": "^0.2.6"
87
166
  }
88
167
  }