We removed the oracle from options settlement - and proved it in Lean

Leveraged DeFi usually depends on two fragile mechanisms: a live price oracle and a liquidation engine. Split removes both from the settlement path. Split takes the other path. It's an oracle-free,