Compact group identity binds logical universe, membership epoch and the
entire coordinate relation. Budgets constrain admission, not membership.
313def combineCoverageAnchor =
314 (lambda unrestricted coverage : (family CombineCoverage) .
315 (lambda unrestricted anchor : (family RegionTransferIdentity) .
316 (eliminate
317 CombineCoverage
318 (lambda unrestricted current : (family CombineCoverage) . (family RegionTransferIdentity))
319 coverage
320 (branch CombineOrderedMembers members . anchor)
321 (branch
322 CombineParticipantGroup
323 group
324 nodes
325 depth
326 .
327 (combineRepresentationAnchor
328 (bytes-append b"group-contract-v1" (participantGroupDigest group))
329 anchor)))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.