TS-Reasoner v10.0.0: Verifier-First Reasoning OS

TS-Reasoner v10.0.0 packages the v9 runtime line into one bounded verifier-first runtime surface.

What v10.0.0 adds

• Unified runtime session surface
• Runtime policy contracts from v9.8.0
• Runtime recovery drill from v9.9.0
• Ordered replay
• Tamper-evident runtime ledger
• Runtime checkpoint and restore
• v10 CLI entrypoints
• v10 release authority, README, model/system card, docs, tests, and receipts

Run

python3 -m ts_reasoner.runtime_os_cli suite --session @data/v10_0/runtime_os_session.json
python3 -m ts_reasoner.cli v10
python3 scripts/v10_0/evaluate_runtime_os.py
python3 -m unittest discover -q

Boundary

v10 is not a chatbot, broad natural-language understanding system, or general theorem prover.

Runtime integrity is not claim truth.
Candidate generation is not proof.
Generated text is not proof.
Model confidence is not proof.
Typed verifier support remains the proof boundary.