Robustness Before Performance: A Governed Decision Kernel with Formally Verified Release Boundaries

A domain-independent, non-actuating robustness decision kernel with explicit evidence, authority, lineage, interval, trajectory, and release-state boundaries. The paper is reconciled to 27 named Lean theorems and 19 review checks with zero proof holes. It does not claim empirical effectiveness, security certification, legitimate authority, or observed benefit.