feat(website): tool cards end with their recorded run, and every tri command has a card

[gHashTag]

Every command of the three programs called tri now has a card on the tools page. A gate holds the cards to committed command lists. A card whose command has a published terminal recording ends with that recording, and every other tri card says "no recording yet".

Stacked on #1273. The branch also merges #1282 (trios tri cards), so the diff shows its commits until that lands.

CLI	source (pinned)	commands	cards	with a recording	no recording yet
t27	gHashTag/t27@1b12580ce699	52	52	0	52
Trinity	04a7894fa64f	249	249 (29 registry-export + 220 generated)	0	249
trios	gHashTag/BrowserOS@7366096248df	295	295	10	285
total		596	596	10	586

{
  "version": 1,
  "head_sha": "5c4449dbd16bc160140028f67eae90eb2b206ad5",
  "summary": "Tool cards can name a terminal recording (CAST = term/<id>/session.cast), and the tool and spec explorers end the card with the player. Every command of the three tri programs now has a card: t27 52, Trinity 249 (220 of them generated from the dispatcher source) and trios 295. A new gate fails when a command has no card or a recording misses the card of the one tri that has that command. Ten cards have a recording (trios tri devkit, tri x7-board, and eight of the most-used read-only trios commands); the other 586 say so. A manual CI workflow can record --help casts for every command; it has not been run.",
  "changes": [
    "scripts/agents-from-specs.mjs castProblems/castEntry: CAST must be term/<id>/session.cast with meta.json, asciicast v2, every exit code 0, meta agreeing with the header, and a recorded line that runs the card's COMMAND; WITNESS runtime is refused without a CAST; MCP cards cannot carry one",
    "src/pages/ToolExplorer.tsx, SpecExplorer.tsx: RECORDED RUN box with TerminalCast at the end of a tool card, and a 'no recording yet' box on tri cards without CAST; EN and RU keys added in pairs",
    "scripts/tri-commands.mjs + qa/tri-commands/{t27,trinity,trios}.json: the command list of each tri read from source at a pinned commit (clap enum, Zig early routes/namespaces/parseCommand/registry, trios case arms and tri help)",
    "scripts/tools-from-trinity-tri.mjs + public/t27/files/specs/tools/trinity/cli/*.t27: 220 generated cards; ABOUT is the command's own help text or 'no help text in gHashTag/trinity@04a7894fa64f'; COLLIDES_WITH for the 10 names t27 also has",
    "scripts/tools-from-trios-tri.mjs: emits CAST for commands a recording ran; empty-help ABOUT names the pinned source",
    "qa/tools-coverage-contract.mjs (npm run check:tools-coverage): every command has a card, every card a command, the Trinity snapshot matches src/tri, recorded unambiguous commands carry their CAST and ambiguous ones never do; prints the per-CLI table",
    "public/tools/spec-tools-trinity.json: third catalog part (771,545 bytes); spec-tools.json 262,230 and spec-tools-trios.json 898,698, all under 1 MB",
    "scripts/tri-help-casts.mjs + .github/workflows/tri-help-casts.yml: workflow_dispatch-only recorder of `tri <cmd> --help` casts with no runner secrets in the environment; uploads an artifact and publishes nothing",
    ".github/workflows/website-checks.yml: runs check:tools-coverage and test:tri-commands; the five dispatcher files trigger it",
    "scripts/tri-commands.test.mjs (10 tests) and agents-from-specs.test.mjs (catalog counts updated to 607 cards, 12 collisions)"
  ],
  "tests": [
    {
      "command": "node --experimental-strip-types qa/tools-spec-contract.mjs",
      "status": "passed",
      "result": "607 cards (tri 596, of which 249 Trinity; 12 collisions); with a recorded run 2: BrowserOS tri/devkit <- devkit-flow, tri/x7-board <- x7-board; runtime witness 0",
      "evidence": "local run of this head, 2026-10-03"
    },
    {
      "command": "node --experimental-strip-types qa/tools-coverage-contract.mjs",
      "status": "passed",
      "result": "t27 52/52, Trinity 249/249, trios 295/295 commands with a card; 10 with a recording, 586 without",
      "evidence": "local run of this head, 2026-10-03"
    },
    {
      "command": "node --test scripts/tri-commands.test.mjs && node --test scripts/agents-from-specs.test.mjs && node --test scripts/docs-from-specs.test.mjs",
      "status": "passed",
      "result": "10/10, 53/53, 8/8",
      "evidence": "local run of this head, 2026-10-03"
    },
    {
      "command": "agents-from-specs --check, docs-from-specs --check, tools-from-trinity-tri --check, tools-from-trios-tri --check and tri-commands --check for t27, trinity and trios against their pinned sources",
      "status": "passed",
      "result": "every generated file and snapshot is in step with its source",
      "evidence": "local run of this head, 2026-10-03"
    },
    {
      "command": "qa/tools-site-contract.mjs, qa/explorer-language-contract.mjs, qa/agents-spec-contract.mjs, qa/docs-spec-contract.mjs, qa/queen-spec-sync-contract.mjs",
      "status": "passed",
      "result": "607 cards open on the site; 7 explorer pages with identical en/ru key sets; agents, docs and queen spec sync pass",
      "evidence": "local run of this head, 2026-10-03"
    },
    {
      "command": "TypeScript syntax of ToolExplorer.tsx, SpecExplorer.tsx, agentSpecs.ts via ts.transpileModule",
      "status": "passed",
      "result": "0 diagnostics; a full type check is left to CI",
      "evidence": "local run of this head, 2026-10-03"
    },
    {
      "command": "npx vite build, npm run typecheck:ratchet, check:render, check:queen-embed",
      "status": "not_run",
      "result": "not run locally; left to CI",
      "evidence": "not run on the laptop by instruction (load); the embed check also needs Chrome"
    },
    {
      "command": ".github/workflows/tri-help-casts.yml (record --help casts for every command)",
      "status": "not_run",
      "result": "left to CI; workflow_dispatch only, nothing recorded or published by this PR",
      "evidence": "the recorder was only smoke-tested locally with /bin/echo standing in for tri"
    }
  ],
  "limitations": [
    "Only 10 of 596 cards have a recording: devkit, x7-board, and eight of the most-used read-only trios commands (fpga-specs, fpga-keycheck, fpga-selftest, game-selftest, game-tick, game-vault, blog, selftest), recorded with the live ~/.local/bin/tri, not a build of the pinned commit. A recording attaches only when the command name belongs to one tri: meta.json does not say which binary ran, and 19 names (aliases included) belong to more than one of the three programs.",
    "The 220 Trinity cards are source-parse: src/tri was read as text, and the CLI was not built or run. 80 of them have no help text and say so.",
    "Not counted as Trinity commands: 12 execute_map handlers that no route, namespace word, parser token or registry entry names.",
    "The t27 and trios lists are snapshots at a pinned commit. A newer command there fails nothing until someone regenerates the snapshot.",
    "SpecExplorer shows the recording and the no-recording box only for tool cards in the vendored spec corpus. The trios and trinity/cli cards are not in it.",
    "The 220 generated Trinity cards have no Russian summary yet.",
    "No visual browser check of the new boxes was made."
  ],
  "tags": ["Tooling", "Website", "t27"],
  "blog": {
    "title": "Every tri command has a card",
    "summary": "This PR is itself the blog article: three programs answer to tri, and the tools page now lists every command of all three. It gates the list against source pinned at a commit, ends a card with its terminal recording when there is one, and says so plainly when there is not.",
    "outline": [
      "Three programs are called tri, and the tools page knew 376 of their 596 commands; the rest had no card and nothing failed.",
      "Each command list is read from source at a commit and committed, with 220 Trinity cards generated from the dispatcher. Every description is the command's own help or says there is none, and a gate fails on any command without a card.",
      "Recordings: a card ends with a terminal cast only when the command name belongs to one tri. 10 of 596 have one, a CI recorder for --help casts exists and has not run, and 586 cards say no recording yet."
    ]
  }
}

🤖 Generated with Claude Code