Add standards CI lint: fail safety-critical Rust without ABI/FFI seam + stance line; fail SPARK_Mode On with zero contracts. Prevents proof-debt + SPARK-theatre re-emergence (Explicit-Escape Principle).
Sub-issue of #124. PRs Refs hyperpolymath/standards#124. Joint-close only on explicit agreement.
🤖 Generated with Claude Code
Add standards CI lint: fail safety-critical Rust without ABI/FFI seam + stance line; fail
SPARK_Mode Onwith zero contracts. Prevents proof-debt + SPARK-theatre re-emergence (Explicit-Escape Principle).Sub-issue of #124. PRs
Refs hyperpolymath/standards#124. Joint-close only on explicit agreement.🤖 Generated with Claude Code