Function check_spec_consistency 

pub fn check_spec_consistency(
    formulas: &[LabeledFormula],
    config: &ConsistencyConfig,
) -> ConsistencyReport

Run full consistency analysis on a set of labeled formulas.

Orchestration order:

1. Check full conjunction satisfiability
2. If UNSAT → extract MUS, optionally run pairwise
3. If SAT → optionally run vacuity and redundancy checks