specs/port/tools: SKIP_SUFFIX, USER_OPCODE and the jtag tests are t27 (#5735)

[dmitrii-f-t27]

Closes #5735

• t27c parse-complete --show now prints nothing discarded for check_conflict_markers (was 15 tokens), jtag/read_user1 (25) and jtag/read_verdict (55).
• SKIP_SUFFIX now has its seven suffixes in the generated Zig (it had no value). USER_OPCODE is a [5]u8 array whose index 0 is unused, so USER_OPCODE[chain] keeps its 1..4 chain numbers.
• The five jtag tests are braced t27 tests, and their asserts appear in the Zig output (the bodies were empty). read_user1's tautology result == result becomes result < 16, because user1 masks to 4 bits. No check was deleted.
• Typecheck is unchanged (1 error, 0, 0). zig ast-check errors: 1→1, 0→0, 4→3. test-report is BLOCKED on master and here alike, by existing stub and type problems in each spec.
• Ledger: read_user1 and read_verdict leave it. check_conflict_markers is re-keyed from parse-no-discard to typecheck under Fifteen ported specs do not parse and need their ports redone #5549: once it parses whole, the 4-argument _git stub called with 7 arguments shows. max_entries drops by two, to 128 on top of specs/numeric: GF8/20/24/32 invariants check concrete points instead of prose the parser drops #5702 (which had already lowered it to 130; master is merged in). A local t27c suite --ratchet --corpus-only reports RATCHET: CLEAN.
• No seal names these specs.

🤖 Generated with Claude Code

[github-actions]

📓 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]

PR Dashboard

Generated at: 2026-10-03 10:29:44 UTC

