Repository navigation
scripts/tri: give the t27t arm its own line, so the docs check finds tri t27t (Closes #10807) - #10809
Merged
Merged
Conversation
…tri t27t (Closes #10807) PR #10790 put t27t) after factory) on one line. The documented-commands check reads an arm only when it starts a line, so tri t27t counted as a dead mention (138 -> 139). The command is unchanged. The blank line above the case goes, so the diff adds no foreign line. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This was referenced Oct 19, 2026
Contributor
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
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 #10807
PR #10790 put the
t27t)arm afterfactory)on one line ofscripts/tri.tools/check_documented_commands_exist.pyreads an arm only when it starts a line (^ name)), so it did not seet27t. It then counted thetri t27tmention in.claude/skills/analog-emulation/SKILL.md:70as dead, and "Documented t27c subcommands exist" went red with dead mentions 138 -> 139.Change
t27t)now starts its own line, two-space indented likefactory). The command behind it is unchanged.caseis removed. The diff is +2/-2, so the foreign-budget hook passes: a first version that only added a line was refused.MAX_DEAD_TRIstays 138.Not in this PR
On master, t27b-native-ratchet is red with
UNLISTED 5:specs/analog/mos_psp103.t27andmos_psp103_data.t27specs/fpga/analog_cell_ax7203.t27trios-igla-racebin portsOther merged PRs added those specs. The ledger steward (#9112) applies such rows on a red master run. This PR touches no ledger row.
Checked (Railway lab, fresh clone of this branch, t27c + tri from /data/src/target/release)
python3 tools/check_documented_commands_exist.py: "ok: every t27c subcommand a live document names exists, and the 138 deadtrimentions are the recorded ceiling."t27tis no longer in the dead names list../scripts/tri t27twith zig 0.16.0: 8 tests, FAIL 0, vacuous passes 0 of 8.bash -n scripts/tri: OK.{ "version": 1, "head_sha": "432c145845f687a975e92649cac90df047bd9c1b", "summary": "scripts/tri gives the t27t arm its own line, so the documented-commands check finds tri t27t and the dead count returns to its 138 ceiling.", "changes": ["scripts/tri: t27t) on its own line; blank line above the case removed (net zero lines)"], "tests": [ {"command": "python3 tools/check_documented_commands_exist.py", "result": "ok, 138 dead mentions = ceiling", "status": "passed", "evidence": "Railway lab, /tmp/t27fix"}, {"command": "./scripts/tri t27t", "result": "8 tests, 0 fail, 0 vacuous", "status": "passed", "evidence": "Railway lab, zig 0.16.0"} ], "limitations": ["t27b-native-ratchet stays red on master until the ledger steward lists the five specs other PRs added."], "tags": ["t27t", "tri", "ci"] }🤖 Generated with Claude Code