A Replay-Verifiable Epistemic State Machine with Deterministic Governance and Instrumentation Constraints | Synapse