Lemma. Earliest-failure labels are unique [ftip-00HQ]
Lemma. Earliest-failure labels are unique [ftip-00HQ]
For a finite ordered gate chain with at least one failed gate, the earliest failed index is unique and therefore determines one primary taxonomy label.