Function faults 

pub fn faults(
    report: &GateReport,
    required_check: &str,
    trunk: &str,
) -> Option<String>

The ways the gate is shaped so that it cannot report a blocking answer, or nothing where its shape is sound.

Every part is a fault on protect-trunk, not a limitation: a required check that cannot report is a broken trunk protection.