Skip to main content

SemanticReplayMaterial

Struct SemanticReplayMaterial 

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

Owned cold replay inputs: complete predecessor material and the successor’s external native publication evidence. Hash consistency does not establish historical execution, current rights, or permission to use a model.

Implementations§

Source§

impl SemanticReplayMaterial

Source

pub fn initial_prefill_recovery_referent( &self, child: &[u8], child_identity: Identity256, action_identity: Identity256, ) -> Result<Option<Vec<u8>>, SemanticTransitionError>

Return a recovery source reference only after checking the native child owner, its exact physical predecessor, and the restored-instance chain.

Source

pub fn pre_action_checkpoint_referent( &self, child: &[u8], child_identity: Identity256, action_identity: Identity256, ) -> Result<Vec<u8>, SemanticTransitionError>

Read the late action’s compact record through the same child envelope. The binding layer verifies every referent field and resolves its complete checkpoint through the existing bounded source resolver.

Source

pub fn verify_pre_action_checkpoint_source( &self, native: &[u8], task_identity: Identity256, task_epoch: u64, ) -> Result<(), SemanticTransitionError>

Full resolved late source must equal this original replay’s own acquired publication, including all model allocations, random state and arena.

Source

pub fn verify_initial_prefill_checkpoint_source( &self, (child, child_identity): (&[u8], Identity256), action_identity: Identity256, (original_native, original_prefill_section): (&[u8], &[u8]), task_identity: Identity256, task_epoch: u64, task_content: SemanticTaskContentIdentity, ) -> Result<(), SemanticTransitionError>

The compact reference is useful only if the full original checkpoint carries precisely the source publication and prefill bytes in this child. Keep the child bytes with their seal and the original checkpoint sections together; the task binding belongs to that original checkpoint.

Source

pub fn decode( predecessor_bytes: &[u8], evidence_bytes: &[u8], expected_predecessor_logical: Identity256, expected_successor_logical: Identity256, ) -> Result<Self, SemanticTransitionError>

Check the original coordinates and seals before any runtime relocation.

Source

pub fn predecessor_identity(&self) -> SemanticPublishedIdentity

Source

pub fn successor_identity(&self) -> SemanticPublishedIdentity

Source

pub fn transition_kind(&self) -> SemanticTransitionKind

Source

pub fn training_view_origin( &self, ) -> Result<SemanticTrainingViewOrigin, SemanticTransitionError>

Source

pub fn model_numerical_mode(&self) -> Result<&[u8], SemanticTransitionError>

Original model-owned contribution, after complete material validation. Its consumer must validate the supported model format before restoring numerical state; these bytes are not current settings or an execution grant.

Source

pub fn verify_provenance( &self, bytes: &[u8], ) -> Result<Vec<u8>, SemanticTransitionError>

Return the archived continuation decision after checking its native provenance root against the original complete predecessor. The caller must separately bind this root through the canonical reconstruction closure and check current rights; these bytes are not current authority.

Auto Trait Implementations§

Blanket Implementations§

§

impl<T> Allocation for T
where T: RefUnwindSafe + Send + Sync,

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> 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> Same for T

Source§

type Output = T

Should always be Self
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.