Skip to content

MathCheck Engine 0.3.1

Choose a tag to compare

View all tags
@stanleyngugi stanleyngugi released this 12 Sep 09:17
· 20 commits to main since this release
v0.3.1
83560d1

First public MathCheck Engine release.

Highlights:

  • bounded integer evaluation, sums, counts, and minima
  • complete finite-pair certificates
  • explicit verdict taxonomy and digest-bound evidence
  • opt-in fail-closed Linux isolation with Lean 4.23.0
  • documented trust boundary and future contract roadmap

Compatibility: the Python distribution remains lean-kernel-verifier and the import remains lean_kernel_verifier throughout the 0.x line.

Validation: 70 tests and 42 subtests passed. The clean release gate passed twice with byte-identical wheels using Lean 4.23.0. The GitHub-hosted job is pending because the account billing lock prevented a runner from starting; no workflow step failed.

Assets 4
Loading