Repository navigation

Close the receipt stack's outstanding review Lows - #632

Merged

MaxGhenis merged 9 commits into

mainfrom

w4/receipt-review-lows

Oct 16, 2026

Merged

Close the receipt stack's outstanding review Lows#632
MaxGhenis merged 9 commits into
mainfrom
w4/receipt-review-lows

Commits on Oct 15, 2026
- Close the receipt stack's outstanding review Lows
  
  MaxGhenis
  and
  claude
  committed
  be71c0f
- Exempt Literal and Annotated strings only when the name is that form
  
  MaxGhenis
  and
  claude
  committed
  a15a98f
- Describe the receipt fixes accurately in the changelog fragment
  
  MaxGhenis
  and
  claude
  committed
  aff4151
- Grant no string exemption to a name the code rebinds
  
  MaxGhenis
  and
  claude
  committed
  1094821
Commits on Oct 16, 2026
- Treat an import the receipt cannot resolve as any object
  
  MaxGhenis
  and
  claude
  committed
  8d0913f
- Grant no exemption a function can undo at run time; fail closed
  
  MaxGhenis
  and
  claude
  committed
  b81ccc7
- Withhold the exemption where any module code can rebind a typing name
  
  MaxGhenis
  and
  claude
  committed
  c6b113f
- Keep labels and lazy module names from costing the exemption
  
  MaxGhenis
  and
  claude
  committed
  708e389
- Count a store to an attribute or subscript in a forward reference as a call
  
  MaxGhenis
  and
  claude
  committed
  842b71d