Unit tests check 3 points. SMT proves the entire 2^64 space.
I built KERN (Zero-Trust L0-L5 verification gateway in Zig 0.17 + Z3):
https://github.com/newmathphys/kern
Tired of green CI pipelines passing buggy code, we ran our solver against real open-source repos:
1.…
GitHubGitHub - newmathphys/kern: Zero-trust L0-L5 verification gateway in Zig 0.17: native Z3 proof-DAG checker, Belnap B4 logic, 42 Lean 4 theorems (0 sorry), 8-lane SIMD BLAKE3 (.kimg) & MCP server.Zero-trust L0-L5 verification gateway in Zig 0.17: native Z3 proof-DAG checker, Belnap B4 logic, 42 Lean 4 theorems (0 sorry), 8-lane SIMD BLAKE3 (.kimg) & MCP server. - newmathphys/kern