pub enum SheafValidatorClass {
ExportImportConsistency,
DependencyGraphConsistency,
SchemaContractCompatibility,
BuildGraphConsistency,
TestOwnershipConsistency,
CrossLanguageBoundary,
PolicyInvariantConsistency,
}Expand description
PSP-5 Phase 5: Sheaf validator class.
Each class checks a different cross-node consistency property after child nodes converge and before the parent node is committed.
Variants§
ExportImportConsistency
Exported symbols, trait impls, and module imports match dependency interfaces.
DependencyGraphConsistency
Repository dependency edges remain acyclic and node-local changes do not introduce invalid module or package references.
SchemaContractCompatibility
JSON schemas, API types, and serialization contracts remain compatible.
BuildGraphConsistency
Plugin-selected build targets remain satisfiable for the affected subgraph.
TestOwnershipConsistency
Failing tests are attributed to the owning node or interface boundary.
CrossLanguageBoundary
FFI layers, generated clients, and protocol bindings across plugin boundaries.
PolicyInvariantConsistency
Repository-wide invariants and forbidden patterns still hold.
Trait Implementations§
Source§impl Clone for SheafValidatorClass
impl Clone for SheafValidatorClass
Source§fn clone(&self) -> SheafValidatorClass
fn clone(&self) -> SheafValidatorClass
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreSource§impl Debug for SheafValidatorClass
impl Debug for SheafValidatorClass
Source§impl<'de> Deserialize<'de> for SheafValidatorClass
impl<'de> Deserialize<'de> for SheafValidatorClass
Source§fn deserialize<__D>(
__deserializer: __D,
) -> Result<SheafValidatorClass, <__D as Deserializer<'de>>::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(
__deserializer: __D,
) -> Result<SheafValidatorClass, <__D as Deserializer<'de>>::Error>where
__D: Deserializer<'de>,
Source§impl Display for SheafValidatorClass
impl Display for SheafValidatorClass
Source§impl Hash for SheafValidatorClass
impl Hash for SheafValidatorClass
Source§impl PartialEq for SheafValidatorClass
impl PartialEq for SheafValidatorClass
Source§impl Serialize for SheafValidatorClass
impl Serialize for SheafValidatorClass
Source§fn serialize<__S>(
&self,
__serializer: __S,
) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>where
__S: Serializer,
fn serialize<__S>(
&self,
__serializer: __S,
) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>where
__S: Serializer,
impl Copy for SheafValidatorClass
impl Eq for SheafValidatorClass
impl StructuralPartialEq for SheafValidatorClass
Auto Trait Implementations§
impl Freeze for SheafValidatorClass
impl RefUnwindSafe for SheafValidatorClass
impl Send for SheafValidatorClass
impl Sync for SheafValidatorClass
impl Unpin for SheafValidatorClass
impl UnsafeUnpin for SheafValidatorClass
impl UnwindSafe for SheafValidatorClass
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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
key and return true if they are equal.Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
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>
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>
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 moreSource§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<T> PolicyExt for Twhere
T: ?Sized,
impl<T> PolicyExt for Twhere
T: ?Sized,
Source§impl<T> Serialize for T
impl<T> Serialize for T
fn erased_serialize(&self, serializer: &mut dyn Serializer) -> Result<Ok, Error>
Source§impl<T> ToStringFallible for Twhere
T: Display,
impl<T> ToStringFallible for Twhere
T: Display,
Source§fn try_to_string(&self) -> Result<String, TryReserveError>
fn try_to_string(&self) -> Result<String, TryReserveError>
ToString::to_string, but without panic on OOM.