ruff
[ty] Handle bound/constrained typevars by adding to the constraint set
#27652
Open
Open
[ty] Handle bound/constrained typevars by adding to the constraint set #27652
dcreager
wants to merge
28 commits into
main
from
dcreager/bounds-in-domain
[π] Remove obsolete satisfied_by_all_typevars constraint helper
12d3e189
[π] Plan domain-aware constraint-set solving
1b321cbf
[π] Retain bound type-variable instances in constraint arenas
4063bc45
[π] Distinguish constraint validity from inference evidence
861ca2a3
[π] Derive type-variable validity domains from TDD support
e58e2d0f
[π] Preserve evidence variance and compare complete solutions
a84cd1fc
[π] Show raw constraint-set graphs
b135f2c5
[π] Replan domain activation with static sequents
94789693
[π] Split static sequents from domain activation
b5cb3f79
[π] Point domain plan at archived static rationale
816f04b0
[π] Restrict concrete sequents to fully static bounds
0578d1a9
[π] Record current static sequent checkpoint
4b25914e
[π] Add Phase 5 unexpected-failure stop gate
426a8eb5
[π] Characterize equality intersections on static sequents
419e2a5b
[π] Solve declared type-variable domains as constraint-set paths
80689bd4
[π] Join provenance across transitive constraints
5c35cade
[π] Activate declared type-variable domains
b6ba9227
[π] Clarify Phase 5 completion scope
63b21d0f
[π] Complete structural domain path solving
1457595b
[π] Record completed Phase 5 structural solving
aca50b12
[π] Record symbolic TypeVar solution recovery plan
fa90a0e1
[π] Refine Phase 6 symbolic solution plan
dfb9cb72
[π] Preserve contradictions across bound provenance
dd41165f
[π] Record completed Phase 6A
c31c1c63
[π] Recover a universally valid symbolic TypeVar solution
0a094f3a
[π] Record completed Phase 6B
acc72323
[π] Clarify symbolic recovery rationale and remove obsolete tests
4af41c33
[π] Reclassify out-of-scope solver expectations
fe60def5
Reviewers
No reviews
Assignees
No one assigned
Labels
ty
Milestone
No milestone
Login to write a write a comment.
Login via GitHub