Struct ProjectionStatus 

pub struct ProjectionStatus {
    pub binding: String,
    pub destination_mem: String,
    pub operations: Vec<String>,
    pub state: BTreeMap<String, FacetState>,
    pub advance: AdvanceCounts,
    pub verdict: RollupVerdict,
    pub source_moved: bool,
    pub findings: FindingCounts,
}

One binding’s status entry (D11) — the per-binding drill-down, carrying the SAME resolution the workspace rollup aggregates (verdict, moved source, finding counts) so consumers never re-derive it client-side. The workspace-level lead stays Rollup / projection_rollup.

Fields

binding: String

The canonical binding id <mem>/<stem> (D3).

destination_mem: String

The mem this binding writes into.

operations: Vec<String>

The operations the binding declares — build always, plus sync / verify when their blocks are present.

state: BTreeMap<String, FacetState>

Per source facet-or-refmem state, keyed by the facet/mem name.

advance: AdvanceCounts

Pending / disposed advance counts for the binding.

verdict: RollupVerdict

This binding’s own verdict, by the rollup’s exact rules: onboarding when the mem predates its binding (never red); action-needed on open findings that count as actions or a moved source; clean otherwise.

source_moved: bool

True when a change-detectable source moved past its #synced baseline. Always false for onboarding bindings (scan skipped).

findings: FindingCounts

Open findings under the current key, by class.

Trait Implementations

impl Clone for ProjectionStatus

fn clone(&self) -> ProjectionStatus

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProjectionStatus

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

Formats the value using the given formatter.

impl Eq for ProjectionStatus

impl PartialEq for ProjectionStatus

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ProjectionStatus

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 ProjectionStatus