Enum CheckpointPartitionNumerics 

pub enum CheckpointPartitionNumerics {
    CapturedExecutionContinuation,
    SamePartitionOnly,
    BitwiseEquivalent,
    OperationOracle,
}

Numerical reference for checkpoint continuation and any stronger promise about repartitioning. Every supported contract requires bitwise continuation from identical complete state with identical suffix inputs, execution partitions, implementation choices, and numerical/runtime identity.

Variants

CapturedExecutionContinuation

Adopt the complete boundary state of an authenticated successful source execution. Restoring all of that state preserves subsequent outputs and state effects under the identical-suffix conditions above. No uncaptured execution history may affect continuation. This does not promise that recomputing the prefix with other partitions produces identical state. The actual capture and native restore identities bind the adopted state; a caller-supplied expected history is neither needed nor sufficient.

SamePartitionOnly

Reuse needs identical execution partitions, also in the matching identity.

BitwiseEquivalent

Legal repartitioning preserves all outputs and persistent state effects.

OperationOracle

Legal repartitioning obeys the owning provider descriptor’s exact operation_fingerprint oracle against the same unpartitioned execution, including every persistent state effect. This is not a new tolerance. Plan validation must reject this declaration if that operation’s oracle does not actually cover the state effects. It does not weaken the identical-partition bitwise continuation requirement.

Trait Implementations

impl Clone for CheckpointPartitionNumerics

fn clone(&self) -> CheckpointPartitionNumerics

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for CheckpointPartitionNumerics

impl Debug for CheckpointPartitionNumerics

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for CheckpointPartitionNumerics

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for CheckpointPartitionNumerics

impl PartialEq for CheckpointPartitionNumerics

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for CheckpointPartitionNumerics

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 CheckpointPartitionNumerics