[gHashTag]

Pin SYNC, DUMMY, BUS_WIDTH_SYNC, BUS_WIDTH_DETECT, NOOP, TYPE1/2, OP_, REG_ to prjxray c9f02d857.

Prevents silent hex drift like #12835.

Refs #12835

[github-actions]

PR Dashboard

Generated at: 2026-10-30 16:48:30 UTC

• 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 | 31 failing / 37 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-10-30 | 6 failing / 31 total

Summary

Status	Count
Total Open PRs	5
PRs with Failing Checks	4
PRs with All Checks Green	1
READY	0
FAILING	4
PENDING	0
NO CHECKS YET	0

These columns do not partition: 0 + 4 + 0 + 0 = 4, and there are 5 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).