Deterministic pre-execution gate for AI agents (fail-closed, YAML policy)
-
Updated
Apr 24, 2026 - Python
Deterministic pre-execution gate for AI agents (fail-closed, YAML policy)
Deterministic execution boundary for AI agents. IFC enforcement at the sink. 5 frameworks. 50 attack vectors. Apache 2.0.
Deterministic three-state stop controller. Constraint-first design. Fail-closed.
Core execution boundary engine (decision + proof + ledger)
AI Execution Boundary Standard (AEBS) - Pre-incident reference for execution governance
Deterministic execution boundary for AI systems enforcing signed approvals, replay protection, and cryptographic receipts.
Small, deterministic control primitives for software systems. Testable, auditable bricks.
Admissibility Rotation Corridor — closed constitutional runtime with visible interrupt geometry
Observability profile for Execution Boundary systems — OTel collector topology, semantic conventions, dashboards, alerts
Execution boundary for GitHub pull requests that interprets repository mutations before CI enforcement.
Transport-layer application profile for Execution Boundary Core Spec.
Entry point and architectural map for execution boundary research.
Minimal proof of execution-bound admissibility: no present-state proof at bind, no execution.
Public-safe PoC for admissibility-first execution governance in probabilistic and multi-agent AI systems.
Deterministic admissibility layer for interpretation proposals before verdict and execution.
Execution-boundary gate interface. Contamination cases. Adversarial suite. Admissibility at execution time.
Minimal reference model for separating proposal, authorization, and execution in side-effecting systems.
Runtime commit gate: no state mutation without a valid DecisionRecord. Execution-boundary AI governance.
Add a description, image, and links to the execution-boundary topic page so that developers can more easily learn about it.
To associate your repository with the execution-boundary topic, visit your repo's landing page and select "manage topics."