feat(tri census explain): name the file behind a moved census number by gHashTag · Pull Request #5826 · gHashTag/t27

gHashTag · 2026-10-03T21:35:15Z

What

tri census explain [--max N] is read-only. For each pinned census whose output differs from its ledger, it does four things:

Lists every moved line. Rows are matched by their words with numbers folded, so you see run: steps 283->284. pin --gate shows only the first moved line.
Finds the bless commit and the candidates. The bless commit is the one that last wrote tools/census/<name>.txt. The candidates are the files changed since then: git diff against it, plus untracked files, minus tools/census/.
Puts each changed file back alone. Each file goes back to that commit by itself, in a scratch copy of the whole tree. The census runs again, and the lines that file moves are printed. Attribution is refused when the copy does not reproduce today's reading byte for byte.
Puts all tried files back together and reports whether that reproduces the ledger.

Exit codes: 0 when nothing moved, 1 when something moved. The copy is dropped before process::exit. The first build skipped that and would have left a copy of the tree behind on every run that had something to report.

Why

On #5787 the gate's first line was files read 22 -> 23, and the cause sat further down. The PR read "open" for six cron ticks while cli-tri was red on it. On master today, the shell ledger's bless commit is 1057 changed files away from the tree.

Real output: this branch before its own bless (`stderr` included)

  shell    MOVED since blessed at 769f32521 (tools/census/shell.txt)
      run: steps 283->284
      the runner does 262->263 no container, so bash -eo pipefail
    which change moves it -- each changed file put back to 769f32521 alone, the census run again:
      .github/workflows/cli-tri.yml   moves 2 line(s)
          run: steps 283->284
          the runner does 262->263 no container, so bash -eo pipefail
    1057 file(s) changed since 769f32521: 1057 tried, 1 move this census, 1056 do not alone.
    All tried files put back together: reproduces the ledger -- yes.

That run used --max 5000 and took 101 s for 1057 files. The default --max 600 takes about a minute. After the bless, all three censuses read unchanged and the exit code is 0.

Test: `scripts/ci/test_a_moved_census_names_its_file.py`, a new step in `cli-tri`

The binary under test blesses scratch repositories. 36 checks:

Clean. Exit 0, and all three censuses read unchanged.
Moved. a.yml gains a step and b.yml is new; those two move shell 2->4. decoy.txt and notes.md also change. The test checks that:
- the movers are exactly a.yml and b.yml;
- the bystanders are not named;
- quiet is moved by b.yml alone;
- fetches is unchanged;
- together reproduces the ledger.
--max 1. One file is tried, 3 are reported as NOT tried, and together says NO.
Ledger never committed. The output says so and nothing is attributed.
Every run must leave the repository byte-identical and TMPDIR empty. A negative control shows the comparison catches a one-byte edit.

Four mutations of census.rs, each seen red:

Mutation	Checks that went red
put-back is a no-op	6
no drop before exit	2
only the first moved line	1
a tried file is not restored	5

cargo test -p tri census passes 29 tests, 4 of them new for row matching. rustfmt --check is clean, and tri gates tests --gate passes.

Census

shell run: steps 283 -> 284 and the runner does 262 -> 263. Both moves come from the one new step and are blessed in this commit.

Merge order: #5787 and #5824 also bless tools/census/shell.txt (283 -> 285 -> 286). Whichever of these merges second needs a re-bless. tri census explain names the file behind it.

Not established

A change that moves a number only together with another change reads as moving nothing alone. The together line shows that something remains, not which pair causes it.
The census code is this build. Putting back a census's own source changes what it reads, not how it counts.
Files beyond --max are counted, not tried.
gates shell reads 0 steps for a step written - run: x. No workflow uses that shape today, but a new one would not move the census, so explain would have nothing to explain.

Closes #5825
Refs #5786

🤖 Generated with Claude Code

