@procedures/compiler 0.0.0-stage → 0.2.3

package/dist/explain.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"explain.js","sourceRoot":"","sources":["../src/explain.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,iBAAiB,GAMlB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,UAAU,EAAE,IAAI,EAA6B,MAAM,SAAS,CAAC;AACtE,OAAO,EAAE,YAAY,EAAE,eAAe,EAAuB,MAAM,YAAY,CAAC;AAChF,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,EAAE,SAAS,EAAE,YAAY,EAAuC,MAAM,cAAc,CAAC;AA8C5F,6FAA6F;AAC7F,SAAS,eAAe,CAAC,UAA2C;IAClE,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,QAAQ,KAAK,SAAS;QAAE,OAAO,UAAU,CAAC;IACxE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,IAAI,EAAE,GAAG,UAAU,CAAC;IACpD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,+GAA+G;AAC/G,SAAS,UAAU,CAAC,KAAqB;IACvC,OAAO;QACL,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE;YACZ,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAChC,OAAO,KAAK,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,EAA8B,CAAC,CAAC,CAAC,SAAS,CAAC;QAC9H,CAAC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,MAAM,CAAC,IAAY;IAC1B,OAAO,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;AACzF,CAAC;AAED,qDAAqD;AACrD,SAAS,QAAQ,CAAC,KAAwB;IACxC,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7C,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;AAC3E,CAAC;AAED,SAAS,KAAK,CAAC,KAAa,EAAE,IAAY;IACxC,OAAO,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;AACrD,CAAC;AAED,uFAAuF;AACvF,SAAS,SAAS,CAAC,KAAiC;IAClD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,OAAO,IAAI,CAAC,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;IACnH,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,KAAK,CAAC,MAAM,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AACjG,CAAC;AAED,oCAAoC;AACpC,SAAS,WAAW,CAAC,OAAgB,EAAE,IAAiB;IACtD,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,MAAM,KAAK,GAAG,CAAC,IAAuB,EAAU,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IACpG,IAAI,OAAO,CAAC,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,YAAY,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAChG,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,cAAc,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACvG,SAAS,CAAC,IAAI,CAAC,eAAe,KAAK,QAAQ,MAAM,GAAG,CAAC,CAAC;IACxD,CAAC;SAAM,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;QACzB,SAAS,CAAC,IAAI,CAAC,eAAe,OAAO,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,YAAY,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,+CAA+C,CAAC,CAAC;IAClK,CAAC;SAAM,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QAC1B,SAAS,CAAC,IAAI,CAAC,yDAAyD,OAAO,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,cAAc,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC;IACtK,CAAC;SAAM,CAAC;QACN,SAAS,CAAC,IAAI,CAAC,yIAAyI,CAAC,CAAC;IAC5J,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,WAAW;QAAE,SAAS,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;IAC/H,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpD,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACvJ,SAAS,CAAC,IAAI,CAAC,mCAAmC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,uDAAuD;AACvD,SAAS,SAAS,CAAC,WAAgD;IACjE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,WAAW,CAAC;IAC3C,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACpD,SAAS,CAAC,IAAI,CAAC,mBAAmB,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC;IACtG,SAAS,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,WAAW,CAAC,OAAO,EAAE,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC;IAC7E,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,SAAS,CAAC,IAAI,CAAC,iCAAiC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACjI,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACnE,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,SAAS,CAAC,IAAI,CAAC,4BAA4B,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACzH,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACtE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,SAAS,CAAC,IAAI,CAAC,0BAA0B,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC1H,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,MAAM,CAAC;IAC1F,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,MAAM,CAAC;IAC9F,SAAS,CAAC,IAAI,CACZ,MAAM,KAAK,CAAC;QACV,CAAC,CAAC,8DAA8D;QAChE,CAAC,CAAC,mBAAmB,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,2CAA2C,CACzF,CAAC;IACF,IAAI,QAAQ,GAAG,CAAC;QAAE,SAAS,CAAC,IAAI,CAAC,wBAAwB,KAAK,CAAC,QAAQ,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC;IACxF,OAAO,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC7B,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,OAAgB,EAAE,OAAqB;IACpE,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IAChC,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9D,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,EAAE,EAAE,GAAG,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAClE,MAAM,UAAU,GAAG,eAAe,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACvD,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IACnC,MAAM,KAAK,GAAsB,EAAE,CAAC;IACpC,MAAM,KAAK,GAAG,CAAC,IAAY,EAAQ,EAAE;QACnC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;YAAE,OAAO;QAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QACvB,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;YACzF,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAChC,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;YAC7D,KAAK,CAAC,IAAI,CAAC;gBACT,GAAG,EAAE,IAAI,CAAC,GAAG;gBACb,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC;gBACf,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC;gBAClB,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrD,KAAK,EAAE,KAAK,KAAK,SAAS;gBAC1B,OAAO,EAAE,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;gBACnD,SAAS,EAAE,MAAM,CAAC,SAAS;gBAC3B,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACjE,OAAO,EAAE,MAAM,CAAC,OAAO;aACxB,CAAC,CAAC;QACL,CAAC;QACD,qGAAqG;QACrG,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK;YAAE,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACrE,CAAC,CAAC;IACF,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC5B,MAAM,WAAW,GAAwC;QACvD,EAAE,EAAE,MAAM,CAAC,EAAE;QACb,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,KAAK;QACL,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,YAAY,EAAE,MAAM,CAAC,YAAY;KAClC,CAAC;IACF,OAAO,EAAE,GAAG,WAAW,EAAE,OAAO,EAAE,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC;AAC7D,CAAC"}

package/dist/facts.d.ts

