Repository navigation

TypedPython gate: one Pyrefly run per check - #52

Merged

b-re-w merged 7 commits into

work/typedpython-gate-once

Oct 3, 2026

Merged

TypedPython gate: one Pyrefly run per check#52
b-re-w merged 7 commits into
developfrom
work/typedpython-gate-once

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
Commits on Oct 3, 2026
- Perf: Run Pyrefly once per gate check, probes included
  b-re-w
  committed
  4f99132