Shape sanity for a SUCCESSFUL result: Results is an array, RowCount is truthful, TotalRowCount is coherent, and every row (bounded scan) has the same non-empty key set. Zero rows pass — the shape contract is about what IS returned.
Shape sanity for a SUCCESSFUL result: Results is an array, RowCount is truthful, TotalRowCount is coherent, and every row (bounded scan) has the same non-empty key set. Zero rows pass — the shape contract is about what IS returned.