Repository navigation

repsel: discharge the numeric-field proof at element-GROUP scope so proven reads drop js_number_coerce (#7770) - #7774

Merged

proggeramlug merged 5 commits into

mainfrom

repsel/7770-ptr-shape-raw-f64-load

Aug 10, 2026

Merged

repsel: discharge the numeric-field proof at element-GROUP scope so proven reads drop js_number_coerce (#7770)#7774
proggeramlug merged 5 commits into
mainfrom
repsel/7770-ptr-shape-raw-f64-load

Commits on Aug 10, 2026
- feat(repsel): group-wide numeric-field proof for element-shape groups (#7770)
  Ralph Küpper
  committed
  05c1fd2
- style: cargo fmt + reference #7773 from the gap test
  Ralph Küpper
  committed
  da83427
- docs: changelog fragment for PR #7774
  Ralph Küpper
  committed
  a6a399c
- chore: bump version to 0.5.1453
  Ralph Küpper
  committed
  b8f5184
- test: exclude the numeric-proof parity fixture from the repsel corpus
  Ralph Küpper
  committed
  a63797d