gHashTag · gHashTag · Oct 3, 2026 · Oct 3, 2026 · Oct 3, 2026
@@ -32,5 +32,10 @@ pub const AGENTS : [0]str = [];
 pub const AGENTS_NOTE : str = "No source binds an agent letter to this command: docs/agents/AGENTS_ALPHABET.md (rows, key files, phase cycle), specs/OWNERS.md and .claude/agents/*.md do not name it. creator.md and verifier.md name tri gen/test/verify but are not letter agents.";
 ; From the about text (long about when the doc has more than one paragraph); no marketing.
 pub const WHEN_TO_USE : str = "Specs the compiler cannot read, ranked by the construct that stops it. Every census's printed population, against one counted another way.";
+; Recorded run: https://t27.ai/term/t27-tri-census/ (gHashTag/trinity apps/website/public/term/t27-tri-census/).
+; Its meta.json lists 1 run of `tri census`; no other tri has a command of that name.
+; Recorded with target/release/tri built from gHashTag/t27 at 1b12580ce699, not at the commit
+; this card was extracted from. The site plays it at the end of this card.
+pub const CAST : str = "term/t27-tri-census/session.cast";
 pub const WITNESS : str = "source-parse";
 pub const ENABLED : bool = true;
@@ -32,5 +32,10 @@ pub const AGENTS : [0]str = [];
 pub const AGENTS_NOTE : str = "No source binds an agent letter to this command: docs/agents/AGENTS_ALPHABET.md (rows, key files, phase cycle), specs/OWNERS.md and .claude/agents/*.md do not name it. creator.md and verifier.md name tri gen/test/verify but are not letter agents.";
 ; From the about text (long about when the doc has more than one paragraph); no marketing.
 pub const WHEN_TO_USE : str = "The competitor table against its own contract: how many of its published scores were never published, and how many papers it counts twice.";
+; Recorded run: https://t27.ai/term/t27-tri-competitors/ (gHashTag/trinity apps/website/public/term/t27-tri-competitors/).
+; Its meta.json lists 1 run of `tri competitors`; no other tri has a command of that name.
+; Recorded with target/release/tri built from gHashTag/t27 at 1b12580ce699, not at the commit
+; this card was extracted from. The site plays it at the end of this card.
+pub const CAST : str = "term/t27-tri-competitors/session.cast";
 pub const WITNESS : str = "source-parse";
 pub const ENABLED : bool = true;
@@ -32,5 +32,10 @@ pub const AGENTS : [0]str = [];
 pub const AGENTS_NOTE : str = "No source binds an agent letter to this command: docs/agents/AGENTS_ALPHABET.md (rows, key files, phase cycle), specs/OWNERS.md and .claude/agents/*.md do not name it. creator.md and verifier.md name tri gen/test/verify but are not letter agents.";
 ; From the about text (long about when the doc has more than one paragraph); no marketing.
 pub const WHEN_TO_USE : str = "What the parser reads and throws away, ranked against its pinned bound.";
+; Recorded run: https://t27.ai/term/t27-tri-discard/ (gHashTag/trinity apps/website/public/term/t27-tri-discard/).
+; Its meta.json lists 1 run of `tri discard`; no other tri has a command of that name.
+; Recorded with target/release/tri built from gHashTag/t27 at 1b12580ce699, not at the commit
+; this card was extracted from. The site plays it at the end of this card.
+pub const CAST : str = "term/t27-tri-discard/session.cast";
 pub const WITNESS : str = "source-parse";
 pub const ENABLED : bool = true;
@@ -32,5 +32,10 @@ pub const AGENTS : [0]str = [];
 pub const AGENTS_NOTE : str = "No source binds an agent letter to this command: docs/agents/AGENTS_ALPHABET.md (rows, key files, phase cycle), specs/OWNERS.md and .claude/agents/*.md do not name it. creator.md and verifier.md name tri gen/test/verify but are not letter agents.";
 ; From the about text (long about when the doc has more than one paragraph); no marketing.
 pub const WHEN_TO_USE : str = "Completeness theorems whose Lean model is empty.";
+; Recorded run: https://t27.ai/term/t27-tri-lean/ (gHashTag/trinity apps/website/public/term/t27-tri-lean/).
+; Its meta.json lists 2 runs of `tri lean`; no other tri has a command of that name.
+; Recorded with target/release/tri built from gHashTag/t27 at 1b12580ce699, not at the commit
+; this card was extracted from. The site plays it at the end of this card.
+pub const CAST : str = "term/t27-tri-lean/session.cast";
 pub const WITNESS : str = "source-parse";
 pub const ENABLED : bool = true;
@@ -32,5 +32,10 @@ pub const AGENTS : [0]str = [];
 pub const AGENTS_NOTE : str = "No source binds an agent letter to this command: docs/agents/AGENTS_ALPHABET.md (rows, key files, phase cycle), specs/OWNERS.md and .claude/agents/*.md do not name it. creator.md and verifier.md name tri gen/test/verify but are not letter agents.";
 ; From the about text (long about when the doc has more than one paragraph); no marketing.
 pub const WHEN_TO_USE : str = "The specs the compiler reads WRONGLY. Every gate is green on them.";
