Nested-CV optimism is required to be positive, not large

[pavanamthomas]

On the current DGP the inner-minus-nested gap is on the order of 0.01–0.06. The locked property is the sign and the inner/outer index partition, not a universal magnitude.