pub struct OperationalSafetyBarrier {
pub protected_paths: Vec<String>,
pub secret_markers: Vec<String>,
pub network_allowlist: Vec<String>,
}Expand description
The versioned channel set for the coding domain.
Fields§
§protected_paths: Vec<String>Path prefixes that must never be modified.
secret_markers: Vec<String>Filename fragments that indicate secret material.
network_allowlist: Vec<String>Allow-listed network hosts; empty means every target is unapproved.
Implementations§
Source§impl OperationalSafetyBarrier
impl OperationalSafetyBarrier
Sourcepub fn measure_channels<'a>(
&self,
mutated_paths: impl IntoIterator<Item = &'a str>,
) -> BTreeMap<String, f64>
pub fn measure_channels<'a>( &self, mutated_paths: impl IntoIterator<Item = &'a str>, ) -> BTreeMap<String, f64>
Measure the path-derived channels over the realized mutated paths of
a candidate, for CandidateStateWitness::barrier_channels. This is
what lets evaluate observe the materialized candidate instead of
only the declared proposal (Paper I Def. 12.2): a witness built from
these readings carries h(x) as measured on disk.
Trait Implementations§
Source§impl BarrierEvaluator for OperationalSafetyBarrier
impl BarrierEvaluator for OperationalSafetyBarrier
fn evaluate( &self, transition: &CandidateTransition, ) -> Result<BarrierWitness, SdkError>
Source§impl Clone for OperationalSafetyBarrier
impl Clone for OperationalSafetyBarrier
Source§impl Debug for OperationalSafetyBarrier
impl Debug for OperationalSafetyBarrier
Auto Trait Implementations§
impl Freeze for OperationalSafetyBarrier
impl RefUnwindSafe for OperationalSafetyBarrier
impl Send for OperationalSafetyBarrier
impl Sync for OperationalSafetyBarrier
impl Unpin for OperationalSafetyBarrier
impl UnsafeUnpin for OperationalSafetyBarrier
impl UnwindSafe for OperationalSafetyBarrier
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> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.