Sketch
Before anything runs, Komo writes a plain sheet: who pays whom, which currency, how much, on which ledger, which method gets called with which arguments, how wide the permit is, and what should be true afterward. That sheet turns into the yardstick.