spec: ECSM affine ecall variant - #932

Open

nicole-graus wants to merge 2 commits into

spec/ecsm-affine-selector

Commits on Aug 11, 2026

Spec the ECSM affine ecall variant and its IS_AFFINE selector
nicole-graus
committed
29ae662
Cite the memory-granularity rule and correct the x-only claim
nicole-graus
committed
3837f1d