Struct ContractIr 

pub struct ContractIr { /* private fields */ }

Opaque guarded contract graph for one template interpretation.

Accumulation, path rebasing, and normalization live behind this contract-layer artifact instead of a raw vector owned by callers.

Implementations

impl ContractIr

pub fn from_contract_uses(uses: Vec<ContractUse>) -> Self

Build a contract graph from already-structured contract claims.

This is the contract-layer constructor for tests and expert callers that already have semantic claims. Schema signals are still derived through ContractIr::finalize, so semantic finalization stays on the contract graph rather than a serialized document.

pub fn push_pathless_scalar(&mut self, source_expr: impl Into<String>)

Add a pathless scalar claim for a value path.

Pathless claims make a value path visible to downstream schema generation without asserting any rendered Kubernetes field shape.

pub fn push_pathless_dependency_fragment( &mut self, source_expr: impl Into<String>, )

Records a pathless fragment accepted at a dependency values root.

pub fn append(&mut self, other: Self)

Move all claims from another contract graph into this graph.

pub fn add_terminal_fail_condition(&mut self, condition: Predicate)

Append guards to every claim in the graph without rewriting any paths.

This is used for chart-structural activation predicates that apply to an already-scoped batch of claims, such as dependency condition: / tags: liveness from Chart.yaml. Record that rendering FAILS whenever condition holds — an unconditionally reached include whose helper only an inactive optional dependency defines aborts with “no template”. The predicate lowers through the standard terminal-clause machinery.

pub fn append_guards_to_all_uses(&mut self, guards: &[Guard])

Conjoins activation guards onto every use and terminating failure.

pub fn mark_rendered_output_textual(&mut self)

Mark rendered claims as textual output rather than structured YAML placements. Runtime operand contracts and terminal effects remain unchanged.

pub fn map_value_paths<F>(&mut self, map: F)

where F: FnMut(&str) -> String,

Rewrite all referenced values paths while preserving rendered YAML paths.

This is used at chart boundaries where a dependency’s .Values.foo contract becomes .Values.subchart.foo, while rendered manifest paths such as metadata.name stay unchanged.

pub fn add_type_hint( &mut self, path: impl Into<String>, schema_type: impl Into<String>, )

Add declared input-type hints for values paths without projecting them as inspection rows.

pub fn finalize(self) -> FinalizedContract

Finalize the contract once and derive downstream artifacts from that one normalized contract representation.

Trait Implementations

impl Clone for ContractIr

fn clone(&self) -> ContractIr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ContractIr

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

Formats the value using the given formatter.

impl Default for ContractIr

fn default() -> ContractIr

Returns the “default value” for a type.

impl Eq for ContractIr

impl PartialEq for ContractIr

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ContractIr