[gHashTag]

The live prober on top of the merged fleet law (#12170, host half)

specs/queen/api_fleet.t27 (#12180) is the law. This PR adds its host half: the scanner that
probes the law's routes live and prints the dated matrix. Everything that DECIDES is generated
from the law and committed (L2); the hand-written part is thin plumbing only.

• gen/python/queen/api_fleet.py, gen/c/queen/api_fleet.c -- t27c gen-python / gen-c
  output of the law: the ROUTES table, the constants, and probe_result() (C, called through
  ctypes). Not hand-written, not hand-edited.
• scripts/tri_loop/fleet.py (31 lines) + scripts/tri_loop/fleet_probe.py (39 lines) --
  owner-approved foreign plumbing: reads the pool keys from ~/.claude/.env (names only, values
  never printed), one tiny claude -p "Reply with exactly: OK" --max-turns 1 call per z.ai cell
  (concurrency 1, ~1 rps, 10 probes per scan, endpoint api.z.ai/api/anthropic, the reviewer bee's
  PROVIDER_STRIP env recipe), classifies every answer through the generated probe_result, prints
  the dated matrix, the pool's free capacity estimate (alive key x model cells) and a timed note.

Owner approval (2026-10-25, owner session): "сам!! одобряю тебе сделать все
owner-approved-foreign" (English: "I myself approve you to make everything owner-approved-foreign").
Label owner-approved-foreign applied per the standing rule ("add the label yourself and do the
foreign part"); the entries landed in tools/policy/foreign-exceptions.txt via #12339.

Foreign debt only shrinks: this PR adds 70 foreign lines and deletes 143 --
scripts/gen_w386_lean.py (one-off Wave-386 scratch generator, "Append Wave Loop 386 generic
theorems to Trinity.TernaryInference.lean", zero references anywhere, last touched 2026-08-28)
is deleted whole. Budget arithmetic: 31 + 39 <= 40 per file, 70 <= 80 total, gained 70 <= lost 143.

Naming: the compiled tri fleet scan verb is the USB hardware scan (cli/tri/src/fleet.rs,
Rust). The fleet-scanner host verb lives at scripts/tri_loop/fleet.py, run as
python3 scripts/tri_loop/fleet.py (the receipt form this PR pastes). Registering the name inside
the Rust CLI is foreign debt for its own lane, not smuggled in here.

Receipt: the live matrix (2026-10-25T07:39Z, exit 0)

tri fleet scan 2026-10-25T07:39Z | law specs/queen/api_fleet.t27 (#12170) | pool: ZAI_KEY_1 ZAI_KEY_2 ZAI_KEY_3 ZAI_KEY_5 ZAI_KEY_6 | probe: claude -p x1 per cell, 1 at a time, ~1 rps
route | provider | key | model | verdict | ms | probe_date(UTC)
0 | zai-coding-plan | - | glm-5.3-flash | ALIVE (seeded, no host path) | - | 20261025
1 | zai-coding-plan | - | glm-5.3-highspeed | REFUSED (seeded, no host path) | - | 20261025
2 | z.ai | ZAI_KEY_1 | glm-4.5-flash | REFUSED | 4653 | 20261025
2 | z.ai | ZAI_KEY_2 | glm-4.5-flash | ALIVE | 3981 | 20261025
2 | z.ai | ZAI_KEY_3 | glm-4.5-flash | REFUSED | 3934 | 20261025
2 | z.ai | ZAI_KEY_5 | glm-4.5-flash | REFUSED | 3986 | 20261025
2 | z.ai | ZAI_KEY_6 | glm-4.5-flash | REFUSED | 4181 | 20261025
3 | z.ai | ZAI_KEY_1 | glm-4.7-flash | REFUSED | 4805 | 20261025
3 | z.ai | ZAI_KEY_2 | glm-4.7-flash | REFUSED | 4433 | 20261025
3 | z.ai | ZAI_KEY_3 | glm-4.7-flash | REFUSED | 4530 | 20261025
3 | z.ai | ZAI_KEY_5 | glm-4.7-flash | REFUSED | 4493 | 20261025
3 | z.ai | ZAI_KEY_6 | glm-4.7-flash | ALIVE | 5412 | 20261025
4 | nvidia | - | glm-5.3 | UNPROBED (seeded, no host path) | - | 0
5 | free-claude-code | - | glm-5.3 | UNPROBED (seeded, no host path) | - | 0
6 | openrouter | - | glm-5.2:free | UNPROBED (seeded, no host path) | - | 0
pool free capacity estimate: 2 alive key x model cells -- glm-4.5-flash 1/5, glm-4.7-flash 1/5
timed note: A DEAD-ROUTE PROBE WAITED >1s: max 4805 ms over 8 probe(s)

Honest reading of the timed note: the <1s dead-route property does NOT hold at
subprocess-wall level -- the claude CLI costs ~3-4 s of process startup per call, so a refused
route "waits" ~4 s wall even though the API refusal itself arrives fast. The note prints the
measurement, not the desired verdict; the rotator's "<1s on a dead route" (the issue's second
criterion, a later lane) should time the API leg, not the CLI process.

Gates (exit codes pasted)

t27c check specs/queen/api_fleet.t27      -> exit 0
t27c test-report specs/queen/api_fleet.t27 -> exit 0 (6 tests, 0 vacuous passes; 5163 asserts in probe_laws_hold_over_the_whole_answer_space)
python3 -m py_compile scripts/tri_loop/fleet.py scripts/tri_loop/fleet_probe.py -> OK
LC_ALL=C grep -c '[^ -~]' (both files) -> 0 (ASCII, L3)
pre-commit hooks: foreign-budget / own-language / secret-gate -> all green

Live finding for the rotator lane

A calibration re-probe 4 minutes after the receipt run (07:43Z) found ZAI_KEY_1 x glm-4.5-flash
flipped REFUSED -> ALIVE (200). The pool's refusals flap on a minutes scale this hour: the matrix
is a dated snapshot (the law's own words: fix incidents by re-probing the matrix, never by
replacing the pool). Refs #12170.

[github-actions]

PR Dashboard

Generated at: 2026-10-25 10:17:52 UTC

• TASK.md news: the 2026-10-25 day chronicle (Refs #10262) #12381 TASK.md news: the 2026-10-25 day chronicle (Refs #10262) | Created: 2026-10-25 | Updated: 2026-10-25 | 10 failing / 10 total
• TASK.md news: NO RAILWAY -- deployment is T27OS decentralized (Refs #10262) #12380 TASK.md news: NO RAILWAY -- deployment is T27OS decentralized (Refs #10262) | Created: 2026-10-25 | Updated: 2026-10-25 | 26 failing / 29 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 | 33 failing / 38 total
• lefthook: foreign-budget label waiver, fail-closed (Refs #11983) #12377 lefthook: foreign-budget label waiver, fail-closed (Refs #11983) | Created: 2026-10-25 | Updated: 2026-10-25 | 28 failing / 32 total
• tri fleet: the live prober for the free-model fleet (Refs #12170) #12375 tri fleet: the live prober for the free-model fleet (Refs #12170) | Created: 2026-10-25 | Updated: 2026-10-25 | 17 failing / 36 total
• cron: the night-loop card keeps its law consts test-local (Refs #11836) #12374 cron: the night-loop card keeps its law consts test-local (Refs #11836) | Created: 2026-10-25 | Updated: 2026-10-25 | 13 failing / 37 total
• spec(t27os): version digits from the release constants; seal the 35 never-sealed specs (Closes #12372) #12373 spec(t27os): version digits from the release constants; seal the 35 never-sealed specs (Closes #12372) | Created: 2026-10-25 | Updated: 2026-10-25 | 1 failing / 1 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 | 9 failing / 48 total
• test(analog): raw_writer mutation gaps E to J closed, gate passed, seal re-saved (Closes #12274) #12363 test(analog): raw_writer mutation gaps E to J closed, gate passed, seal re-saved (Closes #12274) | Created: 2026-10-25 | Updated: 2026-10-25 | 5 failing / 36 total
• census: re-pin for t27os.yml, workflow files 67 -> 68 (Refs #11788) #12362 census: re-pin for t27os.yml, workflow files 67 -> 68 (Refs #11788) | Created: 2026-10-25 | Updated: 2026-10-25 | 3 failing / 31 total
• chore(census): re-bless the workflow pins, 67 -> 68 files (Closes #12355) #12357 chore(census): re-bless the workflow pins, 67 -> 68 files (Closes #12355) | Created: 2026-10-25 | Updated: 2026-10-25 | 4 failing / 30 total
• feat(fpga): wasm_board_ax7203 P6 -- if/else, call/return, call_indirect, globals on the existing frames #12356 feat(fpga): wasm_board_ax7203 P6 -- if/else, call/return, call_indirect, globals on the existing frames | Created: 2026-10-25 | Updated: 2026-10-25 | 7 failing / 36 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 | 23 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 | 4 failing / 37 total
• spec(t27f): petal P PULLS -- list, trace, inspector and badge from merge_judge.t27 (Closes #12340, Refs #12173) #12341 spec(t27f): petal P PULLS -- list, trace, inspector and badge from merge_judge.t27 (Closes #12340, Refs #12173) | Created: 2026-10-25 | Updated: 2026-10-25 | 4 failing / 37 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 | 2 failing / 2 total
• spec(t27f): petal N PULSE -- timeline, chart and badge from domain_pulse.t27 (Closes #12334, Refs #12173) #12337 spec(t27f): petal N PULSE -- timeline, chart and badge from domain_pulse.t27 (Closes #12334, Refs #12173) | Created: 2026-10-25 | Updated: 2026-10-25 | 0 failing / 37 total
• spec(t27os): the t27b leg runs after a red t27c gate, so an @extern spec gets its compiler (Closes #12332) #12333 spec(t27os): the t27b leg runs after a red t27c gate, so an @extern spec gets its compiler (Closes #12332) | Created: 2026-10-25 | Updated: 2026-10-25 | 30 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(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 | 30 failing / 35 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 | 1 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-25 | 11 failing / 41 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
• 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 | 26 failing / 29 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 | 7 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 | 7 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 | 27 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-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
• 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

Summary

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

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

[gHashTag]

Merged by the queue warden under the owner's blanket authorization (2026-10-25 session). Every red on this PR was read and traced before merging; none is caused by this PR's own three files.

• own-language (RED, by design under the label): the foreign-line budget step -- scripts/tri_loop/fleet_probe.py adds 45 lines (cap 40/file) and net foreign grew (+76/-0; the -143 gen_w386_lean.py deletion the body counted was already consumed on master before this branch's base 11b0a10). Label owner-approved-foreign is ON; owner approval quoted in the PR body. Merge-past-red under the label is the t27b: wasm32 emitter M-B -- parameter-carrying scalar exports lower to the floor-5 law (#11840) #11983 precedent.
• cli-tri (RED, inherited from master): tri census pin -- 'workflow files read 67 -> 68'. 78bda9d (ci(t27os): make t27os on every PR touching the OS specs (Closes #11788) #12330) added .github/workflows/t27os.yml without re-blessing; master's own cli-tri failed identically (run 40182189346 at c65031b). Already fixed on master by 833c30b (chore(census): re-bless the workflow pins, 67 -> 68 files (Closes #12355) #12357), confirming it was never this PR's defect.
• gate-topology (RED, inherited from master): 'UNCLASSIFIED ROSE 24 -> 25' -- t27os.yml (from ci(t27os): make t27os on every PR touching the OS specs (Closes #11788) #12330) never classified; this PR touches no workflow file.
• coverage/Seal Coverage (RED, branch predates master's reseal): '6 seal(s) newly do not hold [stale]' -- jit_semantics/packed_vsa/builder. Proven by ancestry: the spec changes ARE in this branch's base 11b0a10, the reseal b0887ab (seals: reseal builder, jit_semantics and packed_vsa, stale since today's merges (Closes #12347) #12348) is NOT; the branch carries new specs + old seals. The gate's own remedy is picking up master's reseal, not a change to this PR.

All other 26 checks green. The two host scripts are covered by the foreign-exceptions list merged as #12339; gen/c/queen/api_fleet.c is t27c gen-c output.

[github-actions]

PR Dashboard

Generated at: 2026-10-25 10:52:33 UTC

• 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 | 29 failing / 35 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 | 32 failing / 35 total
• spec(t27os): version digits from the release constants; seal the 35 never-sealed specs (Closes #12372) #12373 spec(t27os): version digits from the release constants; seal the 35 never-sealed specs (Closes #12372) | Created: 2026-10-25 | Updated: 2026-10-25 | 0 failing / 1 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 | 6 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-25 | 10 failing / 41 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 | 4 failing / 37 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 | 33 failing / 38 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 | 8 failing / 39 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 / 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 | 8 failing / 43 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
• 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 | 25 failing / 28 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 | 6 failing / 44 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 | 16 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
• 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 | 2 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
• 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
• 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	44
PRs with Failing Checks	36
PRs with All Checks Green	8
READY	4
FAILING	36
PENDING	0
NO CHECKS YET	0

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