@@ -0,0 +1,66 @@
+/**
+ * The facts about procedures that the compiler reads. They are the manifest entry of a path,
+ * the expose rule, the raw-input rule and the body of a defined procedure.
+ *
+ * A browser has only a manifest (`procedure.manifest`, roadmap R17). A host has the registry.
+ * The two functions of this module give the same facts from each source, so the passes do not
+ * know the source.
+ */
+import { type AnyProcedure, type ProcedureEntry, type ProcedureManifest, type ProcedurePath } from "@procedures/client/browser";
+/** The procedure facts of the compiler. */
+export interface ProcedureFacts {
+    /** The hash of the manifest that the host gives (`procedure.manifest`). */
+    readonly hash: string;
+    /** The keys of the procedures that take raw input, without the control-flow procedures. */
+    readonly rawKeys: readonly string[];
+    /** The manifest entry of a path, or undefined when the source does not have the path. */
+    entry(path: ProcedurePath): ProcedureEntry | undefined;
+    /** True when the host lets a data-driven procedure call the path. */
+    exposed(path: ProcedurePath): boolean;
+    /** True when hydration gives the procedure its input raw (`rawInputRule()` of the client). */
+    rawInput(path: ProcedurePath): boolean;
+    /** The program of a procedure that `procedure.define` made, when the source can see it. */
+    body(path: ProcedurePath): unknown;
+    /** The core procedure at the path, when the entry describes exactly that procedure. */
+    core(path: ProcedurePath): AnyProcedure | undefined;
+}
+/** A registry, as the compiler reads it. */
+export interface RegistryLike {
+    get(path: ProcedurePath): AnyProcedure | undefined;
+    getAll(): AnyProcedure[];
+}
+/** The options of the fact sources. */
+export interface FactsOptions {
+    /** The expose rule of the host. The default exposes each procedure. */
+    readonly expose?: ((path: ProcedurePath) => boolean) | undefined;
+}
+/** True when an entry takes its input raw: the rule of `takesRawInput()`, from the manifest. */
+export declare function entryTakesRawInput(entry: ProcedureEntry): boolean;
+/** True when the path elements are strings: only such a path can name a procedure. */
+export declare function isStringPath(path: readonly unknown[]): path is ProcedurePath;
+/**
+ * This function gives the core procedure that an entry describes. The entry must be the same as
+ * the description of the core procedure: a host can register a different procedure at a core path.
+ */
+export declare function coreProcedureOf(entry: ProcedureEntry | undefined): AnyProcedure | undefined;
+/** The facts of a manifest. The manifest has only the procedures that its host exposes. */
+export declare function manifestFacts(manifest: ProcedureManifest, options?: FactsOptions): ProcedureFacts;
+/**
+ * The facts of a registry. The entries include the procedures that the host does not expose, so
+ * the check can tell "not exposed" from "unknown". The hash is the hash of `procedure.manifest` on
+ * the host: the manifest of the exposed procedures.
+ */
+export declare function registryFacts(registry: RegistryLike, options?: FactsOptions): ProcedureFacts;
+/**
+ * The facts with the procedures that the program defines (`procedure.define` with a literal path
+ * and body). A later call of such a path is known, and its body gives its effects.
+ */
+export declare function withDefinitions(facts: ProcedureFacts, definitions: ReadonlyMap<string, Definition>): ProcedureFacts;
+/** A procedure that the program defines with `procedure.define`. */
+export interface Definition {
+    readonly entry: ProcedureEntry;
+    readonly body: unknown;
+    /** The pointer of the aggregation in the program. */
+    readonly pointer: string;
+}
+//# sourceMappingURL=facts.d.ts.map

package/dist/facts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"facts.d.ts","sourceRoot":"","sources":["../src/facts.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAUL,KAAK,YAAY,EACjB,KAAK,cAAc,EACnB,KAAK,iBAAiB,EACtB,KAAK,aAAa,EACnB,MAAM,4BAA4B,CAAC;AAEpC,2CAA2C;AAC3C,MAAM,WAAW,cAAc;IAC7B,2EAA2E;IAC3E,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,2FAA2F;IAC3F,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,yFAAyF;IACzF,KAAK,CAAC,IAAI,EAAE,aAAa,GAAG,cAAc,GAAG,SAAS,CAAC;IACvD,qEAAqE;IACrE,OAAO,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC;IACtC,8FAA8F;IAC9F,QAAQ,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC;IACvC,2FAA2F;IAC3F,IAAI,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC;IACnC,uFAAuF;IACvF,IAAI,CAAC,IAAI,EAAE,aAAa,GAAG,YAAY,GAAG,SAAS,CAAC;CACrD;AAED,4CAA4C;AAC5C,MAAM,WAAW,YAAY;IAC3B,GAAG,CAAC,IAAI,EAAE,aAAa,GAAG,YAAY,GAAG,SAAS,CAAC;IACnD,MAAM,IAAI,YAAY,EAAE,CAAC;CAC1B;AAED,uCAAuC;AACvC,MAAM,WAAW,YAAY;IAC3B,uEAAuE;IACvE,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,aAAa,KAAK,OAAO,CAAC,GAAG,SAAS,CAAC;CAClE;AAED,gGAAgG;AAChG,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,cAAc,GAAG,OAAO,CAGjE;AAED,sFAAsF;AACtF,wBAAgB,YAAY,CAAC,IAAI,EAAE,SAAS,OAAO,EAAE,GAAG,IAAI,IAAI,aAAa,CAE5E;AAcD;;;GAGG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,cAAc,GAAG,SAAS,GAAG,YAAY,GAAG,SAAS,CAI3F;AAED,2FAA2F;AAC3F,wBAAgB,aAAa,CAAC,QAAQ,EAAE,iBAAiB,EAAE,OAAO,GAAE,YAAiB,GAAG,cAAc,CAkBrG;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,QAAQ,EAAE,YAAY,EAAE,OAAO,GAAE,YAAiB,GAAG,cAAc,CAahG;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,cAAc,EAAE,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,cAAc,CAmBnH;AAED,oEAAoE;AACpE,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,qDAAqD;IACrD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B"}

package/dist/facts.js

@@ -0,0 +1,102 @@
+/**
+ * The facts about procedures that the compiler reads. They are the manifest entry of a path,
+ * the expose rule, the raw-input rule and the body of a defined procedure.
+ *
+ * A browser has only a manifest (`procedure.manifest`, roadmap R17). A host has the registry.
+ * The two functions of this module give the same facts from each source, so the passes do not
+ * know the source.
+ */
+import { allCoreProcedures, describeProcedureEntry, describeRegistry, hashOf, isControlFlowPath, pathToKey, runtimeProgramOf, RAW_INPUT_TAG, RUNS_REFS_TAG, } from "@procedures/client/browser";
+/** True when an entry takes its input raw: the rule of `takesRawInput()`, from the manifest. */
+export function entryTakesRawInput(entry) {
+    const tags = entry.tags ?? [];
+    return isControlFlowPath(entry.path) || tags.includes(RUNS_REFS_TAG) || tags.includes(RAW_INPUT_TAG);
+}
+/** True when the path elements are strings: only such a path can name a procedure. */
+export function isStringPath(path) {
+    return path.every((segment) => typeof segment === "string");
+}
+let coreDescriptions;
+/** The core procedures by key, with the hash of their manifest entries. */
+function coreByKey() {
+    if (!coreDescriptions) {
+        coreDescriptions = new Map(allCoreProcedures.map((procedure) => [pathToKey(procedure.path), { procedure, hash: hashOf(describeProcedureEntry(procedure)) }]));
+    }
+    return coreDescriptions;
+}
+/**
+ * This function gives the core procedure that an entry describes. The entry must be the same as
+ * the description of the core procedure: a host can register a different procedure at a core path.
+ */
+export function coreProcedureOf(entry) {
+    if (!entry)
+        return undefined;
+    const core = coreByKey().get(entry.key);
+    return core && core.hash === hashOf(entry) ? core.procedure : undefined;
+}
+/** The facts of a manifest. The manifest has only the procedures that its host exposes. */
+export function manifestFacts(manifest, options = {}) {
+    const byKey = new Map(manifest.procedures.map((entry) => [entry.key, entry]));
+    const expose = options.expose;
+    const rawKeys = manifest.procedures.filter((entry) => entryTakesRawInput(entry) && !isControlFlowPath(entry.path)).map((entry) => entry.key);
+    // The key of a path, as the registry finds it: the segments joined with dots, also for a segment that is not a string
+    const lookup = (path) => byKey.get(pathToKey(path));
+    return {
+        hash: manifest.hash,
+        rawKeys,
+        entry: lookup,
+        exposed: (path) => (expose ? expose(path) : true),
+        rawInput: (path) => {
+            const entry = lookup(path);
+            return entry ? entryTakesRawInput(entry) : isControlFlowPath(path);
+        },
+        body: () => undefined,
+        core: (path) => coreProcedureOf(lookup(path)),
+    };
+}
+/**
+ * The facts of a registry. The entries include the procedures that the host does not expose, so
+ * the check can tell "not exposed" from "unknown". The hash is the hash of `procedure.manifest` on
+ * the host: the manifest of the exposed procedures.
+ */
+export function registryFacts(registry, options = {}) {
+    const manifest = describeRegistry(registry, { withoutHandler: true });
+    const expose = options.expose;
+    const exposedEntries = manifest.procedures.filter((entry) => entry.hasHandler && (!expose || expose(entry.path)));
+    const facts = manifestFacts({ ...manifest, hash: hashOf(exposedEntries) }, options);
+    return {
+        ...facts,
+        body: (path) => {
+            if (!isStringPath(path))
+                return undefined;
+            const procedure = registry.get(path);
+            return procedure ? runtimeProgramOf(procedure) : undefined;
+        },
+    };
+}
+/**
+ * The facts with the procedures that the program defines (`procedure.define` with a literal path
+ * and body). A later call of such a path is known, and its body gives its effects.
+ */
+export function withDefinitions(facts, definitions) {
+    if (definitions.size === 0)
+        return facts;
+    const defined = (path) => (isStringPath(path) ? definitions.get(pathToKey(path)) : undefined);
+    const definedRaw = [...definitions.values()].filter((definition) => entryTakesRawInput(definition.entry)).map((definition) => definition.entry.key);
+    return {
+        hash: facts.hash,
+        rawKeys: [...new Set([...facts.rawKeys, ...definedRaw])],
+        entry: (path) => defined(path)?.entry ?? facts.entry(path),
+        exposed: (path) => facts.exposed(path),
+        rawInput: (path) => {
+            const definition = defined(path);
+            return definition ? entryTakesRawInput(definition.entry) : facts.rawInput(path);
+        },
+        body: (path) => {
+            const definition = defined(path);
+            return definition ? definition.body : facts.body(path);
+        },
+        core: (path) => (defined(path) ? undefined : facts.core(path)),
+    };
+}
+//# sourceMappingURL=facts.js.map

package/dist/facts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"facts.js","sourceRoot":"","sources":["../src/facts.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,iBAAiB,EACjB,sBAAsB,EACtB,gBAAgB,EAChB,MAAM,EACN,iBAAiB,EACjB,SAAS,EACT,gBAAgB,EAChB,aAAa,EACb,aAAa,GAKd,MAAM,4BAA4B,CAAC;AAgCpC,gGAAgG;AAChG,MAAM,UAAU,kBAAkB,CAAC,KAAqB;IACtD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC;IAC9B,OAAO,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;AACvG,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,YAAY,CAAC,IAAwB;IACnD,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC;AAC9D,CAAC;AAED,IAAI,gBAAoF,CAAC;AAEzF,2EAA2E;AAC3E,SAAS,SAAS;IAChB,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACtB,gBAAgB,GAAG,IAAI,GAAG,CACxB,iBAAiB,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,CAAC,sBAAsB,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAClI,CAAC;IACJ,CAAC;IACD,OAAO,gBAAgB,CAAC;AAC1B,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,KAAiC;IAC/D,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,MAAM,IAAI,GAAG,SAAS,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACxC,OAAO,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;AAC1E,CAAC;AAED,2FAA2F;AAC3F,MAAM,UAAU,aAAa,CAAC,QAA2B,EAAE,OAAO,GAAiB,EAAE;IACnF,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAC9E,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAC9B,MAAM,OAAO,GAAG,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC7I,sHAAsH;IACtH,MAAM,MAAM,GAAG,CAAC,IAAmB,EAA8B,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/F,OAAO;QACL,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,OAAO;QACP,KAAK,EAAE,MAAM;QACb,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACjD,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE;YACjB,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;YAC3B,OAAO,KAAK,CAAC,CAAC,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;QACrE,CAAC;QACD,IAAI,EAAE,GAAG,EAAE,CAAC,SAAS;QACrB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;KAC9C,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,QAAsB,EAAE,OAAO,GAAiB,EAAE;IAC9E,MAAM,QAAQ,GAAG,gBAAgB,CAAC,QAAQ,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC;IACtE,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAC9B,MAAM,cAAc,GAAG,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,IAAI,CAAC,CAAC,MAAM,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClH,MAAM,KAAK,GAAG,aAAa,CAAC,EAAE,GAAG,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,cAAc,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IACpF,OAAO;QACL,GAAG,KAAK;QACR,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACb,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC;gBAAE,OAAO,SAAS,CAAC;YAC1C,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACrC,OAAO,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7D,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,KAAqB,EAAE,WAA4C;IACjG,IAAI,WAAW,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACzC,MAAM,OAAO,GAAG,CAAC,IAAmB,EAA0B,EAAE,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACrI,MAAM,UAAU,GAAG,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,kBAAkB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACpJ,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,OAAO,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC;QACxD,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;QAC1D,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QACtC,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE;YACjB,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YACjC,OAAO,UAAU,CAAC,CAAC,CAAC,kBAAkB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAClF,CAAC;QACD,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACb,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YACjC,OAAO,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,CAAC;QACD,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;KAC/D,CAAC;AACJ,CAAC"}

package/dist/fold.d.ts

@@ -0,0 +1,27 @@
+/**
+ * The fold pass (optional): a pure core call with a literal input becomes its value.
+ *
+ * The pass folds a call only when all of these conditions are true:
+ *
+ * - The manifest entry is the description of a core procedure of `@procedures/client`. Thus the
+ *   host has the same code.
+ * - Its effects are `reads: []` and `writes: []`.
+ * - It does not take raw input, and it is not data-driven.
+ * - Its value is a primitive.
+ *
+ * The pass starts the procedure here with `invokeProcedure()`, so the validation and the output
+ * schema apply. A call that fails stays a call: the run gives its error.
+ *
+ * A folded call does not start at run time: an interceptor, a trace and the admission do not see
+ * it. A host that needs each call in its trace does not fold.
+ */
+import type { IRNode } from "./ir.js";
+import type { ProcedureFacts } from "./facts.js";
+/** The result of the pass: the new tree and the pointers of the folded calls. */
+export interface FoldResult {
+    readonly root: IRNode;
+    readonly folded: readonly string[];
+}
+/** This function folds the pure core calls with literal inputs. */
+export declare function foldProgram(root: IRNode, facts: ProcedureFacts): Promise<FoldResult>;
+//# sourceMappingURL=fold.d.ts.map

package/dist/fold.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fold.d.ts","sourceRoot":"","sources":["../src/fold.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAGH,OAAO,KAAK,EAAa,MAAM,EAA0B,MAAM,SAAS,CAAC;AACzE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAmCjD,iFAAiF;AACjF,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC;AAED,mEAAmE;AACnE,wBAAsB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,cAAc,GAAG,OAAO,CAAC,UAAU,CAAC,CAyE1F"}

package/dist/fold.js

@@ -0,0 +1,128 @@
+/**
+ * The fold pass (optional): a pure core call with a literal input becomes its value.
+ *
+ * The pass folds a call only when all of these conditions are true:
+ *
+ * - The manifest entry is the description of a core procedure of `@procedures/client`. Thus the
+ *   host has the same code.
+ * - Its effects are `reads: []` and `writes: []`.
+ * - It does not take raw input, and it is not data-driven.
+ * - Its value is a primitive.
+ *
+ * The pass starts the procedure here with `invokeProcedure()`, so the validation and the output
+ * schema apply. A call that fails stays a call: the run gives its error.
+ *
+ * A folded call does not start at run time: an interceptor, a trace and the admission do not see
+ * it. A host that needs each call in its trace does not fold.
+ */
+import { invokeProcedure, isReadOnly, outputValue, effectsOf } from "@procedures/client/browser";
+import { mergeExtra } from "./normalize.js";
+/** The value of a node when it is fully known before the run. */
+function staticValue(node) {
+    switch (node.kind) {
+        case "literal":
+            return { known: true, value: node.value };
+        case "object": {
+            const entries = [];
+            for (const entry of node.entries) {
+                const value = staticValue(entry.value);
+                if (!value.known)
+                    return value;
+                entries.push([entry.key, value.value]);
+            }
+            return { known: true, value: Object.fromEntries(entries) };
+        }
+        case "array": {
+            const values = [];
+            for (const item of node.items) {
+                const value = staticValue(item);
+                if (!value.known)
+                    return value;
+                values.push(value.value);
+            }
+            return { known: true, value: values };
+        }
+        default:
+            return { known: false };
+    }
+}
+function isPrimitive(value) {
+    return value === null || (typeof value !== "object" && typeof value !== "function" && typeof value !== "symbol");
+}
+/** This function folds the pure core calls with literal inputs. */
+export async function foldProgram(root, facts) {
+    const folded = [];
+    const items = async (spec) => spec.kind === "list" ? { kind: "list", items: await Promise.all(spec.items.map(fold)) } : { kind: "value", value: await fold(spec.value) };
+    const tryFold = async (node) => {
+        const input = staticValue(node.input);
+        if (!input.known)
+            return node;
+        const entry = facts.entry(node.path);
+        const procedure = facts.core(node.path);
+        if (!entry || !procedure || entry.dataDriven || facts.rawInput(node.path))
+            return node;
+        const effects = effectsOf(procedure);
+        if (!isReadOnly(effects) || (effects?.reads ?? ["unknown"]).length > 0)
+            return node;
+        try {
+            const value = await outputValue(await invokeProcedure(procedure, mergeExtra(input.value, node.extra)), node.path);
+            if (!isPrimitive(value))
+                return node;
+            folded.push(node.pointer);
+            const literal = { kind: "literal", value, origin: "fold", pointer: node.pointer };
+            return literal;
+        }
+        catch {
+            return node;
+        }
+    };
+    const fold = async (node) => {
+        switch (node.kind) {
+            case "literal":
+            case "reference":
+            case "fail":
+                return node;
+            case "object":
+                return { ...node, entries: await Promise.all(node.entries.map(async (entry) => ({ key: entry.key, value: await fold(entry.value) }))) };
+            case "array":
+                return { ...node, items: await Promise.all(node.items.map(fold)) };
+            case "call":
+                return tryFold({ ...node, input: await fold(node.input) });
+            case "deferred":
+                return { ...node, input: await fold(node.input) };
+            case "dynamic":
+                return node;
+            case "chain": {
+                const steps = [];
+                for (const step of node.steps)
+                    steps.push({ ...step, node: await fold(step.node) });
+                return { ...node, steps, initialInput: node.initialInput ? await fold(node.initialInput) : undefined };
+            }
+            case "parallel":
+                return { ...node, tasks: await Promise.all(node.tasks.map(fold)) };
+            case "conditional":
+                return {
+                    ...node,
+                    condition: await fold(node.condition),
+                    then: node.then ? await fold(node.then) : undefined,
+                    else: node.else ? await fold(node.else) : undefined,
+                };
+            case "try":
+                return { ...node, try: await fold(node.try), catch: await fold(node.catch) };
+            case "and":
+            case "or":
+                return { ...node, values: await Promise.all(node.values.map(fold)) };
+            case "map":
+                return { ...node, items: await items(node.items), fn: node.fn ? await fold(node.fn) : undefined };
+            case "reduce":
+                return {
+                    ...node,
+                    items: node.items ? await items(node.items) : undefined,
+                    initial: await fold(node.initial),
+                    fn: node.fn ? await fold(node.fn) : undefined,
+                };
+        }
+    };
+    return { root: await fold(root), folded };
+}
+//# sourceMappingURL=fold.js.map

