Back to board

How MinMove decides

One late truck. Fewest moved appointments. Language may propose. The engine proves. You commit.

ONE PROCESS · ARBITER PICKS THE MINUTE · SOLVER OWNS STATEParseradio note → eventdeterministic, localAgentoptional Grokintent only, never writesSolverlex k-repair + freezeIIS deletion filterFlowgate → yard → dockplayback clockCertificateversus the booked berthOperatorCOMMIT or rejectyard never auto-mutatesAUTHORITY SPLITRadio, road, and the agent propose a minute. The arbiter picks one. The solver proves. You commit.Not a mesh of containers. Bounded services in one process so an 18-hour board can still demo in 60 seconds.lex = displaced ≺ priority ≺ dockChange ≺ delay ≺ eventWait · IIS via deletion

The engine

  • Lex repair: hold the board, then cut wait
  • Trucks already in a bay stay frozen
  • Blocked plans return a minimal conflict set
  • Unknown dock facts need a human

The note reader

  • Reads a messy Vietnamese or English radio note
  • Never writes appointments
  • Optional — the board runs without it