Completion means that the outcome satisfies the contract: every positive postcondition holds, no negative postcondition holds, and the evidence correlates with this operation. Only completion earns VERIFIED.

Intent, action, acknowledgement, outcome, and completion stay separate in the data model, the API, and the interface.