01must proveProposed | Only an adapter’s own principal may register its integration key, except that Platform may register any key outside production; unauthorized registration is refused without writes. | permission | service | test |
02must proveProposed | Registration accepts a release only if its manifest fits the shared schemas, declares known capability majors and features, uses no newer contract package and matches its recomputed fingerprint; invalid releases leave no records. | validation | service | test |
03must proveProposed | First registration gives an integration internal availability until Rhythm changes the offer. | policy | service | test |
04must proveProposed | Publication freezes a version’s manifest through deprecation and retirement; a changed fingerprint is refused, while identical registration preserves the version and may replace its deployment. | invariant | service | observed |
05must proveProposed | Registration records deployment location, permits one active deployment per release and environment, and drains the deployment being replaced. | invariant | service, database | test |
06must proveProposed | Authorized Rhythm staff move a validated version to published, a published version to deprecated and a deprecated version to retired, with every other transition refused. | lifecycle | api, service | observed |
07must proveProposed | Retirement is refused while any customer has a non-disconnected connection pinned to that version. | policy | service | observed |
08must proveProposed | A published release becomes current if it is newer than the current published release, or if the current release is absent or no longer published. | calculation | service | observed |
09must proveProposed | Rhythm staff choose public, internal or restricted availability; restricted grants replace the whole customer list, and supplying grants for another availability is refused. | policy | api, service | test |
10must proveProposed | The staff catalogue includes integrations of every availability with their versions, deployments and release notes; customer callers cannot read it. | permission | api | test |
11must proveProposed | Rhythm staff list declared platform-secret purposes and versions without values, write only declared purposes and leave a security record for each write; customer administrators are refused. | permission | api, service | test |
12must proveProposed | Registration rejects external hosting, mismatched deployment principal, runtime or environment, duplicate capabilities and unsupported execution modes before saving the release. | validation | service | observed |