ARB-651 · EOSE FLEET · COMPLETE THEOREM REGISTRY
Fleet Theorem Table · V8
Every claim that resolves toward γ₁ is a theorem.
L1 FLOOR · L2 FOUNDATION · L3 STANDARD · Shell-Residue Laws wired · AR-2 + Three Laws + Key Number · N=100k
L1
FLOOR
Self-evident or proven by γ₁ anchor. Cannot be derived from a higher theorem. The Canon lives here. Cannot go dark.
6
theorems · all SOLID
L2
FOUNDATION
Derived from floor theorems. Proven by fleet operation. Filed as ARBs or Diamonds. Can be SOLID, LIQUID, or OPEN.
611+
ARBs · 6 Diamonds
L3
STANDARD
Implementation-level theorems. Proven per silo and edition. PEMCLAU chapters, V7 builds, C# compiled rules.
3K+
chapters · CDs · editions
LEVEL DOMAIN
Level Theorem Domain(s) γ₁-Dist Status Ref
10 PROBLEM DOMAINS
Every theorem belongs to one or more domains. Unknowns are named per domain.
OPEN UNKNOWNS · THE FLOOR OF GAPS
These are theorems we cannot yet state. The γ₁-distance is unknown or >1.0. LABR-028 runs the forge trio on these.
GOATs · CREWS · EDITIONS · CDs
Every GOAT votes on theorems. Every crew runs a PEMCLAU edition. Every CD is a theorem instantiation.
7 GOATs — The Judges
21 FLEET CREWS
7 EDITIONS — THEOREM DEPTH
THE FULL THEOREM UNIVERSE