Repository navigation

TypedPython step 1: soundness gate - #19

Merged

b-re-w merged 4 commits into

work/typedpython-gate

Oct 3, 2026

Merged

TypedPython step 1: soundness gate#19
b-re-w merged 4 commits into
developfrom
work/typedpython-gate

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
- Fix: Resolve a package's own imports in the gate
  b-re-w
  committed
  71ee70d
- Fix: Accept directories in typedpython check
  b-re-w
  committed
  077fed8