Summary
DST workload uses 16 short ASCII keys and "vN" values. No fuzz of binary keys, empty values, large payloads, or lens-style composite keys with 0x00 separators. Recovered sortedness is never asserted post-recovery.
Audit ID: Section 3 Medium — Wave 2
Root cause
src/sim/workload.ts ~L88 — narrow alphabet.
Fix
Add seeded round-trip fuzz profile:
- Generate random
Uint8Array keys/values, lengths 0..N (cap N for CI speed).
- Random ops: set/delete/getRange in transactions.
- Crash/recover cycles.
- Assert: deep-equal store +
entries sorted by compareKeys after recovery.
- After B5 lands: aliasing/mutation tests on recovered buffers.
Acceptance criteria
Related issues
Verification
Summary
DST workload uses 16 short ASCII keys and
"vN"values. No fuzz of binary keys, empty values, large payloads, or lens-style composite keys with0x00separators. Recovered sortedness is never asserted post-recovery.Audit ID: Section 3 Medium — Wave 2
Root cause
src/sim/workload.ts~L88 — narrow alphabet.Fix
Add seeded round-trip fuzz profile:
Uint8Arraykeys/values, lengths 0..N (cap N for CI speed).entries sorted by compareKeysafter recovery.Acceptance criteria
bun run gategreen.Related issues
Verification