Definition. An execution gate [ftip-00HB]
Definition. An execution gate [ftip-00HB]
An execution gate is a predicate \(g_i(e_i)\) over a recorded stage result \(e_i\). It names its owner, required inputs, pass/fail/unknown outputs, and the artifact versions to which the result applies.