Shipping and receipts

Before shipping, your agent checks each Done When line against the live system and records a receipt: how it was checked and where you can follow it. A line it couldn't check stays unchecked, and it says so.

Nothing forces them, so they're worth a look. Open the spec to see each line checked or unchecked.

Your call: is an unchecked line fine, or does it need doing before you tell anyone?

Your agent marks the priority shipped. It does not deploy anything, and merged is not deployed. Releasing to production stays your decision. An Annsa-Spec: line in the PR matches the work on a production deploy, which also marks the matched spec shipped. See GitHub.

What your agent learned goes on the priority for the next spec. Annsa drafts a note to the customers behind it. See Telling customers. If customers raise the problem again, the priority reopens as came back.