@manifesto-ai/compiler 1.7.0 → 1.8.0

package/dist/esbuild.js

@@ -1,8 +1,8 @@
 import {
   unpluginMel
-} from "./chunk-DJY6BFGK.js";
-import "./chunk-QXLPDCLA.js";
-import "./chunk-QP2LGMBA.js";
+} from "./chunk-BH25NHMN.js";
+import "./chunk-D62NIFP4.js";
+import "./chunk-MKLDAZ2Z.js";
 
 // src/esbuild.ts
 var melPlugin = unpluginMel.esbuild;

package/dist/index.d.ts

@@ -1,4 +1,4 @@
-import { PatchPath, ExprNode as ExprNode$2, Patch } from '@manifesto-ai/core';
+import { ExprNode as ExprNode$2, PatchPath, Patch } from '@manifesto-ai/core';
 
 /**
  * Source Location Types
@@ -253,7 +253,7 @@ interface DomainNode extends ASTNode {
 /**
  * Domain member types
  */
-type DomainMember = StateNode | ComputedNode | ActionNode;
+type DomainMember = StateNode | ComputedNode | ActionNode | FlowDeclNode;
 /**
  * Type declaration (v0.3.3)
  * Syntax: type Name = TypeExpr
@@ -298,6 +298,16 @@ interface ActionNode extends ASTNode {
     available?: ExprNode$1;
     body: GuardedStmtNode[];
 }
+/**
+ * Flow declaration (v0.7.0 / ADR-013a)
+ * Raw AST preserves flow declarations until the expansion pass removes them.
+ */
+interface FlowDeclNode extends ASTNode {
+    kind: "flow";
+    name: string;
+    params: ParamNode[];
+    body: FlowStmtNode[];
+}
 /**
  * Parameter declaration
  */
