detection-engine
A detection engine that reports what it did not check. Eight axiom families over a domain model declared in YAML, with every declined evaluation recorded as a machine-readable reason.