[gHashTag]

What

P3 of the actors epic: the message and supervision layer of the lab leg, as a new spec specs/queen/lab_job_msg.t27 (module QueenLabJobMsg) with its seal. It follows the pattern of the claim and key-rotation message specs.

• Tags 22 (job, data lane 0), 23 (done) and 24 (abort), the last two on control lane 1; all above the tags already taken.
• Job kinds build, test, seal; a pure state function IDLE / BUSY / PARKED where PARKED stays PARKED for every tag until the supervisor restarts it.
• Admission: queue full, then load (limit 40), then free disk (at least 4 GiB), in that priority. This writes the "no heavy runs on the Mac" rule as data.
• A seal job is accepted only after a test job that passed; the next kind after a done message follows from the verdict.
• Restart intensity 3, with a test that agrees with the literal in actors.t27 (no cross-module use).

No path, command line, string or seal hash appears in any signature, and no money word. Nothing is wired to a runtime yet.

Evidence

Test report from the master-built compiler: 26 tests, 0 failed, 3 invariants proved at comptime, vacuous passes 0 of 26. Seal saved after the last text edit (comment only).

Not covered

No runtime wiring and no lab run; this is the law the lab actor will be held to. Refs #12602, Refs #12490.

🤖 Generated with Claude Code

[github-actions]

PR Dashboard

Generated at: 2026-10-26 04:09:24 UTC

• ci(fpga-build): place-and-route the AX7203 WASM top to a .bit artifact (Closes #12456) #12624 ci(fpga-build): place-and-route the AX7203 WASM top to a .bit artifact (Closes #12456) | Created: 2026-10-26 | Updated: 2026-10-26 | 26 failing / 35 total
• seals: refresh the two seals stale from the queue-drain merges (Refs #12603) #12623 seals: refresh the two seals stale from the queue-drain merges (Refs #12603) | Created: 2026-10-26 | Updated: 2026-10-26 | 24 failing / 31 total
• crons: the rebase bot -- mechanical DIRTY fixer for seal-only conflicts (Closes #12620) #12621 crons: the rebase bot -- mechanical DIRTY fixer for seal-only conflicts (Closes #12620) | Created: 2026-10-26 | Updated: 2026-10-26 | 30 failing / 39 total
• spec(queen): payout evidence as supervised actor messages, tags 25..27, design only (Refs #12617) #12618 spec(queen): payout evidence as supervised actor messages, tags 25..27, design only (Refs #12617) | Created: 2026-10-26 | Updated: 2026-10-26 | 28 failing / 36 total
• tri: the git host glue -- commit/push/status verbs over the git.t27 law, label landing (Refs #11800 #11798 #5980) #12616 tri: the git host glue -- commit/push/status verbs over the git.t27 law, label landing (Refs #11800 #11798 #5980) | Created: 2026-10-26 | Updated: 2026-10-26 | 23 failing / 35 total
• crons: the queue health report -- hourly one-screen truth (Closes #12613) #12615 crons: the queue health report -- hourly one-screen truth (Closes #12613) | Created: 2026-10-26 | Updated: 2026-10-26 | 17 failing / 40 total
• gen-rust: refuse a []T struct field filled from borrowed storage -- D2 glue, label landing (Refs #11182 #11218 #5980) #12614 gen-rust: refuse a []T struct field filled from borrowed storage -- D2 glue, label landing (Refs #11182 #11218 #5980) | Created: 2026-10-26 | Updated: 2026-10-26 | 24 failing / 52 total
• ci: auto-merge-ready-prs sweep cancels in progress (Refs #12606) #12611 ci: auto-merge-ready-prs sweep cancels in progress (Refs #12606) | Created: 2026-10-26 | Updated: 2026-10-26 | 11 failing / 31 total
• docs(analog): the external team's company name leaves the skill and the competitor note (Closes #12608) #12609 docs(analog): the external team's company name leaves the skill and the competitor note (Closes #12608) | Created: 2026-10-26 | Updated: 2026-10-26 | 4 failing / 31 total
• crons: the PR queue drain -- update-branch + arm auto-merge every ten minutes (Closes #12603) #12604 crons: the PR queue drain -- update-branch + arm auto-merge every ten minutes (Closes #12603) | Created: 2026-10-26 | Updated: 2026-10-26 | 8 failing / 40 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-26 | 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 | 29 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 | 6 failing / 47 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 | 6 failing / 47 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 | 0 failing / 0 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 | 3 failing / 38 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 | 3 failing / 37 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 | 10 failing / 44 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 | 11 failing / 38 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 | 3 failing / 30 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 | 11 failing / 47 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

Summary

Status	Count
Total Open PRs	23
PRs with Failing Checks	21
PRs with All Checks Green	2
READY	0
FAILING	21
PENDING	0
NO CHECKS YET	1

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