TS-Reasoner v40.0.0 adds the self-hosting verifier-first research OS milestone.
Release claim:
- TS-Reasoner composes bounded v32-v39 research OS surfaces into one deterministic self-hosting stack.
- The stack includes ontology compilation, verifier-gated memory, TS-AGL plan compilation, automated research forge planning, self-repair auditing, confirmation-gated patch staging, ecosystem audit, verifier/model co-evolution reporting, and a composed research OS receipt.
- The research OS can prepare a bounded next-release-candidate plan for TS-Reasoner.
- Generated text, model confidence, memory, repeated experience, curriculum examples, and router confidence are never proof authority.
- Patches are staged and require confirmation before mutation.
- External LLM usage, network calls, and real external side effects remain zero.
- Candidate graph contamination remains zero.
Boundary:
- Not AGI.
- Not autonomous science.
- Not unrestricted self-improvement.
- Not free self-learning.
- Not broad NLP understanding.
- Not live external automation.
- Not proof by confidence, memory, confirmation, or repeated experience.
- v40 composes bounded v32-v39 surfaces; it does not claim every subsystem is a mature standalone autonomous implementation.
- Typed verifier support remains the proof boundary.
Verification:
- python3 scripts/evaluate_v32_v40_research_os.py
- python3 -m unittest tests.test_research_os_v40 -q
- python3 -m unittest discover -q