Reference. Replay trace integrity [ftip-00J2]

A replay trace is bound to an audit decision only when it is included in the audited record and covered by the digest, as required in Definition [ftip-00HI].