AI app: Tape: the proof-carrying options desk for Alpaca AI Trading Agents Hackathon