Spec Kit Test run: Auditing as you go: what corrections look like