Skip to main content

Runtime

Struct Runtime 

Source
pub struct Runtime<'m> { /* private fields */ }
Expand description

Accumulates the gated, validated stage summaries of one run, then seals them.

Implementations§

Source§

impl<'m> Runtime<'m>

Source

pub fn start(manifest: &'m DensorManifest) -> Result<Self, RuntimeError>

Start a run against a validated manifest. Validates the manifest up front (fails closed).

Source

pub fn run_stage<I, O, S: RuntimeStage<I, O>>( &mut self, stage: &S, input: I, ) -> Result<O, RuntimeError>

Execute one stage on input, gating its authorities first, then recording its receipt summary. Returns the stage’s typed output so the caller can feed it into the next stage. Deterministic given a deterministic stage (the runtime adds no nondeterminism).

Source

pub fn seal(self) -> RuntimeReceiptV1

Seal the run: build the tamper-evident RuntimeReceiptV1 over the ordered stage summaries.

Auto Trait Implementations§

§

impl<'m> Freeze for Runtime<'m>

§

impl<'m> RefUnwindSafe for Runtime<'m>

§

impl<'m> Send for Runtime<'m>

§

impl<'m> Sync for Runtime<'m>

§

impl<'m> Unpin for Runtime<'m>

§

impl<'m> UnsafeUnpin for Runtime<'m>

§

impl<'m> UnwindSafe for Runtime<'m>

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