Publications — NOUS ANOMALY DETECTION
Mathematics verified. Core theorems are machine-checked in Lean 4.
Prose and presentation may not have been human-reviewed.
Summary
We develop a spectral framework for anomaly detection that distinguishes between two fundamentally different kinds of anomaly: **mode shift** (Type A), where existing spectral modes change amplitude, and **mode emergence** (Type B), where new modes appear that were absent from the baseline.
Length
5,589 words
Claims
14 theorems
Status
Unknown