diff --git a/apps/website/public/t27/files/specs/tools/tri/census.t27 b/apps/website/public/t27/files/specs/tools/tri/census.t27 index d29279323b..759d632669 100644 --- a/apps/website/public/t27/files/specs/tools/tri/census.t27 +++ b/apps/website/public/t27/files/specs/tools/tri/census.t27 @@ -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; diff --git a/apps/website/public/t27/files/specs/tools/tri/competitors.t27 b/apps/website/public/t27/files/specs/tools/tri/competitors.t27 index c036f080ed..5ed06abe9b 100644 --- a/apps/website/public/t27/files/specs/tools/tri/competitors.t27 +++ b/apps/website/public/t27/files/specs/tools/tri/competitors.t27 @@ -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; diff --git a/apps/website/public/t27/files/specs/tools/tri/discard.t27 b/apps/website/public/t27/files/specs/tools/tri/discard.t27 index da481f2755..de40256b09 100644 --- a/apps/website/public/t27/files/specs/tools/tri/discard.t27 +++ b/apps/website/public/t27/files/specs/tools/tri/discard.t27 @@ -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; diff --git a/apps/website/public/t27/files/specs/tools/tri/lean.t27 b/apps/website/public/t27/files/specs/tools/tri/lean.t27 index dbef7dac20..5c9bf53eea 100644 --- a/apps/website/public/t27/files/specs/tools/tri/lean.t27 +++ b/apps/website/public/t27/files/specs/tools/tri/lean.t27 @@ -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; diff --git a/apps/website/public/t27/files/specs/tools/tri/misread.t27 b/apps/website/public/t27/files/specs/tools/tri/misread.t27 index 39b0abd7ca..251239c035 100644 --- a/apps/website/public/t27/files/specs/tools/tri/misread.t27 +++ b/apps/website/public/t27/files/specs/tools/tri/misread.t27 @@ -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; diff --git a/apps/website/public/t27/files/specs/tools/tri/prose.t27 b/apps/website/public/t27/files/specs/tools/tri/prose.t27 index ccf4b5c873..ddf34a5edd 100644 --- a/apps/website/public/t27/files/specs/tools/tri/prose.t27 +++ b/apps/website/public/t27/files/specs/tools/tri/prose.t27 @@ -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; diff --git a/apps/website/public/t27/files/specs/tools/tri/seals.t27 b/apps/website/public/t27/files/specs/tools/tri/seals.t27 index 624b15eb9a..9a5b0f80e5 100644 --- a/apps/website/public/t27/files/specs/tools/tri/seals.t27 +++ b/apps/website/public/t27/files/specs/tools/tri/seals.t27 @@ -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; diff --git a/apps/website/public/t27/files/specs/tools/tri/vectors.t27 b/apps/website/public/t27/files/specs/tools/tri/vectors.t27 index 9a5218b3a3..48b9be5855 100644 --- a/apps/website/public/t27/files/specs/tools/tri/vectors.t27 +++ b/apps/website/public/t27/files/specs/tools/tri/vectors.t27 @@ -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; diff --git a/apps/website/public/term/devkit-flow/index.html b/apps/website/public/term/devkit-flow/index.html index 69505b1454..e8182c663d 100644 --- a/apps/website/public/term/devkit-flow/index.html +++ b/apps/website/public/term/devkit-flow/index.html @@ -85,7 +85,7 @@

tri devkit · the FPGA flow, layer by layer

$ tri devkit flow --build --out /tmp/devkit-flow/rec1 $ tri devkit impact --out /tmp/devkit-flow/rec1 --builds 20

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 ~.

-
Read the postPreview card
+
Read the postGIFPreview card
+ + diff --git a/apps/website/public/term/t27-tri-census/meta.json b/apps/website/public/term/t27-tri-census/meta.json new file mode 100644 index 0000000000..3611581b2f --- /dev/null +++ b/apps/website/public/term/t27-tri-census/meta.json @@ -0,0 +1,21 @@ +{ + "id": "t27-tri-census", + "title": "tri census audit: every census, counted twice", + "desc": "Four census populations recounted another way all agree; three are named as uncheckable.", + "url": "https://t27.ai/term/t27-tri-census/", + "gif": "https://t27.ai/term/t27-tri-census/session.gif", + "post": null, + "recorded": "2026-10-03 16:18 UTC", + "real_s": 14.9, + "shown_s": 4.9, + "commands": [ + "tri census audit" + ], + "exit_codes": [ + "0" + ], + "redacted": [ + "home directory shown as ~" + ], + "published": "2026-10-03" +} diff --git a/apps/website/public/term/t27-tri-census/session.cast b/apps/website/public/term/t27-tri-census/session.cast new file mode 100644 index 0000000000..28e7c9b3db --- /dev/null +++ b/apps/website/public/term/t27-tri-census/session.cast @@ -0,0 +1,28 @@ +{"version": 2, "width": 104, "height": 30, "timestamp": 1791044306, "title": "t27 \u00b7 tri census audit", "commands": ["tri census audit"], "redacted": ["home directory shown as ~"]} +[0.0, "o", "\u001b[38;2;255;215;0mt27 $ \u001b[0m"] +[0.4031, "o", "t"] +[0.4432, "o", "r"] +[0.4832, "o", "i"] +[0.5233, "o", " "] +[0.5614, "o", "c"] +[0.5966, "o", "e"] +[0.6366, "o", "n"] +[0.6725, "o", "s"] +[0.7117, "o", "u"] +[0.748, "o", "s"] +[0.7833, "o", " "] +[0.8198, "o", "a"] +[0.8598, "o", "u"] +[0.8968, "o", "d"] +[0.9341, "o", "i"] +[0.9697, "o", "t"] +[1.3149, "o", "\r\n"] +[1.3438, "o", "\r\n Each census prints a population. Each row below counts the same\r\n population a different way and subtracts. A counter sharing the\r\n census's own reader would agree by construction.\r\n\r\n census printed counted here population\r\n"] +[13.3799, "o", " unparsed report 1269 1269 .t27 files\r\n"] +[13.8277, "o", " quantifiers report 888 888 lines carrying a quantifier keyword\r\n"] +[13.9072, "o", " mods orphan 155 155 .rs under every workspace member\r\n"] +[13.929, "o", " lean vacuous 250 250 `theorem` lines in Completeness.lean\r\n\r\n AGREED. Every census speaks about the population it prints.\r\n\r\n Not checked here, and why -- because a page of green rows looks\r\n like coverage until somebody asks what is missing from it:\r\n\r\n seals hollow\r\n built and removed. Its counter tested json text for `\"spec_path\"`\r\n while the census parses that same field, so planting one more seal\r\n moved BOTH numbers to 1314 and the row stayed green. No input makes\r\n them disagree.\r\n\r\n types dup\r\n measured: a counter loose enough to be independent reads 1182 where\r\n the census reads 1180, and the two extra are `struct = 21,` -- enum\r\n members named `struct`, which the census correctly rejects. Any\r\n counter accurate enough to agree is a copy of its matcher.\r\n\r\n discard classify\r\n its population is parser events produced at run time, not artefacts\r\n on disk. Countin"] +[13.9291, "o", "g them a second way means running the same parser,\r\n"] +[13.9291, "o", " which is not a second opinion.\r\n"] +[13.9297, "x", "0"] +[14.9332, "o", "\u001b[38;2;255;215;0mt27 $ \u001b[0m"] diff --git a/apps/website/public/term/t27-tri-census/session.gif b/apps/website/public/term/t27-tri-census/session.gif new file mode 100644 index 0000000000..0540bef68b Binary files /dev/null and b/apps/website/public/term/t27-tri-census/session.gif differ diff --git a/apps/website/public/term/t27-tri-competitors/card.png b/apps/website/public/term/t27-tri-competitors/card.png new file mode 100644 index 0000000000..01349bed1b Binary files /dev/null and b/apps/website/public/term/t27-tri-competitors/card.png differ diff --git a/apps/website/public/term/t27-tri-competitors/index.html b/apps/website/public/term/t27-tri-competitors/index.html new file mode 100644 index 0000000000..479c9ab972 --- /dev/null +++ b/apps/website/public/term/t27-tri-competitors/index.html @@ -0,0 +1,94 @@ + + + + + +tri competitors audit: the table, audited · Trinity S³AI + + + + + + + + + + + + + + + + + + + + +
+
Trinity S³AIAll recordings →
+

