replay_coverage
Term URI: https://w3id.org/agent-evidence/vocab/v1/replay_coverage
Section: change_admission. Criticality: critical.
Whether a guard's replay checked every trace in its declared snapshot (exhaustive, stated as N of N traces checked) or stopped before the end (partial, k of N). A replay may stop at its first counterexample to reject a guard; only an exhaustive replay clears one. Replay shows what the guard predicate does on recorded inputs, never that the counterfactual continuation would have succeeded.
Registered values
https://w3id.org/agent-evidence/vocab/v1/replay_coverage#exhaustivehttps://w3id.org/agent-evidence/vocab/v1/replay_coverage#partial