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
impl SemanticReplayMaterial
Sourcepub fn initial_prefill_recovery_referent(
&self,
child: &[u8],
child_identity: Identity256,
action_identity: Identity256,
) -> Result<Option<Vec<u8>>, SemanticTransitionError>
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.
Sourcepub fn pre_action_checkpoint_referent(
&self,
child: &[u8],
child_identity: Identity256,
action_identity: Identity256,
) -> Result<Vec<u8>, SemanticTransitionError>
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.
Sourcepub fn verify_pre_action_checkpoint_source(
&self,
native: &[u8],
task_identity: Identity256,
task_epoch: u64,
) -> Result<(), SemanticTransitionError>
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.
Sourcepub 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>
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.
Sourcepub fn decode(
predecessor_bytes: &[u8],
evidence_bytes: &[u8],
expected_predecessor_logical: Identity256,
expected_successor_logical: Identity256,
) -> Result<Self, SemanticTransitionError>
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.
pub fn predecessor_identity(&self) -> SemanticPublishedIdentity
pub fn successor_identity(&self) -> SemanticPublishedIdentity
pub fn transition_kind(&self) -> SemanticTransitionKind
pub fn training_view_origin( &self, ) -> Result<SemanticTrainingViewOrigin, SemanticTransitionError>
Sourcepub fn model_numerical_mode(&self) -> Result<&[u8], SemanticTransitionError>
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.
Sourcepub fn verify_provenance(
&self,
bytes: &[u8],
) -> Result<Vec<u8>, SemanticTransitionError>
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.