tri competitors audit: the table, audited

+

168 records: 14 papers entered twice, 141 cite no score, 144 state zero at pass@1.

+
+
recorded 2026-10-03 16:18 UTCreal 2.6 sshown 2.6 sexit codes 0
+
$ tri competitors audit
+

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 ~.

+
GIFPreview card
+
+ + + diff --git a/apps/website/public/term/t27-tri-competitors/meta.json b/apps/website/public/term/t27-tri-competitors/meta.json new file mode 100644 index 0000000000..9019cd6180 --- /dev/null +++ b/apps/website/public/term/t27-tri-competitors/meta.json @@ -0,0 +1,21 @@ +{ + "id": "t27-tri-competitors", + "title": "tri competitors audit: the table, audited", + "desc": "168 records: 14 papers entered twice, 141 cite no score, 144 state zero at pass@1.", + "url": "https://t27.ai/term/t27-tri-competitors/", + "gif": "https://t27.ai/term/t27-tri-competitors/session.gif", + "post": null, + "recorded": "2026-10-03 16:18 UTC", + "real_s": 2.6, + "shown_s": 2.6, + "commands": [ + "tri competitors audit" + ], + "exit_codes": [ + "0" + ], + "redacted": [ + "home directory shown as ~" + ], + "published": "2026-10-03" +} diff --git a/apps/website/public/term/t27-tri-competitors/session.cast b/apps/website/public/term/t27-tri-competitors/session.cast new file mode 100644 index 0000000000..9e13c5c6a0 --- /dev/null +++ b/apps/website/public/term/t27-tri-competitors/session.cast @@ -0,0 +1,30 @@ +{"version": 2, "width": 104, "height": 30, "timestamp": 1791044333, "title": "t27 \u00b7 tri competitors audit", "commands": ["tri competitors audit"], "redacted": ["home directory shown as ~"]} +[0.0, "o", "\u001b[38;2;255;215;0mt27 $ \u001b[0m"] +[0.4051, "o", "t"] +[0.4452, "o", "r"] +[0.4819, "o", "i"] +[0.5219, "o", " "] +[0.5573, "o", "c"] +[0.5974, "o", "o"] +[0.6332, "o", "m"] +[0.6732, "o", "p"] +[0.709, "o", "e"] +[0.7491, "o", "t"] +[0.7891, "o", "i"] +[0.8292, "o", "t"] +[0.8652, "o", "o"] +[0.9053, "o", "r"] +[0.9435, "o", "s"] +[0.9855, "o", " "] +[1.0256, "o", "a"] +[1.0652, "o", "u"] +[1.1016, "o", "d"] +[1.1422, "o", "i"] +[1.1806, "o", "t"] +[1.5257, "o", "\r\n"] +[1.571, "o", "COMPETITOR TABLE -- specs/igla/coder/benchmark.t27\r\n\r\n records 168\r\n distinct function names 168 (0 redefinition(s))\r\n papers entered twice 14\r\n records citing no score 141 of 168\r\n stating zero at pass@1 144 (3 of them cite a nonzero score elsewhere)\r\n\r\n one paper, two competitors:\r\n arXiv:2603.08738 formal_rtl_competitor + formalrtl_competitor\r\n prints as FormalRTL\r\n arXiv:2603.27630 rtlseek_competitor + rtlseek_competitor_2\r\n prints as RTLSeek\r\n arXiv:2604.25183 kuleuven_ternary_competitor + ternary_lut_generator_competitor\r\n prints as KU-Leuven-Ternary / Ternary LUT Generator\r\n arXiv:2605.07782 ckt_formalizer_competitor + cktformalizer_competitor\r\n prints as CktFormalizer\r\n arXiv:2606.02358 chimera_competitor + chimera_competitor_2\r\n prints as CHIMERA\r\n arXiv:2606.04246 stepprm_rtl_competitor + stepprm_rtl_competitor_2 + stepprm_rtl_competitor_3 +"] +[1.571, "o", " stepprm_rtl_competitor_4\r\n prints as StepPRM-RTL\r\n arXiv:2606.05253 alpha_rtl_competitor + alpha_rtl_competitor_2 + alpha_rtl_competitor_update\r\n prints as Alpha-RTL\r\n arXiv:2606.05680 cass_rtl_competitor + cass_rtl_competitor_2 + cass_rtl_competitor_3\r\n prints as CASS-RTL\r\n arXiv:2606.06530 rtlscout_competitor + rtlscout_competitor_2 + rtlscout_competitor_3\r\n prints as RTLScout\r\n arXiv:2606.08976 rtlbenchls_competitor + rtlbenchls_competitor_2\r\n prints as RTL-BenchLS\r\n arXiv:2606.09867 estrtl_competitor + estrtl_competitor_2 + estrtl_competitor_3\r\n prints as EstRTL\r\n arXiv:2606.10285 openrtlset_competitor + openrtlset_competitor_2\r\n prints as OpenRTLSet\r\n arXiv:2606.13706 hiersva_competitor + hiersva_competitor_update\r\n prints as HierSVA\r\n arXiv:2606.15500 llm4rtl_2026_competitor + llm4rtl_2026_competitor_2 + llm4rtl_competitor + llm4rtl_comp"] +[1.5711, "o", "etitor_2\r\n"] +[1.5711, "o", " prints as LLM4RTL / LLM4RTL-2026\r\n\r\n A paper is attributed to a record only from the contiguous run of `///`\r\n lines directly above its `pub fn`. A wider window reads the previous\r\n record's citation as this one's: that window reported 16 papers here,\r\n and ten of them were the neighbour's.\r\n\r\n `pass_at_1: 0.0` is the value a record takes when there is no published\r\n score to cite -- the struct has no other way to say it. It is in range and\r\n it is what `compare_with_competitor` subtracts, so every one of those 144\r\n records yields our own score as the margin over it at pass@1. Read the\r\n two counts apart: 141 records cite nothing at any metric, and 3 state zero\r\n at pass@1 while citing a nonzero score at some OTHER k -- true citations\r\n that still read as zero to the default comparison.\r\n"] +[1.5717, "x", "0"] +[2.5737, "o", "\u001b[38;2;255;215;0mt27 $ \u001b[0m"] diff --git a/apps/website/public/term/t27-tri-competitors/session.gif b/apps/website/public/term/t27-tri-competitors/session.gif new file mode 100644 index 0000000000..6485b39ca8 Binary files /dev/null and b/apps/website/public/term/t27-tri-competitors/session.gif differ diff --git a/apps/website/public/term/t27-tri-discard/card.png b/apps/website/public/term/t27-tri-discard/card.png new file mode 100644 index 0000000000..8240dcbace Binary files /dev/null and b/apps/website/public/term/t27-tri-discard/card.png differ diff --git a/apps/website/public/term/t27-tri-discard/index.html b/apps/website/public/term/t27-tri-discard/index.html new file mode 100644 index 0000000000..5f2bd4e00f --- /dev/null +++ b/apps/website/public/term/t27-tri-discard/index.html @@ -0,0 +1,88 @@ + + + + + +tri discard top: what the parser throws away · Trinity S³AI + + + + + + + + + + + + + + + + + + + + +
+
Trinity S³AIAll recordings →
+

