TS-Reasoner v30.0.0: verifier-first local agent OS where language/model systems propose, typed verifier support and risk gates decide, and receipts make outcomes inspectable.
Local-first provenance-aware concept graph for confidence-weighted claims, contradiction tracking, and TS-style inspectable knowledge memory.
Project-control layer for repo graphs, release tension, verification receipts, and TS ecosystem truth checks.
Typed tension kernel for graph state, activation, channel interfaces, resolver traces, relaxation, and receipts.
Public map for the BoggersTheFish TS stack: TS-Reasoner v2 learned candidate receipt, typed verifier boundaries, limits, and proof routes.
Add a description, image, and links to the constraint-graph topic page so that developers can more easily learn about it.
To associate your repository with the constraint-graph topic, visit your repo's landing page and select "manage topics."