`tri census pin --gate` prints the first differing line and stops: it says a census moved, not what moved it. On #5787 the first line was `files read 22 -> 23` and the cause sat further down, and the PR read "open" for six ticks while cli-tri was red on it. `tri census explain` lists every moved line (rows matched by their words, numbers folded), then puts each file changed since the ledger's commit back to that commit ALONE in a scratch copy of the tree and runs the census again. The copy must reproduce today's reading byte for byte or nothing is attributed; all tried files put back together must reproduce the ledger or it says NO. Read-only; the copy is dropped before `process::exit`. On this branch before the bless it named .github/workflows/cli-tri.yml as the only one of 1057 changed files that moves `shell` (101 s for all). Census moved, blessed here: shell `run: steps` 283 -> 284 and `the runner does` 262 -> 263 -- the one new cli-tri step that runs scripts/ci/test_a_moved_census_names_its_file.py (4 mutations seen red). Closes #5825 Refs #5786 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-03T21:35:33Z

📓 NotebookLM Notebook linked to this PR

Notebook ID: b83263109fb055dc
URL: https://notebooklm.google.com/notebook/b83263109fb055dc

This notebook contains session context, decisions, and artifacts for this work.

github-actions · 2026-10-03T21:35:34Z

PR Dashboard

Generated at: 2026-10-03 21:35:27 UTC