tri discard top: what the parser throws away

+

67 specs lose 23,578 tokens to parser recovery, each held at its pinned bound.

+
+
recorded 2026-10-03 16:18 UTCreal 4.9 sshown 4.3 sexit codes 0
+
$ tri discard top
+

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 ~.

+
GIFPreview card
+
+ + + diff --git a/apps/website/public/term/t27-tri-discard/meta.json b/apps/website/public/term/t27-tri-discard/meta.json new file mode 100644 index 0000000000..c2c0f63343 --- /dev/null +++ b/apps/website/public/term/t27-tri-discard/meta.json @@ -0,0 +1,21 @@ +{ + "id": "t27-tri-discard", + "title": "tri discard top: what the parser throws away", + "desc": "67 specs lose 23,578 tokens to parser recovery, each held at its pinned bound.", + "url": "https://t27.ai/term/t27-tri-discard/", + "gif": "https://t27.ai/term/t27-tri-discard/session.gif", + "post": null, + "recorded": "2026-10-03 16:18 UTC", + "real_s": 4.9, + "shown_s": 4.3, + "commands": [ + "tri discard top" + ], + "exit_codes": [ + "0" + ], + "redacted": [ + "home directory shown as ~" + ], + "published": "2026-10-03" +} diff --git a/apps/website/public/term/t27-tri-discard/session.cast b/apps/website/public/term/t27-tri-discard/session.cast new file mode 100644 index 0000000000..cee70c3c6b --- /dev/null +++ b/apps/website/public/term/t27-tri-discard/session.cast @@ -0,0 +1,22 @@ +{"version": 2, "width": 104, "height": 30, "timestamp": 1791044291, "title": "t27 \u00b7 tri discard top", "commands": ["tri discard top"], "redacted": ["home directory shown as ~"]} +[0.0, "o", "\u001b[38;2;255;215;0mt27 $ \u001b[0m"] +[0.4046, "o", "t"] +[0.4447, "o", "r"] +[0.4847, "o", "i"] +[0.5247, "o", " "] +[0.5648, "o", "d"] +[0.6041, "o", "i"] +[0.6441, "o", "s"] +[0.6796, "o", "c"] +[0.7196, "o", "a"] +[0.7596, "o", "r"] +[0.7996, "o", "d"] +[0.8397, "o", " "] +[0.8796, "o", "t"] +[0.9197, "o", "o"] +[0.9586, "o", "p"] +[1.3027, "o", "\r\n"] +[3.9195, "o", " 67 spec(s) discard 23578 token(s)\r\n\r\n tokens pinned spec\r\n"] +[3.9195, "o", " 1813 1813 specs/igla/race/ternary_inference.t27\r\n 1566 1566 specs/igla/race/ternary_gemm.t27\r\n 1409 1409 specs/igla/race/systolic_ternary.t27\r\n 1139 1139 specs/igla/race/ternary_mac.t27\r\n 1069 1069 specs/igla/race/adder_tree.t27\r\n 1041 1041 specs/igla/race/systolic_array.t27\r\n 1007 1007 specs/igla/race/bram_weights.t27\r\n 757 757 specs/igla/race/gemm.t27\r\n 738 738 specs/igla/coder/bench_proxy.t27\r\n 647 647 specs/igla/coder/training.t27\r\n 628 628 specs/igla/race/rtl.t27\r\n 600 600 specs/igla/race/eda.t27\r\n 584 584 specs/igla/race/yosys.t27\r\n 560 560 specs/queen/brain_summaries.t27\r\n 521 521 specs/igla/coder/prm.t27\r\n ... and 52 more not shown (--n 0 for all)\r\n\r\n The pinned column is the ledger's bound, not a target. It moves\r\n only when `t27c suite --bless-expectations` re-measures.\r\n"] +[3.9201, "x", "0"] +[4.9205, "o", "\u001b[38;2;255;215;0mt27 $ \u001b[0m"] diff --git a/apps/website/public/term/t27-tri-discard/session.gif b/apps/website/public/term/t27-tri-discard/session.gif new file mode 100644 index 0000000000..9f1eab4c9e Binary files /dev/null and b/apps/website/public/term/t27-tri-discard/session.gif differ diff --git a/apps/website/public/term/t27-tri-lean/card.png b/apps/website/public/term/t27-tri-lean/card.png new file mode 100644 index 0000000000..0d5cecd651 Binary files /dev/null and b/apps/website/public/term/t27-tri-lean/card.png differ diff --git a/apps/website/public/term/t27-tri-lean/index.html b/apps/website/public/term/t27-tri-lean/index.html new file mode 100644 index 0000000000..ca210c57c8 --- /dev/null +++ b/apps/website/public/term/t27-tri-lean/index.html @@ -0,0 +1,95 @@ + + + + + +tri lean: proofs that nothing compiles · Trinity S³AI + + + + + + + + + + + + + + + + + + + + +
+
Trinity S³AIAll recordings →
+

