// Gate‑C Controller (Phase 20.26)
// Responsibility: Provide a thin, stable entry to route MIR(JSON v0)
// through the Ny/Core dispatcher when a wrapper route is needed.

include "lang/src/vm/core/dispatcher.hako"

static box GateCController {
  // route_json/1: String(JSON v0) -> String(last line)
  // Contract: returns a printable string (numeric or tag). No side effects.
  route_json(j) {
    // Delegate to the Core dispatcher runner
    return call("NyVmDispatcher.run/1", j)
  }
}