SPAR (Sovereign Physics Autonomous Review) - Claim-aware review framework for systems whose outputs can pass while their claims drift.
Lean 4 formalization of the neutral structural substrate for Structural Explainability, defining admissibility, separation, and substrate invariants independent of identity regimes.
This solver includes 2 versions: Classic (1 remaining peg in center hole), Max-Peg (play until no valid moves remained)
Reference model for translating GRC controls into enforceable admissibility constraints for AI systems.
Minimal proof of execution-bound admissibility: no present-state proof at bind, no execution.
Recursive admissibility architecture for non-terminal intelligence systems.
A deterministic admissibility layer for interpretation proposals before verdict and execution.
Admissibility Rotation Corridor — closed constitutional runtime with visible interrupt geometry
Add a description, image, and links to the admissibility topic page so that developers can more easily learn about it.
To associate your repository with the admissibility topic, visit your repo's landing page and select "manage topics."