Skip to main content

delete_records_trim_application

krabka_verified::broker

Function delete_records_trim_application 

Source 
pub const fn delete_records_trim_application(
    requested: i64,
    wal_start: i64,
    local_start: i64,
) -> DeleteRecordsTrimApplication
Expand description

Choose one monotonic trim step, with WAL ordered before the local log.

Re-evaluating this function after a failed step is retry-safe: the chosen frontier is the maximum of the request and both observed frontiers, so no retry can regress either store. Completion requires exact equality.