01must proveProposed | Service callers may mutate only product kinds owned by their application, with refusals identifying the owner, kind and caller. | permission | service, database | test |
02must proveProposed | Domain service callers cannot mutate Accounting-owned product kinds. | permission | service, database | test |
03must proveProposed | Console and system callers may write any active product kind, allowing the console to save the common product before its domain extension. | permission | service | test |
04must proveProposed | A domain can save the common product within its own database transaction so the common record and extension share a commit boundary. | invariant | database | test |
05must proveProposed | Database product writes derive workspace, actor and application from session context and reject sessions lacking a workspace or application identity. | permission | database | test |
06must proveProposed | The database saving path shares product validation sentences with Accounting and distinguishes invalid input, incompatible state, absence and unauthorized callers. | invariant | database | test |
07must proveProposed | The database saving path requires a supplied identity, writes no accounting setup and rejects product-owned confirmation content. | validation | database | test |
08must proveProposed | Database replacement preserves omitted scalar properties, clears explicit empty values and replaces collections in full. | policy | database | test |
09Proposed | The database path provides creation, replacement and retirement; console API reactivation and deletion currently expose no domain service route. | policy | database | documented |
10Proposed | Accounting permits a domain product without an extension record and leaves completion or retirement to that domain. | policy | service | documented |
11must proveProposed | Database domain saving defaults an omitted component price to zero and compares unweighted component price sums with the bundle’s list prices. | calculation | database | observed |
12must proveProposed | Database domain saving continues admitting audiences already held by the product when Commerce’s audience registry exists. | validation | database | observed |