Decision required
The consensus verifier calculates the threshold over min(shardSize, eligiblePool.length). Review noted that this can accept a two-member eligible pool with a two-member quorum even though getCommitteeFloor() documents a minimum committee size.
Required decision
Confirm whether the committee floor is mandatory for block acceptance. If mandatory, enforce it consistently in verification and finality paths. If not, document the intended undersized-committee behavior and its liveness/safety tradeoff.
Acceptance criteria
- Protocol owner decision is recorded.
- Verification and finality behavior are consistent.
- Tests cover undersized committees and quorum thresholds.
This is separate from signer-membership filtering and vote domain binding (#987).
Decision required
The consensus verifier calculates the threshold over
min(shardSize, eligiblePool.length). Review noted that this can accept a two-member eligible pool with a two-member quorum even thoughgetCommitteeFloor()documents a minimum committee size.Required decision
Confirm whether the committee floor is mandatory for block acceptance. If mandatory, enforce it consistently in verification and finality paths. If not, document the intended undersized-committee behavior and its liveness/safety tradeoff.
Acceptance criteria
This is separate from signer-membership filtering and vote domain binding (#987).