@procedures/client 0.22.0 → 0.23.0

package/dist/procedures/collection/partition.js

@@ -147,6 +147,33 @@ export function assertTopicsApart(plain, hasPartitions) {
             throw new CollectionTopicCollisionError(collection, shared.collection, shared.partition);
     }
 }
+/**
+ * This function gives the check of a subscriber that listens to the plain topic of a collection
+ * (roadmap CLI-70, decision D23). When no partition has that topic, it gives undefined. The check
+ * throws `FORBIDDEN` (reason `partition-not-allowed`) while the repository of the call gives
+ * partitions to the collection of that partition.
+ *
+ * - The plain topic of `a.b` is also the topic of the partition `b` of `a`. Thus a subscriber of
+ *   that topic gets the events of the partition `b` of `a`.
+ * - `ProcedureServer` refuses a storage of `a.b` while `a` has partitions (roadmap CLI-57). A
+ *   collection `a.b` with partitions and no storage passes that check. When its resolver gives no
+ *   partition, a subscriber of `a.b` listens to the plain topic. This check refuses it.
+ * - `EventPublisher` does the check at the start of a subscription, at each re-check and before
+ *   each event. Thus partitions of `a` that come later also end the subscription.
+ *
+ * @param ctx - The context of the subscription: the check reads its repository each time
+ * @param collection - The collection whose plain topic the subscriber listens to
+ */
+export function plainTopicCheck(ctx, collection) {
+    const shared = partitionOfPlainTopic(collection);
+    if (!shared)
+        return undefined;
+    return () => {
+        if (!ctx.repository?.hasPartitions?.(shared.collection))
+            return;
+        throw partitionRefused(ctx, `The call has no partition of ${collection}, and the plain topic "${collectionChangeTopic(collection)}" is also the topic of the partition "${shared.partition}" of ${shared.collection} (roadmap CLI-70)`);
+    };
+}
 // The parse of a topic lives in topic.ts, with the encode (roadmap CLI-42)
 export { collectionTopicPartition, collectionTopicTarget } from "./topic.js";
 //# sourceMappingURL=partition.js.map

package/dist/procedures/collection/partition.js.map

@@ -1 +1 @@
-{"version":3,"file":"partition.js","sourceRoot":"","sources":["../../../src/procedures/collection/partition.ts"],"names":[],"mappings":"AAqBA,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAG/C,OAAO,EAAE,qBAAqB,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AAE7E,2FAA2F;AAC3F,MAAM,CAAC,MAAM,iBAAiB,GAAW,+BAA+B,CAAC;AAoBzE;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAI,MAAkB;IACjD,MAAM,QAAQ,GAAG,CAAC,IAAa,EAA0J,EAAE;QACzL,MAAM,IAAI,GAAG,CAAC,OAAe,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,KAAc,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,WAAW,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAChI,kFAAkF;QAClF,MAAM,SAAS,GAAG,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC;YAC5I,CAAC,CAAE,IAAgC,CAAC,WAAW,CAAC;YAChD,CAAC,CAAC,SAAS,CAAC;QACd,IAAI,SAAS,KAAK,SAAS,IAAI,CAAC,OAAO,SAAS,KAAK,QAAQ,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;YACrG,OAAO,IAAI,CAAC,kFAAkF,CAAC,CAAC;QAClG,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC;QACvD,IAAI,CAAC,KAAK,CAAC,OAAO;YAAE,OAAO,KAAiH,CAAC;QAC7I,MAAM,MAAM,GAAG,KAAK,CAAC,IAA0B,CAAC;QAChD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,SAAS,EAAE,SAAmB,EAAE,EAAE,CAAC;IACnH,CAAC,CAAC;IACF,OAAO;QACL,KAAK,CAAC,IAAa;YACjB,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC9B,IAAI,MAAM,CAAC,OAAO;gBAAE,OAAO,MAAM,CAAC,IAAI,CAAC;YACvC,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACxC,CAAC;QACD,SAAS,EAAE,QAAQ;KACW,CAAC;AACnC,CAAC;AAED,8GAA8G;AAC9G,SAAS,gBAAgB,CAAC,IAAa;IACrC,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9I,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,GAAG,IAA+B,CAAC;IAC3E,OAAO,IAAI,CAAC;AACd,CAAC;AAaD,kCAAkC;AAClC,SAAS,gBAAgB,CAAC,GAAqB,EAAE,OAAe;IAC9D,OAAO,IAAI,eAAe,CAAC,WAAW,EAAE,OAAO,EAAE,GAAG,CAAC,IAAI,EAAE,uBAAuB,CAAC,CAAC;AACtF,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,GAAqB,EAAE,UAAkB,EAAE,SAA6B;IAC5G,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC;IAClC,IAAI,CAAC,UAAU,EAAE,aAAa,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,gBAAgB,EAAE,CAAC;QAC7E,IAAI,SAAS,KAAK,SAAS;YAAE,MAAM,gBAAgB,CAAC,GAAG,EAAE,kBAAkB,UAAU,oBAAoB,CAAC,CAAC;QAC3G,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,UAAU,CAAC,gBAAgB,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;IAChF,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvB,MAAM,gBAAgB,CAAC,GAAG,EAAE,oCAAoC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,SAAS,GAAG,OAAO,UAAU,EAAE,CAAC,CAAC;IACvI,CAAC;IACD,IAAI,SAAS,KAAK,SAAS,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QAClE,MAAM,IAAI,KAAK,CAAC,8DAA8D,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;IAC1H,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAI,GAAqB,EAAE,UAAkB,EAAE,SAA6B;IACvG,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC;IAClC,IAAI,CAAC,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;IAClF,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,UAAU,CAAC,UAAU,CAAI,UAAU,CAAC,CAAC;IACzE,IAAI,CAAC,UAAU,CAAC,mBAAmB,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CAAC,sEAAsE,SAAS,QAAQ,UAAU,EAAE,CAAC,CAAC;IACvH,CAAC;IACD,OAAO,UAAU,CAAC,mBAAmB,CAAI,UAAU,EAAE,SAAS,CAAC,CAAC;AAClE,CAAC;AAED;;;;;GAKG;AACH,MAAM,OAAO,6BAA8B,SAAQ,KAAK;IACpC,IAAI,GAAG,+BAA+B,CAAC;IACzD,kGAAkG;IACzF,UAAU,CAAS;IAC5B,sCAAsC;IAC7B,WAAW,CAAS;IAC7B,+EAA+E;IACtE,SAAS,CAAS;IAC3B,4BAA4B;IACnB,KAAK,CAAS;IAEvB,YAAY,UAAkB,EAAE,WAAmB,EAAE,SAAiB;QACpE,KAAK,CAAC,gBAAgB,CAAC,UAAU,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC,CAAC;QAC5D,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC;QAC/B,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,IAAI,CAAC,KAAK,GAAG,qBAAqB,CAAC,UAAU,CAAC,CAAC;IACjD,CAAC;CACF;AAED,oGAAoG;AACpG,SAAS,gBAAgB,CAAC,UAAkB,EAAE,WAAmB,EAAE,SAAiB;IAClF,4FAA4F;IAC5F,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IACzE,OAAO,CACL,mBAAmB,UAAU,wBAAwB,SAAS,wBAAwB,WAAW,0BAA0B,qBAAqB,CAAC,UAAU,CAAC,KAAK;QACjK,sBAAsB,UAAU,uDAAuD;QACvF,0BAA0B,UAAU,yCAAyC,MAAM,mBAAmB,UAAU,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,CACzI,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,qBAAqB,CAAC,UAAkB;IACtD,MAAM,MAAM,GAAG,wBAAwB,CAAC,qBAAqB,CAAC,UAAU,CAAC,CAAC,CAAC;IAC3E,OAAO,MAAM,EAAE,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC;AACtH,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAuB,EAAE,aAA8C;IACvG,KAAK,MAAM,UAAU,IAAI,KAAK,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,qBAAqB,CAAC,UAAU,CAAC,CAAC;QACjD,IAAI,MAAM,IAAI,aAAa,CAAC,MAAM,CAAC,UAAU,CAAC;YAAE,MAAM,IAAI,6BAA6B,CAAC,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;IAC3I,CAAC;AACH,CAAC;AAED,2EAA2E;AAC3E,OAAO,EAAE,wBAAwB,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC"}
+{"version":3,"file":"partition.js","sourceRoot":"","sources":["../../../src/procedures/collection/partition.ts"],"names":[],"mappings":"AAwBA,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAG/C,OAAO,EAAE,qBAAqB,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AAE7E,2FAA2F;AAC3F,MAAM,CAAC,MAAM,iBAAiB,GAAW,+BAA+B,CAAC;AAoBzE;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAI,MAAkB;IACjD,MAAM,QAAQ,GAAG,CAAC,IAAa,EAA0J,EAAE;QACzL,MAAM,IAAI,GAAG,CAAC,OAAe,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,KAAc,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,WAAW,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAChI,kFAAkF;QAClF,MAAM,SAAS,GAAG,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC;YAC5I,CAAC,CAAE,IAAgC,CAAC,WAAW,CAAC;YAChD,CAAC,CAAC,SAAS,CAAC;QACd,IAAI,SAAS,KAAK,SAAS,IAAI,CAAC,OAAO,SAAS,KAAK,QAAQ,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;YACrG,OAAO,IAAI,CAAC,kFAAkF,CAAC,CAAC;QAClG,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC;QACvD,IAAI,CAAC,KAAK,CAAC,OAAO;YAAE,OAAO,KAAiH,CAAC;QAC7I,MAAM,MAAM,GAAG,KAAK,CAAC,IAA0B,CAAC;QAChD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,SAAS,EAAE,SAAmB,EAAE,EAAE,CAAC;IACnH,CAAC,CAAC;IACF,OAAO;QACL,KAAK,CAAC,IAAa;YACjB,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC9B,IAAI,MAAM,CAAC,OAAO;gBAAE,OAAO,MAAM,CAAC,IAAI,CAAC;YACvC,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACxC,CAAC;QACD,SAAS,EAAE,QAAQ;KACW,CAAC;AACnC,CAAC;AAED,8GAA8G;AAC9G,SAAS,gBAAgB,CAAC,IAAa;IACrC,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9I,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,GAAG,IAA+B,CAAC;IAC3E,OAAO,IAAI,CAAC;AACd,CAAC;AAaD,kCAAkC;AAClC,SAAS,gBAAgB,CAAC,GAAqB,EAAE,OAAe;IAC9D,OAAO,IAAI,eAAe,CAAC,WAAW,EAAE,OAAO,EAAE,GAAG,CAAC,IAAI,EAAE,uBAAuB,CAAC,CAAC;AACtF,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,GAAqB,EAAE,UAAkB,EAAE,SAA6B;IAC5G,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC;IAClC,IAAI,CAAC,UAAU,EAAE,aAAa,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,gBAAgB,EAAE,CAAC;QAC7E,IAAI,SAAS,KAAK,SAAS;YAAE,MAAM,gBAAgB,CAAC,GAAG,EAAE,kBAAkB,UAAU,oBAAoB,CAAC,CAAC;QAC3G,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,UAAU,CAAC,gBAAgB,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;IAChF,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvB,MAAM,gBAAgB,CAAC,GAAG,EAAE,oCAAoC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,SAAS,GAAG,OAAO,UAAU,EAAE,CAAC,CAAC;IACvI,CAAC;IACD,IAAI,SAAS,KAAK,SAAS,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QAClE,MAAM,IAAI,KAAK,CAAC,8DAA8D,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;IAC1H,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAI,GAAqB,EAAE,UAAkB,EAAE,SAA6B;IACvG,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC;IAClC,IAAI,CAAC,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;IAClF,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,UAAU,CAAC,UAAU,CAAI,UAAU,CAAC,CAAC;IACzE,IAAI,CAAC,UAAU,CAAC,mBAAmB,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CAAC,sEAAsE,SAAS,QAAQ,UAAU,EAAE,CAAC,CAAC;IACvH,CAAC;IACD,OAAO,UAAU,CAAC,mBAAmB,CAAI,UAAU,EAAE,SAAS,CAAC,CAAC;AAClE,CAAC;AAED;;;;;GAKG;AACH,MAAM,OAAO,6BAA8B,SAAQ,KAAK;IACpC,IAAI,GAAG,+BAA+B,CAAC;IACzD,kGAAkG;IACzF,UAAU,CAAS;IAC5B,sCAAsC;IAC7B,WAAW,CAAS;IAC7B,+EAA+E;IACtE,SAAS,CAAS;IAC3B,4BAA4B;IACnB,KAAK,CAAS;IAEvB,YAAY,UAAkB,EAAE,WAAmB,EAAE,SAAiB;QACpE,KAAK,CAAC,gBAAgB,CAAC,UAAU,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC,CAAC;QAC5D,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC;QAC/B,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,IAAI,CAAC,KAAK,GAAG,qBAAqB,CAAC,UAAU,CAAC,CAAC;IACjD,CAAC;CACF;AAED,oGAAoG;AACpG,SAAS,gBAAgB,CAAC,UAAkB,EAAE,WAAmB,EAAE,SAAiB;IAClF,4FAA4F;IAC5F,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IACzE,OAAO,CACL,mBAAmB,UAAU,wBAAwB,SAAS,wBAAwB,WAAW,0BAA0B,qBAAqB,CAAC,UAAU,CAAC,KAAK;QACjK,sBAAsB,UAAU,uDAAuD;QACvF,0BAA0B,UAAU,yCAAyC,MAAM,mBAAmB,UAAU,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,CACzI,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,qBAAqB,CAAC,UAAkB;IACtD,MAAM,MAAM,GAAG,wBAAwB,CAAC,qBAAqB,CAAC,UAAU,CAAC,CAAC,CAAC;IAC3E,OAAO,MAAM,EAAE,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC;AACtH,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAuB,EAAE,aAA8C;IACvG,KAAK,MAAM,UAAU,IAAI,KAAK,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,qBAAqB,CAAC,UAAU,CAAC,CAAC;QACjD,IAAI,MAAM,IAAI,aAAa,CAAC,MAAM,CAAC,UAAU,CAAC;YAAE,MAAM,IAAI,6BAA6B,CAAC,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;IAC3I,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,eAAe,CAAC,GAAqB,EAAE,UAAkB;IACvE,MAAM,MAAM,GAAG,qBAAqB,CAAC,UAAU,CAAC,CAAC;IACjD,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,OAAO,GAAG,EAAE;QACV,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,aAAa,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC;YAAE,OAAO;QAChE,MAAM,gBAAgB,CACpB,GAAG,EACH,gCAAgC,UAAU,0BAA0B,qBAAqB,CAAC,UAAU,CAAC,yCAAyC,MAAM,CAAC,SAAS,QAAQ,MAAM,CAAC,UAAU,mBAAmB,CAC3M,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC;AAED,2EAA2E;AAC3E,OAAO,EAAE,wBAAwB,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC"}

