Lean 4 formalization of the neutral structural substrate for Structural Explainability.
Runtime authority validation infrastructure for autonomous and distributed execution systems.
SPAR (Sovereign Physics Autonomous Review) - Claim-aware review framework for systems whose outputs can pass while their claims drift.
Runtime state validation infrastructure for preserving operational reality contact in autonomous systems.
Public-facing governance infrastructure surface for SolaceLegal.ai — runtime admissibility, continuity preservation, and legal operational governance.
Continuity-aware clinical governance infrastructure for autonomous healthcare systems.
Governed cognition and runtime continuity infrastructure for autonomous systems operating under evolving operational conditions.
AI-assisted trade-in intake and governance infrastructure for automotive retail systems.
Open protocol for deciding when AI-generated scientific outputs are admissible to shape what science does next
Governed AI infrastructure for consequence-bearing autonomous systems.
Runtime governance infrastructure for evaluating execution legitimacy under evolving operational conditions.
Execution-boundary governance infrastructure for consequence-bearing autonomous systems.
The Governance API for Developers — one runtime call before consequential AI execution.
Governed runtime orchestration and continuity infrastructure for consequence-bearing autonomous systems.
Lean 4 formalization of fragment-relative common ground in Structural Explainability.
Admissibility Rotation Corridor — closed constitutional runtime with visible interrupt geometry
Reference model for translating GRC controls into enforceable admissibility constraints for AI systems.
No External Dimensional Scale at the Level of Admissibility
This solver includes 2 versions: Classic (1 remaining peg in center hole), Max-Peg (play until no valid moves remained)
Public learning kernel for consequence-aware AI governance: EXECUTE, TRANSFORM, DEFER, or REJECT before commitment.
To associate your repository with the admissibility topic, visit your repo's landing page and select "manage topics."