pub struct ScaffoldingBackend { /* private fields */ }Expand description
A scaffolding backend: honest family support, empty machine ceiling.
Implementations§
Trait Implementations§
Source§impl Backend for ScaffoldingBackend
impl Backend for ScaffoldingBackend
Source§fn support(&self) -> &SupportMatrix
fn support(&self) -> &SupportMatrix
The static family truth table.
Source§fn probe(&self) -> BackendProfileSnapshot
fn probe(&self) -> BackendProfileSnapshot
RAW probe of THIS machine. Audit/replay evidence; never admitted from
directly.
Source§fn profile(&self, _snap: &BackendProfileSnapshot) -> BackendProfile
fn profile(&self, _snap: &BackendProfileSnapshot) -> BackendProfile
Derive the TYPED planning profile DETERMINISTICALLY from a raw snapshot,
so replay re-derives identical admission decisions.
Source§fn classify(
&self,
req: &BoundaryRequirement,
profile: &BackendProfile,
) -> SupportVerdict
fn classify( &self, req: &BoundaryRequirement, profile: &BackendProfile, ) -> SupportVerdict
Classify a requirement against the TYPED profile (no string parsing at
admission). Returns the two-axis
SupportVerdict: enforcement strength
AND the evidence the backend can produce for the requirement.Source§fn mechanism(
&self,
requirement: &BoundaryRequirement,
enforcement: Enforcement,
) -> String
fn mechanism( &self, requirement: &BoundaryRequirement, enforcement: Enforcement, ) -> String
The mechanism-evidence string this backend records for an admitted
requirement (stored in
crate::AdmittedRequirement::mechanism). Read moreSource§fn execute(&self, plan: &BoundaryPlan) -> BoundaryReportBody
fn execute(&self, plan: &BoundaryPlan) -> BoundaryReportBody
Lower an admitted plan and EXECUTE it, returning the OBSERVED facts as an
UNSEALED body. The backend does NOT canonicalize, hash, or touch BatPak. Read more
Auto Trait Implementations§
impl Freeze for ScaffoldingBackend
impl RefUnwindSafe for ScaffoldingBackend
impl Send for ScaffoldingBackend
impl Sync for ScaffoldingBackend
impl Unpin for ScaffoldingBackend
impl UnsafeUnpin for ScaffoldingBackend
impl UnwindSafe for ScaffoldingBackend
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
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more