SEXTANT: a kernel-checked referee for quantum and physical claims (FORCED / FREE / IMPOSSIBLE)

SEXTANT is a kernel-checked referee that classifies claims about quantum and physical systems into three exhaustive verdicts — FORCED (a theorem), FREE (a label) or IMPOSSIBLE (a no-go) — and never predicts values: the executable form of the constraint-first theory of everything. It holds a catalog of 28 claims (CHSH <= 2*sqrt2, Clifford circuits classically simulable, matchgates = Pfaffians, no-cloning, the MERA area law D^m, Mermin contextuality, SM anomaly cancellation, the D3-tadpole uniqueness theorem, and more), each with a Lean 4 + Mathlib theorem name and a falsifier; a falsifier loop runs every claim's falsifier against a live oracle (a simulated quantum computer: numpy/Stim/Quimb); and a hypothesis registry holds 11 open questions (6 answered this arc), each decomposed into forced vs open with candidate answers. A self-contained node (web/node.html + src/pacland/sextant_node.py) lets anyone download, browse claims, run falsifiers and contribute. python scripts/validate_sextant.py reports 'catalog OK: 28 claims', CHSH control exact at 2*sqrt2.