pub struct FidelityReport {Show 16 fields
pub binding: String,
pub destination_mem: String,
pub adopt: bool,
pub coverage_semantics: CoverageSemantics,
pub coverage_semantics_declared: bool,
pub capabilities: Vec<FacetCapability>,
pub freshness: Vec<FacetFreshness>,
pub source_moved_past_synced: Option<bool>,
pub coverage: GrainCoverage,
pub anchors: AnchorComposition,
pub findings_by_class: BTreeMap<String, usize>,
pub backlog: usize,
pub superseded: Vec<String>,
pub disposed_excluded: usize,
pub disposed_excluded_rationales: Vec<(String, String)>,
pub degradations: Vec<String>,
}Expand description
The tier-1 fidelity report — fully computed, deterministic data.
Fields§
§binding: StringThe canonical binding id <mem>/<stem>.
destination_mem: StringThe destination mem.
adopt: boolWhether the destination mem predates its binding — the adopt / onboarding
case (E1). When true, the report leads with the expected-0%-anchored
onboarding framing and the concrete backfill path, and the coverage
section frames uncovered artifacts as the backfill worklist rather than
as defects: no failure/error framing and no red verdict is produced
solely by pre-binding history.
coverage_semantics: CoverageSemanticsThe binding’s EFFECTIVE coverage (B4) — declared when the author
wrote the field, otherwise resolved per medium
(crate::binding::effective_coverage_semantics).
coverage_semantics_declared: booltrue when the binding declared the field; false when the
effective value was resolved from the sources’ media. The render
marks the resolved case so a reader never mistakes a resolution
for an author’s assertion.
capabilities: Vec<FacetCapability>Per-facet capability rows (B1 capability block).
freshness: Vec<FacetFreshness>Per-facet freshness (B1/B2).
source_moved_past_synced: Option<bool>Binding-level: has any change-detectable source moved past its #synced
baseline this pass? None when no source is change-detectable (nothing
to compare) — never a fabricated false.
coverage: GrainCoverageGrain-classed coverage over S(D) (B1/B5).
anchors: AnchorCompositionAnchor composition + resolution (B1).
findings_by_class: BTreeMap<String, usize>Findings tally by class over the current key.
backlog: usizeTier-3 backlog depth — findings queued for adjudication (B1).
superseded: Vec<String>Findings recorded under a prior (hash(D), source_head) key,
segregated as superseded (the heavy detail list is the count’s backing).
disposed_excluded: usizePersisted dispositions that exclude an otherwise-uncovered artifact from
the exhaustive findings set (B4) — the count (= disposed_excluded_rationales.len()).
disposed_excluded_rationales: Vec<(String, String)>The durable authored-exclusion ledger consulted under exhaustive coverage
(B4): (artifact, rationale) for each uncovered artifact a persisted
disposition marks deliberately excluded. Removed from the findings /
backfill denominator and rendered with its reasoning so the editorial
decision stays visible.
degradations: Vec<String>Degradation flags (B1) — typed, human/agent-readable strings.
Trait Implementations§
Source§impl Clone for FidelityReport
impl Clone for FidelityReport
Source§fn clone(&self) -> FidelityReport
fn clone(&self) -> FidelityReport
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreSource§impl Debug for FidelityReport
impl Debug for FidelityReport
impl Eq for FidelityReport
Source§impl PartialEq for FidelityReport
impl PartialEq for FidelityReport
Source§impl Serialize for FidelityReport
impl Serialize for FidelityReport
impl StructuralPartialEq for FidelityReport
Auto Trait Implementations§
impl Freeze for FidelityReport
impl RefUnwindSafe for FidelityReport
impl Send for FidelityReport
impl Sync for FidelityReport
impl Unpin for FidelityReport
impl UnsafeUnpin for FidelityReport
impl UnwindSafe for FidelityReport
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<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
Source§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>, which can then be
downcast into Box<dyn ConcreteType> where ConcreteType implements Trait.Source§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Rc<Trait> (where Trait: Downcast) to Rc<Any>, which can then be further
downcast into Rc<ConcreteType> where ConcreteType implements Trait.Source§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
&Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &Any’s vtable from &Trait’s.Source§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
&mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &mut Any’s vtable from &mut Trait’s.Source§impl<T> DowncastSend for T
impl<T> DowncastSend for T
Source§impl<T> DowncastSync for T
impl<T> DowncastSync for T
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.impl<T> Fruit for T
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 more