Covenant: Proof-Carrying Trading Agent
Covenant is a proof-carrying AI options agent that turns mandates into enforceable policy, checks every SPY/QQQ spread against eight risk invariants, then permits paper execution only through a signed, 60-second, single-use TradePermit.