Artifact companion for "Freshness Is Not Authenticity: Symbolic Replay Semantics for Agent Evidence Packages"

This artifact companion contains Tamarin theories, captured proof outputs, trace notes, source snapshots, extraction notes, errata research notes, and manuscript files supporting the IST short communication candidate "Freshness Is Not Authenticity: Symbolic Replay Semantics for Agent Evidence Packages." The artifacts support a model-bounded formal-methods analysis of Agent Evidence Package replay semantics, verifier state, OVERT compatibility, and optional-artifact binding. The package does not claim deployment-wide security, legal compliance, certification, regulated trust-service status, or independent clean-machine reproduction.