An integration is the package that Provely compiles for one provider and signs. It holds one completion contract for each completion level, the evidence channels each contract reads, the correlation strategy, the conformance results, and the certification.
Each completion level is one promise, and a lower level never proves a higher one. Example: the Stripe integration separates stripe.refund.created, which proves the Refund object exists, from stripe.refund.succeeded, which proves the money moved. Read the Stripe integration.
The signed manifest carries the machine plan: the contracts with their hashes, the lifecycles, the evidence channels, and the conformance run. Provely signs it with Ed25519, so a receipt names the exact version that judged an action.
Each integration also ships one Agent Skill, a SKILL.md file, so an agent knows how to verify that provider. The two objects keep two words. The package is the integration, and the file is the skill.