@manifesto-ai/compiler 3.9.0 → 5.0.0

package/README.md

@@ -21,7 +21,7 @@ MEL source -> Compiler -> DomainSchema -> Core
 | Parse MEL | Tokenize and parse MEL into an AST |
 | Validate | Scope, typing, and semantic checks aligned to the current compiler contract |
 | Generate IR | Produce DomainSchema for Core |
-| Lower system values | Optional lowering of $system.* into explicit effects |
+| Lower runtime/context expressions | Lower ADR-027 `$runtime.*` and `$context.*` references into Core expressions |
 
 ---
 
@@ -216,7 +216,7 @@ type CompileOptions = {
 | [MEL Syntax](../../docs/mel/SYNTAX.md) | Grammar and syntax |
 | [MEL Examples](../../docs/mel/EXAMPLES.md) | Example library |
 | [MEL Error Guide](../../docs/mel/ERROR-GUIDE.md) | Error codes and fixes |
-| [Compiler Spec](docs/SPEC-v1.1.0.md) | Current full compiler and MEL spec |
+| [Compiler Spec](docs/SPEC-v1.2.0.md) | Current full compiler and MEL spec |
 | [Compiler FDR](docs/FDR-v0.5.0.md) | Design rationale |
 | [Compiler Compliance Suite](docs/compiler-SPEC-compilance-test-suite.md) | CCTS structure, rule modes, and execution guide |
 

package/dist/analyzer/expr-type-surface.d.ts

@@ -6,6 +6,7 @@ export type TypeEnv = Map<string, TypeExprNode>;
 export type ComparableSurfaceClass = "primitive" | "nonprimitive" | "unknown";
 export interface DomainTypeSymbols {
     stateTypes: Map<string, TypeExprNode>;
+    contextTypes: Map<string, TypeExprNode>;
     computedDecls: Map<string, ComputedNode>;
     typeDefs: Map<string, TypeDeclNode>;
     computedTypeCache: Map<string, TypeExprNode | null>;

package/dist/analyzer/validator.d.ts

@@ -31,6 +31,7 @@ export declare class SemanticValidator {
      * v0.3.3: Validate state field - check for anonymous object types (W012)
      */
     private validateStateField;
+    private validateContext;
     private validateStateInitializer;
     /**
      * v0.3.3: Check if a type expression contains anonymous object types
@@ -39,13 +40,13 @@ export declare class SemanticValidator {
     private checkAnonymousObjectType;
     private validateAction;
     /**
-     * v0.3.3: Validate available expression is pure (E005)
-     * No $system.*, no effects, no $input.*
+     * v0.3.3: Validate available expression is pure (E005).
+     * No dollar namespace reads or action parameters.
      */
     private validateAvailableExpr;
     /**
-     * v0.9.0: Validate dispatchable expression is pure (E047)
-     * Allows state/computed/action params, but forbids direct $input.*, $meta.*, and $system.*.
+     * v0.9.0: Validate dispatchable expression is pure (E047).
+     * Allows state/computed/action params, but forbids direct dollar namespace reads.
      */
     private validateDispatchableExpr;
     private validateGuardedStmt;
@@ -58,6 +59,8 @@ export declare class SemanticValidator {
     private validateStop;
     private validateCondition;
     private validateExpr;
+    private validateDollarIdent;
+    private validateContextPath;
     private validateFunctionCall;
     private validatePrimitiveEquality;
     private inferType;

package/dist/api/compile-mel-patch-collector.d.ts

@@ -4,11 +4,9 @@ import type { MelIRPatchPath } from "../lowering/lower-runtime-patch.js";
 import type { GuardedStmtNode, InnerStmtNode, PatchStmtNode } from "../parser/ast.js";
 import { toMelExpr } from "./compile-mel-patch-expr.js";
 export interface PatchCollectContext {
-    actionName: string;
-    onceCounter: number;
-    onceIntentCounter: number;
-    whenCounter: number;
+    readonly actionName: string;
 }
+type AllowedSysPrefix = "input" | "runtime" | "context";
 export type ConditionedPatchStatement = {
     patch: PatchStmtNode;
     condition?: MelExprNode;
@@ -19,11 +17,11 @@ export interface PatchCollectorDeps {
 }
 export declare class PatchStatementCollector {
     private readonly deps;
-    private readonly conditionComposer;
     private readonly exprValidator;
-    constructor(deps: PatchCollectorDeps);
+    constructor(deps: PatchCollectorDeps, allowSysPrefixes?: readonly AllowedSysPrefix[]);
     collect(stmts: GuardedStmtNode[] | InnerStmtNode[], errors: Diagnostic[], context: PatchCollectContext, parentCondition: MelExprNode | undefined): ConditionedPatchStatement[];
     private collectPatchStatements;
+    private pushUnsupportedControlError;
 }
 export declare function compilePatchStmtToMelRuntime(patchStatement: ConditionedPatchStatement): {
     op: "set" | "unset" | "merge";
@@ -31,3 +29,4 @@ export declare function compilePatchStmtToMelRuntime(patchStatement: Conditioned
     value?: MelExprNode;
     condition?: MelExprNode;
 };
+export {};

package/dist/api/compile-mel.d.ts

@@ -81,11 +81,11 @@ export interface CompileMelPatchOptions {
      */
     actionName: string;
     /**
-     * Allowed system path prefixes.
-     * Default: ["meta", "input"] (system is forbidden per §20.3).
+     * Allowed dollar namespace prefixes.
+     * Default: ["input", "runtime", "context"].
      */
     allowSysPaths?: {
-        prefixes: ("meta" | "input")[];
+        prefixes: ("input" | "runtime" | "context")[];
     };
     /**
      * Function table version.
@@ -140,7 +140,7 @@ export declare function compileMelModule(melText: string, options?: CompileMelMo
  * by evaluateRuntimePatches() to get concrete values.
  *
  * Constraints:
- * - §20.3: $system.* is forbidden in Translator path
+ * - ADR-027: `$system.*` and `$meta.*` are retired in current v5 MEL.
  *
  * @param melText - MEL patch source text
  * @param options - Compilation options

package/dist/api/index.d.ts

@@ -5,7 +5,7 @@
  *
  * @see SPEC v0.4.0 §19
  */
-export type { Annotation, AnnotationIndex, CompileTrace, CompileMelDomainOptions, CompileMelDomainResult, CompileMelModuleOptions, CompileMelModuleResult, CompileMelPatchOptions, CompileMelPatchResult, DomainModule, JsonLiteral, LocalTargetKey, SourceMapEmissionContext, SourceMapEntry, SourceMapIndex, SourceMapPath, SourcePoint, SourceSpan, } from "./compile-mel.js";
+export type { Annotation, AnnotationIndex, CompileTrace, CompileMelDomainOptions, CompileMelDomainResult, CompileMelModuleOptions, CompileMelModuleResult, DomainModule, JsonLiteral, LocalTargetKey, SourceMapEmissionContext, SourceMapEntry, SourceMapIndex, SourceMapPath, SourcePoint, SourceSpan, } from "./compile-mel.js";
 export type { CompileFragmentInContextOptions, MelEditAddActionOp, MelEditAddAvailableOp, MelEditAddComputedOp, MelEditAddDispatchableOp, MelEditAddStateFieldOp, MelEditAddTypeOp, MelEditOp, MelEditRemoveDeclarationOp, MelEditRenameDeclarationOp, MelEditReplaceActionBodyOp, MelEditReplaceAvailableOp, MelEditReplaceComputedExprOp, MelEditReplaceDispatchableOp, MelEditReplaceStateDefaultOp, MelEditReplaceTypeFieldOp, MelEditResult, MelParamSource, MelTextEdit, SchemaDiff, SchemaModifiedTarget, } from "./compile-fragment-in-context.js";
-export { compileMelDomain, compileMelModule, compileMelPatch } from "./compile-mel.js";
+export { compileMelDomain, compileMelModule } from "./compile-mel.js";
 export { compileFragmentInContext } from "./compile-fragment-in-context.js";

package/dist/{chunk-PGOH34S3.js → chunk-A356Y7I6.js}

@@ -1,3 +1,3 @@
-import{a as f,b as g}from"./chunk-5MK25QWV.js";import{da as d}from"./chunk-53553ZHJ.js";import{createHash as p}from"crypto";import*as i from"path";import{createUnplugin as h}from"unplugin";var M=new Set(["transform","build","both"]);function l(e){return e.split("?",1)[0]}function b(e,t){return e.lastIndex=0,e.test(t)}function y(e){let t=l(e).replace(/\\/g,"/");if(!t)return"domain.mel";if(!i.isAbsolute(e))return t.replace(/^\.\//,"");let n=i.relative(process.cwd(),e);return!n||n.startsWith("..")||i.isAbsolute(n)?w(t):n.split(i.sep).join("/")}function w(e){let t=i.posix.basename(e)||"domain.mel",n=i.posix.extname(t),o=t.slice(0,t.length-n.length)||"domain",r=p("sha256").update(e).digest("hex").slice(0,12);return`external/${x(o)}--${r}${n}`}function x(e){return e.replace(/[^a-zA-Z0-9._-]+/g,"-").replace(/^-+|-+$/g,"")||"domain"}function E(e){if(!e)return null;if(typeof e=="function")return{emit:e,timing:"transform"};if(typeof e=="object"&&typeof e.emit=="function"){let t=e.timing??"transform";if(!M.has(t))throw new TypeError(`manifesto:mel codegen timing must be one of "transform", "build", or "both" (received ${JSON.stringify(t)})`);return{emit:e.emit,timing:t}}throw new TypeError("manifesto:mel codegen must be a function or an object with a callable emit field")}var O=h((e={})=>{let t=e.include??/\.mel$/,n=new Map,o=E(e.codegen);return{name:"manifesto:mel",enforce:"pre",transformInclude(r){return b(t,l(r))},async transform(r,s){let m=l(s),a=d(r,{mode:"domain"});if(a.errors.length>0){let u=a.errors.map(f).join(`
+import{a as f,b as g}from"./chunk-HOS3TLHW.js";import{aa as d}from"./chunk-JYNK3VUK.js";import{createHash as p}from"crypto";import*as i from"path";import{createUnplugin as h}from"unplugin";var M=new Set(["transform","build","both"]);function l(e){return e.split("?",1)[0]}function b(e,t){return e.lastIndex=0,e.test(t)}function y(e){let t=l(e).replace(/\\/g,"/");if(!t)return"domain.mel";if(!i.isAbsolute(e))return t.replace(/^\.\//,"");let n=i.relative(process.cwd(),e);return!n||n.startsWith("..")||i.isAbsolute(n)?w(t):n.split(i.sep).join("/")}function w(e){let t=i.posix.basename(e)||"domain.mel",n=i.posix.extname(t),o=t.slice(0,t.length-n.length)||"domain",r=p("sha256").update(e).digest("hex").slice(0,12);return`external/${x(o)}--${r}${n}`}function x(e){return e.replace(/[^a-zA-Z0-9._-]+/g,"-").replace(/^-+|-+$/g,"")||"domain"}function E(e){if(!e)return null;if(typeof e=="function")return{emit:e,timing:"transform"};if(typeof e=="object"&&typeof e.emit=="function"){let t=e.timing??"transform";if(!M.has(t))throw new TypeError(`manifesto:mel codegen timing must be one of "transform", "build", or "both" (received ${JSON.stringify(t)})`);return{emit:e.emit,timing:t}}throw new TypeError("manifesto:mel codegen must be a function or an object with a callable emit field")}var O=h((e={})=>{let t=e.include??/\.mel$/,n=new Map,o=E(e.codegen);return{name:"manifesto:mel",enforce:"pre",transformInclude(r){return b(t,l(r))},async transform(r,s){let m=l(s),a=d(r,{mode:"domain"});if(a.errors.length>0){let u=a.errors.map(f).join(`
 `);throw new Error(`MEL compilation failed for ${m}
 ${u}`)}if(!a.schema)throw new Error(`MEL compilation produced no schema for ${m}`);let c=y(m);return o&&((o.timing==="transform"||o.timing==="both")&&await o.emit({schema:a.schema,sourceId:c}),(o.timing==="build"||o.timing==="both")&&n.set(c,a.schema)),g(a.schema)},async buildEnd(){if(!(!o||n.size===0))for(let[r,s]of n)await o.emit({schema:s,sourceId:r})}}});export{O as a};

package/dist/{chunk-5MK25QWV.js → chunk-HOS3TLHW.js}

@@ -1,4 +1,4 @@
-import{da as t}from"./chunk-53553ZHJ.js";function i(o){let e=o.location;if(!e)return`[${o.code}] ${o.message}`;let{line:r,column:n}=e.start;return`[${o.code}] ${o.message} (${r}:${n})`}function s(o){return`export default ${JSON.stringify(o,null,2)};
+import{aa as t}from"./chunk-JYNK3VUK.js";function i(o){let e=o.location;if(!e)return`[${o.code}] ${o.message}`;let{line:r,column:n}=e.start;return`[${o.code}] ${o.message} (${r}:${n})`}function s(o){return`export default ${JSON.stringify(o,null,2)};
 `}function a(o,e){let r=t(o,{mode:"domain"});if(r.errors.length>0){let n=r.errors.map(i).join(`
 `);throw new Error(`MEL compilation failed for ${e}
 ${n}`)}if(!r.schema)throw new Error(`MEL compilation produced no schema for ${e}`);return s(r.schema)}export{i as a,s as b,a as c};