A completion contract is a machine-readable definition of done for one operation. It names the intent, the subject, the action, the correlation keys, the postconditions, the timing policy, and the result on timeout.

Read the full description of a contract with the schema and a worked example.