Struct Diagnostics 

pub struct Diagnostics {

    pub untracked_calls: BTreeMap<ModuleName, usize>,
    pub untracked_records: BTreeMap<RecordName, usize>,
    pub context_refs_missing: BTreeMap<ModuleName, usize>,
    pub unattributed_paths: BTreeMap<String, usize>,
    pub unanalyzed: Unanalyzed,
    pub suggested_suites: Vec<String>,
    pub missing_test_modules: BTreeMap<RelativePath, BTreeMap<ModuleName, usize>>,
    pub already_present: Option<AlreadyPresent>,
    pub already_present_skipped: Option<AlreadyPresentSkipped>,
    pub dep_pin_divergence: Vec<DepPinDivergence>,
    pub pin_bumps: Vec<PinBump>,
    pub qualified_call_shape_checks: ShapeCheckTally,
    pub local_call_shape_checks: ShapeCheckTally,
    pub macro_value_checks: MacroValueTally,
    pub indirect_call_checks: IndirectCallTally,
    pub dormant_detectors: Vec<DormantDetector>,
}

Series-wide diagnostic envelope. Strictly separate from Verdict so untracked-call signals never leak into machine-readable verdicts.

Fields

untracked_calls: BTreeMap<ModuleName, usize>

untracked_records: BTreeMap<RecordName, usize>

context_refs_missing: BTreeMap<ModuleName, usize>

In-scope references on context lines that do not resolve at some pin, per module. Pre-existing target facts: never reasons.

unattributed_paths: BTreeMap<String, usize>

Touched paths no configured project owns, tallied by their first two path components. The evidence behind an Inapplicable { Untracked } verdict.

unanalyzed: Unanalyzed

suggested_suites: Vec<String>

SUITE names worth running for the patch, derived from touched paths. Populated even when the verdict promotes to Inapplicable so that schema-only and config-only diffs still surface relevant suites.

missing_test_modules: BTreeMap<RelativePath, BTreeMap<ModuleName, usize>>

Per-_SUITE.erl map of helper_module -> call_site_count. The always-on diagnostic form of Reason::TestModuleSymbolMissing: emitted by the parse pass even without a target tree (which is why the inner key is the ModuleName rather than a resolved-or-not bit). When --target-repo-dir-path is supplied the resolver re-checks this map and promotes the absent ones to typed reasons. The nested BTreeMap shape keeps the JSON envelope serialisable without a custom composite-key encoder.

already_present: Option<AlreadyPresent>

Advisory: the patch’s content appears to already exist on the target (tier-1 identical patch, tier-2 content tally, or both).

already_present_skipped: Option<AlreadyPresentSkipped>

Why already-present detection was skipped, when it was.

dep_pin_divergence: Vec<DepPinDivergence>

Dep pins that diverge between source and target trees and are reachable from the apps this patch touches.

pin_bumps: Vec<PinBump>

Dep pins this patch itself changes or introduces in the root rabbitmq-components.mk.

qualified_call_shape_checks: ShapeCheckTally

What the live qualified-call gate’s return-shape check did with each first-party resolved call: compared, or withheld and why.

local_call_shape_checks: ShapeCheckTally

The same tally for local calls: resolved unqualified calls, compared or withheld. Kept apart from the qualified tally so one axis’s coverage never reads as the other’s.

macro_value_checks: MacroValueTally

Same-file -define value comparisons over macros the patch uses: compared, or withheld and why.

indirect_call_checks: IndirectCallTally

What the indirect-reference check (meck expectations and rpc forms) did with each recognized occurrence: resolved against the target module, or seen with an unreadable arity and withheld.

dormant_detectors: Vec<DormantDetector>

Family-declared detectors that did not run this evaluation, with the input whose absence disabled each. Gated on the family actually declaring the relevant vocabulary, so a generic project’s runs carry an empty list. Silence must be distinguishable from absence of findings.

Implementations

impl Diagnostics

pub fn is_empty(&self) -> bool

pub fn record_missing_test_module( &mut self, suite: RelativePath, helper: ModuleName, )

Record that suite references helper; bumps the call-site counter. Convenience for the parse pass.

Trait Implementations

impl Clone for Diagnostics

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Diagnostics

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for Diagnostics

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Diagnostics

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Diagnostics

impl PartialEq for Diagnostics

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for Diagnostics

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Diagnostics