+; Recorded run: https://t27.ai/term/t27-tri-misread/ (gHashTag/trinity apps/website/public/term/t27-tri-misread/).
+; Its meta.json lists 1 run of `tri misread`; no other tri has a command of that name.
+; Recorded with target/release/tri built from gHashTag/t27 at 1b12580ce699, not at the commit
+; this card was extracted from. The site plays it at the end of this card.
+pub const CAST : str = "term/t27-tri-misread/session.cast";
 pub const WITNESS : str = "source-parse";
 pub const ENABLED : bool = true;
@@ -32,5 +32,10 @@ pub const AGENTS : [0]str = [];
 pub const AGENTS_NOTE : str = "No source binds an agent letter to this command: docs/agents/AGENTS_ALPHABET.md (rows, key files, phase cycle), specs/OWNERS.md and .claude/agents/*.md do not name it. creator.md and verifier.md name tri gen/test/verify but are not letter agents.";
 ; From the about text (long about when the doc has more than one paragraph); no marketing.
 pub const WHEN_TO_USE : str = "Specs a literate author left prose in, and how far that prose is from code.";
+; Recorded run: https://t27.ai/term/t27-tri-prose/ (gHashTag/trinity apps/website/public/term/t27-tri-prose/).
+; Its meta.json lists 1 run of `tri prose`; no other tri has a command of that name.
+; Recorded with target/release/tri built from gHashTag/t27 at 1b12580ce699, not at the commit
+; this card was extracted from. The site plays it at the end of this card.
+pub const CAST : str = "term/t27-tri-prose/session.cast";
 pub const WITNESS : str = "source-parse";
 pub const ENABLED : bool = true;
@@ -32,5 +32,10 @@ pub const AGENTS : [0]str = [];
 pub const AGENTS_NOTE : str = "No source binds an agent letter to this command: docs/agents/AGENTS_ALPHABET.md (rows, key files, phase cycle), specs/OWNERS.md and .claude/agents/*.md do not name it. creator.md and verifier.md name tri gen/test/verify but are not letter agents.";
 ; From the about text (long about when the doc has more than one paragraph); no marketing.
 pub const WHEN_TO_USE : str = "What `.trinity/seals` says about a spec, when it says it twice.";
+; Recorded run: https://t27.ai/term/t27-tri-seals/ (gHashTag/trinity apps/website/public/term/t27-tri-seals/).
+; Its meta.json lists 2 runs of `tri seals`; no other tri has a command of that name.
+; Recorded with target/release/tri built from gHashTag/t27 at 1b12580ce699, not at the commit
+; this card was extracted from. The site plays it at the end of this card.
+pub const CAST : str = "term/t27-tri-seals/session.cast";
 pub const WITNESS : str = "source-parse";
 pub const ENABLED : bool = true;
@@ -32,5 +32,10 @@ pub const AGENTS : [0]str = [];
 pub const AGENTS_NOTE : str = "No source binds an agent letter to this command: docs/agents/AGENTS_ALPHABET.md (rows, key files, phase cycle), specs/OWNERS.md and .claude/agents/*.md do not name it. creator.md and verifier.md name tri gen/test/verify but are not letter agents.";
 ; From the about text (long about when the doc has more than one paragraph); no marketing.
 pub const WHEN_TO_USE : str = "The executed-vector registry: run a module's vectors, or inventory which files are executed and which are only displayed.";
+; Recorded run: https://t27.ai/term/t27-tri-vectors/ (gHashTag/trinity apps/website/public/term/t27-tri-vectors/).
+; Its meta.json lists 1 run of `tri vectors`; no other tri has a command of that name.
+; Recorded with target/release/tri built from gHashTag/t27 at 1b12580ce699, not at the commit
+; this card was extracted from. The site plays it at the end of this card.
+pub const CAST : str = "term/t27-tri-vectors/session.cast";
 pub const WITNESS : str = "source-parse";
 pub const ENABLED : bool = true;
@@ -85,7 +85,7 @@ <h1>tri devkit · the FPGA flow, layer by layer</h1>
 <div class="cmds"><i>$</i> tri devkit flow --build --out /tmp/devkit-flow/rec1
 <i>$</i> tri devkit impact --out /tmp/devkit-flow/rec1 --builds 20</div>
 <p class="honest">Staged: the prompt and the typing. Real: every byte the commands printed, at the time they printed it. Any silence longer than 2 s is shown for 2 s, and the title bar says so while it happens. Edited: home directory shown as ~.</p>
-<div class="links"><a href="https://t27.ai/#/devkit">Read the post</a><a href="card.png">Preview card</a></div>
+<div class="links"><a href="https://t27.ai/#/devkit">Read the post</a><a href="session.gif">GIF</a><a href="card.png">Preview card</a></div>
 </main>
 <script type="module">
 import { mount } from '../player.js'

