Reference. Evidence for an execution commit [ftip-00J5]
Reference. Evidence for an execution commit [ftip-00J5]
The checks, scope, and decision for a proposed execution commit are defined in Definition [ftip-00HL]; their admissibility condition is given in Theorem [ftip-00HM].