feat: counted offset skip for unproved ranked paginated reads

grovedb/src/lib.rs

@@ -246,6 +246,13 @@ use grovedb_visualize::DebugByteVectors;
 /// callable from outside the crate but its return type unnameable.
 #[cfg(feature = "minimal")]
 pub use operations::get::{AxisAggregateValue, PathQueryRun};
+// Gated on `minimal` alone, matching `operations::indexed_tree` itself: the
+// only APIs that produce an `IndexedTopKPage` are the paginated indexed-axis
+// reads, which need storage. A verify-only build consumes proofs and can
+// never name this type, so widening the gate here to `any(minimal, verify)`
+// only breaks that cut on an unresolved import.
+#[cfg(feature = "minimal")]
+pub use operations::indexed_tree::IndexedTopKPage;
 #[cfg(any(feature = "minimal", feature = "verify"))]
 pub use query::{
     aggregate_sum_path_query::AggregateSumPathQuery, AggregateKind, GroveBranchQueryResult,

grovedb/src/operations/get/run_path_query.rs

@@ -509,6 +509,7 @@ impl GroveDb {
                     transaction,
                     grove_version
                 )
+                .map_ok(|page| page.entries)
             )),
             IndexAxis::Sum => AxisEntries::Sum(cost_return_on_error!(
                 &mut cost,
@@ -520,6 +521,7 @@ impl GroveDb {
                     transaction,
                     grove_version
                 )
+                .map_ok(|page| page.entries)
             )),
             IndexAxis::Avg => AxisEntries::Avg(cost_return_on_error!(
                 &mut cost,
@@ -531,6 +533,7 @@ impl GroveDb {
                     transaction,
                     grove_version
                 )
+                .map_ok(|page| page.entries)
             )),
         };
         Ok(entries).wrap_with_cost(cost)

grovedb/src/tests/axis_descent_proof_tests.rs

@@ -182,7 +182,7 @@ mod tests {
             )
             .unwrap()
             .expect("direct read");
-        assert_eq!(entries_as_sum(&entries), direct.as_slice());
+        assert_eq!(entries_as_sum(&entries), direct.entries.as_slice());
 
         // ...and to the standalone envelope over the same state.
         let standalone_bytes = db
@@ -234,7 +234,7 @@ mod tests {
                     )
                     .unwrap()
                     .expect("direct");
-                assert_eq!(entries_as_sum(&entries), direct.as_slice());
+                assert_eq!(entries_as_sum(&entries), direct.entries.as_slice());
             }
             other => panic!("expected AxisEntries, got {other:?}"),
         }
@@ -358,7 +358,7 @@ mod tests {
                     )
                     .unwrap()
                     .expect("direct");
-                assert_eq!(entries_as_sum(&entries), direct.as_slice());
+                assert_eq!(entries_as_sum(&entries), direct.entries.as_slice());
             }
             other => panic!("expected AxisEntries, got {other:?}"),
         }
@@ -411,7 +411,7 @@ mod tests {
                                 .expect("direct");
                             assert_eq!(
                                 entries_as_sum(entries.as_ref().expect("present")),
-                                direct.as_slice()
+                                direct.entries.as_slice()
                             );
                         }
                     }
@@ -906,7 +906,7 @@ mod tests {
                     .indexed_count_top_k_paginated(path.as_ref(), 2, 0, true, None, grove_version)
                     .unwrap()
                     .expect("direct count top-k");
-                assert_eq!(entries, AxisEntries::Count(direct));
+                assert_eq!(entries, AxisEntries::Count(direct.entries));
             }
             other => panic!("expected AxisEntries, got {other:?}"),
         }