Skip to main content

BootstrapAdmission

Struct BootstrapAdmission 

Source
pub struct BootstrapAdmission<'a> { /* private fields */ }
Expand description

BootstrapAdmission

Bounded preparation context supplied only after validated ledger recovery. Consumers may reject identity transitions or explicitly include known historical allocations before the existing resolve/validate/commit boundary. No memory handles or mutable recovered state are exposed. Failed selections poison this attempt even if a consumer ignores their returned errors.

Implementations§

Source§

impl<'a> BootstrapAdmission<'a>

Source

pub const fn declarations(&self) -> &SealedDeclarationSnapshot

Original sealed input; preparation cannot remove declarations or change host policy.

Source

pub fn recovered_allocations( &self, ) -> impl ExactSizeIterator<Item = &AllocationRecord>

Borrow at most 255 validated allocation records, including governance. Records grant no memory access and contain no historical authority label; current host namespace grants remain the authorization owner.

Source

pub fn is_declared(&self, key: &StableKey) -> bool

Whether the original input or an earlier selection already names this key.

Source

pub fn include_historical( &mut self, authority: &str, stable_key: &str, ) -> Result<(), BootstrapAdmissionError>

Include a known key under an explicit current host namespace grant. Retains its slot. Final current policy and all ordinary ownership and policy checks still run after preparation.

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<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

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> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

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.