Contract audits

Autonomous red-team runs against Solana program source: static checks, machine-extracted invariants, and sandbox-executed attack attempts.