@cotal-ai/lang 0.22.0 → 0.24.0

package/dist/syntax.js

@@ -0,0 +1,178 @@
+/**
+ * The syntax table: every node type acorn can produce, sorted into the sets the language is made of.
+ *
+ * ONE TABLE, READ BY BOTH HALVES. The validator admits exactly {@link ADMITTED_NODES} and
+ * {@link STRUCTURAL_NODES}, refuses each row of {@link FORBIDDEN_NODES} with its own code, and refuses
+ * everything else with L1029. The interpreter executes exactly the admitted set. `surface.smoke`
+ * holds the two halves to this file: every admitted node type is executed by a program, every
+ * `case` label in the interpreter's node switches is on this table, and every node type acorn knows
+ * lands in exactly one set. Before this table existed the two halves were two hand-kept lists, and
+ * `x++`, `?.`, rest parameters and `**` were admitted by one and refused by the other.
+ */
+/** Node types the interpreter executes. A validated program is made of these and nothing else. */
+export const ADMITTED_NODES = new Set([
+    // statements
+    "Program",
+    "ExpressionStatement",
+    "VariableDeclaration",
+    "FunctionDeclaration",
+    "BlockStatement",
+    "IfStatement",
+    "WhileStatement",
+    "ForStatement",
+    "ForOfStatement",
+    "ReturnStatement",
+    "BreakStatement",
+    "ContinueStatement",
+    "ThrowStatement",
+    "TryStatement",
+    "SwitchStatement",
+    "EmptyStatement",
+    // expressions
+    "Literal",
+    "Identifier",
+    "TemplateLiteral",
+    "ArrayExpression",
+    "ObjectExpression",
+    "MemberExpression",
+    "ChainExpression",
+    "UnaryExpression",
+    "UpdateExpression",
+    "BinaryExpression",
+    "LogicalExpression",
+    "ConditionalExpression",
+    "AssignmentExpression",
+    "AwaitExpression",
+    "ArrowFunctionExpression",
+    "FunctionExpression",
+    "CallExpression",
+]);
+/**
+ * Node types that only occur INSIDE an admitted node and are executed as part of it: a `Property`
+ * inside an object literal, a `SwitchCase` inside a `switch`, a pattern inside a declaration.
+ */
+export const STRUCTURAL_NODES = new Set([
+    "VariableDeclarator",
+    "Property",
+    "SpreadElement",
+    "RestElement",
+    "AssignmentPattern",
+    "ObjectPattern",
+    "ArrayPattern",
+    "TemplateElement",
+    "SwitchCase",
+    "CatchClause",
+]);
+/** Node types rejected outright, with the code and the repair to suggest. */
+export const FORBIDDEN_NODES = Object.freeze({
+    ClassDeclaration: {
+        code: "L1001",
+        cause: "There are no classes in this language. State lives in records and behaviour lives in functions.",
+        fix: "Replace the class with a function that returns a record.",
+    },
+    ClassExpression: {
+        code: "L1001",
+        cause: "There are no classes in this language. State lives in records and behaviour lives in functions.",
+        fix: "Replace the class with a function that returns a record.",
+    },
+    ThisExpression: {
+        code: "L1002",
+        cause: "`this` does not exist, so nothing can capture a calling context by accident.",
+        fix: "Pass what the function needs as an argument.",
+    },
+    ForInStatement: {
+        code: "L1004",
+        cause: "`for...in` walks an unspecified order and reaches inherited names, so it cannot be deterministic.",
+        fix: "Iterate explicitly: `for (const k of keys(record)) { ... }`.",
+    },
+    YieldExpression: {
+        code: "L1005",
+        cause: "Generators suspend and resume outside the effect journal, so a resumed run could not reproduce them.",
+        fix: "Use a loop, and `await` the effects inside it.",
+    },
+    TaggedTemplateExpression: {
+        code: "L1018",
+        cause: "A tagged template runs user code during evaluation of a literal, which hides an effect inside what looks like data.",
+        fix: "Use a plain template literal, or call the function explicitly.",
+    },
+    NewExpression: {
+        code: "L1019",
+        cause: "There are no constructors, so `new` has nothing to construct.",
+        fix: "Build a record literal, or call a function that returns one.",
+    },
+    ImportDeclaration: {
+        code: "L1020",
+        cause: "A program is exactly one module, because a run pins to the content hash of its source.",
+        fix: "Define the function in this file. Shared procedures are ordinary functions.",
+    },
+    ImportExpression: {
+        code: "L1020",
+        cause: "A program is exactly one module, because a run pins to the content hash of its source; a dynamic `import()` would load code the hash does not cover.",
+        fix: "Define the function in this file. Shared procedures are ordinary functions.",
+    },
+    ExportNamedDeclaration: {
+        code: "L1020",
+        cause: "A program is exactly one module and has nothing to export to.",
+        fix: "Remove the `export`.",
+    },
+    ExportDefaultDeclaration: {
+        code: "L1020",
+        cause: "A program is exactly one module and has nothing to export to.",
+        fix: "Remove the `export`.",
+    },
+    ExportAllDeclaration: {
+        code: "L1020",
+        cause: "A program is exactly one module and has nothing to export to.",
+        fix: "Remove the `export`.",
+    },
+    DoWhileStatement: {
+        code: "L1022",
+        cause: "`do...while` is not in the language.",
+        fix: "Use `while` with the condition checked first, or a `for` loop.",
+    },
+    LabeledStatement: {
+        code: "L1017",
+        cause: "Labels turn the derived flowchart's back-edges into arbitrary jumps.",
+        fix: "Restructure with a helper function or a boolean flag.",
+    },
+    SequenceExpression: {
+        code: "L1026",
+        cause: "The comma operator evaluates several expressions and keeps only the last, which hides work inside one expression.",
+        fix: "Write one statement per expression.",
+    },
+    MetaProperty: {
+        code: "L1020",
+        cause: "`import.meta` and `new.target` describe a module system and constructors, and this language has neither.",
+        fix: "Use `run()` for this run's own metadata.",
+    },
+    DebuggerStatement: {
+        code: "L1029",
+        cause: "`debugger` addresses a host debugger, and there is no host to address.",
+        fix: "Use `log(...)` to trace a value.",
+    },
+});
+/** Node types that occur only inside a forbidden node and are reported through their parent's row. */
+export const FORBIDDEN_CHILDREN = Object.freeze([
+    "ClassBody",
+    "MethodDefinition",
+    "PropertyDefinition",
+    "StaticBlock",
+    "PrivateIdentifier",
+    "Super",
+    "ImportSpecifier",
+    "ImportDefaultSpecifier",
+    "ImportNamespaceSpecifier",
+    "ExportSpecifier",
+]);
+/**
+ * Every node type acorn 8 emits for `ecmaVersion: 2023, sourceType: "module"`, whether or not it
+ * is in the language. `surface.smoke` asserts each one lands in exactly one of the sets above, so a
+ * node type acorn adds or one this file forgets is a red suite rather than a runtime surprise.
+ */
+export const KNOWN_NODES = Object.freeze([
+    ...ADMITTED_NODES,
+    ...STRUCTURAL_NODES,
+    ...Object.keys(FORBIDDEN_NODES),
+    ...FORBIDDEN_CHILDREN,
+]);
+//# sourceMappingURL=syntax.js.map

