Repository navigation

Python L1 pyright/mypy static structural checks implementation - #4158

Merged

briansrls merged 24 commits into

mainfrom

session/crisp-bat-22

Jun 1, 2026

Merged

Python L1 pyright/mypy static structural checks implementation#4158
briansrls merged 24 commits into
mainfrom
session/crisp-bat-22

Commits on Jun 1, 2026
- WIP: Python L1 pyright/mypy static structural checks implementation
  briansrls
  committed
  e569a9e
- WIP: Python L1 pyright/mypy static structural checks implementation
  briansrls
  committed
  be64e74
- WIP: Python L1 pyright/mypy static structural checks implementation
  briansrls
  committed
  31195ce
- fix: address python static CI failures
  briansrls
  committed
  45edffe
- fix: clean up python static smoke test
  briansrls
  committed
  ef94b96
- WIP: Python L1 pyright/mypy static structural checks implementation
  briansrls
  committed
  94c3e2e
- Merge remote-tracking branch 'origin/main' into session/crisp-bat-22
  briansrls
  committed
  4a673cc
- fix(v4): address review #23594/#23595 on PY-L1 static slice
  
  briansrls
  and
  claude
  committed
  871b898
- WIP: Python L1 pyright/mypy static structural checks implementation
  briansrls
  committed
  6ac1670
- fix(v4): de-conflate profile/tool identity + make BlockingForRung structural
  
  briansrls
  and
  claude
  committed
  defd21a
- docs(v4): clarify static tool identity comments
  briansrls
  committed
  5aab227
- fix(v4): F1 runner consumes the modeled pyright profile (single authority)
  
  briansrls
  and
  claude
  committed
  f45ea94
- Merge remote-tracking branch 'origin/main' into session/crisp-bat-22
  briansrls
  committed
  93f6231
- WIP: Python L1 pyright/mypy static structural checks implementation
  briansrls
  committed
  560435c
- fix(v4): address openai-pro REQUEST_CHANGES (single-authority + no-prose)
  
  briansrls
  and
  claude
  committed
  f823b79
- WIP: Python L1 pyright/mypy static structural checks implementation
  briansrls
  committed
  d510c7f
- fix(v4): model pyright typeCheckingMode keyword spelling (single authority)
  
  briansrls
  and
  claude
  committed
  f0ab617
- fix(v4): key pyright mode-spelling projection by the enum variant (M4/P2)
  
  briansrls
  and
  claude
  committed
  fad72bd
- fix(v4): bind pyright to the generated profile config (--project)
  
  briansrls
  and
  claude
  committed
  8f5432e
- WIP: Python L1 pyright/mypy static structural checks implementation
  briansrls
  committed
  ce5a4ad
- fix(v4): drop broken v3 smoke; validate profiles via whole-tree v2 gate
  
  briansrls
  and
  claude
  committed
  4910860
- fix(v4): remove unconsumed mypy profile (E-6); track as bounded follow-up
  
  briansrls
  and
  claude
  committed
  83706d5
- WIP: Python L1 pyright/mypy static structural checks implementation
  briansrls
  committed
  ab3c1fc
- fix(merge): resolve conflict markers left in the main merge commit
  
  briansrls
  and
  claude
  committed
  795f8de

Commits

Commits on Jun 1, 2026