tri lean: proofs that nothing compiles

+

12 Lean files, 15,553 lines and 4 sorry, are reached by no build root: nothing compiles them.

+
+
recorded 2026-10-03 16:18 UTCreal 4.7 sshown 4.7 sexit codes 0 0
+
$ tri lean vacuous +$ tri lean reach
+

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 ~.

+
GIFPreview card
+
+ + + diff --git a/apps/website/public/term/t27-tri-lean/meta.json b/apps/website/public/term/t27-tri-lean/meta.json new file mode 100644 index 0000000000..7bb918ba84 --- /dev/null +++ b/apps/website/public/term/t27-tri-lean/meta.json @@ -0,0 +1,23 @@ +{ + "id": "t27-tri-lean", + "title": "tri lean: proofs that nothing compiles", + "desc": "12 Lean files, 15,553 lines and 4 sorry, are reached by no build root: nothing compiles them.", + "url": "https://t27.ai/term/t27-tri-lean/", + "gif": "https://t27.ai/term/t27-tri-lean/session.gif", + "post": null, + "recorded": "2026-10-03 16:18 UTC", + "real_s": 4.7, + "shown_s": 4.7, + "commands": [ + "tri lean vacuous", + "tri lean reach" + ], + "exit_codes": [ + "0", + "0" + ], + "redacted": [ + "home directory shown as ~" + ], + "published": "2026-10-03" +} diff --git a/apps/website/public/term/t27-tri-lean/session.cast b/apps/website/public/term/t27-tri-lean/session.cast new file mode 100644 index 0000000000..063d72669b --- /dev/null +++ b/apps/website/public/term/t27-tri-lean/session.cast @@ -0,0 +1,41 @@ +{"version": 2, "width": 104, "height": 30, "timestamp": 1791044330, "title": "t27 \u00b7 tri lean", "commands": ["tri lean vacuous", "tri lean reach"], "redacted": ["home directory shown as ~"]} +[0.0, "o", "\u001b[38;2;255;215;0mt27 $ \u001b[0m"] +[0.4015, "o", "t"] +[0.4417, "o", "r"] +[0.4817, "o", "i"] +[0.5218, "o", " "] +[0.5598, "o", "l"] +[0.5998, "o", "e"] +[0.6398, "o", "a"] +[0.6799, "o", "n"] +[0.7181, "o", " "] +[0.7582, "o", "v"] +[0.7968, "o", "a"] +[0.8369, "o", "c"] +[0.877, "o", "u"] +[0.917, "o", "o"] +[0.9571, "o", "u"] +[0.9931, "o", "s"] +[1.3383, "o", "\r\n"] +[1.3802, "o", "VACUOUS COMPLETENESS THEOREMS\r\n\r\n models in the file 250\r\n with `functions := []` 114\r\n ...and an empty Env too 104\r\n counted by max_vacuous 44\r\n vacuous and INVISIBLE to it 70\r\n\r\n`max_vacuous` counts only models that ALSO disagree with the Rust classifier.\r\nA theorem about an empty module says nothing about its spec whether or not the\r\nclassifier happens to disagree, so the ratchet measures a subset of its own\r\nsubject -- and the number it reports looks like the number you care about.\r\n\r\nRead from the file's text. Only a Lean build can say what these theorems MEAN,\r\nand no workflow in this repository builds them (#2747).\r\n"] +[1.3806, "x", "0"] +[2.3849, "o", "\u001b[38;2;255;215;0mt27 $ \u001b[0m"] +[2.7893, "o", "t"] +[2.8269, "o", "r"] +[2.8669, "o", "i"] +[2.907, "o", " "] +[2.9431, "o", "l"] +[2.9782, "o", "e"] +[3.0158, "o", "a"] +[3.0545, "o", "n"] +[3.0933, "o", " "] +[3.1347, "o", "r"] +[3.1747, "o", "e"] +[3.2148, "o", "a"] +[3.2506, "o", "c"] +[3.2869, "o", "h"] +[3.6326, "o", "\r\n"] +[3.6835, "o", "BUILD-GRAPH REACHABILITY (~/t27/.claude/worktrees/gif-animation-reposts-5eb60f/proofs/lean4/Trinity.lean)\r\n\r\n files lines sorry\r\n reached by the root 11 7651 1\r\n NOT reached 12 15553 4\r\n\r\nStranded -- present, shaped like proofs, compiled by nothing:\r\n Trinity.GoldenFloatRoundTrip 105 lines 3 sorry\r\n Trinity.IcarusLowerable.Ast 90 lines\r\n Trinity.IcarusLowerable.AstInduction 130 lines\r\n Trinity.IcarusLowerable.Completeness 4986 lines\r\n Trinity.IcarusLowerable.Emitter 221 lines\r\n Trinity.IcarusLowerable.Equivalence 2875 lines 1 sorry\r\n Trinity.IcarusLowerable.Lemmas 3444 lines\r\n Trinity.IcarusLowerable.Predicate 1005 lines\r\n Trinity.IcarusLowerable.Semantics 389 lines\r\n Trinity.IcarusLowerable.SemanticsTotal 546 lines\r\n Trinity.IcarusLowerable.Soundness 164"] +[3.6836, "o", "1 lines\r\n Trinity.IcarusLowerable.Verilog 121 lines\r\n\r\n`lake build` prints what it compiled and never what it skipped, so these produce\r\nno output at all -- not an error, not a warning. A build graph is a claim about\r\ncoverage that nothing prints, and the root file is the whole of the claim.\r\n\r\n4 of the 5 admitted proofs counted by `lean-proofs.yml` are in these files.\r\nThat gate greps the directory; the build compiles the closure. Its comment says\r\na `sorry` compiles -- for these it does not, because nothing compiles them.\r\n"] +[3.6841, "x", "0"] +[4.6848, "o", "\u001b[38;2;255;215;0mt27 $ \u001b[0m"] diff --git a/apps/website/public/term/t27-tri-lean/session.gif b/apps/website/public/term/t27-tri-lean/session.gif new file mode 100644 index 0000000000..0c7ee8ad1b Binary files /dev/null and b/apps/website/public/term/t27-tri-lean/session.gif differ diff --git a/apps/website/public/term/t27-tri-misread/card.png b/apps/website/public/term/t27-tri-misread/card.png new file mode 100644 index 0000000000..fe970e9621 Binary files /dev/null and b/apps/website/public/term/t27-tri-misread/card.png differ diff --git a/apps/website/public/term/t27-tri-misread/index.html b/apps/website/public/term/t27-tri-misread/index.html new file mode 100644 index 0000000000..aa46dded24 --- /dev/null +++ b/apps/website/public/term/t27-tri-misread/index.html @@ -0,0 +1,83 @@ + + + + + +tri misread: code that compiles and is wrong · Trinity S³AI + + + + + + + + + + + + + + + + + + + + +
+
Trinity S³AIAll recordings →
+

