pub struct KeyValueDiskANNPruner { /* private fields */ }Expand description
Complete origin evidence retained from an actual immutable provider source. Verification occurs once per handle; bounded pruning pages reuse point lookup without rescanning the artifact or retaining build input.
Implementations§
Source§impl KeyValueDiskANNPruner
impl KeyValueDiskANNPruner
Sourcepub fn statistics(
&self,
journal: &dyn DiskANNChangeRead,
request: DiskANNStatisticsRequest,
control: &StorageReadControl,
) -> StorageBackendResult<DiskANNStatisticsPage>
pub fn statistics( &self, journal: &dyn DiskANNChangeRead, request: DiskANNStatisticsRequest, control: &StorageReadControl, ) -> StorageBackendResult<DiskANNStatisticsPage>
Examine exact outstanding changes on the provider’s single captured canonical/journal view under this selected generation. This does not stage writes or grant publication authority.
pub fn open( source: Arc<KeyValueDiskANNSource>, maximum: usize, control: &StorageReadControl, ) -> StorageBackendResult<Self>
Sourcepub fn require_selected(
&self,
scope: &DiskANNIndexScope,
dimensions: u32,
parameters: DiskANNIndexParams,
read: &dyn KeyValueRead,
batch: &mut dyn KeyValueBatch,
control: &StorageReadControl,
) -> StorageBackendResult<()>
pub fn require_selected( &self, scope: &DiskANNIndexScope, dimensions: u32, parameters: DiskANNIndexParams, read: &dyn KeyValueRead, batch: &mut dyn KeyValueBatch, control: &StorageReadControl, ) -> StorageBackendResult<()>
Provider boundary: require this actual source’s generation to remain the committed selected head in the supplied mutation. The provider must also guard its captured catalog binding and use this same mutation for journal deletion.
Sourcepub fn prune(
&self,
journal: &mut dyn DiskANNChangeJournal,
request: DiskANNPruneRequest,
control: &StorageReadControl,
) -> StorageBackendResult<DiskANNPruneResult>
pub fn prune( &self, journal: &mut dyn DiskANNChangeJournal, request: DiskANNPruneRequest, control: &StorageReadControl, ) -> StorageBackendResult<DiskANNPruneResult>
Evaluate bounded exact-key deletions after require_selected and the provider’s catalog/private-input guards. On any error the enclosing mutation must discard all partial operations. Advance the returned cursor only after durable commit.