entries

The visible elements paired with their RgaIds, in sequence order — the id-carrying form of toList (toList() == entries().map { it.second }).

Each pair is (id, value). The RgaId is the element's total-order key: RgaId.compareTo is (lamport, replicaId), so a consumer holding entries from several replicas can interleave them into one deterministic order, and RgaId.dot gives the causal (replicaId, seq) handle. Use this instead of hand-zipping sequence against toList when you need each element's origin and ordering position, not just its value.