Repository navigation

IR-598: require symbolic V2 replacement before corpus retirement - #358

Merged

kreneskyp merged 3 commits into

mainfrom

spec/ir598-corpus-retirement

Oct 11, 2026

Merged

IR-598: require symbolic V2 replacement before corpus retirement#358
kreneskyp merged 3 commits into
mainfrom
spec/ir598-corpus-retirement

Commits on Oct 11, 2026
- Clarify V2 Kani corpus retirement prerequisites (IR-598)
  kreneskyp
  committed
  9929bfe
- Resolve IR-598 spec review findings
  kreneskyp
  committed
  a4d0377
- Add IR-598 spec review artifacts
  kreneskyp
  committed
  7a02723