package/dist/procedures/envelope.d.ts

@@ -0,0 +1,119 @@
+/**
+ * The envelope form of a program (coeval, decisions D6, D9 and D10, roadmap item M7).
+ *
+ * A document of coeval is an envelope: `{ type, value }`. The header can also have `name` and
+ * `own`. In the envelope form of a program:
+ *
+ * - A call is `{ type: path, value: input }`. The type is the path of a procedure, as an array of
+ *   keys. A ref into the world, `{ type: "ref", value: ["world", ...path] }`, is also a type.
+ * - A ref is `{ type: "ref", value: ["names", name, ...fields] }`. The name `last` reads the result
+ *   of the step before.
+ * - A literal is `{ type: "literal", value }`. Nothing in its value runs.
+ *
+ * The envelope form is a surface. `fromEnvelopeProgram()` changes it into the `$proc` form, and
+ * `hydrateInput()` starts that form. In the input of a `$proc` program, an envelope is data. Thus
+ * the root of a program decides its form, and the old programs do not change.
+ */
+import { type AnyProcedureRef, type ProcedureRefJson } from "./ref.js";
+/** This type is a path of keys from a root of the context (coeval D10). */
+export type EnvelopePath = readonly (string | number)[];
+/**
+ * This document reads a value: `{ type: "ref", value: [root, step, ...] }` (coeval D10). A client
+ * program reads only the root `names`. A ref into the world is only the type of a call.
+ */
+export interface EnvelopeRef {
+    readonly type: "ref";
+    readonly value: EnvelopePath;
+}
+/** This document gives its value as data. Nothing in the value runs. */
+export interface EnvelopeLiteral {
+    readonly type: "literal";
+    readonly value: unknown;
+}
+/**
+ * This document is a call in the envelope form (coeval D9). The type is the path of the
+ * procedure, or a ref into the world. The value is the input. A value of `null` gives no input.
+ */
+export interface EnvelopeProgram {
+    /** The path of the procedure, or a ref into the world: `{ type: "ref", value: ["world", ...path] }`. */
+    readonly type: readonly string[] | EnvelopeRef;
+    /** The input of the call. `null` gives a call without input. */
+    readonly value: unknown;
+    /** The name of the result. A later step of `client.chain` reads it as `["names", name]`. */
+    readonly name?: string | undefined;
+    /** The own entries of the document. A client program has none: the conversion refuses this key. */
+    readonly own?: unknown;
+}
+/**
+ * This function gives true if a value is a program in the envelope form. The value is a plain
+ * object with the keys `type` and `value`, and only the header keys `name` and `own` in
+ * addition. The type is a procedure path (an array of one or more strings), or a ref into the
+ * world: `{ type: "ref", value: ["world", ...path] }`.
+ *
+ * @example
+ * ```typescript
+ * isEnvelopeProgram({ type: ["client", "add"], value: { a: 1, b: 2 } }); // true
+ * isEnvelopeProgram({ $proc: ["client", "add"], input: { a: 1, b: 2 } }); // false
+ * ```
+ */
+export declare function isEnvelopeProgram(value: unknown): value is EnvelopeProgram;
+/**
+ * This function changes a program in the envelope form into the `$proc` form. `hydrateInput()`
+ * and `client.exec()` start the result.
+ *
+ * The conversion:
+ * - A call gives `{ $proc: path, input }`. A value of `null` gives a call without `input`. The
+ *   header `name` gives `$name`.
+ * - A ref `["names", "last"]` gives `{ $ref: "$last" }`. A ref `["names", name, ...fields]` gives
+ *   `{ $ref: "name.field" }`.
+ * - A literal gives `{ $literal: value }`.
+ * - An object with a `$proc`, `$ref` or `$literal` key is data: the function puts it in a
+ *   `$literal`. A runtime `ProcedureRef` is data too.
+ * - The function copies the arrays and the other plain objects. Other values stay the same.
+ *
+ * The function throws an error for a ref with a root other than `names`, and for a bad key of a
+ * ref path. It also throws an error for a header on a ref or a literal, and for the key `own`.
+ * The envelope form has no `$when`: a program that needs it keeps the `$proc` form.
+ *
+ * @example
+ * ```typescript
+ * fromEnvelopeProgram({
+ *   type: ["client", "multiply"],
+ *   value: { a: { type: "ref", value: ["names", "item"] }, b: 10 },
+ * });
+ * // { $proc: ["client", "multiply"], input: { a: { $ref: "item" }, b: 10 } }
+ * ```
+ */
+export declare function fromEnvelopeProgram(program: EnvelopeProgram): ProcedureRefJson;
+/**
+ * This function changes a program in the `$proc` form into the envelope form, for a tool that
+ * shows it. `fromEnvelopeProgram()` changes the result back into the same program.
+ *
+ * The conversion:
+ * - A call gives `{ type: path, value: input }`. A call without input gives the value `null`.
+ *   `$name` gives the header `name`.
+ * - `{ $ref: "$last" }` gives `["names", "last"]`. `{ $ref: "a.b" }` gives `["names", "a", "b"]`.
+ * - `{ $literal: value }` gives a literal.
+ * - Data that the envelope form reads in a different way gives a literal. This data is an object
+ *   with the shape of a call, a ref or a literal. It is also an object with a `$proc`, `$ref` or
+ *   `$literal` key.
+ *
+ * The function throws an error for a program that the envelope form cannot keep:
+ * - a call with `$when`, or with a key other than the path, the input and the name,
+ * - a `$ref` object with other keys, or a ref to a step with the name `last`,
+ * - such data that holds a call, a `$ref` or a `$literal`.
+ *
+ * These programs keep the `$proc` form.
+ *
+ * The round trip gives the same program, with two exceptions. A call with the input `null`, and
+ * data that the envelope form reads in a different way, come back in a `$literal`. They give
+ * the same values.
+ *
+ * @example
+ * ```typescript
+ * toEnvelopeProgram({ $proc: ["client", "add"], input: { a: { $ref: "$last" }, b: 1 }, $name: "sum" });
+ * // { type: ["client", "add"], value: { a: { type: "ref", value: ["names", "last"] }, b: 1 }, name: "sum" }
+ * ```
+ */
+export declare function toEnvelopeProgram(program: AnyProcedureRef): EnvelopeProgram;
+//# sourceMappingURL=envelope.d.ts.map

