The main view subscribes more narrowly to tool progress; you see the same thing.
What's wrong with this entry?
The main REPL component now takes two narrow subscriptions instead of one wide one, and dropped its local verbose and reduced-motion selectors. A rendering reshuffle with no change to what you see.
- Whether any tool progress exists is derived from the progress map's size, with the map itself passed to a helper.
- A setter was added that merges an IDE field into state only when one is not already set.
toolProgress
Strings lifted out of the shipped bundle, so the claim above can be checked against them.