Repository navigation

TypedPython gate: rebinding and mixed-element containers - #33

Merged

b-re-w merged 6 commits into

work/typedpython-rebind

Oct 3, 2026

Merged

TypedPython gate: rebinding and mixed-element containers#33
b-re-w merged 6 commits into
developfrom
work/typedpython-rebind

Commits on Oct 2, 2026
- Feat: Add the TypedPython soundness gate (Any leaks become errors)
  b-re-w
  committed
  801670a
- Build: Package the TypedPython gate as a typedpython wheel
  b-re-w
  committed
  62d3332
- Feat: Report type-changing rebinding and mixed-element containers
  b-re-w
  committed
  38b5118
- Fix: Resolve a package's own imports in the gate
  b-re-w
  committed
  71ee70d
- Merge branch 'work/typedpython-gate' into work/typedpython-rebind
  b-re-w
  committed
  63b1921
- Fix: Mirror the package tree for the probe pass
  b-re-w
  committed
  f8f6663