Struct ImpactClosureFacts 

pub struct ImpactClosureFacts {
    pub affected_not_shown: Vec<String>,
    pub coordination_gap: Vec<CoordinationGapFact>,
}

Stage 3 of the brief: the impact closure. The transitive affected-but-not-in-diff set plus the coordination gap. The differentiator a diff tool fundamentally cannot do, because it has no graph.

Honest scope (ADR-001, syntactic): the coordination gap is an attention pointer at the exact inter-module failure mode, NOT a correctness proof.

Fields

affected_not_shown: Vec<String>

Root-relative paths transitively affected by the changeset (reverse-deps + re-export chains) that are NOT in the diff, deduped and sorted.

coordination_gap: Vec<CoordinationGapFact>

Coordination gaps: a changed file exports a contract consumed by a module absent from the diff. One entry per (changed file, consumer) pair.

Trait Implementations

impl Clone for ImpactClosureFacts

fn clone(&self) -> ImpactClosureFacts

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ImpactClosureFacts

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

Formats the value using the given formatter.

impl Default for ImpactClosureFacts

fn default() -> ImpactClosureFacts

Returns the “default value” for a type.

impl Serialize for ImpactClosureFacts

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

where __S: Serializer,

Serialize this value into the given Serde serializer.