TS-Reasoner v10.0.0

What problem it addresses

Reasoning demos often blend proof completion, identity collapse, reverse inference, quantifier scope, contradiction, and confidence into one opaque score.

How it works

Represent reasoning work as typed tension channels over graph state. Learned/model outputs enter only as candidate data: TS-Reasoner verifies channel traces, resolver events, abstentions, and receipts.

What exists now

v10.0.0 release is live on GitHub with runtime OS docs, release authority, tests, and receipts.

Evidence / receipts

v10.0.0 unifies ordered replay, policy contracts, tamper-evident ledger, checkpoint/restore, recovery drill, and release authority with zero candidate graph contamination.

Limits

Still bounded: runtime integrity is not claim truth, generated text is not proof, model confidence is not proof, and this is not a chatbot or general theorem prover.

Next milestone

Keep public release surfaces synced and expand runtime policy/recovery evidence without weakening verifier authority.