claw: make pr_tools.t27 compile and pass (24/24), reseal (Closes #12493) by gHashTag · Pull Request #12580 · Trinity-S-AI-DNA/t27

gHashTag · 2026-10-26T01:10:35Z

What

#12520 merged specs/claw/pr_tools.t27 while it did not compile. Its checks were red for inherited reasons, so the BLOCKED test report was hidden. This PR makes the spec compile, pass and sealed.

Fixes

merge_plan is declared in both claw/merge_judge and claw/merge_lane; the splicer resolves bare names globally, so the call is now merge_judge::merge_plan. Same for text::has_prefix and text::str_eq.
run_gt takes five arguments; one call passed six.
t27c keeps string-typed names (struct fields) in a single set for the whole spliced spec. claw/evidence declares a field path : str, so path == 9 in merge_judge's t_named test helper was lowered to a string compare and Zig refused it. The two helper parameters are renamed pidx (merge_judge stays 67/67).

Evidence

Test report for pr_tools: 24 passed, 0 failed, 0 vacuous.
Test report for merge_judge: 67 passed, 0 failed.
Seals saved with the master-built t27c from the worktree root: claw_ClawPrTools.json (new) and claw_ClawMergeJudge.json; both spec hashes match the sha256 of the spec files.
The duplicate-body scan reports only the inherited same group (t27#12498), nothing from these files.

Lesson

Read the test report of a new spec before merging; red checks can hide a compile error.

Closes #12493

🤖 Generated with Claude Code

…loses #12493) #12520 merged specs/claw/pr_tools.t27 while it did not compile; red checks hid the BLOCKED test-report. Fixes: - merge_plan is declared in merge_judge and merge_lane: call it as merge_judge::merge_plan; likewise text::has_prefix, text::str_eq - run_gt takes five arguments, not six - t27c keeps string-typed names (struct fields) in one set for the whole spliced spec, so evidence's `path : str` field turned merge_judge's `path == 9` test helper into a string compare; rename those two test helper parameters to pidx (merge_judge 67/67 still green) Seals saved for ClawPrTools (new) and ClawMergeJudge, hashes checked against the spec files. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

github-actions · 2026-10-26T01:18:41Z

PR Dashboard

Generated at: 2026-10-26 01:18:33 UTC

queen: claim protocol as an actor message, stale after 6 h (Refs #12582) #12584 queen: claim protocol as an actor message, stale after 6 h (Refs #12582) | Created: 2026-10-26 | Updated: 2026-10-26 | 29 failing / 32 total
claw: make pr_tools.t27 compile and pass (24/24), reseal (Closes #12493) #12580 claw: make pr_tools.t27 compile and pass (24/24), reseal (Closes #12493) | Created: 2026-10-26 | Updated: 2026-10-26 | 27 failing / 36 total
spec(policy): dupe_bodies, the duplicate-bodies gate in t27 with the alpha key (Refs #12449) #12579 spec(policy): dupe_bodies, the duplicate-bodies gate in t27 with the alpha key (Refs #12449) | Created: 2026-10-26 | Updated: 2026-10-26 | 9 failing / 37 total
docs(skills): analog-emulation lessons of tick 107 (Closes #12577) #12578 docs(skills): analog-emulation lessons of tick 107 (Closes #12577) | Created: 2026-10-26 | Updated: 2026-10-26 | 3 failing / 31 total
port(scripts): move the build_tree use inside the 29 gen_w6NN modules so the parser keeps their closing brace; reseal (Closes #12497) #12500 port(scripts): move the build_tree use inside the 29 gen_w6NN modules so the parser keeps their closing brace; reseal (Closes #12497) | Created: 2026-10-25 | Updated: 2026-10-26 | 1 failing / 36 total
gates(dupes): ledger row for the same group, the renamed remainder of the groups #12458 shrank (Closes #12498) #12499 gates(dupes): ledger row for the same group, the renamed remainder of the groups #12458 shrank (Closes #12498) | Created: 2026-10-25 | Updated: 2026-10-26 | 0 failing / 36 total
ci(elab): baseline rows for the five specs/fpga modules the #12430 merge started emitting (Closes #12491) #12492 ci(elab): baseline rows for the five specs/fpga modules the #12430 merge started emitting (Closes #12491) | Created: 2026-10-25 | Updated: 2026-10-26 | 5 failing / 43 total
policy: foreign exception for the AX7203 WASM board top (Refs #12456) #12483 policy: foreign exception for the AX7203 WASM board top (Refs #12456) | Created: 2026-10-25 | Updated: 2026-10-26 | 0 failing / 36 total
spec(t27os): lab_legs names the scheduled run's specs through one fallback (Closes #12469) #12472 spec(t27os): lab_legs names the scheduled run's specs through one fallback (Closes #12469) | Created: 2026-10-25 | Updated: 2026-10-25 | 4 failing / 38 total
ci(fpga-build): synthesise the AX7203 WASM cell with a utilisation receipt (Closes #12411) #12457 ci(fpga-build): synthesise the AX7203 WASM cell with a utilisation receipt (Closes #12411) | Created: 2026-10-25 | Updated: 2026-10-26 | 19 failing / 35 total
ci: regenerate gen/rust sha256.rs and bench_boards.rs, the specs moved last (Closes #12435) #12455 ci: regenerate gen/rust sha256.rs and bench_boards.rs, the specs moved last (Closes #12435) | Created: 2026-10-25 | Updated: 2026-10-25 | 3 failing / 41 total
spec(crons): QUEUE-STEP queue_verdict -- drop superseded lab pairs, own night/ first (Closes #12412) #12414 spec(crons): QUEUE-STEP queue_verdict -- drop superseded lab pairs, own night/ first (Closes #12412) | Created: 2026-10-25 | Updated: 2026-10-25 | 4 failing / 36 total
spec(t27f): the graph view backdrop is brand black #000000 (Closes #12406) #12408 spec(t27f): the graph view backdrop is brand black #000000 (Closes #12406) | Created: 2026-10-25 | Updated: 2026-10-26 | 28 failing / 34 total
feat(fpga): wasm_board_ax7203 P7 -- i64 pairs on the operand stack for DOOM's FixedMul (Closes #12371) #12405 feat(fpga): wasm_board_ax7203 P7 -- i64 pairs on the operand stack for DOOM's FixedMul (Closes #12371) | Created: 2026-10-25 | Updated: 2026-10-26 | 3 failing / 36 total
spec(t27os): Info.plist opts out of App Nap so the heartbeat keeps its 300 s period (Closes #12400) #12402 spec(t27os): Info.plist opts out of App Nap so the heartbeat keeps its 300 s period (Closes #12400) | Created: 2026-10-25 | Updated: 2026-10-25 | 4 failing / 38 total
spec(tri): preflight push rule -- a push runs the nine labs gates first (Refs #11783) #12398 spec(tri): preflight push rule -- a push runs the nine labs gates first (Refs #11783) | Created: 2026-10-25 | Updated: 2026-10-25 | 1 failing / 45 total
spec(crons): SELF-CRITICAL closes an own night PR already on master before repairing it (Closes #12396) #12397 spec(crons): SELF-CRITICAL closes an own night PR already on master before repairing it (Closes #12396) | Created: 2026-10-25 | Updated: 2026-10-25 | 5 failing / 36 total
feat(gen-verilog): a module array whose start value is a repeat literal gets its fill, not an empty initial (Closes #12298) #12394 feat(gen-verilog): a module array whose start value is a repeat literal gets its fill, not an empty initial (Closes #12298) | Created: 2026-10-25 | Updated: 2026-10-25 | 7 failing / 48 total
crons: the t27os queen-feed card -- batch-pull export of the Queen actor events (Refs #12384.) #12393 crons: the t27os queen-feed card -- batch-pull export of the Queen actor events (Refs #12384.) | Created: 2026-10-25 | Updated: 2026-10-25 | 4 failing / 36 total
spec(t27f): live_fleet.t27 -- the /t27f/live/ fleet panel reads /queen/public-activity (Closes #12382) #12383 spec(t27f): live_fleet.t27 -- the /t27f/live/ fleet panel reads /queen/public-activity (Closes #12382) | Created: 2026-10-25 | Updated: 2026-10-25 | 4 failing / 36 total
t27b(wasm): floor 17 -- the LOCALS MOUNT (statement bodies lower, fact word 11 feeds the walk) #12378 t27b(wasm): floor 17 -- the LOCALS MOUNT (statement bodies lower, fact word 11 feeds the walk) | Created: 2026-10-25 | Updated: 2026-10-25 | 3 failing / 46 total
feat(gen-verilog): a 64 KiB byte array with one read and one write site gets its own clocked process (Closes #12297) #12364 feat(gen-verilog): a 64 KiB byte array with one read and one write site gets its own clocked process (Closes #12297) | Created: 2026-10-25 | Updated: 2026-10-25 | 5 failing / 49 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-26 | 5 failing / 35 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-26 | 19 failing / 45 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 | 4 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 | 4 failing / 38 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-26 | 2 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-26 | 6 failing / 41 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-26 | 4 failing / 42 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 | 4 failing / 36 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
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
gen: three-case emitter regression probe (Closes #11795) #11796 gen: three-case emitter regression probe (Closes #11795) | Created: 2026-10-23 | Updated: 2026-10-24 | 3 failing / 47 total
tri git: surface commit/push/status verbs (Closes #11793) #11794 tri git: surface commit/push/status verbs (Closes #11793) | Created: 2026-10-23 | Updated: 2026-10-24 | 6 failing / 40 total
t27f: hud + a11y_mirror -- agent-state HUD and its text mirror (Closes #10262) #11782 t27f: hud + a11y_mirror -- agent-state HUD and its text mirror (Closes #10262) | Created: 2026-10-23 | Updated: 2026-10-23 | 0 failing / 2 total
ledger: face.t27 is t27b pass, as the lab measured #11699 ledger: face.t27 is t27b pass, as the lab measured | Created: 2026-10-22 | Updated: 2026-10-23 | 6 failing / 27 total

Summary

Status	Count
Total Open PRs	50
PRs with Failing Checks	35
PRs with All Checks Green	15
READY	4
FAILING	35
PENDING	0
NO CHECKS YET	0

These columns do not partition: 4 + 35 + 0 + 0 = 39, 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).

…12493) The spec-guards check lowers specs/claw/merge_judge.t27 and diffs it against the committed C file; the t_file and t_named parameter rename path -> pidx was not carried into the generated file. Seven lines changed, all of them that rename. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

…s-fix-12493

github-actions · 2026-10-26T01:35:46Z

PR Dashboard

Generated at: 2026-10-26 01:35:36 UTC

docs(skills): analog-emulation lessons of ticks 109-110 (Closes #12585) #12586 docs(skills): analog-emulation lessons of ticks 109-110 (Closes #12585) | Created: 2026-10-26 | Updated: 2026-10-26 | 26 failing / 29 total
queen: claim protocol as an actor message, stale after 6 h (Refs #12582) #12584 queen: claim protocol as an actor message, stale after 6 h (Refs #12582) | Created: 2026-10-26 | Updated: 2026-10-26 | 21 failing / 34 total
claw: make pr_tools.t27 compile and pass (24/24), reseal (Closes #12493) #12580 claw: make pr_tools.t27 compile and pass (24/24), reseal (Closes #12493) | Created: 2026-10-26 | Updated: 2026-10-26 | 22 failing / 34 total
ci(elab): baseline rows for the five specs/fpga modules the #12430 merge started emitting (Closes #12491) #12492 ci(elab): baseline rows for the five specs/fpga modules the #12430 merge started emitting (Closes #12491) | Created: 2026-10-25 | Updated: 2026-10-26 | 1 failing / 44 total
spec(t27os): lab_legs names the scheduled run's specs through one fallback (Closes #12469) #12472 spec(t27os): lab_legs names the scheduled run's specs through one fallback (Closes #12469) | Created: 2026-10-25 | Updated: 2026-10-25 | 4 failing / 38 total
ci(fpga-build): synthesise the AX7203 WASM cell with a utilisation receipt (Closes #12411) #12457 ci(fpga-build): synthesise the AX7203 WASM cell with a utilisation receipt (Closes #12411) | Created: 2026-10-25 | Updated: 2026-10-26 | 16 failing / 36 total
ci: regenerate gen/rust sha256.rs and bench_boards.rs, the specs moved last (Closes #12435) #12455 ci: regenerate gen/rust sha256.rs and bench_boards.rs, the specs moved last (Closes #12435) | Created: 2026-10-25 | Updated: 2026-10-26 | 12 failing / 39 total
spec(crons): QUEUE-STEP queue_verdict -- drop superseded lab pairs, own night/ first (Closes #12412) #12414 spec(crons): QUEUE-STEP queue_verdict -- drop superseded lab pairs, own night/ first (Closes #12412) | Created: 2026-10-25 | Updated: 2026-10-25 | 4 failing / 36 total
spec(t27f): the graph view backdrop is brand black #000000 (Closes #12406) #12408 spec(t27f): the graph view backdrop is brand black #000000 (Closes #12406) | Created: 2026-10-25 | Updated: 2026-10-26 | 28 failing / 33 total
feat(fpga): wasm_board_ax7203 P7 -- i64 pairs on the operand stack for DOOM's FixedMul (Closes #12371) #12405 feat(fpga): wasm_board_ax7203 P7 -- i64 pairs on the operand stack for DOOM's FixedMul (Closes #12371) | Created: 2026-10-25 | Updated: 2026-10-26 | 5 failing / 42 total
spec(t27os): Info.plist opts out of App Nap so the heartbeat keeps its 300 s period (Closes #12400) #12402 spec(t27os): Info.plist opts out of App Nap so the heartbeat keeps its 300 s period (Closes #12400) | Created: 2026-10-25 | Updated: 2026-10-25 | 4 failing / 38 total
spec(tri): preflight push rule -- a push runs the nine labs gates first (Refs #11783) #12398 spec(tri): preflight push rule -- a push runs the nine labs gates first (Refs #11783) | Created: 2026-10-25 | Updated: 2026-10-25 | 1 failing / 45 total
spec(crons): SELF-CRITICAL closes an own night PR already on master before repairing it (Closes #12396) #12397 spec(crons): SELF-CRITICAL closes an own night PR already on master before repairing it (Closes #12396) | Created: 2026-10-25 | Updated: 2026-10-25 | 5 failing / 36 total
feat(gen-verilog): a module array whose start value is a repeat literal gets its fill, not an empty initial (Closes #12298) #12394 feat(gen-verilog): a module array whose start value is a repeat literal gets its fill, not an empty initial (Closes #12298) | Created: 2026-10-25 | Updated: 2026-10-25 | 7 failing / 48 total
crons: the t27os queen-feed card -- batch-pull export of the Queen actor events (Refs #12384.) #12393 crons: the t27os queen-feed card -- batch-pull export of the Queen actor events (Refs #12384.) | Created: 2026-10-25 | Updated: 2026-10-25 | 4 failing / 36 total
spec(t27f): live_fleet.t27 -- the /t27f/live/ fleet panel reads /queen/public-activity (Closes #12382) #12383 spec(t27f): live_fleet.t27 -- the /t27f/live/ fleet panel reads /queen/public-activity (Closes #12382) | Created: 2026-10-25 | Updated: 2026-10-25 | 4 failing / 36 total
t27b(wasm): floor 17 -- the LOCALS MOUNT (statement bodies lower, fact word 11 feeds the walk) #12378 t27b(wasm): floor 17 -- the LOCALS MOUNT (statement bodies lower, fact word 11 feeds the walk) | Created: 2026-10-25 | Updated: 2026-10-25 | 3 failing / 46 total
feat(gen-verilog): a 64 KiB byte array with one read and one write site gets its own clocked process (Closes #12297) #12364 feat(gen-verilog): a 64 KiB byte array with one read and one write site gets its own clocked process (Closes #12297) | Created: 2026-10-25 | Updated: 2026-10-25 | 5 failing / 49 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-26 | 6 failing / 41 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-26 | 7 failing / 46 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 | 4 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 | 4 failing / 38 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-26 | 5 failing / 41 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-26 | 2 failing / 41 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-26 | 2 failing / 43 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 | 4 failing / 36 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
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
gen: three-case emitter regression probe (Closes #11795) #11796 gen: three-case emitter regression probe (Closes #11795) | Created: 2026-10-23 | Updated: 2026-10-24 | 3 failing / 47 total
tri git: surface commit/push/status verbs (Closes #11793) #11794 tri git: surface commit/push/status verbs (Closes #11793) | Created: 2026-10-23 | Updated: 2026-10-24 | 6 failing / 40 total
t27f: hud + a11y_mirror -- agent-state HUD and its text mirror (Closes #10262) #11782 t27f: hud + a11y_mirror -- agent-state HUD and its text mirror (Closes #10262) | Created: 2026-10-23 | Updated: 2026-10-23 | 0 failing / 2 total
ledger: face.t27 is t27b pass, as the lab measured #11699 ledger: face.t27 is t27b pass, as the lab measured | Created: 2026-10-22 | Updated: 2026-10-23 | 6 failing / 27 total
dupe ledger: bless bytes_eq group (master Duplicate Body Ratchet green) #11426 dupe ledger: bless bytes_eq group (master Duplicate Body Ratchet green) | Created: 2026-10-20 | Updated: 2026-10-23 | 4 failing / 22 total
tri queen tick: the local Queen -- P0/P1 picked, claimed on origin, run as lanes on any Mac (Closes #11415) #11420 tri queen tick: the local Queen -- P0/P1 picked, claimed on origin, run as lanes on any Mac (Closes #11415) | Created: 2026-10-20 | Updated: 2026-10-23 | 14 failing / 36 total
gen-rust: refuse a []T struct field filled from borrowed storage (D2 of #11182, needs the ledger decision of #11218) #11231 gen-rust: refuse a []T struct field filled from borrowed storage (D2 of #11182, needs the ledger decision of #11218) | Created: 2026-10-20 | Updated: 2026-10-23 | 11 failing / 38 total
check: refuse a module that declares a top-level name twice (Closes #10421) #10442 check: refuse a module that declares a top-level name twice (Closes #10421) | Created: 2026-10-18 | Updated: 2026-10-23 | 10 failing / 38 total

Summary

Status	Count
Total Open PRs	50
PRs with Failing Checks	36
PRs with All Checks Green	14
READY	2
FAILING	36
PENDING	0
NO CHECKS YET	0

These columns do not partition: 2 + 36 + 0 + 0 = 38, 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).

github-actions · 2026-10-26T02:26:11Z

PR Dashboard

Generated at: 2026-10-26 02:26:05 UTC

seal: reseal crons_t27os-night-loop after #12414 (Refs #12412) #12599 seal: reseal crons_t27os-night-loop after #12414 (Refs #12412) | Created: 2026-10-26 | Updated: 2026-10-26 | 27 failing / 30 total
spec(queen): key rotation as supervised actor messages, tags 19..21 (Refs #12596) #12598 spec(queen): key rotation as supervised actor messages, tags 19..21 (Refs #12596) | Created: 2026-10-26 | Updated: 2026-10-26 | 30 failing / 35 total
fpga(wasm): P3-P7 of the AX7203 WASM cell to master: control flow, linear memory, calls, i64 pairs (Closes #12371) #12597 fpga(wasm): P3-P7 of the AX7203 WASM cell to master: control flow, linear memory, calls, i64 pairs (Closes #12371) | Created: 2026-10-26 | Updated: 2026-10-26 | 32 failing / 37 total
claw: make pr_tools.t27 compile and pass (24/24), reseal (Closes #12493) #12580 claw: make pr_tools.t27 compile and pass (24/24), reseal (Closes #12493) | Created: 2026-10-26 | Updated: 2026-10-26 | 19 failing / 36 total
spec(t27os): lab_legs names the scheduled run's specs through one fallback (Closes #12469) #12472 spec(t27os): lab_legs names the scheduled run's specs through one fallback (Closes #12469) | Created: 2026-10-25 | Updated: 2026-10-26 | 5 failing / 39 total
ci(fpga-build): synthesise the AX7203 WASM cell with a utilisation receipt (Closes #12411) #12457 ci(fpga-build): synthesise the AX7203 WASM cell with a utilisation receipt (Closes #12411) | Created: 2026-10-25 | Updated: 2026-10-26 | 8 failing / 31 total
spec(tri): preflight push rule -- a push runs the nine labs gates first (Refs #11783) #12398 spec(tri): preflight push rule -- a push runs the nine labs gates first (Refs #11783) | Created: 2026-10-25 | Updated: 2026-10-26 | 29 failing / 34 total
spec(crons): SELF-CRITICAL closes an own night PR already on master before repairing it (Closes #12396) #12397 spec(crons): SELF-CRITICAL closes an own night PR already on master before repairing it (Closes #12396) | Created: 2026-10-25 | Updated: 2026-10-26 | 6 failing / 37 total
t27b(wasm): floor 17 -- the LOCALS MOUNT (statement bodies lower, fact word 11 feeds the walk) #12378 t27b(wasm): floor 17 -- the LOCALS MOUNT (statement bodies lower, fact word 11 feeds the walk) | Created: 2026-10-25 | Updated: 2026-10-25 | 3 failing / 46 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-26 | 33 failing / 37 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-26 | 5 failing / 45 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-26 | 35 failing / 38 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-26 | 32 failing / 36 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
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-26 | 30 failing / 33 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
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-26 | 31 failing / 35 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-26 | 31 failing / 35 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-26 | 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-26 | 9 failing / 39 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-26 | 7 failing / 45 total
tri git: surface commit/push/status verbs (Closes #11793) #11794 tri git: surface commit/push/status verbs (Closes #11793) | Created: 2026-10-23 | Updated: 2026-10-26 | 18 failing / 38 total
t27f: hud + a11y_mirror -- agent-state HUD and its text mirror (Closes #10262) #11782 t27f: hud + a11y_mirror -- agent-state HUD and its text mirror (Closes #10262) | Created: 2026-10-23 | Updated: 2026-10-23 | 0 failing / 2 total
ledger: face.t27 is t27b pass, as the lab measured #11699 ledger: face.t27 is t27b pass, as the lab measured | Created: 2026-10-22 | Updated: 2026-10-26 | 34 failing / 39 total
dupe ledger: bless bytes_eq group (master Duplicate Body Ratchet green) #11426 dupe ledger: bless bytes_eq group (master Duplicate Body Ratchet green) | Created: 2026-10-20 | Updated: 2026-10-26 | 21 failing / 31 total
gen-rust: refuse a []T struct field filled from borrowed storage (D2 of #11182, needs the ledger decision of #11218) #11231 gen-rust: refuse a []T struct field filled from borrowed storage (D2 of #11182, needs the ledger decision of #11218) | Created: 2026-10-20 | Updated: 2026-10-26 | 13 failing / 41 total
check: refuse a module that declares a top-level name twice (Closes #10421) #10442 check: refuse a module that declares a top-level name twice (Closes #10421) | Created: 2026-10-18 | Updated: 2026-10-26 | 38 failing / 43 total
spec(port): share tree helpers across eight gen_w ports (Closes #9633) #9636 spec(port): share tree helpers across eight gen_w ports (Closes #9633) | Created: 2026-10-15 | Updated: 2026-10-23 | 6 failing / 23 total
gen-zig: a one-element array constant ([1]u32 = [48]) makes test-report BLOCK trinity specs/reproduce/contracts.t27 #6958 gen-zig: a one-element array constant ([1]u32 = [48]) makes test-report BLOCK trinity specs/reproduce/contracts.t27 | Created: 2026-10-06 | Updated: 2026-10-26 | 33 failing / 39 total
A test or bench body that assigns a module-level var gets a shadowing local, so the spec does not compile #6833 A test or bench body that assigns a module-level var gets a shadowing local, so the spec does not compile | Created: 2026-10-06 | Updated: 2026-10-26 | 33 failing / 38 total
bitwalk: --help and a missing file panic instead of printing usage or an error #6551 bitwalk: --help and a missing file panic instead of printing usage or an error | Created: 2026-10-05 | Updated: 2026-10-26 | 31 failing / 36 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-26 | 32 failing / 37 total

Summary

Status	Count
Total Open PRs	32
PRs with Failing Checks	18
PRs with All Checks Green	14
READY	1
FAILING	18
PENDING	0
NO CHECKS YET	0

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

Seal Status

⚠️ STALE -- sha256(compiler.rs)=8ddf64a0178e != 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 enabled auto-merge (squash) October 26, 2026 01:10

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

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

Merged

gHashTag mentioned this pull request Oct 26, 2026

t27c: string-typed names are global across spliced modules, so an unrelated u32 compare becomes std.mem.eql #12581

Closed

gHashTag mentioned this pull request Oct 26, 2026

epic: development through actors on T27 OS, decentralized, with TRI-credit payout design (Refs #11377, #6971) #12490

Open

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

ci(fpga-build): synthesise the AX7203 WASM cell with a utilisation receipt (Closes #12411) #12457

Merged

3 tasks

Merge remote-tracking branch 'origin/master' into claude/claw-pr-tool…

e0c9c4b

…s-fix-12493

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

ci: regenerate gen/rust sha256.rs and bench_boards.rs, the specs moved last (Closes #12435) #12455

Merged

Merge branch 'master' into claude/claw-pr-tools-fix-12493

8b9d182

This was referenced Oct 26, 2026

t27os: version 0.2.0 (Refs #12479) #12595

Merged

t27c test: execute assertions via zig test (Closes #11805) #11806

Merged

tri git: surface commit/push/status verbs (Closes #11793) #11794

Closed

gHashTag merged commit 6b9fa51 into master Oct 26, 2026
34 of 36 checks passed

gHashTag deleted the claude/claw-pr-tools-fix-12493 branch October 26, 2026 03:40

Navigation Menu

Repository navigation

claw: make pr_tools.t27 compile and pass (24/24), reseal (Closes #12493) - #12580

claw: make pr_tools.t27 compile and pass (24/24), reseal (Closes #12493)#12580
gHashTag merged 4 commits into
masterfrom
claude/claw-pr-tools-fix-12493

gHashTag commented Oct 26, 2026

Uh oh!

github-actions Bot commented Oct 26, 2026

Uh oh!

github-actions Bot commented Oct 26, 2026

Uh oh!

github-actions Bot commented Oct 26, 2026

Uh oh!

Uh oh!

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

gHashTag commented Oct 26, 2026

What

Fixes

Evidence

Lesson

Uh oh!

github-actions Bot commented Oct 26, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

github-actions Bot commented Oct 26, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

github-actions Bot commented Oct 26, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

Uh oh!

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant