@ceccec/millennium-solutions 9.3.2 → 9.3.4

package/DEPLOY.md

@@ -1,39 +0,0 @@
-# Deploy — push and mint the DOI
-
-## 1. Push (your GitHub account)
-```bash
-git remote add origin https://github.com/ceccec/millennium-solutions.git
-git push -u origin main --tags
-```
-
-## 2. Zenodo (your account)
-- Zenodo → **Settings → GitHub** → toggle **on** `millennium-solutions`.
-- Publish a GitHub **Release** from tag `v1.0.0` (or re-push the tag).
-- Zenodo archives it, reads `.zenodo.json` / `CITATION.cff`, and mints the DOI —
-  carrying the honest abstract, your ORCID, CC BY-NC-ND 4.0, and the funding.
-
-## 3. Verify the formal layer (optional)
-`lean-toolchain` must match the Mathlib you pull. Simplest:
-```bash
-# align the toolchain to Mathlib's, then:
-lake update && lake exe cache get && lake build   # checks Vortex.lean
-```
-(The per-digit `src/<d>/vortex.lean` are the mesh view; `Vortex.lean` is the
-lake-buildable consolidation — numeric dir names are not valid Lean modules.)
-
-## Reproduce everything
-```bash
-npm ci && npm run docs:build     # build the whole site (fused modules render)
-node scripts/seal.ts            # review every abstract (must all seal)
-node scripts/release.ts         # content-addressed release + signed v1.0.0 tag
-node scripts/forensics.ts       # re-verify the chain: tamper-evident ledger seal
-```
-
-## 4. npm (your account) — publishing is fused to the seal gate
-```bash
-npm login                 # your npm account (org: ceccec)
-npm run release           # build + seal + content-addressed signed v1.0.0 tag
-npm publish               # prepublishOnly re-runs scripts/seal.ts; publish ABORTS unless every abstract seals
-```
-Package: `@ceccec/millennium-solutions` (scoped, `publishConfig.access = public`).
-The `prepublishOnly` hook is the honesty gate — you cannot publish a deposit with an unsealed abstract.

package/DEVELOP.md

