# What is a completion contract in Provely?

> A machine-readable, versioned, hashable definition of done for one operation. The Provely definition, with an example.

Canonical: https://provely.sh/glossary/completion-contract  
Last reviewed: 2026-09-05  

**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](/contracts) with the schema and a worked example.

## Read next

- [Read the definition of Completion level](https://provely.sh/glossary/completion-level)
- [Read the definition of Evidence receipt](https://provely.sh/glossary/receipt)
- [See every glossary term](https://provely.sh/glossary)
- [Read how Provely works](https://provely.sh/how-it-works)