Reference. Replay, audit, and run-level evidence [ftip-00I0]
✍️source

    The trace covered by an audit must be the replay trace whose consistency is claimed; see Definition [ftip-00HI]. The resulting run-level guarantee is stated in Remark [ftip-00HZ].