package/dist/syntax.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"syntax.js","sourceRoot":"","sources":["../src/syntax.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAIH,kGAAkG;AAClG,MAAM,CAAC,MAAM,cAAc,GAAwB,IAAI,GAAG,CAAC;IACzD,aAAa;IACb,SAAS;IACT,qBAAqB;IACrB,qBAAqB;IACrB,qBAAqB;IACrB,gBAAgB;IAChB,aAAa;IACb,gBAAgB;IAChB,cAAc;IACd,gBAAgB;IAChB,iBAAiB;IACjB,gBAAgB;IAChB,mBAAmB;IACnB,gBAAgB;IAChB,cAAc;IACd,iBAAiB;IACjB,gBAAgB;IAChB,cAAc;IACd,SAAS;IACT,YAAY;IACZ,iBAAiB;IACjB,iBAAiB;IACjB,kBAAkB;IAClB,kBAAkB;IAClB,iBAAiB;IACjB,iBAAiB;IACjB,kBAAkB;IAClB,kBAAkB;IAClB,mBAAmB;IACnB,uBAAuB;IACvB,sBAAsB;IACtB,iBAAiB;IACjB,yBAAyB;IACzB,oBAAoB;IACpB,gBAAgB;CACjB,CAAC,CAAC;AAEH;;;GAGG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAwB,IAAI,GAAG,CAAC;IAC3D,oBAAoB;IACpB,UAAU;IACV,eAAe;IACf,aAAa;IACb,mBAAmB;IACnB,eAAe;IACf,cAAc;IACd,iBAAiB;IACjB,YAAY;IACZ,aAAa;CACd,CAAC,CAAC;AAEH,6EAA6E;AAC7E,MAAM,CAAC,MAAM,eAAe,GAExB,MAAM,CAAC,MAAM,CAAC;IAChB,gBAAgB,EAAE;QAChB,IAAI,EAAE,OAAO;QACb,KAAK,EAAE,iGAAiG;QACxG,GAAG,EAAE,0DAA0D;KAChE;IACD,eAAe,EAAE;QACf,IAAI,EAAE,OAAO;QACb,KAAK,EAAE,iGAAiG;QACxG,GAAG,EAAE,0DAA0D;KAChE;IACD,cAAc,EAAE;QACd,IAAI,EAAE,OAAO;QACb,KAAK,EAAE,8EAA8E;QACrF,GAAG,EAAE,8CAA8C;KACpD;IACD,cAAc,EAAE;QACd,IAAI,EAAE,OAAO;QACb,KAAK,EAAE,mGAAmG;QAC1G,GAAG,EAAE,8DAA8D;KACpE;IACD,eAAe,EAAE;QACf,IAAI,EAAE,OAAO;QACb,KAAK,EAAE,sGAAsG;QAC7G,GAAG,EAAE,gDAAgD;KACtD;IACD,wBAAwB,EAAE;QACxB,IAAI,EAAE,OAAO;QACb,KAAK,EAAE,qHAAqH;QAC5H,GAAG,EAAE,gEAAgE;KACtE;IACD,aAAa,EAAE;QACb,IAAI,EAAE,OAAO;QACb,KAAK,EAAE,+DAA+D;QACtE,GAAG,EAAE,8DAA8D;KACpE;IACD,iBAAiB,EAAE;QACjB,IAAI,EAAE,OAAO;QACb,KAAK,EAAE,wFAAwF;QAC/F,GAAG,EAAE,6EAA6E;KACnF;IACD,gBAAgB,EAAE;QAChB,IAAI,EAAE,OAAO;QACb,KAAK,EAAE,sJAAsJ;QAC7J,GAAG,EAAE,6EAA6E;KACnF;IACD,sBAAsB,EAAE;QACtB,IAAI,EAAE,OAAO;QACb,KAAK,EAAE,+DAA+D;QACtE,GAAG,EAAE,sBAAsB;KAC5B;IACD,wBAAwB,EAAE;QACxB,IAAI,EAAE,OAAO;QACb,KAAK,EAAE,+DAA+D;QACtE,GAAG,EAAE,sBAAsB;KAC5B;IACD,oBAAoB,EAAE;QACpB,IAAI,EAAE,OAAO;QACb,KAAK,EAAE,+DAA+D;QACtE,GAAG,EAAE,sBAAsB;KAC5B;IACD,gBAAgB,EAAE;QAChB,IAAI,EAAE,OAAO;QACb,KAAK,EAAE,sCAAsC;QAC7C,GAAG,EAAE,gEAAgE;KACtE;IACD,gBAAgB,EAAE;QAChB,IAAI,EAAE,OAAO;QACb,KAAK,EAAE,sEAAsE;QAC7E,GAAG,EAAE,uDAAuD;KAC7D;IACD,kBAAkB,EAAE;QAClB,IAAI,EAAE,OAAO;QACb,KAAK,EAAE,mHAAmH;QAC1H,GAAG,EAAE,qCAAqC;KAC3C;IACD,YAAY,EAAE;QACZ,IAAI,EAAE,OAAO;QACb,KAAK,EAAE,0GAA0G;QACjH,GAAG,EAAE,0CAA0C;KAChD;IACD,iBAAiB,EAAE;QACjB,IAAI,EAAE,OAAO;QACb,KAAK,EAAE,wEAAwE;QAC/E,GAAG,EAAE,kCAAkC;KACxC;CACF,CAAC,CAAC;AAEH,sGAAsG;AACtG,MAAM,CAAC,MAAM,kBAAkB,GAAsB,MAAM,CAAC,MAAM,CAAC;IACjE,WAAW;IACX,kBAAkB;IAClB,oBAAoB;IACpB,aAAa;IACb,mBAAmB;IACnB,OAAO;IACP,iBAAiB;IACjB,wBAAwB;IACxB,0BAA0B;IAC1B,iBAAiB;CAClB,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,WAAW,GAAsB,MAAM,CAAC,MAAM,CAAC;IAC1D,GAAG,cAAc;IACjB,GAAG,gBAAgB;IACnB,GAAG,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC;IAC/B,GAAG,kBAAkB;CACtB,CAAC,CAAC"}