package/dist/fold.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fold.js","sourceRoot":"","sources":["../src/fold.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,eAAe,EAAE,UAAU,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAGjG,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAE5C,iEAAiE;AACjE,SAAS,WAAW,CAAC,IAAY;IAC/B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QAC5C,KAAK,QAAQ,EAAE,CAAC;YACd,MAAM,OAAO,GAA6B,EAAE,CAAC;YAC7C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBACjC,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBACvC,IAAI,CAAC,KAAK,CAAC,KAAK;oBAAE,OAAO,KAAK,CAAC;gBAC/B,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;YACzC,CAAC;YACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7D,CAAC;QACD,KAAK,OAAO,EAAE,CAAC;YACb,MAAM,MAAM,GAAc,EAAE,CAAC;YAC7B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC9B,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;gBAChC,IAAI,CAAC,KAAK,CAAC,KAAK;oBAAE,OAAO,KAAK,CAAC;gBAC/B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC3B,CAAC;YACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QACxC,CAAC;QACD;YACE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IAC5B,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,KAAc;IACjC,OAAO,KAAK,KAAK,IAAI,IAAI,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,UAAU,IAAI,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC;AACnH,CAAC;AAQD,mEAAmE;AACnE,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,IAAY,EAAE,KAAqB;IACnE,MAAM,MAAM,GAAa,EAAE,CAAC;IAE5B,MAAM,KAAK,GAAG,KAAK,EAAE,IAAe,EAAsB,EAAE,CAC1D,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;IAE7I,MAAM,OAAO,GAAG,KAAK,EAAE,IAAuC,EAAmB,EAAE;QACjF,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,CAAC,KAAK,CAAC,KAAK;YAAE,OAAO,IAAI,CAAC;QAC9B,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,CAAC,KAAK,IAAI,CAAC,SAAS,IAAI,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QACvF,MAAM,OAAO,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC;QACrC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QACpF,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,MAAM,WAAW,CAAC,MAAM,eAAe,CAAC,SAAS,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YAClH,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YACrC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC1B,MAAM,OAAO,GAAgB,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;YAC/F,OAAO,OAAO,CAAC;QACjB,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,IAAI,GAAG,KAAK,EAAE,IAAY,EAAmB,EAAE;QACnD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,SAAS,CAAC;YACf,KAAK,WAAW,CAAC;YACjB,KAAK,MAAM;gBACT,OAAO,IAAI,CAAC;YACd,KAAK,QAAQ;gBACX,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,MAAM,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1I,KAAK,OAAO;gBACV,OAAO,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,MAAM,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YACrE,KAAK,MAAM;gBACT,OAAO,OAAO,CAAC,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,MAAM,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAC7D,KAAK,UAAU;gBACb,OAAO,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,MAAM,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACpD,KAAK,SAAS;gBACZ,OAAO,IAAI,CAAC;YACd,KAAK,OAAO,EAAE,CAAC;gBACb,MAAM,KAAK,GAAgB,EAAE,CAAC;gBAC9B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK;oBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACpF,OAAO,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;YACzG,CAAC;YACD,KAAK,UAAU;gBACb,OAAO,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,MAAM,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YACrE,KAAK,aAAa;gBAChB,OAAO;oBACL,GAAG,IAAI;oBACP,SAAS,EAAE,MAAM,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC;oBACrC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;oBACnD,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;iBACpD,CAAC;YACJ,KAAK,KAAK;gBACR,OAAO,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,MAAM,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,MAAM,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/E,KAAK,KAAK,CAAC;YACX,KAAK,IAAI;gBACP,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,MAAM,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YACvE,KAAK,KAAK;gBACR,OAAO,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;YACpG,KAAK,QAAQ;gBACX,OAAO;oBACL,GAAG,IAAI;oBACP,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS;oBACvD,OAAO,EAAE,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC;oBACjC,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS;iBAC9C,CAAC;QACN,CAAC;IACH,CAAC,CAAC;IAEF,OAAO,EAAE,IAAI,EAAE,MAAM,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;AAC5C,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,35 @@
+export * from "./module.js";
+export * from "./types.js";
+export { checkProgram, compileProgram } from "./program.js";
+export { programCheckInterceptor } from "./interceptor.js";
+export { toMermaid, diagramProgram, mermaidText } from "./mermaid.js";
+export type { MermaidOptions, DiagramResult } from "./mermaid.js";
+export { explainProgram } from "./explain.js";
+export type { CallExplanation, CallKind, ProgramExplanation } from "./explain.js";
+export { toOpenRpc, OPENRPC_VERSION } from "./openrpc.js";
+export type { OpenRpcDocument, OpenRpcMethod, OpenRpcContentDescriptor, OpenRpcOptions } from "./openrpc.js";
+export { toTypeScriptSdk, schemaToType } from "./typescript-sdk.js";
+export type { TypeScriptSdkOptions } from "./typescript-sdk.js";
+export type { ProgramCheckOptions, ObservableRegistry } from "./interceptor.js";
+export type { CheckOptions, CheckResult, CompileOptions, CompileResult, MustEffects } from "./program.js";
+export { manifestFacts, registryFacts, withDefinitions, coreProcedureOf, entryTakesRawInput } from "./facts.js";
+export type { ProcedureFacts, RegistryLike, FactsOptions, Definition } from "./facts.js";
+export { normalize, findDefinitions, MAX_REF_DEPTH } from "./normalize.js";
+export type { NormalizeOptions, NormalizeResult } from "./normalize.js";
+export { resolveScopes } from "./scopes.js";
+export { inferEffects, toEffects, NO_EFFECTS, UNKNOWN_EFFECTS } from "./effects.js";
+export type { EffectSummary, EffectsAnalysis, MayEffects, MustEffects as MustEffectSets, BodyEffects } from "./effects.js";
+export { checkCalls } from "./checks.js";
+export { checkShape, shapeOf } from "./schema.js";
+export type { Shape, SchemaIssue } from "./schema.js";
+export { foldProgram } from "./fold.js";
+export { compileClosure } from "./codegen-closure.js";
+export { emitText } from "./codegen-text.js";
+export type { ProgramText, SourceMapLine, TextOptions } from "./codegen-text.js";
+export { printIR } from "./print.js";
+export { hasErrors, sortDiagnostics } from "./diagnostics.js";
+export type { Diagnostic, DiagnosticCode, Severity } from "./diagnostics.js";
+export { childPointer, childrenOf, isCallLike, isControl, walk } from "./ir.js";
+export type * from "./ir.js";
+export type { CompiledProgram, ProgramContext, RuntimeFrame } from "./runtime.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AACA,cAAc,aAAa,CAAC;AAC5B,cAAc,YAAY,CAAC;AAC3B,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC5D,OAAO,EAAE,uBAAuB,EAAE,MAAM,kBAAkB,CAAC;AAC3D,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AACtE,YAAY,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAClE,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,YAAY,EAAE,eAAe,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAClF,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC1D,YAAY,EAAE,eAAe,EAAE,aAAa,EAAE,wBAAwB,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC7G,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACpE,YAAY,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAChE,YAAY,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAChF,YAAY,EAAE,YAAY,EAAE,WAAW,EAAE,cAAc,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC1G,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,eAAe,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAChH,YAAY,EAAE,cAAc,EAAE,YAAY,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AACzF,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC3E,YAAY,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACxE,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AACpF,YAAY,EAAE,aAAa,EAAE,eAAe,EAAE,UAAU,EAAE,WAAW,IAAI,cAAc,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3H,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAClD,YAAY,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AACtD,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC7C,YAAY,EAAE,WAAW,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACjF,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AACrC,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAC9D,YAAY,EAAE,UAAU,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC7E,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,SAAS,CAAC;AAChF,mBAAmB,SAAS,CAAC;AAC7B,YAAY,EAAE,eAAe,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC"}

