Skip to main content

TerminalRestoreEvidence

Struct TerminalRestoreEvidence 

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

Read-only result of a product’s fresh complete terminal-journal validation.

Construction declares no terminal permission by itself. The guarded release boundary checks the current journal binding and actual quiescence of every retained command, while product qualification owns complete effect/application obligations and the completeness of this original command set.

Implementations§

Source§

impl TerminalRestoreEvidence

Source

pub const fn new( authority: ArtifactChecksumRecord, commands: Vec<CommandCustodyRecord>, ) -> Self

Declare the validated original restore intent and complete original command set.

Source

pub const fn authority(&self) -> &ArtifactChecksumRecord

Return immutable original intent, independently compared with retained references.

Source

pub fn commands(&self) -> &[CommandCustodyRecord]

Return original command identities; no sidecar is created or inferred.

Trait Implementations§

Source§

impl Debug for TerminalRestoreEvidence

Source§

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

Blanket Implementations§

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 = !

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, !>

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.