Autonomous, risk-bounded options agent where every trade must produce a machine-verifiable “decision receipt” before execution