before: 32-bit correctness audit with a wasm32 execution leg - #30

Merged

plaidfinch merged 20 commits into

mainfrom

w2/wasm32-audit

Aug 19, 2026

Commits on Aug 19, 2026

wasm32-pins: land the 32-bit execution leg with today's boundaries pinned red
plaidfinch
committed
eb6ba62
before: walk the byte decode doors over raw bytes, off the borrowed view
plaidfinch
committed
78c6537
before: compute Bits::len at u64 width, checked back to usize
plaidfinch
committed
1c47d7c
before: assemble the rank decoder's numerator from bytes, never a shift
plaidfinch
committed
65eaf9f
wasm32-pins: state pin invariants in the present tense
plaidfinch
committed
9d38eef
before: classify the remaining 32-bit widening sites inline
plaidfinch
committed
7ea3df5
docs: keep the new byte-door and pin doc summaries under the doclint cap
plaidfinch
committed
456dc0f
before: restore the encode shift's metered spelling; tighten the byte-door cfgs
plaidfinch
committed
cfa7c7e
before: re-pin rank_decode's worst heap families after the byte assembly
plaidfinch
committed
f34f4b3
wasm32-pins: red-first pins for five newly scoped 32-bit boundaries
plaidfinch
committed
39b237e
wasm32-pins: keep the new pins' doc summaries under the doclint cap
plaidfinch
committed
16cb4df
before: replace the borrowed bit view with the crate-owned BitsView
plaidfinch
committed
5d167a6
before: tighten the skyline-decode heap envelopes to the once-allocated copy
plaidfinch
committed
f6c0a6a
before: disambiguate the skyline encode doc link
plaidfinch
committed
b802e1b
before: replace the bitvec build buffer with the crate-owned BitsBuf
plaidfinch
committed
83e61b4
before: denominate bit streams in u64 end to end; gate encoded_bits meter-side
plaidfinch
committed
05d87e1
wasm32-pins: pin the memory bound as the only terminal past every coordinate
plaidfinch
committed
c75d502
suanpan: stream limbs past the backend and read totals back out as limbs
plaidfinch
committed
8da5792
before: total rank arithmetic to the working-set ceiling on 32-bit targets
plaidfinch
committed
79a944a
before: sweep the last build-substrate ghosts and a dead assert leg
plaidfinch
committed
35a09c5