Re: [PATCH 2/3] cache-tree: detect mismatching number of index entries

Patrick Steinhardt [off-list ref] writes:

quoted

I guess as long as "it" is not folded, it does not matter how other
paths from different directories in active_cache[] are sparsified or
expanded, as long as "pos" keeps track of the current position
correctly.

It seems like we end up calling `ensure_full_index()` for a sparse
index, which does cause us to signal to the caller that they should
restart verification. So for all I understand, this function shouldn't
act on a sparsely-populated index.

OK.  That sounds sensible and safe.