[gHashTag]

Closes #12674. Pareto variant 3 of #12479, the law half.

• specs/t27os/keys_fleet.t27: route_state folds the route vocabulary into the scan vocabulary (REFUSED degrades the row -- the route-first lesson of 2026-10-25, never DEAD); best_state folds by rank_class; provider_state folds a provider's routes of the dated matrix, UNPROBED when absent.
• Verified against the seeded 2026-10-25 matrix: zai-coding-plan LIVE (alive + refused routes), zai api LIVE, nvidia UNPROBED (never dead).
• t27c 3/3, 0 vacuous (5+3+3 asserts), 1 invariant (the fold never promotes a dead route); ASCII clean.
• t27b leg blocked by the dependency defect t27c: two consts of a dependency block do not import through use (keysync F_SLOT, F_COUNT) while their ten siblings resolve #12664: the dep compile of queen/api_fleet loses PR_OPENROUTER (its own test names it; t27c compiles the same pair green). Same family as keysync F_SLOT/F_COUNT. The t27b-native CI check may show this PR red for that reason alone -- the known non-required family; the law gate is t27c.

[github-actions]

PR Dashboard

Generated at: 2026-10-26 14:45:10 UTC

• t27os: the fleet word on a KEYS row -- route states folded by the scanner rank (Closes #12674) #12677 t27os: the fleet word on a KEYS row -- route states folded by the scanner rank (Closes #12674) | Created: 2026-10-26 | Updated: 2026-10-26 | 29 failing / 37 total
• policy: the seal ownership law -- own stale seals reseal, foreign ones name their lane (Closes #12673) #12676 policy: the seal ownership law -- own stale seals reseal, foreign ones name their lane (Closes #12673) | Created: 2026-10-26 | Updated: 2026-10-26 | 24 failing / 37 total
• crons: the t27os release-on-merge card -- due-rule and publish gate as law (Closes #12672) #12675 crons: the t27os release-on-merge card -- due-rule and publish gate as law (Closes #12672) | Created: 2026-10-26 | Updated: 2026-10-26 | 19 failing / 36 total
• t27os: the post-publish verify law -- one verdict over manifest, sums and the six assets (Closes #12670) #12671 t27os: the post-publish verify law -- one verdict over manifest, sums and the six assets (Closes #12670) | Created: 2026-10-26 | Updated: 2026-10-26 | 14 failing / 38 total
• seals: reseal nine stale gen-hash seals; wasm.t27 refused by the gate and left to #12668 (Closes #12667) #12669 seals: reseal nine stale gen-hash seals; wasm.t27 refused by the gate and left to #12668 (Closes #12667) | Created: 2026-10-26 | Updated: 2026-10-26 | 9 failing / 32 total
• seals: corpus refresh -- re-save every stale gen_hash seal the currency check names #12626 seals: corpus refresh -- re-save every stale gen_hash seal the currency check names | Created: 2026-10-26 | Updated: 2026-10-26 | 5 failing / 32 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 | 3 failing / 32 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 | 9 failing / 40 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 | 9 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
• 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 | 4 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
• 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 | 3 failing / 46 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 | 4 failing / 40 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 | 2 failing / 30 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	18
PRs with Failing Checks	18
PRs with All Checks Green	0
READY	0
FAILING	18
PENDING	0
NO CHECKS YET	0

Seal Status

• ⚠️ STALE -- sha256(compiler.rs)=67adcf31aff7 != 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).

[tri-claw]

Summary by t27-bees

Checked by the t27 compiler

_{t27c parse, parse-complete and typecheck on each changed .t27 file at 7ff042c. Nothing was generated, built or run. A pass means the file is well formed, not that it is right.}

• specs/t27os/keys_fleet.t27: parses and typechecks.

Read by the model

This PR introduces keys_fleet.t27, the composition law that folds the fleet route vocabulary (alive/refused/dead/unprobed) into the KEYS tab's scan vocabulary (live/degraded/dead/unprobed) per provider row. The 2026-10-25 lesson is encoded: a REFUSED route degrades the row (SC_DEGRADED) rather than killing the key (SC_DEAD).

Worth a look

• specs/t27os/keys_fleet.t27:54 (provider_state): best is initialized to SC_UNPROBED but immediately overwritten on the first matching route (found == false branch). The initial value is never used as a comparison baseline when routes exist; it only serves as the return value when no routes are found. Not a bug, but the pattern suggests UNPROBED is a "starting best" when it is actually a "no routes found" sentinel.
• specs/t27os/keys_fleet.t27:30 (route_state): Unknown route statuses (e.g., a future RS_* value not handled here) silently fall through to SC_UNPROBED. The test at line 72 explicitly asserts this behavior (route_state(9) == SC_UNPROBED), so it is intentional, but it means a missing case in this function will not be caught by the invariant or tests — the new route would quietly appear as "unknown" in the KEYS tab.
• specs/t27os/keys_fleet.t27:97 (invariant the_fold_never_promotes_a_dead_route): The invariant only guarantees that SC_DEAD never appears unless the route was RS_DEAD. It does not verify that RS_REFUSED maps to SC_DEGRADED (not SC_DEAD) — that is covered by the unit test at line 70, but the invariant itself is one-sided.

---

_{Read: 1 files, +110 -0, the whole diff. Head 7ff042c. Model: openai-compatible/nvidia/nemotron-3-ultra-550b-a55b. Commands: @t27-bees review | summary | help | pause | resume. Free for every repository.}