ruff

[ty] Use a simpler fuel to bound sequent map growth

#26674

Merged