This repository was archived by the owner on Jun 25, 2026. It is now read-only.
TS-Reasoner v0.9.0 proof-chain support
v0.9.0 closes the narrow proof-chain gap exposed by v0.8 on the existing normalized small benchmark fixture.
Verification:
- python3 -m unittest discover: 27 tests passed
- python3 scripts/evaluate_v09_proof_chains.py generated artifacts/v09_proof_chain_report.json
- full_control_loop: 10/10 correct, 10/10 settled
- small_proof_chain/full_control_loop: 2/2 correct
Limits: positive universal all/all chains only; still toy-scope and normalized, not a broad reasoning benchmark claim.