Skip to content

MathCheck Engine 0.3.3

Latest
Latest

Choose a tag to compare

View all tags
@stanleyngugi stanleyngugi released this 05 Oct 16:45
v0.3.3
2556e1f

Validated Engine 0.3.3 wheel from native gate source 2556e1f. The unchanged joint native gate passed under QEMU WHPX with stock Lean 4.23.0. Engine live suite: 96 passed, 52 subtests passed. Wheel SHA-256: da94438427e02382c80dcf366c540c3e625e552966d7c873516aaca7790f6782. Full report, environment record, manifest, and stage logs are attached; RL closeout evidence is in https://github.com/stanleyngugi/mathcheck-rl/tree/main/docs/evidence/native-closeout-whpx-20261005-final.

Assets 7
Loading