Try to get a trade past the kernel

Build a scenario and run it against the real invariant registry — the same code the autonomous loop uses. You get two answers: what the eight rules say about your exact trade, and what happens when the generator throws hundreds of hostile variants of it at the same policy.