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

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

proggeramlug merged 5 commits into

mainPerryTS/perry:mainfrom

repsel/7770-ptr-shape-raw-f64-loadPerryTS/perry:repsel/7770-ptr-shape-raw-f64-loadCopy head branch name to clipboard