feat(tri census explain): name the file behind a moved census number #5826 feat(tri census explain): name the file behind a moved census number | Created: 2026-10-03 | Updated: 2026-10-03 | 25 failing / 30 total
tri pr-state: a loop's pull requests with tri pr ready's verdict, not "open" #5824 tri pr-state: a loop's pull requests with tri pr ready's verdict, not "open" | Created: 2026-10-03 | Updated: 2026-10-03 | 1 failing / 32 total
Port gHashTag/trinity:fpga/openxc7-synth/blink_simple.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/bli #5822 Port gHashTag/trinity:fpga/openxc7-synth/blink_simple.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/bli | Created: 2026-10-03 | Updated: 2026-10-03 | 4 failing / 31 total
Port gHashTag/trinity:fpga/openxc7-synth/clock_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/clock #5821 Port gHashTag/trinity:fpga/openxc7-synth/clock_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/clock | Created: 2026-10-03 | Updated: 2026-10-03 | 4 failing / 31 total
Port gHashTag/trinity:fpga/openxc7-synth/uart_echo.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/uart_e #5820 Port gHashTag/trinity:fpga/openxc7-synth/uart_echo.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/uart_e | Created: 2026-10-03 | Updated: 2026-10-03 | 4 failing / 31 total
specs/port: four ported types stop colliding with corpus types (types ratchet) #5812 specs/port: four ported types stop colliding with corpus types (types ratchet) | Created: 2026-10-03 | Updated: 2026-10-03 | 3 failing / 36 total
spec(crm-story-reel): v22 -- a client's reel carries the client's call #5811 spec(crm-story-reel): v22 -- a client's reel carries the client's call | Created: 2026-10-03 | Updated: 2026-10-03 | 3 failing / 32 total
feat(providers): what the Gonka network sells and what TRI-NET would rent #5800 feat(providers): what the Gonka network sells and what TRI-NET would rent | Created: 2026-10-03 | Updated: 2026-10-03 | 3 failing / 34 total
tri: stranded-work finder and cron tick resume card #5787 tri: stranded-work finder and cron tick resume card | Created: 2026-10-03 | Updated: 2026-10-03 | 1 failing / 31 total
Port gHashTag/trinity:fpga/openxc7-synth/d_srl_blink.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_sr #5783 Port gHashTag/trinity:fpga/openxc7-synth/d_srl_blink.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_sr | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 32 total
Port gHashTag/trinity:fpga/openxc7-synth/d_bufg_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_bu #5781 Port gHashTag/trinity:fpga/openxc7-synth/d_bufg_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_bu | Created: 2026-10-03 | Updated: 2026-10-03 | 3 failing / 32 total
Port gHashTag/trinity:fpga/openxc7-synth/led_on_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/led_ #5780 Port gHashTag/trinity:fpga/openxc7-synth/led_on_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/led_ | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 32 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-lane-credits.ts (TypeScript, 4 functions) #5778 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-lane-credits.ts (TypeScript, 4 functions) | Created: 2026-10-03 | Updated: 2026-10-03 | 3 failing / 32 total
bees/merger/publisher: reviewer bee as a service, merger reads discounted checks, publisher heading passes check (Closes #5776) #5777 bees/merger/publisher: reviewer bee as a service, merger reads discounted checks, publisher heading passes check (Closes #5776) | Created: 2026-10-03 | Updated: 2026-10-03 | 1 failing / 31 total
Port gHashTag/trinity:fpga/openxc7-synth/d_g22_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_g22 #5757 Port gHashTag/trinity:fpga/openxc7-synth/d_g22_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_g22 | Created: 2026-10-03 | Updated: 2026-10-03 | 3 failing / 31 total
Port gHashTag/trinity:fpga/openxc7-synth/d_y0_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_y0_t #5756 Port gHashTag/trinity:fpga/openxc7-synth/d_y0_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_y0_t | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 33 total
Port scripts/tri-issue-create.py (Python, 1 function) to specs/port/scripts/tri-issue-create.t27 #5755 Port scripts/tri-issue-create.py (Python, 1 function) to specs/port/scripts/tri-issue-create.t27 | Created: 2026-10-03 | Updated: 2026-10-03 | 3 failing / 33 total
Test the 1 untested function in specs/boards/arty_a7.t27 #5747 Test the 1 untested function in specs/boards/arty_a7.t27 | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 32 total
fix(tri): gates preview reads the PR body the way the issue gate does (Closes #5744) #5745 fix(tri): gates preview reads the PR body the way the issue gate does (Closes #5744) | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 42 total
fix(tri): gates preview asks the contexts the ruleset requires, parse-ratchet among them (Closes #5725) #5732 fix(tri): gates preview asks the contexts the ruleset requires, parse-ratchet among them (Closes #5725) | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 43 total
Port gHashTag/trinity:fpga/openxc7-synth/d_e21_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_e21 #5689 Port gHashTag/trinity:fpga/openxc7-synth/d_e21_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_e21 | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 32 total
spec(automation): kanban-card-chat v7 -- the bee's own log on a running card, live #5680 spec(automation): kanban-card-chat v7 -- the bee's own log on a running card, live | Created: 2026-10-03 | Updated: 2026-10-03 | 5 failing / 32 total
Port gHashTag/trinity:fpga/openxc7-synth/clk_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/clk_tes #5675 Port gHashTag/trinity:fpga/openxc7-synth/clk_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/clk_tes | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 36 total
docs(constitution): entrench Article CREDIT and seal it (v1.3) #5667 docs(constitution): entrench Article CREDIT and seal it (v1.3) | Created: 2026-10-03 | Updated: 2026-10-03 | 4 failing / 40 total
specs/port/fpga/verilog/ternary_mac_synth.t27: rewrite w_code_to_mult/product in t27 form (explicit return, element-wise #5664 specs/port/fpga/verilog/ternary_mac_synth.t27: rewrite w_code_to_mult/product in t27 form (explicit return, element-wise | Created: 2026-10-03 | Updated: 2026-10-03 | 1 failing / 36 total
Port gHashTag/trinity:fpga/openxc7-synth/symbiflow_blink.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/ #5663 Port gHashTag/trinity:fpga/openxc7-synth/symbiflow_blink.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/ | Created: 2026-10-03 | Updated: 2026-10-03 | 3 failing / 36 total
docs(igla): re-take the corpus figures on master, 1150 specs (Refs #5497) #5610 docs(igla): re-take the corpus figures on master, 1150 specs (Refs #5497) | Created: 2026-10-02 | Updated: 2026-10-02 | 1 failing / 34 total
feat(xilinx7): 7-series configuration packets as a .t27 spec (Closes #5608) #5609 feat(xilinx7): 7-series configuration packets as a .t27 spec (Closes #5608) | Created: 2026-10-02 | Updated: 2026-10-02 | 2 failing / 32 total
Port gHashTag/trinity:fpga/openxc7-synth/d_clk_direct.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_c #5595 Port gHashTag/trinity:fpga/openxc7-synth/d_clk_direct.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_c | Created: 2026-10-02 | Updated: 2026-10-03 | 3 failing / 32 total
The Queen's accept is the merge: dispatch.t27 says so, and its harness measures it #5452 The Queen's accept is the merge: dispatch.t27 says so, and its harness measures it | Created: 2026-10-01 | Updated: 2026-10-02 | 6 failing / 36 total
docs(tri): mark the Solana tri-mining program and depin.prove rewards superseded by mint-on-acceptance (Closes #5412) #5413 docs(tri): mark the Solana tri-mining program and depin.prove rewards superseded by mint-on-acceptance (Closes #5412) | Created: 2026-10-01 | Updated: 2026-10-02 | 6 failing / 32 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/container/image-loader.ts (TypeScript, 2 functions) to sp #5320 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/container/image-loader.ts (TypeScript, 2 functions) to sp | Created: 2026-09-30 | Updated: 2026-10-03 | 0 failing / 3 total
A "using" in prose became an import; and the per-spec delta check compared strings #5215 A "using" in prose became an import; and the per-spec delta check compared strings | Created: 2026-09-29 | Updated: 2026-10-03 | 10 failing / 42 total
Auto-loop 2026-09-29: silent-discard parser family + loop infrastructure #5084 Auto-loop 2026-09-29: silent-discard parser family + loop infrastructure | Created: 2026-09-28 | Updated: 2026-10-02 | 10 failing / 45 total
Carry wave-loop-898's stranded work: green lean 24/24 (fixes red lean CI), mcp registry spec, research corpus #5081 Carry wave-loop-898's stranded work: green lean 24/24 (fixes red lean CI), mcp registry spec, research corpus | Created: 2026-09-28 | Updated: 2026-10-02 | 10 failing / 36 total
chore: drop build artifacts tracked since ea15cd54c (#1399), ignore *.rlib #5078 chore: drop build artifacts tracked since ea15cd54c (#1399), ignore *.rlib | Created: 2026-09-28 | Updated: 2026-10-02 | 7 failing / 40 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-brief-shape.ts (TypeScript, 2 functions) t #4911 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-brief-shape.ts (TypeScript, 2 functions) t | Created: 2026-09-27 | Updated: 2026-10-03 | 0 failing / 3 total
Seals: 0 of 1072 specs verify, 928 with an unchanged spec_hash — gate it or remove it #4887 Seals: 0 of 1072 specs verify, 928 with an unchanged spec_hash — gate it or remove it | Created: 2026-09-27 | Updated: 2026-10-03 | 10 failing / 41 total
Wave Loop 473 — compiler-backend aggregate tail / live cold-POR CCLK sweep #4801 Wave Loop 473 — compiler-backend aggregate tail / live cold-POR CCLK sweep | Created: 2026-09-24 | Updated: 2026-10-03 | 0 failing / 3 total
Bare for statements: 2 loops recovered, and 235 of the 240 sites I cited were out of scope #4777 Bare for statements: 2 loops recovered, and 235 of the 240 sites I cited were out of scope | Created: 2026-09-24 | Updated: 2026-10-03 | 6 failing / 32 total
Generic type parameters dropped from the declaration and kept in the body: -23 errors #4745 Generic type parameters dropped from the declaration and kept in the body: -23 errors | Created: 2026-09-24 | Updated: 2026-10-03 | 0 failing / 3 total
Implement the 8 empty function bodies in specs/vsa/packed_vsa.t27 #4729 Implement the 8 empty function bodies in specs/vsa/packed_vsa.t27 | Created: 2026-09-24 | Updated: 2026-10-03 | 7 failing / 32 total
Wave 684: occlusion four deep, and the two files no list ever reached #4660 Wave 684: occlusion four deep, and the two files no list ever reached | Created: 2026-09-23 | Updated: 2026-10-03 | 7 failing / 32 total
Capture given/when/then and render them: 6540 clauses, and 169 specs share one unfilled placeholder #4642 Capture given/when/then and render them: 6540 clauses, and 169 specs share one unfilled placeholder | Created: 2026-09-23 | Updated: 2026-10-03 | 7 failing / 32 total
Implement part 2 of 2 of the empty bodies in specs/git/diff.t27 (7 functions) #4634 Implement part 2 of 2 of the empty bodies in specs/git/diff.t27 (7 functions) | Created: 2026-09-23 | Updated: 2026-10-03 | 0 failing / 3 total
Port part 1 of 2 of tools/check_withdrawn_live.py to specs/port/tools/check_withdrawn_live.t27 (8 functions) #4581 Port part 1 of 2 of tools/check_withdrawn_live.py to specs/port/tools/check_withdrawn_live.t27 (8 functions) | Created: 2026-09-22 | Updated: 2026-10-03 | 6 failing / 31 total
Port part 1 of 2 of tools/check_coq_in_build.py to specs/port/tools/check_coq_in_build.t27 (8 functions) #4578 Port part 1 of 2 of tools/check_coq_in_build.py to specs/port/tools/check_coq_in_build.t27 (8 functions) | Created: 2026-09-22 | Updated: 2026-10-03 | 6 failing / 32 total
Implement the 1 empty function body in specs/test_framework/verilog_bench_harness.t27 #4565 Implement the 1 empty function body in specs/test_framework/verilog_bench_harness.t27 | Created: 2026-09-21 | Updated: 2026-10-03 | 0 failing / 3 total
Implement part 2 of 2 of the empty bodies in specs/vm/jit_semantics.t27 (4 functions) #4563 Implement part 2 of 2 of the empty bodies in specs/vm/jit_semantics.t27 (4 functions) | Created: 2026-09-21 | Updated: 2026-10-03 | 7 failing / 32 total
Implement the 1 empty function body in specs/test_framework/graph_drift_detection.t27 #4536 Implement the 1 empty function body in specs/test_framework/graph_drift_detection.t27 | Created: 2026-09-21 | Updated: 2026-10-03 | 0 failing / 3 total

Summary

Status	Count
Total Open PRs	50
PRs with Failing Checks	42
PRs with All Checks Green	8
READY	7
FAILING	42
PENDING	0
NO CHECKS YET	0

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

Seal Status

⚠️ STALE -- sha256(compiler.rs)=b45a356c2eb6 != 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).

… it) #5849 (tri harness --save-state / --storage-state) was merged into this branch as 18a7212; this merge brings master in so #5828 can land both. tools/census/shell.txt conflicted (master moved to 284 steps with #5826) and was re-blessed with `tri census pin --bless`: jobs 85 -> 86, run: steps 284 -> 285, the +1/+1 this PR pinned. `tri census pin --gate` PASS; scripts/ci/test_a_page_is_measured_at_both_widths.py 64 passed. Refs #5827 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

gHashTag mentioned this pull request Oct 3, 2026

feat(tri): tri harness -- a page measured at 375px and 1024px, every visible frame #5828

Merged

gHashTag mentioned this pull request Oct 3, 2026

tri pr ready: a path-filtered workflow last run >15 master commits ago reads as NO BASELINE #5837

Closed

github-actions Bot mentioned this pull request Oct 3, 2026

Port scripts/check-pagination-truncation.sh (Shell, 1 function) to specs/port/scripts/check-pagination-truncation.t27 #5838

Closed

gHashTag mentioned this pull request Oct 3, 2026

feat(tri pr ready): ask a check's own workflow when the commit window missed it #5839

Merged

gHashTag mentioned this pull request Oct 4, 2026

tri gates shell: a step whose run: key is first in its list item (- run: ...) is not counted #5882

Closed

gHashTag merged commit b756a10 into master Oct 4, 2026
36 of 39 checks passed

Navigation Menu

Repository navigation

feat(tri census explain): name the file behind a moved census number - #5826

feat(tri census explain): name the file behind a moved census number#5826
gHashTag merged 1 commit into
masterfrom
feat/tri-census-explain

gHashTag commented Oct 3, 2026

Uh oh!

github-actions Bot commented Oct 3, 2026

Uh oh!

github-actions Bot commented Oct 3, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

gHashTag commented Oct 3, 2026

What

Why

Real output: this branch before its own bless (stderr included)

Test: scripts/ci/test_a_moved_census_names_its_file.py, a new step in cli-tri

Census

Not established

Uh oh!

github-actions Bot commented Oct 3, 2026

Uh oh!

github-actions Bot commented Oct 3, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Real output: this branch before its own bless (`stderr` included)

Test: `scripts/ci/test_a_moved_census_names_its_file.py`, a new step in `cli-tri`