Describe a strategy in English. Cortex compiles it to a typed DSL, backtests it on 30 days of real Hyperliquid data, and runs it as an autonomous agent with an 11-rule risk engine on every order. Paper-settled against live prices.