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.

BogK Capability Runtime: signed verified packages, brokered Bog-native I/O capabilities, receipt graphs, and deterministic replay.

Verifier-first OpenCL GPU training runtime for legacy hardware and TensionLM

Verifier-first backlog of attackable open problems