01must proveProposed | Each committee references a known type and, when supplied, a code unique within the workspace. | validation | service, database | test |
02must proveProposed | A committee parent must exist and cannot be the committee itself or any descendant. | invariant | database | test |
03Proposed | Committee parentage supports navigation without passing membership, counts or access to the parent. | policy | | documented |
04must proveProposed | Committee edits change supplied fields and preserve omitted parentage, unit, status, portal choices and other information. ✓ Correcting Finance’s name leaves its board parent and unit attached.✗ A descriptive correction cannot silently remove the existing parent. | policy | api, service, console | test |
05must proveProposed | A committee update using an obsolete version is rejected without replacing the newer record. | invariant | service | test |
06must proveProposed | Committee creation copies its type's use of terms unless staff explicitly choose a different value. | calculation | service, console | test |
07must proveProposed | Omitted committee settings survive edits, and the effective profile identifies inherited sources while use of terms and portal visibility remain committee choices. | calculation | service, console | observed |
08must proveProposed | Staff create and edit actions cannot enter dissolved status, and a dissolved committee cannot return to another status through editing. | lifecycle | service | test |
09Proposed | Staff may edit a committee from any of proposed, active and inactive to either of the others. | lifecycle | service | observed |
10must proveProposed | Adopting terms requires every current or future appointment to identify a term, while past termless service and declined or cancelled offers do not prevent the switch. | validation | service | test |
11must proveProposed | The product should support committee custom values and shared forms and layouts on committees as the sole extensible Committees record. no proof recorded yet | policy | console, api | unknown |
12Proposed | Declared committee-layout permissions describe administration but do not demonstrate available form or layout operations. | permission | | observed |
13must proveProposed | Committee management permits creation and changes, while a reader receives the records without change controls and cannot write through the API. | permission | api, console | test |
14must proveProposed | Committee creation and dissolution state their business events within the writing transaction; ordinary corrections state no committee event. | lifecycle | service | observed |