pub struct SubmissionWaveDeterminismHandle<R: DeviceRuntime> { /* private fields */ }Expand description
Submitted deterministic work whose terminal observation remains bound to the exact immutable-plan witness denominator.
Implementations§
Source§impl<R: DeviceRuntime> SubmissionWaveDeterminismHandle<R>
impl<R: DeviceRuntime> SubmissionWaveDeterminismHandle<R>
pub fn receipt(&self) -> &SubmittedOperationReceipt
pub fn attribution(&self) -> Option<&BoundDeviceSubmissionAttribution>
pub fn readback_plan(&self) -> &SubmissionWaveDeterminismReadbackPlan
pub fn restore_fingerprint(&self) -> &str
pub fn wait_with_determinism_readback( &self, ) -> Result<CompletionReadbackCollectionObservation, VNextError>
Sourcepub fn wait_into_evidence(
self,
) -> Result<SubmissionWaveDeterminismEvidence, VNextError>
pub fn wait_into_evidence( self, ) -> Result<SubmissionWaveDeterminismEvidence, VNextError>
Waits for terminal completion and consumes the handle into one typed evidence object. Missing actual-path attribution, nonterminal completion, failed readback, or any semantic/physical mapping drift is rejected after the submitted work has been observed to completion.
Auto Trait Implementations§
impl<R> Freeze for SubmissionWaveDeterminismHandle<R>where
CompletionHandle<R>: Freeze,
impl<R> RefUnwindSafe for SubmissionWaveDeterminismHandle<R>where
CompletionHandle<R>: RefUnwindSafe,
impl<R> Send for SubmissionWaveDeterminismHandle<R>where
CompletionHandle<R>: Send,
impl<R> Sync for SubmissionWaveDeterminismHandle<R>where
CompletionHandle<R>: Sync,
impl<R> Unpin for SubmissionWaveDeterminismHandle<R>where
CompletionHandle<R>: Unpin,
impl<R> UnsafeUnpin for SubmissionWaveDeterminismHandle<R>where
CompletionHandle<R>: UnsafeUnpin,
impl<R> UnwindSafe for SubmissionWaveDeterminismHandle<R>where
CompletionHandle<R>: UnwindSafe,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more