spec(git): diff.t27 counts files by status with if/else, not a Rust match (Closes #12351) by gHashTag · Pull Request #12352 · Trinity-S-AI-DNA/t27

gHashTag · 2026-10-25T08:23:03Z

What

emit-bitexact ("No spec newly fails to generate") has been red on master since #4634. That PR filled count_files_by_status in specs/git/diff.t27 with a Rust match block, but t27 has no match, so typecheck refuses the spec and no backend generates it. Every PR opened on master since then inherits the failure, for example #12341.

This PR replaces the three match arms with an if / else if chain on item.status == Kind::X, the same idiom the file's own asserts already use. It also resaves the two seal files that name the spec (GitDiff.json and git_GitDiff.json) with a t27c built from master commit a6bdfefa5.

Checks

t27c typecheck specs/git/diff.t27: Typecheck OK (0 errors, 0 warnings).
t27c seal --verify specs/git/diff.t27: all hashes MATCH.
Neither seal contains a home path.
3 files changed. The spec edit touches only count_files_by_status.

Not fixed here

t27c test-report specs/git/diff.t27 still reports BLOCKED. The spec calls a host function, execute_command, at 8 sites, and nothing declares it. That defect predates this PR, and the generation gate does not depend on it.

🤖 Generated with Claude Code

…atch (Closes #12351) #4634 filled count_files_by_status with a Rust match block, which t27 does not have, so specs/git/diff.t27 stopped typechecking. As a result the emit-bitexact gate (tools/check_specs_generate.py) has been red on master and on every PR opened since then. The three arms become an if / else if chain on item.status == Kind::X, the idiom the file's own asserts already use. Both seal files naming the spec were resaved with a t27c built from master commit a6bdfef. t27c typecheck specs/git/diff.t27: Typecheck OK (0 errors, 0 warnings). t27c seal --verify specs/git/diff.t27: all hashes MATCH. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-25T08:35:42Z

PR Dashboard

Generated at: 2026-10-25 08:35:34 UTC

chore(census): re-bless the workflow pins, 67 -> 68 files (Closes #12355) #12357 chore(census): re-bless the workflow pins, 67 -> 68 files (Closes #12355) | Created: 2026-10-25 | Updated: 2026-10-25 | 26 failing / 29 total
feat(fpga): wasm_board_ax7203 P6 -- if/else, call/return, call_indirect, globals on the existing frames #12356 feat(fpga): wasm_board_ax7203 P6 -- if/else, call/return, call_indirect, globals on the existing frames | Created: 2026-10-25 | Updated: 2026-10-25 | 30 failing / 35 total
spec(git): diff.t27 counts files by status with if/else, not a Rust match (Closes #12351) #12352 spec(git): diff.t27 counts files by status with if/else, not a Rust match (Closes #12351) | Created: 2026-10-25 | Updated: 2026-10-25 | 28 failing / 35 total
spec(git): count_files_by_status drops the Rust match that made master's gen gate red (Refs #4620) #12350 spec(git): count_files_by_status drops the Rust match that made master's gen gate red (Refs #4620) | Created: 2026-10-25 | Updated: 2026-10-25 | 27 failing / 36 total
test(analog): sar_switch mutation test gaps closed, 349 of 400 mutants killed (Closes #12287) #12349 test(analog): sar_switch mutation test gaps closed, 349 of 400 mutants killed (Closes #12287) | Created: 2026-10-25 | Updated: 2026-10-25 | 24 failing / 37 total
seals: reseal builder, jit_semantics and packed_vsa, stale since today's merges (Closes #12347) #12348 seals: reseal specs/tri/pipeline/builder.t27, stale since #4642 (Closes #12347) | Created: 2026-10-25 | Updated: 2026-10-25 | 19 failing / 32 total
feat(tri): mutate first-pass clock rule as t27 policy, slice 1 (Closes #12345) #12346 feat(tri): mutate first-pass clock rule as t27 policy, slice 1 (Closes #12345) | Created: 2026-10-25 | Updated: 2026-10-25 | 13 failing / 37 total
test(analog): linear_zoh mutation gaps closed, gate result recorded (Closes #12276) #12342 test(analog): linear_zoh mutation gaps closed, gate result recorded (Closes #12276) | Created: 2026-10-25 | Updated: 2026-10-25 | 6 failing / 37 total
spec(t27f): petal P PULLS -- list, trace, inspector and badge from merge_judge.t27 (Closes #12340, Refs #12173) #12341 spec(t27f): petal P PULLS -- list, trace, inspector and badge from merge_judge.t27 (Closes #12340, Refs #12173) | Created: 2026-10-25 | Updated: 2026-10-25 | 6 failing / 37 total
policy: foreign exceptions for the fleet scanner host plumbing (#12170) #12339 policy: foreign exceptions for the fleet scanner host plumbing (#12170) | Created: 2026-10-25 | Updated: 2026-10-25 | 4 failing / 34 total
fix(gen-verilog): a cast to a wider integer widens the Verilog expression (Closes #12296) #12338 fix(gen-verilog): a cast to a wider integer widens the Verilog expression (Closes #12296) | Created: 2026-10-25 | Updated: 2026-10-25 | 31 failing / 36 total
spec(t27f): petal N PULSE -- timeline, chart and badge from domain_pulse.t27 (Closes #12334, Refs #12173) #12337 spec(t27f): petal N PULSE -- timeline, chart and badge from domain_pulse.t27 (Closes #12334, Refs #12173) | Created: 2026-10-25 | Updated: 2026-10-25 | 0 failing / 37 total
spec(t27os): the t27b leg runs after a red t27c gate, so an @extern spec gets its compiler (Closes #12332) #12333 spec(t27os): the t27b leg runs after a red t27c gate, so an @extern spec gets its compiler (Closes #12332) | Created: 2026-10-25 | Updated: 2026-10-25 | 5 failing / 36 total
spec(t27f): petal D HEALTH -- matrix, list and badge from dashboard.t27 (Closes #12322, Refs #12173) #12324 spec(t27f): petal D HEALTH -- matrix, list and badge from dashboard.t27 (Closes #12322, Refs #12173) | Created: 2026-10-25 | Updated: 2026-10-25 | 0 failing / 37 total
spec(t27f): petal F FRONTEND -- matrix, list, choice and badge from frontend.t27 (Closes #12320, Refs #12173) #12321 spec(t27f): petal F FRONTEND -- matrix, list, choice and badge from frontend.t27 (Closes #12320, Refs #12173) | Created: 2026-10-25 | Updated: 2026-10-25 | 0 failing / 37 total
spec(t27f): petal Ti SECURITY -- list, trace and badge from secret_gate.t27 (Closes #12318, Refs #12173) #12319 spec(t27f): petal Ti SECURITY -- list, trace and badge from secret_gate.t27 (Closes #12318, Refs #12173) | Created: 2026-10-25 | Updated: 2026-10-25 | 0 failing / 37 total
spec(tri/t27b): wasm floor 17 grafted + its two QUESTIONs answered + the live_gx_wasm card (the mount's adapter patch preserved) #12308 spec(tri/t27b): wasm floor 17 grafted + its two QUESTIONs answered + the live_gx_wasm card (the mount's adapter patch preserved) | Created: 2026-10-25 | Updated: 2026-10-25 | 35 failing / 38 total
spec(t27os): receipt_name carries the lab.yml sha step -- a full input skips the lookup (Refs #11840) #12305 spec(t27os): receipt_name carries the lab.yml sha step -- a full input skips the lookup (Refs #11840) | Created: 2026-10-25 | Updated: 2026-10-25 | 0 failing / 37 total
fpga: wasm_board_ax7203 P5 -- one 64 KiB linear memory page, ten memory opcodes (Closes #12202) #12304 fpga: wasm_board_ax7203 P5 -- one 64 KiB linear memory page, ten memory opcodes (Closes #12202) | Created: 2026-10-25 | Updated: 2026-10-25 | 1 failing / 43 total
spec(t27f): petal J JOBS -- job list, timeline and badge from job_kind.t27 #12303 spec(t27f): petal J JOBS -- job list, timeline and badge from job_kind.t27 | Created: 2026-10-25 | Updated: 2026-10-25 | 0 failing / 37 total
spec(t27f): petal I ISSUES -- ranked list, inspector and badge from priority.t27 #12301 spec(t27f): petal I ISSUES -- ranked list, inspector and badge from priority.t27 | Created: 2026-10-25 | Updated: 2026-10-25 | 0 failing / 37 total
spec(t27f): petal A ISA interactive visualization (Closes #12295, Refs #12173) #12299 spec(t27f): petal A ISA interactive visualization (Closes #12295, Refs #12173) | Created: 2026-10-25 | Updated: 2026-10-25 | 0 failing / 37 total
spec(t27os): an identical t27b leg on redispatch is a success, not a red (Closes #12293) #12294 spec(t27os): an identical t27b leg on redispatch is a success, not a red (Closes #12293) | Created: 2026-10-25 | Updated: 2026-10-25 | 1 failing / 38 total
spec(t27f): petal W WIDGETS interactive visualization (Closes #12291, Refs #12173) #12292 spec(t27f): petal W WIDGETS interactive visualization (Closes #12291, Refs #12173) | Created: 2026-10-25 | Updated: 2026-10-25 | 0 failing / 37 total
spec(t27f): petal V VERDICTS interactive visualization (Closes #12289, Refs #12173) #12290 spec(t27f): petal V VERDICTS interactive visualization (Closes #12289, Refs #12173) | Created: 2026-10-25 | Updated: 2026-10-25 | 0 failing / 37 total
spec(t27os): petal S SPECS page in the glass window (Closes #12199) #12284 spec(t27os): petal S SPECS page in the glass window (Closes #12199) | Created: 2026-10-25 | Updated: 2026-10-25 | 0 failing / 36 total
docs(t27f): VIZ-PETAL-GUIDE -- how to add the visualization for one more petal (Refs #12173) #12282 docs(t27f): VIZ-PETAL-GUIDE -- how to add the visualization for one more petal (Refs #12173) | Created: 2026-10-25 | Updated: 2026-10-25 | 0 failing / 30 total
fpga(wasm_module): load a whole .wasm image: LEB128 pairs, section walk, function table, exports, data segments (Closes #12201) #12278 fpga(wasm_module): load a whole .wasm image: LEB128 pairs, section walk, function table, exports, data segments (Closes #12201) | Created: 2026-10-25 | Updated: 2026-10-25 | 0 failing / 44 total
fpga(wasm_fb): a 320x200 palette framebuffer in the video raster, and frame_main that writes each run's frame to a PPM (Closes #12203) #12270 fpga(wasm_fb): a 320x200 palette framebuffer in the video raster, and frame_main that writes each run's frame to a PPM (Closes #12203) | Created: 2026-10-25 | Updated: 2026-10-25 | 0 failing / 44 total
feat(t27os): DOCTOR watches agent litter, in-use folders and low disk; CLAUDE.md where t27 work lives #12188 feat(t27os): DOCTOR watches agent litter, in-use folders and low disk; CLAUDE.md where t27 work lives | Created: 2026-10-25 | Updated: 2026-10-25 | 0 failing / 36 total
spec(fpga): wasm board P5 -- float arithmetic on the words (0x92/0x93/0x94, the truncation floor) #12181 spec(fpga): wasm board P5 -- float arithmetic on the words (0x92/0x93/0x94, the truncation floor) | Created: 2026-10-25 | Updated: 2026-10-25 | 5 failing / 45 total
bees README: the 2026-10-25 key and model probe matrix #12177 bees README: the 2026-10-25 key and model probe matrix | Created: 2026-10-25 | Updated: 2026-10-25 | 2 failing / 30 total
t27b(wasm): M-D -- and/or/xor/shl/shr lower; the law's floor 13 (Refs #11983 #11840 Trinity-S-AI-DNA/t27os#3) #12172 t27b(wasm): M-D -- and/or/xor/shl/shr lower; the law's floor 13 (Refs #11983 #11840 Trinity-S-AI-DNA/t27os#3) | Created: 2026-10-25 | Updated: 2026-10-25 | 0 failing / 2 total
crons: the trinity auto-merge card -- ten-minute sweep, dispatch half live, merge half waiting for the bee #12169 crons: the trinity auto-merge card -- ten-minute sweep, dispatch half live, merge half waiting for the bee | Created: 2026-10-25 | Updated: 2026-10-25 | 6 failing / 45 total
spec(fpga): wasm board P6 -- the 64-bit datapath design floor (STACK_2x32, OP_RUN_USER64) #12167 spec(fpga): wasm board P6 -- the 64-bit datapath design floor (STACK_2x32, OP_RUN_USER64) | Created: 2026-10-25 | Updated: 2026-10-25 | 3 failing / 46 total
fpga(wasm): block/loop/br/br_if/br_table and the label stack in the board cell -- scan submachine, fuel guard, five baked control-flow programs (Closes #12010) #12061 fpga(wasm): block/loop/br/br_if/br_table and the label stack in the board cell -- scan submachine, fuel guard, five baked control-flow programs (Closes #12010) | Created: 2026-10-24 | Updated: 2026-10-25 | 0 failing / 43 total
fpga(wasm): the 24 single-clock i32 ALU opcodes have one home -- alu_arity/alu_eval in the cell, the table oracle calls them (Closes #12011) #12060 fpga(wasm): the 24 single-clock i32 ALU opcodes have one home -- alu_arity/alu_eval in the cell, the table oracle calls them (Closes #12011) | Created: 2026-10-24 | Updated: 2026-10-25 | 0 failing / 44 total
T27 OS: calls, chat, cabinet, LAN self-update, H.264 30 fps video, IPv6 calls and reach U1-U2 (Closes #12034) #12035 T27 OS: calls, chat, cabinet, LAN self-update, H.264 30 fps video, IPv6 calls and reach U1-U2 (Closes #12034) | Created: 2026-10-24 | Updated: 2026-10-24 | 7 failing / 37 total
spec(widgets): analog-v01-acceptance, the SAR ADC acceptance scoreboard of t27 analog v0.1 as a spec-generated widget (Refs #11972) #12025 spec(widgets): analog-v01-acceptance, the SAR ADC acceptance scoreboard of t27 analog v0.1 as a spec-generated widget (Refs #11972) | Created: 2026-10-24 | Updated: 2026-10-24 | 5 failing / 40 total
t27f: live_chat -- talk to the Queen on the live screen, tokens over the one wire (Closes #12006) #12013 t27f: live_chat -- talk to the Queen on the live screen, tokens over the one wire (Closes #12006) | Created: 2026-10-24 | Updated: 2026-10-24 | 4 failing / 39 total
gen-rust: E0381 undefined-array zero-init -- one emission copy (Refs #5980) #12004 gen-rust: E0381 undefined-array zero-init -- one emission copy (Refs #5980) | Created: 2026-10-24 | Updated: 2026-10-24 | 8 failing / 51 total
spec(t27os): hive canvas render-path tests (t27os#19 criterion 1) #11948 spec(t27os): hive canvas render-path tests (t27os#19 criterion 1) | Created: 2026-10-24 | Updated: 2026-10-24 | 2 failing / 37 total
test(t27f): frame_render clears the raster before it blends (Refs #3) #11922 test(t27f): frame_render clears the raster before it blends (Refs #3) | Created: 2026-10-23 | Updated: 2026-10-24 | 4 failing / 28 total
spec(crons): the lab.yml verdict step as t27 law (t27os#9) #11894 spec(crons): the lab.yml verdict step as t27 law (t27os#9) | Created: 2026-10-23 | Updated: 2026-10-23 | 8 failing / 33 total
spec(crons): the lab.yml encoder step as t27 law -- M6 only, distro ffmpeg first, never fatal (Refs #11873) #11891 spec(crons): the lab.yml encoder step as t27 law -- M6 only, distro ffmpeg first, never fatal (Refs #11873) | Created: 2026-10-23 | Updated: 2026-10-25 | 8 failing / 37 total
queen: local dispatch pure-logic starter (t27#11811) #11812 queen: local dispatch pure-logic starter (t27#11811) | Created: 2026-10-23 | Updated: 2026-10-24 | 7 failing / 45 total
t27c test: execute assertions via zig test (Closes #11805) #11806 t27c test: execute assertions via zig test (Closes #11805) | Created: 2026-10-23 | Updated: 2026-10-24 | 7 failing / 57 total
fpga: petal framebuffer rasteriser starter (M5, Closes #11802) #11803 fpga: petal framebuffer rasteriser starter (M5, Closes #11802) | Created: 2026-10-23 | Updated: 2026-10-24 | 7 failing / 45 total
lab: T27OS replaces Railway as lab host (Closes #11800) #11801 lab: T27OS replaces Railway as lab host (Closes #11800) | Created: 2026-10-23 | Updated: 2026-10-24 | 7 failing / 45 total
tri git: make compiler/cli/git.t27 a compilable, sealed .t27 spec (Closes #11798) #11799 tri git: make compiler/cli/git.t27 a compilable, sealed .t27 spec (Closes #11798) | Created: 2026-10-23 | Updated: 2026-10-24 | 4 failing / 41 total

Summary

Status	Count
Total Open PRs	50
PRs with Failing Checks	25
PRs with All Checks Green	25
READY	18
FAILING	25
PENDING	0
NO CHECKS YET	0

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

Seal Status

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

#12347)

Clears inherited reds: diff.t27 typecheck (#12352) and TriBuilder seals (#12348). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

This was referenced Oct 25, 2026

spec(crons): the lab.yml encoder step as t27 law -- M6 only, distro ffmpeg first, never fatal (Refs #11873) #11891

Merged

Port part 1 of 2 of tools/check_withdrawn_live.py to specs/port/tools/check_withdrawn_live.t27 (8 functions) #4581

Merged

gHashTag enabled auto-merge (squash) October 25, 2026 08:29

This was referenced Oct 25, 2026

spec(git): count_files_by_status drops the Rust match that made master's gen gate red (Refs #4620) #12350

Closed

test(analog): sar_switch mutation test gaps closed, 349 of 400 mutants killed (Closes #12287) #12349

Merged

This was referenced Oct 25, 2026

fix(gen-verilog): a cast to a wider integer widens the Verilog expression (Closes #12296) #12338

Merged

feat(tri): mutate first-pass clock rule as t27 policy, slice 1 (Closes #12345) #12346

Merged

gHashTag mentioned this pull request Oct 25, 2026

seals: reseal builder, jit_semantics and packed_vsa, stale since today's merges (Closes #12347) #12348

Merged

gHashTag merged commit 672aaca into master Oct 25, 2026
33 of 37 checks passed

gHashTag mentioned this pull request Oct 25, 2026

tri mutate: first-pass clock rule as t27 policy (clock.t27, slice 1) #12345

Closed

gHashTag added a commit that referenced this pull request Oct 25, 2026

merge: master into reseal-builder for the GitDiff seals of #12352 (Refs

8f588d6

#12347)

gHashTag added a commit that referenced this pull request Oct 25, 2026

Merge origin/master into night/170-t27b-leg-always (Refs #12332)

be5021a

Clears inherited reds: diff.t27 typecheck (#12352) and TriBuilder seals (#12348). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

This was referenced Oct 25, 2026

spec(t27os): the t27b leg runs after a red t27c gate, so an @extern spec gets its compiler (Closes #12332) #12333

Merged

epic(fpga): DOOM on the AX7203 -- status and progress dashboard of the WASM board stack #12387

Closed

gHashTag deleted the claude/fix-git-diff-match branch October 26, 2026 03:41

Navigation Menu

Repository navigation

spec(git): diff.t27 counts files by status with if/else, not a Rust match (Closes #12351) - #12352

spec(git): diff.t27 counts files by status with if/else, not a Rust match (Closes #12351)#12352
gHashTag merged 1 commit into
masterfrom
claude/fix-git-diff-match

gHashTag commented Oct 25, 2026

Uh oh!

github-actions Bot commented Oct 25, 2026

Uh oh!

Uh oh!

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

gHashTag commented Oct 25, 2026

What

Checks

Not fixed here

Uh oh!

github-actions Bot commented Oct 25, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

Uh oh!

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant