@cotal-ai/lang 0.24.0 → 0.25.0

package/dist/errors.js

@@ -91,6 +91,7 @@ export const CATALOG = {
     L4018: "No implicit conversion",
     L4019: "Array write past the end",
     L4020: "A method is not a value",
+    L4021: "A callable `then` is not a record member",
     // ---- L5xxx: durability -----------------------------------------------------------------------
     L5001: "Run divergence",
     L5002: "Program hash not available",
@@ -146,6 +147,20 @@ export const CATALOG = {
     // awaited `Promise.race([])`, which never settles. Its own code and not L5001 because that one is
     // a hash comparison down to its field names, and this is a comparison of branch NAMES.
     L5022: "A recorded branch is not in the migrated source",
+    // Allocated here because the L5xxx range is where a fact about a RECORD lives, and this is one: the
+    // record names a language version and this build has no engine that speaks it. Deliberately not
+    // L5008, which is the same shape of disagreement one layer in - a record handed to a SPECIFIC
+    // engine whose version differs, where the repair is to run it on the engine that matches. Here
+    // there is no such engine to name, so the repair is a different sentence and gets its own code.
+    L5023: "No engine in this build serves this record's language version",
+    // Allocated from THIS FILE, same rule as the three above. A fact about a RECORD, so L5xxx: the
+    // entry's `external` is a value the language cannot express, which is different from the record
+    // disagreeing with the source (L5001) or with this build (L5023): nothing here disagrees with
+    // anything, the field simply cannot be read back. Its write-side sibling is deliberately NOT a new
+    // code: a handler that binds such a value fails inside its own dispatch, where L4000 handler-fault
+    // already says exactly that, and a second name for one fact is the defect the L5017..L5020 note
+    // above was written about.
+    L5024: "A recorded value has no canonical form",
     // ---- L6xxx: simulation -------------------------------------------------------------------------
     L6001: "Unscripted effect in simulation",
     L6002: "Simulation script entry unused",
@@ -248,4 +263,86 @@ export class RuntimeFault extends Error {
         this.name = "RuntimeFault";
     }
 }
+/** The message off anything a foreign body throws, read defensively: other people's code may throw a primitive. */
+export function messageOf(v) {
+    if (v instanceof Error)
+        return v.message;
+    const m = v?.message;
+    return typeof m === "string" ? m : String(v);
+}
+/** A recorded step's inputs changed, so its recorded result may no longer be the truth. */
+export class RunDivergence extends Error {
+    stepKey;
+    recordedHash;
+    programHash;
+    constructor(stepKey, recordedHash, programHash) {
+        super(`L5001 Run divergence\n\n  step  ${stepKey}   INPUT CHANGED\n        recorded  ${recordedHash}\n        program   ${programHash}\n\nThe recorded result was produced from different inputs, so replaying it would hand the program an answer to a question it is no longer asking.\n\nOptions\n  fork(run, "${stepKey}")   re-run from this step, keeping everything before it\n  revert the inputs         keep the recorded result`);
+        this.stepKey = stepKey;
+        this.recordedHash = recordedHash;
+        this.programHash = programHash;
+        this.name = "RunDivergence";
+    }
+}
+/**
+ * A migration's walk reached a settled scope it cannot enter.
+ *
+ * A `conclave` is the case that exists today: its channel handle is HANDLER-DERIVED, the mint
+ * returns it and nothing journals it, so a walk cannot re-enter the body without inventing a
+ * handle, and an invented one would re-hash every step inside that used the channel into a
+ * divergence the run never had. Refusing is the honest exit. Consuming the subtree instead would
+ * hide exactly the orphans a migration exists to find, which is a silent wrong answer in place of
+ * a loud refusal.
+ */
+export class UnwalkableScope extends Error {
+    scopeKey;
+    why;
+    constructor(scopeKey, why) {
+        super(`a migration cannot walk inside the settled ${why} at ${scopeKey}: its handle is handler-derived and was never journalled, so the walk would have to invent one. Fork from this step instead, or migrate a run that does not contain it.`);
+        this.scopeKey = scopeKey;
+        this.why = why;
+        this.name = "UnwalkableScope";
+    }
+}
+/**
+ * A migration's walk was sent into a recorded branch the new source does not have.
+ *
+ * Its own code rather than `RunDivergence`, for the reason the L5005/L5006/L5007 collision in the
+ * orphan table bought: `RunDivergence` is a HASH comparison and says so in both its fields and its
+ * message, and putting branch NAMES in fields called `recordedHash`/`programHash` would be a lie in
+ * the payload a repair loop reads. The author's repair differs too: this one is fixed by looking at
+ * an arm's NAME, not at its body.
+ */
+export class ScopeBranchMissing extends Error {
+    scopeKey;
+    scope;
+    missing;
+    recorded;
+    source;
+    constructor(scopeKey, scope, missing, recorded, source) {
+        super(recorded.length === 0
+            // THE EMPTY CASE IS NOT THE SAME SENTENCE. "A recorded branch is not in the source" is false
+            // here: no branch was recorded at all, and saying "missing: " with nothing after it would
+            // send a reader looking through their source for an arm that was never named. The cause is
+            // the entry, not the edit, and the repair is different too.
+            ? `L5022 A settled scope recorded no branch names\n\n  step  ${scopeKey}   BRANCH NAMES ABSENT\n`
+                + `        source    ${source.join(", ")}\n\n`
+                + `This ${scope} settled before scopes recorded their arm names on failure, so the walk has `
+                + `nothing to tell it which arm ran. It cannot enter one, and entering none would wait `
+                + `forever on a scope with no branches in it.\n\nOptions\n  resume(run)   replay it rather `
+                + `than walking it\n  fork(run, "${scopeKey}")   re-run this scope on the current arms`
+            : `L5022 A recorded branch is not in the migrated source\n\n  step  ${scopeKey}   BRANCH MISSING\n`
+                + `        recorded  ${recorded.join(", ")}\n        source    ${source.join(", ")}\n`
+                + `        missing   ${missing.join(", ")}\n\n`
+                + `This ${scope} settled on ${missing.length === 1 ? "a branch" : "branches"} the new source no longer declares, so the walk `
+                + `cannot enter ${missing.length === 1 ? "it" : "them"} to check what ran inside. Migrating anyway would hand the program a `
+                + `result produced by an arm it does not have.\n\nOptions\n  restore the branch ${missing.map((k) => `\`${k}\``).join(", ")}   `
+                + `keep the recorded result\n  fork(run, "${scopeKey}")   re-run this scope on the new arms`);
+        this.scopeKey = scopeKey;
+        this.scope = scope;
+        this.missing = missing;
+        this.recorded = recorded;
+        this.source = source;
+        this.name = "ScopeBranchMissing";
+    }
+}
 //# sourceMappingURL=errors.js.map

package/dist/errors.js.map

@@ -1 +1 @@
-{"version":3,"file":"errors.js","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,wFAAwF;AACxF,MAAM,CAAC,MAAM,OAAO,GAAG;IACrB,8FAA8F;IAC9F,KAAK,EAAE,2BAA2B;IAClC,KAAK,EAAE,0BAA0B;IACjC,KAAK,EAAE,yBAAyB;IAChC,KAAK,EAAE,8BAA8B;IACrC,KAAK,EAAE,6BAA6B;IACpC,KAAK,EAAE,wCAAwC;IAC/C,KAAK,EAAE,8CAA8C;IACrD,+FAA+F;IAC/F,4FAA4F;IAC5F,kGAAkG;IAClG,KAAK,EAAE,gBAAgB;IACvB,KAAK,EAAE,iBAAiB;IACxB,KAAK,EAAE,kCAAkC;IACzC,KAAK,EAAE,wBAAwB;IAC/B,KAAK,EAAE,eAAe;IACtB,KAAK,EAAE,0BAA0B;IACjC,KAAK,EAAE,0BAA0B;IACjC,KAAK,EAAE,4BAA4B;IACnC,KAAK,EAAE,gCAAgC;IACvC,KAAK,EAAE,yBAAyB;IAChC,KAAK,EAAE,2CAA2C;IAClD,KAAK,EAAE,yBAAyB;IAChC,KAAK,EAAE,wCAAwC;IAC/C,KAAK,EAAE,4BAA4B;IACnC,KAAK,EAAE,gCAAgC;IACvC,KAAK,EAAE,qDAAqD;IAC5D,KAAK,EAAE,6BAA6B;IACpC,KAAK,EAAE,kCAAkC;IACzC,KAAK,EAAE,kCAAkC;IACzC,KAAK,EAAE,0BAA0B;IACjC,KAAK,EAAE,yBAAyB;IAChC,0FAA0F;IAC1F,+FAA+F;IAC/F,mFAAmF;IACnF,KAAK,EAAE,6BAA6B;IACpC,KAAK,EAAE,2BAA2B;IAElC,8FAA8F;IAC9F,KAAK,EAAE,oBAAoB;IAC3B,KAAK,EAAE,kCAAkC;IACzC,KAAK,EAAE,iCAAiC;IACxC,KAAK,EAAE,wBAAwB;IAC/B,KAAK,EAAE,kCAAkC;IACzC,KAAK,EAAE,8BAA8B;IACrC,KAAK,EAAE,8BAA8B;IACrC,KAAK,EAAE,4BAA4B;IACnC,KAAK,EAAE,iEAAiE;IAExE,+FAA+F;IAC/F,KAAK,EAAE,oBAAoB;IAC3B,KAAK,EAAE,4BAA4B;IACnC,KAAK,EAAE,4BAA4B;IACnC,KAAK,EAAE,qBAAqB;IAC5B,KAAK,EAAE,4BAA4B;IACnC,KAAK,EAAE,0CAA0C;IACjD,KAAK,EAAE,2CAA2C;IAClD,KAAK,EAAE,qCAAqC;IAC5C,KAAK,EAAE,mDAAmD;IAC1D,KAAK,EAAE,uCAAuC;IAC9C,KAAK,EAAE,gCAAgC;IACvC,KAAK,EAAE,gDAAgD;IACvD,KAAK,EAAE,uCAAuC;IAE9C,gGAAgG;IAChG,KAAK,EAAE,kBAAkB;IACzB,KAAK,EAAE,YAAY;IACnB,KAAK,EAAE,uBAAuB;IAC9B,KAAK,EAAE,0BAA0B;IACjC,KAAK,EAAE,qCAAqC;IAC5C,KAAK,EAAE,0CAA0C;IACjD,KAAK,EAAE,oBAAoB;IAC3B,KAAK,EAAE,2BAA2B;IAClC,KAAK,EAAE,4BAA4B;IACnC,KAAK,EAAE,uCAAuC;IAC9C,KAAK,EAAE,wCAAwC;IAC/C,KAAK,EAAE,kBAAkB;IACzB,KAAK,EAAE,uBAAuB;IAC9B,KAAK,EAAE,gBAAgB;IACvB,KAAK,EAAE,cAAc;IACrB,KAAK,EAAE,gBAAgB;IACvB,KAAK,EAAE,sBAAsB;IAC7B,KAAK,EAAE,wBAAwB;IAC/B,KAAK,EAAE,0BAA0B;IACjC,KAAK,EAAE,yBAAyB;IAEhC,iGAAiG;IACjG,KAAK,EAAE,gBAAgB;IACvB,KAAK,EAAE,4BAA4B;IACnC,KAAK,EAAE,6BAA6B;IACpC,KAAK,EAAE,yCAAyC;IAChD,KAAK,EAAE,sCAAsC;IAC7C,KAAK,EAAE,yBAAyB;IAChC,KAAK,EAAE,YAAY;IACnB,KAAK,EAAE,2CAA2C;IAClD,KAAK,EAAE,qBAAqB;IAC5B,4FAA4F;IAC5F,4FAA4F;IAC5F,qCAAqC;IACrC,KAAK,EAAE,yBAAyB;IAChC,8FAA8F;IAC9F,gGAAgG;IAChG,sDAAsD;IACtD,KAAK,EAAE,oCAAoC;IAC3C,iGAAiG;IACjG,6FAA6F;IAC7F,+FAA+F;IAC/F,yFAAyF;IACzF,aAAa;IACb,KAAK,EAAE,qCAAqC;IAC5C,gGAAgG;IAChG,iGAAiG;IACjG,kGAAkG;IAClG,iGAAiG;IACjG,iBAAiB;IACjB,KAAK,EAAE,0CAA0C;IACjD,KAAK,EAAE,qCAAqC;IAC5C,KAAK,EAAE,iDAAiD;IACxD,4FAA4F;IAC5F,6FAA6F;IAC7F,4FAA4F;IAC5F,KAAK,EAAE,iCAAiC;IACxC,6FAA6F;IAC7F,kGAAkG;IAClG,kGAAkG;IAClG,+FAA+F;IAC/F,cAAc;IACd,KAAK,EAAE,qCAAqC;IAC5C,KAAK,EAAE,4BAA4B;IACnC,KAAK,EAAE,kEAAkE;IACzE,KAAK,EAAE,0CAA0C;IACjD,6FAA6F;IAC7F,iGAAiG;IACjG,gGAAgG;IAChG,iGAAiG;IACjG,KAAK,EAAE,8CAA8C;IACrD,gGAAgG;IAChG,4FAA4F;IAC5F,kGAAkG;IAClG,uFAAuF;IACvF,KAAK,EAAE,iDAAiD;IAExD,mGAAmG;IACnG,KAAK,EAAE,iCAAiC;IACxC,KAAK,EAAE,gCAAgC;CAC/B,CAAC;AAyCX;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAC,MAAc,EAAE,IAAgB;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACjC,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;IAC1B,IAAI,GAAG,GAAG,CAAC,IAAI,GAAG,IAAI,KAAK,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IAC9C,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;IAC9B,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IAC1D,OAAO,GAAG,MAAM,MAAM,IAAI,KAAK,GAAG,MAAM,QAAQ,GAAG,CAAC;AACtD,CAAC;AAED,oFAAoF;AACpF,MAAM,OAAO,SAAU,SAAQ,KAAK;IACzB,IAAI,CAAgB;IACpB,KAAK,CAAS;IACd,IAAI,CAAa;IACjB,KAAK,CAAS;IACd,GAAG,CAAS;IACZ,MAAM,CAAa;IAE5B,YAAY,IAAmB;QAC7B,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5C,IAAI,CAAC,IAAI,GAAG,WAAW,CAAC;QACxB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QACtB,IAAI,CAAC,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QACtB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACxB,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;QACpB,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;YAAE,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3D,CAAC;IAED,MAAM,CAAC,MAAc;QACnB,MAAM,IAAI,GAAG;YACX,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,KAAK,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE;YAC5D,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,GAAG,EAAE,IAAI,CAAC,GAAG;SACd,CAAC;QACF,OAAO,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;IAC7E,CAAC;IAED,uFAAuF;IACvF,MAAM,CAAC,MAAc;QACnB,MAAM,KAAK,GAAG;YACZ,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,KAAK,EAAE;YAC7B,EAAE;YACF,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC;YAC5B,EAAE;YACF,IAAI,CAAC,KAAK;YACV,EAAE;YACF,QAAQ,IAAI,CAAC,GAAG,EAAE;SACnB,CAAC;QACF,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAClF,CAAC;QACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;CACF;AAED;;;GAGG;AACH,MAAM,OAAO,UAAW,SAAQ,KAAK;IAC1B,MAAM,CAAuB;IAC7B,MAAM,CAAS;IAExB,YAAY,MAA4B,EAAE,MAAc;QACtD,KAAK,CAAC,GAAG,MAAM,CAAC,MAAM,SAAS,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC;QAC5E,IAAI,CAAC,IAAI,GAAG,YAAY,CAAC;QACzB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;IAED,MAAM;QACJ,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;IACvD,CAAC;IAED,MAAM;QACJ,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACpE,CAAC;CACF;AAED;;;;;;;GAOG;AACH,MAAM,OAAO,YAAa,SAAQ,KAAK;IAE1B;IADX,YACW,IAAY,EACrB,OAAe;QAEf,KAAK,CAAC,GAAG,IAAI,IAAI,OAAO,EAAE,CAAC,CAAC;QAHnB,SAAI,GAAJ,IAAI,CAAQ;QAIrB,IAAI,CAAC,IAAI,GAAG,cAAc,CAAC;IAC7B,CAAC;CACF"}
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,wFAAwF;AACxF,MAAM,CAAC,MAAM,OAAO,GAAG;IACrB,8FAA8F;IAC9F,KAAK,EAAE,2BAA2B;IAClC,KAAK,EAAE,0BAA0B;IACjC,KAAK,EAAE,yBAAyB;IAChC,KAAK,EAAE,8BAA8B;IACrC,KAAK,EAAE,6BAA6B;IACpC,KAAK,EAAE,wCAAwC;IAC/C,KAAK,EAAE,8CAA8C;IACrD,+FAA+F;IAC/F,4FAA4F;IAC5F,kGAAkG;IAClG,KAAK,EAAE,gBAAgB;IACvB,KAAK,EAAE,iBAAiB;IACxB,KAAK,EAAE,kCAAkC;IACzC,KAAK,EAAE,wBAAwB;IAC/B,KAAK,EAAE,eAAe;IACtB,KAAK,EAAE,0BAA0B;IACjC,KAAK,EAAE,0BAA0B;IACjC,KAAK,EAAE,4BAA4B;IACnC,KAAK,EAAE,gCAAgC;IACvC,KAAK,EAAE,yBAAyB;IAChC,KAAK,EAAE,2CAA2C;IAClD,KAAK,EAAE,yBAAyB;IAChC,KAAK,EAAE,wCAAwC;IAC/C,KAAK,EAAE,4BAA4B;IACnC,KAAK,EAAE,gCAAgC;IACvC,KAAK,EAAE,qDAAqD;IAC5D,KAAK,EAAE,6BAA6B;IACpC,KAAK,EAAE,kCAAkC;IACzC,KAAK,EAAE,kCAAkC;IACzC,KAAK,EAAE,0BAA0B;IACjC,KAAK,EAAE,yBAAyB;IAChC,0FAA0F;IAC1F,+FAA+F;IAC/F,mFAAmF;IACnF,KAAK,EAAE,6BAA6B;IACpC,KAAK,EAAE,2BAA2B;IAElC,8FAA8F;IAC9F,KAAK,EAAE,oBAAoB;IAC3B,KAAK,EAAE,kCAAkC;IACzC,KAAK,EAAE,iCAAiC;IACxC,KAAK,EAAE,wBAAwB;IAC/B,KAAK,EAAE,kCAAkC;IACzC,KAAK,EAAE,8BAA8B;IACrC,KAAK,EAAE,8BAA8B;IACrC,KAAK,EAAE,4BAA4B;IACnC,KAAK,EAAE,iEAAiE;IAExE,+FAA+F;IAC/F,KAAK,EAAE,oBAAoB;IAC3B,KAAK,EAAE,4BAA4B;IACnC,KAAK,EAAE,4BAA4B;IACnC,KAAK,EAAE,qBAAqB;IAC5B,KAAK,EAAE,4BAA4B;IACnC,KAAK,EAAE,0CAA0C;IACjD,KAAK,EAAE,2CAA2C;IAClD,KAAK,EAAE,qCAAqC;IAC5C,KAAK,EAAE,mDAAmD;IAC1D,KAAK,EAAE,uCAAuC;IAC9C,KAAK,EAAE,gCAAgC;IACvC,KAAK,EAAE,gDAAgD;IACvD,KAAK,EAAE,uCAAuC;IAE9C,gGAAgG;IAChG,KAAK,EAAE,kBAAkB;IACzB,KAAK,EAAE,YAAY;IACnB,KAAK,EAAE,uBAAuB;IAC9B,KAAK,EAAE,0BAA0B;IACjC,KAAK,EAAE,qCAAqC;IAC5C,KAAK,EAAE,0CAA0C;IACjD,KAAK,EAAE,oBAAoB;IAC3B,KAAK,EAAE,2BAA2B;IAClC,KAAK,EAAE,4BAA4B;IACnC,KAAK,EAAE,uCAAuC;IAC9C,KAAK,EAAE,wCAAwC;IAC/C,KAAK,EAAE,kBAAkB;IACzB,KAAK,EAAE,uBAAuB;IAC9B,KAAK,EAAE,gBAAgB;IACvB,KAAK,EAAE,cAAc;IACrB,KAAK,EAAE,gBAAgB;IACvB,KAAK,EAAE,sBAAsB;IAC7B,KAAK,EAAE,wBAAwB;IAC/B,KAAK,EAAE,0BAA0B;IACjC,KAAK,EAAE,yBAAyB;IAChC,KAAK,EAAE,0CAA0C;IAEjD,iGAAiG;IACjG,KAAK,EAAE,gBAAgB;IACvB,KAAK,EAAE,4BAA4B;IACnC,KAAK,EAAE,6BAA6B;IACpC,KAAK,EAAE,yCAAyC;IAChD,KAAK,EAAE,sCAAsC;IAC7C,KAAK,EAAE,yBAAyB;IAChC,KAAK,EAAE,YAAY;IACnB,KAAK,EAAE,2CAA2C;IAClD,KAAK,EAAE,qBAAqB;IAC5B,4FAA4F;IAC5F,4FAA4F;IAC5F,qCAAqC;IACrC,KAAK,EAAE,yBAAyB;IAChC,8FAA8F;IAC9F,gGAAgG;IAChG,sDAAsD;IACtD,KAAK,EAAE,oCAAoC;IAC3C,iGAAiG;IACjG,6FAA6F;IAC7F,+FAA+F;IAC/F,yFAAyF;IACzF,aAAa;IACb,KAAK,EAAE,qCAAqC;IAC5C,gGAAgG;IAChG,iGAAiG;IACjG,kGAAkG;IAClG,iGAAiG;IACjG,iBAAiB;IACjB,KAAK,EAAE,0CAA0C;IACjD,KAAK,EAAE,qCAAqC;IAC5C,KAAK,EAAE,iDAAiD;IACxD,4FAA4F;IAC5F,6FAA6F;IAC7F,4FAA4F;IAC5F,KAAK,EAAE,iCAAiC;IACxC,6FAA6F;IAC7F,kGAAkG;IAClG,kGAAkG;IAClG,+FAA+F;IAC/F,cAAc;IACd,KAAK,EAAE,qCAAqC;IAC5C,KAAK,EAAE,4BAA4B;IACnC,KAAK,EAAE,kEAAkE;IACzE,KAAK,EAAE,0CAA0C;IACjD,6FAA6F;IAC7F,iGAAiG;IACjG,gGAAgG;IAChG,iGAAiG;IACjG,KAAK,EAAE,8CAA8C;IACrD,gGAAgG;IAChG,4FAA4F;IAC5F,kGAAkG;IAClG,uFAAuF;IACvF,KAAK,EAAE,iDAAiD;IACxD,oGAAoG;IACpG,gGAAgG;IAChG,8FAA8F;IAC9F,+FAA+F;IAC/F,gGAAgG;IAChG,KAAK,EAAE,+DAA+D;IACtE,+FAA+F;IAC/F,gGAAgG;IAChG,8FAA8F;IAC9F,mGAAmG;IACnG,mGAAmG;IACnG,gGAAgG;IAChG,2BAA2B;IAC3B,KAAK,EAAE,wCAAwC;IAE/C,mGAAmG;IACnG,KAAK,EAAE,iCAAiC;IACxC,KAAK,EAAE,gCAAgC;CAC/B,CAAC;AAyCX;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAC,MAAc,EAAE,IAAgB;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACjC,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;IAC1B,IAAI,GAAG,GAAG,CAAC,IAAI,GAAG,IAAI,KAAK,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IAC9C,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;IAC9B,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IAC1D,OAAO,GAAG,MAAM,MAAM,IAAI,KAAK,GAAG,MAAM,QAAQ,GAAG,CAAC;AACtD,CAAC;AAED,oFAAoF;AACpF,MAAM,OAAO,SAAU,SAAQ,KAAK;IACzB,IAAI,CAAgB;IACpB,KAAK,CAAS;IACd,IAAI,CAAa;IACjB,KAAK,CAAS;IACd,GAAG,CAAS;IACZ,MAAM,CAAa;IAE5B,YAAY,IAAmB;QAC7B,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5C,IAAI,CAAC,IAAI,GAAG,WAAW,CAAC;QACxB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QACtB,IAAI,CAAC,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QACtB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACxB,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;QACpB,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;YAAE,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3D,CAAC;IAED,MAAM,CAAC,MAAc;QACnB,MAAM,IAAI,GAAG;YACX,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,KAAK,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE;YAC5D,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,GAAG,EAAE,IAAI,CAAC,GAAG;SACd,CAAC;QACF,OAAO,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;IAC7E,CAAC;IAED,uFAAuF;IACvF,MAAM,CAAC,MAAc;QACnB,MAAM,KAAK,GAAG;YACZ,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,KAAK,EAAE;YAC7B,EAAE;YACF,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC;YAC5B,EAAE;YACF,IAAI,CAAC,KAAK;YACV,EAAE;YACF,QAAQ,IAAI,CAAC,GAAG,EAAE;SACnB,CAAC;QACF,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAClF,CAAC;QACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;CACF;AAED;;;GAGG;AACH,MAAM,OAAO,UAAW,SAAQ,KAAK;IAC1B,MAAM,CAAuB;IAC7B,MAAM,CAAS;IAExB,YAAY,MAA4B,EAAE,MAAc;QACtD,KAAK,CAAC,GAAG,MAAM,CAAC,MAAM,SAAS,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC;QAC5E,IAAI,CAAC,IAAI,GAAG,YAAY,CAAC;QACzB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;IAED,MAAM;QACJ,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;IACvD,CAAC;IAED,MAAM;QACJ,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACpE,CAAC;CACF;AAED;;;;;;;GAOG;AACH,MAAM,OAAO,YAAa,SAAQ,KAAK;IAE1B;IADX,YACW,IAAY,EACrB,OAAe;QAEf,KAAK,CAAC,GAAG,IAAI,IAAI,OAAO,EAAE,CAAC,CAAC;QAHnB,SAAI,GAAJ,IAAI,CAAQ;QAIrB,IAAI,CAAC,IAAI,GAAG,cAAc,CAAC;IAC7B,CAAC;CACF;AAED,mHAAmH;AACnH,MAAM,UAAU,SAAS,CAAC,CAAU;IAClC,IAAI,CAAC,YAAY,KAAK;QAAE,OAAO,CAAC,CAAC,OAAO,CAAC;IACzC,MAAM,CAAC,GAAI,CAA8C,EAAE,OAAO,CAAC;IACnE,OAAO,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;AAC/C,CAAC;AAED,2FAA2F;AAC3F,MAAM,OAAO,aAAc,SAAQ,KAAK;IAE3B;IACA;IACA;IAHX,YACW,OAAe,EACf,YAAoB,EACpB,WAAmB;QAE5B,KAAK,CACH,mCAAmC,OAAO,uCAAuC,YAAY,uBAAuB,WAAW,+KAA+K,OAAO,gHAAgH,CACta,CAAC;QANO,YAAO,GAAP,OAAO,CAAQ;QACf,iBAAY,GAAZ,YAAY,CAAQ;QACpB,gBAAW,GAAX,WAAW,CAAQ;QAK5B,IAAI,CAAC,IAAI,GAAG,eAAe,CAAC;IAC9B,CAAC;CACF;AAED;;;;;;;;;GASG;AACH,MAAM,OAAO,eAAgB,SAAQ,KAAK;IAE7B;IACA;IAFX,YACW,QAAgB,EAChB,GAAW;QAEpB,KAAK,CACH,8CAA8C,GAAG,OAAO,QAAQ,yKAAyK,CAC1O,CAAC;QALO,aAAQ,GAAR,QAAQ,CAAQ;QAChB,QAAG,GAAH,GAAG,CAAQ;QAKpB,IAAI,CAAC,IAAI,GAAG,iBAAiB,CAAC;IAChC,CAAC;CACF;AAED;;;;;;;;GAQG;AACH,MAAM,OAAO,kBAAmB,SAAQ,KAAK;IAEhC;IACA;IACA;IACA;IACA;IALX,YACW,QAAgB,EAChB,KAAa,EACb,OAA0B,EAC1B,QAA2B,EAC3B,MAAyB;QAElC,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;YACzB,6FAA6F;YAC7F,0FAA0F;YAC1F,2FAA2F;YAC3F,4DAA4D;YAC5D,CAAC,CAAC,6DAA6D,QAAQ,0BAA0B;kBAC7F,qBAAqB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM;kBAC5C,QAAQ,KAAK,8EAA8E;kBAC3F,sFAAsF;kBACtF,0FAA0F;kBAC1F,iCAAiC,QAAQ,4CAA4C;YACzF,CAAC,CAAC,oEAAoE,QAAQ,qBAAqB;kBAC/F,qBAAqB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,uBAAuB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;kBACpF,qBAAqB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM;kBAC7C,QAAQ,KAAK,eAAe,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,kDAAkD;kBAC5H,gBAAgB,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,uEAAuE;kBAC3H,gFAAgF,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;kBAC9H,0CAA0C,QAAQ,wCAAwC,CAC/F,CAAC;QAxBO,aAAQ,GAAR,QAAQ,CAAQ;QAChB,UAAK,GAAL,KAAK,CAAQ;QACb,YAAO,GAAP,OAAO,CAAmB;QAC1B,aAAQ,GAAR,QAAQ,CAAmB;QAC3B,WAAM,GAAN,MAAM,CAAmB;QAqBlC,IAAI,CAAC,IAAI,GAAG,oBAAoB,CAAC;IACnC,CAAC;CACF"}

package/dist/index.d.ts

@@ -16,7 +16,7 @@ export { MUTATING_METHODS } from "./library.js";
 export { validate, type ValidateResult } from "./grammar.js";
 export { RunDivergence, RuntimeFault, ScopeBranchMissing, UnwalkableScope, resume, run, type RunOptions, type RunResult, } from "./interpret.js";
 export { NotCrossable, Prng, assertCrossable, deepFreeze } from "./values.js";
-export { LANGUAGE_VERSION, PIN_DEFAULTS, PinMismatch, bindPins, resolvePins, type PinnableOptions, type RunPins, } from "./pins.js";
+export { ENGINE_LANGUAGE_VERSION, LANGUAGE_VERSION, PIN_DEFAULTS, PinMismatch, WALKER_LANGUAGE_VERSION, bindPins, resolvePins, type PinnableOptions, type RunPins, } from "./pins.js";
 export { Cancelled, RunReleased, EffectError, type AgentHandleValue, type AskRequest, type CancelSignal, type ChannelHandleValue, type CheckpointRaw, type CheckpointRequest, type CheckpointResultValue, type ConclaveRequest, type EffectContext, type EffectHandler, type EventDescriptor, type MonitorRequest, type NotifyFact, type NotifyRequest, type SleepRequest, type SpawnRequest, type TurnRequest, type TurnResultValue, type TurnStatus, type WaitRequest, } from "./effects.js";
 export { DurationError, isDuration, parseDuration, } from "./duration.js";
 export { RecordingHandler, dryRun, renderReport, type DryRunOptions, type DryRunReport, type PlannedAgent, type PlannedCheckpoint, type PlannedEffect, } from "./dryrun.js";
@@ -24,4 +24,13 @@ export { SimHandler, SimUnscriptedError, type Scripted, type SimFault, type SimS
 export { notifyFactViolation } from "./notify-fact.js";
 export { Journal, JournalAppendRejected, JournalReadOnlyError, RunClock, journalEntryKeyString, type EntryError, type EntryState, type EntryStatus, type JournalEntry, type JournalInit, type JournalStore, type LookupVerdict, } from "./journal.js";
 export { DIGEST_PREFIX, KeyScope, branchKeys, digest, programHashOf, scopePathString, stepKeyEquals, stepKeyString, type ScopeFrame, type ScopeKind, type StepKey, } from "./keys.js";
+/**
+ * The compiled engine's driver-facing surface: the transform that produces what the engine runs,
+ * and the worker runner a host executes it with. The evaluator itself is NOT exported — it lives
+ * in the worker entry, where the Compartment is, and naming it here would offer an unconfined
+ * production path.
+ */
+export { transform, type TransformMeta, type TransformOptions } from "./transform/index.js";
+export { runInWorker, type WorkerHandlerSpec, type WorkerRun, type WorkerRunFailed, type WorkerRunOk, type WorkerRunOptions, type WorkerRunRequest, type WorkerRunResult, } from "./engine/worker.js";
+export { NODE_FLOOR, assertNodeFloor } from "./engine/host.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EACL,OAAO,EACP,SAAS,EACT,UAAU,EACV,SAAS,EACT,KAAK,SAAS,EACd,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,UAAU,GAChB,MAAM,aAAa,CAAC;AAErB,OAAO,EACL,QAAQ,EACR,YAAY,EACZ,kBAAkB,EAClB,iBAAiB,EACjB,iBAAiB,EACjB,UAAU,EACV,eAAe,EACf,cAAc,EACd,YAAY,EACZ,WAAW,EACX,YAAY,EACZ,KAAK,UAAU,EACf,KAAK,aAAa,GACnB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,eAAe,EACf,WAAW,EACX,gBAAgB,GACjB,MAAM,aAAa,CAAC;AAErB,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAEhD,OAAO,EAAE,QAAQ,EAAE,KAAK,cAAc,EAAE,MAAM,cAAc,CAAC;AAE7D,OAAO,EACL,aAAa,EACb,YAAY,EACZ,kBAAkB,EAClB,eAAe,EACf,MAAM,EACN,GAAG,EACH,KAAK,UAAU,EACf,KAAK,SAAS,GACf,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9E,OAAO,EACL,gBAAgB,EAChB,YAAY,EACZ,WAAW,EACX,QAAQ,EACR,WAAW,EACX,KAAK,eAAe,EACpB,KAAK,OAAO,GACb,MAAM,WAAW,CAAC;AAEnB,OAAO,EACL,SAAS,EACT,WAAW,EACX,WAAW,EACX,KAAK,gBAAgB,EACrB,KAAK,UAAU,EACf,KAAK,YAAY,EACjB,KAAK,kBAAkB,EACvB,KAAK,aAAa,EAClB,KAAK,iBAAiB,EACtB,KAAK,qBAAqB,EAC1B,KAAK,eAAe,EACpB,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,eAAe,EACpB,KAAK,cAAc,EACnB,KAAK,UAAU,EACf,KAAK,aAAa,EAClB,KAAK,YAAY,EACjB,KAAK,YAAY,EACjB,KAAK,WAAW,EAChB,KAAK,eAAe,EACpB,KAAK,UAAU,EACf,KAAK,WAAW,GACjB,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,aAAa,EACb,UAAU,EACV,aAAa,GACd,MAAM,eAAe,CAAC;AAEvB,OAAO,EACL,gBAAgB,EAChB,MAAM,EACN,YAAY,EACZ,KAAK,aAAa,EAClB,KAAK,YAAY,EACjB,KAAK,YAAY,EACjB,KAAK,iBAAiB,EACtB,KAAK,aAAa,GACnB,MAAM,aAAa,CAAC;AAErB,OAAO,EACL,UAAU,EACV,kBAAkB,EAClB,KAAK,QAAQ,EACb,KAAK,QAAQ,EACb,KAAK,SAAS,GACf,MAAM,UAAU,CAAC;AAElB,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAEvD,OAAO,EACL,OAAO,EACP,qBAAqB,EACrB,oBAAoB,EACpB,QAAQ,EACR,qBAAqB,EACrB,KAAK,UAAU,EACf,KAAK,UAAU,EACf,KAAK,WAAW,EAChB,KAAK,YAAY,EACjB,KAAK,WAAW,EAChB,KAAK,YAAY,EACjB,KAAK,aAAa,GACnB,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,aAAa,EACb,QAAQ,EACR,UAAU,EACV,MAAM,EACN,aAAa,EACb,eAAe,EACf,aAAa,EACb,aAAa,EACb,KAAK,UAAU,EACf,KAAK,SAAS,EACd,KAAK,OAAO,GACb,MAAM,WAAW,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EACL,OAAO,EACP,SAAS,EACT,UAAU,EACV,SAAS,EACT,KAAK,SAAS,EACd,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,UAAU,GAChB,MAAM,aAAa,CAAC;AAErB,OAAO,EACL,QAAQ,EACR,YAAY,EACZ,kBAAkB,EAClB,iBAAiB,EACjB,iBAAiB,EACjB,UAAU,EACV,eAAe,EACf,cAAc,EACd,YAAY,EACZ,WAAW,EACX,YAAY,EACZ,KAAK,UAAU,EACf,KAAK,aAAa,GACnB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,eAAe,EACf,WAAW,EACX,gBAAgB,GACjB,MAAM,aAAa,CAAC;AAErB,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAEhD,OAAO,EAAE,QAAQ,EAAE,KAAK,cAAc,EAAE,MAAM,cAAc,CAAC;AAE7D,OAAO,EACL,aAAa,EACb,YAAY,EACZ,kBAAkB,EAClB,eAAe,EACf,MAAM,EACN,GAAG,EACH,KAAK,UAAU,EACf,KAAK,SAAS,GACf,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9E,OAAO,EACL,uBAAuB,EACvB,gBAAgB,EAChB,YAAY,EACZ,WAAW,EACX,uBAAuB,EACvB,QAAQ,EACR,WAAW,EACX,KAAK,eAAe,EACpB,KAAK,OAAO,GACb,MAAM,WAAW,CAAC;AAEnB,OAAO,EACL,SAAS,EACT,WAAW,EACX,WAAW,EACX,KAAK,gBAAgB,EACrB,KAAK,UAAU,EACf,KAAK,YAAY,EACjB,KAAK,kBAAkB,EACvB,KAAK,aAAa,EAClB,KAAK,iBAAiB,EACtB,KAAK,qBAAqB,EAC1B,KAAK,eAAe,EACpB,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,eAAe,EACpB,KAAK,cAAc,EACnB,KAAK,UAAU,EACf,KAAK,aAAa,EAClB,KAAK,YAAY,EACjB,KAAK,YAAY,EACjB,KAAK,WAAW,EAChB,KAAK,eAAe,EACpB,KAAK,UAAU,EACf,KAAK,WAAW,GACjB,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,aAAa,EACb,UAAU,EACV,aAAa,GACd,MAAM,eAAe,CAAC;AAEvB,OAAO,EACL,gBAAgB,EAChB,MAAM,EACN,YAAY,EACZ,KAAK,aAAa,EAClB,KAAK,YAAY,EACjB,KAAK,YAAY,EACjB,KAAK,iBAAiB,EACtB,KAAK,aAAa,GACnB,MAAM,aAAa,CAAC;AAErB,OAAO,EACL,UAAU,EACV,kBAAkB,EAClB,KAAK,QAAQ,EACb,KAAK,QAAQ,EACb,KAAK,SAAS,GACf,MAAM,UAAU,CAAC;AAElB,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAEvD,OAAO,EACL,OAAO,EACP,qBAAqB,EACrB,oBAAoB,EACpB,QAAQ,EACR,qBAAqB,EACrB,KAAK,UAAU,EACf,KAAK,UAAU,EACf,KAAK,WAAW,EAChB,KAAK,YAAY,EACjB,KAAK,WAAW,EAChB,KAAK,YAAY,EACjB,KAAK,aAAa,GACnB,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,aAAa,EACb,QAAQ,EACR,UAAU,EACV,MAAM,EACN,aAAa,EACb,eAAe,EACf,aAAa,EACb,aAAa,EACb,KAAK,UAAU,EACf,KAAK,SAAS,EACd,KAAK,OAAO,GACb,MAAM,WAAW,CAAC;AAEnB;;;;;GAKG;AACH,OAAO,EAAE,SAAS,EAAE,KAAK,aAAa,EAAE,KAAK,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAC5F,OAAO,EACL,WAAW,EACX,KAAK,iBAAiB,EACtB,KAAK,SAAS,EACd,KAAK,eAAe,EACpB,KAAK,WAAW,EAChB,KAAK,gBAAgB,EACrB,KAAK,gBAAgB,EACrB,KAAK,eAAe,GACrB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/index.js

@@ -16,7 +16,7 @@ export { MUTATING_METHODS } from "./library.js";
 export { validate } from "./grammar.js";
 export { RunDivergence, RuntimeFault, ScopeBranchMissing, UnwalkableScope, resume, run, } from "./interpret.js";
 export { NotCrossable, Prng, assertCrossable, deepFreeze } from "./values.js";
-export { LANGUAGE_VERSION, PIN_DEFAULTS, PinMismatch, bindPins, resolvePins, } from "./pins.js";
+export { ENGINE_LANGUAGE_VERSION, LANGUAGE_VERSION, PIN_DEFAULTS, PinMismatch, WALKER_LANGUAGE_VERSION, bindPins, resolvePins, } from "./pins.js";
 export { Cancelled, RunReleased, EffectError, } from "./effects.js";
 export { DurationError, isDuration, parseDuration, } from "./duration.js";
 export { RecordingHandler, dryRun, renderReport, } from "./dryrun.js";
@@ -24,4 +24,13 @@ export { SimHandler, SimUnscriptedError, } from "./sim.js";
 export { notifyFactViolation } from "./notify-fact.js";
 export { Journal, JournalAppendRejected, JournalReadOnlyError, RunClock, journalEntryKeyString, } from "./journal.js";
 export { DIGEST_PREFIX, KeyScope, branchKeys, digest, programHashOf, scopePathString, stepKeyEquals, stepKeyString, } from "./keys.js";
+/**
+ * The compiled engine's driver-facing surface: the transform that produces what the engine runs,
+ * and the worker runner a host executes it with. The evaluator itself is NOT exported — it lives
+ * in the worker entry, where the Compartment is, and naming it here would offer an unconfined
+ * production path.
+ */
+export { transform } from "./transform/index.js";
+export { runInWorker, } from "./engine/worker.js";
+export { NODE_FLOOR, assertNodeFloor } from "./engine/host.js";
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EACL,OAAO,EACP,SAAS,EACT,UAAU,EACV,SAAS,GAMV,MAAM,aAAa,CAAC;AAErB,OAAO,EACL,QAAQ,EACR,YAAY,EACZ,kBAAkB,EAClB,iBAAiB,EACjB,iBAAiB,EACjB,UAAU,EACV,eAAe,EACf,cAAc,EACd,YAAY,EACZ,WAAW,EACX,YAAY,GAGb,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,eAAe,EACf,WAAW,EACX,gBAAgB,GACjB,MAAM,aAAa,CAAC;AAErB,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAEhD,OAAO,EAAE,QAAQ,EAAuB,MAAM,cAAc,CAAC;AAE7D,OAAO,EACL,aAAa,EACb,YAAY,EACZ,kBAAkB,EAClB,eAAe,EACf,MAAM,EACN,GAAG,GAGJ,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9E,OAAO,EACL,gBAAgB,EAChB,YAAY,EACZ,WAAW,EACX,QAAQ,EACR,WAAW,GAGZ,MAAM,WAAW,CAAC;AAEnB,OAAO,EACL,SAAS,EACT,WAAW,EACX,WAAW,GAqBZ,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,aAAa,EACb,UAAU,EACV,aAAa,GACd,MAAM,eAAe,CAAC;AAEvB,OAAO,EACL,gBAAgB,EAChB,MAAM,EACN,YAAY,GAMb,MAAM,aAAa,CAAC;AAErB,OAAO,EACL,UAAU,EACV,kBAAkB,GAInB,MAAM,UAAU,CAAC;AAElB,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAEvD,OAAO,EACL,OAAO,EACP,qBAAqB,EACrB,oBAAoB,EACpB,QAAQ,EACR,qBAAqB,GAQtB,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,aAAa,EACb,QAAQ,EACR,UAAU,EACV,MAAM,EACN,aAAa,EACb,eAAe,EACf,aAAa,EACb,aAAa,GAId,MAAM,WAAW,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EACL,OAAO,EACP,SAAS,EACT,UAAU,EACV,SAAS,GAMV,MAAM,aAAa,CAAC;AAErB,OAAO,EACL,QAAQ,EACR,YAAY,EACZ,kBAAkB,EAClB,iBAAiB,EACjB,iBAAiB,EACjB,UAAU,EACV,eAAe,EACf,cAAc,EACd,YAAY,EACZ,WAAW,EACX,YAAY,GAGb,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,eAAe,EACf,WAAW,EACX,gBAAgB,GACjB,MAAM,aAAa,CAAC;AAErB,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAEhD,OAAO,EAAE,QAAQ,EAAuB,MAAM,cAAc,CAAC;AAE7D,OAAO,EACL,aAAa,EACb,YAAY,EACZ,kBAAkB,EAClB,eAAe,EACf,MAAM,EACN,GAAG,GAGJ,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9E,OAAO,EACL,uBAAuB,EACvB,gBAAgB,EAChB,YAAY,EACZ,WAAW,EACX,uBAAuB,EACvB,QAAQ,EACR,WAAW,GAGZ,MAAM,WAAW,CAAC;AAEnB,OAAO,EACL,SAAS,EACT,WAAW,EACX,WAAW,GAqBZ,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,aAAa,EACb,UAAU,EACV,aAAa,GACd,MAAM,eAAe,CAAC;AAEvB,OAAO,EACL,gBAAgB,EAChB,MAAM,EACN,YAAY,GAMb,MAAM,aAAa,CAAC;AAErB,OAAO,EACL,UAAU,EACV,kBAAkB,GAInB,MAAM,UAAU,CAAC;AAElB,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAEvD,OAAO,EACL,OAAO,EACP,qBAAqB,EACrB,oBAAoB,EACpB,QAAQ,EACR,qBAAqB,GAQtB,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,aAAa,EACb,QAAQ,EACR,UAAU,EACV,MAAM,EACN,aAAa,EACb,eAAe,EACf,aAAa,EACb,aAAa,GAId,MAAM,WAAW,CAAC;AAEnB;;;;;GAKG;AACH,OAAO,EAAE,SAAS,EAA6C,MAAM,sBAAsB,CAAC;AAC5F,OAAO,EACL,WAAW,GAQZ,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/interpret.d.ts

@@ -15,26 +15,19 @@
  *    serialized.
  */
 import { LangError, LangErrors } from "./errors.js";
-export { RuntimeFault } from "./errors.js";
+export { RunDivergence, RuntimeFault, ScopeBranchMissing, UnwalkableScope } from "./errors.js";
 import { Journal } from "./journal.js";
 import { type RunPins } from "./pins.js";
 import { type EffectHandler } from "./effects.js";
-/** A fault the interpreter itself raises, as opposed to one an effect handler reported. */
 /**
- * A migration's walk reached a settled scope it cannot enter.
+ * The message of an arbitrary thrown value.
  *
- * A `conclave` is the case that exists today: its channel handle is HANDLER-DERIVED — the mint
- * returns it and nothing journals it — so a walk cannot re-enter the body without inventing a
- * handle, and an invented one would re-hash every step inside that used the channel into a
- * divergence the run never had. Refusing is the honest exit. Consuming the subtree instead would
- * hide exactly the orphans a migration exists to find, which is a silent wrong answer in place of
- * a loud refusal.
+ * Reading `.message` off `null` throws, and a thrown primitive is legal in a language with `throw`,
+ * so every place that has to describe a failure it did not construct goes through here. A recorded
+ * entry saying "Cannot read properties of null" describes the recorder, not the run.
  */
-export declare class UnwalkableScope extends Error {
-    readonly scopeKey: string;
-    readonly why: string;
-    constructor(scopeKey: string, why: string);
-}
+/** An AST subtree with its source offsets removed: what the code IS, not where it sits. */
+export declare function stripPositions(node: unknown): unknown;
 export interface RunOptions {
     readonly runId: string;
     readonly handler: EffectHandler;
@@ -130,30 +123,6 @@ export interface RunResult {
      */
     readonly steps: number;
 }
-/** A recorded step's inputs changed, so its recorded result may no longer be the truth. */
-export declare class RunDivergence extends Error {
-    readonly stepKey: string;
-    readonly recordedHash: string;
-    readonly programHash: string;
-    constructor(stepKey: string, recordedHash: string, programHash: string);
-}
-/**
- * A migration's walk was sent into a recorded branch the new source does not have.
- *
- * Its own code rather than `RunDivergence`, for the reason the L5005/L5006/L5007 collision in the
- * orphan table bought: `RunDivergence` is a HASH comparison and says so in both its fields and its
- * message, and putting branch NAMES in fields called `recordedHash`/`programHash` would be a lie in
- * the payload a repair loop reads. The author's repair differs too — this one is fixed by looking at
- * an arm's NAME, not at its body.
- */
-export declare class ScopeBranchMissing extends Error {
-    readonly scopeKey: string;
-    readonly scope: string;
-    readonly missing: readonly string[];
-    readonly recorded: readonly string[];
-    readonly source: readonly string[];
-    constructor(scopeKey: string, scope: string, missing: readonly string[], recorded: readonly string[], source: readonly string[]);
-}
 /**
  * Run a program.
  *

package/dist/interpret.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"interpret.d.ts","sourceRoot":"","sources":["../src/interpret.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,EAAE,SAAS,EAAE,UAAU,EAAgB,MAAM,aAAa,CAAC;AAClE,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAE3C,OAAO,EAAE,OAAO,EAAoD,MAAM,cAAc,CAAC;AAMzF,OAAO,EAAyB,KAAK,OAAO,EAAE,MAAM,WAAW,CAAC;AAChE,OAAO,EAUL,KAAK,aAAa,EAGnB,MAAM,cAAc,CAAC;AA4NtB,2FAA2F;AAC3F;;;;;;;;;GASG;AACH,qBAAa,eAAgB,SAAQ,KAAK;IAEtC,QAAQ,CAAC,QAAQ,EAAE,MAAM;IACzB,QAAQ,CAAC,GAAG,EAAE,MAAM;gBADX,QAAQ,EAAE,MAAM,EAChB,GAAG,EAAE,MAAM;CAOvB;AAoFD,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;IAChC,mEAAmE;IACnE,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAC3B;;;;;;;OAOG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB;;;OAGG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,6EAA6E;IAC7E,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC;;;;;;;;;;;;OAYG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,MAAM,GAAG,SAAS,CAAC;IAC/C;;;;;;;;;;;;;OAaG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;IAC7B;;;;;OAKG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B;;;;;;;OAOG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B;;;;OAIG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,OAAO,EAAE,CAAA;KAAE,KAAK,IAAI,CAAC;CAClG;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B;;;OAGG;IACH,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB;;;;;OAKG;IACH,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,2FAA2F;AAC3F,qBAAa,aAAc,SAAQ,KAAK;IAEpC,QAAQ,CAAC,OAAO,EAAE,MAAM;IACxB,QAAQ,CAAC,YAAY,EAAE,MAAM;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM;gBAFnB,OAAO,EAAE,MAAM,EACf,YAAY,EAAE,MAAM,EACpB,WAAW,EAAE,MAAM;CAO/B;AAED;;;;;;;;GAQG;AACH,qBAAa,kBAAmB,SAAQ,KAAK;IAEzC,QAAQ,CAAC,QAAQ,EAAE,MAAM;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM;IACtB,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE;IACnC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE;IACpC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE;gBAJzB,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,SAAS,MAAM,EAAE,EAC1B,QAAQ,EAAE,SAAS,MAAM,EAAE,EAC3B,MAAM,EAAE,SAAS,MAAM,EAAE;CAuBrC;AAq+DD;;;;;GAKG;AACH,wBAAsB,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,SAAS,CAAC,CA2CjF;AAED,gGAAgG;AAChG,wBAAsB,MAAM,CAC1B,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE,IAAI,CAAC,UAAU,EAAE,SAAS,CAAC,GACnC,OAAO,CAAC,SAAS,CAAC,CAGpB;AA+CD,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC"}
+{"version":3,"file":"interpret.d.ts","sourceRoot":"","sources":["../src/interpret.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,EACL,SAAS,EACT,UAAU,EAMX,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,kBAAkB,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAE/F,OAAO,EAAE,OAAO,EAAoD,MAAM,cAAc,CAAC;AAMzF,OAAO,EAAkD,KAAK,OAAO,EAAE,MAAM,WAAW,CAAC;AAUzF,OAAO,EAUL,KAAK,aAAa,EAGnB,MAAM,cAAc,CAAC;AAqItB;;;;;;GAMG;AACH,2FAA2F;AAC3F,wBAAgB,cAAc,CAAC,IAAI,EAAE,OAAO,GAAG,OAAO,CASrD;AAqFD,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;IAChC,mEAAmE;IACnE,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAC3B;;;;;;;OAOG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB;;;OAGG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,6EAA6E;IAC7E,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC;;;;;;;;;;;;OAYG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,MAAM,GAAG,SAAS,CAAC;IAC/C;;;;;;;;;;;;;OAaG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;IAC7B;;;;;OAKG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B;;;;;;;OAOG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B;;;;OAIG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,OAAO,EAAE,CAAA;KAAE,KAAK,IAAI,CAAC;CAClG;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B;;;OAGG;IACH,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB;;;;;OAKG;IACH,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAmkCD;;;;;GAKG;AACH,wBAAsB,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,SAAS,CAAC,CA6CjF;AAED,gGAAgG;AAChG,wBAAsB,MAAM,CAC1B,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE,IAAI,CAAC,UAAU,EAAE,SAAS,CAAC,GACnC,OAAO,CAAC,SAAS,CAAC,CAGpB;AAqBD,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC"}