Verification as Operator: Why Acceptance Testing Succeeds Where Conventional Audit Fails | Synapse