spec(t27os): the t27b leg runs after a red t27c gate, so an @extern spec gets its compiler (Closes #12332) by gHashTag · Pull Request #12333 · Trinity-S-AI-DNA/t27

gHashTag · 2026-10-25T07:26:24Z

Closes #12332. Refs Trinity-S-AI-DNA/t27os#3.

Stacked on #12285 (base commit c3ebc76). The diff shows #12285's commit until it merges; this PR's own change is d3c39fc.

Lab run 40170146414 (PR #12284): glass_window.t27 is blocked on t27c, the verdict gate exits 1, and the t27b job (needs: run with no if:) is skipped. So line_verdict's @extern excuse can never be reached.

T27B_ALWAYS: if: ${{ always() && needs.run.outputs.resolved != '' }}, placed in the T27B_JOB_YAML header between needs and runs-on.
runs_after_red_gate(y) and the test t27b_job_runs_after_a_red_t27c_gate, whose negative control is the deployed header.

Not verified yet. The Mac load hook refuses both compilers here. The lab pair (d3c39fc, specs/t27os/lab_legs.t27) is queued behind lab run 40170786895. This PR stays a draft until the receipt shows both legs green. After the merge, TRI CLAW copies the header line into t27os lab.yml line 560.

🤖 Generated with Claude Code

… t27b's last 20 lines in the log (Refs #12219; Refs Trinity-S-AI-DNA/t27os#3) Lab run 40163543896: specs/t27os/hdmi_grab_main.t27 passed 2/2 on t27c and got tests=NA on t27b, while the leg had sent t27b's output to /tmp/b.txt only. T27B_NA_TAIL is the law line; the receipt line keeps its key=value shape. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

…63-t27b-na-tail

@extern

…pec gets its compiler (Closes #12332) Lab run 40170146414 (PR #12284): glass_window.t27 blocked on t27c, the verdict gate exited 1 and the t27b job (needs: run alone) was skipped, so line_verdict's @extern excuse was unreachable. T27B_JOB_YAML now carries if: always() && resolved != ''; new test with the deployed header as the negative control. Stacked on #12285. Refs Trinity-S-AI-DNA/t27os#3 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-25T07:44:50Z

PR Dashboard

Generated at: 2026-10-25 07:44:40 UTC

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 | 30 failing / 35 total
docs(analog): drop a duplicate lesson, add the pane-id and load lessons #12336 docs(analog): drop a duplicate lesson, add the pane-id and load lessons | Created: 2026-10-25 | Updated: 2026-10-25 | 23 failing / 30 total
gen-zig: render an import as the stub of its own result type -- the reference reaches the OS family (Closes #5980) #12335 gen-zig: render an import as the stub of its own result type -- the reference reaches the OS family (Closes #5980) | Created: 2026-10-25 | Updated: 2026-10-25 | 34 failing / 48 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 | 20 failing / 40 total
test(analog): sar_logic mutation gaps closed, 608 of 677 mutants killed (Closes #12237, Closes #12240) #12331 test(analog): sar_logic mutation gaps closed, 608 of 677 mutants killed (Closes #12237, Closes #12240) | Created: 2026-10-25 | Updated: 2026-10-25 | 1 failing / 37 total
ci(t27os): make t27os on every PR touching the OS specs (Closes #11788) #12330 ci(t27os): make t27os on every PR touching the OS specs (Closes #11788) | Created: 2026-10-25 | Updated: 2026-10-25 | 5 failing / 34 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 | 36 failing / 39 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 | 5 failing / 41 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 | 0 failing / 37 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 | 1 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 | 3 failing / 42 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
spec(tri): preflight -- the nine local gates as one command before a push (#11783) #12175 spec(tri): preflight -- the nine local gates as one command before a push (#11783) | Created: 2026-10-25 | Updated: 2026-10-25 | 32 failing / 35 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 | 1 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 | 1 failing / 44 total
t27b(wasm): the emitter deletes -- build --target wasm32 runs on the law alone (rebased on floors 12-16, 98/98) #12044 t27b(wasm): the emitter deletes -- build --target wasm32 runs on the law alone (rebased on floors 12-16, 98/98) | Created: 2026-10-24 | Updated: 2026-10-25 | 5 failing / 48 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-23 | 4 failing / 29 total
fix(specs): lt_s, sar32, digit_byte import their originals -- master duplicate-bodies green (Closes #11885) #11886 fix(specs): lt_s, sar32, digit_byte import their originals -- master duplicate-bodies green (Closes #11885) | Created: 2026-10-23 | Updated: 2026-10-25 | 0 failing / 44 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
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	25
PRs with All Checks Green	25
READY	16
FAILING	25
PENDING	0
NO CHECKS YET	0

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

Seal Status

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

…s the always() line; Refs #12332)

gHashTag · 2026-10-25T07:55:44Z

Night tick 173: #12333 was DIRTY against master (#12285 rewrote the t27b job text in specs/t27os/lab_legs.t27). Merged master in 143b062, keeping this branch's hunks: master's T27B_JOB_YAML is byte-identical to this branch's apart from the if: ${{ always() && ... }} line. Both hunks are additive: T27B_ALWAYS, runs_after_red_gate and the test t27b_job_runs_after_a_red_t27c_gate.

Not yet verified: the Mac load hook refuses a local compiler run, so the lab has to check it. Lab run 40173880388 (#12294) is still queued, and only one run may be in flight. This head is queued in pending_dispatch in place of d3c39fc, and the PR stays a draft until its receipt shows both legs green.

gHashTag · 2026-10-25T08:19:58Z

Night tick 175: the emit-bitexact red here (run 40174626397, specs/git/diff.t27 refused by typecheck) is inherited from master eada185 (#4634, a Rust match). Repair: #12350. This PR's own spec is not involved.

github-actions · 2026-10-25T08:21:10Z

PR Dashboard

Generated at: 2026-10-25 08:21:03 UTC

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 | 32 failing / 35 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 | 32 failing / 36 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 | 27 failing / 30 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 | 31 failing / 35 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 | 11 failing / 36 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 | 9 failing / 36 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 | 6 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 | 26 failing / 38 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
docs(analog): drop a duplicate lesson, add the pane-id and load lessons #12336 docs(analog): drop a duplicate lesson, add the pane-id and load lessons | Created: 2026-10-25 | Updated: 2026-10-25 | 1 failing / 31 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 | 18 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 | 1 failing / 1 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 | 2 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 | 0 failing / 37 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 | 1 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 | 4 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 | 29 failing / 35 total
fix(specs): lt_s, sar32, digit_byte import their originals -- master duplicate-bodies green (Closes #11885) #11886 fix(specs): lt_s, sar32, digit_byte import their originals -- master duplicate-bodies green (Closes #11885) | Created: 2026-10-23 | Updated: 2026-10-25 | 0 failing / 45 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
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

Summary

Status	Count
Total Open PRs	50
PRs with Failing Checks	23
PRs with All Checks Green	27
READY	19
FAILING	23
PENDING	0
NO CHECKS YET	0

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

Seal Status

⚠️ STALE -- sha256(compiler.rs)=55c0f1b1b32d != 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-26T01:54:33Z

PR Dashboard

Generated at: 2026-10-26 01:54:27 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 | 10 failing / 31 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 | 2 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 | 28 failing / 35 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 | 6 failing / 35 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-26 | 31 failing / 37 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
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-26 | 12 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
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 | 32 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-26 | 23 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-25 | 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-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
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-26 | 3 failing / 38 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-26 | 9 failing / 34 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
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
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-23 | 15 failing / 38 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-23 | 12 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-23 | 9 failing / 29 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-25 | 12 failing / 39 total

Summary

Status	Count
Total Open PRs	39
PRs with Failing Checks	31
PRs with All Checks Green	8
READY	2
FAILING	31
PENDING	0
NO CHECKS YET	0

These columns do not partition: 2 + 31 + 0 + 0 = 33, and there are 39 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).

…12332) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

gHashTag · 2026-10-26T02:00:29Z

Auto-merge enabled on explicit owner instruction (no-auto-merge overridden by the owner in the OpenCode agent chat, 2026-10-26). No --admin used.

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

PR Dashboard

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

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 | 34 failing / 37 total
t27os: version 0.2.0 (Refs #12479) #12595 t27os: version 0.2.0 (Refs #12479) | Created: 2026-10-26 | Updated: 2026-10-26 | 26 failing / 37 total
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
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 | 32 failing / 35 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 | 25 failing / 28 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 | 26 failing / 29 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 / 36 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-26 | 31 failing / 35 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
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
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
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-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
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-26 | 9 failing / 34 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-26 | 34 failing / 37 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
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 | 28 failing / 31 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-26 | 26 failing / 29 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
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 | 35 failing / 38 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 | 35 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 | 33 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 | 34 failing / 37 total

Summary

Status	Count
Total Open PRs	35
PRs with Failing Checks	19
PRs with All Checks Green	16
READY	2
FAILING	19
PENDING	0
NO CHECKS YET	0

These columns do not partition: 2 + 19 + 0 + 0 = 21, and there are 35 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 and others added 3 commits October 25, 2026 12:18

Merge branch 'master' of github.com:Trinity-S-AI-DNA/t27 into night/1…

c3ebc76

…63-t27b-na-tail

gHashTag added the no-auto-merge Opt out of the issue gate's default squash auto-merge (issue-gate.yml) label Oct 25, 2026

gHashTag mentioned this pull request Oct 25, 2026

lab: the t27b leg is skipped whenever the t27c gate is red, so an @extern spec never gets its compiler #12332

Closed

Merge origin/master into night/170-t27b-leg-always (lab_legs.t27 keep…

143b062

…s the always() line; Refs #12332)

gHashTag mentioned this pull request Oct 25, 2026

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

Closed

Merge remote-tracking branch 'origin/master' into rel/12333

ffd422f

gHashTag enabled auto-merge (squash) October 26, 2026 01:37

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

queen: claim protocol as an actor message, stale after 6 h (Refs #12582) #12584

Merged

2 tasks

seals: reseal LabLegs and LabInputs after the lab_legs change (Refs #…

09f10e0

…12332) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

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

docs(skills): analog-emulation lessons of ticks 109-110 (Closes #12585) #12586

Merged

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

t27os: version 0.2.0 (Refs #12479) #12595

Merged

This was referenced Oct 26, 2026

seal: reseal crons_t27os-night-loop after #12414 (Refs #12412) #12599

Merged

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

Open

This was referenced Oct 26, 2026

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 8384eb9 into master Oct 26, 2026
35 of 37 checks passed

gHashTag deleted the night/170-t27b-leg-always branch October 26, 2026 03:42

Navigation Menu

Repository navigation

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)#12333
gHashTag merged 10 commits into
masterfrom
night/170-t27b-leg-always

gHashTag commented Oct 25, 2026

Uh oh!

github-actions Bot commented Oct 25, 2026

Uh oh!

gHashTag commented Oct 25, 2026

Uh oh!

gHashTag commented Oct 25, 2026

Uh oh!

github-actions Bot commented Oct 25, 2026

Uh oh!

github-actions Bot commented Oct 26, 2026

Uh oh!

gHashTag 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 25, 2026

Uh oh!

github-actions Bot commented Oct 25, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

gHashTag commented Oct 25, 2026

Uh oh!

gHashTag commented Oct 25, 2026

Uh oh!

github-actions Bot commented Oct 25, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

github-actions Bot commented Oct 26, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

gHashTag commented Oct 26, 2026

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