package/dist/values.d.ts

@@ -11,12 +11,31 @@ import type { ScopeFrame } from "./keys.js";
 /** Deep-freeze a value on its way across an effect boundary. Cycles are not reachable here: a
  *  value that crosses a boundary has to canonicalize, and a cycle does not. */
 export declare function deepFreeze<T>(value: T): T;
+/** Stamp a freshly built container with the depth of the frame building it. Returns the container. */
+export declare function born<T>(value: T, depth: number): T;
+/** The depth a container was born at. */
+export declare function birthDepth(value: object): number;
+/**
+ * Define an OWN property, never a prototype. `obj[key] = value` with key `__proto__` sets the
+ * prototype instead of a field, so every place the interpreter materializes a program-authored key
+ * (record literals, member writes, rest patterns) goes through here.
+ */
+export declare function setOwn(target: object, key: string, value: unknown): void;
+/**
+ * A value refused at an effect boundary, and WHY: a function is its own refusal (L3042) and every
+ * other shape without a canonical form is the same refusal (L3041), so the interpreter picks the
+ * code from `why` rather than from the message.
+ */
+export declare class NotCrossable extends TypeError {
+    readonly why: "function" | "undefined" | "non-finite" | "opaque";
+    constructor(why: "function" | "undefined" | "non-finite" | "opaque", message: string);
+}
 /**
  * A value that cannot canonicalize cannot be journalled, and a value that cannot be journalled
  * cannot be replayed. Catching it at the boundary is strictly better than discovering it at
  * digest time, because here we still know which argument it was.
  */