• specs/ml: race_config literals lose the '...' the parser dropped; digits unchanged #5741 specs/ml: race_config literals lose the '...' the parser dropped; digits unchanged | Created: 2026-10-03 | Updated: 2026-10-03 | 28 failing / 33 total
• specs/vsa: write the '≈' check and the C-style loop in t27 so they are not discarded #5739 specs/vsa: write the '≈' check and the C-style loop in t27 so they are not discarded | Created: 2026-10-03 | Updated: 2026-10-03 | 3 failing / 36 total
• fix(gft): sadd orders before it subtracts, underflow is zero; seal currency reads the stale ledger #5737 fix(gft): sadd orders before it subtracts, underflow is zero; seal currency reads the stale ledger | Created: 2026-10-03 | Updated: 2026-10-03 | 1 failing / 36 total
• specs/port/tools: SKIP_SUFFIX, USER_OPCODE and the jtag tests are t27 (#5735) #5736 specs/port/tools: SKIP_SUFFIX, USER_OPCODE and the jtag tests are t27 (#5735) | Created: 2026-10-03 | Updated: 2026-10-03 | 19 failing / 32 total
• specs/demos: restore the jones_signature_throughput bench and make two broken blocks readable #5734 specs/demos: restore the jones_signature_throughput bench and make two broken blocks readable | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 36 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 | 4 failing / 42 total
• specs/fpga: test checks written as 'invariant <expr>;' become then/and assertions #5731 specs/fpga: test checks written as 'invariant ;' become then/and assertions | Created: 2026-10-03 | Updated: 2026-10-03 | 5 failing / 42 total
• specs/port/fpga: ported FPGA tests are read again (#5728) #5729 specs/port/fpga: ported FPGA tests are read again (#5728) | Created: 2026-10-03 | Updated: 2026-10-03 | 14 failing / 34 total
• specs/math: sacred_physics checks every member of its finite sets instead of a dropped prose tail #5727 specs/math: sacred_physics checks every member of its finite sets instead of a dropped prose tail | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 36 total
• specs/numeric: GF12 invariants check concrete points instead of prose the parser drops #5724 specs/numeric: GF12 invariants check concrete points instead of prose the parser drops | Created: 2026-10-03 | Updated: 2026-10-03 | 10 failing / 37 total
• spec(crm-story-reel): v20 -- the hook reel as a template, yellow captions, the widget call, RU+EN #5697 spec(crm-story-reel): v20 -- the hook reel as a template, yellow captions, the widget call, RU+EN | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 32 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 | 4 failing / 31 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 | 4 failing / 31 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 | 3 failing / 31 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 | 5 failing / 31 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-02 | 6 failing / 31 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-02 | 8 failing / 31 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-02 | 12 failing / 41 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-02 | 11 failing / 31 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-02 | 12 failing / 40 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-02 | 11 failing / 31 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-02 | 10 failing / 31 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-02 | 12 failing / 31 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-02 | 12 failing / 31 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-02 | 10 failing / 31 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-02 | 10 failing / 31 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-02 | 10 failing / 31 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-02 | 9 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-02 | 8 failing / 31 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-02 | 0 failing / 2 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-02 | 8 failing / 31 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-02 | 8 failing / 31 total
• Nothing builds bindings/wasm-explorer, which is how the artifact it replaces drifted in the first place #4498 Nothing builds bindings/wasm-explorer, which is how the artifact it replaces drifted in the first place | Created: 2026-09-21 | Updated: 2026-10-02 | 6 failing / 30 total
• Feed the swarm from CI, with fuel that does not run out #3978 Feed the swarm from CI, with fuel that does not run out | Created: 2026-09-17 | Updated: 2026-10-02 | 6 failing / 28 total
• coq(CorePhi): replace proofs that were never checked by a compiler #3343 coq(CorePhi): replace proofs that were never checked by a compiler | Created: 2026-09-06 | Updated: 2026-10-02 | 5 failing / 32 total
• Land the formal verification harness on master (it has never run) #2727 Land the formal verification harness on master (it has never run) | Created: 2026-08-27 | Updated: 2026-10-02 | 5 failing / 24 total

Summary

Status	Count
Total Open PRs	45
PRs with Failing Checks	42
PRs with All Checks Green	3
READY	1
FAILING	42
PENDING	0
NO CHECKS YET	0

These columns do not partition: 1 + 42 + 0 + 0 = 43, and there are 45 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).

[github-actions]

PR Dashboard

Generated at: 2026-10-03 10:57:51 UTC

• 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 | 5 failing / 31 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 | 3 failing / 42 total
• specs/port/tools: SKIP_SUFFIX, USER_OPCODE and the jtag tests are t27 (#5735) #5736 specs/port/tools: SKIP_SUFFIX, USER_OPCODE and the jtag tests are t27 (#5735) | Created: 2026-10-03 | Updated: 2026-10-03 | 15 failing / 32 total
• specs/demos: restore the jones_signature_throughput bench and make two broken blocks readable #5734 specs/demos: restore the jones_signature_throughput bench and make two broken blocks readable | Created: 2026-10-03 | Updated: 2026-10-03 | 5 failing / 36 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
• spec(crm-story-reel): v20 -- the hook reel as a template, yellow captions, the widget call, RU+EN #5697 spec(crm-story-reel): v20 -- the hook reel as a template, yellow captions, the widget call, RU+EN | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 32 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 | 4 failing / 31 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 | 4 failing / 31 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 | 3 failing / 31 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 | 5 failing / 31 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-02 | 6 failing / 31 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-02 | 8 failing / 31 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-02 | 12 failing / 41 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-02 | 11 failing / 31 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-02 | 12 failing / 40 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-02 | 11 failing / 31 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-02 | 10 failing / 31 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-02 | 12 failing / 31 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-02 | 12 failing / 31 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-02 | 10 failing / 31 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-02 | 10 failing / 31 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-02 | 10 failing / 31 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-02 | 9 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-02 | 8 failing / 31 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-02 | 0 failing / 2 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-02 | 8 failing / 31 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-02 | 8 failing / 31 total
• Nothing builds bindings/wasm-explorer, which is how the artifact it replaces drifted in the first place #4498 Nothing builds bindings/wasm-explorer, which is how the artifact it replaces drifted in the first place | Created: 2026-09-21 | Updated: 2026-10-02 | 6 failing / 30 total
• Feed the swarm from CI, with fuel that does not run out #3978 Feed the swarm from CI, with fuel that does not run out | Created: 2026-09-17 | Updated: 2026-10-02 | 6 failing / 28 total
• coq(CorePhi): replace proofs that were never checked by a compiler #3343 coq(CorePhi): replace proofs that were never checked by a compiler | Created: 2026-09-06 | Updated: 2026-10-02 | 5 failing / 32 total
• Land the formal verification harness on master (it has never run) #2727 Land the formal verification harness on master (it has never run) | Created: 2026-08-27 | Updated: 2026-10-02 | 5 failing / 24 total

Summary

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

These columns do not partition: 1 + 37 + 0 + 0 = 38, and there are 40 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).

[github-actions]

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