@@ -3,6 +3,7 @@
   "title": "tri devkit · the FPGA flow, layer by layer",
   "desc": "One real XC7A200T build: 116.9 s with openXC7, 83.5 s with t27 L3+L4, byte-identical. Place & route is 60%.",
   "url": "https://t27.ai/term/devkit-flow/",
+  "gif": "https://t27.ai/term/devkit-flow/session.gif",
   "post": "https://t27.ai/#/devkit",
   "recorded": "2026-10-03 04:31 UTC",
   "real_s": 127.4,

@@ -12,9 +12,9 @@
 <meta property="og:title" content="Recordings · Trinity S³AI">
 <meta property="og:description" content="Terminal sessions recorded from real commands: the output is what the commands printed.">
 <meta property="og:url" content="https://t27.ai/term/">
-<meta property="og:image" content="https://t27.ai/term/tri-game-tick/card.png">
+<meta property="og:image" content="https://t27.ai/term/t27-tri-vectors/card.png">
 <meta name="twitter:card" content="summary_large_image">
-<meta name="twitter:image" content="https://t27.ai/term/tri-game-tick/card.png">
+<meta name="twitter:image" content="https://t27.ai/term/t27-tri-vectors/card.png">
 <style>@font-face{font-family:Outfit;src:url(../fonts/outfit-latin.woff2) format('woff2');font-weight:100 900;font-display:swap}
 *{box-sizing:border-box}html,body{margin:0;background:#000;color:#ebebeb}
 body{font:16px/1.6 Outfit,system-ui,sans-serif;background-image:linear-gradient(rgba(255,255,255,.025) 1px,transparent 1px),linear-gradient(90deg,rgba(255,255,255,.025) 1px,transparent 1px);background-size:40px 40px}
@@ -44,8 +44,16 @@
 <main>
 <div class="top"><a class="brand" href="../"><img src="../favicon.svg" alt="">Trinity S³AI</a></div>
 <h1>Recordings</h1>
-<p class="lede">Terminal sessions recorded from real commands: the output is what the commands printed. 10 so far.</p>
+<p class="lede">Terminal sessions recorded from real commands: the output is what the commands printed. 18 so far.</p>
 <div class="grid">
+<a href="t27-tri-vectors/"><img src="t27-tri-vectors/card.png" alt="" loading="lazy"><div><b>tri vectors debt: tests that are prose</b><small>2026-10-03 16:18 UTC · 2.4 s real</small></div></a>
+<a href="t27-tri-seals/"><img src="t27-tri-seals/card.png" alt="" loading="lazy"><div><b>tri seals: hollow seals that pass every check</b><small>2026-10-03 16:18 UTC · 4.9 s real</small></div></a>
+<a href="t27-tri-prose/"><img src="t27-tri-prose/card.png" alt="" loading="lazy"><div><b>tri prose report: prose, or code?</b><small>2026-10-03 16:18 UTC · 14.4 s real</small></div></a>
+<a href="t27-tri-misread/"><img src="t27-tri-misread/card.png" alt="" loading="lazy"><div><b>tri misread: code that compiles and is wrong</b><small>2026-10-03 16:18 UTC · 25.0 s real</small></div></a>
+<a href="t27-tri-lean/"><img src="t27-tri-lean/card.png" alt="" loading="lazy"><div><b>tri lean: proofs that nothing compiles</b><small>2026-10-03 16:18 UTC · 4.7 s real</small></div></a>
+<a href="t27-tri-discard/"><img src="t27-tri-discard/card.png" alt="" loading="lazy"><div><b>tri discard top: what the parser throws away</b><small>2026-10-03 16:18 UTC · 4.9 s real</small></div></a>
+<a href="t27-tri-competitors/"><img src="t27-tri-competitors/card.png" alt="" loading="lazy"><div><b>tri competitors audit: the table, audited</b><small>2026-10-03 16:18 UTC · 2.6 s real</small></div></a>
+<a href="t27-tri-census/"><img src="t27-tri-census/card.png" alt="" loading="lazy"><div><b>tri census audit: every census, counted twice</b><small>2026-10-03 16:18 UTC · 14.9 s real</small></div></a>
 <a href="tri-game-tick/"><img src="tri-game-tick/card.png" alt="" loading="lazy"><div><b>tri game-tick: one anomaly scan, only what changed</b><small>2026-10-03 13:02 UTC · 74.1 s real</small></div></a>
 <a href="tri-fpga-selftest/"><img src="tri-fpga-selftest/card.png" alt="" loading="lazy"><div><b>tri fpga-selftest: off-board self-tests, no port opened</b><small>2026-10-03 13:00 UTC · 77.2 s real</small></div></a>
 <a href="tri-selftest/"><img src="tri-selftest/card.png" alt="" loading="lazy"><div><b>tri selftest: the dependencies tri needs</b><small>2026-10-03 12:59 UTC · 2.2 s real</small></div></a>