01must proveConfirmed | Deployment registration validates an application manifest and reconciles its registry, advancing the version on a repeat and retiring or reactivating types as declarations change. | lifecycle | service, database | test |
02must proveConfirmed | Registration rejects malformed manifests, unsupported contract versions and missing or non-executable claim functions with the detected problems. | validation | service | test |
03must proveConfirmed | A declared product type cannot belong to two active selling applications. | invariant | service, database | test |
04must proveConfirmed | The application database role reads the participant registry, with writes admitted only through registration. | invariant | database | test |
05must proveConfirmed | Application calls include the acting subject and use operation timeouts of five seconds for advice, ten for preparation and sixty otherwise, distinguishing unavailable calls from invalid responses. | policy | service | test |
06must proveConfirmed | Contract schemas reject undeclared structural fields in requests and responses, with support for the current major version and its predecessor when a second major exists. | validation | service | test |
07must proveConfirmed | Item details must use a declared schema version and satisfy a published parser, while a remote type without a published parser relies on its version declaration. | validation | service | test |
08must proveConfirmed | Commerce’s built-in plain-product application accepts empty details for Accounting products, takes no claim, plans one delivery unit and completes that unit without external work. | policy | service | test |
09must proveConfirmed | Readers can discover product types owned by active selling applications and their supported schemas; unsellable and unowned types are excluded. | policy | api, service | test |
10must proveConfirmed | A product type’s declared order kind classifies its sale, with the application identity used when no kind is declared. | calculation | service | test |
11must proveConfirmed | A type can declare up to twenty provisional pricing audiences for purchases that qualify other items in the same order. | policy | service | test |
12must proveConfirmed | Claim calls use a consistent ordering of application, resource and line to reduce competing lock-order conflicts. | invariant | service, database | test |
13must proveConfirmed | Placed-line delivery belongs to the fulfilment register, which calls the selling application when the frozen delivery condition opens. | policy | service | documented |