Skip to content

scripts/tri: give the t27t arm its own line, so the docs check finds tri t27t (Closes #10807) - #10809

Merged
gHashTag merged 1 commit into
masterfrom
fix/t27t-tri-arm
Oct 19, 2026
Merged

gHashTag merged 1 commit into
masterfrom
fix/t27t-tri-arm

Conversation

@gHashTag

Copy link
Copy Markdown
Owner

Closes #10807

PR #10790 put the t27t) arm after factory) on one line of scripts/tri. tools/check_documented_commands_exist.py reads an arm only when it starts a line (^ name)), so it did not see t27t. It then counted the tri t27t mention in .claude/skills/analog-emulation/SKILL.md:70 as dead, and "Documented t27c subcommands exist" went red with dead mentions 138 -> 139.

Change

  • t27t) now starts its own line, two-space indented like factory). The command behind it is unchanged.
  • The blank line above the case is removed. The diff is +2/-2, so the foreign-budget hook passes: a first version that only added a line was refused.
  • MAX_DEAD_TRI stays 138.

Not in this PR

On master, t27b-native-ratchet is red with UNLISTED 5:

  • specs/analog/mos_psp103.t27 and mos_psp103_data.t27
  • specs/fpga/analog_cell_ax7203.t27
  • two trios-igla-race bin ports

Other 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 dead tri mentions are the recorded ceiling." t27t is no longer in the dead names list.
  • ./scripts/tri t27t with 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

…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>
@github-actions

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-19 03:33:18 UTC

Summary

Status Count
Total Open PRs 50
PRs with Failing Checks 40
PRs with All Checks Green 10
READY 1
FAILING 40
PENDING 0
NO CHECKS YET 0

These columns do not partition: 1 + 40 + 0 + 0 = 41, and there are 50 open PRs. A PR is being counted twice or not at all.

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=03f3de4a3582 != manifest seal=87e5cbd3ad94.
    The committed NMSE numbers were certified against an older compiler.rs.
    Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

@gHashTag
gHashTag enabled auto-merge (squash) October 19, 2026 03:44
@gHashTag
gHashTag merged commit 94741bc into master Oct 19, 2026
31 of 32 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

scripts/tri: the t27t arm shares a line with factory, so the docs check reads tri t27t as dead

1 participant