pub struct GateEvidence {
pub subtask: String,
pub changed_symbols: Vec<ChangedSymbol>,
pub footprint_declared: bool,
pub containment: CheckOutcome,
pub containment_violations: Vec<ContainmentViolation>,
pub unparsed_changed_files: Vec<String>,
pub duplicates: CheckOutcome,
pub semantic_conflicts: Vec<DuplicateDeclaration>,
pub build_test: BuildTestStatus,
pub policy: PolicyDecision,
}Expand description
The provenance of one gate run — what was checked, what ran, what each leg found. B3 uses this to attribute false-accepts to a root cause, not merely count them.
Fields§
§subtask: String§changed_symbols: Vec<ChangedSymbol>§footprint_declared: bool§containment: CheckOutcome§containment_violations: Vec<ContainmentViolation>§unparsed_changed_files: Vec<String>Files with a real content delta that car-ast could not parse (unknown
extension or syntax error) — symbol-level checks are blind to these, so
they rely entirely on the build/test leg.
duplicates: CheckOutcome§semantic_conflicts: Vec<DuplicateDeclaration>§build_test: BuildTestStatus§policy: PolicyDecisionTrait Implementations§
Source§impl Clone for GateEvidence
impl Clone for GateEvidence
Source§impl Debug for GateEvidence
impl Debug for GateEvidence
Source§impl From<&GateEvidence> for GateEvidenceDto
impl From<&GateEvidence> for GateEvidenceDto
Source§fn from(e: &GateEvidence) -> Self
fn from(e: &GateEvidence) -> Self
Converts to this type from the input type.
Auto Trait Implementations§
impl Freeze for GateEvidence
impl RefUnwindSafe for GateEvidence
impl Send for GateEvidence
impl Sync for GateEvidence
impl Unpin for GateEvidence
impl UnsafeUnpin for GateEvidence
impl UnwindSafe for GateEvidence
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
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> ErasedDestructor for Twhere
T: 'static,
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