tri misread: code that compiles and is wrong

+

1,144 of 1,156 specs generate; 41 spec-shape pairs are read wrongly with every gate green.

+
+
recorded 2026-10-03 16:18 UTCreal 25.0 sshown 4.2 sexit codes 0
+
$ tri misread
+

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 ~.

+
GIFPreview card
+
+ + + diff --git a/apps/website/public/term/t27-tri-misread/meta.json b/apps/website/public/term/t27-tri-misread/meta.json new file mode 100644 index 0000000000..eb9d5f4f13 --- /dev/null +++ b/apps/website/public/term/t27-tri-misread/meta.json @@ -0,0 +1,21 @@ +{ + "id": "t27-tri-misread", + "title": "tri misread: code that compiles and is wrong", + "desc": "1,144 of 1,156 specs generate; 41 spec-shape pairs are read wrongly with every gate green.", + "url": "https://t27.ai/term/t27-tri-misread/", + "gif": "https://t27.ai/term/t27-tri-misread/session.gif", + "post": null, + "recorded": "2026-10-03 16:18 UTC", + "real_s": 25.0, + "shown_s": 4.2, + "commands": [ + "tri misread" + ], + "exit_codes": [ + "0" + ], + "redacted": [ + "home directory shown as ~" + ], + "published": "2026-10-03" +} diff --git a/apps/website/public/term/t27-tri-misread/session.cast b/apps/website/public/term/t27-tri-misread/session.cast new file mode 100644 index 0000000000..8b27964c6d --- /dev/null +++ b/apps/website/public/term/t27-tri-misread/session.cast @@ -0,0 +1,20 @@ +{"version": 2, "width": 104, "height": 30, "timestamp": 1791044286, "title": "t27 \u00b7 tri misread", "commands": ["tri misread"], "redacted": ["home directory shown as ~"]} +[0.0001, "o", "\u001b[38;2;255;215;0mt27 $ \u001b[0m"] +[0.4034, "o", "t"] +[0.4434, "o", "r"] +[0.4813, "o", "i"] +[0.5214, "o", " "] +[0.5576, "o", "m"] +[0.595, "o", "i"] +[0.635, "o", "s"] +[0.6749, "o", "r"] +[0.7117, "o", "e"] +[0.7518, "o", "a"] +[0.7878, "o", "d"] +[1.1284, "o", "\r\n"] +[1.1864, "o", "\r\n the specs the compiler reads WRONGLY -- every gate green on all of them\r\n ------------------------------------------------------------------\r\n"] +[1.2187, "o", " control: all 5 shape(s) fired on the reproducer\r\n"] +[1.2345, "o", " corpus: 1156 spec(s) under specs\r\n\r\n"] +[23.9828, "o", " generated for 1144 of 1156 spec(s)\r\n\r\n 28 rust: `pub f: ,` field with no type\r\n 1 rust: `pub f: 0,` literal in type position\r\n 1 rust: `Vec<>` generic lost its parameter\r\n 1 c: `0 f;` literal in type position\r\n 10 rust: `pub a: Xb:Y,` bare colon inside a type\r\n\r\n Each of these parses and typechecks. The count above is a count of\r\n SPEC-SHAPE pairs, not of specs: one spec can carry more than one.\r\n `--list` names them.\r\n"] +[23.9836, "x", "0"] +[24.9866, "o", "\u001b[38;2;255;215;0mt27 $ \u001b[0m"] diff --git a/apps/website/public/term/t27-tri-misread/session.gif b/apps/website/public/term/t27-tri-misread/session.gif new file mode 100644 index 0000000000..82818429c8 Binary files /dev/null and b/apps/website/public/term/t27-tri-misread/session.gif differ diff --git a/apps/website/public/term/t27-tri-prose/card.png b/apps/website/public/term/t27-tri-prose/card.png new file mode 100644 index 0000000000..452bbb62ec Binary files /dev/null and b/apps/website/public/term/t27-tri-prose/card.png differ diff --git a/apps/website/public/term/t27-tri-prose/index.html b/apps/website/public/term/t27-tri-prose/index.html new file mode 100644 index 0000000000..f7e2a02db6 --- /dev/null +++ b/apps/website/public/term/t27-tri-prose/index.html @@ -0,0 +1,76 @@ + + + + + +tri prose report: prose, or code? · Trinity S³AI + + + + + + + + + + + + + + + + + + + + +
+
Trinity S³AIAll recordings →
+

