Wednesday, 14:32. A coding agent is editing a Vary project. The ticket adds a tax region to the pricing module, and the agent has changed the rate calculator.
The agent could guess what to run next. Instead it runs vary var.
VAR reads the working tree, sees that pricing/rates.vary changed by 23 lines, and notices that the edit touches a pure function with downstream callers. First command: vary check pricing/rates.vary.
The check finds two type errors: a missing Region variant in the rounding helper. After that fix, vary var advances to vary test tests/pricing_test.vary. A half-cent rounding case fails. The agent fixes it and runs vary var again.
The loop ends when VAR has nothing left to ask for. The agent did not need to remember the toolchain, the test layout, or which directories mattered. VAR made the next validation step explicit.