Struct ContractSchemaSignals 

pub struct ContractSchemaSignals { /* private fields */ }

Contract-derived facts consumed by core values-schema generation.

This is the typed boundary between static template interpretation and JSON Schema lowering. Optional post-passes can ask for their own projections, but core schema generation should consume this artifact rather than re-reading raw contract claims.

Implementations

impl ContractSchemaSignals

pub fn new( schema_evidence_by_value_path: BTreeMap<String, ContractPathSchemaEvidence>, terminal_clauses: Vec<Vec<ConditionalGuard>>, ) -> ContractSchemaSignals

Builds a stable signal set from path evidence and terminal clauses.

pub fn with_values_default_sources( self, sources: impl IntoIterator<Item = ValuesDefaultSource>, ) -> ContractSchemaSignals

Attaches chart subtrees that supply runtime defaults to effective values paths.

pub fn values_default_sources(&self) -> &BTreeSet<ValuesDefaultSource>

Default subtrees applied to effective values before templates consume them.

pub fn with_root_overlay_fail_implications( self, prefixes: impl IntoIterator<Item = String>, ) -> ContractSchemaSignals

Projects fail-grade contracts on effective-root paths onto their prefixed spellings for every in-place root overlay (mustMergeOverwrite $.Values (index $.Values "pilot")): a member the user writes under the prefix overwrites its effective-root twin before any consumer reads it, so the same abort-grade requirements bind the prefixed path (istiod’s pilot.env: "oops" aborts exactly like env: "oops"). Guards about the subject path or its descendants move to the prefixed spelling; foreign guard paths keep their root spellings — a bounded reading that assumes cross-path conditions are supplied at the root, not through the same overlay.

pub fn with_values_program_wrappers( self, wrappers: impl IntoIterator<Item = ValuesProgramWrapper>, ) -> ContractSchemaSignals

Attaches chart-authored program-wrapper conventions.

pub fn values_program_wrappers(&self) -> &BTreeSet<ValuesProgramWrapper>

Program-wrapper conventions the chart’s engine applies to its values.

pub fn with_values_program_wrapper_exclusions( self, paths: impl IntoIterator<Item = String>, ) -> ContractSchemaSignals

Attaches paths excluded from wrapper alternatives (pre-rewrite strict consumers).

pub fn values_program_wrapper_exclusions(&self) -> &BTreeSet<String>

Values paths whose nodes must not gain a wrapper alternative.

pub fn direct_ranged_value_paths(&self) -> &BTreeSet<String>

Paths the chart ranges DIRECTLY: their runtime iterable domain is wider than any declared shape, so ancestor subtree schemas must not shadow their own resolutions.

pub fn terminal_clauses(&self) -> &[Vec<ConditionalGuard>]

Terminating validator formulas: no valid values document satisfies all guards of one clause.

pub fn schema_evidence_by_value_path( &self, ) -> &BTreeMap<String, ContractPathSchemaEvidence>

Returns schema-lowering evidence indexed by canonical values path.

pub fn referenced_value_paths(&self) -> &BTreeSet<String>

Values paths the contract directly referenced, in stable order.

pub fn pruned_parent_value_paths(&self) -> &BTreeSet<String>

Non-fragment parent paths whose referenced descendants own their own schema evidence, so parent-level defaults must not restate them.

pub fn evidence_for( &self, value_path: &str, ) -> Option<&ContractPathSchemaEvidence>

Returns schema evidence for one canonical values path.

Trait Implementations

impl Clone for ContractSchemaSignals

fn clone(&self) -> ContractSchemaSignals

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ContractSchemaSignals

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

Formats the value using the given formatter.

impl Default for ContractSchemaSignals

fn default() -> ContractSchemaSignals

Returns the “default value” for a type.

impl Eq for ContractSchemaSignals

impl PartialEq for ContractSchemaSignals

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ContractSchemaSignals