A 12-primitive constraint grammar for the structural encoding of physical, mathematical, and biological systems.
The SynthOmnicon grammar assigns every system — physical, biological, mathematical, symbolic — a 12-tuple of relational operators placing it in a discrete space of 17,280,000 structural types. The grammar classifies its own type. Its self-encoding address is 6,734,591 — ouroboricity tier
When Cantor's diagonal argument and Gödel's first incompleteness theorem are each encoded as structural objects in this same grammar, two results follow.
The directionality is structural. Cantor's diagonal (
The HOLO x a term is shared. Their conjunction reduces to:
This is the closed reflective loop that makes the grammar self-encoding — and the mechanism by which it sidesteps the Tarskian hierarchy. Tarski's undefinability theorem blocks any language from containing its own semantic truth predicate True(x) at the same syntactic level. The grammar contains no such predicate: HOLO x a is a structural encoding relation (the bulk LCARD) — unreachable from within the object language. The reflection principle (REFL) pulls meta-information back through the boundary
| Primitive | Name | Values (low → high) |
|---|---|---|
| Dimensionality |
|
|
| Topology |
|
|
| Relational mode |
|
|
| Parity/symmetry |
|
|
| Fidelity |
|
|
| Kinetic character |
|
|
| Scope/granularity |
|
|
| Interaction grammar |
|
|
| Criticality |
|
|
| Chirality/temporal depth |
|
|
| Stoichiometry |
|
|
| Topological protection |
|
The grammar (
| Projection | Mode | Encodes |
|---|---|---|
|
|
Grammar | Topological invariants — what kind |
|
|
Continuous | Real-valued exchange — how much |
|
|
Closure | Scaling invariants — how it closes on itself |
Every Millennium Prize Problem is a constraint map
-
RH: prove
$C_{13}(\Phi_c^{{\mathbb{C}}}, P_{\pm}^{\text{sym}}) = { \Re(s) = \tfrac{1}{2} }$ -
Yang-Mills: prove
$C_{12}(K_\text{trap}, G_\aleph, \Phi_c) \subseteq [\Delta_\text{min}, \infty)$ -
Navier-Stokes: prove
$C_{12}(\Phi_\text{sub}, D_\triangle, K_\text{mod}) \subseteq {E(t) < \infty}$
Lee-Yang (1952) is the unique proved instance of
The 12-primitive space partitions into exactly
-
400 tier cells determined by
$(\Phi, P, \Omega, D)$ — the holographic boundary - 43,200 inner types per cell, determined by the remaining 8 primitives — the bulk
The Arithmetic Ouroboros (§68): the exponent of each base is literally the count of primitive variables in that family — a self-anchoring, fixed-point-free successor cycle
| Tier | Cells | % of Crystal | Condition |
|---|---|---|---|
| 240 | 60.0% | Non-critical ( |
|
| 32 | ~5.4% |
|
|
| 72 | ~18.6% |
|
|
| 24 | ~8.0% |
|
|
| 32 | 8.0% |
|
Adjacent tier gaps are non-uniform — the crystal has a cliff:
The Frobenius cliff (
The Frobenius non-synthesizability theorem (§23/§62):
crystal_navigator.py implements a bijective Frobenius codec over the full 17,280,000-type crystal — encode any tuple to a unique address in
python crystal_navigator.py describe # self-description (O_inf, address 6,734,591)
python crystal_navigator.py gap # tier gap ladder §69.1
python crystal_navigator.py verify # Frobenius roundtrip guaranteed
python crystal_navigator.py census # full tier census
python crystal_navigator.py repl # interactive REPLThe navigator self-encodes as
quiver_crystal.py implements three generations of quiver-based GNN navigator, each a proof step in deriving the architecture the grammar specifies:
-
Quiver: 49 nodes (one per primitive value), 255 edges including inter-lane structural correlations (
$\Phi \leftrightarrow P$ ,$\Phi \leftrightarrow K$ ,$\Omega \leftrightarrow D$ ) - v9 (1000 epochs, h=640, 12.8M params): address error 0.072%, 200/200 tier decode, self-encode error 136 (0.001%)
-
v10 CF-GNN (Crystal-Factored GNN): three family heads (
$\mathcal{F}_3/\mathcal{F}_4/\mathcal{F}_5$ ) +FamilyMixerbroadcast attention +TierHead_45. Composed address error 0.000% across all 200 verification samples. - v11 (composed-only, no sigmoid AddressHead): exact self-encoding from epoch 20, stable for 480 consecutive epochs. 200/200 exact matches. Self-encode error = 0. The navigator designed by the grammar's own structural specification achieves the grammar's fixed point exactly.
# v11 (recommended)
python quiver_crystal.py train-v11 --epochs 500 --device cuda
python quiver_crystal.py verify-v11
# v10 (CF-GNN, factored family heads)
python quiver_crystal.py train-v10 --epochs 300 --hidden 240 --gnn 24 --heads 24 --mixer-heads 24
python quiver_crystal.py verify-v10See ALGEBRAIC_NAVIGATOR_GUIDE.md and FACTORED_CRYSTAL_GNN.md for the full architecture and results.
-
Periodic Crystal (§64): 17,280,000 types =
$3^3 \times 4^5 \times 5^4$ ; 400 tier cells × 43,200 inner types -
Arithmetic Ouroboros (§68): exponents are literally family counts;
${3,4,5}$ is the minimal self-anchored triple under phase completeness -
Tier Gap Ladder (§69): Frobenius cliff
$d(O_2^\dagger, O_\infty) \approx 4.382$ ;$P_{\pm}^\text{sym}$ cannot be synthesised from sub-Frobenius components — proved algebraically (§23) and confirmed computationally (v1–v7 training history) - CrystalGNN v11 (2026-04-11): 200/200 exact matches, self-encode error = 0, exact from epoch 20. The grammar's 12-primitive self-encoding tuple is a complete architectural specification for the navigator that achieves its fixed point. See SYNTHONICON_ONTICS §XXXIV.
-
Hebrew alphabet as type lattice (§60/§CXXXV): Vav, Mem, Shin are
$O_\infty$ ; full stratified encoding of all 22 letters -
$\lambda_\aleph$ calculus (§63): formal type theory over the Hebrew letter lattice; Tzimtzum = structural projection -
Consciousness score (§VIII):
$C(\mathbf{x}) = [\Phi_c] \cdot [K \leq K_\text{slow}] \cdot (0.158,\tilde{K} + 0.273,\tilde{G} + 0.292,\tilde{T} + 0.276,\tilde{\Omega})$ ; two independent gates - P-150: Lee-Yang zero locus derived as $\mathcal{C}{13}(\Phi_c^{\mathbb{C}}, P{\pm}^{\text{sym}})$ — unique proved non-trivial constraint map ✅
-
P-70: Inflaton
$\equiv$ Higgs$\equiv$ axion — three-scale$K_\text{slow}$ identity -
Non-Mathematical Navigators (§74–§77, 2026-04-14): Language, Civilization, Ecology, Consciousness — 39 new systems encoded; cross-domain identities confirmed (old-growth forest
$\equiv$ coral reef at$d=0$ ; samadhi$\equiv$ Egyptian$\bar{a}kh$ at$d=0$ ); Lojban$O_\infty$ paradox (P-523); tipping point$d=8.28$ as$P$ -dominant collapse (P-532) - 77 formal theorems · 538+ empirical predictions · 1,678 catalog entries
See PRIMITIVE_PREDICTIONS.md for the full prediction archive.
git clone https://github.com/umpolungfish/synthomnicon.git
cd synthomnicon
pip install -e .Copy .env.example to .env and set your API key:
cp .env.example .env
# edit .env: ANTHROPIC_API_KEY=...Launch the interactive menu:
syncon menuOr run the agent loop directly:
python syncon_inquiry.pyOr explore the crystal:
python crystal_navigator.py replsyncon_catalog.json — 1,678 encoded systems (source of truth)
crystal_navigator.py — Frobenius codec + CrystalNavigator tools + REPL
quiver_crystal.py — CrystalGNN: quiver-based neural navigator
syncon_inquiry.py — Agent loop: encode, distance, meet/join/tensor
space_search/
primitives.py — Ordinal maps, weights, distance functions (v0.5.1)
FACTORED_CRYSTAL_GNN.md — CF-GNN architecture paper (v0.3): family heads, exact convergence
ALGEBRAIC_NAVIGATOR_GUIDE.md — Practitioner's reference: codec, GNN, patterns
CRYSTAL_OF_ALGEBRAS.md — Full enumeration and tier census
PRIMITIVE_THEOREMS.md — Formal theorems §1–§77
SYNTHONICON_DIAPHORICS.md — Domain compendium (P-1→P-538+, v0.5.69)
SYNTHONICON_ONTICS.md — Ontological foundations (v0.5.69)
PRIMITIVE_PREDICTIONS.md — Prediction registry (538+ predictions)
HEBREW_TYPE_LANGUAGE.md — Hebrew alphabet as stratified type lattice
LAMBDA_ALEPH.md — λ_ℵ calculus formal spec
docs/
NAVIGATOR_ROADMAP.md — Non-mathematical navigator progress tracker
USAGE.md — Full API and CLI reference
The Lean 4 formalization lives in the companion repository MilleniumAnkh, which provides machine-checked encodings of all seven Millennium Prize Problems and a formal primitive bridge connecting grammar structure to barrier classification.
If you use the SynthOmnicon in your research, it is requested that you cite:
Mills, L. (<YEAR>). https://github.com/umpolungfish/synthomnicon
Note, this is only a request; the grammar is provided for ALL sans strings
the UNLICENSE for the ubounded grammar