Violation Detection
Kind: algorithm
Record: algorithms:violation-detection
Canonical: Algorithms
Closure: Dependencies in load order
For each concept applicable to the current scope, execute its detected_by signals against the implementation, map observations to violated_by patterns, and produce evidence-backed violation records.
Listed in Algorithm contracts, after Severity Policy and before Measurement Normalization.