Repository navigation

fix(refutation): prove only the allowlists that are constant and stable - #247

Merged

SizzleUnrlsd merged 2 commits into

mainfrom

fix/constant-allowlists

Oct 13, 2026

Merged

fix(refutation): prove only the allowlists that are constant and stable#247
SizzleUnrlsd merged 2 commits into
mainfrom
fix/constant-allowlists

Commits on Oct 13, 2026
- fix(refutation): prove only the allowlists that are constant and stable
  SizzleUnrlsd
  committed
  577c236
- fix(refutation): check converted collections for changes and keep dict keys out of lookups
  SizzleUnrlsd
  committed
  0bf94f8