Double Torus751 proven theorems you can check yourself
Each is a printable scientific paper, computed from one open source — no trust required, every number derived, every claim honestly demarcated. Organised by the rosetta into 6 rays.
Each is a printable scientific paper, computed from one open source — no trust required, every number derived, every claim honestly demarcated. Organised by the rosetta into 6 rays.
Scientific paper· portal
Abstract. The double-torus vortex algebra of the sequence 12487536901, with the Clay Millennium problems as proof of concept. Every claim recomputes from src/0.
Keywords. portal · home · double torus · en · knowledge
Sections. 1. Introduction · 2. Model · 3. Results · 4. Sitemap · 5. Reproducibility · 6. Limitations · References · Receipt
One sequence, one involution — every line below recomputes from src/0. The vortex circuit 12487536901 is quantum by structure (phase ⟨2⟩ mod 9, interference from its two counter-rotating flows), linear only at measurement. Reflection through 0, m(d) = 10 − d, generates the whole chain:
12487536901 is 11 digits × 4 bits = 44; folding erases 2 at the gateway fixed points {0,5}; 44 − 2 = 42 = 7 × 6 = 42 rosetta areas — sequenceBitBudget().is42 = true.equilibrium360().conserved = true.dimensionalBit().is128 = true.clayReflection().reflectsDimensionalBit = true. Exactly one Clay problem is solved; the count matches the record.primeCountUpTo(nthPrimeAt(n)) = n (true), and x/x = 1 invariant at every dimension while 1/ε → ∞ opens the infinite. No literal, no assumption that breaks under a change of dimension.A science portal: 751 registered theorems, 745 of them carrying an executable proof at a sealed home (6 still pending, named in the registry and checked by verify:theorems), 30 science pages, 6 rosetta rays. Every value is a content address; every page, proof and animation derives from one source (src/); nothing needs a token to run.
zeropointNodeMissingInfoDecoded).everyDigitIsEntangledInAllVectorsFormingEquilibriums)./, Latin /en/, Cyrillic /bg/) are computed by math, not copied; visitors are routed to their language, default English./papers/<id>, /references/<id>, /diamonds/<id> — each item a real page via the VitePress [id] dynamic route (paths enumerated from one source: paperRoutes/paperReferenceRoutes/diamondRoutes); the index list stays at /papers.@ceccec/double-torus — the same src/, bundled, depends on nothing, runs in any browser or Node.blochQubit); the Quantum OS allocates 2ⁿ-amplitude registers, schedules gates, and measures (Born rule, seeded PRNG); entanglement (Bell/GHZ) lives on the true 2ⁿ tensor product, never faked with linear UUID stacking; and the realtime movie is its proof artifact. QPU ≡ CPU ∪ GPU on classical-64bit (qpuCpuGpu · npm run quantum:qpu-cpu · quantum-tools#qpu-cpu) — faithful simulator; physical = wall-clock reuse metrics (see section below).Forward 1\2\4\8/7/5 · 3\6\9 · 0\1 · reflected 9/8/6/2\3\5 · 7/4/1 · 0\9 — one structure, two computed reads: the mirror is m(d) = 10 − d (≡ 1 − d mod 9, fixed only at 5), the commutator of doubling with the mirror is the unit shift x ↦ x+1, and together they generate AGL(1, ℤ/9) of order 54 — every digit in ONE orbit, entangled in all vectors, the equilibriums (10-pairs · 9-pairs · 6+3 partition · 90-palindrome · root 9) conserved.
| digit | slot | angle | flow 60° | strokes | gateway | mirror | polar | sound (Hz) | light (octave bridge) |
|---|---|---|---|---|---|---|---|---|---|
| 1 | 0 | 0° | 0° | \\ | 1+9=10 | 1+8=9 | 48 | 422.2 THz · 710 nm · red | |
| 2 | 1 | 36° | 60° | \\ | 2+8=10 | 2+7=9 | 96 | 422.2 THz · 710 nm · red | |
| 4 | 2 | 72° | 120° | \\ | 4+6=10 | 4+5=9 | 192 | 422.2 THz · 710 nm · red | |
| 8 | 3 | 108° | 180° | \/ | ✓ | 8+2=10 | 1+8=9 | 384 | 422.2 THz · 710 nm · red |
| 7 | 4 | 144° | 240° | // | 7+3=10 | 2+7=9 | 336 | 738.9 THz · 406 nm · violet | |
| 5 | 5 | 180° | 300° | // | 5+5=10 | 4+5=9 | 240 | 527.8 THz · 568 nm · yellow | |
| 3 | 6 | 216° | — | /\ | ✓ | 3+7=10 | 3·6 polarity | 144 | 633.3 THz · 473 nm · blue |
| 6 | 7 | 252° | — | \\ | 6+4=10 | 3·6 polarity | 288 | 633.3 THz · 473 nm · blue | |
| 9 | 8 | 288° | — | \/ | ✓ | 9+1=10 | origin | 432 | 475 THz · 631 nm · red |
| 0 | 9 | 324° | — | /\ | ✓ | — | void | — | silence — the void carries no tone |
The sequence, scientifically described — 6/6: ten digits on a 360° ring (36° per slot, the flow on its 60° hexagon), polarities computed from strokes (6 ascents · 4 descents · 4 gateways), sound as the d/9 ladder of the 432 Hz anchor, color via the sealed octave bridge, and the reflection/group/entanglement folds joined — every cell computed, nothing typed twice.
The circuit's law is piecewise — geometric ×2 on the unit segment, arithmetic +3 on the non-unit segment, coinciding only at d = 3; exactly 2 seams (5→3 and 9→0→1) where neither law carries, seated at the two involution centers (5 = fix σ, 9 ≡ 0 = fix ν): seams = −χ = 2.
Boundary. EXACT — every table cell derives: ANGLES CLOSE THE CIRCLE — ten slots × 36° = 360° exactly (true), and the ⟨2⟩ flow sits on its own hexagon at 60° per doubling (the vortex quantum of angle, sixtyDegreesDecodesPi) · POLARITIES BALANCE — six ascents against four descents with exactly the four computed gateways carrying the reversals (true); every digit's in/out stroke pair is computed from the tour, never assigned · SOUND IS THE d/9 LADDER OF THE ANCHOR — f_d = 432·d/9 = 48·d Hz with the anchor exact at d = 9 (true); the void 0 carries silence, stated not painted · COLOR IS THE SEALED OCTAVE BRIDGE — each tone doubles into the visible band via frequencyToLight (THz · nm · band), the same derivation that computes the brand hue A432_HUE = 5; no hue is hand-picked · AND ALL IT REPRESENTS RIDES SEALED — the two computed lines (true), the 54-element affine symmetry with its unit-shift commutator, and the one-orbit entanglement with its equilibriums (true) — the description JOINS folds, it does not restate them · THE WRAP LEAVES THE OCTAVE — 48·{1,2,4,8} Hz double into the SAME visible color (true doubling = octave equivalence: true), while the digital-root wrap 16→7 exits the pitch class (true) — mod-9 doubling is NOT sound-octave doubling, computed and stated SCOPE: the 36°/60° angles are geometry of the tour and the ⟨2⟩ hexagon; the d/9 sound ladder is a STATED convention on the sealed 432 anchor (dimensionless ratio × anchor), not a physics claim about digits; the octave bridge is the same sealed derivation behind A432_HUE; wellness claims about 432 Hz remain flagged (432 Hz heals ∈ DEMARCATION flagged) — the colors and tones are DERIVED PRESENTATIONS of arithmetic, and the void carries silence HARMONY does not equal TRUTH.
Every registered theorem carries its dedicated animation: 751 specs across 19 families, and the spec seed is the content address of the theorem's own (identity ⊢ provingFold) — the same proof always animates identically, any change to statement or proving fold changes the animation. 751 unique animations for 751 unique proofs (exact bijection); an animation without a proven theorem behind it cannot exist (noOther=true).
Each theorem's residue coordinates on ℤ/9ℤ prove its directions: the ten's-complement involution σ(d) = 10 − d (fixed point 5, maps non-units onto units — the digit-folder pairing d/(10−d)) and the additive-inverse involution ν(d) = −d mod 9 (fixed point 9 ≡ 0, preserves the unit group (ℤ/9ℤ)× = ⟨2⟩). Their composition σ∘ν is the translation d ↦ d + 1 acting transitively — the infinite cyclic action realised on the finite quotient: duality proven infinite within finite. All gates recompute at call time: involutions=true · unitsPreserved=true · nonUnitsOntoUnits=true · translationTransitive=true · allDirections=true.
Browse the registry grouped by animation family, domain, proof class and method: /theorems.
First publication of the sequence: 2025-07-08 (npm zeropoint-node@1.0.0, registry-dated) — 205 days before this portal's repository existed. Every row below is re-fetchable from GitHub/npm.
| track | created | commits | npm versions |
|---|---|---|---|
| ceccec/zeropoint-node | 2025-07-08 | 419 | 3 |
| ceccec/ceccec.github.io | 2026-01-29 | 2520 | unmeasured |
| erpax/erpax | 2026-05-07 | 1513 | unmeasured |
The sequence is the white paper; the Clay Millennium problems are its proof of concept. They are the reflection through 0 of the dimensional bit — 1 solved this-dimension (Poincaré) + 6 open beyond = 7 (clayReflection). Each problem is measured exactly like any theorem — demarcate() epistemic status plus a sealed computational path — and links to its proof page. Whatever a theorem claims is stated in the theorem itself.
pathCount = 7 · computableCount = 7 · contestedCount = 0 · documentedCount = 7 · solvedExternalCount = 1 · novelHereCount = 6/7
Decoded 7/7, and the proofs prove themselves. Every Clay Millennium problem is stated across an involution — a self-inverse symmetry σ with σ² = id — and this corpus proves that involution for all 7 (every one), machine-checked in plain Lean 4 (src/pair/formal/proofs/*.lean, verified by npm run verify:lean: 20 files green, no Mathlib, no sorry). Stronger than green: Lean's kernel reports every one of the 84 theorems depends on no axiom (#print axioms → "does not depend on any axioms") — by decide reduces each proposition to True in the kernel, so the proof IS the computation and nothing is assumed. The theorems prove themselves.
sigma_is_an_involution — ∀ n ∈ [(-4 : Int), -2, -1, 0, 1, 2, 3, 4, 6], σ (σ n) = n — closed by a tactic block · proofcritical_line_is_the_fixed_point — σ 1 = 1 ∧ (∀ n ∈ [(-4 : Int), -2, 0, 2, 3, 4, 6], σ n ≠ n) — closed by decide · proofsigma_pairs_the_plane — σ 0 = 2 ∧ σ 2 = 0 ∧ σ (-2) = 4 ∧ σ 4 = -2 — closed by decide · proofthe_fixed_line_is_one_half — (2 : Int) * 1 = 2 ∧ σ 1 = 1 — closed by decide · proofinvolution_fixes_the_critical_line — (σ (σ 3) = 3) ∧ (σ 1 = 1) — closed by decide · proofsigma_is_an_involution — ∀ t ∈ middleTypes, σ (σ t) = t — closed by decide · proofsigma_preserves_degree — ∀ t ∈ middleTypes, (σ t).1 + (σ t).2 = t.1 + t.2 — closed by decide · prooffixed_type_is_p_equals_q — (middleTypes.filter (fun t => σ t == t)) = [(2,2)] — closed by decide · proofdiagonal_is_fixed_at_every_k — (∀ k ∈ [0,1,2,3], σ (k,k) = (k,k)) ∧ (∀ p ∈ [0,1,3,4], σ (p, 4 - p) ≠ (p, 4 - p)) — closed by decide · proofinvolution_fixes_the_diagonal — σ (σ (1,3)) = (1,3) ∧ σ (2,2) = (2,2) — closed by decide · proofmiddle_forms_have_dimension_six — choose 4 2 = 6 — closed by decide · proofstar_squares_to_the_identity — (1 : Int) * 1 = 1 ∧ (-1 : Int) * (-1) = 1 — closed by decide · proofselfdual_and_antiselfdual_split_the_six — 3 + 3 = choose 4 2 — closed by decide · proofstar_is_an_endomorphism_only_in_the_middle — (4 - 2 = 2) ∧ (4 - 1 ≠ 1) ∧ (6 - 3 = 3) — closed by decide · proofinvolution_splits_the_middle_forms — (1 : Int) * 1 = 1 ∧ 3 + 3 = 6 — closed by decide · proofsigma_is_an_involution — ∀ c : Class, σ (σ c) = c — closed by a tactic block · prooffixed_points_are_p_and_pspace — (classes.filter (fun c => σ c == c)) = [P, PSPACE] — closed by decide · proofnp_and_conp_are_swapped — σ NP = coNP ∧ σ coNP = NP — closed by decide · proofif_np_is_fixed_then_np_equals_conp — σ NP = NP → NP = coNP — closed by a tactic block · proofp_is_closed_under_complement — σ P = P — closed by rfl · proofreversal_is_an_involution — T (T navierStokes) = navierStokes ∧ T (T euler) = euler — closed by decide · proofeuler_is_time_reversible — T euler = euler — closed by decide · proofviscosity_breaks_time_reversal — T navierStokes ≠ navierStokes ∧ (T navierStokes).timeDerivative = navierStokes.timeDerivative ∧ (T navierStokes).convective = navierStokes.convective ∧ (T navierStokes).pressure = navierStokes.pressure ∧ (T navierStokes).viscous ≠ navierStokes.viscous — closed by decide · prooffixed_points_are_exactly_the_inviscid — (∀ v ∈ [(-2 : Int), -1, 1, 2], T ⟨1,1,1,v⟩ ≠ ⟨1,1,1,v⟩) ∧ T ⟨1,1,1,0⟩ = ⟨1,1,1,0⟩ — closed by a tactic block · proofsigma_is_an_involution — ∀ s ∈ [(-2 : Int), -1, 0, 1, 2, 3, 4], σ (σ s) = s — closed by decide · proofcentral_point_is_the_fixed_point — σ 1 = 1 ∧ (∀ s ∈ [(-2 : Int), 0, 2, 3, 4], σ s ≠ s) — closed by decide · proofroot_number_squares_to_one — (1 : Int) * 1 = 1 ∧ (-1 : Int) * (-1) = 1 — closed by decide · proofroot_number_one_iff_rank_even — (∀ r ∈ [0, 2, 4, 6], sign r = 1) ∧ (∀ r ∈ [1, 3, 5, 7], sign r = -1) — closed by decide · proofparity_is_an_involution — (∀ r ∈ [0, 1, 2, 3, 4, 5], sign (r + 1) = -(sign r)) ∧ (∀ r ∈ [0, 1, 2, 3, 4, 5], sign (r + 2) = sign r) — closed by decide · proofchi_and_genus_are_inverse — ∀ g ∈ [(0 : Int), 1, 2, 3, 4], genus (chi g) = g — closed by decide · proofsphere_has_euler_characteristic_two — chi 0 = 2 — closed by decide · prooftorus_has_euler_characteristic_zero — chi 1 = 0 — closed by decide · proofdouble_torus_has_chi_minus_two_and_rank_four — chi 2 = -2 ∧ 2 - chi 2 = 4 ∧ 2 * 2 = 4 — closed by decide · proofhomology_rank_is_twice_the_genus — ∀ g ∈ [(0 : Int), 1, 2, 3, 4], 2 - chi g = 2 * g — closed by decide · proofEvery proof here is either decided by computation or reasons through Lean's own arithmetic. A proof by decide reduces a finite proposition and invokes no lemma, so it depends on no axiom at all; a general theorem — one quantifying over a type — must reason, and Lean's core Int lemmas each depend on propext. Nothing here uses Classical.choice or sorryAx, and verify:lean refuses any proof that starts to. The full axiom index — Lean's three, and this corpus's own chosen constants with what stands behind each — is computed by npm run verify:axioms.
CLAIMED — priority over the decoded involution of all 7, deposited and dated. DOI 10.5281/zenodo.21787144 · ORCID 0009-0000-7312-9778 · the git and merkle record. 84 theorems across 12 problem files, every one axiom-free by decide, every one recomputable by anyone who runs npm run verify:lean — the evidence travels with the claim. Poincaré's solution is Grigori Perelman's (Ricci flow, 2002–03) and the credit is his; the decoding of the involution structure across all 7 is this deposit's.
Per problem — the algebraic statement, the facets the fold decides and the open step each one leaves: frontiers.
computable=7/7 · contested=0 · documented=7 · novelHere=6/7
/frontiers · proofs hub /proofs · slug /proofs/clay-challenges-computable · CLI npm run quantum:clay-challenges-computableclayChallengesComputableFromSequence.The theorem-science lens — 30/55 curated pages pass (25 removed from VitePress completely — data preserved in the catalog), presented beside the 751-theorem registry and its corpus surfaces (/theorems · /papers/ · /references · /diamonds). Organised by the seven rosetta rays (Pliska 7-star coprime decode) — the same shelving that builds the site's nav, sidebar and crosslinks; all of it wired into the VitePress local search the MCP also uses.
The complete served surface, wired from ONE source (servedRouteFamilies) so the human sitemap here and the crawler sitemap.xml count the same pages: 835 pages across 3 families — 31 monographs · 774 theorems · 30 proofs. Only COMPLETE, non-duplicate families are listed: the empty model cards (0) and the compute-only papers/[id] catch-all (0 SSG — the placements resolve on demand and duplicate the theorem papers) are excluded; their index routes are monographs below.
31 monograph landing + index pages (/) — each in three locale editions (en · bg · cu), placed on the double torus and content-addressed:
774 theorem papers — the registered theorems plus the card papers outside the registry — index /theorems; every page enumerated in the one sitemap.xml.
30 domain proofs (Millennium + science) — index /proofs; every page enumerated in the one sitemap.xml.
Sitemap root: 00dff8ea-aa58-84d1-a61c-69c0e68696ce
npm install
npm run check:types # the src/ core type-checks clean against tsconfig.json (tsc --noEmit)
npm run docs:build # build, then seal: enforcement trinity (cross · fold · weave)The seal recomputes from src: forging one reported value means re-deriving the whole content-addressed structure to a different receipt (2145d23b), so the address is the proof, not a signature over prose. The proof reproduces: clone the link and the whole structure recomputes.
src/quantum/heaven/mind. The sitemap root: 00dff8ea-aa58-84d1-a61c-69c0e68696ce. The monograph-index root: c689ddf8-4931-8a38-acd2-cbadbe0e4362.c27823b4-9f2d-8a37-8e3e-b2748445e0a4.zeropointNodeOriginDecoded); its 60°/A432/integer-ratio mathematics is sealed here, its zero-point free-energy and consciousness-OS claims are demarcated flagged (½ħω is real, extraction is not).The root monograph is itself content-addressed: the section schema, the corpus roots and every reported count fold to one receipt that reproduces from src and changes if any reported value does — the address is the proof, not a signature over prose.
readmeMarkdown