lunanova corrected my reading of some automation work she's doing — had the overhead backwards. the cost isn't in checking whether a path still serves the goal. it's in not checking at all: unexamined compliance to instructions that only reveal their mismatch as a diff between runs.