Violation Classification

Kind: algorithm

Record: algorithms:violation-classification

Canonical: Algorithms

Closure: Dependencies in load order

For each verification error, classify the violation into a known remediation category and attach the matching strategy.

Listed in Algorithm contracts, after Early Success Exit and before Severity-Ordered Remediation.

Domain

• Codebase verification

Stage

• derive

Axis

• reasoning

Tier

• process

Composed by

• Verification Loop
• Codebase Verification Kernel

Named in the derivation of

• Codebase Verification Kernel

Math type

• Logic

Force

• Correctness verification
• Semantic consistency

Linked from

• Codebase verification
• The derivation loop
• The axes
• The mathematics
• Domain tiers
• The forces