Structs§
- Arithmetic
Expression - A compiler-owned numeric arithmetic expression lowered from a state initializer.
- Authored
Component Heritage - Authored
Context Declaration Candidate - Parser/lowering-owned facts retained before semantic entity construction. No diagnostic code is assigned here.
- Authored
Opaque Action Fact - Authored
Resource Declaration Fact - Authored
Route Loader Declaration Fact - Source-faithful
@loader()field retained before it is associated with a compiler-selected file route and an integrity-bound package capability. - Authored
Serialization Declaration Fact - Authored
Server Action Fact - Authored
Slot Declaration Candidate - Parser/lowering-owned facts retained before canonical Slot construction.
Invalid candidates have their own source identity and never acquire a
SlotId. - Authored
Submission Declaration Fact - Source-faithful I9 facts retained before Form/action resolution.
- Authored
Validation Rule Argument - Authored
Validation Rule Declaration Fact - Source-faithful I6 declaration facts retained before semantic validation.
- Authored
Validation Rule Expression - Component
Action - Component
Diagnostic - Component
Graph - Component
Method - Component
Node - Computed
Expression - A compiler-owned supported expression lowered from an
@computed()getter. - Constant
Expression - A compiler-owned constant expression lowered from a state initializer.
- Consumer
Declaration - Authored source facts for one valid G3
@consume()component field. - Context
Declaration - Authored source facts for one valid G1
@context()component field. - Context
Designator - A compiler-retained, compile-time-only Context designator.
- Declared
State Type - Explicit authored type metadata carried from the parser into canonical compiler data.
- Diagnostic
Secondary Label - A deterministic related authored location for a compiler diagnostic.
- Effect
Body Syntax - Ordered source syntax retained from one
@effect()body before semantic resolution. - Effect
Expression - An expression operand retained from an effect statement before resolution.
- Effect
Statement Syntax - Form
Declaration Candidate - Immutable I2 declaration candidate retained before canonical Form
construction.
form_idis present only when owner and authored field name are independently canonical, even when another declaration rule fails. - Form
Designator Fact - Form
Field Declaration Candidate - Immutable I3 candidate retained for every recognized
@fieldplacement.field_idandtype_assignmentremain absent unless the declaration is valid after canonical Form, type, value, and duplicate resolution. - Method
Call - A compiler-owned call fact retained for computed-purity analysis.
- Method
Local Variable - Method
Parameter - A compiler-owned declaration of a supported method parameter.
- Provider
Declaration - Authored source facts for one valid G2
@provide()component field. - Render
Attribute - Render
Conditional - Render
Element - Render
Event Handler - Render
Fragment - Render
List - Render
Model - Slot
Declaration - Authored source facts for one valid H1
@slot()component field. - State
Field - Unsupported
Form Designator Fact
Enums§
- Arithmetic
Evaluation Error - Arithmetic
Expression Kind - Arithmetic
Operator - Authored
Declaration Kind - Authored
Validation Rule Argument Kind - Authored
Validation Rule Expression Kind - Builtin
Pure Operation - Comparison
Operator - Component
Diagnostic Severity - Shared severity classification for compiler diagnostics.
- Computed
Expression Kind - Expression forms accepted by the E2 computed getter lowering slice.
- Constant
Evaluation Error - Constant
Expression Kind - Context
Declaration Candidate Kind - Context
Declaration Violation - Declared
State Type Kind - The primitive state type forms currently recognized without type inference.
- Effect
Expression Kind - Effect
Statement Syntax Kind - Form
Declaration Status - Form
Declaration Violation - Form
Field Declaration Violation - Logical
Operator - Method
Semantic Role - Additional semantic role carried by a compiler-owned method declaration.
- Render
Attribute Value - Render
Child - Serializable
Value - Slot
Declaration Violation - Slot
Kind - State
Operation - Unary
Operator - Unsupported
Effect Statement Kind
Functions§
- build_
component_ graph - build_
component_ graph_ for_ module - Build compiler semantics with a source-module-qualified identity root.
- is_
valid_ opaque_ action_ fact