import Runtime.Adequacy.EnvelopeCore.FailureTaxonomy.Core
import Runtime.Adequacy.EnvelopeCore.FailureTaxonomy.ProtocolPack

/-! # Failure Taxonomy

Barrel module for failure classification and protocol-pack theorem extracts.
-/
