01must proveConfirmed | Insert creates an unmapped key and skips a mapped key; upsert creates or replaces a whole record; update patches supplied fields and skips satisfied contact changes. | policy | service | test |
02must proveConfirmed | Keyed inserts skip existing mappings; upserts skip lower revisions as stale and equal revisions as duplicates, applying higher or unspecified revisions; patches use their separate revision rules. | policy | service | test |
03must proveConfirmed | A successful record write and its producer mapping commit together; a refused creation leaves no mapping and corrected input can create it. | invariant | service, database | test |
04must proveConfirmed | An unresolved required producer reference blocks its input record, allowing retry after the dependency is loaded without uploading the original file again. | policy | service | test |
05must proveConfirmed | A record and its owned details commit together; an invalid owned address prevents both record creation and mapping. | invariant | service, database | test |
06must proveConfirmed | Imported contacts and organizations receive workspace-assigned numbers, ignoring supplied numbers and defaulting external identity to the producer key; configuration items retain their supplied identifiers. | policy | service | test |
07must proveConfirmed | Initial import requires a sandbox workspace in loading state, suppresses only declared side effects and preserves validation and derived values while allowing archived options as historical input. | policy | service | test |
08must proveConfirmed | Hard deletion removes associated producer mappings so later input can create the record again; merge redirects mappings to the survivor. | policy | service, database | test |
09must proveConfirmed | Record files are prepared before the write transaction; an unsavable file rejects its record while storage outages receive transient handling. | policy | service | test |
10must proveConfirmed | The product should offer an automatic-role import option that defaults off; the recorded decision is not implemented in the scoped request contracts. | policy | | documented |
11Confirmed | A correcting file job can identify the earlier job and expose that relationship in both job details. | policy | api | documented |
12Confirmed | Imports resolve identity by producer key; a new key can create another person without raising a duplicate candidate. | policy | service | documented |
13Confirmed | Initial activity import preserves historical creation, change and owner information and marks migration; other imported records use the current submitter’s stamps. | policy | service | documented |