pub enum VerifierStage {
SyntaxCheck,
Build,
Test,
Lint,
Format,
}Expand description
Verification stage in the plugin-driven pipeline.
Variants§
SyntaxCheck
Syntax / type check (e.g. cargo check, uvx ty check .)
Build
Build step (e.g. cargo build, npm run build)
Test
Test execution (e.g. cargo test, uv run pytest)
Lint
Lint pass (e.g. cargo clippy, uv run ruff check .)
Format
Formatting check (e.g. cargo fmt --check). Declared by plugins
whose formatter has a check form; gates only when the run enables
require_format.
Implementations§
Source§impl VerifierStage
impl VerifierStage
Sourcepub fn policy_name(&self) -> &'static str
pub fn policy_name(&self) -> &'static str
The canonical stage name used by HardGatePolicy::required_stages
declarations. Domains declare "syntax", not the Display form
"syntax_check"; this mapping is the single source for both sides
(PSP-10 Phase 1).
Trait Implementations§
Source§impl Clone for VerifierStage
impl Clone for VerifierStage
Source§fn clone(&self) -> VerifierStage
fn clone(&self) -> VerifierStage
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for VerifierStage
impl Debug for VerifierStage
Source§impl<'de> Deserialize<'de> for VerifierStage
impl<'de> Deserialize<'de> for VerifierStage
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Source§impl Display for VerifierStage
impl Display for VerifierStage
Source§impl Hash for VerifierStage
impl Hash for VerifierStage
Source§impl PartialEq for VerifierStage
impl PartialEq for VerifierStage
Source§fn eq(&self, other: &VerifierStage) -> bool
fn eq(&self, other: &VerifierStage) -> bool
Tests for
self and other values to be equal, and is used by ==.Source§impl Serialize for VerifierStage
impl Serialize for VerifierStage
impl Copy for VerifierStage
impl Eq for VerifierStage
impl StructuralPartialEq for VerifierStage
Auto Trait Implementations§
impl Freeze for VerifierStage
impl RefUnwindSafe for VerifierStage
impl Send for VerifierStage
impl Sync for VerifierStage
impl Unpin for VerifierStage
impl UnsafeUnpin for VerifierStage
impl UnwindSafe for VerifierStage
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,
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
§impl<T> PolicyExt for Twhere
T: ?Sized,
impl<T> PolicyExt for Twhere
T: ?Sized,
§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
§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 more§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).§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.§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.