Skip to content

Flip intent-linearity to live enforcement via the import-graph representation (consumed-input-closure drift wall + ImportGraph LinearityRule) - #5669

Merged
briansrls merged 9 commits into
mainfrom
session/swift-bat-896
Jun 24, 2026
Merged

briansrls merged 9 commits into
mainfrom
session/swift-bat-896

Commits

  1. Commits on Jun 23, 2026

  2. Commits on Jun 24, 2026