[gHashTag]

Added negative-control tests to 47 specs. Fixed 2 unmeasured specs. Coverage 379/430 -> 430/430. Closes #12913

[github-actions]

PR Dashboard

Generated at: 2026-11-08 16:44:31 UTC

• specs/crons: close all coverage gaps – 430/430 #13375 specs/crons: close all coverage gaps – 430/430 | Created: 2026-11-08 | Updated: 2026-11-08 | 30 failing / 35 total
• tri/crypto: Keccak-256 (Ethereum, original padding) in pure t27 #13372 tri/crypto: Keccak-256 (Ethereum, original padding) in pure t27 | Created: 2026-11-08 | Updated: 2026-11-08 | 0 failing / 38 total
• t27os: UI kit ring 1, window geometry and theme switch (Refs #13251) #13371 t27os: UI kit ring 1, window geometry and theme switch (Refs #13251) | Created: 2026-11-08 | Updated: 2026-11-08 | 2 failing / 38 total
• spec(tri): dev_view -- which surface shows the course HUD, pod rules #13341 spec(tri): dev_view -- which surface shows the course HUD, pod rules | Created: 2026-11-08 | Updated: 2026-11-08 | 0 failing / 37 total
• t27os: NVIDIA keys answer in OpenCode panes #13339 t27os: NVIDIA keys answer in OpenCode panes | Created: 2026-11-08 | Updated: 2026-11-08 | 0 failing / 2 total
• feat(t27f): renderers draw the UI Kit frame in TH_T27 + Outfit (Refs #13296 #13297 #13298) #13324 feat(t27f): renderers draw the UI Kit frame in TH_T27 + Outfit (Refs #13296 #13297 #13298) | Created: 2026-11-07 | Updated: 2026-11-08 | 2 failing / 38 total
• feat(t27f): menu graph + web, fpga and native renderers (Refs #13296 #13297 #13298) #13315 feat(t27f): menu graph + web, fpga and native renderers (Refs #13296 #13297 #13298) | Created: 2026-11-07 | Updated: 2026-11-08 | 2 failing / 38 total
• policy: add missing own-language exception for single_element_bracket.rs #13309 policy: add missing own-language exception for single_element_bracket.rs | Created: 2026-11-07 | Updated: 2026-11-07 | 3 failing / 32 total
• feat(t27os): orchestrator v1 and lane commit defaults (Refs #13260) #13307 docs(godmode): Phase 0 ring status map + Phase 1 inventory (Refs #13260) | Created: 2026-11-07 | Updated: 2026-11-07 | 5 failing / 37 total
• ci: unblock all PR merges — green documented-commands + duplicate-bodies; tri CLI 4 new commands; competitor sweep #13283 ci: unblock all PR merges — green documented-commands + duplicate-bodies; tri CLI 4 new commands; competitor sweep | Created: 2026-11-07 | Updated: 2026-11-07 | 9 failing / 48 total
• t27f: antialiased scaling, frames at 768 and 1280, per-width meaning facts (T27F-006) #13250 t27f: antialiased scaling, frames at 768 and 1280, per-width meaning facts (T27F-006) | Created: 2026-11-07 | Updated: 2026-11-07 | 3 failing / 38 total
• specs/blog: course bench-board post, figure as a native T27F still #13249 specs/blog: course bench-board post, figure as a native T27F still | Created: 2026-11-07 | Updated: 2026-11-07 | 3 failing / 37 total
• t27os: native 0.3.0 foundation (chat slice, event log, agent and swarm ONESHOT) #13223 t27os: native 0.3.0 foundation (chat slice, event log, agent and swarm ONESHOT) | Created: 2026-11-07 | Updated: 2026-11-07 | 4 failing / 37 total
• t27f: netlist_graph, a SPICE deck drawn as the T27F graph (SVG and seal pending) #13221 t27f: netlist_graph, a SPICE deck drawn as the T27F graph (SVG and seal pending) | Created: 2026-11-07 | Updated: 2026-11-07 | 4 failing / 40 total
• Add persistent workspace task panes to T27 OS #13207 Add persistent workspace task panes to T27 OS | Created: 2026-11-07 | Updated: 2026-11-08 | 4 failing / 37 total
• t27core: add isolated ParserPort type-grammar representation #13194 t27core: add isolated ParserPort type-grammar representation | Created: 2026-11-04 | Updated: 2026-11-04 | 8 failing / 37 total
• feat(t27os): add BENCH Browser view with authenticated personal pod #13193 feat(t27os): add BENCH Browser view with authenticated personal pod | Created: 2026-11-04 | Updated: 2026-11-04 | 7 failing / 38 total
• docs: record no-hand-written-rust-growth lesson #13185 docs: record no-hand-written-rust-growth lesson | Created: 2026-11-04 | Updated: 2026-11-04 | 5 failing / 32 total
• claw: type_conflict_sweep -- a resolved name leaves both ledgers in one commit (Closes #13182) #13183 claw: type_conflict_sweep -- a resolved name leaves both ledgers in one commit (Closes #13182) | Created: 2026-11-04 | Updated: 2026-11-04 | 4 failing / 37 total
• docs: add slice-capable gen-rust design note #13181 docs: add slice-capable gen-rust design note | Created: 2026-11-04 | Updated: 2026-11-04 | 4 failing / 32 total
• t27b: add cache_format decoding/tag policy spec #13180 t27b: add cache_format decoding/tag policy spec | Created: 2026-11-04 | Updated: 2026-11-04 | 7 failing / 40 total
• spec(t27os): router dispatch law - one composed entry per walk attempt (Closes #13163) #13176 spec(t27os): router dispatch law - one composed entry per walk attempt (Closes #13163) | Created: 2026-11-04 | Updated: 2026-11-04 | 1 failing / 38 total
• T27 Model Control: MODEL panel (epic #13172) #13173 T27 Model Control: MODEL panel (epic #13172) | Created: 2026-11-04 | Updated: 2026-11-04 | 2 failing / 38 total
• ml: resume equivalence proven to the bit + portable host IO shim #13168 ml: resume equivalence proven to the bit + portable host IO shim | Created: 2026-11-03 | Updated: 2026-11-03 | 2 failing / 49 total
• fix(use_resolve): splice module-level vars; portable prof_now - the meter runs again #13161 fix(use_resolve): splice module-level vars; portable prof_now - the meter runs again | Created: 2026-11-03 | Updated: 2026-11-03 | 9 failing / 49 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
• 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-03 | 1 failing / 39 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
• 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
• 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-11-03 | 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
• 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/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-11-07 | 6 failing / 37 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-11-07 | 6 failing / 37 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-11-07 | 6 failing / 37 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-11-07 | 6 failing / 37 total
• spec(xilinx7): pin packet constants to Vivado sources #12901 spec(xilinx7): pin packet constants to Vivado sources | Created: 2026-10-30 | Updated: 2026-11-03 | 2 failing / 38 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-11-03 | 2 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	43
PRs with Failing Checks	37
PRs with All Checks Green	6
READY	5
FAILING	37
PENDING	0
NO CHECKS YET	0

These columns do not partition: 5 + 37 + 0 + 0 = 42, and there are 43 open PRs. A PR is being counted twice or not at all.

Seal Status

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