tri prose report: prose, or code?

+

11 specs refused at parse, 0 blocked only by prose, 23 broken on purpose as fixtures.

+
+
recorded 2026-10-03 16:18 UTCreal 14.4 sshown 4.3 sexit codes 0
+
$ tri prose report
+

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 ~.

+
GIFPreview card
+
+ + + diff --git a/apps/website/public/term/t27-tri-prose/meta.json b/apps/website/public/term/t27-tri-prose/meta.json new file mode 100644 index 0000000000..643be568bb --- /dev/null +++ b/apps/website/public/term/t27-tri-prose/meta.json @@ -0,0 +1,21 @@ +{ + "id": "t27-tri-prose", + "title": "tri prose report: prose, or code?", + "desc": "11 specs refused at parse, 0 blocked only by prose, 23 broken on purpose as fixtures.", + "url": "https://t27.ai/term/t27-tri-prose/", + "gif": "https://t27.ai/term/t27-tri-prose/session.gif", + "post": null, + "recorded": "2026-10-03 16:18 UTC", + "real_s": 14.4, + "shown_s": 4.3, + "commands": [ + "tri prose report" + ], + "exit_codes": [ + "0" + ], + "redacted": [ + "home directory shown as ~" + ], + "published": "2026-10-03" +} diff --git a/apps/website/public/term/t27-tri-prose/session.cast b/apps/website/public/term/t27-tri-prose/session.cast new file mode 100644 index 0000000000..a6f6956b27 --- /dev/null +++ b/apps/website/public/term/t27-tri-prose/session.cast @@ -0,0 +1,22 @@ +{"version": 2, "width": 104, "height": 30, "timestamp": 1791044325, "title": "t27 \u00b7 tri prose report", "commands": ["tri prose report"], "redacted": ["home directory shown as ~"]} +[0.0, "o", "\u001b[38;2;255;215;0mt27 $ \u001b[0m"] +[0.4051, "o", "t"] +[0.4451, "o", "r"] +[0.4836, "o", "i"] +[0.5219, "o", " "] +[0.5619, "o", "p"] +[0.5995, "o", "r"] +[0.6387, "o", "o"] +[0.6788, "o", "s"] +[0.7188, "o", "e"] +[0.7539, "o", " "] +[0.793, "o", "r"] +[0.8301, "o", "e"] +[0.8697, "o", "p"] +[0.9095, "o", "o"] +[0.9471, "o", "r"] +[0.9871, "o", "t"] +[1.3295, "o", "\r\n"] +[13.4434, "o", " specs refused at PARSE 11\r\n ... refused at a LATER stage 13 (they parse)\r\n broken ON PURPOSE under fixtures/ 23 (detector inputs, not debt)\r\n ... blocked ONLY by prose 0\r\n ... blocked by code 11\r\n\r\n --fix comments those lines, preserving the text exactly. It is a\r\n STATEMENT that the prose was documentation and not a declaration\r\n someone half-wrote. Read the diff: every changed line must be the\r\n old line with `// ` in front, and nothing else.\r\n"] +[13.4439, "x", "0"] +[14.45, "o", "\u001b[38;2;255;215;0mt27 $ \u001b[0m"] diff --git a/apps/website/public/term/t27-tri-prose/session.gif b/apps/website/public/term/t27-tri-prose/session.gif new file mode 100644 index 0000000000..0b488613ab Binary files /dev/null and b/apps/website/public/term/t27-tri-prose/session.gif differ diff --git a/apps/website/public/term/t27-tri-seals/card.png b/apps/website/public/term/t27-tri-seals/card.png new file mode 100644 index 0000000000..f9f276bed0 Binary files /dev/null and b/apps/website/public/term/t27-tri-seals/card.png differ diff --git a/apps/website/public/term/t27-tri-seals/index.html b/apps/website/public/term/t27-tri-seals/index.html new file mode 100644 index 0000000000..bbcd620057 --- /dev/null +++ b/apps/website/public/term/t27-tri-seals/index.html @@ -0,0 +1,95 @@ + + + + + +tri seals: hollow seals that pass every check · Trinity S³AI + + + + + + + + + + + + + + + + + + + + +
+
Trinity S³AIAll recordings →
+

tri seals: hollow seals that pass every check

+

31 of 1,428 seals record no output (16 specs); 3 of those are missing from the debt ledger.

+
+
recorded 2026-10-03 16:18 UTCreal 4.9 sshown 4.9 sexit codes 0 0
+
$ tri seals fresh +$ tri seals hollow
+

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 ~.

