Checkpoint: Forensic Engine

One program: an invariant engine for a sorted-ring buffer (sortedness, wrap order, and size bounds as separate verdicts) plus a diagnosis classifier.