Correctness Verification
Kind: algorithm
Record: algorithms:correctness-verification
Canonical: Algorithms
Closure: Dependencies in load order
Push nondeterminism to boundaries, prefer pure deterministic core logic, validate specifications with static analysis, type checks, property tests, contract tests, formal methods where useful, and reproducible test environments.
Listed in Algorithm contracts, after State and Transaction Safety and before Resilience Policy.