Struct Intent 

pub struct Intent { /* private fields */ }

Fields are private so ordinary callers cannot skip ownership validation. Restore accepts only an operator-protected state record with independent expected request pins; it does not authenticate disk bytes or prevent rollback.

Implementations

impl Intent

pub fn prepare( request: &Request, inspection: &Response, required_labels: &[Label], ) -> Result<Self, Invalid>

The coordinator must independently authenticate the inspection producer and pin required labels from its lease, never from the adapter response.

pub fn phase(&self) -> Phase

pub fn request(&self) -> &Request

pub fn begin_dispatch(&self, expected: &Request) -> Result<Self, Invalid>

Commit this Unknown state before dispatch. A crash between commit and dispatch is conservative: recovery must inspect, never blindly retry.

pub fn observe_dispatch( &self, expected: &Request, response: Option<&Response>, ) -> Result<Self, Invalid>

None represents transport loss/cancellation/error. Every valid mutation response, including completed/rejected-before-effect, leaves Unknown. Invalid responses return an error without modifying the original state.

pub fn reconcile( &self, expected: &Request, inspection: &Response, ) -> Result<Self, Invalid>

Only independently authenticated exact-ID absence can finish Unknown. This pure operation does not remove a marker or grant cleanup authority.

pub fn restore(bytes: &[u8], expected: &Request) -> Result<Self, Invalid>

Read only trusted persisted state. Legacy lease v2, missing pins, duplicate fields and unknown schema/phase reject; no ambient values are consulted.

Trait Implementations

impl Clone for Intent

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Intent

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

Formats the value using the given formatter.

impl Eq for Intent

impl PartialEq for Intent

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for Intent

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Intent