quorum.py
python
sha256:34035d72cef530c1ab9d6a6f53be18d803dde705fc3157617d70352a96d0747b
Merge branch 'fix/wire-push-external-parent-manifest' into dev
Human
8 days ago
| 1 | """I3 — Quorum soundness invariant. |
| 2 | |
| 3 | An org's vote in a parent org counts only if that org's own quorum is |
| 4 | independently satisfied. Recursive. Terminates because I1 guarantees the |
| 5 | graph is a DAG (no circular org membership). |
| 6 | """ |
| 7 | |
| 8 | from collections.abc import Mapping |
| 9 | from dataclasses import dataclass |
| 10 | from decimal import Decimal |
| 11 | |
| 12 | @dataclass(frozen=True) |
| 13 | class OrgSpec: |
| 14 | handle: str |
| 15 | quorum: int |
| 16 | member_weights: dict[str, Decimal] |
| 17 | |
| 18 | @dataclass(frozen=True) |
| 19 | class VoteRecord: |
| 20 | voter_handle: str |
| 21 | org_handle: str |
| 22 | |
| 23 | class QuorumEngine: |
| 24 | def __init__(self, orgs: Mapping[str, OrgSpec]) -> None: |
| 25 | self._orgs = orgs |
| 26 | |
| 27 | def is_quorum_met(self, org_handle: str, votes: list[VoteRecord]) -> bool: |
| 28 | if org_handle not in self._orgs: |
| 29 | raise KeyError(org_handle) |
| 30 | total = self._tally(org_handle, votes, frozenset()) |
| 31 | return total >= self._orgs[org_handle].quorum |
| 32 | |
| 33 | def effective_weight( |
| 34 | self, |
| 35 | org_handle: str, |
| 36 | member_handle: str, |
| 37 | votes: list[VoteRecord], |
| 38 | ) -> Decimal: |
| 39 | spec = self._orgs[org_handle] |
| 40 | direct_weight = spec.member_weights.get(member_handle, Decimal("0")) |
| 41 | if direct_weight == Decimal("0"): |
| 42 | return Decimal("0") |
| 43 | |
| 44 | # If member is itself an org, its weight is only active when its quorum is met |
| 45 | if member_handle in self._orgs: |
| 46 | if not self.is_quorum_met(member_handle, votes): |
| 47 | return Decimal("0") |
| 48 | |
| 49 | return direct_weight |
| 50 | |
| 51 | # ── internals ───────────────────────────────────────────────────────────── |
| 52 | |
| 53 | def _tally( |
| 54 | self, |
| 55 | org_handle: str, |
| 56 | votes: list[VoteRecord], |
| 57 | visited: frozenset[str], |
| 58 | ) -> Decimal: |
| 59 | spec = self._orgs[org_handle] |
| 60 | # Collect votes cast directly for this org |
| 61 | voters_here = {v.voter_handle for v in votes if v.org_handle == org_handle} |
| 62 | |
| 63 | total = Decimal("0") |
| 64 | for voter in voters_here: |
| 65 | w = spec.member_weights.get(voter, Decimal("0")) |
| 66 | if w == Decimal("0"): |
| 67 | continue |
| 68 | # If this voter is itself an org, validate its quorum recursively |
| 69 | if voter in self._orgs and voter not in visited: |
| 70 | sub_tally = self._tally(voter, votes, visited | {org_handle}) |
| 71 | sub_quorum = self._orgs[voter].quorum |
| 72 | if sub_tally < sub_quorum: |
| 73 | continue |
| 74 | total += w |
| 75 | |
| 76 | return total |
File History
14 commits
sha256:34035d72cef530c1ab9d6a6f53be18d803dde705fc3157617d70352a96d0747b
Merge branch 'fix/wire-push-external-parent-manifest' into dev
Human
8 days ago
sha256:fc04e4cae9e1774d6a21b65c45daeed0e6787eb581d13aa1b03bfe9384a34226
Merge branch 'fix/two-column-scroll-layout' into dev
Human
8 days ago
sha256:408916fc5973ba59c6e4eebaa80ebdcc801c0a63205651e25009d11548f79454
chore: bump version to 0.2.0.dev2 — nightly.2, matching muse
Sonnet 4.6
patch
11 days ago
sha256:d035733f21ccff27735fddebfbbe0ed24565a32a22db8de5885402262671ecd2
chore: bump version to 0.2.0rc15 for musehub#113 fix release
Sonnet 4.6
patch
14 days ago
sha256:0032d6cfa33bc3c8367436ad768e7dd0e339b4332153160247da8266cb5fa352
Merge branch 'task/version-tags-phase3-server' into dev
Human
17 days ago
sha256:4669620efda9ff41c55bdefd1f7bfe1c239d468428744c84ead9957e5a003a53
merge: rescue snapshot-recovery hardening (c00aa21d) into d…
Opus 4.8
minor
⚠
29 days ago
sha256:a59da49c4611b970fc4b6ae48678ce4943261c213a07ddbd73ce9201df869b4a
fix: remove false-positive proposal_comments index drop fro…
Sonnet 4.6
patch
34 days ago
sha256:0a240d6dbff234f07d98a28a4a9a68db702f3f9ff9260196f24219bdb1c0b6f3
feat: render markdown mists as HTML with heading anchor links
Sonnet 4.6
patch
34 days ago
sha256:24a7d47486ebc4ebd1832830580e177ec6f877b48dced8c000e198cdec4ce9d6
Merge 'task/bump-version-rc12' into 'dev' — proposal: Bump …
Human
35 days ago
sha256:b9ff931d147e0114a1f17060f415b89ed551c170a91ff226c70437aa5c85f9ee
Merge 'task/bump-version-rc12' into 'dev' — proposal: Bump …
Human
35 days ago
sha256:d1122d21e73471879b460037b22c0b50fded7c423444a176f248428f75dac39c
Merge 'task/fix-issue-pagination-cursor' into 'dev' — propo…
Human
35 days ago
sha256:01e18975e73d2b3cd5b6db7929c895bef9aa6e0d4391dc5b2adfc548b41318dd
Merge 'feat/adding-debug-logs-to-staging' into 'dev' — prop…
Human
36 days ago
sha256:6b1949fc2797ca4c1936a637a4cbfec828ef56cf52398a2e74ca3c4f494e728f
fix: use wire_bytes not mpack_bytes_raw in compute_object_b…
Sonnet 4.6
patch
48 days ago
sha256:b99f2455dc346966d040133f5203297e6e3ef5803a93728a2c30568d0a0f7583
rename: delta_add → delta_upsert across wire format, models…
Sonnet 4.6
patch
50 days ago