Codebase Verification Kernel

Kind: algorithm

Record: algorithms:codebase-verification-kernel

Canonical: Algorithms

Closure: Dependencies in load order

Load compliance context, run verification, parse results, exit on pass, classify violations on failure, remediate by severity, run post-fix style validation, and repeat until zero errors or iteration limit.

Listed in Algorithm contracts, after Completion Report and before <Compliance Verification Concern>.

Domain

• Codebase verification

Tier

• process

Principle

• Verification

Composes

• Context Initialization
• Verification Execution
• Violation Classification
• Iteration Bound
• File-Scoped Fix
• Reverification Gate
• Completion Report

Grounds

• derivation-loop

Derivation

• Severity-Ordered Remediation

Math type

• Computation

Force

• Correctness verification

Linked from

• Correctness / Determinism / Verification
• Codebase verification
• The mathematics
• Domain tiers
• The forces