MathCheck RL 0.2.2

Validated RL core, sequence, and Hub 0.1.2 wheels from native gate source 62c988f. The unchanged joint native gate passed under QEMU WHPX with stock Lean 4.23.0. RL live suite: 182 passed; one optional training-only test module skipped because PyTorch was not installed. Required native skips: zero. The Hub wheel retains immutable Engine fa2f04ce4a1d114f08444944dbf0898515611980 and core d7158c4 pins. Full logs, manifest and environment record are attached; evidence is in https://github.com/stanleyngugi/mathcheck-rl/tree/main/docs/evidence/native-closeout-whpx-20261005-final.

MathCheck RL 0.2.1

Corrective MathCheck RL release and first GitHub release containing the public MathCheck RL Hub package.

Changes:

• requires Python 3.11 through 3.13 (>=3.11,<3.14)
• depends on MathCheck Engine 0.3.2 or newer within the 0.x compatibility line
• updates the historical finite-observation sequence package to 0.2.1
• includes mathcheck-rl 0.1.1, the answer-key-free Verifiers v1 environment published on Prime Hub
• pins the Hub package to immutable Engine and RL source commits

Validation: 113 tests passed and 2 platform-specific tests were intentionally skipped. The complete clean release gate passed twice with byte-identical wheels, a clean pip check, and real isolated Lean checks accepting a known-correct answer and rejecting a known-wrong answer. See release-manifest.json for exact hashes.

MathCheck RL 0.2.0

First public MathCheck RL release.

Highlights:

• answer-key-free bounded specification tasks
• complete bounded-pair certificates
• separate legacy finite-observation sequence environment
• digest-disjoint task splits and exact-input reward caching
• fail-closed MathCheck Engine integration
• reproducible release and offline pilot-preregistration gates

Compatibility: the Python distributions remain native-verify, native-verify-spec, and native-verify-seq throughout the 0.x line.

Validation: 111 tests passed and 2 platform-specific tests were intentionally skipped. The clean release gate passed twice with byte-identical wheels and real isolated Lean checks. The GitHub-hosted job is pending because the account billing lock prevented a runner from starting; no workflow step failed.