Skip to main content Module intermediate_representation Copy item path Source ContextConsumerLoadId Typed canonical operation identity for one available Consumer Context load. ContextIrReport Immutable G10 Context IR products, ordered by G9 batches and Consumer ID. ContextSourceFunctionId Typed generated-function identity for one planned Context value source. ContextValueSlotId Stable compiler-owned Context slot identity. It is not a runtime lookup key. IntermediateRepresentation Compiler-owned intermediate representation, independent of backend output. IrBlock One ordered instruction region in an IR function. IrBlockId A stable compiler-owned basic-block identity within an IR function. IrBranchEdge A directed conditional branch between compiler-owned basic blocks. IrCfgCleanupPass Immutable cleanup pass that removes unreachable canonical CFG artifacts. IrCommonSubexpressionEliminationPass Immutable common-subexpression-elimination pass for current pure expressions. IrComputedEvaluation Canonical IR evaluation result for one computed semantic entity. IrComputedEvaluationPlan Compiler-generated evaluation order and update batches for computed values. IrConstantFoldingPass Immutable primitive constant-folding pass for canonical IR. IrConstantPropagationAnalysis Statically known transient values derived by canonical IR constant propagation. IrContextConsumerBinding One available Consumer’s exact compiler-selected Context-slot binding. IrContextLoad One retained, compiler-owned Context-slot load operation. IrContextSourceEvaluation One compiler-owned source function and Context-slot initialization plan. IrCopyPropagationPass Immutable copy-propagation pass for canonical IR operands. IrDeadAssignmentAnalysis Side-effect-free instructions whose produced values have no canonical uses. IrDeadCodeEliminationPass Immutable dead-code-elimination pass for unused pure instruction results. IrDefinitionUseAnalysis Canonical definition and use relations for one IR function. IrDomAttribute A static or value-driven DOM attribute independent of backend serialization. IrDomBinding A value-driven DOM update target, independent of backend rendering syntax. IrDomConditional Conditional DOM output driven by a canonical IR value. IrDomEvent A DOM event bound to an authored handler semantic identity. IrDomInspection Deterministic read-only lookup surface for canonical DOM nodes. IrDomList Repeated DOM output driven by one canonical iterable value. IrDomNode Backend-neutral DOM node semantics. IrDomNodeId A stable compiler-owned DOM node identity within a template entrypoint. IrDomText Text semantics owned by canonical DOM IR rather than a backend renderer. IrDominatorTree The immutable dominator relation derived from one canonical IR function. IrEffectExecution Compiler-owned executable record for one schedulable effect entity. IrFunction One compiler-owned executable function. IrInstruction One backend-neutral instruction with stable source provenance. IrInstructionId A stable compiler-owned operation identity within an IR block. IrInstructionSimplificationPass Immutable instruction-simplification pass for current canonical IR forms. IrLivenessAnalysis Block-level live-in and live-out sets for one canonical IR function. IrLoop A compiler-owned natural loop whose body includes its header and latches. IrLoopId A stable compiler-owned loop identity within an IR function. IrModule One source module represented in the canonical IR. IrOptimizationMetrics Compact structural metrics for one canonical IR snapshot. IrOptimizationPassReport One pass’s observable before/after optimization result. IrOptimizationPipeline An immutable ordered optimization pipeline. IrOptimizationReport The output IR and ordered reports from one immutable pipeline run. IrPassManager Ordered owner and executor for canonical IR optimization passes. IrPostDominatorTree The immutable post-dominator relation derived from one canonical IR function. IrReachabilityAnalysis The entry-reachable and unreachable block partition for one IR function. IrReactiveCycle One strongly connected group of computed reactive nodes. IrReactiveCycleAnalysis Immutable computed dependency-cycle analysis derived from a canonical
reactive graph. IrReactiveEdge IrReactiveGraph Compiler-owned reactive dependency topology. IrReactiveNode IrReactiveTransitiveAnalysis Immutable transitive dependency and dependent topology derived from a
canonical reactive graph. IrSchedulerInspection Read-only summary of one compiler-generated update plan. IrStorage One mutable runtime storage slot lowered from an authored semantic entity. IrStorageId A stable compiler-owned storage-slot identity. IrTemplateEntrypoint IrUpdateScheduler Compiler-owned foundation for planning reactive updates from dependency topology. IrUse One exact value-consuming operand position in a canonical instruction. IrUseDefinition A resolved use-to-definition relation for one value-consuming operand. IrValidationDiagnostic A structural integrity failure in canonical IR value and operand metadata. IrValue One function-scoped transient value and its canonical definition metadata. IrValueId A stable compiler-owned transient value identity within an IR function. OptimizedContextIrReport Immutable G11 optimization product for G10-generated Context source IR. OptimizedIrContextSourceEvaluation One G10 source evaluation retained after immutable Context-only optimization. IrBinaryOperation A binary operation with value-producing IR semantics. IrBranchArm The outcome of a conditional branch represented by an IR edge. IrConstant An immutable primitive constant embedded directly in an IR operand. IrDomAttributeValue IrDomNodeKind Structural DOM node forms before text, bindings, attributes, and events are lowered. IrEffectCompletion F10 effects complete normally and produce no semantic result value. IrInstructionKind Instruction forms available to canonical IR lowering. IrOperand A closed set of executable inputs supported by the canonical IR. IrReactiveEdgeKind IrReactiveNodeKind IrUnaryOperation A unary operation with value-producing IR semantics. IrValueDefinition The canonical origin of an IR value. IrOptimizationPass A compiler-owned transformation over canonical IR. analyze_constant_propagation Propagates inline primitive constants through the current unary and binary IR operations. analyze_dead_assignments Detects dead result assignments without treating storage effects as removable. analyze_definition_uses Computes definition and use chains from one function’s value registry and instruction operands. analyze_liveness Computes immutable block liveness from value uses, definitions, and CFG successors. analyze_reachability Computes canonical reachability from a function’s entry block. analyze_reactive_cycles Detect deterministic computed dependency cycles from direct reactive reads. analyze_reactive_transitive_graph Derive deterministic transitive reactive dependency and dependent maps. analyze_use_definitions Resolves each canonical value use to its registered definition. build_reactive_graph Build compiler-owned reactive topology from canonical state, computed, and
valid effect-reference products. compute_dominators Computes dominators from the function’s entry block and canonical branch edges. compute_post_dominators Computes post-dominators from canonical branch edges and their CFG exit blocks. computed_optimization_pipeline Build the immutable optimization pipeline applied to canonical computed IR. inspect_dom_nodes lower_components_to_ir Lowers application component ownership into deterministic IR module structure. optimize_computed_ir Run the immutable canonical optimization pipeline over computed IR. optimize_context_ir Run the existing immutable optimization pipeline over G10-generated Context
source functions only. The source-to-slot bindings remain compiler-owned
G9/G10 facts; optimization can simplify a source value producer but cannot
select, replace, merge, or remove a Context slot. optimize_effect_ir Run the existing immutable optimization pipeline over F10 effect functions
only, preserving every non-effect IR product verbatim. plan_computed_evaluation Build a deterministic computed evaluation plan through the canonical update
scheduler. validate_context_ir Validates G10 Context IR against retained G9 and existing canonical products.
This consumes plan facts only and does not rerun Context resolution, typing,
lifetime, or evaluation planning. validate_effect_ir Validates F10 effect-IR records against the canonical ASM products without
re-running capability matching or semantic validation. validate_intermediate_representation Validates identity, definition, operand, and storage-reference integrity for canonical IR. validate_optimized_context_ir Validates the immutable G11 optimization product against its frozen G9/G10
inputs. This deliberately consumes retained compiler products and never
re-runs Provider selection, Context typing, lifetime analysis, or planning.