package/dist/index.js

@@ -0,0 +1,22 @@
+// The root registers nothing: import "<package>/register", or give the module to createRegistry()
+export * from "./module.js";
+export * from "./types.js";
+export { checkProgram, compileProgram } from "./program.js";
+export { programCheckInterceptor } from "./interceptor.js";
+export { toMermaid, diagramProgram, mermaidText } from "./mermaid.js";
+export { explainProgram } from "./explain.js";
+export { toOpenRpc, OPENRPC_VERSION } from "./openrpc.js";
+export { toTypeScriptSdk, schemaToType } from "./typescript-sdk.js";
+export { manifestFacts, registryFacts, withDefinitions, coreProcedureOf, entryTakesRawInput } from "./facts.js";
+export { normalize, findDefinitions, MAX_REF_DEPTH } from "./normalize.js";
+export { resolveScopes } from "./scopes.js";
+export { inferEffects, toEffects, NO_EFFECTS, UNKNOWN_EFFECTS } from "./effects.js";
+export { checkCalls } from "./checks.js";
+export { checkShape, shapeOf } from "./schema.js";
+export { foldProgram } from "./fold.js";
+export { compileClosure } from "./codegen-closure.js";
+export { emitText } from "./codegen-text.js";
+export { printIR } from "./print.js";
+export { hasErrors, sortDiagnostics } from "./diagnostics.js";
+export { childPointer, childrenOf, isCallLike, isControl, walk } from "./ir.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,kGAAkG;AAClG,cAAc,aAAa,CAAC;AAC5B,cAAc,YAAY,CAAC;AAC3B,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC5D,OAAO,EAAE,uBAAuB,EAAE,MAAM,kBAAkB,CAAC;AAC3D,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAEtE,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAE9C,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE1D,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAIpE,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,eAAe,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAEhH,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAE3E,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAEpF,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAElD,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAE7C,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AACrC,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAE9D,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,SAAS,CAAC"}

package/dist/interceptor.d.ts

@@ -0,0 +1,51 @@
+/**
+ * The check before the run, as an interceptor of a host (roadmap R22).
+ *
+ * A host calls a data-driven procedure (`client.chain`, `client.map`, a procedure that
+ * `procedure.define` made) with a program in its input. Without the check, the interpreter finds
+ * a problem only when it arrives there: step 1 can write a file before step 3 meets a refusal.
+ * The interceptor checks the whole program before the first step. When the check finds an error,
+ * the host refuses the call, and no step starts.
+ *
+ * The check is conservative. It refuses a call that a branch can make, also a branch that does
+ * not run. A `client.tryCatch` around a refused call does not help: the program does not start.
+ *
+ * A call of `procedure.define` gets the check of its body. The host refuses a body with an
+ * error, and gives the effects of the body to `procedure.define`, which keeps them as
+ * `inferredEffects`. Then the tool of a defined procedure has the right hints.
+ *
+ * @example
+ * ```typescript
+ * const server = new ProcedureServer({
+ *   registry,
+ *   expose,
+ *   interceptors: [programCheckInterceptor({ registry, expose })],
+ * });
+ * ```
+ */
+import { type AnyProcedure, type Interceptor, type Invocation, type ProcedurePath } from "@procedures/client/browser";
+import { type RegistryLike } from "./facts.js";
+import { type CheckResult } from "./program.js";
+import type { Diagnostic } from "./diagnostics.js";
+/** A registry that tells when its procedures change, so the interceptor can make its facts again. */
+export interface ObservableRegistry extends RegistryLike {
+    on?(event: "register" | "unregister", listener: (procedure: AnyProcedure) => void): void;
+}
+/** The options of `programCheckInterceptor()`. */
+export interface ProgramCheckOptions {
+    /** The registry of the host. */
+    readonly registry: ObservableRegistry;
+    /** The expose rule of the host. The default exposes each procedure. */
+    readonly expose?: ((path: ProcedurePath) => boolean) | undefined;
+    /** The diagnostics that refuse a program. The default refuses each error. */
+    readonly refuses?: ((diagnostic: Diagnostic) => boolean) | undefined;
+    /** This function gets each result of the check (for logs and tests). */
+    readonly onCheck?: ((invocation: Invocation, result: CheckResult) => void) | undefined;
+}
+/**
+ * This function gives an interceptor that checks the program of each call of the host to a
+ * data-driven procedure, before the procedure starts. A nested call is a part of a program that
+ * the check examined already, so the interceptor does not check it again.
+ */
+export declare function programCheckInterceptor(options: ProgramCheckOptions): Interceptor;
+//# sourceMappingURL=interceptor.d.ts.map

