Agent Behavioral Contracts / ABC

Design-by-contract for autonomous agents: a contract C = (P, I, G, R) combines preconditions, invariants, governance, and recovery as runtime-enforceable elements. It introduces a probabilistic compliance metric, (p, delta, k)-satisfaction, that accounts for LLM nondeterminism, as well as a Drift Bounds Theorem (when the recovery rate exceeds drift, deviation is bounded). Tested with the AgentAssert library across 1980 sessions. Author: Varun Pratap Bhardwaj, 2026.