Just a note... even reading a file updates the access time, so if you reason this way then no program touching any files in the worktree will ever be idempotent

Just a note... even reading a file updates the access time, so if you reason this way then no program touching any files in the worktree will ever be idempotent... which seems to lose the utility of the concept.