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.
Integration	The package that Provely compiles for one provider and signs. It states what "done" means there.
Agent Skill	One `SKILL.md` file in the Anthropic format. An agent loads it and follows the instructions in it.
MCP server	A process that publishes tools over the Model Context Protocol. An agent calls them to act on a provider.
Permission envelope	The allow list of tool names and argument values that a person confirmed.
Guard	The interceptor that checks each tool call against the permission envelope before it runs.
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.