Brevis x NeoSoul: Private Prompts and Verifiable Rewards for AI Trading