Counterfactual experiment library

Faults are replayable, paired, and split before evaluation.

Inspect the scenario families used to challenge the detector and bounded governor. Each fault run is paired with a healthy counterfactual and tied to deterministic scenario identity.

Deterministic fixturesAEOLUS / scenarios

4Classification labelsNominal plus three fault classes

360Training familiesDevelopment split

120Validation familiesCandidate selection split

180Final familiesSeparately generated evaluation split

Primary-loop effectiveness declines over a bounded interval while command and measured delivery remain distinct.

Detection cue: Persistent airflow residual
Fault onset: Observable by replay
Pairing: Healthy counterfactual
Identity: SHA-256 bound

Warm-upMeasured windowObservable fault