package/dist/interceptor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"interceptor.d.ts","sourceRoot":"","sources":["../src/interceptor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,EAML,KAAK,YAAY,EAEjB,KAAK,WAAW,EAChB,KAAK,UAAU,EAEf,KAAK,aAAa,EACnB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAsC,KAAK,YAAY,EAAE,MAAM,YAAY,CAAC;AACnF,OAAO,EAAgB,KAAK,WAAW,EAAE,MAAM,cAAc,CAAC;AAC9D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEnD,qGAAqG;AACrG,MAAM,WAAW,kBAAmB,SAAQ,YAAY;IACtD,EAAE,CAAC,CAAC,KAAK,EAAE,UAAU,GAAG,YAAY,EAAE,QAAQ,EAAE,CAAC,SAAS,EAAE,YAAY,KAAK,IAAI,GAAG,IAAI,CAAC;CAC1F;AAED,kDAAkD;AAClD,MAAM,WAAW,mBAAmB;IAClC,gCAAgC;IAChC,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACtC,uEAAuE;IACvE,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,aAAa,KAAK,OAAO,CAAC,GAAG,SAAS,CAAC;IACjE,6EAA6E;IAC7E,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,UAAU,EAAE,UAAU,KAAK,OAAO,CAAC,GAAG,SAAS,CAAC;IACrE,wEAAwE;IACxE,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC;CACxF;AA6CD;;;;GAIG;AACH,wBAAgB,uBAAuB,CAAC,OAAO,EAAE,mBAAmB,GAAG,WAAW,CAwCjF"}

package/dist/interceptor.js

@@ -0,0 +1,116 @@
+/**
+ * The check before the run, as an interceptor of a host (roadmap R22).
+ *
+ * A host calls a data-driven procedure (`client.chain`, `client.map`, a procedure that
+ * `procedure.define` made) with a program in its input. Without the check, the interpreter finds
+ * a problem only when it arrives there: step 1 can write a file before step 3 meets a refusal.
+ * The interceptor checks the whole program before the first step. When the check finds an error,
+ * the host refuses the call, and no step starts.
+ *
+ * The check is conservative. It refuses a call that a branch can make, also a branch that does
+ * not run. A `client.tryCatch` around a refused call does not help: the program does not start.
+ *
+ * A call of `procedure.define` gets the check of its body. The host refuses a body with an
+ * error, and gives the effects of the body to `procedure.define`, which keeps them as
+ * `inferredEffects`. Then the tool of a defined procedure has the right hints.
+ *
+ * @example
+ * ```typescript
+ * const server = new ProcedureServer({
+ *   registry,
+ *   expose,
+ *   interceptors: [programCheckInterceptor({ registry, expose })],
+ * });
+ * ```
+ */
+import { INFERRED_EFFECTS_METADATA_KEY, InvocationError, effectsValue, isDataDriven, pathToKey, } from "@procedures/client/browser";
+import { registryFacts } from "./facts.js";
+import { checkProgram } from "./program.js";
+/** The error code of the interpreter for the same problem, so a client sees one code. */
+function codeOf(diagnostic) {
+    switch (diagnostic.code) {
+        case "not-exposed":
+            return "NOT_EXPOSED";
+        case "unknown-procedure":
+            return "NOT_FOUND";
+        case "capability-refused":
+        case "effects-unknown":
+            return "FORBIDDEN";
+        default:
+            return "VALIDATION_ERROR";
+    }
+}
+const REASONS = ["effects-undeclared", "effects-exceeded", "clearance", "deadline"];
+/** The reason of a `FORBIDDEN` refusal: the diagnostic names it in its message. */
+function reasonOf(diagnostic) {
+    if (diagnostic.code === "effects-unknown")
+        return "effects-undeclared";
+    if (diagnostic.code !== "capability-refused")
+        return undefined;
+    return REASONS.find((reason) => diagnostic.message.includes(`(${reason})`));
+}
+/**
+ * The place of a problem for the caller. The check examines `{ $proc, input }`, and the caller
+ * sent only the input, so a pointer into the input loses its `/input` part.
+ */
+function placeOf(pointer) {
+    if (pointer === "" || pointer === "/$proc")
+        return "the call";
+    if (pointer === "/input")
+        return "the input";
+    if (pointer.startsWith("/input/"))
+        return `${pointer.slice("/input".length)} of the input`;
+    return pointer;
+}
+/** The text of a refusal: the first problem with its place, and the number of the others. */
+function messageOf(refused) {
+    const first = refused[0];
+    const where = placeOf(first.pointer);
+    const more = refused.length > 1 ? ` The check found ${refused.length - 1} more problem${refused.length > 2 ? "s" : ""}.` : "";
+    return `The check before the run refused the program, and no step started. ${first.code} at ${where}: ${first.message}${more}`;
+}
+/**
+ * This function gives an interceptor that checks the program of each call of the host to a
+ * data-driven procedure, before the procedure starts. A nested call is a part of a program that
+ * the check examined already, so the interceptor does not check it again.
+ */
+export function programCheckInterceptor(options) {
+    const refuses = options.refuses ?? ((diagnostic) => diagnostic.severity === "error");
+    // The facts of the registry cost a description of each procedure: keep them until it changes
+    let facts;
+    const reset = () => {
+        facts = undefined;
+    };
+    options.registry.on?.("register", reset);
+    options.registry.on?.("unregister", reset);
+    return async (invocation, next) => {
+        if (pathToKey(invocation.path) === "procedure.define") {
+            const aggregation = invocation.input?.aggregation;
+            if (aggregation === undefined)
+                return next();
+            facts ??= registryFacts(options.registry, { expose: options.expose });
+            const body = checkProgram(aggregation, { facts, expose: options.expose, mode: "body" });
+            options.onCheck?.(invocation, body);
+            // A nested definition is a part of a program that the check examined already
+            const refused = invocation.depth === 0 ? body.diagnostics.filter(refuses) : [];
+            if (refused.length > 0) {
+                const placed = refused.map((diagnostic) => ({ ...diagnostic, pointer: `/input/aggregation${diagnostic.pointer}` }));
+                throw new InvocationError(codeOf(placed[0]), messageOf(placed), invocation.path, reasonOf(placed[0]));
+            }
+            const effects = effectsValue(body.effects);
+            return effects ? next({ metadata: { ...invocation.metadata, [INFERRED_EFFECTS_METADATA_KEY]: effects } }) : next();
+        }
+        if (invocation.depth !== 0 || !isDataDriven(invocation.procedure))
+            return next();
+        facts ??= registryFacts(options.registry, { expose: options.expose });
+        const result = checkProgram({ $proc: invocation.path, input: invocation.input }, { facts, expose: options.expose, capability: invocation.capability });
+        options.onCheck?.(invocation, result);
+        const refused = result.diagnostics.filter(refuses);
+        if (refused.length > 0) {
+            const first = refused[0];
+            throw new InvocationError(codeOf(first), messageOf(refused), invocation.path, reasonOf(first));
+        }
+        return next();
+    };
+}
+//# sourceMappingURL=interceptor.js.map

