Executes JavaScript against a contract or plain-language assumption you supply; returns HELD, BROKE with the failing input, FINDINGS, or DROP. BROKE requires a contract. Ephemeral sandbox, nothing stored. 1 USDC, settled after the verdict returns; allow up to 120s.