audit: engine critical bundle (closes C-5/6/7/8/9) - #89

Closed

dcccrypto wants to merge 9 commits into

mainfrom

feat/audit-engine-critical-bundle

Commits on Apr 25, 2026

Commits on Apr 27, 2026

Support sparse keeper stress sweeps
aeyakovenko
committed

Commits on May 9, 2026

fix(audit): port resolve_market_not_atomic pre-snapshots + zero-OI K-delta + adapted phantom-dust zero (ENG-PORT-5a)

dcccrypto
and
claude
committed
fix(audit): port empty-market gate on withdraw_live_insurance_not_atomic (ENG-PORT-1, CRITICAL-5)

dcccrypto
and
claude
committed
fix(audit): port loss-safe fee anchor + ensure_fee_draw_does_not_precede_loss helper (ENG-PORT-2, CRITICAL-6)

dcccrypto
and
claude
committed
fix(audit): port account_has_unsettled_live_effects post-touch guard at 4 callsites (ENG-PORT-3, CRITICAL-7)

dcccrypto
and
claude
committed
fix(audit): port per-account side-mode gate (ENG-PORT-4, CRITICAL-8)

dcccrypto
and
claude
committed
test(audit): update enforce_side_mode_oi_gate callsites for new 6-arg signature (ENG-PORT-4 fixup)

dcccrypto
and
claude
committed