observed

the most recent membership size seen, or 0 if SoloDeadlineDetector.observeMembership was never called. Always strictly less than required — a roster that reached the minimum decides Paired instead, so this verdict can never report a membership that satisfied the requirement.