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.
A deterministic three-state stop controller. Constraint-first design through executable clarity.
Core execution boundary engine (decision + proof + ledger)
Execution boundary for GitHub pull requests that interprets repository mutations before CI enforcement.
Small, deterministic control primitives for software systems. Testable, auditable bricks.
A deterministic admissibility layer for interpretation proposals before verdict and execution.
Transport-layer application profile for Execution Boundary Core Spec.
Admissibility Rotation Corridor — closed constitutional runtime with visible interrupt geometry
Deterministic execution boundary for AI systems enforcing signed approvals, replay protection, and cryptographic receipts.
AI Execution Boundary Standard (AEBS) - Pre-incident reference for execution governance
Observability profile for Execution Boundary systems — OTel collector topology, semantic conventions, dashboards, alerts
Entry point and architectural map for execution boundary research.
Experiments showing where AI governance must physically stop execution.
Minimal reference model for separating proposal, authorization, and execution in side-effecting systems.
Runtime commit gate for AI governance: no mutation without a valid DecisionRecord.
Minimal proof of execution-bound admissibility: no present-state proof at bind, no execution.
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."