Struct VerifiedMutationAdmission 

pub(crate) struct VerifiedMutationAdmission {
    witness: MutationSourceWitness,
    control: IndexWorkControl,
}

Saved-source witness retained through one purpose mutation commit boundary.

Fields

witness: MutationSourceWitness

Observed or exact-per-call source authority retained by this admission.

control: IndexWorkControl

Cooperative cancellation and work budget shared through commit admission.

Implementations

impl VerifiedMutationAdmission

pub(crate) fn verify(&self) -> Result<(), CliError>

Revalidate exact saved source, policy, observer continuity, and cancellation before commit.

fn verify_observed( entry: &SourceObservationEntry, epoch: &VerifiedSourceEpoch, control: &IndexWorkControl, verify_source: impl FnOnce() -> Result<(), CliError>, ) -> Result<(), CliError>

Revalidate an observer-backed mutation witness around exact saved source.

fn verify_observation( entry: &SourceObservationEntry, epoch: &VerifiedSourceEpoch, control: &IndexWorkControl, ) -> Result<(), CliError>

Require the retained observer epoch to remain current.

fn verify_exact( binding: &SourceBinding, stamp: &VerifiedReadStamp, contract_fingerprint: &str, policy_witness: &str, control: &IndexWorkControl, ) -> Result<(), CliError>

Revalidate exact saved source plus durable identity immediately before commit.