01must proveProposed | A decision goes from draft to open; from draft or open to tabled or withdrawn; from open to carried, failed or no quorum by closing; and from carried to superseded; nothing else. no proof recorded yet | lifecycle | service, database | test |
02must proveProposed | When a decision opens it takes the committee’s next number in its year, written year and sequence such as 2026-14, starting again at 1 each year; a draft has no number. ✓ The fourteenth decision opened in 2026 is 2026-14.✗ A withdrawn draft never takes a number. no proof recorded yet | calculation | service, database | test |
03must proveProposed | When a decision opens, the rules in force, its threshold and its voters (the committee’s voting roster on the meeting’s date, or today for an e-mail vote, ex officio occupants included) are frozen with it, and at a meeting so is who is present. no proof recorded yet | invariant | service, database | test |
04must proveProposed | A voice vote, show of hands, roll call, unanimous consent or paper ballot is taken at a meeting that is neither a draft nor cancelled and has no closing time; an e-mail vote has no meeting and needs a closing time. no proof recorded yet | validation | api, service, database | test |
05must proveProposed | An e-mail vote opens only when the committee’s rules allow them and its closing time is at least the rules’ minimum open hours away, 48 under Robert’s Rules. no proof recorded yet | validation | service | test |
06must proveProposed | A decision’s kind decides what it must carry: an appointment its proposed appointments, a removal the appointments it ends, a charter what it charters or dissolves, an approval the minutes it approves, and no other kind carries these. no proof recorded yet | validation | api, service, database | observed |
07must proveProposed | A dissolved committee takes no new decision. no proof recorded yet | validation | service | observed |
08must proveProposed | A roll call or recorded e-mail vote takes one vote per eligible, unrecused appointment while the decision is open, and a vote never changes. no proof recorded yet | validation | service, database | test |
09must proveProposed | A vote by proxy needs the rules to allow proxies and the meeting to have a proxy participant for that appointment, and a named proxy appointment must be a current appointment of the committee. no proof recorded yet | validation | service | test |
10must proveProposed | The other in-room methods record a tally of counts, objections or the chair’s declaration at the decision’s version, and such a decision cannot close without one. no proof recorded yet | validation | api, service | test |
11must proveProposed | Once open, the motion cannot change; once closed, nothing changes but a carried decision becoming superseded; and no decision, vote or recusal is ever deleted. no proof recorded yet | invariant | database | test |
12must proveProposed | Every hour each open recorded e-mail vote past its closing time is closed as a close by hand would be, and voters who have not voted are reminded once within 24 hours of the close. no proof recorded yet | lifecycle | job | test |
13must proveProposed | Every voter is told once when a decision opens and once when it closes; tabling or withdrawing tells nobody. no proof recorded yet | policy | service | test |
14must proveProposed | A secret ballot opens its election in Surveys & Voting and is refused while no ballot service exists; it cannot be closed by hand and closes once from the certified result, a redelivery being ignored. no proof recorded yet | lifecycle | service, job | test |
15must proveProposed | Staff applying a certified result by hand must name the election the decision opened. no proof recorded yet | validation | service | test |