CEOM

NISP is a 5-layer neuro-symbolic pipeline that reads a foundation model's predicted brain response to autonomous systems videos and produces a formally certified anomaly verdict: slow enough for a Lean 4 proof, fast enough for real-time alerting.