Enum IntegrityCheckRequest 

pub enum IntegrityCheckRequest {
    Quick {
        entity: IntegrityEntityIdentity,
    },
    DeepStart {
        entity: IntegrityEntityIdentity,
        submission_key: IntegritySubmissionKey,
    },
    DeepContinue {
        job_id: IntegrityJobId,
        acknowledged_sequence: u64,
    },
    DeepAbort {
        job_id: IntegrityJobId,
    },
}

One authorization-bound typed integrity operation.

Entity-bearing variants pin the generated selector identity that the session must match against current accepted authority. Continuation and abort carry only the opaque job identity; private checkpoints never cross this boundary.

Variants

Quick

Execute one bounded metadata/control inspection.

Fields

entity: IntegrityEntityIdentity

Accepted entity selector to resolve and verify.

DeepStart

Create or replay one idempotent Deep job.

Fields

entity: IntegrityEntityIdentity

Accepted entity selector to resolve and verify.

submission_key: IntegritySubmissionKey

Owner-scoped idempotency key.

DeepContinue

Advance or replay one retained Deep job.

Fields

job_id: IntegrityJobId

Opaque engine-issued job identity.

acknowledged_sequence: u64

Sequence of the outstanding receipt being acknowledged.

DeepAbort

Freeze one retained Deep job for replayable abort.

Fields

job_id: IntegrityJobId

Opaque engine-issued job identity.

Implementations

impl IntegrityCheckRequest

pub fn quick<E: EntityKind>() -> Self

Build a Quick request for one generated entity selector.

pub fn deep_start<E: EntityKind>(submission_key: IntegritySubmissionKey) -> Self

Build an idempotent Deep-start request for one generated entity selector.

pub const fn deep_continue( job_id: IntegrityJobId, acknowledged_sequence: u64, ) -> Self

Build one Deep continuation or exact replay request.

pub const fn deep_abort(job_id: IntegrityJobId) -> Self

Build one replayable Deep-abort request.

Trait Implementations

impl CandidType for IntegrityCheckRequest

fn _ty() -> Type

fn _ty_doc() -> TypeDoc

fn id() -> TypeId

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

where __S: Serializer,

fn ty() -> Type

impl Clone for IntegrityCheckRequest

fn clone(&self) -> IntegrityCheckRequest

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IntegrityCheckRequest

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for IntegrityCheckRequest

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for IntegrityCheckRequest

impl PartialEq for IntegrityCheckRequest

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for IntegrityCheckRequest