Struct DraftStateTransaction 

pub struct DraftStateTransaction<S: Clone> { /* private fields */ }

An exact speculative fork retaining both the pre-verification checkpoint and an independently advanceable draft state.

Model families supply ordinary cloneable runtime state; proposal, verification, commit, cancellation, and rejection all use this one neutral ownership boundary.

Implementations

impl<S: Clone> DraftStateTransaction<S>

pub fn fork(state: &S) -> Self

Forks draft state and preserves an exact rollback checkpoint.

pub const fn draft(&self) -> &S

Borrows the independently advanceable proposal state.

pub fn draft_mut(&mut self) -> &mut S

Mutably borrows the independently advanceable proposal state.

pub const fn checkpoint(&self) -> &S

Borrows the exact state from before proposal and verification.

pub fn commit_draft(self, canonical: &mut S)

Commits the advanced draft fork into canonical state.

pub fn rollback(self, canonical: &mut S)

Restores canonical state after rejection, cancellation, or failed verification.

pub fn commit_verified(self)

Keeps target state already advanced by successful verification while consuming the unused fork and checkpoint.

Trait Implementations

impl<S: Clone + Clone> Clone for DraftStateTransaction<S>

fn clone(&self) -> DraftStateTransaction<S>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<S: Debug + Clone> Debug for DraftStateTransaction<S>

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

Formats the value using the given formatter.