The Missing Axiom for Stateless Agents

Jeffrey Sabarese (@ajaxstardust) Part V of the contract-style-comments Series Abstract: Classical Design by Contract (DbC) implicitly relies on the "Memory Axiom"—the assumption that human collaborators possess persistent contextual memory. The emergence of stateless AI agents as primary code-producers invalidates this axiom. We propose that in an agentic workflow, the contract must transcend its role as a correctness specification and become a complete, self-contained reconstruction of system...