Dual Certificates for Agent Audit: Separating Structural Unrecoverability from Decision Relevance
Auditing a deployed language-model agent requires two separable quantities: how much operative state escapes the recorded trace, and how much of that residual state drives behavior. We introduce a dual-certificate…