Skip to content

TS-Reasoner v30.0.0: Verifier-First Local Agent OS

Choose a tag to compare

View all tags
@BoggersTheFish BoggersTheFish released this 01 Jun 13:42
· 6 commits to main since this release
v30.0.0
9af02ce
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

TS-Reasoner v30.0.0 adds the Verifier-First Local Agent OS milestone.

Release claim:

  • TS-OS now composes a native conversational shell loop, evidence dashboard, proof object examples, first-contact demo, and verifier-first local agent OS runner.
  • Natural-language turns route through typed TS-AGL calls.
  • Unsafe or ambiguous requests safely abstain.
  • External side-effect requests remain gated and do not execute real external effects.
  • Proof object examples expose the typed verifier boundary.
  • Evidence dashboard summarizes safety and receipt metrics.
  • Candidate graph contamination remains zero.
  • No external LLM is used.

Included:

  • v26 chat loop
  • v27 evidence dashboard
  • v28 proof object examples
  • v29 first-contact demo
  • v30 composed verifier-first local agent OS

Verification:

  • python3 -m unittest tests.test_ts_os_chat_loop tests.test_ts_evidence_dashboard tests.test_proof_object_examples tests.test_first_contact_demo tests.test_ts_os_v30 -q
  • python3 -m unittest discover -q
  • python3 scripts/run_ts_os_chat_loop_demo.py
  • python3 scripts/evaluate_ts_os_chat_loop.py
  • python3 scripts/run_first_contact_demo.py
  • python3 scripts/evaluate_ts_os_v30.py

Boundary:

  • Not broad autonomous agency.
  • Not a chatbot claim.
  • No external LLM.
  • No real external side effect.
  • Router confidence is not proof.
  • Language is not proof authority.
  • Proof examples are explanatory receipts, not model confidence.
  • Writes/external effects remain gated.
  • Candidate graph contamination remains zero.
Assets 12
Loading