[gHashTag]

Closes #13149. Opened by tri land (specs/tri/land/land.t27): master merged, then on the merged tree every changed spec has its tests clean with vacuous passes 0 and its seal MATCH, tri types ratchet is CLEAN and the dupe_scan failure set is a subset of master's.

[github-actions]

PR Dashboard

Generated at: 2026-11-02 20:19:30 UTC

• seals: re-save the four gen-drift seals with the master-built compiler (Closes #13149) #13153 seals: re-save the four gen-drift seals with the master-built compiler (Closes #13149) | Created: 2026-11-02 | Updated: 2026-11-02 | 27 failing / 31 total
• seals: re-seal the four gen-drifted t27os specs (Closes #13151) #13152 seals: re-seal the four gen-drifted t27os specs (Closes #13151) | Created: 2026-11-02 | Updated: 2026-11-02 | 1 failing / 33 total
• spec(t27os): browser_ws -- the THREAD-VISION read-only bridge (Closes #13131) #13137 spec(t27os): browser_ws -- the THREAD-VISION read-only bridge (Closes #13131) | Created: 2026-11-02 | Updated: 2026-11-02 | 3 failing / 37 total
• spec(shootout): move the measured AOT baseline row out of the bench module #13128 spec(shootout): move the measured AOT baseline row out of the bench module | Created: 2026-11-02 | Updated: 2026-11-02 | 5 failing / 38 total
• spec: clear the two new Corpus ratchet regressions (sha256_round0, glass_window) #13121 spec: clear the two new Corpus ratchet regressions (sha256_round0, glass_window) | Created: 2026-11-02 | Updated: 2026-11-02 | 4 failing / 39 total
• spec(t27os): ladder_task.t27, the state of one task while the ladder walks its rungs (Refs #13036) #13116 spec(t27os): ladder_task.t27, the state of one task while the ladder walks its rungs (Refs #13036) | Created: 2026-11-02 | Updated: 2026-11-02 | 3 failing / 38 total
• chore(deps)(deps): bump uuid from 1.28.0 to 1.29.0 #13100 chore(deps)(deps): bump uuid from 1.28.0 to 1.29.0 | Created: 2026-11-02 | Updated: 2026-11-02 | 2 failing / 45 total
• fix(t27b): regenerate steward.c so is_pass knows pass_ct; the ledger test asks is_pass (Refs #12751) #13097 fix(t27b): regenerate steward.c so is_pass knows pass_ct; the ledger test asks is_pass (Refs #12751) | Created: 2026-11-02 | Updated: 2026-11-02 | 4 failing / 40 total
• spec(t27os,queen): next_step feed observation, an idle edge asks a check, no decisions or launches (Refs #12884) #13091 spec(t27os,queen): next_step feed observation, an idle edge asks a check, no decisions or launches (Refs #12884) | Created: 2026-11-02 | Updated: 2026-11-02 | 4 failing / 40 total
• spec(automation): token-wallet v3 -- the TRINET 1:1:1 split (Closes #13084) #13085 spec(automation): token-wallet v3 -- the TRINET 1:1:1 split (Closes #13084) | Created: 2026-11-02 | Updated: 2026-11-02 | 3 failing / 39 total
• spec(policy): a change to a gate file is judged by its kind, not blocked on an owner label (Refs #13063) #13065 spec(policy): a change to a gate file is judged by its kind, not blocked on an owner label (Refs #13063) | Created: 2026-11-01 | Updated: 2026-11-02 | 8 failing / 38 total
• wasm/doom: 23 of 23 named opcodes, the framebuffer link live, browser gates green #13059 wasm/doom: 23 of 23 named opcodes, the framebuffer link live, browser gates green | Created: 2026-11-01 | Updated: 2026-11-01 | 6 failing / 46 total
• spec(t27os): ladder_serve, the t27-native serve loop of the Ladder (Refs #13039) #13048 spec(t27os): ladder_serve, the t27-native serve loop of the Ladder (Refs #13039) | Created: 2026-11-01 | Updated: 2026-11-01 | 7 failing / 39 total
• chore(ci)(deps): bump actions/create-github-app-token from 2 to 3 #13052 chore(ci)(deps): bump actions/create-github-app-token from 2 to 3 | Created: 2026-11-01 | Updated: 2026-11-01 | 6 failing / 36 total
• chore(ci)(deps): bump softprops/action-gh-release from 2 to 3 #13051 chore(ci)(deps): bump softprops/action-gh-release from 2 to 3 | Created: 2026-11-01 | Updated: 2026-11-01 | 6 failing / 35 total
• chore(ci)(deps): bump actions/checkout from 4 to 7 #13050 chore(ci)(deps): bump actions/checkout from 4 to 7 | Created: 2026-11-01 | Updated: 2026-11-01 | 8 failing / 96 total
• feat(compiler): t27c gen-text writes the bytes of a spec str const (Refs #13011) #13014 feat(compiler): t27c gen-text writes the bytes of a spec str const (Refs #13011) | Created: 2026-10-31 | Updated: 2026-10-31 | 5 failing / 50 total
• feat(t27os): the Queen band draws the recorded log, labelled 'source: recorded log, not live' (Refs #12806) #13009 feat(t27os): the Queen band draws the recorded log, labelled 'source: recorded log, not live' (Refs #12806) | Created: 2026-10-31 | Updated: 2026-11-01 | 6 failing / 41 total
• spec(t27b): move zig_like_optimization_plan.t27 to docs #12997 spec(t27b): move zig_like_optimization_plan.t27 to docs | Created: 2026-10-31 | Updated: 2026-10-31 | 1 failing / 3 total
• spec(t27b): split compile_time_optimizations.t27 into docs + executable rules #12996 spec(t27b): split compile_time_optimizations.t27 into docs + executable rules | Created: 2026-10-31 | Updated: 2026-10-31 | 1 failing / 3 total
• fix(backend-api): make backend-api.t27 an executable contract #12995 fix(backend-api): make backend-api.t27 an executable contract | Created: 2026-10-31 | Updated: 2026-10-31 | 2 failing / 39 total
• feat(t27os): NVIDIA profile for OpenCode panes in the key master (Refs #12983) #12986 feat(t27os): NVIDIA profile for OpenCode panes in the key master (Refs #12983) | Created: 2026-10-31 | Updated: 2026-10-31 | 0 failing / 37 total
• docs(work-control): Phase A read-only inventory of branches, worktrees, PRs and sessions (Closes #12980) #12982 docs(work-control): Phase A read-only inventory of branches, worktrees, PRs and sessions (Closes #12980) | Created: 2026-10-31 | Updated: 2026-10-31 | 2 failing / 31 total
• feat(t27os): dev-monitor skill opens the existing authorized dsh web UI once per dev entry (Closes #12976) #12979 feat(t27os): dev-monitor skill opens the existing authorized dsh web UI once per dev entry (Closes #12976) | Created: 2026-10-31 | Updated: 2026-10-31 | 8 failing / 45 total
• feat(t27os): OpenCode free pool as a second executor, law in .t27 (Refs #12975) #12977 feat(t27os): OpenCode free pool as a second executor, law in .t27 (Refs #12975) | Created: 2026-10-31 | Updated: 2026-10-31 | 0 failing / 37 total
• ci(fpga): fpga-synth-ax7203 places with the heap placer and names a kill as placement (Closes #12966) #12969 ci(fpga): fpga-synth-ax7203 places with the heap placer and names a kill as placement (Closes #12966) | Created: 2026-10-31 | Updated: 2026-11-02 | 3 failing / 40 total
• spec(port): trios lib to specs/port/trios/tools/page_gate/src/lib.t27 #12937 spec(port): trios lib to specs/port/trios/tools/page_gate/src/lib.t27 | Created: 2026-10-30 | Updated: 2026-10-30 | 8 failing / 38 total
• spec(port): trios main to specs/port/trios/tools/citetheorem_audit/src/main.t27 #12936 spec(port): trios main to specs/port/trios/tools/citetheorem_audit/src/main.t27 | Created: 2026-10-30 | Updated: 2026-10-30 | 8 failing / 38 total
• spec(port): trios lib to specs/port/trios/crates/trios-ui/rings/UR-08/src/lib.t27 #12935 spec(port): trios lib to specs/port/trios/crates/trios-ui/rings/UR-08/src/lib.t27 | Created: 2026-10-30 | Updated: 2026-10-30 | 8 failing / 38 total
• spec(port): trios lib to specs/port/trios/crates/trios-ui/rings/UR-04/src/lib.t27 #12934 spec(port): trios lib to specs/port/trios/crates/trios-ui/rings/UR-04/src/lib.t27 | Created: 2026-10-30 | Updated: 2026-10-30 | 8 failing / 38 total
• spec(port): trios lib to specs/port/trios/crates/trios-ui/rings/UR-02/src/lib.t27 #12933 spec(port): trios lib to specs/port/trios/crates/trios-ui/rings/UR-02/src/lib.t27 | Created: 2026-10-30 | Updated: 2026-10-30 | 8 failing / 38 total
• spec(port): trios lib to specs/port/trios/crates/trios-ui/rings/UR-01/src/lib.t27 #12932 spec(port): trios lib to specs/port/trios/crates/trios-ui/rings/UR-01/src/lib.t27 | Created: 2026-10-30 | Updated: 2026-10-30 | 8 failing / 38 total
• spec(port): trios lib to specs/port/trios/crates/trios-store/rings/ST-02/src/lib.t27 #12931 spec(port): trios lib to specs/port/trios/crates/trios-store/rings/ST-02/src/lib.t27 | Created: 2026-10-30 | Updated: 2026-10-30 | 8 failing / 38 total
• spec(port): trios browser to specs/port/trios/crates/trios-server/src/mcp_endpoints/browser.t27 #12930 spec(port): trios browser to specs/port/trios/crates/trios-server/src/mcp_endpoints/browser.t27 | Created: 2026-10-30 | Updated: 2026-10-30 | 8 failing / 38 total
• spec(port): trios KDF label domain separation to specs/port/trios/crates/trios-chat/rings/CR-CHAT-02/src/kdf_label_domain_separation.t27 #12929 spec(port): trios KDF label domain separation to specs/port/trios/crates/trios-chat/rings/CR-CHAT-02/src/kdf_label_domain_separation.t27 | Created: 2026-10-30 | Updated: 2026-10-30 | 9 failing / 38 total
• spec(port): trios agents to specs/port/trios/crates/trios-server/src/mcp_endpoints/agents.t27 #12928 spec(port): trios agents to specs/port/trios/crates/trios-server/src/mcp_endpoints/agents.t27 | Created: 2026-10-30 | Updated: 2026-10-30 | 8 failing / 38 total
• spec(port): trios a2a to specs/port/trios/crates/trios-server/src/mcp_endpoints/a2a.t27 #12927 spec(port): trios a2a to specs/port/trios/crates/trios-server/src/mcp_endpoints/a2a.t27 | Created: 2026-10-30 | Updated: 2026-10-30 | 8 failing / 38 total
• spec(port): trios lib to specs/port/trios/crates/trios-igla-race-pipeline/rings/SR-01/src/lib.t27 #12926 spec(port): trios lib to specs/port/trios/crates/trios-igla-race-pipeline/rings/SR-01/src/lib.t27 | Created: 2026-10-30 | Updated: 2026-10-30 | 8 failing / 38 total
• spec(port): trios lib to specs/port/trios/crates/trios-doctor/rings/SILVER-RING-DR-03/src/lib.t27 #12925 spec(port): trios lib to specs/port/trios/crates/trios-doctor/rings/SILVER-RING-DR-03/src/lib.t27 | Created: 2026-10-30 | Updated: 2026-10-30 | 9 failing / 38 total
• spec(port): trios tool_response_timeout_guard to specs/port/trios/crates/trios-chat/rings/CR-CHAT-06/src/tool_response_timeout_guard.t27 #12924 spec(port): trios tool_response_timeout_guard to specs/port/trios/crates/trios-chat/rings/CR-CHAT-06/src/tool_response_timeout_guard.t27 | Created: 2026-10-30 | Updated: 2026-10-30 | 8 failing / 38 total
• spec(port): trios main to specs/port/trios/.trinity/bin/trinity-dashboard/src/main.t27 #12923 spec(port): trios main to specs/port/trios/.trinity/bin/trinity-dashboard/src/main.t27 | Created: 2026-10-30 | Updated: 2026-10-30 | 8 failing / 38 total
• spec(port): trios signature_algorithm_pinning_guard to specs/port/trios/crates/trios-chat/rings/CR-CHAT-01/src/signature_algorithm_pinning_guard.t27 #12922 spec(port): trios signature_algorithm_pinning_guard to specs/port/trios/crates/trios-chat/rings/CR-CHAT-01/src/signature_algorithm_pinning_guard.t27 | Created: 2026-10-30 | Updated: 2026-10-30 | 8 failing / 38 total
• spec(port): trios identity_key_usage_count_guard to specs/port/trios/crates/trios-chat/rings/CR-CHAT-01/src/identity_key_usage_count_guard.t27 #12921 spec(port): trios identity_key_usage_count_guard to specs/port/trios/crates/trios-chat/rings/CR-CHAT-01/src/identity_key_usage_count_guard.t27 | Created: 2026-10-30 | Updated: 2026-10-30 | 8 failing / 38 total
• spec(port): trios lib to specs/port/trios/crates/trios-chat/rings/BR-IO-CHAT-07/src/lib.t27 #12920 spec(port): trios lib to specs/port/trios/crates/trios-chat/rings/BR-IO-CHAT-07/src/lib.t27 | Created: 2026-10-30 | Updated: 2026-10-30 | 8 failing / 38 total
• spec(port): trios merkle.rs to specs/port/trios/crates/trios-rainbow-bridge/src/merkle.t27 #12917 spec(port): trios merkle.rs to specs/port/trios/crates/trios-rainbow-bridge/src/merkle.t27 | Created: 2026-10-30 | Updated: 2026-10-30 | 8 failing / 38 total
• spec(xilinx7): pin packet constants to Vivado sources #12901 spec(xilinx7): pin packet constants to Vivado sources | Created: 2026-10-30 | Updated: 2026-10-30 | 7 failing / 39 total
• hosting: Railway retired as a carrier -- the retirement law (owner, 2026-10-27) #12811 hosting: Railway retired as a carrier -- the retirement law (owner, 2026-10-27) | Created: 2026-10-27 | Updated: 2026-10-27 | 12 failing / 38 total
• parser: a bracketed single element with a declared [1]T annotation is a list, not a dimension (Refs #5980) #12695 parser: a bracketed single element with a declared [1]T annotation is a list, not a dimension (Refs #5980) | Created: 2026-10-26 | Updated: 2026-10-27 | 10 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-30 | 7 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-11-01 | 7 failing / 32 total

Summary

Status	Count
Total Open PRs	50
PRs with Failing Checks	47
PRs with All Checks Green	3
READY	2
FAILING	47
PENDING	0
NO CHECKS YET	0

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

Seal Status

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