package/dist/procedures/envelope.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"envelope.d.ts","sourceRoot":"","sources":["../../src/procedures/envelope.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAaL,KAAK,eAAe,EAEpB,KAAK,gBAAgB,EACtB,MAAM,UAAU,CAAC;AAOlB,2EAA2E;AAC3E,MAAM,MAAM,YAAY,GAAG,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC;AAExD;;;GAGG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC;CAC9B;AAED,wEAAwE;AACxE,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACzB;AAED;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B,wGAAwG;IACxG,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG,WAAW,CAAC;IAC/C,gEAAgE;IAChE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,4FAA4F;IAC5F,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACnC,mGAAmG;IACnG,QAAQ,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC;CACxB;AA4GD;;;;;;;;;;;GAWG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,eAAe,CAE1E;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,eAAe,GAAG,gBAAgB,CAQ9E;AAkGD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,eAAe,GAAG,eAAe,CAQ3E"}

package/dist/procedures/envelope.js

@@ -0,0 +1,371 @@
+/**
+ * The envelope form of a program (coeval, decisions D6, D9 and D10, roadmap item M7).
+ *
+ * A document of coeval is an envelope: `{ type, value }`. The header can also have `name` and
+ * `own`. In the envelope form of a program:
+ *
+ * - A call is `{ type: path, value: input }`. The type is the path of a procedure, as an array of
+ *   keys. A ref into the world, `{ type: "ref", value: ["world", ...path] }`, is also a type.
+ * - A ref is `{ type: "ref", value: ["names", name, ...fields] }`. The name `last` reads the result
+ *   of the step before.
+ * - A literal is `{ type: "literal", value }`. Nothing in its value runs.
+ *
+ * The envelope form is a surface. `fromEnvelopeProgram()` changes it into the `$proc` form, and
+ * `hydrateInput()` starts that form. In the input of a `$proc` program, an envelope is data. Thus
+ * the root of a program decides its form, and the old programs do not change.
+ */
+import { LITERAL_KEY, MAX_DATA_DEPTH, OUTPUT_REF_KEY, PROCEDURE_JSON_KEY, PROCEDURE_NAME_KEY, PROCEDURE_WHEN_KEY, isAnyProcedureRef, isLiteral, isOutputRef, isPlainObject, isProcedureRef, normalizeRef, } from "./ref.js";
+// =============================================================================
+// The shapes of the envelope form
+// =============================================================================
+/** The keys of an envelope (coeval D6). */
+const HEADER_KEYS = new Set(["type", "value", "name", "own"]);
+/** The keys that make an object a construct of the `$proc` form. */
+const NATIVE_KEYS = [PROCEDURE_JSON_KEY, OUTPUT_REF_KEY, LITERAL_KEY];
+/** The keys of a `$proc` call that the envelope form keeps (`$when` gives its own error). */
+const CALL_KEYS = new Set([PROCEDURE_JSON_KEY, "input", PROCEDURE_NAME_KEY, PROCEDURE_WHEN_KEY]);
+/** The keys of a runtime `ProcedureRef` that the envelope form keeps. */
+const RUNTIME_CALL_KEYS = new Set(["path", "input", PROCEDURE_NAME_KEY, PROCEDURE_WHEN_KEY]);
+const REF_TYPE = "ref";
+const LITERAL_TYPE = "literal";
+const NAMES_ROOT = "names";
+const WORLD_ROOT = "world";
+/** The name of the result of the step before, in the envelope form. */
+const LAST_NAME = "last";
+/** The name of the result of the step before, in the `$proc` form. */
+const NATIVE_LAST = "$last";
+/** This function gives true if a value is a plain object with `type`, `value` and only header keys. */
+function isEnvelopeShape(value) {
+    return (isPlainObject(value) &&
+        Object.hasOwn(value, "type") &&
+        Object.hasOwn(value, "value") &&
+        Object.keys(value).every((key) => HEADER_KEYS.has(key)));
+}
+/** This function gives true if a value is a procedure path: an array of one or more strings. */
+function isProcedurePath(value) {
+    return Array.isArray(value) && value.length > 0 && value.every((key) => typeof key === "string");
+}
+/** This function gives the procedure path of the type of a call, or undefined for another type. */
+function callPath(type) {
+    if (isProcedurePath(type))
+        return [...type];
+    if (!isEnvelopeShape(type) || type.type !== REF_TYPE || Object.keys(type).length !== 2)
+        return undefined;
+    const path = type.value;
+    if (!Array.isArray(path) || path[0] !== WORLD_ROOT)
+        return undefined;
+    const steps = path.slice(1);
+    return isProcedurePath(steps) ? [...steps] : undefined;
+}
+/** This function gives the kind of an envelope, or undefined for data. */
+function envelopeKind(value) {
+    if (!isEnvelopeShape(value))
+        return undefined;
+    if (callPath(value.type))
+        return "call";
+    if (value.type === REF_TYPE)
+        return "ref";
+    if (value.type === LITERAL_TYPE)
+        return "literal";
+    if (isPlainObject(value.type) && value.type["type"] === REF_TYPE)
+        return "bad-type";
+    return undefined;
+}
+/** This function gives true if a plain object has a key of the `$proc` form. */
+function hasNativeKey(value) {
+    return NATIVE_KEYS.some((key) => Object.hasOwn(value, key));
+}
+/** This function gives a short JSON text of a value for an error message. */
+function preview(value) {
+    let text;
+    try {
+        text = JSON.stringify(value);
+    }
+    catch {
+        text = undefined;
+    }
+    text ??= String(value);
+    return text.length > 80 ? `${text.slice(0, 77)}...` : text;
+}
+/**
+ * This function gives the result of `fn` one level deeper in a walk of a program. It refuses an
+ * object that contains itself, and a program deeper than `MAX_DATA_DEPTH`, as hydration does.
+ */
+function within(value, path, depth, fn) {
+    if (depth > MAX_DATA_DEPTH) {
+        throw new Error(`The program has more than ${MAX_DATA_DEPTH} levels of nesting`);
+    }
+    if (path.has(value)) {
+        throw new Error("The program is cyclic (an object contains itself)");
+    }
+    path.add(value);
+    try {
+        return fn();
+    }
+    finally {
+        path.delete(value);
+    }
+}
+// =============================================================================
+// The envelope form to the $proc form
+// =============================================================================
+/**
+ * This function gives true if a value is a program in the envelope form. The value is a plain
+ * object with the keys `type` and `value`, and only the header keys `name` and `own` in
+ * addition. The type is a procedure path (an array of one or more strings), or a ref into the
+ * world: `{ type: "ref", value: ["world", ...path] }`.
+ *
+ * @example
+ * ```typescript
+ * isEnvelopeProgram({ type: ["client", "add"], value: { a: 1, b: 2 } }); // true
+ * isEnvelopeProgram({ $proc: ["client", "add"], input: { a: 1, b: 2 } }); // false
+ * ```
+ */
+export function isEnvelopeProgram(value) {
+    return envelopeKind(value) === "call";
+}
+/**
+ * This function changes a program in the envelope form into the `$proc` form. `hydrateInput()`
+ * and `client.exec()` start the result.
+ *
+ * The conversion:
+ * - A call gives `{ $proc: path, input }`. A value of `null` gives a call without `input`. The
+ *   header `name` gives `$name`.
+ * - A ref `["names", "last"]` gives `{ $ref: "$last" }`. A ref `["names", name, ...fields]` gives
+ *   `{ $ref: "name.field" }`.
+ * - A literal gives `{ $literal: value }`.
+ * - An object with a `$proc`, `$ref` or `$literal` key is data: the function puts it in a
+ *   `$literal`. A runtime `ProcedureRef` is data too.
+ * - The function copies the arrays and the other plain objects. Other values stay the same.
+ *
+ * The function throws an error for a ref with a root other than `names`, and for a bad key of a
+ * ref path. It also throws an error for a header on a ref or a literal, and for the key `own`.
+ * The envelope form has no `$when`: a program that needs it keeps the `$proc` form.
+ *
+ * @example
+ * ```typescript
+ * fromEnvelopeProgram({
+ *   type: ["client", "multiply"],
+ *   value: { a: { type: "ref", value: ["names", "item"] }, b: 10 },
+ * });
+ * // { $proc: ["client", "multiply"], input: { a: { $ref: "item" }, b: 10 } }
+ * ```
+ */
+export function fromEnvelopeProgram(program) {
+    if (!isEnvelopeProgram(program)) {
+        throw new Error(`fromEnvelopeProgram() requires a call: { "type": [procedure path], "value": input }. Got ${preview(program)}`);
+    }
+    const path = new Set();
+    return within(program, path, 0, () => fromCall(program, path, 0));
+}
+/** This function changes a call envelope into a `$proc` call. */
+function fromCall(call, path, depth) {
+    const procedurePath = callPath(call.type);
+    if (call.own !== undefined) {
+        throw new Error(`A client program has no own entries: remove the key "own" of the call of ${preview(procedurePath)}`);
+    }
+    if (call.name !== undefined && typeof call.name !== "string") {
+        throw new Error(`The name of a call must be a string. The call of ${preview(procedurePath)} has the name ${preview(call.name)}`);
+    }
+    const native = { $proc: procedurePath };
+    // A call without input gets undefined, as a $proc call without `input` (PROGRAM-FORMAT section 1)
+    if (call.value !== null && call.value !== undefined)
+        native.input = fromValue(call.value, path, depth + 1);
+    if (call.name !== undefined)
+        native.$name = call.name;
+    return native;
+}
+/** This function refuses a header on an envelope that is not a call. */
+function refuseHeader(envelope) {
+    for (const key of ["name", "own"]) {
+        if (envelope[key] !== undefined) {
+            throw new Error(`Only a call has a header. The ${String(envelope.type)} ${preview(envelope)} has the key "${key}"`);
+        }
+    }
+}
+/** This function gives the text of one key of a ref path. */
+function keyText(key, refPath) {
+    if (typeof key === "string" && !key.includes("."))
+        return key;
+    if (typeof key === "number" && Number.isSafeInteger(key) && key >= 0)
+        return String(key);
+    throw new Error(`Each key of a ref path must be a string without a dot or an integer of 0 or more. ` +
+        `The key ${preview(key)} of the ref ${preview(refPath)} is not`);
+}
+/** This function changes a ref envelope into a `$ref` object. */
+function fromRef(ref) {
+    refuseHeader(ref);
+    const refPath = ref.value;
+    if (!Array.isArray(refPath) || refPath.length === 0) {
+        throw new Error(`The value of a ref must be a path: [root, step, ...]. Got ${preview(refPath)}`);
+    }
+    const [root, ...steps] = refPath;
+    if (root !== NAMES_ROOT) {
+        const where = root === WORLD_ROOT ? ` A ref into the world is only the type of a call.` : "";
+        throw new Error(`A client program reads only the root "names". The ref ${preview(refPath)} has the root ${preview(root)}.${where}`);
+    }
+    if (steps.length === 0) {
+        throw new Error(`A ref to the root "names" needs a name: ["names", name, ...fields]. Got ${preview(refPath)}`);
+    }
+    const [name, ...fields] = steps.map((key) => keyText(key, refPath));
+    return { $ref: [name === LAST_NAME ? NATIVE_LAST : name, ...fields].join(".") };
+}
+/** This function changes a value of an envelope program into the `$proc` form. */
+function fromValue(value, path, depth) {
+    if (value === null || typeof value !== "object")
+        return value;
+    if (Array.isArray(value)) {
+        return within(value, path, depth, () => value.map((item) => fromValue(item, path, depth + 1)));
+    }
+    // The $proc form is data in an envelope program: a runtime ref, and each object that
+    // hydration reads as a call or a $ref
+    if (isProcedureRef(value))
+        return { $literal: value };
+    if (!isPlainObject(value)) {
+        // Values that are not plain data (Date, Map, class instances) stay the same object
+        return isAnyProcedureRef(value) || isOutputRef(value) ? { $literal: value } : value;
+    }
+    switch (envelopeKind(value)) {
+        case "call":
+            return within(value, path, depth, () => fromCall(value, path, depth));
+        case "ref":
+            return fromRef(value);
+        case "literal":
+            refuseHeader(value);
+            return { $literal: value["value"] };
+        case "bad-type":
+            throw new Error(`The type of a call must be a procedure path or a ref into the world: ["world", ...path]. Got ${preview(value["type"])}`);
+    }
+    // An object of the $proc form is data in an envelope program
+    if (hasNativeKey(value))
+        return { $literal: value };
+    return within(value, path, depth, () => 
+    // Object.fromEntries makes own properties, also for a key such as "__proto__"
+    Object.fromEntries(Object.entries(value).map(([key, item]) => [key, fromValue(item, path, depth + 1)])));
+}
+// =============================================================================
+// The $proc form to the envelope form
+// =============================================================================
+/**
+ * This function changes a program in the `$proc` form into the envelope form, for a tool that
+ * shows it. `fromEnvelopeProgram()` changes the result back into the same program.
+ *
+ * The conversion:
+ * - A call gives `{ type: path, value: input }`. A call without input gives the value `null`.
+ *   `$name` gives the header `name`.
+ * - `{ $ref: "$last" }` gives `["names", "last"]`. `{ $ref: "a.b" }` gives `["names", "a", "b"]`.
+ * - `{ $literal: value }` gives a literal.
+ * - Data that the envelope form reads in a different way gives a literal. This data is an object
+ *   with the shape of a call, a ref or a literal. It is also an object with a `$proc`, `$ref` or
+ *   `$literal` key.
+ *
+ * The function throws an error for a program that the envelope form cannot keep:
+ * - a call with `$when`, or with a key other than the path, the input and the name,
+ * - a `$ref` object with other keys, or a ref to a step with the name `last`,
+ * - such data that holds a call, a `$ref` or a `$literal`.
+ *
+ * These programs keep the `$proc` form.
+ *
+ * The round trip gives the same program, with two exceptions. A call with the input `null`, and
+ * data that the envelope form reads in a different way, come back in a `$literal`. They give
+ * the same values.
+ *
+ * @example
+ * ```typescript
+ * toEnvelopeProgram({ $proc: ["client", "add"], input: { a: { $ref: "$last" }, b: 1 }, $name: "sum" });
+ * // { type: ["client", "add"], value: { a: { type: "ref", value: ["names", "last"] }, b: 1 }, name: "sum" }
+ * ```
+ */
+export function toEnvelopeProgram(program) {
+    if (!isAnyProcedureRef(program)) {
+        throw new Error(`toEnvelopeProgram() requires a call: { "$proc": [procedure path], "input": input }. Got ${preview(program)}`);
+    }
+    const path = new Set();
+    return within(program, path, 0, () => toCall(program, path, 0));
+}
+/** This function changes a `$proc` call into a call envelope. */
+function toCall(call, path, depth) {
+    const { path: procedurePath, input, $name, $when } = normalizeRef(call);
+    if ($when !== undefined) {
+        throw new Error(`The call of ${preview(procedurePath)} has "$when": ${preview($when)}. ` +
+            `The envelope form has no $when: keep this program in the $proc form`);
+    }
+    if (!isProcedurePath(procedurePath)) {
+        throw new Error(`The path of a call must be one or more strings. Got ${preview(procedurePath)}`);
+    }
+    // A key that the envelope form cannot keep has no envelope form: the conversion does not drop it
+    const keys = isProcedureRef(call) ? RUNTIME_CALL_KEYS : CALL_KEYS;
+    const other = Object.keys(call).find((key) => !keys.has(key));
+    if (other !== undefined) {
+        throw new Error(`The call of ${preview(procedurePath)} has the key "${other}". The envelope form keeps only ` +
+            `the path, the input and the name: keep this program in the $proc form`);
+    }
+    if ($name !== undefined && typeof $name !== "string") {
+        throw new Error(`The $name of a call must be a string. The call of ${preview(procedurePath)} has ${preview($name)}`);
+    }
+    const value = input === undefined
+        ? null
+        : input === null
+            ? { type: LITERAL_TYPE, value: null }
+            : toValue(input, path, depth + 1);
+    return { type: [...procedurePath], value, ...($name !== undefined ? { name: $name } : {}) };
+}
+/** This function changes a `$ref` object into a ref envelope. */
+function toRef(ref) {
+    const refText = ref.$ref;
+    if (Object.keys(ref).length !== 1) {
+        throw new Error(`The $ref object ${preview(ref)} has other keys. The envelope form keeps only the path: keep this program in the $proc form`);
+    }
+    const [name, ...fields] = refText.split(".");
+    if (name === LAST_NAME) {
+        throw new Error(`The ref "${refText}" reads a step with the name "last". In the envelope form, ` +
+            `["names", "last"] reads the result of the step before: give the step a different name`);
+    }
+    return { type: REF_TYPE, value: [NAMES_ROOT, name === NATIVE_LAST ? LAST_NAME : name, ...fields] };
+}
+/** This function gives true if a value of the `$proc` form is a call, a `$ref` or a `$literal`. */
+function isNativeConstruct(value) {
+    return isAnyProcedureRef(value) || isOutputRef(value) || isLiteral(value);
+}
+/** This function gives true if the arrays and plain objects in a value hold a construct of the `$proc` form. */
+function holdsNativeConstruct(value, path, depth) {
+    const children = Array.isArray(value) ? value : isPlainObject(value) ? Object.values(value) : [];
+    if (children.length === 0)
+        return false;
+    return within(value, path, depth, () => children.some((child) => isNativeConstruct(child) || holdsNativeConstruct(child, path, depth + 1)));
+}
+/** This function changes a value of a `$proc` program into the envelope form. */
+function toValue(value, path, depth) {
+    if (value === null || typeof value !== "object")
+        return value;
+    // The same order as hydration: a $literal, then a $ref, then a call
+    if (isLiteral(value))
+        return { type: LITERAL_TYPE, value: value.$literal };
+    if (isOutputRef(value))
+        return toRef(value);
+    if (isAnyProcedureRef(value))
+        return within(value, path, depth, () => toCall(value, path, depth));
+    if (Array.isArray(value)) {
+        return within(value, path, depth, () => value.map((item) => toValue(item, path, depth + 1)));
+    }
+    // Values that are not plain data (Date, Map, class instances) stay the same object
+    if (!isPlainObject(value))
+        return value;
+    if (envelopeKind(value) !== undefined || hasNativeKey(value)) {
+        // The envelope form reads this data in a different way: it becomes a literal. A literal
+        // stops the hydration of its value, so a value that holds a construct has no envelope form.
+        if (holdsNativeConstruct(value, path, depth)) {
+            throw new Error(`The data ${preview(value)} has the shape of a construct of the envelope form, and it holds a ` +
+                `call, a $ref or a $literal. It has no envelope form: keep this program in the $proc form`);
+        }
+        return { type: LITERAL_TYPE, value };
+    }
+    const converted = within(value, path, depth, () => Object.fromEntries(Object.entries(value).map(([key, item]) => [key, toValue(item, path, depth + 1)])));
+    // A $ref in the type of such data gives a type that is a ref, but not into the world
+    if (envelopeKind(converted) !== undefined) {
+        throw new Error(`The data ${preview(value)} has a type that the envelope form reads as a ref. It has no envelope form: ` +
+            `keep this program in the $proc form`);
+    }
+    return converted;
+}
+//# sourceMappingURL=envelope.js.map