-export declare function assertCrossable(value: unknown, path?: string): void;
+export declare function assertCrossable(value: unknown, path?: string, seen?: Set<object>): void;
 /**
  * The seeded PRNG.
  *

package/dist/values.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"values.d.ts","sourceRoot":"","sources":["../src/values.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAG5C;+EAC+E;AAC/E,wBAAgB,UAAU,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAMzC;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,SAAU,GAAG,IAAI,CAsCpE;AAED;;;;;;;;GAQG;AACH,qBAAa,IAAI;IAGH,QAAQ,CAAC,IAAI,EAAE,MAAM;IAFjC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAA6B;gBAE9B,IAAI,EAAE,MAAM;IAEjC,IAAI,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,GAAG,MAAM;CAU3C"}
+{"version":3,"file":"values.d.ts","sourceRoot":"","sources":["../src/values.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAG5C;+EAC+E;AAC/E,wBAAgB,UAAU,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAMzC;AAkBD,sGAAsG;AACtG,wBAAgB,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,GAAG,CAAC,CAKlD;AAED,yCAAyC;AACzC,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAGhD;AAED;;;;GAIG;AACH,wBAAgB,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI,CAExE;AAED;;;;GAIG;AACH,qBAAa,YAAa,SAAQ,SAAS;IAEvC,QAAQ,CAAC,GAAG,EAAE,UAAU,GAAG,WAAW,GAAG,YAAY,GAAG,QAAQ;gBAAvD,GAAG,EAAE,UAAU,GAAG,WAAW,GAAG,YAAY,GAAG,QAAQ,EAChE,OAAO,EAAE,MAAM;CAKlB;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,SAAU,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI,CAoExF;AAED;;;;;;;;GAQG;AACH,qBAAa,IAAI;IAGH,QAAQ,CAAC,IAAI,EAAE,MAAM;IAFjC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAA6B;gBAE9B,IAAI,EAAE,MAAM;IAEjC,IAAI,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,GAAG,MAAM;CAU3C"}

package/dist/values.js.map

@@ -1 +1 @@
-{"version":3,"file":"values.js","sourceRoot":"","sources":["../src/values.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EAAE,eAAe,EAAE,MAAM,WAAW,CAAC;AAE5C;+EAC+E;AAC/E,MAAM,UAAU,UAAU,CAAI,KAAQ;IACpC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC9D,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACzC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACrB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,KAAgC,CAAC;QAAE,UAAU,CAAC,CAAC,CAAC,CAAC;IAC/E,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,KAAc,EAAE,IAAI,GAAG,OAAO;IAC5D,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO;IAC3B,QAAQ,OAAO,KAAK,EAAE,CAAC;QACrB,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ;YACX,OAAO;QACT,KAAK,QAAQ;YACX,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC5B,MAAM,IAAI,SAAS,CACjB,GAAG,IAAI,OAAO,MAAM,CAAC,KAAK,CAAC,sEAAsE,CAClG,CAAC;YACJ,CAAC;YACD,OAAO;QACT,KAAK,UAAU;YACb,MAAM,IAAI,SAAS,CACjB,GAAG,IAAI,+GAA+G,CACvH,CAAC;QACJ,KAAK,WAAW;YACd,MAAM,IAAI,SAAS,CACjB,GAAG,IAAI,6EAA6E,CACrF,CAAC;QACJ,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC7D,OAAO;YACT,CAAC;YACD,MAAM,KAAK,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAY,CAAC;YACtD,IAAI,KAAK,KAAK,MAAM,CAAC,SAAS,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBACjD,MAAM,IAAI,SAAS,CAAC,GAAG,IAAI,iDAAiD,CAAC,CAAC;YAChF,CAAC;YACD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,EAAE,CAAC;gBACtE,eAAe,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;YACrC,CAAC;YACD,OAAO;QACT,CAAC;QACD;YACE,MAAM,IAAI,SAAS,CAAC,GAAG,IAAI,wBAAwB,CAAC,CAAC;IACzD,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,OAAO,IAAI;IAGM;IAFJ,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IAEnD,YAAqB,IAAY;QAAZ,SAAI,GAAJ,IAAI,CAAQ;IAAG,CAAC;IAErC,IAAI,CAAC,KAA4B;QAC/B,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;QACpC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,MAAM,EAAE,CAAC;QACpF,4EAA4E;QAC5E,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC;YAAE,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACzD,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;IACrB,CAAC;CACF"}
+{"version":3,"file":"values.js","sourceRoot":"","sources":["../src/values.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EAAE,eAAe,EAAE,MAAM,WAAW,CAAC;AAE5C;+EAC+E;AAC/E,MAAM,UAAU,UAAU,CAAI,KAAQ;IACpC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC9D,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACzC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACrB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,KAAgC,CAAC;QAAE,UAAU,CAAC,CAAC,CAAC,CAAC;IAC/E,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,KAAK,GAAkB,MAAM,CAAC,wBAAwB,CAAC,CAAC;AAE9D,sGAAsG;AACtG,MAAM,UAAU,IAAI,CAAI,KAAQ,EAAE,KAAa;IAC7C,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACxF,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC;IACjH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,yCAAyC;AACzC,MAAM,UAAU,UAAU,CAAC,KAAa;IACtC,MAAM,CAAC,GAAI,KAAiC,CAAC,KAAK,CAAC,CAAC;IACpD,OAAO,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACvC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,MAAM,CAAC,MAAc,EAAE,GAAW,EAAE,KAAc;IAChE,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;AACtG,CAAC;AAED;;;;GAIG;AACH,MAAM,OAAO,YAAa,SAAQ,SAAS;IAE9B;IADX,YACW,GAAuD,EAChE,OAAe;QAEf,KAAK,CAAC,OAAO,CAAC,CAAC;QAHN,QAAG,GAAH,GAAG,CAAoD;QAIhE,IAAI,CAAC,IAAI,GAAG,cAAc,CAAC;IAC7B,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,KAAc,EAAE,IAAI,GAAG,OAAO,EAAE,IAAkB;IAChF,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO;IAC3B,QAAQ,OAAO,KAAK,EAAE,CAAC;QACrB,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ;YACX,OAAO;QACT,KAAK,QAAQ;YACX,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC5B,MAAM,IAAI,YAAY,CACpB,YAAY,EACZ,GAAG,IAAI,OAAO,MAAM,CAAC,KAAK,CAAC,sEAAsE,CAClG,CAAC;YACJ,CAAC;YACD,OAAO;QACT,KAAK,UAAU;YACb,MAAM,IAAI,YAAY,CACpB,UAAU,EACV,GAAG,IAAI,+GAA+G,CACvH,CAAC;QACJ,KAAK,WAAW;YACd,MAAM,IAAI,YAAY,CACpB,WAAW,EACX,GAAG,IAAI,6EAA6E,CACrF,CAAC;QACJ,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,4FAA4F;YAC5F,yFAAyF;YACzF,wFAAwF;YACxF,wBAAwB;YACxB,MAAM,CAAC,GAAG,IAAI,IAAI,IAAI,GAAG,EAAU,CAAC;YACpC,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBACjB,MAAM,IAAI,YAAY,CAAC,QAAQ,EAAE,GAAG,IAAI,+EAA+E,CAAC,CAAC;YAC3H,CAAC;YACD,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACb,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,sFAAsF;gBACtF,wDAAwD;gBACxD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;oBACzC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;wBAClB,MAAM,IAAI,YAAY,CACpB,QAAQ,EACR,GAAG,IAAI,IAAI,CAAC,uHAAuH,CACpI,CAAC;oBACJ,CAAC;oBACD,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;gBAChD,CAAC;gBACD,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBAChB,OAAO;YACT,CAAC;YACD,MAAM,KAAK,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAY,CAAC;YACtD,IAAI,KAAK,KAAK,MAAM,CAAC,SAAS,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBACjD,MAAM,IAAI,YAAY,CAAC,QAAQ,EAAE,GAAG,IAAI,iDAAiD,CAAC,CAAC;YAC7F,CAAC;YACD,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC,EAAE,CAAC;gBAC7D,MAAM,IAAI,YAAY,CACpB,QAAQ,EACR,GAAG,IAAI,iGAAiG,CACzG,CAAC;YACJ,CAAC;YACD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,EAAE,CAAC;gBACtE,eAAe,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;YACxC,CAAC;YACD,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAChB,OAAO;QACT,CAAC;QACD;YACE,MAAM,IAAI,YAAY,CAAC,QAAQ,EAAE,GAAG,IAAI,wBAAwB,CAAC,CAAC;IACtE,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,OAAO,IAAI;IAGM;IAFJ,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IAEnD,YAAqB,IAAY;QAAZ,SAAI,GAAJ,IAAI,CAAQ;IAAG,CAAC;IAErC,IAAI,CAAC,KAA4B;QAC/B,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;QACpC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,SAAS,IAAI,SAAS,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,MAAM,EAAE,CAAC;QAC9F,4EAA4E;QAC5E,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC;YAAE,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACzD,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;IACrB,CAAC;CACF"}

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@cotal-ai/lang",
   "description": "cotal-lang: the restricted-JS workflow language. Parser and validator, the effect interface, the step journal, the interpreter, and the simulation handler. Depends on nothing else in the repo.",
-  "version": "0.22.0",
+  "version": "0.24.0",
   "license": "Apache-2.0",
   "repository": {
     "type": "git",
@@ -30,6 +30,6 @@
   "scripts": {
     "typecheck": "tsc -p tsconfig.json --noEmit",
     "build": "tsc -p tsconfig.json",
-    "test": "tsx smoke/grammar.smoke.ts && tsx smoke/keys.smoke.ts && tsx smoke/journal.smoke.ts && tsx smoke/sim.smoke.ts && tsx smoke/interpret.smoke.ts && tsx smoke/fuel.smoke.ts && tsx smoke/dryrun.smoke.ts && tsx smoke/examples.smoke.ts && tsx smoke/options.smoke.ts"
+    "test": "tsx smoke/grammar.smoke.ts && tsx smoke/keys.smoke.ts && tsx smoke/journal.smoke.ts && tsx smoke/pins.smoke.ts && tsx smoke/scopes.smoke.ts && tsx smoke/sim.smoke.ts && tsx smoke/interpret.smoke.ts && tsx smoke/fuel.smoke.ts && tsx smoke/dryrun.smoke.ts && tsx smoke/examples.smoke.ts && tsx smoke/options.smoke.ts && tsx smoke/notify-fact.smoke.ts && tsx smoke/migrate.smoke.ts && tsx smoke/semantics.smoke.ts && tsx smoke/surface.smoke.ts"
   }
 }