Definition. An audit-before-commit record [ftip-00HL]
Definition. An audit-before-commit record [ftip-00HL]
An audit-before-commit record is \(a=(d,scope,checks,reviewer,decision)\). It binds the durable execution record \(d\) to the audited scope, check list, review identity, and a decision in \(\{commit,hold,reject\}\).