+
GIFPreview card
+
+ + + diff --git a/apps/website/public/term/t27-tri-seals/meta.json b/apps/website/public/term/t27-tri-seals/meta.json new file mode 100644 index 0000000000..f419585bf5 --- /dev/null +++ b/apps/website/public/term/t27-tri-seals/meta.json @@ -0,0 +1,23 @@ +{ + "id": "t27-tri-seals", + "title": "tri seals: hollow seals that pass every check", + "desc": "31 of 1,428 seals record no output (16 specs); 3 of those are missing from the debt ledger.", + "url": "https://t27.ai/term/t27-tri-seals/", + "gif": "https://t27.ai/term/t27-tri-seals/session.gif", + "post": null, + "recorded": "2026-10-03 16:18 UTC", + "real_s": 4.9, + "shown_s": 4.9, + "commands": [ + "tri seals fresh", + "tri seals hollow" + ], + "exit_codes": [ + "0", + "0" + ], + "redacted": [ + "home directory shown as ~" + ], + "published": "2026-10-03" +} diff --git a/apps/website/public/term/t27-tri-seals/session.cast b/apps/website/public/term/t27-tri-seals/session.cast new file mode 100644 index 0000000000..4780326990 --- /dev/null +++ b/apps/website/public/term/t27-tri-seals/session.cast @@ -0,0 +1,45 @@ +{"version": 2, "width": 104, "height": 30, "timestamp": 1791044311, "title": "t27 \u00b7 tri seals", "commands": ["tri seals fresh", "tri seals hollow"], "redacted": ["home directory shown as ~"]} +[0.0, "o", "\u001b[38;2;255;215;0mt27 $ \u001b[0m"] +[0.4037, "o", "t"] +[0.4438, "o", "r"] +[0.4801, "o", "i"] +[0.5202, "o", " "] +[0.5602, "o", "s"] +[0.6002, "o", "e"] +[0.6371, "o", "a"] +[0.6771, "o", "l"] +[0.7171, "o", "s"] +[0.7559, "o", " "] +[0.7954, "o", "f"] +[0.8355, "o", "r"] +[0.8755, "o", "e"] +[0.9155, "o", "s"] +[0.9538, "o", "h"] +[1.2968, "o", "\r\n"] +[1.3249, "o", " target/release/t27c FRESH <- used\r\n bootstrap/target/release/t27c absent\r\n target/debug/t27c absent\r\n\r\n The binary a seal check would use is newer than bootstrap/src, so a\r\n reading taken now is a reading of THIS source. Any other binary\r\n listed above is not consulted and its age decides nothing.\r\n"] +[1.3252, "x", "0"] +[2.3303, "o", "\u001b[38;2;255;215;0mt27 $ \u001b[0m"] +[2.7321, "o", "t"] +[2.7715, "o", "r"] +[2.8201, "o", "i"] +[2.8617, "o", " "] +[2.9017, "o", "s"] +[2.937, "o", "e"] +[2.9771, "o", "a"] +[3.0171, "o", "l"] +[3.0561, "o", "s"] +[3.0931, "o", " "] +[3.1328, "o", "h"] +[3.1704, "o", "o"] +[3.2104, "o", "l"] +[3.2505, "o", "l"] +[3.2898, "o", "o"] +[3.3278, "o", "w"] +[3.6704, "o", "\r\n"] +[3.8904, "o", " seals that claim no generation 31 of 1428\r\n distinct specs behind them 16\r\n\r\n A hollow seal passes every SEAL check. spec_hash matches the file,\r\n so `seals fresh` is green. `none` equals `none`, so `seals drift`\r\n reports zero. The file exists, so Seal Coverage counts the spec as\r\n covered. The one thing it does not record is the output.\r\n\r\n Most of these are already written down as debt elsewhere -- the\r\n reconciliation below says how many. The seal side is where the same\r\n fact reads as health.\r\n"] +[3.8905, "o", "\r\n against tools/specs_generate_baseline.txt, which calls each line a debt\r\n 13 already recorded there\r\n 3 hollow seal, NOT in the ledger\r\n"] +[3.8905, "o", " 1 in the ledger with no hollow seal\r\n\r\n sealed, but not a spec 3\r\n"] +[3.8905, "o", " docs/nona-03-manifest/PHI_LOOP_CONTRACT.md\r\n docs/nona-03-manifest/SOUL.md\r\n specs/sandbox/sandbox.tri\r\n\r\n where they are\r\n 4 specs/physics\r\n"] +[3.8905, "o", " 2 docs/nona-03-manifest\r\n 2 specs/ar\r\n 2 specs/benchmarks\r\n 2 specs/test_framework\r\n 1 examples/fpga\r\n 1 specs/api\r\n 1 specs/conformance\r\n 1 specs/sandbox\r\n\r\n --why runs the compiler on each and groups the errors: it turns\r\n 16 specs into the handful of parser gaps behind them.\r\n"] +[3.8914, "x", "0"] +[4.8965, "o", "\u001b[38;2;255;215;0mt27 $ \u001b[0m"] diff --git a/apps/website/public/term/t27-tri-seals/session.gif b/apps/website/public/term/t27-tri-seals/session.gif new file mode 100644 index 0000000000..1898a5646d Binary files /dev/null and b/apps/website/public/term/t27-tri-seals/session.gif differ diff --git a/apps/website/public/term/t27-tri-vectors/card.png b/apps/website/public/term/t27-tri-vectors/card.png new file mode 100644 index 0000000000..f150feeddd Binary files /dev/null and b/apps/website/public/term/t27-tri-vectors/card.png differ diff --git a/apps/website/public/term/t27-tri-vectors/index.html b/apps/website/public/term/t27-tri-vectors/index.html new file mode 100644 index 0000000000..a701e2118c --- /dev/null +++ b/apps/website/public/term/t27-tri-vectors/index.html @@ -0,0 +1,94 @@ + + + + + +tri vectors debt: tests that are prose · Trinity S³AI + + + + + + + + + + + + + + + + + + + + +
+
Trinity S³AIAll recordings →
+

tri vectors debt: tests that are prose

+

34 vector files, 512 cases: 2 files executed, 8 debt, 24 prose-only; 19% carry data.

+
+
recorded 2026-10-03 16:18 UTCreal 2.4 sshown 2.4 sexit codes 0
+
$ tri vectors debt
+

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 ~.

