Yup. The hot path speedups for state resolution should make things go faster when you do have a fragmented graph (ie lots of extremities) - in the best case O(1

Yup. The hot path speedups for state resolution should make things go faster when you do have a fragmented graph (ie lots of extremities) - in the best case O(1) rather than guaranteed O(N). And then the chunking should reduce the number of extremities which build up over time anyway.