Skip to main content

CredentialAttachResponse

Struct CredentialAttachResponse 

Source
pub struct CredentialAttachResponse { /* private fields */ }
Expand description

Server response bound to one credential-attach request.

Constructors exist only for the outcomes the frozen R-D1 register admits for credential attach; every other pairing is a compile error by construction.

Implementations§

Source§

impl CredentialAttachResponse

Source

pub const fn attempt_token_body_conflict( request: &AttachEnvelope, conflict: AttemptConflict, ) -> Self

Verified exact live receipt with a changed canonical non-secret body; generation is tested before the marker sequence (register row 5639).

Source

pub const fn connection_conversation_capacity_exceeded( request: AttachEnvelope, limit: u64, ) -> Self

First decoded semantic operation for an untracked conversation exceeded the connection-conversation limit (register row 5641).

Source

pub const fn connection_conversation_binding_occupied( request: &AttachEnvelope, ) -> Self

Credential-attach binding attempt found an occupied slot owned by a different participant (register row 5643).

Source

pub fn conversation_order_exhausted( request: AttachEnvelope, high: u64, order_remaining: u128, reserved_claims: u128, resulting_order_remaining: u128, resulting_reserved_claims: u128, ) -> Self

Credential attach required an unreserved transaction_order major and the conversation order is exhausted (register row 5644).

Source

pub const fn participant_unknown(request: AttachEnvelope) -> Self

Presented participant is unknown (register row 5645).

Source

pub const fn stale_authority( request: AttachEnvelope, current_generation: Generation, ) -> Self

Live generation or secret authority is stale (register rows 5647, 5660, 5665).

Source

pub const fn retired( request: AttachEnvelope, retired_generation: Generation, ) -> Self

Presented id or exact token resolved to a tombstone (register rows 5648, 5659, 5667).

Source

pub fn marker_closure_capacity_exceeded( request: AttachEnvelope, snapshot: ClosureSnapshot, reason: ClosureRefusalReason, ) -> Self

Closure-checked attach admission exceeded marker-closure capacity (register rows 5649, 5662).

Source

pub const fn attach_bound(value: AttachBound) -> Self

Successful credential attach (register row 5658).

Source

pub const fn receipt_expired( request: &AttachEnvelope, result_generation: Generation, current_generation: Generation, reason: ReceiptExpiryReason, ) -> Self

Exact credential-attach provenance window response; the flattened request-echo fields are derived from the request’s own envelope (register rows 5659, 5664).

Source

pub const fn stale_or_unknown_receipt(value: StaleOrUnknownReceipt) -> Self

Post-provenance ambiguity: the receipt is no longer known (register rows 5659, 5666).

Source

pub const fn marker_not_delivered( proof: AttachMarkerProof, reason: MarkerNotDeliveredReason, expected_marker_delivery_seq: DeliverySeq, ) -> Self

Fenced attach named a marker that was never delivered to the proof epoch (register row 5661).

Source

pub const fn marker_mismatch( proof: AttachMarkerProof, mismatch: MarkerMismatchBody, ) -> Self

Fenced attach named a marker that mismatches current marker state (register row 5661).

Source

pub const fn receipt_capacity_exceeded( request: AttachEnvelope, scope: ReceiptCapacityScope, limit: u64, occupied: u64, ) -> Self

The first full scope in the exact five-scope receipt/provenance order (register row 5662).

Source

pub const fn observer_backpressure( request: AttachEnvelope, state: ObserverBackpressureState, ) -> Self

Hard-observer retention refused the attach append (register row 5662).

Source

pub const fn marker_settlement_backpressure( request: &AttachEnvelope, refused_epoch: SettlementEpoch, ) -> Self

A marker candidate is awaiting its drain (participant contract §0.16 condition 2, attach wrapper — amendment A5).

The attach wrapper validates conversation membership TWICE before the seam (no slot for this participant refuses participant_unknown; the credential lookup admits only AuthorizedFresh), which is what entitles this row to carry the settlement epoch and to be paired with the 0x0202 MarkerSettled wake. Answering this condition with Self::observer_backpressure is OUTLAWED: it would promise an ObserverProgressed that nothing sends.

The epoch comes from the envelope’s own conversation and the frontier’s head marker candidate, never from the request.

Source

pub fn conversation_sequence_exhausted( request: AttachEnvelope, sequence_budget: SequenceBudget, ) -> Self

Canonical resulting sequence-reserve check failed (register row 5662).

Source

pub const fn bound(value: AttachBound) -> Self

Byte-identical receipt replay whose exact binding epoch still occupies its origin slot (register row 5663).

Source

pub const fn unbound_receipt(value: AttachBound) -> Self

Byte-identical receipt replay whose origin slot is empty, replaced, or at a later epoch (register row 5663).

Source

pub const fn server_value(&self) -> &ServerValue

Borrows the bound wire value for encoding or inspection.

Source

pub const fn discriminant(&self) -> ServerDiscriminant

Returns the bound value’s exact wire discriminant.

Source

pub fn into_server_value(self) -> ServerValue

Moves the bound wire value out for transmission.

Trait Implementations§

Source§

impl Clone for CredentialAttachResponse

Source§

fn clone(&self) -> CredentialAttachResponse

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 Debug for CredentialAttachResponse

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Eq for CredentialAttachResponse

Source§

impl PartialEq for CredentialAttachResponse

Source§

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

Equality operator ==. Read more
1.0.0 (const: unstable) · Source§

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

Inequality operator !=. Read more
Source§

impl StructuralPartialEq for CredentialAttachResponse

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> 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 = Infallible

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

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

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.