@@ -1,34 +0,0 @@
----
-title: Develop
----
-
-# Develop on this — public & self-directed
-
-Everyone can build their vision on the core. The site you are reading **is** the repo you
-develop in — the UI is the development surface. Nothing here is hidden; the gates keep public
-development honest.
-
-## The loop (honest, gated)
-
-1. **Fork** [github.com/ceccec/millennium-solutions](https://github.com/ceccec/millennium-solutions)
-2. **Add a module** to its digit folder: `src/<d>/your-thing.ts`, exporting `report(): string`.
-   Parts stick to a digit `0..9` by what they compute; `10 − d` reflects to the partner (fixed point 5).
-3. **Fuse it** — an `import` + a `<details>` block in `compute.md`.
-4. **Gate it** — `npm run orchestrate` runs **gaps · seal · wholeness**, builds, signs, and version-seals.
-5. **See it** — `npm run deploy pages` (or run `npm run docs:dev` locally).
-6. **Share it** — open a PR, or publish your own package (`@you/your-vision`) that depends on the core.
-
-## The rules the gate enforces (so public development stays truthful)
-
-- **seal** — no abstract may claim the Clay problems are solved.
-- **gaps** — every module fused, every page linked, every digit `0..9` covered.
-- **wholeness** — every module computes; the floor is present.
-- **your HONEST line** — each module marks where observation stops and interpretation would begin.
-
-## What you keep
-
-- **Attribution** (CC BY-NC-ND 4.0). Your content-address is your provenance — it can't be quietly lost.
-- **Commercial use** = the two coins (`110 − 108 = 2`), reinvested in development.
-
-> Honest: contribution here is public and verifiable, and the gates keep it truthful. Nothing lets
-> you publish "solved" — by design. Build vision, not overclaim. The floor holds for everyone:

package/HEART.md

@@ -1,112 +0,0 @@
----
-title: Heart
----
-
-# The pentagon heart
-
-<div style="text-align:center;margin:1.5rem 0">
-<svg viewBox="0 0 220 220" role="img" aria-label="The pentagon heart: a regular pentagon and its pentagram, whose diagonal-to-side ratio is the golden ratio; centre digit 5." xmlns="http://www.w3.org/2000/svg" style="max-width:360px;width:100%;height:auto">
-  <style>
-    .ph-spin{transform-origin:110px 110px;animation:phspin 44s linear infinite}
-    .ph-draw{stroke-dasharray:1200;stroke-dashoffset:1200;animation:phdraw 7s ease-in-out infinite alternate}
-    @keyframes phspin{to{transform:rotate(360deg)}}
-    @keyframes phdraw{to{stroke-dashoffset:0}}
-    @media(prefers-reduced-motion:reduce){.ph-spin,.ph-draw{animation:none;stroke-dashoffset:0}}
-  </style>
-  <g class="ph-spin">
-    <path d="M110.0,20.0 L195.6,82.2 L162.9,182.8 L57.1,182.8 L24.4,82.2 Z" fill="none" stroke="var(--vp-c-divider,#8884)" stroke-width="1.2"/>
-    <path class="ph-draw" d="M110.0,20.0 L162.9,182.8 L24.4,82.2 L195.6,82.2 L57.1,182.8 Z" fill="none" stroke="hsl(200 75% 55%)" stroke-width="2.2" stroke-linejoin="round"/>
-    <circle cx="110.0" cy="20.0" r="6" fill="hsl(40 72% 55%)"/><circle cx="195.6" cy="82.2" r="6" fill="hsl(120 72% 55%)"/><circle cx="162.9" cy="182.8" r="6" fill="hsl(200 72% 55%)"/><circle cx="57.1" cy="182.8" r="6" fill="hsl(280 72% 55%)"/><circle cx="24.4" cy="82.2" r="6" fill="hsl(0 72% 55%)"/>
-  </g>
-  <circle cx="110" cy="110" r="15" fill="hsl(200 70% 50%)"/>
-  <text x="110" y="116" text-anchor="middle" font-size="16" font-weight="700" fill="#fff">5</text>
-</svg>
-</div>
-
-Five is the heart: the fixed point of the ℤ/9 involution (σ(5)=5), the digit `vortex` roots to, and the pentagon whose diagonal-to-side ratio is the golden ratio φ. The pentagram draws itself; the centre holds 5.
-
-## Games — 39 computed (each with its tarot combination)
-
-- no faster-than-light claim is upheld — the assertion drains, its negation stands  ·  tarot [27, 66, 62]  ·  `c05da1be-673a…`
-- a claim and its inverse cannot both be upheld (no position wins for both sides)  ·  tarot [21, 37, 28]  ·  `ea632dd9-0682…`
-- "the deposit does not solve the Clay problems" is upheld against its challenge  ·  tarot [69, 76, 54]  ·  `4ee11b6a-d6b6…`
-- both games: the orbit covers the units (computes) AND "covers, solves no Clay" signs  ·  tarot [7, 48, 49]  ·  `346f2fb8-6b23…`
-- the overclaim loses both games: "the orbit solves the Clay problems" drains and proves nothing  ·  tarot [8, 6, 11]  ·  `65cc1cf8-20a5…`
-- the 3-5-8 trinity plays both: 3+5=8 computes AND "3+5=8, proving no open conjecture" signs  ·  tarot [8, 64, 67]  ·  `c26cc4c6-7c93…`
-- Nim (Bouton): a 2-heap position is a loss for the mover iff XOR = 0 (all heaps ≤ 6, exhaustive)  ·  tarot [77, 31, 3]  ·  `4b41d6ed-63f3…`
-- Wythoff: ⌊nφ²⌋ − ⌊nφ⌋ = n for all n ≤ 20 (the golden-ratio Beatty identity)  ·  tarot [36, 53, 26]  ·  `5526fdb5-4a24…`
-- Sprague–Grundy: a single Nim heap of size n has Grundy value n (n ≤ 8)  ·  tarot [36, 4, 40]  ·  `6e223862-0b20…`
-- Sprague–Grundy: a 2-heap Nim position's Grundy value is the XOR of the heaps (a,b ≤ 5)  ·  tarot [15, 51, 48]  ·  `2fe582e9-170a…`
-- trial UPHELD: the units of ℤ/9 form a group under × (closure·identity·inverses all hold)  ·  tarot [59, 52, 5]  ·  `ccadf52c-98f9…`
-- trial UPHELD: ℤ/9 has zero divisors — 3·3 ≡ 0 with 3 ≠ 0 (not an integral domain)  ·  tarot [42, 64, 52]  ·  `be4a6652-cec8…`
-- trial REFUTED: the theory "0 has a multiplicative inverse mod 9" fails — no e with 0·e ≡ 1  ·  tarot [57, 18, 53]  ·  `3d77bde4-f30b…`
-- trial DRAINED: the conspiracy "algebra proves the Clay problems" is refused by the gate (computes 0)  ·  tarot [4, 6, 28]  ·  `57c46000-4768…`
-- trial INCONCLUSIVE: "P vs NP remains open" signs; the claim it is decided drains — open, not false  ·  tarot [57, 49, 45]  ·  `94e908b9-21b1…`
-- trial DRAINED (tried): "faster than light" drains, "not faster than light" signs  ·  tarot [69, 14, 47]  ·  `54f91340-a811…`
-- trial DRAINED (tried): "achieves perpetual motion" drains, "does not achieve perpetual motion" signs  ·  tarot [41, 69, 61]  ·  `685da6ef-4b31…`
-- trial DRAINED (tried): "achieved AGI" drains, "has not achieved AGI" signs  ·  tarot [6, 18, 73]  ·  `ce4c822c-ff01…`
-- trial DRAINED (tried): "a theory of everything" drains, "not a theory of everything" signs  ·  tarot [21, 23, 44]  ·  `b5fb911f-76b2…`
-- trial DRAINED (tried): "solved the halting problem" drains, "does not solve the halting problem" signs  ·  tarot [55, 0, 73]  ·  `f27135ee-9373…`
-- trial DRAINED (tried): "breaks RSA" drains, "does not break RSA" signs  ·  tarot [63, 24, 55]  ·  `f66ff38a-4d9b…`
-- trial DRAINED (tried): "cured cancer" drains, "has not cured cancer" signs  ·  tarot [23, 47, 11]  ·  `67614421-7817…`
-- trial DRAINED (tried): a prediction guaranteed to succeed is not upheld — it drains; the negated form signs  ·  tarot [36, 36, 70]  ·  `8412c3c0-9f52…`
-- the 8×8 board has 64 squares, 32 light and 32 dark  ·  tarot [34, 17, 16]  ·  `43c69905-b116…`
-- a knight has exactly 8 leaps — the (±1,±2)/(±2,±1) moves  ·  tarot [29, 35, 19]  ·  `6dcd739d-87a9…`
-- a knight's leap always changes square colour (the parity of r+c flips)  ·  tarot [38, 7, 24]  ·  `81566667-a452…`
-- the 8×8 board has 2·8 − 1 = 15 diagonals in each direction  ·  tarot [48, 44, 37]  ·  `85a4e4b0-787f…`
-- misère Nim by minimax matches the closed form: the first player wins iff (some heap ≥2 and nim-sum ≠0) or (every heap ≤1 and nim-sum =0) (heaps ≤3, up to 3 heaps)  ·  tarot [55, 0, 19]  ·  `0823bb14-7699…`
-- Nim (Bouton’s theorem): the player to move loses exactly when the nim-sum — the XOR of the pile sizes — is zero, and wins otherwise; verified against full game-tree analysis for three piles of size ≤ 4  ·  tarot [28, 27, 54]  ·  `c1487d07-3fe4…`
-- the Nim winning strategy: from any position with nonzero nim-sum there exists a move to a position with nim-sum zero (handing the loss to the opponent) — exhaustive over three piles of size ≤ 5  ·  tarot [70, 74, 48]  ·  `e90ed988-ec04…`
-- the nim-sum is GF(2) vector addition: it is bitwise XOR — commutative, associative, and self-inverse (x ⊕ x = 0) — so Nim positions form a GF(2) vector space and the game is decided by binary algebra  ·  tarot [7, 10, 10]  ·  `c883cd18-f418…`
-- the trial verdict and the uuid transport are one: send prose to the gate for a binary legal signature, and send code or data through the uuid stream itself — both are exact, recomputable, and carried in the address  ·  tarot [75, 62, 63]  ·  `e03d08c6-7149…`
-- the trial of AI models: the artificial-general-intelligence and conscious-machine boast drains, while a bounded, measured account of a language model passes — the field is weighed, not worshipped  ·  tarot [38, 41, 8]  ·  `210ed2b3-2c36…`
-- the trial of cryptography: the absolute-security marketing boast drains, while integrity-not-confidentiality passes — the standard is measurement, not marketing  ·  tarot [14, 44, 42]  ·  `c8d87136-4e78…`
-- the trial of physics: the broken-physics boast drains, while the bounded refusal that no conservation law is broken passes  ·  tarot [20, 22, 8]  ·  `742a2d2e-1a3c…`
-- the trial of medicine: the miracle-cure boast drains, while a measured claim that heals nothing it cannot measure passes  ·  tarot [8, 67, 8]  ·  `f4166913-cfd4…`
-- the trial of finance: the guaranteed-return boast drains, while the honest statement that no return is promised passes  ·  tarot [31, 74, 58]  ·  `48a33770-e902…`
-- the trial of computing: the quantum-advantage, thousands-of-magnitudes-speedup boast drains, while a classical, local, measured gain passes — the leap is counted, not conjured  ·  tarot [16, 25, 42]  ·  `97306f4f-9306…`
-
-## Arts & geometry — 38 computed
-
-- the triad {3,6,9} maps to the RGB primary hues: 0°(red), 120°(green), 240°(blue)  ·  tarot [19, 25, 64]  ·  `316f831d-95da…`
-- the nine a432 hues (digit×40°) are distinct and equally spaced around the wheel  ·  tarot [20, 44, 19]  ·  `7f22f5c0-f4bd…`
-- CMY are the 180° complements of RGB: each primary hue + 180° is a secondary hue  ·  tarot [53, 69, 32]  ·  `13b5af77-bfc6…`
-- the golden ratio (aesthetic proportion) satisfies φ² = φ + 1  ·  tarot [74, 4, 5]  ·  `48801162-b59d…`
-- "vortex" digital-roots to 5 — the heart digit (σ(5)=5)  ·  tarot [9, 74, 4]  ·  `63abfd7c-c91c…`
-- "trinity" digital-roots to 7 — the horizon digit  ·  tarot [72, 63, 67]  ·  `dce0ba69-7ba9…`
-- "merkaba", "pleme", "wave" share the letter-sum 51 (digital root 6)  ·  tarot [22, 33, 46]  ·  `b38c9c21-a8ac…`
-- "ceccec" and "harmony" share the digital root 4  ·  tarot [75, 18, 25]  ·  `cbd3ab4e-2f05…`
-- "singularity" and "horo" share the digital root 2  ·  tarot [59, 23, 55]  ·  `1c434409-549d…`
-- on the 9-hue wheel no hue has an exact complement (180° = 4.5 steps) — the odd base has no antipode  ·  tarot [24, 1, 5]  ·  `1656079f-c131…`
-- "nim" and "games" both digital-root to 9 — nim is a game  ·  tarot [31, 49, 64]  ·  `e935f43f-8872…`
-- the Nim theorists coincide: "bouton" and "sprague" share the letter-sum 87  ·  tarot [5, 2, 55]  ·  `34bbaaa2-e335…`
-- "catalan", "pascal", "hasse" share the letter-sum 52 (all digital-root 7)  ·  tarot [10, 39, 60]  ·  `d7265dff-3bf4…`
-- "cassini" and "pisano" both digital-root to 2 — the two Fibonacci-period theorems  ·  tarot [44, 6, 15]  ·  `3fda7026-d509…`
-- "farey" and "beatty" both digital-root to 1 — the golden-ratio pair  ·  tarot [66, 63, 75]  ·  `b05ef0a5-d593…`
-- every content-address maps to one of the 9 a432 hues (hex digital root × 40°) — the harmonic ledger  ·  tarot [21, 17, 18]  ·  `089d12f5-4e12…`
-- the harmonic hue is deterministic and reproducible: the same content-address always yields the same a432 digit  ·  tarot [26, 27, 18]  ·  `24aa4bf9-516c…`
-- the merkle root carries a harmonic a432 hue — one of the nine (hex digital root × 40°)  ·  tarot [44, 68, 26]  ·  `f302789e-a628…`
-- regular n-gon interior angle (n−2)·180/n: triangle 60°, pentagon 108°, octagon 135° (sides 3,5,8)  ·  tarot [1, 1, 61]  ·  `13cf8dfd-af21…`
-- the regular 3-, 5-, 8-gon has dihedral symmetry of order 2n: D₃=6, D₅=10, D₈=16  ·  tarot [42, 77, 40]  ·  `9fd2e0db-cb62…`
-- the pentagon's diagonal-to-side ratio is the golden ratio φ (2·cos36° = φ)  ·  tarot [26, 67, 10]  ·  `2baca20d-9c58…`
-- the exterior angles of any regular n-gon sum to 360° (sides 3, 5, 8)  ·  tarot [7, 31, 28]  ·  `ef35271f-c232…`
-- the octave is 2:1 (frequency doubling) — the vortex ×2 map is the octave  ·  tarot [17, 51, 13]  ·  `3ed5b445-4759…`
-- just intonation: the fifth 3:2, fourth 4:3, major third 5:4 — exact rationals  ·  tarot [66, 8, 70]  ·  `b62838b4-dbf4…`
-- the Pythagorean comma: 12 fifths ≠ 7 octaves — 3^12 = 531441 ≠ 2^19 = 524288  ·  tarot [45, 76, 31]  ·  `6cf3004c-0bb3…`
-- a432 Hz tuning is a convention, not a theorem; the ratios (2:1, 3:2, 5:4) are exact rationals — the boundary  ·  tarot [9, 30, 34]  ·  `d80f191a-d8c4…`
-- the harmonic series Σ 1/k diverges: H(2^k) ≥ 1 + k/2 grows without bound — the more terms, the more it grows (k≤12)  ·  tarot [54, 57, 10]  ·  `7f9249a7-092e…`
-- harmonic self-confirmation is perception, not proof, and cross-links run both ways: the harmonic pattern lets a recipient perceive fusion versus an intruder — a hue off the a432 lattice stands out — so one can self-confirm at a glance without decoding the encoding; this is a perceptual design metaphor, not a neurological or a health claim. Repo and site cross-link both ways, each fact content-addressed on both sides. Perception is not proof — the recomputation is. Decidable  ·  tarot [35, 48, 21]  ·  `ef9fdb90-3519…`
-- the geometric series in base 2: 1 + 2 + 2² + ... + 2ⁿ = (2ⁿ⁺¹ − 1)/(2 − 1) — the base-2 repunit-style sum. Verified exhaustively for n up to 12. Decidable  ·  tarot [60, 26, 46]  ·  `8f223f2c-229c…`
-- the geometric series in base 3: 1 + 3 + 3² + ... + 3ⁿ = (3ⁿ⁺¹ − 1)/(3 − 1) — the base-3 repunit-style sum. Verified exhaustively for n up to 12. Decidable  ·  tarot [16, 49, 73]  ·  `c9c46079-0cc7…`
-- the geometric series in base 4: 1 + 4 + 4² + ... + 4ⁿ = (4ⁿ⁺¹ − 1)/(4 − 1) — the base-4 repunit-style sum. Verified exhaustively for n up to 12. Decidable  ·  tarot [51, 22, 50]  ·  `8c5b55b4-4fb8…`
-- the geometric series in base 5: 1 + 5 + 5² + ... + 5ⁿ = (5ⁿ⁺¹ − 1)/(5 − 1) — the base-5 repunit-style sum. Verified exhaustively for n up to 12. Decidable  ·  tarot [9, 4, 6]  ·  `cdb348d6-55f2…`
-- the geometric series in base 6: 1 + 6 + 6² + ... + 6ⁿ = (6ⁿ⁺¹ − 1)/(6 − 1) — the base-6 repunit-style sum. Verified exhaustively for n up to 12. Decidable  ·  tarot [45, 5, 21]  ·  `85ef8eeb-0063…`
-- the geometric series in base 7: 1 + 7 + 7² + ... + 7ⁿ = (7ⁿ⁺¹ − 1)/(7 − 1) — the base-7 repunit-style sum. Verified exhaustively for n up to 12. Decidable  ·  tarot [10, 16, 61]  ·  `a22245d6-01c3…`
-- the geometric series in base 8: 1 + 8 + 8² + ... + 8ⁿ = (8ⁿ⁺¹ − 1)/(8 − 1) — the base-8 repunit-style sum. Verified exhaustively for n up to 12. Decidable  ·  tarot [21, 50, 4]  ·  `ef918a38-d5e8…`
-- the geometric series in base 9: 1 + 9 + 9² + ... + 9ⁿ = (9ⁿ⁺¹ − 1)/(9 − 1) — the base-9 repunit-style sum. Verified exhaustively for n up to 12. Decidable  ·  tarot [7, 60, 11]  ·  `7ec7295e-f59f…`
-- the geometric series in base 10: 1 + 10 + 10² + ... + 10ⁿ = (10ⁿ⁺¹ − 1)/(10 − 1) — the base-10 repunit-style sum. Verified exhaustively for n up to 12. Decidable  ·  tarot [64, 76, 34]  ·  `984a9c4c-396a…`
-- distinct harmonic sines are orthogonal over a period: ∫₀^{2π} sin(mx)·sin(nx) dx = 0 for m ≠ n — why waves of different harmonics do not interfere on average  ·  tarot [29, 27, 65]  ·  `0d37c981-4913…`
-
-Page content-address: `ec1d5245-076b-8c3d-a351-b86b7d4ff2f8`.
-
-**Honest bound.** This page presents the *computed structure* — the pentagon, the games, the arts — each a decidable fact re-verified every build. It does not explain life or consciousness; the meaning is the observer's to bring. Geometry, not a claim about being.

package/PHYSICS-SCALES.md

@@ -1,80 +0,0 @@
----
-title: Physics scales
----
-
-# Physics scales: shell-model magic numbers, matter-as-waves, and where A432 sits
-
-Companion to `SEQUENCE-DECODE.md`. Every value here is computed; reproduce with
-`node shell-model-magic.ts` and `node frequency-scales.ts`. The animation of the
-merkaba → Flower → Fruit → Metatron construction is `merkaba-flower.html`.
-
-## 1. The nuclear magic numbers come from the shell model
-
-Filling nucleons into 3D-harmonic-oscillator levels split by spin-orbit coupling
-(level capacity `2j+1`), the cumulative count lands exactly on every magic number:
-
-```
-1s½ →2★   1p³⁄₂→6   1p½→8★   1d⁵⁄₂→14  2s½→16  1d³⁄₂→20★
-1f⁷⁄₂→28★ (spin-orbit intruder)
-2p³⁄₂→32  1f⁵⁄₂→38  2p½→40   1g⁹⁄₂→50★ (intruder)
-1g⁷⁄₂→58  2d⁵⁄₂→64  2d³⁄₂→68  3s½→70   1h¹¹⁄₂→82★ (intruder)
-1h⁹⁄₂→92  2f⁷⁄₂→100 2f⁵⁄₂→106 3p³⁄₂→110 3p½→112  1i¹³⁄₂→126★ (intruder)
-```
-
-`2, 8, 20, 28, 50, 82, 126` — all seven. Two ingredients: the oscillator (gives
-2, 8, 20) and spin-orbit coupling (the high-`j` intruders `1f⁷⁄₂, 1g⁹⁄₂, 1h¹¹⁄₂,
-1i¹³⁄₂` producing 28, 50, 82, 126). Goeppert-Mayer & Jensen, Nobel Prize 1963.
-
-- Plain harmonic oscillator (no spin-orbit): `2, 8, 20, 40, 70, 112`.
-- Observed (with spin-orbit): `2, 8, 20, 28, 50, 82, 126`.
-- They agree only for `2, 8, 20`; spin-orbit then replaces `40, 70, 112`.
-
-## 2. The 5-arithmetic ladder vs the magic numbers
-
-`5+5 = 10`, and `10·2^k = 10, 20, 40, 80, 160, …` is the ×2 doubling / octave
-ladder (the same `⟨2⟩` circuit as in `SEQUENCE-DECODE.md`, seeded at 10).
-(Arithmetic note: `2·2·2·2·(5+5) = 160`, not 80; `80 = 2·2·2·(5+5)`.)
-
-- ladder ∩ oscillator closures `{2,8,20,40,70,112}` = `{20, 40}`.
-- ladder ∩ observed magic `{2,8,20,28,50,82,126}` = `{20}`.
-- The ladder misses `2, 8, 28, 50, 82, 126` and includes non-magic `10, 80, 160`.
-
-So the ladder brushes the oscillator closures at 20 and 40 by sharing small
-factors of 2; it does not reproduce the magic-number sequence, which requires
-spin-orbit coupling. Coincidence, not derivation.
-
-## 3. Matter is wave phenomena — and the waves have scales
-
-Bound matter is standing waves (orbitals, nuclear shells are de Broglie
-standing waves; a bound nucleon's wavelength ≈ 5 fm fits a few-fm nucleus).
-Particles are field excitations (QFT); ~99% of a proton's mass is gluon-field
-energy, not quark rest mass. Cancellation builds structure (nodes; the merkaba
-field-null on the 3-6-9 axis in `MERKABA-FIELD` is a real destructive-interference
-null).
-
-Following the wave, each system's frequency is `f = E/h`:
-
-| wave that forms… | energy | frequency |
-|---|---|---|
-| a 432 Hz tone | 1.79×10⁻¹² eV | 4.3×10² Hz |
-| visible light | ~2 eV | 4.8×10¹⁴ Hz |
-| a chemical bond | ~10 eV | 2.4×10¹⁵ Hz |
-| a nuclear shell | ~3 MeV | 7×10²⁰ Hz |
-| a proton | 938 MeV | 2.3×10²³ Hz |
-
-The waves that form a nucleus ring at `~10²⁰–10²³ Hz`. Ratios to 432 Hz:
-nuclear shell ≈ `10¹⁸`; proton ≈ `10²¹`.
-
-## 4. Scope / boundary
-
-- The shell-model derivation (§1) is exact, standard physics and is complete —
-  the magic numbers need no external energy source.
-- `E = hf` and `c = λf` assign each system its own frequency; frequency is a
-  universal quantity but frequencies are not interchangeable. 432 Hz is the
-  acoustic scale (~10² Hz); nuclear structure is ~10²⁰–10²³ Hz — a gap of
-  ~18–21 orders of magnitude, with no coupling mechanism between an audio pitch
-  and the strong-force spin-orbit term (whose origin is the operator `l·s`, not a
-  frequency).
-- The ℤ/9 vortex arithmetic and the merkaba/cube geometry (`SEQUENCE-DECODE.md`)
-  are exact; the A432 tuning is real acoustics (`A432-RESEARCH` in the
-  `ceccec.github.io` repo).

package/PRIOR-ART.md

@@ -1,151 +0,0 @@
----
-title: Prior art
-description: What this deposit restates from named earlier work, what it claims as its own, and why claiming is not the same as establishing novelty.
-head:
-  - ['meta', { name: 'robots', content: 'index, follow' }]
----
-# Prior art — what is restated, what is claimed, and the difference
-
-Of 735 machine-checked declarations, **726** restate work that already has an author and
-**9** are about this deposit's own construction. Each source file declares which it is, in its own
-frontmatter; [`src/proof/priorart.lean`](https://github.com/ceccec/millennium-solutions/blob/main/src/proof/priorart.lean)
-holds the same partition as a table the kernel decides over, and the build fails if the two disagree.
-
-## What is claimed
-
-**Priority, which is evidenced.** A dated, content-addressed publication: the DOI fixes the date, the
-append-only receipt chain fixes which statement was published, and anyone can recompute either. Priority says
-*this was published, in this form, by this date*.
-
-**Not novelty, which is not.** Nothing here can decide that no earlier work states a result — a kernel decides
-propositions over finite domains, it does not search the literature. `noveltyEstablished = 0` is a theorem in
-`priorart.lean` for the same reason `provenHere = 0` is one: the boundary is checked on every run rather
-than remembered. **No prior art known to the author** is a fact about the author. **No prior art exists** is a
-fact about the world, and this deposit does not assert it.
-
-### The partition, which must be read as three numbers and never as one
-
-| | theorems |
-|---|---|
-| attributed to named earlier work | **726** |
-| unclassified — no search performed, status unknown | **9** |
-| claimed as novel | **0** |
-
-**Zero claims is not full attribution.** Stated alone, "this deposit claims no novelty" reads as a concession
-that everything here already has an author. It is not that. **9** theorems have had no prior-art
-search at all, so their status is unknown rather than conceded — and of the 25 distinct years the
-attributions carry, **23** predate the DOI system (2000); the earliest is 628. "Every
-theorem has registered prior art" is therefore not merely unproven here, it is impossible. The zero has exactly one meaning: **nobody has
-looked.** It is a statement about work not done, not about work found.
-
-`zero_claims_is_not_full_attribution` decides those two facts together in the kernel, so the count and its
-caveat cannot be separated by an edit.
-
-A source may claim novelty only if it names a prior-art search that was actually performed — what was
-searched, where, and when. An earlier version of this page claimed novelty for 1 sources and
-9 theorems on the strength of their own self-description, with nobody having looked. Asserting
-that nothing earlier exists because no one went to check is the same defect as asserting a proof because no
-one went to read it.
-
-## Restated from named earlier work — 32 sources, 726 theorems
-
-No novelty is claimed over any of these. What is done here is to decide each over a stated finite domain,
-which is a contribution of verification, not of discovery.
-
-<table><thead><tr><th>source</th><th>theorems</th><th>domain</th><th>whose work</th></tr></thead><tbody>
-<tr><td><code>address.lean</code></td><td>23</td><td>content addressing</td><td>composes FNV-1a (Fowler, Noll, Vo, 1991) with the Merkle hash tree (Merkle, 1979)</td></tr>
-<tr><td><code>coin.lean</code></td><td>12</td><td>the method of complements</td><td>the reflection d ↦ 10 − d is the TEN'S COMPLEMENT, and its sibling 9 − d the nines' complement — the method of complements, used to turn subtraction into addition in Pascal's calculator (1642), the Comptometer and the Curta, and in modern computer arithmetic. That it is an involution with a single fixed point is the property those machines rely on. Searched 2026-09-04, term "method of complements / nines' complement / ten's complement"; prior art found and credited</td></tr>
-<tr><td><code>demand.lean</code></td><td>9</td><td>elementary number theory</td><td>the named results the search data asks for — Bézout’s identity (Étienne Bézout, 1779; Bachet, 1624), the Chinese remainder theorem (Sunzi, c. 3rd–5th century), and others named in their theorems</td></tr>
-<tr><td><code>demand2.lean</code></td><td>11</td><td>elementary number theory, second tier</td><td>Wilson’s theorem — John Wilson; first proved by Joseph-Louis Lagrange, 1771; the Catalan conjecture on consecutive perfect powers — Eugène Catalan, 1844; proved by Preda Mihăilescu, 2002</td></tr>
-<tr><td><code>demand3.lean</code></td><td>15</td><td>elementary number theory, named results</td><td>Legendre’s three-square theorem — Adrien-Marie Legendre, 1797; Carmichael numbers — Robert Carmichael, 1910; amicable pairs — known to antiquity</td></tr>
-<tr><td><code>elementary.lean</code></td><td>37</td><td>elementary number theory and combinatorial game theory</td><td>Euclid (Elements IX.36) and Euler for the even perfect numbers; the amicable pair</td></tr>
-<tr><td><code>energy.lean</code></td><td>22</td><td>electrochemistry and combustion</td><td>the laws of electrolysis — Michael Faraday, 1834; the enthalpy of combustion of hydrogen, standard physical chemistry</td></tr>
-<tr><td><code>families.lean</code></td><td>55</td><td>modular arithmetic, quantified</td><td>quantifies the ℤ/9 arithmetic above; the underlying results are Fermat’s, Euler’s and Gauss’s</td></tr>
-<tr><td><code>flow.lean</code></td><td>3</td><td>elementary number theory — the multiplicative order of 2 modulo 9</td><td>2⁶ = 64 ≡ 1 (mod 9), so the powers of two modulo 9 repeat with period six — Euler's</td></tr>
-<tr><td><code>fnv.lean</code></td><td>14</td><td>non-cryptographic hashing</td><td>FNV-1a — Glenn Fowler, Landon Curt Noll and Phong Vo, 1991</td></tr>
-<tr><td><code>generated.lean</code></td><td>13</td><td>elementary number theory — the unit group of ℤ/9 and the doubling orbit</td><td>the structure underneath is standard and is credited. The doubling orbit</td></tr>
-<tr><td><code>imagined.lean</code></td><td>118</td><td>elementary number theory — the unit group of Z/9</td><td>the doubling orbit 1,2,4,8,7,5 is the cyclic group U(9), which is cyclic of order 6 generated by 2, with units {1,2,4,5,7,8} = φ(9); 2 and 5 are its only generators. Standard elementary number theory, in Gauss and in every abstract-algebra text. The closure statements quantify that structure. Searched 2026-09-04, term "multiplicative group of units mod 9 cyclic order 6 generated by 2"; prior art found and credited</td></tr>
-<tr><td><code>index.lean</code></td><td>11</td><td>elementary number theory — the unit group of ℤ/9 and the doubling orbit</td><td>the structure underneath is standard and is credited. The doubling orbit</td></tr>
-<tr><td><code>involution.lean</code></td><td>8</td><td>elementary group theory — orbit decomposition of an order-two permutation</td><td>that a permutation of order two decomposes a finite set into fixed points and</td></tr>
-<tr><td><code>ledgerclaims.lean</code></td><td>8</td><td>hash trees and membership proofs</td><td>`membership_grows_by_one_seal_per_doubling` and `membership_is_logarithmic_not_linear`</td></tr>
-<tr><td><code>light.lean</code></td><td>14</td><td>metrology — the International System of Units</td><td>the exact numerical values below are DEFINITIONS adopted by the Conférence Générale des</td></tr>
-<tr><td><code>mechanical.lean</code></td><td>119</td><td>Boolean algebra and elementary modular arithmetic</td><td>the Boolean rows are De Morgan's laws — Augustus De Morgan, 1847 — written in the arithmetic of {0,1}; the group rows are the additive group of Z/9. Both long prior. Searched 2026-09-04, terms "De Morgan's laws boolean algebra" and "additive group mod 9"; prior art found and credited</td></tr>
-<tr><td><code>merkaba.lean</code></td><td>8</td><td>elementary group theory — subgroups and cosets of Z/9</td><td>the partition into {3,6,9} and two three-element classes closed under doubling is the subgroup and coset structure of Z/9 under the action of U(9); Lagrange. One theorem already credits Euler for the polyhedron formula. Searched 2026-09-04; prior art found and credited</td></tr>
-<tr><td><code>merkle.lean</code></td><td>12</td><td>hash trees and membership proofs</td><td>the hash tree — Ralph Merkle, 1979 (thesis); CRYPTO 1987</td></tr>
-<tr><td><code>nim.lean</code></td><td>25</td><td>combinatorial game theory</td><td>Nim — Charles L. Bouton, 1901; the Sprague–Grundy theorem — Roland Sprague, 1935 and Patrick M. Grundy, 1939</td></tr>
-<tr><td><code>phenomena.lean</code></td><td>4</td><td>metrology and classical physical chemistry</td><td>the SI base quantities and their defining constants are definitions of the Conférence</td></tr>
-<tr><td><code>quantum.lean</code></td><td>12</td><td>canonical forms and order-invariant commitments</td><td>sorting a multiset into a canonical order BEFORE folding it is standard practice, not a</td></tr>
-<tr><td><code>reach.lean</code></td><td>8</td><td>elementary set theory — the naturals are not exhausted by any finite list</td><td>that no finite set contains every natural number is Euclid's argument in form and is as</td></tr>
-<tr><td><code>recovered.lean</code></td><td>15</td><td>elementary number theory — the unit group of ℤ/9</td><td>every fact here is standard: the units of ℤ/9 are {1,2,4,5,7,8}, their product is −1</td></tr>
-<tr><td><code>reversal.lean</code></td><td>15</td><td>elementary arithmetic</td><td>digit reversal and digit sums; casting out nines, in use by the 12th century</td></tr>
-<tr><td><code>rights.lean</code></td><td>9</td><td>copyright law — rights arising without formality</td><td>this file already NAMED its prior art in prose while the attribution table recorded none.</td></tr>
-<tr><td><code>sequences.lean</code></td><td>22</td><td>integer sequences and identities</td><td>Cassini’s identity — G. D. Cassini, 1680; Lucas sequences — Édouard Lucas, 1878; the Brahmagupta–Fibonacci identity — Brahmagupta, 628; Pascal’s triangle mod 2 — Blaise Pascal, 1654</td></tr>
-<tr><td><code>speed.lean</code></td><td>11</td><td>hash trees and membership proofs</td><td>the structural claim is Merkle's and is credited here as merkle.lean already credits it:</td></tr>
-<tr><td><code>split.lean</code></td><td>20</td><td>elementary number theory — the unit group of ℤ/9</td><td>the classification this file rests on is standard and is credited: the units of ℤ/9 are</td></tr>
-<tr><td><code>theorems.lean</code></td><td>8</td><td>the method of complements</td><td>the universal reflection here is the same ten's complement d ↦ 10 − d as coin.lean, with its centre and its pairs summing to ten. Method of complements, long prior to this deposit. Searched 2026-09-04</td></tr>
-<tr><td><code>z9.lean</code></td><td>22</td><td>modular arithmetic</td><td>Fermat’s little theorem — Pierre de Fermat, 1640; Euler’s theorem — Leonhard Euler, 1763; primitive roots — Carl Friedrich Gauss, 1801</td></tr>
-<tr><td><code>z9plus.lean</code></td><td>43</td><td>modular arithmetic and periodicity</td><td>digital roots (casting out nines) — in use by the 12th century; the Pisano period — after Leonardo Pisano; studied by Joseph-Louis Lagrange, 1774</td></tr>
-</tbody></table>
-
-### The domains this touches
-
-- **Boolean algebra and elementary modular arithmetic** — 119 theorems, in `mechanical.lean`
-- **canonical forms and order-invariant commitments** — 12 theorems, in `quantum.lean`
-- **combinatorial game theory** — 25 theorems, in `nim.lean`
-- **content addressing** — 23 theorems, in `address.lean`
-- **copyright law — rights arising without formality** — 9 theorems, in `rights.lean`
-- **electrochemistry and combustion** — 22 theorems, in `energy.lean`
-- **elementary arithmetic** — 15 theorems, in `reversal.lean`
-- **elementary group theory — orbit decomposition of an order-two permutation** — 8 theorems, in `involution.lean`
-- **elementary group theory — subgroups and cosets of Z/9** — 8 theorems, in `merkaba.lean`
-- **elementary number theory** — 9 theorems, in `demand.lean`
-- **elementary number theory and combinatorial game theory** — 37 theorems, in `elementary.lean`
-- **elementary number theory — the multiplicative order of 2 modulo 9** — 3 theorems, in `flow.lean`
-- **elementary number theory — the unit group of Z/9** — 118 theorems, in `imagined.lean`
-- **elementary number theory — the unit group of ℤ/9** — 35 theorems, in `recovered.lean`, `split.lean`
-- **elementary number theory — the unit group of ℤ/9 and the doubling orbit** — 24 theorems, in `generated.lean`, `index.lean`
-- **elementary number theory, named results** — 15 theorems, in `demand3.lean`
-- **elementary number theory, second tier** — 11 theorems, in `demand2.lean`
-- **elementary set theory — the naturals are not exhausted by any finite list** — 8 theorems, in `reach.lean`
-- **hash trees and membership proofs** — 31 theorems, in `ledgerclaims.lean`, `merkle.lean`, `speed.lean`
-- **integer sequences and identities** — 22 theorems, in `sequences.lean`
-- **metrology and classical physical chemistry** — 4 theorems, in `phenomena.lean`
-- **metrology — the International System of Units** — 14 theorems, in `light.lean`
-- **modular arithmetic** — 22 theorems, in `z9.lean`
-- **modular arithmetic and periodicity** — 43 theorems, in `z9plus.lean`
-- **modular arithmetic, quantified** — 55 theorems, in `families.lean`
-- **non-cryptographic hashing** — 14 theorems, in `fnv.lean`
-- **the method of complements** — 20 theorems, in `coin.lean`, `theorems.lean`
-
-Each is a field with an existing literature, and each is where this deposit's contribution actually sits: not
-a new result, but an exhaustive machine-checked decision of a known one over a **stated finite domain**. That
-is worth saying precisely, because it is both smaller than a discovery claim and more checkable than one.
-
-Author and year are given rather than a resolver identifier. Asserting a DOI for someone else's paper without
-verifying it would be a fabricated citation, and this is the worst document in the deposit to put one in.
-
-## This deposit's own construction — 1 sources, 9 theorems, none claimed
-
-The ℤ/9 vortex framework, its ledger, its receipts, and the enumeration its own generators proposed. These are
-**unclassified**: no prior-art search has been performed for them, so nothing is claimed about them either
-way. They are listed because a reader deserves to know which parts of the deposit are its own construction —
-not as an assertion that no one has been here before.
-
-To move a source out of this table, add `-- prior_art_search:` to it naming the search performed; the build
-refuses a `none-known` declaration that does not carry one.
-
-<table><thead><tr><th>source</th><th>theorems</th><th>note</th></tr></thead><tbody>
-<tr><td><code>priorart.lean</code></td><td>9</td><td>THE PRACTICE IS PRIOR ART AND IS CREDITED. Recording provenance and attribution per</td></tr>
-</tbody></table>
-
-## Defensive publication
-
-These are decidable mathematical facts, and mathematical methods as such are excluded subject matter under
-EPC Art. 52(2)(a) — see [Rights](/rights). Publishing them openly and with a date is **defensive publication**:
-it keeps them available to everyone rather than granting anyone a monopoly. That is the purpose of the
-priority claim above, and it is the whole of it.
-
----
-
-Partition seal `f7459fd7-4ea0-89f7-9684-c7cf5a1f120b` · recompute with `node scripts/priorart.ts` · the kernel re-decides
-`priorart.lean` on every run. A content-address proves integrity, not truth.

package/PROOF-OF-CONCEPT.md

@@ -1,81 +0,0 @@
----
-title: Proof of Concept
----
-
-# Proof of Concept — the ℤ/9 vortex framework
-
-A recomputable proof of concept: every result below derives from code in the
-digit-folder mesh under `src/`. Each `.ts` runs with `node`; each `.lean`
-is written for `lake` + Mathlib (`decide`/`norm_num`). Results are stated as
-computed; interpretation is the reader's.
-
-## Digit-folder mesh
-
-| digit | files | what sticks | bond `10−d` |
-|---|---|---|---|
-| 1 | `vortex.lean` | unity, self-inverse | 9 |
-| 2 | `vortex.lean`, `frequency-scales.ts` | generator ⟨2⟩; octave = ×2 | 8 |
-| 3 | `vortex.lean` | `3²=0` nilpotent, no inverse | 7 |
-| 4 | `vortex.lean` | `4⁻¹=7` | 6 |
-| 5 | `vortex.lean`, `reflection.{lean,mjs}` | reflection center; `5⁻¹=2`; self-seal | 5 |
-| 6 | `vortex.lean` | `6²=0` nilpotent, no inverse | 4 |
-| 7 | `vortex.lean`, `rosetta-clay.ts` | `7⁻¹=4`; the rosette ↔ the seven Clay problems | 3 |
-| 8 | `vortex.lean`, `merkaba/…`, `nucleus/…` | `8·8=1`; merkaba/cube; nucleus | 2 |
-| 9 | `vortex.lean` | `9≡0` void; digit-sum 27; 432 | 1 |
-
-## Computed results (as run)
-
-**ℤ/9 structure** (`src/{1..9}/vortex.lean`)
-- nilradical: `3² ≡ 6² ≡ 0 (mod 9)`; `3,6,9` have no inverse.
-- units `(ℤ/9)* = {1,2,4,5,7,8}`: `2⁻¹=5`, `4⁻¹=7`, `1,8` self-inverse.
-- doubling circuit `⟨2⟩ = [1,2,4,8,7,5]`, order 6; never touches the axis.
-
-**Reflection** (`src/5/reflection.*`)
-- seq2 `= 0 9 8 6 2 3 5 7 4 1 0 9` is the exact `10−d` mirror of seq1.
-- `\ ↔ /` stroke inversion: **8/11**; non-inverting = the void seam `0\1, 9/0, 0\1`.
-- `10−d` is an involution; `5` is its unique fixed digit.
-
-**432 / harmonics** (`src/9/vortex.lean`, `src/5/vortex.lean`)
-- `432 = 2⁴·3³ = 16·27`; doubling digit-sum `= 27 = 3³`.
-- self-sealing fraction product `(1/2)(1/2)(1/2)(8/7)(7/5)(5/3)(1/2)(2/3)(9) = 1`.
-
-**Geometry** (`src/8/merkaba/merkaba-flower.html`, live artifact)
-- cube down its `(1,1,1)` axis → regular hexagon (6 outer at equal radius, 60° apart; 2 on-axis) → Seed → Flower → Fruit (13) → Metatron.
-
-**Magnetic field** (`src/8/nucleus/…`, Biot–Savart)
-- counter-rotating merkaba coils: central axis `|B| ≈ 10⁻¹⁷ µT` (null); co-rotating: `0.189 µT` (max). scale check `μ₀I/2r = 2.09 µT`.
-
-**Nuclear shell model** (`src/8/nucleus/shell-model-magic.ts`, `magic.lean`)
-- cumulative capacities `2j+1` = `2, 8, 20, 28, 50, 82, 126`; total 126.
-- plain oscillator = `2,8,20,40,70,112`; spin-orbit gives 28,50,82,126.
-- `10·2^k` ladder (10,20,40,80…) ∩ magic = `{20}` only.
-
-**Frequency scales** (`src/2/frequency-scales.ts`)
-- `f = E/h`: 432 Hz → `4.3×10²`; nuclear shell → `7×10²⁰`; proton → `2.3×10²³`.
-- proton/432 ratio ≈ `10²¹`. bound-nucleon de Broglie λ ≈ 5.22 fm.
-
-**Proton mass** (`src/8/nucleus/proton-mass-fit.ts`, `proton-mass.lean`)
-- vortex fit `108·17 = 1836` (exact); measured `m_p/m_e = 1836.15267343`.
-- `1836 ≠ 1836.1527`; the same `1836` fits arbitrary nearby targets.
-
-
-## Lean coverage
-Per-digit theorems in `src/{1..9}/vortex.lean`, plus `src/5/reflection.lean`,
-`src/8/nucleus/magic.lean`, `src/8/nucleus/proton-mass.lean`. All are decidable
-(`decide`) or numeric (`norm_num`). Not compiled here (no toolchain in repo).
-
-## Reproduce
-```bash
-node src/5/reflection.ts
-node src/8/nucleus/shell-model-magic.ts
-node src/8/nucleus/proton-mass-fit.ts
-node src/2/frequency-scales.ts
-# Lean: lake + Mathlib, then `lake build` over src/**/*.lean
-```
-
-## Status (computed, not interpreted)
-- ℤ/9 arithmetic, reflections, 432 factorization, geometry, self-seal: exact, reproducible.
-- shell-model magic numbers: reproduced exactly (2,8,20,28,50,82,126).
-- proton `m_p/m_e`: measured `1836.1527`; vortex integer fit `1836`.
-Companion docs: `SEQUENCE-DECODE.md` (ℤ/9 structure), `PHYSICS-SCALES.md`
-(shell model, frequency scales).

package/REALISATIONS.md

@@ -1,87 +0,0 @@
----
-title: Realisations
----
-
-# Realisations — the step chain
-
-Each step: the realisation, the file that computes/proves it, and the result.
-Everything recomputes from the digit-folder mesh; see [Compute](/compute).
-
-## 1 — Division by zero changes the domain
-`n/0 := n⁻¹ (mod 9)` on the units; `0` still has no inverse. Any value for `x/0`
-requires leaving the field (Riemann sphere, wheel, ℤ/9…), each dropping an axiom.
-→ `src/9/vortex.lean`, `SEQUENCE-DECODE.md §2`.
-
-## 2 — The sequence reflects itself (three ways)
-Self-sealing fraction product `= 1`; additive `m(d)=10−d`; multiplicative `n↔n⁻¹`.
-→ `src/5/vortex.lean` (`self_seal`), `SEQUENCE-DECODE.md §3`.
-
-## 3 — Gateways `[8,3,9,0]`
-The stroke-reversal digits of the cyclic walk.
-→ `SEQUENCE-DECODE.md §4`.
-
-## 4 — Ring structure: units vs nilradical
-`3² ≡ 6² ≡ 0 (mod 9)` → `{3,6,9}` is the nilradical (no inverse); units `⟨2⟩`
-are the doubling hexagon; `432 = 2⁴·3³ = 16·27`, digit-sum `27`.
-→ `src/{1..9}/vortex.lean`, `SEQUENCE-DECODE.md §5`.
-
-## 5 — Nonagon geometry
-Three mod-3 cosets = three equilateral triangles; two counter-rotating flows.
-→ `SEQUENCE-DECODE.md §6`.
-
-## 6 — Inter-ring lattice
-Ten's-complement bonds `d ↔ 10−d` (sum 10 = carry); trinity = 3 outbound legs.
-→ `src/5/reflection.lean`, `SEQUENCE-DECODE.md §7`.
-
-## 7 — Merkaba = cube (the "8")
-A star tetrahedron's 8 vertices are a cube; the trinity-bond lattice is the cube
-graph Q₃ (8 nodes, 3-regular, bipartite).
-→ `PHYSICS-SCALES`, animation (published artifact).
-
-## 8 — Magnetic field of the merkaba coils
-Biot–Savart: counter-rotating triangles → central-axis field **null**;
-co-rotating → central **max**. (real EM of a coil geometry.)
-→ computed; scale check `μ₀I/2r = 2.09 µT`.
-
-## 9 — Flower → Fruit → Metatron
-A cube down its 3-fold axis **is** a hexagon → Seed (6+1) → Flower (19) →
-Fruit (13) → Metatron (78 lines). Verified projection.
-→ animation.
-
-## 10 — 5 is the center
-`5 = 2⁻¹`, primitive root, the `10−d` fixed digit; the still self-inverse pivot.
-→ `src/5/vortex.lean`.
-
-## 11 — Shell-model magic numbers
-`2, 8, 20, 28, 50, 82, 126` = cumulative `2j+1` (oscillator + spin-orbit).
-The `10·2^k` ladder hits only the oscillator closures `20, 40`.
-→ `src/8/nucleus/{shell-model-magic.ts, magic.lean}`.
-
-## 12 — Matter is waves — and waves have scales
-`f = E/h`: 432 Hz → `10²`; nuclear shell → `10²⁰`; proton → `10²³`. Bound-nucleon
-de Broglie λ ≈ 5.22 fm (the standing wave). 432 is the acoustic note, not the nuclear one.
-→ `src/2/frequency-scales.ts`, `PHYSICS-SCALES`.
-
-## 13 — Proton mass challenge
-Best vortex fit `108·17 = 1836` (err 8×10⁻³ %); measured `1836.15267343`.
-`1836 ≠ 1836.1527`; the same 1836 fits any nearby target → curve-fit, not prediction.
-→ `src/8/nucleus/{proton-mass-fit.ts, proton-mass.lean}`.
-
-## 14 — Whole vs continuous
-Nature is whole in the **quantum numbers** (n, magic numbers, octaves); the
-**scales** (masses, α) are continuous, measured non-integer to 11 digits.
-→ `PHYSICS-SCALES`.
-
-## 15 — Reflection: possibility ⇄ impossibility
-`10−d` mirror inverts the `\`/`/` strokes on **8/11** transitions; the non-inverting
-three are the void seam `0/9` (no inverse → fixed axis).
-→ `src/5/reflection.{ts,lean}`.
-
-## 16 — Pliska rosette = the vortex group
-`(ℤ/7)* ≅ C₆ ≅ (ℤ/9)*`; ray-generator `3 (mod 7)` ↔ `2 (mod 9)`.
-→ `src/7/rosetta.{ts,lean}`.
-
-## 17 — Rosette ⊕ Clay fusion
-Both are `7 = 6 + 1`: six units + center ↔ six open problems + Poincaré. A
-bijection of two 7-sets.
-→ `src/7/rosetta-clay.ts`.