Repository navigation

feat(evm): R1 cross-block absinterp for JUMP → SPP (measurement + demotion note) - #615

Draft

zoowii wants to merge 4 commits into

DTVMStack:mainfrom

zoowii:cursor/r1-baseline-ca3f

Draft

feat(evm): R1 cross-block absinterp for JUMP → SPP (measurement + demotion note)#615
zoowii wants to merge 4 commits into
DTVMStack:mainfrom
zoowii:cursor/r1-baseline-ca3f

Commits on Oct 8, 2026
- feat(test): dump R1 jump/SPP upper-bound counters
  
  cursoragent
  and
  zoowii
  committed
  2c9228a
- docs(evm): record R1 phase-1 bench and jump/SPP baselines
  
  cursoragent
  and
  zoowii
  committed
  4892d24
- feat(evm): add R1 cross-block Const/ConstSet absinterp
  
  cursoragent
  and
  zoowii
  committed
  aad0e6d
- docs(evm): record R1 phase-2 A/B and demote H2 claim
  
  cursoragent
  and
  zoowii
  committed
  4abf4e4