Glossary · term
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.
Agents2026Wave 3 · 2025–26Maturity: 1/5
Maturity rationale
speculative / early neologism (⚠️)
References
Author: Społeczność / Anonimowi
Architecture & engineering guide
Read the in-depth implementation guide: Spec-Driven Development (SDD) vs Evaluation-Driven Development (EDD) in AI Engineering.
Cite or link to this resource · CC BY 4.0
Free to quote, link, and reuse with attributionReferencing this analysis in documentation, research, or an engineering write-up? Copy a formatted link or citation below:
Show citation text & canonical URL
Markdown:
[Agent Behavioral Contracts / ABC — AI Glossary — Skills Intelligence](https://www.skillsintelligence.tools/glossary/term/agent-behavioral-contracts-abc)APA:
Skills Intelligence. (2026). Agent Behavioral Contracts / ABC — AI Glossary. Skills Intelligence AI Glossary. Retrieved from https://www.skillsintelligence.tools/glossary/term/agent-behavioral-contracts-abc