I'm not asking for secrets here. I'm asking for some sign that he has a well-defined problem to solve.

How git performs as repo size grows to 15GB isn't hidden in a vault at facebook somewhere; I suspect they just haven't done anything more detailed than a superficial time measurement.