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.

Domain

Tier

Composed by

Math type

Force

Linked from