package/dist/procedures/envelope.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"envelope.js","sourceRoot":"","sources":["../../src/procedures/envelope.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EACL,WAAW,EACX,cAAc,EACd,cAAc,EACd,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,EAClB,iBAAiB,EACjB,SAAS,EACT,WAAW,EACX,aAAa,EACb,cAAc,EACd,YAAY,GAIb,MAAM,UAAU,CAAC;AAwClB,gFAAgF;AAChF,kCAAkC;AAClC,gFAAgF;AAEhF,2CAA2C;AAC3C,MAAM,WAAW,GAAwB,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;AAEnF,oEAAoE;AACpE,MAAM,WAAW,GAAsB,CAAC,kBAAkB,EAAE,cAAc,EAAE,WAAW,CAAC,CAAC;AAEzF,6FAA6F;AAC7F,MAAM,SAAS,GAAwB,IAAI,GAAG,CAAC,CAAC,kBAAkB,EAAE,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,CAAC,CAAC,CAAC;AAEtH,yEAAyE;AACzE,MAAM,iBAAiB,GAAwB,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,CAAC,CAAC,CAAC;AAElH,MAAM,QAAQ,GAAG,KAAK,CAAC;AACvB,MAAM,YAAY,GAAG,SAAS,CAAC;AAC/B,MAAM,UAAU,GAAG,OAAO,CAAC;AAC3B,MAAM,UAAU,GAAG,OAAO,CAAC;AAC3B,uEAAuE;AACvE,MAAM,SAAS,GAAG,MAAM,CAAC;AACzB,sEAAsE;AACtE,MAAM,WAAW,GAAG,OAAO,CAAC;AAQ5B,uGAAuG;AACvG,SAAS,eAAe,CAAC,KAAc;IACrC,OAAO,CACL,aAAa,CAAC,KAAK,CAAC;QACpB,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC;QAC5B,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC;QAC7B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CACxD,CAAC;AACJ,CAAC;AAED,gGAAgG;AAChG,SAAS,eAAe,CAAC,KAAc;IACrC,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC;AACnG,CAAC;AAED,mGAAmG;AACnG,SAAS,QAAQ,CAAC,IAAa;IAC7B,IAAI,eAAe,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC;IAC5C,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACzG,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC;IACxB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,UAAU;QAAE,OAAO,SAAS,CAAC;IACrE,MAAM,KAAK,GAAc,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACvC,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACzD,CAAC;AAED,0EAA0E;AAC1E,SAAS,YAAY,CAAC,KAAc;IAClC,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9C,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;QAAE,OAAO,MAAM,CAAC;IACxC,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC1C,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,SAAS,CAAC;IAClD,IAAI,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,QAAQ;QAAE,OAAO,UAAU,CAAC;IACpF,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,gFAAgF;AAChF,SAAS,YAAY,CAAC,KAA8B;IAClD,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;AAC9D,CAAC;AAED,6EAA6E;AAC7E,SAAS,OAAO,CAAC,KAAc;IAC7B,IAAI,IAAwB,CAAC;IAC7B,IAAI,CAAC;QACH,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC;IAAC,MAAM,CAAC;QACP,IAAI,GAAG,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,KAAK,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,OAAO,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAC7D,CAAC;AAED;;;GAGG;AACH,SAAS,MAAM,CAAI,KAAa,EAAE,IAAiB,EAAE,KAAa,EAAE,EAAW;IAC7E,IAAI,KAAK,GAAG,cAAc,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,6BAA6B,cAAc,oBAAoB,CAAC,CAAC;IACnF,CAAC;IACD,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;IACvE,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAChB,IAAI,CAAC;QACH,OAAO,EAAE,EAAE,CAAC;IACd,CAAC;YAAS,CAAC;QACT,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACrB,CAAC;AACH,CAAC;AAED,gFAAgF;AAChF,sCAAsC;AACtC,gFAAgF;AAEhF;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAc;IAC9C,OAAO,YAAY,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC;AACxC,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,MAAM,UAAU,mBAAmB,CAAC,OAAwB;IAC1D,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,KAAK,CACb,4FAA4F,OAAO,CAAC,OAAO,CAAC,EAAE,CAC/G,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,OAAO,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,OAAwB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;AACrF,CAAC;AAED,iEAAiE;AACjE,SAAS,QAAQ,CAAC,IAAmB,EAAE,IAAiB,EAAE,KAAa;IACrE,MAAM,aAAa,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC;IAC3C,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CACb,4EAA4E,OAAO,CAAC,aAAa,CAAC,EAAE,CACrG,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7D,MAAM,IAAI,KAAK,CAAC,oDAAoD,OAAO,CAAC,aAAa,CAAC,iBAAiB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnI,CAAC;IACD,MAAM,MAAM,GAA8D,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC;IACnG,kGAAkG;IAClG,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;QAAE,MAAM,CAAC,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IAC3G,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,MAAM,CAAC,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC;IACtD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,wEAAwE;AACxE,SAAS,YAAY,CAAC,QAAuB;IAC3C,KAAK,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;QAClC,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,SAAS,EAAE,CAAC;YAChC,MAAM,IAAI,KAAK,CAAC,iCAAiC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,iBAAiB,GAAG,GAAG,CAAC,CAAC;QACtH,CAAC;IACH,CAAC;AACH,CAAC;AAED,6DAA6D;AAC7D,SAAS,OAAO,CAAC,GAAY,EAAE,OAA2B;IACxD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,GAAG,CAAC;IAC9D,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC;QAAE,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC;IACzF,MAAM,IAAI,KAAK,CACb,oFAAoF;QAClF,WAAW,OAAO,CAAC,GAAG,CAAC,eAAe,OAAO,CAAC,OAAO,CAAC,SAAS,CAClE,CAAC;AACJ,CAAC;AAED,iEAAiE;AACjE,SAAS,OAAO,CAAC,GAAkB;IACjC,YAAY,CAAC,GAAG,CAAC,CAAC;IAClB,MAAM,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC;IAC1B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,KAAK,CAAC,6DAA6D,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACnG,CAAC;IACD,MAAM,CAAC,IAAI,EAAE,GAAG,KAAK,CAAC,GAAG,OAAoB,CAAC;IAC9C,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,mDAAmD,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7F,MAAM,IAAI,KAAK,CACb,yDAAyD,OAAO,CAAC,OAAO,CAAC,iBAAiB,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,EAAE,CACnH,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,2EAA2E,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACjH,CAAC;IACD,MAAM,CAAC,IAAI,EAAE,GAAG,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC;IACpE,OAAO,EAAE,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;AAClF,CAAC;AAED,kFAAkF;AAClF,SAAS,SAAS,CAAC,KAAc,EAAE,IAAiB,EAAE,KAAa;IACjE,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC9D,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACjG,CAAC;IACD,qFAAqF;IACrF,sCAAsC;IACtC,IAAI,cAAc,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACtD,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,mFAAmF;QACnF,OAAO,iBAAiB,CAAC,KAAK,CAAC,IAAI,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;IACtF,CAAC;IACD,QAAQ,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,KAAK,MAAM;YACT,OAAO,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,KAAsB,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;QACzF,KAAK,KAAK;YACR,OAAO,OAAO,CAAC,KAAsB,CAAC,CAAC;QACzC,KAAK,SAAS;YACZ,YAAY,CAAC,KAAsB,CAAC,CAAC;YACrC,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QACtC,KAAK,UAAU;YACb,MAAM,IAAI,KAAK,CACb,gGAAgG,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CACzH,CAAC;IACN,CAAC;IACD,6DAA6D;IAC7D,IAAI,YAAY,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACpD,OAAO,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE;IACrC,8EAA8E;IAC9E,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CACxG,CAAC;AACJ,CAAC;AAED,gFAAgF;AAChF,sCAAsC;AACtC,gFAAgF;AAEhF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAwB;IACxD,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,KAAK,CACb,2FAA2F,OAAO,CAAC,OAAO,CAAC,EAAE,CAC9G,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,OAAO,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;AAClE,CAAC;AAED,iEAAiE;AACjE,SAAS,MAAM,CAAC,IAAqB,EAAE,IAAiB,EAAE,KAAa;IACrE,MAAM,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACxE,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CACb,eAAe,OAAO,CAAC,aAAa,CAAC,iBAAiB,OAAO,CAAC,KAAK,CAAC,IAAI;YACtE,qEAAqE,CACxE,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,eAAe,CAAC,aAAa,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CAAC,uDAAuD,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;IACnG,CAAC;IACD,iGAAiG;IACjG,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,SAAS,CAAC;IAClE,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9D,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CACb,eAAe,OAAO,CAAC,aAAa,CAAC,iBAAiB,KAAK,kCAAkC;YAC3F,uEAAuE,CAC1E,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACrD,MAAM,IAAI,KAAK,CAAC,qDAAqD,OAAO,CAAC,aAAa,CAAC,QAAQ,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACvH,CAAC;IACD,MAAM,KAAK,GACT,KAAK,KAAK,SAAS;QACjB,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,KAAK,KAAK,IAAI;YACd,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,IAAI,EAAE;YACrC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IACxC,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,aAAa,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AAC9F,CAAC;AAED,iEAAiE;AACjE,SAAS,KAAK,CAAC,GAAc;IAC3B,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC;IACzB,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,KAAK,CACb,mBAAmB,OAAO,CAAC,GAAG,CAAC,6FAA6F,CAC7H,CAAC;IACJ,CAAC;IACD,MAAM,CAAC,IAAI,EAAE,GAAG,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC7C,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CACb,YAAY,OAAO,6DAA6D;YAC9E,uFAAuF,CAC1F,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,UAAU,EAAE,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAK,EAAE,GAAG,MAAM,CAAC,EAAE,CAAC;AACtG,CAAC;AAED,mGAAmG;AACnG,SAAS,iBAAiB,CAAC,KAAc;IACvC,OAAO,iBAAiB,CAAC,KAAK,CAAC,IAAI,WAAW,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,CAAC;AAC5E,CAAC;AAED,gHAAgH;AAChH,SAAS,oBAAoB,CAAC,KAAc,EAAE,IAAiB,EAAE,KAAa;IAC5E,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACjG,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,OAAO,MAAM,CAAC,KAAe,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAC/C,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,oBAAoB,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CACnG,CAAC;AACJ,CAAC;AAED,iFAAiF;AACjF,SAAS,OAAO,CAAC,KAAc,EAAE,IAAiB,EAAE,KAAa;IAC/D,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC9D,oEAAoE;IACpE,IAAI,SAAS,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC;IAC3E,IAAI,WAAW,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC;IAC5C,IAAI,iBAAiB,CAAC,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IAClG,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/F,CAAC;IACD,mFAAmF;IACnF,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,IAAI,YAAY,CAAC,KAAK,CAAC,KAAK,SAAS,IAAI,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7D,wFAAwF;QACxF,4FAA4F;QAC5F,IAAI,oBAAoB,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;YAC7C,MAAM,IAAI,KAAK,CACb,YAAY,OAAO,CAAC,KAAK,CAAC,qEAAqE;gBAC7F,0FAA0F,CAC7F,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;IACvC,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAChD,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CACtG,CAAC;IACF,qFAAqF;IACrF,IAAI,YAAY,CAAC,SAAS,CAAC,KAAK,SAAS,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CACb,YAAY,OAAO,CAAC,KAAK,CAAC,8EAA8E;YACtG,qCAAqC,CACxC,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/procedures/index.d.ts

@@ -34,6 +34,8 @@ export { callerOf } from "./caller.js";
 export type { Caller, CallerOptions } from "./caller.js";
 export { PROCEDURE_SYMBOL, PROCEDURE_JSON_KEY, PROCEDURE_WHEN_KEY, PROCEDURE_NAME_KEY, WHEN_IMMEDIATE, WHEN_NEVER, WHEN_PARENT, isProcedureRef, isProcedureRefJson, isAnyProcedureRef, getRefWhen, getRefName, shouldExecuteRef, proc, ProcedureRefBuilder, fromJson, toJson, normalizeRef, hydrateInput, prepareRootCall, observeHydration, isControlFlowPath, isDataDriven, markDataDriven, RUNS_REFS_TAG, RAW_INPUT_TAG, takesRawInput, rawInputRule, MAX_DATA_DEPTH, LITERAL_KEY, isLiteral, isPlainObject, createRefScope, lookupOutputRef, resolveOutputRef, withScope, scopeOf, executeRef, extractTemplate, parseProcedureJson, stringifyProcedureJson, } from "./ref.js";
 export type { ProcedureWhen, ProcedureRef, ProcedureRefJson, AnyProcedureRef, RefExecutor, HydrateOptions, HydrationEvent, StepResultInfo, ContinueDecision, OutputRef, RefScope, } from "./ref.js";
+export { isEnvelopeProgram, fromEnvelopeProgram, toEnvelopeProgram } from "./envelope.js";
+export type { EnvelopeProgram, EnvelopeRef, EnvelopeLiteral, EnvelopePath } from "./envelope.js";
 export { coreProcedures, coreModule, allCoreProcedures, allCoreModules, chainProcedure, parallelProcedure, conditionalProcedure, andProcedure, orProcedure, notProcedure, allProcedure, anyProcedure, noneProcedure, mapProcedure, reduceProcedure, identityProcedure, constantProcedure, throwProcedure, tryCatchProcedure, anySchema, typedAnySchema, zodAdapter, outputSchema, type ZodLikeSchema, } from "./core/index.js";
 export { validateSchema, validateSchemaAsync, jsonSchemaOf, isStandardSchema, describeIssues, } from "./schema.js";
 export type { StandardSchemaV1, StandardJSONSchemaConverter, ProcedureSchema, InferSchema, SchemaResult, JsonSchema, JsonSchemaTarget, JsonSchemaSource, } from "./schema.js";

package/dist/procedures/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/procedures/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,YAAY,EACV,aAAa,EACb,iBAAiB,EACjB,kBAAkB,EAClB,gBAAgB,EAChB,gBAAgB,EAChB,SAAS,EACT,YAAY,EACZ,eAAe,EACf,cAAc,EACd,mBAAmB,EACnB,oBAAoB,EACpB,sBAAsB,EACtB,iBAAiB,EACjB,gBAAgB,EAChB,eAAe,EACf,mBAAmB,EACnB,qBAAqB,EACrB,OAAO,EACP,WAAW,EACX,gBAAgB,EAChB,QAAQ,EACR,WAAW,EACX,WAAW,EACX,UAAU,EACV,iBAAiB,EACjB,cAAc,EACd,iBAAiB,GAClB,MAAM,YAAY,CAAC;AAGpB,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAGlD,OAAO,EACL,kBAAkB,EAClB,oBAAoB,EACpB,MAAM,EACN,SAAS,EACT,UAAU,EACV,aAAa,EACb,WAAW,EACX,SAAS,EACT,gBAAgB,EAChB,iBAAiB,EACjB,kBAAkB,EAClB,iBAAiB,EACjB,YAAY,GACb,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,YAAY,EAAE,qBAAqB,EAAE,WAAW,EAAE,6BAA6B,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAEhJ,OAAO,EAAE,eAAe,EAAE,iBAAiB,IAAI,sBAAsB,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAC1I,YAAY,EAAE,cAAc,EAAE,iBAAiB,EAAE,cAAc,EAAE,eAAe,EAAE,uBAAuB,EAAE,MAAM,eAAe,CAAC;AAEjI,OAAO,EACL,wBAAwB,EACxB,0BAA0B,EAC1B,gBAAgB,EAChB,gBAAgB,EAChB,YAAY,EACZ,SAAS,EACT,YAAY,EACZ,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAE3D,OAAO,EACL,YAAY,EACZ,gBAAgB,EAChB,cAAc,EACd,WAAW,EACX,kBAAkB,EAClB,qBAAqB,GACtB,MAAM,aAAa,CAAC;AACrB,YAAY,EACV,MAAM,EACN,aAAa,EACb,iBAAiB,EACjB,gBAAgB,EAChB,UAAU,EACV,YAAY,EACZ,YAAY,EACZ,aAAa,EACb,WAAW,EACX,eAAe,EACf,eAAe,EACf,iBAAiB,EACjB,kBAAkB,EAClB,iBAAiB,EACjB,kBAAkB,EAClB,WAAW,EACX,iBAAiB,EACjB,mBAAmB,EACnB,kBAAkB,GACnB,MAAM,aAAa,CAAC;AACrB,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AACpE,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,MAAM,YAAY,CAAC;AACtF,YAAY,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AACnD,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AACpF,YAAY,EAAE,aAAa,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AACrF,YAAY,EAAE,SAAS,EAAE,iBAAiB,EAAE,uBAAuB,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAEtI,OAAO,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,WAAW,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AACnH,YAAY,EAAE,aAAa,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAGvF,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,kBAAkB,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAGtG,OAAO,EACL,eAAe,EACf,UAAU,EACV,eAAe,EACf,gBAAgB,EAChB,SAAS,EACT,iBAAiB,GAClB,MAAM,aAAa,CAAC;AACrB,YAAY,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAGtE,OAAO,EACL,0BAA0B,EAC1B,qBAAqB,EACrB,oBAAoB,EACpB,iBAAiB,EACjB,wBAAwB,EACxB,qBAAqB,EACrB,mBAAmB,EAEnB,6BAA6B,EAE7B,eAAe,EACf,SAAS,EACT,kBAAkB,EAClB,uBAAuB,EACvB,oBAAoB,EACpB,eAAe,EACf,UAAU,EACV,oBAAoB,EACpB,eAAe,EACf,iBAAiB,EACjB,eAAe,EACf,UAAU,EACV,aAAa,EACb,YAAY,EACZ,oBAAoB,EACpB,gBAAgB,EAChB,2BAA2B,EAC3B,0BAA0B,EAC1B,8BAA8B,EAC9B,oBAAoB,EACpB,sBAAsB,EACtB,iBAAiB,EACjB,wBAAwB,EACxB,eAAe,EACf,gBAAgB,EAChB,kBAAkB,GACnB,MAAM,uBAAuB,CAAC;AAC/B,YAAY,EACV,WAAW,EACX,eAAe,EACf,SAAS,EACT,uBAAuB,EACvB,wBAAwB,EACxB,2BAA2B,EAC3B,6BAA6B,EAC7B,qBAAqB,EACrB,mBAAmB,EACnB,aAAa,EACb,eAAe,EACf,oBAAoB,EACpB,oBAAoB,EACpB,cAAc,EACd,iBAAiB,EACjB,sBAAsB,EACtB,oBAAoB,EACpB,kBAAkB,EAClB,iBAAiB,EACjB,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,gBAAgB,EAChB,mBAAmB,EACnB,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,EAClB,eAAe,EACf,qBAAqB,EACrB,YAAY,EACZ,mBAAmB,EACnB,eAAe,EACf,WAAW,EACX,oBAAoB,GACrB,MAAM,uBAAuB,CAAC;AAG/B,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,gBAAgB,CAAC;AAGxB,OAAO,EACL,YAAY,EACZ,YAAY,EACZ,aAAa,EACb,eAAe,EACf,cAAc,EACd,wBAAwB,GACzB,MAAM,aAAa,CAAC;AACrB,YAAY,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE/C,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,YAAY,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAGzD,OAAO,EAEL,gBAAgB,EAChB,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,EAClB,cAAc,EACd,UAAU,EACV,WAAW,EAEX,cAAc,EACd,kBAAkB,EAClB,iBAAiB,EACjB,UAAU,EACV,UAAU,EACV,gBAAgB,EAEhB,IAAI,EACJ,mBAAmB,EAEnB,QAAQ,EACR,MAAM,EACN,YAAY,EAEZ,YAAY,EACZ,eAAe,EACf,gBAAgB,EAChB,iBAAiB,EACjB,YAAY,EACZ,cAAc,EACd,aAAa,EACb,aAAa,EACb,aAAa,EACb,YAAY,EACZ,cAAc,EACd,WAAW,EACX,SAAS,EACT,aAAa,EACb,cAAc,EACd,eAAe,EACf,gBAAgB,EAChB,SAAS,EACT,OAAO,EACP,UAAU,EAEV,eAAe,EACf,kBAAkB,EAClB,sBAAsB,GACvB,MAAM,UAAU,CAAC;AAElB,YAAY,EACV,aAAa,EACb,YAAY,EACZ,gBAAgB,EAChB,eAAe,EACf,WAAW,EACX,cAAc,EACd,cAAc,EACd,cAAc,EACd,gBAAgB,EAChB,SAAS,EACT,QAAQ,GACT,MAAM,UAAU,CAAC;AAGlB,OAAO,EACL,cAAc,EACd,UAAU,EAEV,iBAAiB,EACjB,cAAc,EACd,cAAc,EACd,iBAAiB,EACjB,oBAAoB,EACpB,YAAY,EACZ,WAAW,EACX,YAAY,EACZ,YAAY,EACZ,YAAY,EACZ,aAAa,EACb,YAAY,EACZ,eAAe,EACf,iBAAiB,EACjB,iBAAiB,EACjB,cAAc,EACd,iBAAiB,EAEjB,SAAS,EACT,cAAc,EACd,UAAU,EACV,YAAY,EACZ,KAAK,aAAa,GACnB,MAAM,iBAAiB,CAAC;AAGzB,OAAO,EACL,cAAc,EACd,mBAAmB,EACnB,YAAY,EACZ,gBAAgB,EAChB,cAAc,GACf,MAAM,aAAa,CAAC;AACrB,YAAY,EACV,gBAAgB,EAChB,2BAA2B,EAC3B,eAAe,EACf,WAAW,EACX,YAAY,EACZ,UAAU,EACV,gBAAgB,EAChB,gBAAgB,GACjB,MAAM,aAAa,CAAC;AAGrB,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,iBAAiB,EACjB,uBAAuB,EACvB,wBAAwB,EACxB,cAAc,EACd,mBAAmB,EACnB,mBAAmB,EACnB,uBAAuB,EACvB,sBAAsB,EACtB,gBAAgB,EAChB,gBAAgB,GACjB,MAAM,uBAAuB,CAAC;AAC/B,YAAY,EACV,qBAAqB,EACrB,oBAAoB,EACpB,qBAAqB,GACtB,MAAM,uBAAuB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/procedures/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,YAAY,EACV,aAAa,EACb,iBAAiB,EACjB,kBAAkB,EAClB,gBAAgB,EAChB,gBAAgB,EAChB,SAAS,EACT,YAAY,EACZ,eAAe,EACf,cAAc,EACd,mBAAmB,EACnB,oBAAoB,EACpB,sBAAsB,EACtB,iBAAiB,EACjB,gBAAgB,EAChB,eAAe,EACf,mBAAmB,EACnB,qBAAqB,EACrB,OAAO,EACP,WAAW,EACX,gBAAgB,EAChB,QAAQ,EACR,WAAW,EACX,WAAW,EACX,UAAU,EACV,iBAAiB,EACjB,cAAc,EACd,iBAAiB,GAClB,MAAM,YAAY,CAAC;AAGpB,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAGlD,OAAO,EACL,kBAAkB,EAClB,oBAAoB,EACpB,MAAM,EACN,SAAS,EACT,UAAU,EACV,aAAa,EACb,WAAW,EACX,SAAS,EACT,gBAAgB,EAChB,iBAAiB,EACjB,kBAAkB,EAClB,iBAAiB,EACjB,YAAY,GACb,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,YAAY,EAAE,qBAAqB,EAAE,WAAW,EAAE,6BAA6B,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAEhJ,OAAO,EAAE,eAAe,EAAE,iBAAiB,IAAI,sBAAsB,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAC1I,YAAY,EAAE,cAAc,EAAE,iBAAiB,EAAE,cAAc,EAAE,eAAe,EAAE,uBAAuB,EAAE,MAAM,eAAe,CAAC;AAEjI,OAAO,EACL,wBAAwB,EACxB,0BAA0B,EAC1B,gBAAgB,EAChB,gBAAgB,EAChB,YAAY,EACZ,SAAS,EACT,YAAY,EACZ,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAE3D,OAAO,EACL,YAAY,EACZ,gBAAgB,EAChB,cAAc,EACd,WAAW,EACX,kBAAkB,EAClB,qBAAqB,GACtB,MAAM,aAAa,CAAC;AACrB,YAAY,EACV,MAAM,EACN,aAAa,EACb,iBAAiB,EACjB,gBAAgB,EAChB,UAAU,EACV,YAAY,EACZ,YAAY,EACZ,aAAa,EACb,WAAW,EACX,eAAe,EACf,eAAe,EACf,iBAAiB,EACjB,kBAAkB,EAClB,iBAAiB,EACjB,kBAAkB,EAClB,WAAW,EACX,iBAAiB,EACjB,mBAAmB,EACnB,kBAAkB,GACnB,MAAM,aAAa,CAAC;AACrB,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AACpE,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,MAAM,YAAY,CAAC;AACtF,YAAY,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AACnD,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AACpF,YAAY,EAAE,aAAa,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AACrF,YAAY,EAAE,SAAS,EAAE,iBAAiB,EAAE,uBAAuB,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAEtI,OAAO,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,WAAW,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AACnH,YAAY,EAAE,aAAa,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAGvF,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,kBAAkB,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAGtG,OAAO,EACL,eAAe,EACf,UAAU,EACV,eAAe,EACf,gBAAgB,EAChB,SAAS,EACT,iBAAiB,GAClB,MAAM,aAAa,CAAC;AACrB,YAAY,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAGtE,OAAO,EACL,0BAA0B,EAC1B,qBAAqB,EACrB,oBAAoB,EACpB,iBAAiB,EACjB,wBAAwB,EACxB,qBAAqB,EACrB,mBAAmB,EAEnB,6BAA6B,EAE7B,eAAe,EACf,SAAS,EACT,kBAAkB,EAClB,uBAAuB,EACvB,oBAAoB,EACpB,eAAe,EACf,UAAU,EACV,oBAAoB,EACpB,eAAe,EACf,iBAAiB,EACjB,eAAe,EACf,UAAU,EACV,aAAa,EACb,YAAY,EACZ,oBAAoB,EACpB,gBAAgB,EAChB,2BAA2B,EAC3B,0BAA0B,EAC1B,8BAA8B,EAC9B,oBAAoB,EACpB,sBAAsB,EACtB,iBAAiB,EACjB,wBAAwB,EACxB,eAAe,EACf,gBAAgB,EAChB,kBAAkB,GACnB,MAAM,uBAAuB,CAAC;AAC/B,YAAY,EACV,WAAW,EACX,eAAe,EACf,SAAS,EACT,uBAAuB,EACvB,wBAAwB,EACxB,2BAA2B,EAC3B,6BAA6B,EAC7B,qBAAqB,EACrB,mBAAmB,EACnB,aAAa,EACb,eAAe,EACf,oBAAoB,EACpB,oBAAoB,EACpB,cAAc,EACd,iBAAiB,EACjB,sBAAsB,EACtB,oBAAoB,EACpB,kBAAkB,EAClB,iBAAiB,EACjB,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,gBAAgB,EAChB,mBAAmB,EACnB,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,EAClB,eAAe,EACf,qBAAqB,EACrB,YAAY,EACZ,mBAAmB,EACnB,eAAe,EACf,WAAW,EACX,oBAAoB,GACrB,MAAM,uBAAuB,CAAC;AAG/B,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,gBAAgB,CAAC;AAGxB,OAAO,EACL,YAAY,EACZ,YAAY,EACZ,aAAa,EACb,eAAe,EACf,cAAc,EACd,wBAAwB,GACzB,MAAM,aAAa,CAAC;AACrB,YAAY,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE/C,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,YAAY,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAGzD,OAAO,EAEL,gBAAgB,EAChB,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,EAClB,cAAc,EACd,UAAU,EACV,WAAW,EAEX,cAAc,EACd,kBAAkB,EAClB,iBAAiB,EACjB,UAAU,EACV,UAAU,EACV,gBAAgB,EAEhB,IAAI,EACJ,mBAAmB,EAEnB,QAAQ,EACR,MAAM,EACN,YAAY,EAEZ,YAAY,EACZ,eAAe,EACf,gBAAgB,EAChB,iBAAiB,EACjB,YAAY,EACZ,cAAc,EACd,aAAa,EACb,aAAa,EACb,aAAa,EACb,YAAY,EACZ,cAAc,EACd,WAAW,EACX,SAAS,EACT,aAAa,EACb,cAAc,EACd,eAAe,EACf,gBAAgB,EAChB,SAAS,EACT,OAAO,EACP,UAAU,EAEV,eAAe,EACf,kBAAkB,EAClB,sBAAsB,GACvB,MAAM,UAAU,CAAC;AAElB,YAAY,EACV,aAAa,EACb,YAAY,EACZ,gBAAgB,EAChB,eAAe,EACf,WAAW,EACX,cAAc,EACd,cAAc,EACd,cAAc,EACd,gBAAgB,EAChB,SAAS,EACT,QAAQ,GACT,MAAM,UAAU,CAAC;AAGlB,OAAO,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAC1F,YAAY,EAAE,eAAe,EAAE,WAAW,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAGjG,OAAO,EACL,cAAc,EACd,UAAU,EAEV,iBAAiB,EACjB,cAAc,EACd,cAAc,EACd,iBAAiB,EACjB,oBAAoB,EACpB,YAAY,EACZ,WAAW,EACX,YAAY,EACZ,YAAY,EACZ,YAAY,EACZ,aAAa,EACb,YAAY,EACZ,eAAe,EACf,iBAAiB,EACjB,iBAAiB,EACjB,cAAc,EACd,iBAAiB,EAEjB,SAAS,EACT,cAAc,EACd,UAAU,EACV,YAAY,EACZ,KAAK,aAAa,GACnB,MAAM,iBAAiB,CAAC;AAGzB,OAAO,EACL,cAAc,EACd,mBAAmB,EACnB,YAAY,EACZ,gBAAgB,EAChB,cAAc,GACf,MAAM,aAAa,CAAC;AACrB,YAAY,EACV,gBAAgB,EAChB,2BAA2B,EAC3B,eAAe,EACf,WAAW,EACX,YAAY,EACZ,UAAU,EACV,gBAAgB,EAChB,gBAAgB,GACjB,MAAM,aAAa,CAAC;AAGrB,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,iBAAiB,EACjB,uBAAuB,EACvB,wBAAwB,EACxB,cAAc,EACd,mBAAmB,EACnB,mBAAmB,EACnB,uBAAuB,EACvB,sBAAsB,EACtB,gBAAgB,EAChB,gBAAgB,GACjB,MAAM,uBAAuB,CAAC;AAC/B,YAAY,EACV,qBAAqB,EACrB,oBAAoB,EACpB,qBAAqB,GACtB,MAAM,uBAAuB,CAAC"}

package/dist/procedures/index.js

@@ -49,6 +49,8 @@ fromJson, toJson, normalizeRef,
 hydrateInput, prepareRootCall, observeHydration, isControlFlowPath, isDataDriven, markDataDriven, RUNS_REFS_TAG, RAW_INPUT_TAG, takesRawInput, rawInputRule, MAX_DATA_DEPTH, LITERAL_KEY, isLiteral, isPlainObject, createRefScope, lookupOutputRef, resolveOutputRef, withScope, scopeOf, executeRef, 
 // Templates
 extractTemplate, parseProcedureJson, stringifyProcedureJson, } from "./ref.js";
+// The envelope form of a program (coeval D6, D9 and D10, roadmap item M7)
+export { isEnvelopeProgram, fromEnvelopeProgram, toEnvelopeProgram } from "./envelope.js";
 // Core language procedures (chain, parallel, if, etc.)
 export { coreProcedures, coreModule, 
 // Every core procedure (math, comparison, string, type, object, array, meta too). Not registered by default.