Skip to main content

MembershipObservationRequest

Struct MembershipObservationRequest 

Source
pub struct MembershipObservationRequest<'a> { /* private fields */ }
Expand description

Immutable ephemeral request derived from the original plan and exact operation.

The integration supplies a fresh unpredictable challenge and owns its uniqueness, current observation timing, coherent custody and separately approved observation spending. The call ceiling is descriptive, not an allowance or journal reservation. This type has no serialization, persistence or default-provider admission.

Implementations§

Source§

impl<'a> MembershipObservationRequest<'a>

Source

pub fn new( plan: &'a OperationPlanRecord, operation_sequence: u64, challenge: ArtifactChecksumRecord, boundary: MembershipBoundary, max_remote_observations: u32, ) -> Result<Self, MembershipRequestError>

Bind a challenge, explicit boundary and bounded call ceiling to original intent.

Zero remote calls permits a qualified local integration; it cannot authorize a paid probe. Original mutation/reconciliation allowances are never changed.

§Errors

Rejects unknown operations or an excessive descriptive call ceiling.

Source

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

Read original intent, operation, context, target and mutation-payload identity.

Source

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

Read the full expected declared inventory, including unselected parents.

Source

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

Read exact canonical selected principals; this is not lifecycle order.

Source

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

Read the integration-owned challenge; its value alone establishes no freshness.

Source

pub const fn boundary(&self) -> MembershipBoundary

Read the explicit effect boundary.

Source

pub const fn max_remote_observations(&self) -> u32

Read the descriptive remote-call ceiling, not a dispatch or spending permit.

Source

pub fn digest(&self) -> ArtifactChecksumRecord

Hash original full plan intent, operation, challenge, boundary and call ceiling.

Encoding uses the NUL-terminated ASCII v1 domain, canonical 64-byte ASCII intent, big-endian u64 sequence, canonical 64-byte ASCII challenge, boundary byte (before=0, after=1), then big-endian u32 descriptive call ceiling. Context/inventory/selection/request/original allowances bind through full original intent. Observation results, revision and evidence are excluded.

Trait Implementations§

Source§

impl<'a> Clone for MembershipObservationRequest<'a>

Source§

fn clone(&self) -> Self

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more
Source§

impl<'a> Debug for MembershipObservationRequest<'a>

Source§

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = !

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, !>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.