3-Courts Navigation

Cases in Scope — Group 1

• MOAT-001 — RH1-in-Hats — AR-2 Blindspot as Trade Secret: Signs sgn(rₙ) of Riemann zero shell residues follow AR-2 period-2 memory. 0/14 f...
• MOAT-002 — PTTE τ_γ₁ Formula — Provisional Patent: τ = ℏ/(k_B·T·γ₁) = 1.801 fs. γ₁ alone passes falsification against 17 constants....
• MOAT-003 — MEMECHET — Verifier-Generator Split Patent: FC-2 + FC-3 double-lock. Structurally independent verifier (qdrant + Lean4) from...
• MOAT-004 — 18-Wave Benchmark — natural vs rescued: W04/W08/W14/W16 confidence gates. commit_state: natural vs rescued. No external ...
• MOAT-005 — 287 Named Sorries — Sorry-Map as Prior Art: 287 open Lean4 sorries, named and addressed. IRF-004 (zeta_zeros_discrete) has f...
• MOAT-006 — 3-Cell Framework — GAP·DECAY·H: Universal problem structure from 310 physics engines. GAP (missing piece) + DECA...
• MOAT-007 — PEMCLAU V11 — Sovereign Fleet Memory IP: 8,513 vectors, 80,979 edges, 4 novel edge types including crew_provenance. Livin...

ALAN's Domain

Logic · formal proof · evidence standards. In Group 1, ALAN applies this lens to 7 cases across EOSE Moats & Sovereign Knowledge. The 2-pager contains the core position. The 3 court stages escalate from preliminary brief through first court argument to review court ruling.