sync(audit): port toly upstream/master 3969c31..2052807 to fork-engine — 6 of 7 audit-validated SF ports + ENG-PORT-4 fixup - #90

Merged

dcccrypto merged 9 commits into

mainfrom

feat/sync/engine-bulk-2026-05

May 10, 2026

Commits on May 10, 2026

sync(engine): port withdraw_live_insurance_not_atomic empty-market gate — closes ENG-PORT-1 (CRITICAL-5)

dcccrypto
and
claude
committed
sync(engine): port account_has_unsettled_live_effects helper (ADAPTED 4-predicate form) — ENG-PORT-3 prerequisite

dcccrypto
and
claude
committed
sync(engine): port sync_account_fee loss-safe anchor + ensure_fee_draw_does_not_precede_loss helper — closes ENG-PORT-2 (CRITICAL-6)

dcccrypto
and
claude
committed
sync(engine): wire account_has_unsettled_live_effects at 4 callsites — closes ENG-PORT-3 (CRITICAL-7)

dcccrypto
and
claude
committed
sync(engine): port enforce_side_mode_oi_gate per-account widening + new account_gate helper — closes ENG-PORT-4 (CRITICAL-8)

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

dcccrypto
and
claude
committed
sync(engine): port resolve_market_not_atomic 4 SF hunks (pre-state, K-zero, dust-zero ADAPTED, drain-guard) — closes ENG-PORT-5a (CRITICAL-9)

dcccrypto
and
claude
committed
sync(engine): port force_close_resolved_not_atomic position-basis early-return — closes Port 6

dcccrypto
and
claude
committed
chore(engine): remove last_crank_slot + gc_cursor refs from detailed_offsets.rs example — restore cargo test clean

dcccrypto
and
claude
committed