Provely uses one approved word for one meaning. This glossary defines each term in one sentence and links to the page that explains it.
| Term | Definition |
|---|---|
| Intent | What the user asked for, stated before any action. |
| Action | What the agent attempted against the provider. |
| Acknowledgement | What the provider returned at once, such as HTTP 200 and an object. |
| Outcome | The observable resulting state in the real system. |
| Completion | The outcome satisfies the completion contract. |
| Completion contract | A machine-readable, versioned, hashable definition of done for one operation. |
| Completion level | One named promise of a service, proven by one contract. |
| Correlation | The binding of evidence to the exact operation through keys such as a resource id. |
| Idempotency | The property that a retried request creates no second side effect. |
| Evidence level | The rank of a piece of evidence by its independence from the action path, E0 to E5. |
| Verdict | The result of one verification attempt: VERIFIED, PENDING, CONTRADICTED, FAILED, or UNVERIFIABLE. |
| PENDING | The verdict while an operation can still make progress. |
| UNVERIFIABLE | The verdict when the evidence never became sufficient. |
| CONTRADICTED | The verdict when the evidence shows a different outcome than the intent. |
| False VERIFIED | A VERIFIED verdict for an outcome that did not happen. The highest-severity defect. |
| Evidence receipt | A signed, machine-readable record of what was verified and how. |
| Service verification skill | A signed package of contracts, lifecycles, evidence channels, and tests for one provider. |
| Conformance | The mandatory test matrix a skill must pass before certification. |
| Intent compilation | The step that turns a task in natural language into a completion contract. |
| Intent fidelity | The agreement between what the user asked for and what the contract checks. |
| REQUIRES_REVIEW | The mark on a part of a task that no contract can check. |
| Drift | A change in a provider schema, docs, or behaviour that can change a contract. |