Struct ConsistencyRequest 

pub struct ConsistencyRequest<'a> { /* private fields */ }

Ephemeral current request under the exact original consistency declaration and plan.

Implementations

impl<'a> ConsistencyRequest<'a>

pub fn new( plan: &'a OperationPlanRecord, requirement: &'a ConsistencyRequirementRecord, input: ConsistencyRequestInput, ) -> Result<Self, ConsistencyRequestError>

Bind original requirement/operation to an explicit challenge/boundary/fence identity.

The integration recovers the expected fence from its durable obligation owner. This constructor cannot acquire/recover/release a fence or inspect that evidence.

Errors

Rejects plan mismatch, unknown operation, inappropriate/missing fence or excess ceiling.

pub const fn binding(&self) -> &OperationBindingRecord

Read exact original mutation identity; no codec, dispatch or current permission admission.

pub const fn inventory(&self) -> &InventoryRecord

Read full original inventory, including unselected parents/metadata.

pub fn selected_targets(&self) -> &[String]

Read exact original selected principals in canonical order, not dispatch order.

pub const fn requirement(&self) -> &ConsistencyRequirementRecord

Read immutable original requested guarantee.

pub const fn challenge(&self) -> &ArtifactChecksumRecord

Read caller-owned challenge; matching digests alone are not freshness proof.

pub const fn boundary(&self) -> ConsistencyBoundary

Read explicit capture boundary.

pub const fn expected_fence(&self) -> Option<&ApplicationFenceBinding>

Read retained exact expected fence/revision binding; not proof of current active custody.

pub const fn max_remote_observations(&self) -> u32

Read descriptive call ceiling; grants no spending/retry admission.

pub fn digest(&self) -> ArtifactChecksumRecord

Hash original requirement, operation, challenge, boundary, expected fence and ceiling.

Domain is NUL-terminated ASCII v1, then 64 ASCII requirement-digest bytes, u64 BE sequence, 64 ASCII challenge bytes, boundary byte (before=0/after=1), fence presence byte (0/1), optional 64 ASCII identity and 64 ASCII original membership-revision bytes, then u32 BE ceiling.

Trait Implementations

impl<'a> Clone for ConsistencyRequest<'a>

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a> Debug for ConsistencyRequest<'a>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.