Struct SemanticTypeModel 

pub struct SemanticTypeModel {
    pub assignments: BTreeMap<SemanticId, SemanticTypeAssignment>,
    pub aliases: BTreeMap<SemanticId, SemanticTypeAlias>,
    pub list_scopes: BTreeMap<SemanticId, ListTemplateScopeType>,
    pub member_accesses: BTreeMap<SemanticId, MemberAccessType>,
    pub computed_values: BTreeMap<SemanticId, ComputedValueType>,
    pub action_signatures: BTreeMap<SemanticId, ActionSignatureType>,
    pub effect_statements: BTreeMap<SemanticId, EffectStatementTypeRecord>,
}

Canonical type assignments owned by the application semantic model.

C1 provides the stable container but deliberately populates no assignments. State inference, expression propagation, and typed declarations are added by later Phase C slices.

Fields

assignments: BTreeMap<SemanticId, SemanticTypeAssignment>

aliases: BTreeMap<SemanticId, SemanticTypeAlias>

list_scopes: BTreeMap<SemanticId, ListTemplateScopeType>

member_accesses: BTreeMap<SemanticId, MemberAccessType>

computed_values: BTreeMap<SemanticId, ComputedValueType>

action_signatures: BTreeMap<SemanticId, ActionSignatureType>

effect_statements: BTreeMap<SemanticId, EffectStatementTypeRecord>

Implementations

impl SemanticTypeModel

pub fn resolve_declared_type( &self, declared_type: &DeclaredStateType, bindings: Option<&BindingTable>, ) -> Option<ResolvedDeclaredSemanticType>

pub fn from_components( components: &[ComponentNode], provenance: &BTreeMap<SemanticId, SourceProvenance>, ) -> Self

pub fn from_components_with_aliases( components: &[ComponentNode], provenance: &BTreeMap<SemanticId, SourceProvenance>, parsed_aliases: &[(PathBuf, ParsedTypeAlias)], ) -> Self

pub fn from_components_with_aliases_and_bindings( components: &[ComponentNode], provenance: &BTreeMap<SemanticId, SourceProvenance>, parsed_aliases: &[(PathBuf, ParsedTypeAlias)], bindings: Option<&BindingTable>, ) -> Self

pub fn with_context_types( self, contexts: &BTreeMap<ContextId, ContextEntity>, ) -> Self

Attaches explicit G1 Context declaration contracts without performing provider/consumer compatibility analysis.

pub fn with_resource_types( self, resources: &BTreeMap<ResourceId, ResourceDeclaration>, ) -> Self

Attaches compiler-issued Resource declaration types after endpoint resolution has established their exact data, error, and boundary facts.

pub fn with_slot_types(self, slots: &BTreeMap<SlotId, SlotEntity>) -> Self

Attaches the exact nominal H1 SlotContent type to canonical Slot entities. Alias and structural compatibility are intentionally absent.

pub fn with_form_types(self, forms: &BTreeMap<FormId, FormEntity>) -> Self

Attaches the exact nominal I2 Form marker to canonical Form entities. Aliases, unions, generics, and structural compatibility never enter this authority because invalid declaration candidates do not lower.

pub fn with_form_field_types( self, fields: &BTreeMap<FieldId, FormFieldEntity>, ) -> Self

Attaches I3 Form Field assignments produced by the canonical field resolver. No annotation parsing, inference, or assignability is repeated.

pub fn with_provider_types( self, providers: &BTreeMap<ProviderId, ProviderEntity>, ) -> Self

Attaches explicit G2 Provider declaration contracts without deciding provider-value or Context compatibility.

pub fn with_consumer_types( self, consumers: &BTreeMap<ConsumerId, ConsumerEntity>, ) -> Self

Attaches explicit G3 Consumer requested-type contracts without deciding Context, Provider, or Consumer compatibility.

pub fn with_computed_value_types( self, components: &[ComponentNode], computed_values: &BTreeMap<SemanticId, ComputedValue>, graph: &ExpressionGraph, references: &[SemanticReference], ) -> Self

Attaches canonical inferred and declared contracts to computed entities.

Panics

Panics when a computed expression ID does not resolve in graph.

pub fn with_context_source_expression_types( self, components: &[ComponentNode], contexts: &BTreeMap<ContextId, ContextEntity>, providers: &BTreeMap<ProviderId, ProviderEntity>, graph: &ExpressionGraph, ) -> Self

Attaches inferred types to canonical Provider and Context-default expressions using their already-resolved component ownership and the existing State/Computed type products. This creates no Context compatibility result; G5 consumes these facts separately.

pub fn normalized(self) -> Self

pub fn with_expression_types( self, graph: &ExpressionGraph, components: &[ComponentNode], contexts: &BTreeMap<ContextId, ContextEntity>, providers: &BTreeMap<ProviderId, ProviderEntity>, ) -> Self

Attaches inferred types to canonical declaration expression nodes.

Panics

Panics when the graph’s node index contains an ID that does not resolve to an expression node.

pub fn with_effect_statement_types( self, components: &[ComponentNode], effects: &BTreeMap<SemanticId, Effect>, statements: &BTreeMap<SemanticId, EffectStatement>, graph: &ExpressionGraph, ) -> Self

Attaches effect operand types and statement-level capability facts.

This consumes only the immutable registry and existing component/ASM products. It intentionally records incompatibilities without emitting semantic diagnostics; F5 owns language-rule rejection.

Panics

Panics when the graph’s effect expression index contains an ID that does not resolve to an expression node.

pub fn with_template_binding_types( self, entities: &[TemplateSemanticEntity], references: &[SemanticReference], ) -> Self

Attaches inferred types to direct text-binding entities with resolved state or local targets.

Trait Implementations

impl Clone for SemanticTypeModel

fn clone(&self) -> SemanticTypeModel

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SemanticTypeModel

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

Formats the value using the given formatter.

impl Default for SemanticTypeModel

fn default() -> SemanticTypeModel

Returns the “default value” for a type.

impl Eq for SemanticTypeModel

impl PartialEq for SemanticTypeModel

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SemanticTypeModel