Module compute_quorum_use_case 

Story 4.1 — quorum agrégé (présentiel + distanciel + procurations) en Decimal strict, AppError typé (cluster coord #433 Decimal, #555 Result typé — cf. .claude/rules/CRITICAL.md §4).

Le seuil appliqué est celui de Meeting::quotas_half_reached : « au moins la moitié » (Art. 3.87 §5 CC) — borne INCLUSIVE, 50,0 % pile suffit. Aucun seuil légal n’est ré-écrit ici : cf. le commentaire de AgSession::is_combined_quorum_reached (domain/copropriete/ag_session.rs) sur le prix d’un seuil dupliqué (#661).

Ce use-case ne juge que le volet quotités agrégé. Le volet têtes du quorum double (Art. 3.87 §5) reste porté par Meeting::assert_can_complete() / MeetingCompletionChecklist, qui comptent les copropriétaires — pas les millièmes — et ne sont pas dans le périmètre de cette story.

Structs

ComputeQuorumInput

Entrées agrégées du quorum d’une AG hybride (Story 4.1).

QuorumResult

Résultat du calcul de quorum agrégé.

Functions

compute_quorum

Agrège présentiel + distanciel + procurations et juge le quorum (Art. 3.87 §5 CC — « au moins la moitié », borne inclusive).