Current work
Eight active questions, not fifty-two competing flagships.
TS is a verifier-first research programme exploring explicit semantic state, constraint graphs, tension signals, typed checks, adaptive compute, and deterministic state transitions.
TS-Reasoner
A verifier-first operation firewall where models may propose candidates, but typed checks decide what is accepted, repaired, remembered, or rejected.
TS Chat Language
A deterministic language compiler from text into dialogue acts, semantic frames, a MeaningGraph, graph-diff memory, response plans, and rendered language.
Ten-SON-LM
A recurrent language architecture with a fixed-size semantic workspace where learned tension controls revision, sparse routing, relaxation, and readout.
TensionForge
A verifier-first OpenCL training runtime for legacy AMD hardware, built around exact parity receipts before performance claims.
TSQ
Tension-Structured Quantization: a verifier-gated runtime that keeps ordinary inference cheap and escalates precision or repair when tension justifies the cost.
bogbin / BogOS
A deterministic verified storage and computing substrate spanning exact containers, packages, processes, filesystems, persistent workspaces, and append-only journals.
TS-Benchmarks
An audit-first falsification harness for graph relaxation, hard reasoning, matched model comparisons, and compute experiments.
TensionLM
The earlier model-science line testing sigmoid pairwise tension attention, telemetry, curriculum behaviour, and bounded formal-domain signals.
How the stack fits together
The projects are modular on purpose. Language, verification, learned mechanisms, and deterministic computing should be testable without collapsing into one giant repository.
Human interface
ts-chat-language compiles text into explicit semantic frames, MeaningGraphs, state diffs, and response plans.
Authority boundary
TS-Reasoner verifies typed support, contains failed candidates, repairs bounded errors, and controls memory writes.
Learned mechanisms
Ten-SON-LM and TensionLM test tension inside models; TSQ tests whether tension can allocate numerical compute.
Deterministic substrate
bogbin verifies state and persistence; TensionForge verifies custom training execution on legacy hardware.
Supporting nodes
These contain useful infrastructure or bounded experiments. They support the active programmes rather than starting another public storyline.
TS-Core
A compact graph/tension kernel for nodes, weighted relations, activation, propagation, relaxation, contradiction handling, and structural revision.
CIG
A compact deterministic claim/evidence graph engine for provenance, contradiction, confidence, propagation, derivatives, and structural revision.
Proof Ranker
A bounded model ladder for proof existence, path quality, local failure detection, repair, and generator/ranker/verifier loops.
Where did the rest go?
Into the lineage, not into oblivion.
Earlier GOAT, AI, OS, CIG, wave, visualisation, model, and convergence repositories are recorded by idea, outcome, and successor before their GitHub sources are removed.
Open the full lineage