pub fn verify_rollback(
matchpoint: &Matchpoint,
last_txn_end: Vlsn,
last_sync: Vlsn,
num_passed_commits: u64,
) -> RollbackDecisionExpand description
Decide what to do given the matchpoint search result and the replica’s VLSN
range, faithful to ReplicaFeederSyncup.verifyRollback’s truth table.
num_passed_commits is JE searchResults.getNumPassedCommits(): the count
of commit/abort records the backward matchpoint scan stepped over. A
non-zero count means the matchpoint lies before a txn end even when
lastTxnEnd <= matchpoint numerically (the txn end was logged at a VLSN
the scan passed), forcing hard recovery rather than a normal rollback.