THEOREMS — CENTRAL THEOREM INDEX

The catalogue of truth for the SNAPKITTYWEST sovereign mathematics infrastructure. Every repo's proofs, indexed and WORM-sealed.

This repository is the central theorem directory for the entire sovereign-compute constellation. It does not hold proofs itself — it holds the authoritative index that maps every production repo to its theorems/THEOREMS.md, plus the spec for the continuous documentation engine that keeps the index alive.

WHAT IT IS

theorems is the canonical index + engine-spec layer:

• THEOREMS-INDEX.md — a table mapping 12 production repositories to their theorem files (mathlib5, axiom-proof, collatz-verifier, math-engine, math-skills, pnp-attack, prism-skills, qec-discovery, resonance-math, agentos, mathrosetta, legacy-apl).
• Theorems Engine spec — describes the docs/generate-docs.mjs pattern run in each production repo: auto-generate documentation from code comments, support APL/Lean/Haskell/Rust/C, and continuously update the theorem directory.

Where handoff proves continuity and legacy-apl proves domain isolation, theorems proves coverage — that every node in the constellation has an auditable set of theorems.

ARCHITECTURE / COMPONENTS

Path	Purpose
README.md	This file — repo index and status.
THEOREMS-INDEX.md	Central index: per-repo theorem file table + generation-status block.
docs/generate-docs.mjs	(referenced) The shared documentation generator pattern used across repos to keep theorem docs current.

The index currently tracks 12 repositories and is marked WORM-sealed: SHA-256 pending.

HOW IT FITS THE CONSTELLATION

theorems is the discovery + attestation layer:

• WORM Chain / Bifrost — the index is the sealing ledger's table of contents; each entry points at a WORM-sealed theorem set.
• Plasma Gate (Ed25519) — index updates are signed; a missing or mismatched theorem file fails the gate.
• P/NP Swarm — each repo's theorems are the P-verifiable claims swarm agents submit witnesses for; this index is the problem→repo map.
• 3-Witness Verification — a theorem counts as "in the constellation" only after three independent witnesses verify its entry resolves to a real, sealed file.

Ω ← TRUST ∧ CODE: an indexed theorem is trusted only when its WORM seal (trust) ∧ its referenced proof (code) both resolve.

Related repos: handoff (continuity theorems), legacy-apl (sovereign APL theorems), and the 12 indexed production repos.

BUILD / USAGE / INSTALL

This repo is data + spec. No compilation.

cd theorems

# Per the index, run the generator inside any production repo to refresh its docs:
#   node docs/generate-docs.mjs        # one-shot
#   node docs/generate-docs.mjs --watch  # continuous (legacy-apl variant)

The shared engine pattern:

• Scans src, lib, proofs, docs for .rs .lean .py .apl .hs .mjs .js .pl .md.
• Extracts doc-comment blocks per language (e.g. ⍝ for APL, /-! for Lean, //! for Rust).
• Emits docs/generated/index.md plus per-file docs, and (where enabled) auto-commits/pushes.

KEY FILES REFERENCE

• THEOREMS-INDEX.md — 12-row repository→theorem table; "Theorems Engine" section describing the generator; Generation Status block (last updated 2026-07-10, 12 repositories, PRODUCTION).
• README.md — status block: Type PRODUCTION, Updated 2026-07-10, WORM-sealed: Yes.

LICENSE

Part of the SNAPKITTYWEST sovereign mathematics infrastructure. See repository metadata for licensing terms.