Reflexivity live homoiconic equation engine · framework verifying itself
{Q_A, H_S}_(SO(4,1)/SO(3,1), v_0 = π/2) = 0 ∀ A ∈ so(3,1)
Awaiting framework source. Load a canonical MD to begin.
Ψ
framework source required
The wheel is the framework. Every radius, every line, every duration derives from constants parsed out of the MD.

Load the canonical MD (or any compatible .md) via the FRAMEWORK SOURCE widget to reveal the wheel.
orbit 0 cells 0 A — SPEED 100%
𝒜₀→ Ô₀→ 𝒢₀→ 𝒟₀→ 𝒢_∞ ∥ 𝒫₀ Ψ₀ ρ₀
① MASTER EQUATION awaiting
{QA, HS}SO(4,1)/SO(3,1), v0 = π/2=0  ∀ A ∈ so(3,1)
KERNEL
Ψ₀ ∈ ker 𝒞
— / 6
awaiting…
BORN
⟨Ψ₀|Ô|Ψ₀⟩
— / 5
awaiting…
BRACKET
{Q,H}=0
—
LOCAL—
GLOBAL—
NUMERIC
‖Ĉ·Ψ₀‖
—
norm—
close—
Wick—
PROVED
kernel ✓
—
Lean—
GAP—
② EVALUATION RADARS awaiting
FRAMEWORK PROFILE
RECOVERY EMPIRICAL FALSIFIABILITY CONSISTENCY FORMAL VALIDITY —%
PHYSICS DOMAINS
SPECIAL REL GENERAL REL STANDARD MODEL COSMOLOGY QUANTUM MECH —%
FRAMEWORK PROFILE · 5 axes
① recovery— · —
② empirical— · —
③ formal validity— · —
④ falsifiability— · —
⑤ consistency— · —
PHYSICS DOMAINS · 5 areas
① special rel— · —
② general rel— · —
③ quantum mech— · —
④ standard model— · —
⑤ cosmology— · —
math-engine per-claimawaiting first session…
③ LEAF FEED — / 5
awaiting MD…
ENGINE INTERNALS how the framework computes itself · 4 sections
④ ALGEBRA 19 sp.Expr · static
CLAIM_EXPR19 expressions · canonical
EQ_EXPRsp.Eq(PoissonBracket, 0)
symbols5 MD · 4 structural
⑤ f(MD) recompile #0
formMD⁵ → State¹⁹
CSE subs— factored
memo0 hashes
click row → inspect f
⑥ SPLIT — / —
static (intrinsic)— constants
parametric (MD)— MD-dependent
⑦ PROJECTIONS 5 faces · 1 expr
str pretty srepr latex value
streamed0 events
VERIFICATION ROUTES 5 engines feeding the evaluation radar · click any child to expand
⑧ RECURSIVE FIDELITY F = ?
posterior— / —
BHME · self-verification
round-trip—
state hash—
canonical0 / 25 cells
lineage0 gens
scars0
credence
last event —
refresh seed0
⑨ DERIVATION WEB awaiting
engine— · awaiting init
structure— nodes · — edges
structuralDAG — · components —
over-determinedawaiting init…
most-cited—
awaiting graph…
selectionclick any node to inspect
⑩ NUMERICAL awaiting
engine— · awaiting init
bracket norm— · —
Lie closure— · —
Wick pairs J_12↔K_3 1:3 J_13↔K_2 1:2 J_23↔K_1 3:4
live opsawaiting first numerical event…
⑪ FORMAL awaiting
engine— · awaiting init
proved— theorems
open work— tracked
lake buildnot invoked
theoremsawaiting init…
eventsawaiting kernel handshake…
⑫ COMPUTATIONAL awaiting
engine— · awaiting init
match rate— / — · —
build time—
binding—
domainsawaiting init…
resultsawaiting init…
creditsno claims credited
⑬ CLAIM LEDGER — claims
filter:
awaiting session_start…
⑭ PHYSICS RECOVERY — / — recovered
awaiting session_start…
filter:
⑮ FALSIFICATION TABLE — falsifiers
awaiting session_start…
⑯ HOMOICONIC AUDIT awaiting…
awaiting session_start…
⑰ GC ARENA — sweeps
arenas / retained— · — / —
evictions / hit-rate0 · —
⑱ STRUCTURAL PROBE 5 / 5 ✓

Drag a slider. Watch the framework's claims react. The five structural propositions hold simultaneously only at the canonical leaf-integer point — Monte Carlo proves that point is rare.

6
10
18
60
168
— P1 CSGI factorization · H_E7 = DIM_STAB · N_gen
— P2 Spacetime is 4D · DIM_SEED − DIM_STAB = 4
— P3 Klein anchor · KLEIN = 4·α_U⁻¹ = 4·(7·DIM_STAB)
— P4 A_5 anchor · A_5 = 60 = 5!/2
— P5 α_U⁻¹ 5-route convergence · all 5 ALPHA-U-* paths agree
RANK·DIM42
KOSTANT42
HURWITZ42
VONSTAUDT42
SU(3)·β42
click to sample · null distribution under random small-integer 5-tuples
0
1
2
3
4
5 ←