@@ -309,11 +319,16 @@ interface ParamNode extends ASTNode {
 /**
  * Guarded statement types (top-level in action body)
  */
-type GuardedStmtNode = WhenStmtNode | OnceStmtNode | OnceIntentStmtNode;
+type GuardedStmtNode = WhenStmtNode | OnceStmtNode | OnceIntentStmtNode | IncludeStmtNode | FailStmtNode | StopStmtNode;
+/**
+ * Raw flow statement types (top-level in flow body).
+ * Parser stays permissive; validation narrows the allowed subset.
+ */
+type FlowStmtNode = WhenStmtNode | IncludeStmtNode | OnceStmtNode | OnceIntentStmtNode | PatchStmtNode | EffectStmtNode;
 /**
  * Inner statement types (inside guards)
  */
-type InnerStmtNode = PatchStmtNode | EffectStmtNode | WhenStmtNode | OnceStmtNode | OnceIntentStmtNode | FailStmtNode | StopStmtNode;
+type InnerStmtNode = PatchStmtNode | EffectStmtNode | WhenStmtNode | OnceStmtNode | OnceIntentStmtNode | IncludeStmtNode | FailStmtNode | StopStmtNode;
 /**
  * When guard statement
  */
@@ -339,6 +354,15 @@ interface OnceIntentStmtNode extends ASTNode {
     condition?: ExprNode$1;
     body: InnerStmtNode[];
 }
+/**
+ * Include statement (v0.7.0 / ADR-013a)
+ * Raw AST preserves include sites until the expansion pass inlines them.
+ */
+interface IncludeStmtNode extends ASTNode {
+    kind: "include";
+    flowName: string;
+    args: ExprNode$1[];
+}
 /**
  * Patch statement
  */
@@ -638,8 +662,10 @@ declare class Parser {
     private parseStateField;
     private parseComputed;
     private parseAction;
+    private parseFlowDecl;
     private parseParam;
     private parseGuardedStmt;
+    private parseFlowStmt;
     /**
      * Skip tokens until we reach a recovery point (closing brace, guard keyword, or EOF).
      */
@@ -648,6 +674,7 @@ declare class Parser {
     private parseOnceStmt;
     private parseOnceIntentStmt;
     private parseInnerStmt;
+    private parseIncludeStmt;
     private parsePatchStmt;
     private parseEffectStmt;
     private parseEffectArg;
@@ -679,11 +706,14 @@ declare class Parser {
     private isUnaryContext;
     private peek;
     private peekNext;
+    private peekAt;
     private previous;
     private isAtEnd;
     private advance;
     private check;
     private isOnceIntentContext;
+    private isFlowDeclContext;
+    private isIncludeContext;
     private match;
     private consume;
     private error;
@@ -787,6 +817,7 @@ interface ValidationResult {
  */
 declare class SemanticValidator {
     private ctx;
+    private symbols;
     /**
      * Validate a MEL program
      */
@@ -800,6 +831,7 @@ declare class SemanticValidator {
      * v0.3.3: Validate state field - check for anonymous object types (W012)
      */
     private validateStateField;
+    private validateStateInitializer;
     /**
      * v0.3.3: Check if a type expression contains anonymous object types
      * Issues W012 warning for inline object types in state fields
@@ -817,9 +849,12 @@ declare class SemanticValidator {
     private validateOnceIntent;
     private validatePatch;
     private validateEffect;
+    private validateFail;
+    private validateStop;
     private validateCondition;
     private validateExpr;
     private validateFunctionCall;
+    private validatePrimitiveEquality;
     private error;
     private warn;
 }
@@ -879,6 +914,181 @@ declare function formatDiagnostic(diagnostic: Diagnostic, source?: string): stri
  */
 declare function formatDiagnostics(diagnostics: Diagnostic[], source?: string): string;
 
+/**
+ * Lowering Context Types
+ *
+ * Defines contexts for expression and patch lowering.
+ *
+ * @see SPEC v0.4.0 §17.2
+ */
+/**
+ * Allowed system path prefixes.
+ *
+ * In Translator path, only 'meta' and 'input' are allowed.
+ * 'system' is forbidden (requires Flow execution).
+ *
+ * @see FDR-MEL-071
+ */
+type AllowedSysPrefix = "meta" | "input";
+/**
+ * Context for single expression lowering.
+ *
+ * @see SPEC v0.4.0 §17.2
+ */
+interface ExprLoweringContext {
+    /**
+     * Expression context mode.
+     * - 'schema': for addComputed, addConstraint, etc.
+     * - 'action': for guards, patches, effects
+     */
+    mode: "schema" | "action";
+    /**
+     * Allowed system path prefixes.
+     * In Translator path: only ["meta", "input"]
+     *
+     * @see FDR-MEL-071
+     */
+    allowSysPaths?: {
+        prefixes: AllowedSysPrefix[];
+    };
+    /**
+     * Function table version for call lowering.
+     */
+    fnTableVersion: string;
+    /**
+     * Action name (for action context).
+     */
+    actionName?: string;
+    /**
+     * Whether $item is allowed in this context.
+     * Only true for effect.args fields.
+     *
+     * @see FDR-MEL-068
+     */
+    allowItem?: boolean;
+}
+/**
+ * Context for patch lowering.
+ *
+ * NO mode field - Compiler determines context per op-field.
+ *
+ * @see SPEC v0.4.0 §17.2, AD-COMP-LOW-002
+ */
+interface PatchLoweringContext {
+    /**
+     * Allowed system path prefixes.
+     * In Translator path: only ["meta", "input"]
+     *
+     * @see FDR-MEL-071
+     */
+    allowSysPaths?: {
+        prefixes: AllowedSysPrefix[];
+    };
+    /**
+     * Function table version for call lowering.
+     */
+    fnTableVersion: string;
+    /**
+     * Action name (for action-related ops).
+     */
+    actionName?: string;
+}
+/**
+ * Default expression lowering context for schema mode.
+ */
+declare const DEFAULT_SCHEMA_CONTEXT: ExprLoweringContext;
+/**
+ * Default expression lowering context for action mode.
+ */
+declare const DEFAULT_ACTION_CONTEXT: ExprLoweringContext;
+/**
+ * Context for effect.args (allows $item).
+ */
+declare const EFFECT_ARGS_CONTEXT: ExprLoweringContext;
+/**
+ * Default patch lowering context.
+ */
+declare const DEFAULT_PATCH_CONTEXT: PatchLoweringContext;
+
+/**
+ * Expression Lowering
+ *
+ * Transforms MEL Canonical IR (8 kinds) to Core Runtime IR (30+ kinds).
+ *
+ * @see SPEC v0.4.0 §17
+ */
+
+/**
+ * MEL primitive value.
+ */
+type MelPrimitive = null | boolean | number | string;
+/**
+ * MEL path segment.
+ */
+type MelPathSegment = {
+    kind: "prop";
+    name: string;
+};
+/**
+ * MEL path node array.
+ */
+type MelPathNode = MelPathSegment[];
+/**
+ * MEL system path as segment array.
+ */
+type MelSystemPath = string[];
+/**
+ * MEL object field.
+ */
+type MelObjField = {
+    key: string;
+    value: MelExprNode;
+};
+/**
+ * MEL Canonical IR (8 kinds).
+ *
+ * @see SPEC v0.4.0 §17.1.1
+ */
+type MelExprNode = {
+    kind: "lit";
+    value: MelPrimitive;
+} | {
+    kind: "var";
+    name: "item";
+} | {
+    kind: "sys";
+    path: MelSystemPath;
+} | {
+    kind: "get";
+    base?: MelExprNode;
+    path: MelPathNode;
+} | {
+    kind: "field";
+    object: MelExprNode;
+    property: string;
+} | {
+    kind: "call";
+    fn: string;
+    args: MelExprNode[];
+} | {
+    kind: "obj";
+    fields: MelObjField[];
+} | {
+    kind: "arr";
+    elements: MelExprNode[];
+};
+/**
+ * Lower MEL expression to Core expression.
+ *
+ * @param input - MEL canonical IR expression
+ * @param ctx - Lowering context
+ * @returns Core runtime IR expression
+ * @throws LoweringError if expression cannot be lowered
+ *
+ * @see SPEC v0.4.0 §17.3
+ */
+declare function lowerExprNode(input: MelExprNode, ctx: ExprLoweringContext): ExprNode$2;
+
 /**
  * IR Generator - Transforms MEL AST to Core DomainSchema
  * Based on MEL SPEC v0.3.3 Section 5
@@ -1086,6 +1296,7 @@ type CoreExprNode = {
     kind: "toString";
     arg: CoreExprNode;
 };
+type CompilerExprNode = MelExprNode;
 /**
  * Core FlowNode types (matching core/schema/flow.ts)
  */
@@ -1117,6 +1328,34 @@ type CoreFlowNode = {
     code: string;
     message?: CoreExprNode;
 };
+type CompilerFlowNode = {
+    kind: "seq";
+    steps: CompilerFlowNode[];
+} | {
+    kind: "if";
+    cond: CompilerExprNode;
+    then: CompilerFlowNode;
+    else?: CompilerFlowNode;
+} | {
+    kind: "patch";
+    op: "set" | "unset" | "merge";
+    path: PatchPath;
+    value?: CompilerExprNode;
+} | {
+    kind: "effect";
+    type: string;
+    params: Record<string, CompilerExprNode>;
+} | {
+    kind: "call";
+    flow: string;
+} | {
+    kind: "halt";
+    reason?: string;
+} | {
+    kind: "fail";
+    code: string;
+    message?: CompilerExprNode;
+};
 /**
  * Field type definition
  */
@@ -1148,6 +1387,11 @@ interface ComputedFieldSpec {
     expr: CoreExprNode;
     description?: string;
 }
+interface CompilerComputedFieldSpec {
+    deps: string[];
+    expr: CompilerExprNode;
+    description?: string;
+}
 /**
  * Computed specification
  */
@@ -1163,6 +1407,12 @@ interface ActionSpec {
     available?: CoreExprNode;
     description?: string;
 }
+interface CompilerActionSpec {
+    flow: CompilerFlowNode;
+    input?: FieldSpec;
+    available?: CompilerExprNode;
+    description?: string;
+}
 /**
  * Domain schema (output IR)
  */
@@ -1217,12 +1467,33 @@ interface DomainSchema {
         authors?: string[];
     };
 }
+interface CanonicalDomainSchema {
+    id: string;
+    version: string;
+    hash: string;
+    types: Record<string, TypeSpec>;
+    state: StateSpec;
+    computed: {
+        fields: Record<string, CompilerComputedFieldSpec>;
+    };
+    actions: Record<string, CompilerActionSpec>;
+    meta?: {
+        name?: string;
+        description?: string;
+        authors?: string[];
+    };
+}
 interface GenerateResult {
     schema: DomainSchema | null;
     diagnostics: Diagnostic[];
 }
+interface GenerateCanonicalResult {
+    schema: CanonicalDomainSchema | null;
+    diagnostics: Diagnostic[];
+}
+declare function generateCanonical(program: ProgramNode): GenerateCanonicalResult;
 /**
- * Generate Core DomainSchema from MEL AST
+ * Generate runtime-ready DomainSchema from MEL AST.
  */
 declare function generate(program: ProgramNode): GenerateResult;
 
@@ -1650,102 +1921,6 @@ declare function renderFragmentsByKind(fragments: PatchFragment[], options?: Fra
  */
 declare function renderAsDomain(domainName: string, fragments: PatchFragment[], options?: FragmentRenderOptions): string;
 
-/**
- * Lowering Context Types
- *
- * Defines contexts for expression and patch lowering.
- *
- * @see SPEC v0.4.0 §17.2
- */
-/**
- * Allowed system path prefixes.
- *
- * In Translator path, only 'meta' and 'input' are allowed.
- * 'system' is forbidden (requires Flow execution).
- *
- * @see FDR-MEL-071
- */
-type AllowedSysPrefix = "meta" | "input";
-/**
- * Context for single expression lowering.
- *
- * @see SPEC v0.4.0 §17.2
- */
-interface ExprLoweringContext {
-    /**
-     * Expression context mode.
-     * - 'schema': for addComputed, addConstraint, etc.
-     * - 'action': for guards, patches, effects
-     */
-    mode: "schema" | "action";
-    /**
-     * Allowed system path prefixes.
-     * In Translator path: only ["meta", "input"]
-     *
-     * @see FDR-MEL-071
-     */
-    allowSysPaths?: {
-        prefixes: AllowedSysPrefix[];
-    };
-    /**
-     * Function table version for call lowering.
-     */
-    fnTableVersion: string;
-    /**
-     * Action name (for action context).
-     */
-    actionName?: string;
-    /**
-     * Whether $item is allowed in this context.
-     * Only true for effect.args fields.
-     *
-     * @see FDR-MEL-068
-     */
-    allowItem?: boolean;
-}
-/**
- * Context for patch lowering.
- *
- * NO mode field - Compiler determines context per op-field.
- *
- * @see SPEC v0.4.0 §17.2, AD-COMP-LOW-002
- */
-interface PatchLoweringContext {
-    /**
-     * Allowed system path prefixes.
-     * In Translator path: only ["meta", "input"]
-     *
-     * @see FDR-MEL-071
-     */
-    allowSysPaths?: {
-        prefixes: AllowedSysPrefix[];
-    };
-    /**
-     * Function table version for call lowering.
-     */
-    fnTableVersion: string;
-    /**
-     * Action name (for action-related ops).
-     */
-    actionName?: string;
-}
-/**
- * Default expression lowering context for schema mode.
- */
-declare const DEFAULT_SCHEMA_CONTEXT: ExprLoweringContext;
-/**
- * Default expression lowering context for action mode.
- */
-declare const DEFAULT_ACTION_CONTEXT: ExprLoweringContext;
-/**
- * Context for effect.args (allows $item).
- */
-declare const EFFECT_ARGS_CONTEXT: ExprLoweringContext;
-/**
- * Default patch lowering context.
- */
-declare const DEFAULT_PATCH_CONTEXT: PatchLoweringContext;
-
 /**
  * Lowering Error Types
  *
@@ -1830,81 +2005,6 @@ declare function invalidShape(description: string, path?: string[]): LoweringErr
  */
 declare function unknownNodeKind(kind: string, path?: string[]): LoweringError;
 
-/**
- * Expression Lowering
- *
- * Transforms MEL Canonical IR (7 kinds) to Core Runtime IR (30+ kinds).
- *
- * @see SPEC v0.4.0 §17
- */
-
-/**
- * MEL primitive value.
- */
-type MelPrimitive = null | boolean | number | string;
-/**
- * MEL path segment.
- */
-type MelPathSegment = {
-    kind: "prop";
-    name: string;
-};
-/**
- * MEL path node array.
- */
-type MelPathNode = MelPathSegment[];
-/**
- * MEL system path as segment array.
- */
-type MelSystemPath = string[];
-/**
- * MEL object field.
- */
-type MelObjField = {
-    key: string;
-    value: MelExprNode;
-};
-/**
- * MEL Canonical IR (7 kinds).
- *
- * @see SPEC v0.4.0 §17.1.1
- */
-type MelExprNode = {
-    kind: "lit";
-    value: MelPrimitive;
-} | {
-    kind: "var";
-    name: "item";
-} | {
-    kind: "sys";
-    path: MelSystemPath;
-} | {
-    kind: "get";
-    base?: MelExprNode;
-    path: MelPathNode;
-} | {
-    kind: "call";
-    fn: string;
-    args: MelExprNode[];
-} | {
-    kind: "obj";
-    fields: MelObjField[];
-} | {
-    kind: "arr";
-    elements: MelExprNode[];
-};
-/**
- * Lower MEL expression to Core expression.
- *
- * @param input - MEL canonical IR expression
- * @param ctx - Lowering context
- * @returns Core runtime IR expression
- * @throws LoweringError if expression cannot be lowered
- *
- * @see SPEC v0.4.0 §17.3
- */
-declare function lowerExprNode(input: MelExprNode, ctx: ExprLoweringContext): ExprNode$2;
-
 /**
  * Patch Lowering
  *
@@ -2713,4 +2813,4 @@ declare function parseSource(source: string): ParseResult;
  */
 declare function check(source: string): Diagnostic[];
 
-export { type ASTNode, type ActionNode, type ActionSpec, type AddActionAvailableOp, type AddComputedOp, type AddConstraintOp, type AddFieldOp, type AddTypeOp, type AllowedSysPrefix, type ArrayLiteralExprNode, type ArrayTypeNode, type BinaryExprNode, type BinaryOperator, type CompileMelDomainOptions, type CompileMelDomainResult, type CompileMelPatchOptions, type CompileMelPatchResult, type CompileOptions, type CompileResult, type CompileTrace, type ComputedFieldSpec, type ComputedNode, type ComputedSpec, type ConditionalPatchOp, type CoreExprNode, type CoreFlowNode, DEFAULT_ACTION_CONTEXT, DEFAULT_PATCH_CONTEXT, DEFAULT_SCHEMA_CONTEXT, DIAGNOSTIC_CODES, type Diagnostic, type DiagnosticCode, type DiagnosticSeverity, type DomainMember, type DomainSchema as DomainModule, type DomainNode, type DomainSchema, EFFECT_ARGS_CONTEXT, type EffectArgNode, type EffectStmtNode, type EvaluatedPatch, type EvaluatedPatchOp, type EvaluationContext, type EvaluationMeta, type EvaluationSnapshot, type ExprLoweringContext, type ExprNode$1 as ExprNode, type FailStmtNode, type FieldSpec, type FieldType, type FragmentRenderOptions, type FunctionCallExprNode, type GenerateResult, type GuardedStmtNode, type IRPatchPath, type IRPathSegment, type IdentifierExprNode, type ImportNode, type IndexAccessExprNode, type IndexSegmentNode, type InnerStmtNode, type IterationVarExprNode, KEYWORDS, type LexResult, Lexer, type LiteralExprNode, type LiteralTypeNode, type LoweredPatchOp, type LoweredTypeExpr, type LoweredTypeField, LoweringError, type LoweringErrorCode, type MelExprNode, type MelIRPatchPath, type MelIRPathSegment, type MelObjField, type MelPatchFragment, type MelPatchOp, type MelPathNode, type MelPathSegment, type MelPrimitive, type MelRuntimePatch, type MelRuntimePatchOp, type MelSystemPath, type MelTypeExpr, type MelTypeField, type ObjectLiteralExprNode, type ObjectPropertyNode, type ObjectTypeNode, type OnceIntentStmtNode, type OnceStmtNode, type ParamNode, type ParseResult, Parser, type PatchEvaluationResult, type PatchFragment, type PatchLoweringContext, type PatchOp, type PatchStmtNode, type PathNode, type PathSegmentNode, type Position, Precedence, type ProgramNode, type PropertyAccessExprNode, type PropertySegmentNode, RESERVED_KEYWORDS, type RecordTypeNode, type RelatedDiagnostic, type RenderOptions, type ExprNode as RendererExprNode, type RuntimeConditionalPatchOp, type RuntimePatchEvaluationResult, type RuntimePatchSkipReason, type SchemaConditionalPatchOp, Scope, type ScopeAnalysisResult, ScopeAnalyzer, SemanticValidator, type SetDefaultValueOp, type SetFieldTypeOp, type SimpleTypeNode, type SkippedRuntimePatch, type SourceLocation, type StateFieldNode, type StateNode, type StateSpec, type StopStmtNode, type Symbol, type SymbolKind, type SystemIdentExprNode, type TernaryExprNode, type Token, type TokenKind, type TypeDeclNode, type TypeDefinition, type TypeExpr, type TypeExprNode, type TypeField, type TypeFieldNode, type TypeSpec, type UnaryExprNode, type UnionTypeNode, type ValidationResult, type WhenStmtNode, analyzeScope, applyPatchToWorkingSnapshot, check, classifyCondition, compile, compileMelDomain, compileMelPatch, createError, createEvaluationContext, createInfo, createLocation, createPointLocation, createPosition, createToken, createWarning, evaluateCondition, evaluateConditionalPatchOps, evaluateExpr, evaluatePatchExpressions, evaluatePatches, evaluateRuntimePatches, evaluateRuntimePatchesWithTrace, extractTypeName, filterBySeverity, formatDiagnostic, formatDiagnosticCode, formatDiagnostics, generate, getBinaryPrecedence, getDiagnosticInfo, getKeywordKind, hasErrors, invalidKindForContext, invalidShape, invalidSysPath, isBinaryOp, isError, isExprNode, isKeyword, isReserved, isRightAssociative, isStmtNode, isUnaryOp, lowerExprNode, lowerPatchFragments, lowerRuntimePatch, lowerRuntimePatches, lowerSystemValues, mergeLocations, normalizeExpr, normalizeFunctionCall, parse, parseSource, renderAsDomain, renderExprNode, renderFragment, renderFragments, renderFragmentsByKind, renderPatchOp, renderTypeExpr, renderTypeField, renderValue, tokenToBinaryOp, tokenize, unknownCallFn, unknownNodeKind, unsupportedBase, validateSemantics };
+export { type ASTNode, type ActionNode, type ActionSpec, type AddActionAvailableOp, type AddComputedOp, type AddConstraintOp, type AddFieldOp, type AddTypeOp, type AllowedSysPrefix, type ArrayLiteralExprNode, type ArrayTypeNode, type BinaryExprNode, type BinaryOperator, type CanonicalDomainSchema, type CompileMelDomainOptions, type CompileMelDomainResult, type CompileMelPatchOptions, type CompileMelPatchResult, type CompileOptions, type CompileResult, type CompileTrace, type CompilerActionSpec, type CompilerComputedFieldSpec, type CompilerExprNode, type CompilerFlowNode, type ComputedFieldSpec, type ComputedNode, type ComputedSpec, type ConditionalPatchOp, type CoreExprNode, type CoreFlowNode, DEFAULT_ACTION_CONTEXT, DEFAULT_PATCH_CONTEXT, DEFAULT_SCHEMA_CONTEXT, DIAGNOSTIC_CODES, type Diagnostic, type DiagnosticCode, type DiagnosticSeverity, type DomainMember, type DomainSchema as DomainModule, type DomainNode, type DomainSchema, EFFECT_ARGS_CONTEXT, type EffectArgNode, type EffectStmtNode, type EvaluatedPatch, type EvaluatedPatchOp, type EvaluationContext, type EvaluationMeta, type EvaluationSnapshot, type ExprLoweringContext, type ExprNode$1 as ExprNode, type FailStmtNode, type FieldSpec, type FieldType, type FlowDeclNode, type FlowStmtNode, type FragmentRenderOptions, type FunctionCallExprNode, type GenerateCanonicalResult, type GenerateResult, type GuardedStmtNode, type IRPatchPath, type IRPathSegment, type IdentifierExprNode, type ImportNode, type IncludeStmtNode, type IndexAccessExprNode, type IndexSegmentNode, type InnerStmtNode, type IterationVarExprNode, KEYWORDS, type LexResult, Lexer, type LiteralExprNode, type LiteralTypeNode, type LoweredPatchOp, type LoweredTypeExpr, type LoweredTypeField, LoweringError, type LoweringErrorCode, type MelExprNode, type MelIRPatchPath, type MelIRPathSegment, type MelObjField, type MelPatchFragment, type MelPatchOp, type MelPathNode, type MelPathSegment, type MelPrimitive, type MelRuntimePatch, type MelRuntimePatchOp, type MelSystemPath, type MelTypeExpr, type MelTypeField, type ObjectLiteralExprNode, type ObjectPropertyNode, type ObjectTypeNode, type OnceIntentStmtNode, type OnceStmtNode, type ParamNode, type ParseResult, Parser, type PatchEvaluationResult, type PatchFragment, type PatchLoweringContext, type PatchOp, type PatchStmtNode, type PathNode, type PathSegmentNode, type Position, Precedence, type ProgramNode, type PropertyAccessExprNode, type PropertySegmentNode, RESERVED_KEYWORDS, type RecordTypeNode, type RelatedDiagnostic, type RenderOptions, type ExprNode as RendererExprNode, type RuntimeConditionalPatchOp, type RuntimePatchEvaluationResult, type RuntimePatchSkipReason, type SchemaConditionalPatchOp, Scope, type ScopeAnalysisResult, ScopeAnalyzer, SemanticValidator, type SetDefaultValueOp, type SetFieldTypeOp, type SimpleTypeNode, type SkippedRuntimePatch, type SourceLocation, type StateFieldNode, type StateNode, type StateSpec, type StopStmtNode, type Symbol, type SymbolKind, type SystemIdentExprNode, type TernaryExprNode, type Token, type TokenKind, type TypeDeclNode, type TypeDefinition, type TypeExpr, type TypeExprNode, type TypeField, type TypeFieldNode, type TypeSpec, type UnaryExprNode, type UnionTypeNode, type ValidationResult, type WhenStmtNode, analyzeScope, applyPatchToWorkingSnapshot, check, classifyCondition, compile, compileMelDomain, compileMelPatch, createError, createEvaluationContext, createInfo, createLocation, createPointLocation, createPosition, createToken, createWarning, evaluateCondition, evaluateConditionalPatchOps, evaluateExpr, evaluatePatchExpressions, evaluatePatches, evaluateRuntimePatches, evaluateRuntimePatchesWithTrace, extractTypeName, filterBySeverity, formatDiagnostic, formatDiagnosticCode, formatDiagnostics, generate, generateCanonical, getBinaryPrecedence, getDiagnosticInfo, getKeywordKind, hasErrors, invalidKindForContext, invalidShape, invalidSysPath, isBinaryOp, isError, isExprNode, isKeyword, isReserved, isRightAssociative, isStmtNode, isUnaryOp, lowerExprNode, lowerPatchFragments, lowerRuntimePatch, lowerRuntimePatches, lowerSystemValues, mergeLocations, normalizeExpr, normalizeFunctionCall, parse, parseSource, renderAsDomain, renderExprNode, renderFragment, renderFragments, renderFragmentsByKind, renderPatchOp, renderTypeExpr, renderTypeField, renderValue, tokenToBinaryOp, tokenize, unknownCallFn, unknownNodeKind, unsupportedBase, validateSemantics };