{"id":"ch-ring-sorted-invariant","text":"`ConsistentHashRing._ring_positions` is maintained in sorted order at all times via `bisect`; all key lookups depend on this invariant","truth_value":"IN","source":"entries/2026/05/29/consistent-hashing-consistent_hashing.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{"example":"self._ring_positions: List[int] = []  # sorted hash positions\nidx = bisect.bisect_left(self._ring_positions, pos)\nself._ring_positions.insert(idx, pos)"},"explanation":{"steps":[{"node":"ch-ring-sorted-invariant","truth_value":"IN","reason":"premise"}]}}