01must proveProposed | The implemented price schedule holds workspace periods without ownership and rejects an owner such as an event in its request. origin: COMM-M1 D2 (docs/milestones/COMM-M1-set-up-what-you-sell.md) no proof recorded yet | policy | api, database | test |
02must proveProposed | A period includes its start boundary and excludes its end in the schedule’s time zone. origin: COMM-M1 D6 (docs/milestones/COMM-M1-set-up-what-you-sell.md) no proof recorded yet | calculation | service, database | test |
03must proveProposed | Adjacent periods share boundaries without gaps or overlaps, with an open start permitted only first and an open end only last. origin: COMM-M1 D6 (docs/milestones/COMM-M1-set-up-what-you-sell.md) no proof recorded yet | invariant | service, database | test |
04must proveProposed | Elapsed or used periods retain their names and boundaries and prevent their own and their schedule’s deletion, except for the permitted current-end adjustment; the first-sale marker is permanent. origin: COMM-M1 D6 (docs/milestones/COMM-M1-set-up-what-you-sell.md) no proof recorded yet | invariant | service, database | test |
05must proveProposed | Staff may adjust a current period’s end no earlier than now, shifting the next period’s start with it even after a sale, while preserving prior charges. origin: COMM-M1 D6 (docs/milestones/COMM-M1-set-up-what-you-sell.md) no proof recorded yet | lifecycle | service, database | test |
06must proveProposed | A period identity belongs to one workspace schedule, and reuse by another schedule is refused with the identity identified. no proof recorded yet | validation | service, database | test |
07must proveProposed | Referenced schedules cannot be deactivated or deleted, with product counts and up to five product references reported; inactive schedules cannot be selected by products. origin: COMM-M1 D4-F1 (docs/milestones/COMM-M1-set-up-what-you-sell.md) no proof recorded yet | lifecycle | service, database | test |
08must proveProposed | A versioned schedule replacement retains unchanged periods, updates permitted changes, inserts additions and removes omitted periods where allowed. no proof recorded yet | invariant | service | test |
09Proposed | Staff see a product’s schedule periods as pricing-grid columns, without a standalone schedules screen. origin: COMM-M1 walkthrough ruling R5 (docs/debt/pricing-schedules-owned-by-event.md) | policy | console | documented |
10must proveProposed | Schedule inspection requires read permission and schedule writes require administrator permissions. no proof recorded yet | permission | api | test |
11must proveProposed | A full lock prevents replacing a schedule, and either full or deletion-only locking prevents removing it. no proof recorded yet | policy | service | observed |