ruff
[ty] Normalize recursive intersection growth during cycle recovery
#26254
Open
Open
[ty] Normalize recursive intersection growth during cycle recovery #26254
charliermarsh
wants to merge
22 commits into
main
from
charlie/fix-recursive-intersection-growth
[ty] Normalize recursive intersection growth during cycle recovery
31dcce6a
[ty] Normalize a single recursive intersection arm
073e2b2d
[ty] Normalize recursive intersections with non-nominal arms
50440db4
[ty] Normalize flattened recursive intersections
57f13e98
[ty] Preserve unrelated intersections during cycle recovery
e7cb2e85
[ty] Require complete recursive union coverage
db27cfd5
[ty] Assert recursive intersection recovery type
0127ebaa
[ty] Require a structural recursive union distribution
e29a5e8c
[ty] Restrict recursive union replacement to its position
9e6a92e8
[ty] Match recursive arms within one distributed union
e4e1befb
[ty] Normalize exact and distributed recursive occurrences
f20a8e02
[ty] Require matching recursive branch structure
881dbda6
[ty] Normalize only matched recursive union subtrees
6b541806
[ty] Exclude negative recursive distribution occurrences
9d7eef5c
[ty] Recompute overlapping recursive union replacements
6e40d064
[ty] Keep recursive distribution searches positive
e199b065
[ty] Preserve negative types during cycle recovery
377c29ad
[ty] Normalize all recursive distribution groups
14ae3db9
[ty] Compare protocol cycle recovery baselines consistently
0673b1d6
[ty] Normalize protocol arms in recursive intersections
f1aee3bb
[ty] Stop stalled recursive growth normalization
2a7f19a6
[ty] Simplify recursive growth tests
cfaed69d
Reviewers
No reviews
Assignees
No one assigned
Labels
ty
Milestone
No milestone
Login to write a write a comment.
Login via GitHub