trinity-s3ai

Coq proof editing rules for Trinity S3AI — honesty tags, Admitted conventions, and proof structure

Садовник IGLA RACE — управление садом обучающих запусков trios-train. Команды: status, prune, water, harvest, fertilize, weed, trellis, compost, full. Предпочитает tri gardener CLI (Rust) и HTML chart report с Chart.js. Триггеры: «/gardener», «садовник», слова про BPB/логи/упавшие процессы в контексте trios-train.

Boundary Theorems BT-1 through BT-4 — formal obstruction results and how to cite them correctly

Audit and heal anomalies in the Trinity S3AI second brain database

Edit the Trinity S3AI claim ledger — SSOT rules, YAML editing, and regeneration workflow

GOLDEN CHAIN puzzle — hardware-verified proof chain, ClaimStatus rules, scoring, ring architecture, and how to modify the game

Run the complete Trinity S3AI honesty validation suite

Query the Trinity S3AI second brain (RAG) via the trios-mcp-rag MCP server — chapter search, claim status, honest counters, PDF pipeline