package/dist/interceptor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"interceptor.js","sourceRoot":"","sources":["../src/interceptor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,EACL,6BAA6B,EAC7B,eAAe,EACf,YAAY,EACZ,YAAY,EACZ,SAAS,GAOV,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,aAAa,EAA0C,MAAM,YAAY,CAAC;AACnF,OAAO,EAAE,YAAY,EAAoB,MAAM,cAAc,CAAC;AAoB9D,yFAAyF;AACzF,SAAS,MAAM,CAAC,UAAsB;IACpC,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,aAAa;YAChB,OAAO,aAAa,CAAC;QACvB,KAAK,mBAAmB;YACtB,OAAO,WAAW,CAAC;QACrB,KAAK,oBAAoB,CAAC;QAC1B,KAAK,iBAAiB;YACpB,OAAO,WAAW,CAAC;QACrB;YACE,OAAO,kBAAkB,CAAC;IAC9B,CAAC;AACH,CAAC;AAED,MAAM,OAAO,GAAuC,CAAC,oBAAoB,EAAE,kBAAkB,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC;AAExH,mFAAmF;AACnF,SAAS,QAAQ,CAAC,UAAsB;IACtC,IAAI,UAAU,CAAC,IAAI,KAAK,iBAAiB;QAAE,OAAO,oBAAoB,CAAC;IACvE,IAAI,UAAU,CAAC,IAAI,KAAK,oBAAoB;QAAE,OAAO,SAAS,CAAC;IAC/D,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,MAAM,GAAG,CAAC,CAAC,CAAC;AAC9E,CAAC;AAED;;;GAGG;AACH,SAAS,OAAO,CAAC,OAAe;IAC9B,IAAI,OAAO,KAAK,EAAE,IAAI,OAAO,KAAK,QAAQ;QAAE,OAAO,UAAU,CAAC;IAC9D,IAAI,OAAO,KAAK,QAAQ;QAAE,OAAO,WAAW,CAAC;IAC7C,IAAI,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC;QAAE,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,eAAe,CAAC;IAC3F,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,6FAA6F;AAC7F,SAAS,SAAS,CAAC,OAA8B;IAC/C,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC;IAC1B,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,oBAAoB,OAAO,CAAC,MAAM,GAAG,CAAC,gBAAgB,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9H,OAAO,sEAAsE,KAAK,CAAC,IAAI,OAAO,KAAK,KAAK,KAAK,CAAC,OAAO,GAAG,IAAI,EAAE,CAAC;AACjI,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,uBAAuB,CAAC,OAA4B;IAClE,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,CAAC,CAAC,UAAsB,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IACjG,6FAA6F;IAC7F,IAAI,KAAiC,CAAC;IACtC,MAAM,KAAK,GAAG,GAAS,EAAE;QACvB,KAAK,GAAG,SAAS,CAAC;IACpB,CAAC,CAAC;IACF,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IACzC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;IAE3C,OAAO,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE;QAChC,IAAI,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,kBAAkB,EAAE,CAAC;YACtD,MAAM,WAAW,GAAI,UAAU,CAAC,KAAsD,EAAE,WAAW,CAAC;YACpG,IAAI,WAAW,KAAK,SAAS;gBAAE,OAAO,IAAI,EAAE,CAAC;YAC7C,KAAK,KAAK,aAAa,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;YACtE,MAAM,IAAI,GAAG,YAAY,CAAC,WAAW,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;YACxF,OAAO,CAAC,OAAO,EAAE,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;YACpC,6EAA6E;YAC7E,MAAM,OAAO,GAAG,UAAU,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/E,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACvB,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,UAAU,EAAE,OAAO,EAAE,qBAAqB,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;gBACpH,MAAM,IAAI,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,EAAE,SAAS,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC;YAC1G,CAAC;YACD,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC3C,OAAO,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,GAAG,UAAU,CAAC,QAAQ,EAAE,CAAC,6BAA6B,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACrH,CAAC;QACD,IAAI,UAAU,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,SAAS,CAAC;YAAE,OAAO,IAAI,EAAE,CAAC;QACjF,KAAK,KAAK,aAAa,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QACtE,MAAM,MAAM,GAAG,YAAY,CACzB,EAAE,KAAK,EAAE,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,EACnD,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,UAAU,EAAE,UAAU,CAAC,UAAU,EAAE,CACrE,CAAC;QACF,OAAO,CAAC,OAAO,EAAE,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACnD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC;YAC1B,MAAM,IAAI,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,OAAO,CAAC,EAAE,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;QACjG,CAAC;QACD,OAAO,IAAI,EAAE,CAAC;IAChB,CAAC,CAAC;AACJ,CAAC"}