Skip to content

Design note: InterfaceSummary + declared↔use arity family (one membrane: typecheck boundary, cache key, proof cut, seam basis, liveness root) - #6244

Merged
briansrls merged 2 commits into
mainfrom
session/gentle-owl-459
Jul 4, 2026
Merged

Design note: InterfaceSummary + declared↔use arity family (one membrane: typecheck boundary, cache key, proof cut, seam basis, liveness root)#6244
briansrls merged 2 commits into
mainfrom
session/gentle-owl-459

Commits

  1. Commits on Jul 4, 2026