specs/tools/tri: eight tri cards name their recorded run (CAST) (#5767) - #5775
Merged
Merged
Conversation
misread, discard, census, seals, prose, lean, competitors and vectors now end with pub const CAST : str = "term/t27-tri-<command>/session.cast", a recording of `tri <command>` built from master at 1b12580, every exit code 0, home path scrubbed. gHashTag/trinity publishes the pages and vendors the same eight hunks. specs/tools/README.md: the tri card schema gains a CAST row that points at castProblems() in trinity's agents-from-specs.mjs instead of copying its rules. A CAST leaves WITNESS at source-parse. Closes #5767 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Contributor
|
📓 NotebookLM Notebook linked to this PR
This notebook contains session context, decisions, and artifacts for this work. |
Contributor
This was referenced Oct 3, 2026
gHashTag
added a commit
to gHashTag/trinity
that referenced
this pull request
Oct 3, 2026
…commands recorded (#1295) * feat(website): every recording page ships session.gif, the one format X animates A tweet that links t27.ai/term/ID/ shows card.png: X renders a link card as a still image, and only an animated GIF attached to the tweet as media moves. An intent link cannot attach media, so the page now carries the GIF the owner attaches by hand. The ten published recordings gain session.gif, rendered by `tri cast gif ID --repo` inside X's animated-GIF limits (15 MB, 1280x1080, 350 frames, 300M pixels of w*h*frames). meta.json names it under "gif", and each page links it next to the preview card. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * feat(website): eight t27 tri commands recorded, each card ends with its run t27's tri had 0 of 52 cards with a recording. Eight now have one, each run with target/release/tri built from gHashTag/t27 at 1b12580ce699, every exit code 0, home path scrubbed: tri misread tri discard top tri census audit tri seals fresh/hollow tri prose report tri lean vacuous/reach tri competitors audit tri vectors debt Each gets public/term/t27-tri-*/ (page, cast, card, GIF, meta.json). The IDs say t27 because Trinity and trios each have a tri too; check:tools-coverage confirms none of the eight command words is in another CLI. The cards are gHashTag/t27's (specs/tools/README.md: edit there, re-vendor here). The eight vendored cards carry the same hunks as gHashTag/t27#5775, line for line; the rest of each file stays at the vendored t27@bf7d8eea9 until the next world refresh. Merge after gHashTag/t27#5775. Recorded but left out: `tri ledgers audit` exits 1, `tri status` and `tri health` print ring-47 data from 2026-04-06, `tri worktrees` ran past 120 s. agents-from-specs.test.mjs pinned withCast at 2 while main already had 10; it now pins 18 and checks the t27 tri misread card too. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> --------- Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>
github-actions Bot
added a commit
to gHashTag/trinity
that referenced
this pull request
Oct 3, 2026
feat(website): recording pages ship session.gif for X; eight t27 tri commands recorded (#1295) * feat(website): every recording page ships session.gif, the one format X animates A tweet that links t27.ai/term/ID/ shows card.png: X renders a link card as a still image, and only an animated GIF attached to the tweet as media moves. An intent link cannot attach media, so the page now carries the GIF the owner attaches by hand. The ten published recordings gain session.gif, rendered by `tri cast gif ID --repo` inside X's animated-GIF limits (15 MB, 1280x1080, 350 frames, 300M pixels of w*h*frames). meta.json names it under "gif", and each page links it next to the preview card. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * feat(website): eight t27 tri commands recorded, each card ends with its run t27's tri had 0 of 52 cards with a recording. Eight now have one, each run with target/release/tri built from gHashTag/t27 at 1b12580ce699, every exit code 0, home path scrubbed: tri misread tri discard top tri census audit tri seals fresh/hollow tri prose report tri lean vacuous/reach tri competitors audit tri vectors debt Each gets public/term/t27-tri-*/ (page, cast, card, GIF, meta.json). The IDs say t27 because Trinity and trios each have a tri too; check:tools-coverage confirms none of the eight command words is in another CLI. The cards are gHashTag/t27's (specs/tools/README.md: edit there, re-vendor here). The eight vendored cards carry the same hunks as gHashTag/t27#5775, line for line; the rest of each file stays at the vendored t27@bf7d8eea9 until the next world refresh. Merge after gHashTag/t27#5775. Recorded but left out: `tri ledgers audit` exits 1, `tri status` and `tri health` print ring-47 data from 2026-04-06, `tri worktrees` ran past 120 s. agents-from-specs.test.mjs pinned withCast at 2 while main already had 10; it now pins 18 and checks the t27 tri misread card too. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> --------- Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Closes #5767
specs/tools/tri/end withpub const CAST : str = "term/t27-tri-<command>/session.cast";:misread,discard,census,seals,prose,lean,competitorsandvectors. Before this, t27 had 0 of 52 cards with a recording.target/release/tribuilt from master at 1b12580. Every exit code is 0, and the home path is scrubbed.sealsandleanrecord two runs each.specs/tools/README.md: thetri/<command>.t27schema gains aCASTrow. It points atcastProblems()in gHashTag/trinityapps/website/scripts/agents-from-specs.mjsinstead of restating its rules. A CAST leavesWITNESSatsource-parse.t27c parsereadsCASTon all eight as apubConstDeclwith its string literal, with no parse errors.spec-statusisNOFNbefore and after, as for every card. A localt27c suite --ratchet --corpus-only --repo-root .reportsRATCHET: CLEAN.tools/check_now_entry_shape.pypasses on the docs/now entry.Merge order. gHashTag/trinity carries the same eight hunks in its vendored copy, together with the recording pages, and merges after this PR. The two have to land together on the trinity side:
check:tools-coveragefails on a recording whose card has no CAST, andcheck:toolsfails on a CAST whose recording is missing.Not recorded, so not given a CAST:
tri ledgers auditexits 1,tri statusandtri healthprint ring-47 data from 2026-04-06, andtri worktreesran past 120 s.🤖 Generated with Claude Code