[gHashTag]

What

New spec specs/queen/key_rotation_msg.t27 (module QueenKeyRotationMsg): key and model rotation as a supervised actor, expressed as messages. Item P2 of epic #12490, issue #12596.

• Message tags 19 (PICK), 20 (RESULT), 21 (REST) with their lanes: PICK on the data lane 0, RESULT and REST on the control lane 1.
• State machine idle / rotating / parked, with the pool-dry and restart-intensity inputs.
• Reply codes: key, pool dry, next pool, next model, escalate. The reply index for a refused key never equals that key's index.
• Restart bound RK_MAX_RESTARTS = 3, which agrees with DOMAIN_MAX_RESTARTS = 3 in specs/queen/actors.t27 (pinned by a test with the literal 3; the two specs stay independent).

Indices and masks only: no key value, no minting, no new pool logic. The outcomes are taken as inputs from the existing key_failover.t27 and keys.t27.

Checks

• Test report: 22 tests, 0 failed, 0 vacuous (every test executes runtime asserts), 3 invariants.
• Seal .trinity/seals/queen_QueenKeyRotationMsg.json saved with the master-built compiler; its spec hash matches the file.
• Commit hooks green: foreign-budget, own-language, secret-gate.

Refs #12596
Refs #12490

🤖 Generated with Claude Code

[github-actions]

PR Dashboard

Generated at: 2026-10-26 03:16:14 UTC

• spec(crons): SELF-CRITICAL close records where content lives (Refs #12396) #12605 spec(crons): SELF-CRITICAL close records where content lives (Refs #12396) | Created: 2026-10-26 | Updated: 2026-10-26 | 29 failing / 35 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 | 31 failing / 38 total
• docs(skills): analog-emulation lessons of tick 115 (Closes #12600) #12601 docs(skills): analog-emulation lessons of tick 115 (Closes #12600) | Created: 2026-10-26 | Updated: 2026-10-26 | 8 failing / 29 total
• seal: reseal crons_t27os-night-loop after #12414 (Refs #12412) #12599 seal: reseal crons_t27os-night-loop after #12414 (Refs #12412) | Created: 2026-10-26 | Updated: 2026-10-26 | 8 failing / 30 total
• spec(queen): key rotation as supervised actor messages, tags 19..21 (Refs #12596) #12598 spec(queen): key rotation as supervised actor messages, tags 19..21 (Refs #12596) | Created: 2026-10-26 | Updated: 2026-10-26 | 16 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 | 29 failing / 36 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 | 20 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-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 | 31 failing / 37 total
• spec(fpga): wasm board P5 -- float arithmetic on the words (0x92/0x93/0x94, the truncation floor) #12181 spec(fpga): wasm board P5 -- float arithmetic on the words (0x92/0x93/0x94, the truncation floor) | Created: 2026-10-25 | Updated: 2026-10-26 | 5 failing / 45 total
• t27b(wasm): M-D -- and/or/xor/shl/shr lower; the law's floor 13 (Refs #11983 #11840 Trinity-S-AI-DNA/t27os#3) #12172 t27b(wasm): M-D -- and/or/xor/shl/shr lower; the law's floor 13 (Refs #11983 #11840 Trinity-S-AI-DNA/t27os#3) | Created: 2026-10-25 | Updated: 2026-10-26 | 29 failing / 37 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 | 11 failing / 43 total
• T27 OS: calls, chat, cabinet, LAN self-update, H.264 30 fps video, IPv6 calls and reach U1-U2 (Closes #12034) #12035 T27 OS: calls, chat, cabinet, LAN self-update, H.264 30 fps video, IPv6 calls and reach U1-U2 (Closes #12034) | Created: 2026-10-24 | Updated: 2026-10-24 | 7 failing / 37 total
• 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 | 5 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 | 4 failing / 37 total
• queen: local dispatch pure-logic starter (t27#11811) #11812 queen: local dispatch pure-logic starter (t27#11811) | Created: 2026-10-23 | Updated: 2026-10-26 | 29 failing / 35 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 | 27 failing / 36 total
• lab: T27OS replaces Railway as lab host (Closes #11800) #11801 lab: T27OS replaces Railway as lab host (Closes #11800) | Created: 2026-10-23 | Updated: 2026-10-26 | 32 failing / 38 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 | 24 failing / 30 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-26 | 29 failing / 35 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 | 23 failing / 28 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 | 30 failing / 37 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	24
PRs with Failing Checks	12
PRs with All Checks Green	12
READY	0
FAILING	12
PENDING	0
NO CHECKS YET	1

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