Project index

Research tools, not product theater.

TS is an engineering framework for modelling information transfer through constraint graphs, tension, propagation, relaxation, contradiction handling, and revision.

Claim discipline: Claims are bounded to the linked experiment scale. Broad capability claims require benchmark receipts.

Docs

Proof Bank

Website

CIG

TensionLM

Proof Ranker

TS-Core graph/tension substrate

Core project cards

The first-contact path is TS-Core, TensionLM, CIG, and Proof Ranker. Each card routes to receipts, repo/model links, current limits, and next milestones.

Active

TS-Core

Minimal graph/tension runtime for nodes, edges, activation, propagation, relaxation, and Break/Evolve cycles.

graph runtimetension telemetryrelaxation

Explore TS-Core

Experimental

TensionLM

Language model experiments using sigmoid tension attention and inspectable pairwise tension fields.

language modelssigmoid tensiontelemetry

Explore TensionLM

In Progress

CIG

Constraint Information Graph for claims, evidence, sources, confidence, contradictions, and revision.

provenanceknowledge graphcontradictions

Explore CIG

Published

Proof Ranker

Small proof-control ladder for proof scoring, repair, verifier loops, and active-frontier experiments.

proof rankingverifiersrepair

Explore Proof Ranker

Secondary and historical branches

These projects are experimental, historical, or satellite branches. They are context, not the best first-contact route into the current stack.