Space-efficient bit vectors (Bodigrim/bitvec). Bug fixes mined from upstream history; modern HEAD is the base, each patch reverse-applies a fix to install the original bug. Mining concentrates on pure-Haskell paths (Internal, Immutable, F2Poly) and avoids C/SIMD/FFI subtrees.
Per-property results
| Property | passed | failed | other | verdict |
|---|---|---|---|---|
BitIndexWordOffset | 40 | 0 | 0 | — |
F2PolySignumOne | 0 | 40 | 0 | bug found |
ReadBitRoundTrip | 0 | 40 | 0 | bug found |