+
GIFPreview card
+
+ + + diff --git a/apps/website/public/term/t27-tri-vectors/meta.json b/apps/website/public/term/t27-tri-vectors/meta.json new file mode 100644 index 0000000000..9d398ab2c3 --- /dev/null +++ b/apps/website/public/term/t27-tri-vectors/meta.json @@ -0,0 +1,21 @@ +{ + "id": "t27-tri-vectors", + "title": "tri vectors debt: tests that are prose", + "desc": "34 vector files, 512 cases: 2 files executed, 8 debt, 24 prose-only; 19% carry data.", + "url": "https://t27.ai/term/t27-tri-vectors/", + "gif": "https://t27.ai/term/t27-tri-vectors/session.gif", + "post": null, + "recorded": "2026-10-03 16:18 UTC", + "real_s": 2.4, + "shown_s": 2.4, + "commands": [ + "tri vectors debt" + ], + "exit_codes": [ + "0" + ], + "redacted": [ + "home directory shown as ~" + ], + "published": "2026-10-03" +} diff --git a/apps/website/public/term/t27-tri-vectors/session.cast b/apps/website/public/term/t27-tri-vectors/session.cast new file mode 100644 index 0000000000..2bc8f02caa --- /dev/null +++ b/apps/website/public/term/t27-tri-vectors/session.cast @@ -0,0 +1,57 @@ +{"version": 2, "width": 104, "height": 30, "timestamp": 1791044335, "title": "t27 \u00b7 tri vectors debt", "commands": ["tri vectors debt"], "redacted": ["home directory shown as ~"]} +[0.0, "o", "\u001b[38;2;255;215;0mt27 $ \u001b[0m"] +[0.4052, "o", "t"] +[0.4453, "o", "r"] +[0.4853, "o", "i"] +[0.5211, "o", " "] +[0.5589, "o", "v"] +[0.5947, "o", "e"] +[0.6321, "o", "c"] +[0.6712, "o", "t"] +[0.7113, "o", "o"] +[0.7513, "o", "r"] +[0.7893, "o", "s"] +[0.8267, "o", " "] +[0.8641, "o", "d"] +[0.9041, "o", "e"] +[0.9393, "o", "b"] +[0.9793, "o", "t"] +[1.3241, "o", "\r\n"] +[1.3737, "o", "vector file cases data verdict\r\n"] +[1.3739, "o", "fpga_apb_bridge.json 18 0 prose-only (no data at all)\r\n"] +[1.3741, "o", "fpga_assembler.json 19 0 prose-only (no data at all)\r\n"] +[1.3743, "o", "fpga_axi4.json 16 0 prose-only (no data at all)\r\n"] +[1.3745, "o", "fpga_bootrom.json 6 0 prose-only (no data at all)\r\n"] +[1.3747, "o", "fpga_bridge.json 11 11 debt (has data, no runner)\r\n"] +[1.3749, "o", "fpga_clock_domain.json 12 0 prose-only (no data at all)\r\n"] +[1.375, "o", "fpga_crossopt.json 6 0 prose-only (no data at all)\r\n"] +[1.3759, "o", "fpga_cts.json 15 0 prose-only (no data at all)\r\n"] +[1.3763, "o", "fpga_dft.json 17 0 prose-only (no data at all)\r\n"] +[1.3766, "o", "fpga_e2e_demo.json 16 0 prose-only (no data at all)\r\n"] +[1.3767, "o", "fpga_fifo.json 18 0 prose-only (no data at all)\r\n"] +[1.3769, "o", "fpga_formal.json 18 0 prose-only (no data at all)\r\n"] +[1.3771, "o", "fpga_gf16_accel.json 27 0 prose-only (no data at all)\r\n"] +[1.3772, "o", "fpga_hir.json 26 0 prose-only (no data at all)\r\n"] +[1.3773, "o", "fpga_hw_types.json 22 0 prose-only (no data at all)\r\n"] +[1.3779, "o", "fpga_linker.json 17 0 prose-only (no data at all)\r\n"] +[1.3781, "o", "fpga_mac_vectors.json 21 21 executed\r\n"] +[1.3782, "o", "fpga_memory.json 15 0 prose-only (no data at all)\r\n"] +[1.3784, "o", "fpga_partition.json 12 0 prose-only (no data at all)\r\n"] +[1.3786, "o", "fpga_placement.json 14 0 prose-only (no data at all)\r\n"] +[1.3791, "o", "fpga_power.json 15 0 prose-only (no data at all)\r\n"] +[1.3802, "o", "fpga_power_analysis.json 9 9 debt (has data, no runner)\r\n"] +[1.3804, "o", "fpga_router.json 19 0 prose-only (no data at all)\r\n"] +[1.3805, "o", "fpga_simulator.json 13 0 prose-only (no data at all)\r\n"] +[1.3806, "o", "fpga_spi.json 8 8 executed\r\n"] +[1.3807, "o", "fpga_ternary_isa.json 29 0 prose-only (no data at all)\r\n"] +[1.3811, "o", "fpga_testbench_mac_tb.json 10 10 debt (has data, no runner)\r\n"] +[1.3813, "o", "fpga_testbench_top_tb.json 4 4 debt (has data, no runner)\r\n"] +[1.3816, "o", "fpga_testbench_uart_tb.json 7 7 debt (has data, no runner)\r\n"] +[1.3817, "o", "fpga_timing.json 24 0 prose-only (no data at all)\r\n"] +[1.3818, "o", "fpga_top_level.json 7 7 debt (has data, no runner)\r\n"] +[1.3819, "o", "fpga_uart.json 7 7 debt (has data, no runner)\r\n"] +[1.3819, "o", "fpga_vcd_conformance_compare.json 16 16 debt (has data, no runner)\r\n"] +[1.382, "o", "fpga_vcd_trace.json 18 0 prose-only (no data at all)\r\n\r\n2 executed, 8 debt, 24 prose-only (34 files); 512 cases, 100 carrying data (19%).\r\n"] +[1.382, "o", "PROSE-ONLY is the majority and the important number: those cases carry\r\nan id and a sentence, no inputs and no expected values, so no runner\r\ncan ever execute them as written -- they are documentation shaped like\r\ntests. DEBT is executable in principle and blocked by numbered defects\r\n(#2410 slices, #2413 test emission). Neither counts as coverage.\r\n"] +[1.3826, "x", "0"] +[2.3858, "o", "\u001b[38;2;255;215;0mt27 $ \u001b[0m"] diff --git a/apps/website/public/term/t27-tri-vectors/session.gif b/apps/website/public/term/t27-tri-vectors/session.gif new file mode 100644 index 0000000000..50fdd491ca Binary files /dev/null and b/apps/website/public/term/t27-tri-vectors/session.gif differ diff --git a/apps/website/public/term/tri-blog-list/index.html b/apps/website/public/term/tri-blog-list/index.html index 9ee57f99a0..a70e4e72de 100644 --- a/apps/website/public/term/tri-blog-list/index.html +++ b/apps/website/public/term/tri-blog-list/index.html @@ -84,7 +84,7 @@

tri blog list: every t27.ai post and its receipt state

recorded 2026-10-03 12:59 UTCreal 2.4 sshown 2.4 sexit codes 0
$ tri blog list

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 ~.

-
Preview card
+
GIFPreview card