Definition. A durable execution record [ftip-00HE]
Definition. A durable execution record [ftip-00HE]
A durable execution record is
\[d=(run,revision,environment,inputs,events,artifacts,checks)\]It is append-only, versioned, and sufficient to locate each gate input and output without relying on worker-local memory.