01Confirmed | Personal preferences store channel switches and digest selection for each category, with optional overrides for individual definitions. | policy | service | documented |
02must proveProposed | Preferences require known categories or definitions and valid switches; console cannot be disabled, mandatory e-mail cannot be disabled when supported, a nonempty channel-configurable override includes an enabled switch, and per-definition daily digest requires digestibility, while empty overrides and category-level digest selection remain valid. no proof recorded yet | validation | service | observed |
03must proveProposed | Preference and setting writes use optimistic versions; initial creation needs none, while subsequent writes require the version read; omitted or stale versions reject the entire update. no proof recorded yet | validation | service, database | test |
04must proveProposed | Workspace channel defaults enable console and e-mail and disable chat and text; console cannot be disabled, connections apply only to connected channels, and text limits use whole segment counts. no proof recorded yet | validation | service | test |
05must proveProposed | Workspace definition settings cannot disable mandatory notices, turn them into another requirement or narrow them below e-mail; Allowed channels are supported by the definition and include console. no proof recorded yet | validation | service | test |
06must proveProposed | Wording drafts advance numbered versions with one active override per definition, channel and locale; Publication checks field use and rendering limits; deactivation removes the override, while the current pipeline does not apply these overrides. no proof recorded yet | lifecycle | service | test |
07must proveProposed | Successful workspace channel, definition-setting and wording changes record actor and before-and-after audit data; Rejected updates produce no audit entry. no proof recorded yet | policy | service | test |
08must proveProposed | Quiet-hour storage requires unequal start and end times and distinct weekdays numbered one to seven; Digest delivery time defaults to 08:00 and accepts only valid times of day. no proof recorded yet | validation | service | test |
09must proveProposed | A person holds one current identity per chat or text channel, and a phone number identifies one person; Pending identities can become active, unreachable, opted out or revoked; revoked is terminal. no proof recorded yet | lifecycle | service, database | test |
10must proveProposed | Phone challenges retain a code digest, allow one open challenge per number and expire; Five incorrect submissions exhaust a challenge. no proof recorded yet | validation | service | test |
11must proveProposed | Text sending reserves segments against the workspace's UTC calendar-month allowance; Atomic reservation admits only sends that fit; zero admits none, and the first ceiling refusal time is retained. no proof recorded yet | calculation | service, database | test |
12Proposed | Digest records identify one recipient, category and window; Opening is idempotent, contributions increment the count while open, and settlement happens once. | lifecycle | service | test |
13must proveProposed | Stored preferences have no user interface or runtime effect yet; All definitions are treated as enabled, and individual delivery remains console-only. no proof recorded yet | policy | service | observed |