@ceccec/millennium-solutions 9.6.4 → 9.6.7
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/README.md +3 -1
- package/package.json +7 -3
package/README.md
CHANGED
|
@@ -228,7 +228,9 @@ Read from the artefacts at build time, never carried between runs.
|
|
|
228
228
|
|
|
229
229
|
## The seven, one theorem each — what they decide, and what they do not
|
|
230
230
|
|
|
231
|
-
Each Clay problem has **one** theorem here, in `src/proof/index.lean
|
|
231
|
+
Each Clay problem has **one** theorem here, in `src/proof/index.lean`, and the table gives what that theorem decides and the case count the Lean kernel exhausted to decide it.
|
|
232
|
+
|
|
233
|
+
*What these theorems decide is ℤ/9 arithmetic over finite domains — a statement about the theorems, not a verdict on any conjecture. Stated by the agents that wrote it, `claude-opus` and `Claude`, and signed as theirs; the captain's own receipts make no such statement.*
|
|
232
234
|
|
|
233
235
|
| problem | the theorem, and what it decides | cases | proof |
|
|
234
236
|
|---|---|---|---|
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@ceccec/millennium-solutions",
|
|
3
|
-
"version": "9.6.
|
|
3
|
+
"version": "9.6.7",
|
|
4
4
|
"description": "Verifiable, recomputable ℤ/9 vortex framework in ONE package — content-addressing, audit ledger, exact arithmetic, and the honesty toolkit. Facts only.",
|
|
5
5
|
"author": {
|
|
6
6
|
"name": "Tsvetan Rouschev",
|
|
@@ -36,7 +36,7 @@
|
|
|
36
36
|
"prose-trial": "node scripts/prose-trial.ts",
|
|
37
37
|
"seal": "node scripts/seal.ts",
|
|
38
38
|
"typecheck": "tsc --noEmit",
|
|
39
|
-
"release": "node scripts/release-snapshot.ts && tsc --noEmit && node scripts/crypto-kat.ts && node scripts/prose-trial.ts && 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/canon-gate.ts && node scripts/lessons.ts --write && 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/priorart-gen.ts && node scripts/axiom-index.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/
|
|
39
|
+
"release": "node scripts/release-snapshot.ts && tsc --noEmit && node scripts/crypto-kat.ts && node scripts/prose-trial.ts && 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/canon-gate.ts && node scripts/lessons.ts --write && 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/priorart-gen.ts && node scripts/axiom-index.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/locale-fold.ts && node scripts/gates-fire.ts && node scripts/import-gate.ts && node scripts/security-gate.ts && node scripts/seven.ts && node scripts/css-gate.ts && node scripts/seo.ts && node scripts/sitemap-mesh.ts && node scripts/zenodo-theorems.ts --write && node scripts/zenodo-gate.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/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",
|
|
40
40
|
"prepublishOnly": "node scripts/seal.ts",
|
|
41
41
|
"gaps": "node scripts/gaps.ts",
|
|
42
42
|
"harmony": "node scripts/gaps.ts && node scripts/seal.ts && node scripts/wholeness.ts && npm run docs:build && node scripts/seo.ts",
|
|
@@ -152,7 +152,11 @@
|
|
|
152
152
|
"build:dist": "node scripts/build-dist.ts",
|
|
153
153
|
"prepack": "node scripts/build-dist.ts",
|
|
154
154
|
"canon": "node scripts/canon-gate.ts",
|
|
155
|
-
"lessons": "node scripts/lessons.ts"
|
|
155
|
+
"lessons": "node scripts/lessons.ts",
|
|
156
|
+
"css": "node scripts/css-gate.ts",
|
|
157
|
+
"seven": "node scripts/seven.ts",
|
|
158
|
+
"sources": "node scripts/sources.ts",
|
|
159
|
+
"provenance": "node scripts/provenance.ts"
|
|
156
160
|
},
|
|
157
161
|
"devDependencies": {
|
|
158
162
|
"@types/node": "^26.2.0",
|