Identity Network
44 structural identities derived from Axiom-0. Identities are classified as Exact (algebraic, machine-precision), Sampled (numerically verified by Monte Carlo), or Narrative (analytical proof in prose). Click any identity for its full bounds, proof sketch, and cross-links.
Numeri sunt intellectus. — The numbers are the understanding.
6 Connection Clusters
The 44 identities form a connected network. Click a cluster to filter, or click a member identity to jump to its expanded card.
Kernel Symbol Reference
These six Tier-1 invariants appear throughout the identities. Each is computed by the kernel function K : [0,1]ⁿ × Δⁿ → (F, ω, S, C, κ, IC).
Live Verification
Verify the core algebraic identities (E1, E2, E3, B1) by sweeping 1000 random channel configurations. Only Exact and Sampled identities participate in this sweep. Narrative identities are not machine-verified here.