Repository navigation

seals: verdict-blocked specs compile and seal; 11 refused specs fixed, 30 blocked ones listed (Refs #8314) - #10370

Merged

gHashTag merged 7 commits into

seal/verdict-blocked

Oct 18, 2026

Merged

seals: verdict-blocked specs compile and seal; 11 refused specs fixed, 30 blocked ones listed (Refs #8314)#10370
gHashTag merged 7 commits into
masterfrom
seal/verdict-blocked

Commits on Oct 18, 2026
- seals: reseal 279 specs so t27c frontier reuses more
  
  gHashTag
  and
  claude
  committed
  9448ab4
- seals: reseal 7 specs whose seals no longer describe what master's t27c emits
  
  gHashTag
  and
  claude
  committed
  e783a8d
- specs: 143 of the 153 verdict-blocked specs compile, pass and stop being vacuous
  
  gHashTag
  and
  claude
  committed
  093bf47
- specs: ten specs declare their string arrays as [N]str so gen-verilog accepts them and they can be sealed
  
  gHashTag
  and
  claude
  committed
  8ae9de1
- seals: reseal 296 seal files after the verdict fixes; no stale seal, no refused spec left
  
  gHashTag
  and
  claude
  committed
  42040f9
- Merge master into seal/verdict-blocked (seal conflicts resolved to the branch side, resealed next)
  
  gHashTag
  and
  claude
  committed
  4ab2000
- seals: reseal 28 seals after merging master, so the branch matches master's compiler
  
  gHashTag
  and
  claude
  committed
  6e5043b