Repository navigation

Stale-read detectors for the surviving pools: ASan poisoning + make jit-checked (#1665) - #1705

Merged

InauguralPhysicist merged 3 commits into

mainfrom

Oct 10, 2026

Merged

Stale-read detectors for the surviving pools: ASan poisoning + make jit-checked (#1665)#1705
InauguralPhysicist merged 3 commits into
mainfrom
detect-1665

Commits on Oct 10, 2026
- Poison parked NUMs and call envs under ASan (#1665 stale-read detector)
  
  xxxxxxxxxxxxx
  and
  claude
  committed
  ae3ba60
- Add make jit-checked: emitted slot witnesses before direct env-slot access
  
  xxxxxxxxxxxxx
  and
  claude
  committed
  25fc707
- Pool-poison section renumbered [0ff] -> [0fg] (B0 took [0ff])
  
  xxxxxxxxxxxxx
  and
  claude
  committed
  9206f2a