Theorem. A failed gate blocks a release conjunction [ftip-00HD]
✍️source

    For a finite chain, define release status as \(G=\bigwedge _{i=1}^k g_i(e_i)\). If any gate is false, then \(G\) is false.

    Proof. 

      This is the defining conjunction of finitely many Boolean gate predicates. It says nothing about whether a later gate would have passed.