cpa-agents 0.1.0 → 0.2.2

package/dist/adapters/pi-harness.js.map

@@ -1 +1 @@
-{"version":3,"file":"pi-harness.js","sourceRoot":"","sources":["../../src/adapters/pi-harness.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAIL,GAAG,GAEJ,MAAM,eAAe,CAAC;AACvB,OAAO,EAAkB,YAAY,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AACxE,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAE5C,MAAM,UAAU,MAAM,CAAkB,IAKvC;IACC,OAAO;QACL,IAAI,EAAE,MAAM,IAAI,CAAC,IAAI,EAAE;QACvB,MAAM,EAAE,KAAK,EAAE,MAAc,EAAE,OAAoB,EAAE,EAAE;YACrD,MAAM,IAAI,KAAK,CACb,UAAU,IAAI,CAAC,IAAI,+BAA+B;gBAChD,8CAA8C,CACjD,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,UAAU,CAAU,IAKnC;IACC,OAAO;QACL,IAAI,EAAE,eAAe,IAAI,CAAC,IAAI,EAAE;QAChC,MAAM,EAAE,KAAK,EAAE,CAAO,EAAE,OAAoB,EAAE,EAAE;YAC9C,MAAM,IAAI,KAAK,CACb,cAAc,IAAI,CAAC,IAAI,oCAAoC,CAC5D,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB;IAClC,OAAO;QACL,IAAI,EAAE,YAAY;QAClB,OAAO,EAAE,OAAO;QAChB,WAAW,EAAE,uDAAuD;QAEpE,QAAQ,EAAE;YACR,SAAS,EAAE;gBACT,WAAW,EAAE,6CAA6C;gBAC1D,OAAO,EAAE,KAAK,EAAE,IAAY,EAAE,KAA0B,EAAE,EAAE;oBAC1D,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;oBAC3D,MAAM,SAAS,GAAG,IAAI,SAAS,CAAC;wBAC9B,OAAO,EAAE,CAAC,CAAa,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC;qBACvE,CAAC,CAAC;oBAEH,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAY,EAAE,EAAE,CAC3C,UAAU,CAAC;wBACT,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;wBACvB,MAAM,EAAE,IAAI;wBACZ,WAAW,EAAE,CAAC,GAAW,EAAE,EAAE,CAAC,GAAG;qBAClC,CAAC,CACH,CAAC;oBAEF,MAAM,YAAY,GAAG,GAAG,CACtB,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CACpD,CAAC;oBAEF,OAAO,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;gBAC5C,CAAC;aACF;YAED,SAAS,EAAE;gBACT,WAAW,EAAE,kDAAkD;gBAC/D,OAAO,EAAE,KAAK,EAAE,IAAY,EAAE,KAA0B,EAAE,EAAE;oBAC1D,MAAM,SAAS,GAAG,IAAI,SAAS,CAAC;wBAC9B,OAAO,EAAE,CAAC,CAAa,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC;qBACvE,CAAC,CAAC;oBAEH,MAAM,KAAK,GAA8B;wBACvC,IAAI,EAAE,OAAO;wBACb,MAAM,EAAE,KAAK,EAAE,IAAY,EAAE,OAAoB,EAAE,EAAE,CAAC,sBAAsB,IAAI,EAAE;qBACnF,CAAC;oBAEF,MAAM,OAAO,GAA2D;wBACtE,IAAI,EAAE,SAAS;wBACf,MAAM,EAAE,KAAK,EAAE,KAAa,EAAE,OAAoB,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;qBACpF,CAAC;oBAEF,MAAM,KAAK,GAA0D;wBACnE,IAAI,EAAE,OAAO;wBACb,MAAM,EAAE,KAAK,EAAE,KAAyC,EAAE,OAAoB,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI;qBAC9F,CAAC;oBAEF,MAAM,IAAI,GAAG,WAAW,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;oBAChE,OAAO,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;gBACpC,CAAC;aACF;YAED,UAAU,EAAE;gBACV,WAAW,EAAE,8BAA8B;gBAC3C,OAAO,EAAE,KAAK,EAAE,KAAa,EAAE,MAA2B,EAAE,EAAE;oBAC5D,OAAO,EAAE,OAAO,EAAE,yCAAyC,EAAE,CAAC;gBAChE,CAAC;aACF;SACF;KACF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"pi-harness.js","sourceRoot":"","sources":["../../src/adapters/pi-harness.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAIL,GAAG,GAEJ,MAAM,eAAe,CAAC;AACvB,OAAO,EAAkB,YAAY,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AACxE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAClF,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAE5C,MAAM,UAAU,MAAM,CAAkB,IAKvC;IACC,OAAO;QACL,IAAI,EAAE,MAAM,IAAI,CAAC,IAAI,EAAE;QACvB,MAAM,EAAE,KAAK,EAAE,MAAc,EAAE,OAAoB,EAAE,EAAE;YACrD,MAAM,IAAI,KAAK,CACb,UAAU,IAAI,CAAC,IAAI,+BAA+B;gBAChD,8CAA8C,CACjD,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,UAAU,CAAU,IAKnC;IACC,OAAO;QACL,IAAI,EAAE,eAAe,IAAI,CAAC,IAAI,EAAE;QAChC,MAAM,EAAE,KAAK,EAAE,CAAO,EAAE,OAAoB,EAAE,EAAE;YAC9C,MAAM,IAAI,KAAK,CACb,cAAc,IAAI,CAAC,IAAI,oCAAoC,CAC5D,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB;IAClC,OAAO;QACL,IAAI,EAAE,YAAY;QAClB,OAAO,EAAE,OAAO;QAChB,WAAW,EAAE,uDAAuD;QAEpE,QAAQ,EAAE;YACR,SAAS,EAAE;gBACT,WAAW,EAAE,6CAA6C;gBAC1D,OAAO,EAAE,KAAK,EAAE,IAAY,EAAE,KAA0B,EAAE,EAAE;oBAC1D,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;oBAC3D,MAAM,SAAS,GAAG,IAAI,SAAS,CAAC;wBAC9B,OAAO,EAAE,CAAC,CAAa,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC;qBACvE,CAAC,CAAC;oBAEH,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAY,EAAE,EAAE,CAC3C,UAAU,CAAC;wBACT,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;wBACvB,MAAM,EAAE,IAAI;wBACZ,WAAW,EAAE,CAAC,GAAW,EAAE,EAAE,CAAC,GAAG;qBAClC,CAAC,CACH,CAAC;oBAEF,MAAM,YAAY,GAAG,GAAG,CACtB,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CACpD,CAAC;oBAEF,OAAO,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;gBAC5C,CAAC;aACF;YAED,SAAS,EAAE;gBACT,WAAW,EAAE,kDAAkD;gBAC/D,OAAO,EAAE,KAAK,EAAE,IAAY,EAAE,KAA0B,EAAE,EAAE;oBAC1D,MAAM,SAAS,GAAG,IAAI,SAAS,CAAC;wBAC9B,OAAO,EAAE,CAAC,CAAa,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC;qBACvE,CAAC,CAAC;oBAEH,MAAM,KAAK,GAA8B;wBACvC,IAAI,EAAE,OAAO;wBACb,MAAM,EAAE,KAAK,EAAE,IAAY,EAAE,OAAoB,EAAE,EAAE,CAAC,sBAAsB,IAAI,EAAE;qBACnF,CAAC;oBAEF,MAAM,OAAO,GAA2D;wBACtE,IAAI,EAAE,SAAS;wBACf,MAAM,EAAE,KAAK,EAAE,KAAa,EAAE,OAAoB,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;qBACpF,CAAC;oBAEF,MAAM,KAAK,GAA0D;wBACnE,IAAI,EAAE,OAAO;wBACb,MAAM,EAAE,KAAK,EAAE,KAAyC,EAAE,OAAoB,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI;qBAC9F,CAAC;oBAEF,MAAM,IAAI,GAAG,WAAW,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;oBAChE,OAAO,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;gBACpC,CAAC;aACF;YAED,UAAU,EAAE;gBACV,WAAW,EAAE,8BAA8B;gBAC3C,OAAO,EAAE,KAAK,EAAE,KAAa,EAAE,MAA2B,EAAE,EAAE;oBAC5D,OAAO,EAAE,OAAO,EAAE,yCAAyC,EAAE,CAAC;gBAChE,CAAC;aACF;YAED,WAAW,EAAE;gBACX,WAAW,EAAE,0CAA0C;gBACvD,OAAO,EAAE,KAAK,EAAE,IAAY,EAAE,KAA0B,EAAE,EAAE;oBAC1D,MAAM,SAAS,GAAG,IAAI,SAAS,CAAC;wBAC9B,OAAO,EAAE,CAAC,CAAa,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC;qBACvE,CAAC,CAAC;oBAEH,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;oBACzB,MAAM,IAAI,GAAG,gBAAgB,CAAC;wBAC5B,OAAO,EAAE,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,GAAmB,EAAE,EAAE;4BACrD,MAAM,GAAG,GAAG,UAAU,CAAS;gCAC7B,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,YAAY;gCACvC,MAAM,EAAE,IAAI;gCACZ,WAAW,EAAE,CAAC,GAAW,EAAE,EAAE,CAAC,GAAG;6BAClC,CAAC,CAAC;4BACH,OAAO,GAAG,CAAC,MAAM,CAAC,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;wBAC3C,CAAC,CAAC;wBACF,WAAW,EAAE,CAAC;wBACd,cAAc,EAAE,GAAG;qBACpB,CAAC,CAAC;oBAEH,OAAO,SAAS,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;gBACtC,CAAC;aACF;YAED,cAAc,EAAE;gBACd,WAAW,EAAE,uCAAuC;gBACpD,OAAO,EAAE,KAAK,EAAE,IAAY,EAAE,KAA0B,EAAE,EAAE;oBAC1D,MAAM,SAAS,GAAG,IAAI,SAAS,CAAC;wBAC9B,OAAO,EAAE,CAAC,CAAa,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC;qBACvE,CAAC,CAAC;oBAEH,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,GAAG,IAAI;yBAC7B,KAAK,CAAC,IAAI,CAAC;yBACX,GAAG,CAAC,CAAC,IAAY,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;yBAClC,MAAM,CAAC,OAAO,CAAC,CAAC;oBAEnB,MAAM,aAAa,GAAG,OAAO,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;oBAC7C,MAAM,cAAc,GAAG,QAAQ,IAAI,iBAAiB,aAAa,EAAE,CAAC;oBAEpE,MAAM,IAAI,GAAoB,KAAK,EAAE,GAAmB,EAAE,EAAE;wBAC1D,MAAM,MAAM,GAAG,MAAM,EAAE,CACrB,KAAK,EAAE,CAAC,EAAE,EAAE,CACV,UAAU,CAAS;4BACjB,IAAI,EAAE,SAAS;4BACf,MAAM,EAAE,aAAa;4BACrB,WAAW,EAAE,CAAC,GAAW,EAAE,EAAE,CAAC,GAAG;yBAClC,CAAC,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC,EAChC,KAAK,EAAE,CAAC,EAAE,EAAE,CACV,UAAU,CAAS;4BACjB,IAAI,EAAE,UAAU;4BAChB,MAAM,EAAE,cAAc;4BACtB,WAAW,EAAE,CAAC,GAAW,EAAE,EAAE,CAAC,GAAG;yBAClC,CAAC,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC,CACjC,CAAC,GAAG,CAAC,CAAC;wBAEP,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;4BACf,MAAM,MAAM,CAAC,KAAK,CAAC;wBACrB,CAAC;wBACD,OAAO,MAAM,CAAC,KAAK,CAAC;oBACtB,CAAC,CAAC;oBAEF,OAAO,SAAS,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;gBACzC,CAAC;aACF;YAED,UAAU,EAAE;gBACV,WAAW,EAAE,2CAA2C;gBACxD,OAAO,EAAE,KAAK,EAAE,IAAY,EAAE,KAA0B,EAAE,EAAE;oBAC1D,MAAM,SAAS,GAAG,IAAI,SAAS,CAAC;wBAC9B,OAAO,EAAE,CAAC,CAAa,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC;qBACvE,CAAC,CAAC;oBAEH,MAAM,KAAK,GAAG,IAAI;yBACf,KAAK,CAAC,GAAG,CAAC;yBACV,GAAG,CAAC,CAAC,IAAY,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;yBAClC,MAAM,CAAC,OAAO,CAAC,CAAC;oBAEnB,MAAM,IAAI,GAAG,IAAI,CACf,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CACjB,UAAU,CACR,KAAK,EAAE,GAAmB,EAAE,EAAE,CAC5B,UAAU,CAAS;wBACjB,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,WAAW;wBACtC,MAAM,EAAE,IAAI;wBACZ,WAAW,EAAE,CAAC,GAAW,EAAE,EAAE,CAAC,GAAG;qBAClC,CAAC,CAAC,MAAM,CAAC,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,EAClC,GAAG,EAAE,CAAC,KAAK,EAAE,GAAmB,EAAE,EAAE;wBAClC,MAAM,UAAU,CAAS;4BACvB,IAAI,EAAE,MAAM;4BACZ,MAAM,EAAE,4BAA4B,IAAI,EAAE;4BAC1C,WAAW,EAAE,CAAC,GAAW,EAAE,EAAE,CAAC,GAAG;yBAClC,CAAC,CAAC,MAAM,CAAC,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;oBACnC,CAAC,CACF,CACF,CACF,CAAC;oBAEF,OAAO,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;gBACrC,CAAC;aACF;SACF;KACF,CAAC;AACJ,CAAC"}

package/dist/fork-algebra.d.ts

@@ -0,0 +1,35 @@
+/**
+ * Fork Algebra layer for cpa-agents
+ *
+ * Fork algebras extend relation algebras with a fork operator that pairs
+ * two relations:
+ *
+ *   R: A -> B,  S: A -> C   =>   R∇S: A -> BxC
+ */
+import { type Process } from "./process.js";
+export type RelationFn<A, B> = (input: A) => Promise<B[]>;
+export interface Relation<A, B> {
+    readonly name: string;
+    readonly fn: RelationFn<A, B>;
+}
+export declare function rel<A, B>(name: string, fn: RelationFn<A, B>): Relation<A, B>;
+export declare function detRel<A, B>(name: string, fn: (input: A) => Promise<B>): Relation<A, B>;
+export declare function compose<A, B, C>(r: Relation<A, B>, s: Relation<B, C>): Relation<A, C>;
+export declare function fork<A, B, C>(r: Relation<A, B>, s: Relation<A, C>): Relation<A, [B, C]>;
+export declare function forkN<A>(...relations: Relation<A, any>[]): Relation<A, any[]>;
+export declare function converse<A, B>(r: Relation<A, B>, inverseFn: RelationFn<B, A>): Relation<B, A>;
+export declare function meet<A, B>(r: Relation<A, B>, s: Relation<A, B>, eq?: (b1: B, b2: B) => boolean): Relation<A, B>;
+export declare function join<A, B>(r: Relation<A, B>, s: Relation<A, B>, dedup?: (b1: B, b2: B) => boolean): Relation<A, B>;
+export declare function identity<A>(name?: string): Relation<A, A>;
+export declare function empty<A, B>(name?: string): Relation<A, B>;
+export declare function proj1<B, C>(name?: string): Relation<[B, C], B>;
+export declare function proj2<B, C>(name?: string): Relation<[B, C], C>;
+export declare function domRestrict<A, B>(guard: Relation<A, A>, body: Relation<A, B>): Relation<A, B>;
+export declare function ranRestrict<A, B>(body: Relation<A, B>, filter: Relation<B, any>): Relation<A, B>;
+export declare function toProcess<A, B>(relation: Relation<A, B>, input: A, mode?: "first" | "all"): Process<B | B[]>;
+export declare function forkToProcess<A, B, C>(r: Relation<A, B>, s: Relation<A, C>, input: A): Process<[B[], C[]]>;
+export declare function verifyAxioms<A, B, C>(r: Relation<A, B>, s: Relation<A, C>, testInputs: A[], eqB?: (a: B, b: B) => boolean, eqC?: (a: C, b: C) => boolean): Promise<{
+    passed: boolean;
+    failures: string[];
+}>;
+//# sourceMappingURL=fork-algebra.d.ts.map

package/dist/fork-algebra.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fork-algebra.d.ts","sourceRoot":"","sources":["../src/fork-algebra.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,KAAK,OAAO,EAA4B,MAAM,cAAc,CAAC;AAEtE,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC;AAE1D,MAAM,WAAW,QAAQ,CAAC,CAAC,EAAE,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CAC/B;AAED,wBAAgB,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAE5E;AAED,wBAAgB,MAAM,CAAC,CAAC,EAAE,CAAC,EACzB,IAAI,EAAE,MAAM,EACZ,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,GAC3B,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAEhB;AAED,wBAAgB,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAC7B,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,GAChB,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAahB;AAED,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAC1B,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,GAChB,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAcrB;AAED,wBAAgB,KAAK,CAAC,CAAC,EAAE,GAAG,SAAS,EAAE,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAQ7E;AAED,wBAAgB,QAAQ,CAAC,CAAC,EAAE,CAAC,EAC3B,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,SAAS,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,GAC1B,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAKhB;AAED,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EACvB,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,GAAE,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,OAA2B,GAChD,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAQhB;AAED,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EACvB,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,KAAK,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,OAAO,GAChC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAYhB;AAED,wBAAgB,QAAQ,CAAC,CAAC,EAAE,IAAI,SAAO,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAEvD;AAED,wBAAgB,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,SAAM,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAEtD;AAED,wBAAgB,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,SAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAE5D;AAED,wBAAgB,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,SAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAE5D;AAED,wBAAgB,WAAW,CAAC,CAAC,EAAE,CAAC,EAC9B,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EACrB,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,GACnB,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAahB;AAED,wBAAgB,WAAW,CAAC,CAAC,EAAE,CAAC,EAC9B,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EACpB,MAAM,EAAE,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,GACvB,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAahB;AAED,wBAAgB,SAAS,CAAC,CAAC,EAAE,CAAC,EAC5B,QAAQ,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EACxB,KAAK,EAAE,CAAC,EACR,IAAI,GAAE,OAAO,GAAG,KAAe,GAC9B,OAAO,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CA0BlB;AAED,wBAAgB,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EACnC,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,KAAK,EAAE,CAAC,GACP,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CA2BrB;AAED,wBAAsB,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EACxC,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,UAAU,EAAE,CAAC,EAAE,EACf,GAAG,GAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,OAA2B,EAChD,GAAG,GAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,OAA2B,GAC/C,OAAO,CAAC;IAAE,MAAM,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC,CA6BlD"}

package/dist/fork-algebra.js

@@ -0,0 +1,201 @@
+/**
+ * Fork Algebra layer for cpa-agents
+ *
+ * Fork algebras extend relation algebras with a fork operator that pairs
+ * two relations:
+ *
+ *   R: A -> B,  S: A -> C   =>   R∇S: A -> BxC
+ */
+import { par } from "./process.js";
+export function rel(name, fn) {
+    return { name, fn };
+}
+export function detRel(name, fn) {
+    return { name, fn: async (a) => [await fn(a)] };
+}
+export function compose(r, s) {
+    return {
+        name: `${r.name};${s.name}`,
+        fn: async (a) => {
+            const bs = await r.fn(a);
+            const results = [];
+            for (const b of bs) {
+                const cs = await s.fn(b);
+                results.push(...cs);
+            }
+            return results;
+        },
+    };
+}
+export function fork(r, s) {
+    return {
+        name: `${r.name}∇${s.name}`,
+        fn: async (a) => {
+            const [bs, cs] = await Promise.all([r.fn(a), s.fn(a)]);
+            const pairs = [];
+            for (const b of bs) {
+                for (const c of cs) {
+                    pairs.push([b, c]);
+                }
+            }
+            return pairs;
+        },
+    };
+}
+export function forkN(...relations) {
+    return {
+        name: relations.map((r) => r.name).join("∇"),
+        fn: async (a) => {
+            const allResults = await Promise.all(relations.map((r) => r.fn(a)));
+            return cartesian(allResults);
+        },
+    };
+}
+export function converse(r, inverseFn) {
+    return {
+        name: `${r.name}⁻¹`,
+        fn: inverseFn,
+    };
+}
+export function meet(r, s, eq = (a, b) => a === b) {
+    return {
+        name: `${r.name}∩${s.name}`,
+        fn: async (a) => {
+            const [rResults, sResults] = await Promise.all([r.fn(a), s.fn(a)]);
+            return rResults.filter((rb) => sResults.some((sb) => eq(rb, sb)));
+        },
+    };
+}
+export function join(r, s, dedup) {
+    return {
+        name: `${r.name}∪${s.name}`,
+        fn: async (a) => {
+            const [rResults, sResults] = await Promise.all([r.fn(a), s.fn(a)]);
+            const combined = [...rResults, ...sResults];
+            if (!dedup)
+                return combined;
+            return combined.filter((b, i) => combined.findIndex((other) => dedup(b, other)) === i);
+        },
+    };
+}
+export function identity(name = "id") {
+    return { name, fn: async (a) => [a] };
+}
+export function empty(name = "∅") {
+    return { name, fn: async () => [] };
+}
+export function proj1(name = "π₁") {
+    return { name, fn: async ([b, _c]) => [b] };
+}
+export function proj2(name = "π₂") {
+    return { name, fn: async ([_b, c]) => [c] };
+}
+export function domRestrict(guard, body) {
+    return {
+        name: `${guard.name}◁${body.name}`,
+        fn: async (a) => {
+            const guardResult = await guard.fn(a);
+            if (guardResult.length === 0)
+                return [];
+            const results = [];
+            for (const ga of guardResult) {
+                results.push(...(await body.fn(ga)));
+            }
+            return results;
+        },
+    };
+}
+export function ranRestrict(body, filter) {
+    return {
+        name: `${body.name}▷${filter.name}`,
+        fn: async (a) => {
+            const bs = await body.fn(a);
+            const kept = [];
+            for (const b of bs) {
+                const filterResult = await filter.fn(b);
+                if (filterResult.length > 0)
+                    kept.push(b);
+            }
+            return kept;
+        },
+    };
+}
+export function toProcess(relation, input, mode = "first") {
+    return async (ctx) => {
+        ctx.trace.emit({
+            type: "spawn",
+            runId: ctx.runId,
+            parentId: ctx.parentId,
+            name: `rel:${relation.name}`,
+            ts: Date.now(),
+        });
+        const results = await relation.fn(input);
+        ctx.trace.emit({
+            type: "done",
+            runId: ctx.runId,
+            ts: Date.now(),
+        });
+        if (mode === "first") {
+            if (results.length === 0) {
+                throw new Error(`Relation ${relation.name} produced no results`);
+            }
+            return results[0];
+        }
+        return results;
+    };
+}
+export function forkToProcess(r, s, input) {
+    return par(async (ctx) => {
+        ctx.trace.emit({
+            type: "spawn",
+            runId: ctx.runId,
+            parentId: ctx.parentId,
+            name: `fork-left:${r.name}`,
+            ts: Date.now(),
+        });
+        const result = await r.fn(input);
+        ctx.trace.emit({ type: "done", runId: ctx.runId, ts: Date.now() });
+        return result;
+    }, async (ctx) => {
+        ctx.trace.emit({
+            type: "spawn",
+            runId: ctx.runId,
+            parentId: ctx.parentId,
+            name: `fork-right:${s.name}`,
+            ts: Date.now(),
+        });
+        const result = await s.fn(input);
+        ctx.trace.emit({ type: "done", runId: ctx.runId, ts: Date.now() });
+        return result;
+    });
+}
+export async function verifyAxioms(r, s, testInputs, eqB = (a, b) => a === b, eqC = (a, b) => a === b) {
+    const failures = [];
+    for (const input of testInputs) {
+        const forked = fork(r, s);
+        const forkedResults = await forked.fn(input);
+        const rResults = await r.fn(input);
+        const sResults = await s.fn(input);
+        const proj1Results = forkedResults.map(([b, _c]) => b);
+        for (const p of proj1Results) {
+            if (!rResults.some((rb) => eqB(rb, p))) {
+                failures.push(`Fork-projection π₁ failed for input ${String(input)}: got ${String(p)} not in R`);
+            }
+        }
+        const proj2Results = forkedResults.map(([_b, c]) => c);
+        for (const p of proj2Results) {
+            if (!sResults.some((sc) => eqC(sc, p))) {
+                failures.push(`Fork-projection π₂ failed for input ${String(input)}: got ${String(p)} not in S`);
+            }
+        }
+    }
+    return { passed: failures.length === 0, failures };
+}
+function cartesian(arrays) {
+    if (arrays.length === 0)
+        return [[]];
+    const [first, ...rest] = arrays;
+    const restProduct = cartesian(rest);
+    return first.flatMap((x) => restProduct.map((r) => [x, ...r]));
+}
+//# sourceMappingURL=fork-algebra.js.map

package/dist/fork-algebra.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fork-algebra.js","sourceRoot":"","sources":["../src/fork-algebra.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAqC,GAAG,EAAE,MAAM,cAAc,CAAC;AAStE,MAAM,UAAU,GAAG,CAAO,IAAY,EAAE,EAAoB;IAC1D,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;AACtB,CAAC;AAED,MAAM,UAAU,MAAM,CACpB,IAAY,EACZ,EAA4B;IAE5B,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAClD,CAAC;AAED,MAAM,UAAU,OAAO,CACrB,CAAiB,EACjB,CAAiB;IAEjB,OAAO;QACL,IAAI,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE;QAC3B,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;YACd,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACzB,MAAM,OAAO,GAAQ,EAAE,CAAC;YACxB,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;gBACnB,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBACzB,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;YACtB,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,IAAI,CAClB,CAAiB,EACjB,CAAiB;IAEjB,OAAO;QACL,IAAI,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE;QAC3B,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;YACd,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACvD,MAAM,KAAK,GAAa,EAAE,CAAC;YAC3B,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;gBACnB,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;oBACnB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBACrB,CAAC;YACH,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,KAAK,CAAI,GAAG,SAA6B;IACvD,OAAO;QACL,IAAI,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QAC5C,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;YACd,MAAM,UAAU,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACpE,OAAO,SAAS,CAAC,UAAU,CAAC,CAAC;QAC/B,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,QAAQ,CACtB,CAAiB,EACjB,SAA2B;IAE3B,OAAO;QACL,IAAI,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI;QACnB,EAAE,EAAE,SAAS;KACd,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,IAAI,CAClB,CAAiB,EACjB,CAAiB,EACjB,KAAgC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC;IAEjD,OAAO;QACL,IAAI,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE;QAC3B,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;YACd,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACnE,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QACpE,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,IAAI,CAClB,CAAiB,EACjB,CAAiB,EACjB,KAAiC;IAEjC,OAAO;QACL,IAAI,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE;QAC3B,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;YACd,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACnE,MAAM,QAAQ,GAAG,CAAC,GAAG,QAAQ,EAAE,GAAG,QAAQ,CAAC,CAAC;YAC5C,IAAI,CAAC,KAAK;gBAAE,OAAO,QAAQ,CAAC;YAC5B,OAAO,QAAQ,CAAC,MAAM,CACpB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC,CAC/D,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,QAAQ,CAAI,IAAI,GAAG,IAAI;IACrC,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACxC,CAAC;AAED,MAAM,UAAU,KAAK,CAAO,IAAI,GAAG,GAAG;IACpC,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;AACtC,CAAC;AAED,MAAM,UAAU,KAAK,CAAO,IAAI,GAAG,IAAI;IACrC,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC9C,CAAC;AAED,MAAM,UAAU,KAAK,CAAO,IAAI,GAAG,IAAI;IACrC,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC9C,CAAC;AAED,MAAM,UAAU,WAAW,CACzB,KAAqB,EACrB,IAAoB;IAEpB,OAAO;QACL,IAAI,EAAE,GAAG,KAAK,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE;QAClC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;YACd,MAAM,WAAW,GAAG,MAAM,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACtC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,EAAE,CAAC;YACxC,MAAM,OAAO,GAAQ,EAAE,CAAC;YACxB,KAAK,MAAM,EAAE,IAAI,WAAW,EAAE,CAAC;gBAC7B,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACvC,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,WAAW,CACzB,IAAoB,EACpB,MAAwB;IAExB,OAAO;QACL,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE;QACnC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;YACd,MAAM,EAAE,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAC5B,MAAM,IAAI,GAAQ,EAAE,CAAC;YACrB,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;gBACnB,MAAM,YAAY,GAAG,MAAM,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBACxC,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC;oBAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC5C,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,SAAS,CACvB,QAAwB,EACxB,KAAQ,EACR,OAAwB,OAAO;IAE/B,OAAO,KAAK,EAAE,GAAmB,EAAE,EAAE;QACnC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;YACb,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,GAAG,CAAC,KAAK;YAChB,QAAQ,EAAE,GAAG,CAAC,QAAQ;YACtB,IAAI,EAAE,OAAO,QAAQ,CAAC,IAAI,EAAE;YAC5B,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE;SACf,CAAC,CAAC;QAEH,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAEzC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;YACb,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,GAAG,CAAC,KAAK;YAChB,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE;SACf,CAAC,CAAC;QAEH,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;YACrB,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACzB,MAAM,IAAI,KAAK,CAAC,YAAY,QAAQ,CAAC,IAAI,sBAAsB,CAAC,CAAC;YACnE,CAAC;YACD,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,CAAiB,EACjB,CAAiB,EACjB,KAAQ;IAER,OAAO,GAAG,CACR,KAAK,EAAE,GAAG,EAAE,EAAE;QACZ,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;YACb,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,GAAG,CAAC,KAAK;YAChB,QAAQ,EAAE,GAAG,CAAC,QAAQ;YACtB,IAAI,EAAE,aAAa,CAAC,CAAC,IAAI,EAAE;YAC3B,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE;SACf,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACjC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACnE,OAAO,MAAM,CAAC;IAChB,CAAC,EACD,KAAK,EAAE,GAAG,EAAE,EAAE;QACZ,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;YACb,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,GAAG,CAAC,KAAK;YAChB,QAAQ,EAAE,GAAG,CAAC,QAAQ;YACtB,IAAI,EAAE,cAAc,CAAC,CAAC,IAAI,EAAE;YAC5B,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE;SACf,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACjC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACnE,OAAO,MAAM,CAAC;IAChB,CAAC,CACF,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,CAAiB,EACjB,CAAiB,EACjB,UAAe,EACf,MAA+B,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAChD,MAA+B,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC;IAEhD,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1B,MAAM,aAAa,GAAG,MAAM,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAC7C,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACnC,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAEnC,MAAM,YAAY,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QACvD,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;YAC7B,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvC,QAAQ,CAAC,IAAI,CACX,uCAAuC,MAAM,CAAC,KAAK,CAAC,SAAS,MAAM,CAAC,CAAC,CAAC,WAAW,CAClF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,MAAM,YAAY,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QACvD,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;YAC7B,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvC,QAAQ,CAAC,IAAI,CACX,uCAAuC,MAAM,CAAC,KAAK,CAAC,SAAS,MAAM,CAAC,CAAC,CAAC,WAAW,CAClF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,QAAQ,EAAE,CAAC;AACrD,CAAC;AAED,SAAS,SAAS,CAAC,MAAe;IAChC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,EAAE,CAAC,CAAC;IACrC,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,MAAM,CAAC;IAChC,MAAM,WAAW,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IACpC,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AACjE,CAAC"}

package/dist/index.d.ts

@@ -27,4 +27,6 @@ export { Channel, freshId, select, type ChannelId, type SelectCase } from "./cha
 export { type Process, type ProcessContext, type TraceEvent, type SessionNode, TraceCollector, par, seq, choice, branchFix, restrict, replicate, supervisor, } from "./process.js";
 export { type AgentCall, type CheckResult, agentProcess, codeThenFix, fanOut, pipeline, PipelineBuilder, handoff, } from "./agent.js";
 export { Scheduler, type SchedulerOpts, type SchedulerResult } from "./scheduler.js";
+export { type Relation, type RelationFn, rel, detRel, compose, fork, forkN, converse, meet, join, identity, empty, proj1, proj2, domRestrict, ranRestrict, toProcess, forkToProcess, verifyAxioms, } from "./fork-algebra.js";
+export { type Result, type BackgroundHandle, type Invertible, attempt, unwrap, and, or, ifThenElse, pipe, pipeChain, bg, not, waitAll, andChain, orChain, subshell, invertible, runInvertible, saga, guard, guardValue, timeout, retryWithBackoff, } from "./operators.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAGH,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,SAAS,EAAE,KAAK,UAAU,EAAE,MAAM,cAAc,CAAC;AAGzF,OAAO,EACL,KAAK,OAAO,EACZ,KAAK,cAAc,EACnB,KAAK,UAAU,EACf,KAAK,WAAW,EAChB,cAAc,EACd,GAAG,EACH,GAAG,EACH,MAAM,EACN,SAAS,EACT,QAAQ,EACR,SAAS,EACT,UAAU,GACX,MAAM,cAAc,CAAC;AAGtB,OAAO,EACL,KAAK,SAAS,EACd,KAAK,WAAW,EAChB,YAAY,EACZ,WAAW,EACX,MAAM,EACN,QAAQ,EACR,eAAe,EACf,OAAO,GACR,MAAM,YAAY,CAAC;AAGpB,OAAO,EAAE,SAAS,EAAE,KAAK,aAAa,EAAE,KAAK,eAAe,EAAE,MAAM,gBAAgB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAGH,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,SAAS,EAAE,KAAK,UAAU,EAAE,MAAM,cAAc,CAAC;AAGzF,OAAO,EACL,KAAK,OAAO,EACZ,KAAK,cAAc,EACnB,KAAK,UAAU,EACf,KAAK,WAAW,EAChB,cAAc,EACd,GAAG,EACH,GAAG,EACH,MAAM,EACN,SAAS,EACT,QAAQ,EACR,SAAS,EACT,UAAU,GACX,MAAM,cAAc,CAAC;AAGtB,OAAO,EACL,KAAK,SAAS,EACd,KAAK,WAAW,EAChB,YAAY,EACZ,WAAW,EACX,MAAM,EACN,QAAQ,EACR,eAAe,EACf,OAAO,GACR,MAAM,YAAY,CAAC;AAGpB,OAAO,EAAE,SAAS,EAAE,KAAK,aAAa,EAAE,KAAK,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAGrF,OAAO,EACL,KAAK,QAAQ,EACb,KAAK,UAAU,EACf,GAAG,EACH,MAAM,EACN,OAAO,EACP,IAAI,EACJ,KAAK,EACL,QAAQ,EACR,IAAI,EACJ,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,KAAK,EACL,KAAK,EACL,WAAW,EACX,WAAW,EACX,SAAS,EACT,aAAa,EACb,YAAY,GACb,MAAM,mBAAmB,CAAC;AAG3B,OAAO,EACL,KAAK,MAAM,EACX,KAAK,gBAAgB,EACrB,KAAK,UAAU,EACf,OAAO,EACP,MAAM,EACN,GAAG,EACH,EAAE,EACF,UAAU,EACV,IAAI,EACJ,SAAS,EACT,EAAE,EACF,GAAG,EACH,OAAO,EACP,QAAQ,EACR,OAAO,EACP,QAAQ,EACR,UAAU,EACV,aAAa,EACb,IAAI,EACJ,KAAK,EACL,UAAU,EACV,OAAO,EACP,gBAAgB,GACjB,MAAM,gBAAgB,CAAC"}

package/dist/index.js

@@ -31,4 +31,8 @@ export { TraceCollector, par, seq, choice, branchFix, restrict, replicate, super
 export { agentProcess, codeThenFix, fanOut, pipeline, PipelineBuilder, handoff, } from "./agent.js";
 // Scheduler
 export { Scheduler } from "./scheduler.js";
+// Fork algebra (relational layer)
+export { rel, detRel, compose, fork, forkN, converse, meet, join, identity, empty, proj1, proj2, domRestrict, ranRestrict, toProcess, forkToProcess, verifyAxioms, } from "./fork-algebra.js";
+// Operators (bash-style control flow + inverse/undo)
+export { attempt, unwrap, and, or, ifThenElse, pipe, pipeChain, bg, not, waitAll, andChain, orChain, subshell, invertible, runInvertible, saga, guard, guardValue, timeout, retryWithBackoff, } from "./operators.js";
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,kBAAkB;AAClB,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAmC,MAAM,cAAc,CAAC;AAEzF,kBAAkB;AAClB,OAAO,EAKL,cAAc,EACd,GAAG,EACH,GAAG,EACH,MAAM,EACN,SAAS,EACT,QAAQ,EACR,SAAS,EACT,UAAU,GACX,MAAM,cAAc,CAAC;AAEtB,iBAAiB;AACjB,OAAO,EAGL,YAAY,EACZ,WAAW,EACX,MAAM,EACN,QAAQ,EACR,eAAe,EACf,OAAO,GACR,MAAM,YAAY,CAAC;AAEpB,YAAY;AACZ,OAAO,EAAE,SAAS,EAA4C,MAAM,gBAAgB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,kBAAkB;AAClB,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAmC,MAAM,cAAc,CAAC;AAEzF,kBAAkB;AAClB,OAAO,EAKL,cAAc,EACd,GAAG,EACH,GAAG,EACH,MAAM,EACN,SAAS,EACT,QAAQ,EACR,SAAS,EACT,UAAU,GACX,MAAM,cAAc,CAAC;AAEtB,iBAAiB;AACjB,OAAO,EAGL,YAAY,EACZ,WAAW,EACX,MAAM,EACN,QAAQ,EACR,eAAe,EACf,OAAO,GACR,MAAM,YAAY,CAAC;AAEpB,YAAY;AACZ,OAAO,EAAE,SAAS,EAA4C,MAAM,gBAAgB,CAAC;AAErF,kCAAkC;AAClC,OAAO,EAGL,GAAG,EACH,MAAM,EACN,OAAO,EACP,IAAI,EACJ,KAAK,EACL,QAAQ,EACR,IAAI,EACJ,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,KAAK,EACL,KAAK,EACL,WAAW,EACX,WAAW,EACX,SAAS,EACT,aAAa,EACb,YAAY,GACb,MAAM,mBAAmB,CAAC;AAE3B,qDAAqD;AACrD,OAAO,EAIL,OAAO,EACP,MAAM,EACN,GAAG,EACH,EAAE,EACF,UAAU,EACV,IAAI,EACJ,SAAS,EACT,EAAE,EACF,GAAG,EACH,OAAO,EACP,QAAQ,EACR,OAAO,EACP,QAAQ,EACR,UAAU,EACV,aAAa,EACb,IAAI,EACJ,KAAK,EACL,UAAU,EACV,OAAO,EACP,gBAAgB,GACjB,MAAM,gBAAgB,CAAC"}

package/dist/operators.d.ts

@@ -0,0 +1,44 @@
+import { type Process, type ProcessContext } from "./process.js";
+export type Result<T> = {
+    ok: true;
+    value: T;
+} | {
+    ok: false;
+    error: Error;
+};
+export declare function attempt<T>(process: Process<T>): Process<Result<T>>;
+export declare function unwrap<T>(result: Result<T>): T;
+export declare function and<A, B>(a: Process<A>, b: Process<B>): Process<Result<B>>;
+export declare function or<T>(a: Process<T>, b: Process<T>): Process<Result<T>>;
+export declare function ifThenElse<T>(condition: Process<unknown>, then: Process<T>, otherwise: Process<T>): Process<T>;
+export declare function pipe<A, B>(a: Process<A>, b: (input: A) => Process<B>): Process<B>;
+export declare function pipeChain<T>(first: Process<T>, ...rest: Array<(input: any) => Process<any>>): Process<any>;
+export interface BackgroundHandle<T> {
+    wait: () => Promise<Result<T>>;
+    abort: () => void;
+}
+export declare function bg<T>(process: Process<T>): Process<BackgroundHandle<T>>;
+export declare function not(process: Process<unknown>): Process<void>;
+export declare function waitAll<T>(handles: BackgroundHandle<T>[]): Promise<Result<T>[]>;
+export declare function andChain(...processes: Process<any>[]): Process<Result<any>>;
+export declare function orChain<T>(...processes: Process<T>[]): Process<Result<T>>;
+export declare function subshell<T>(name: string, process: Process<T>): Process<T>;
+export interface Invertible<T> {
+    forward: Process<T>;
+    undo: (result: T) => Process<void>;
+}
+export declare function invertible<T>(forward: Process<T>, undo: (result: T) => Process<void>): Invertible<T>;
+export declare function runInvertible<T>(inv: Invertible<T>): Process<T>;
+export declare function saga(steps: Invertible<any>[]): Process<any[]>;
+export declare function guard(name: string, predicate: (ctx: ProcessContext) => Promise<boolean>): Process<void>;
+export declare function guardValue<T>(name: string, extract: (ctx: ProcessContext) => Promise<T | null | undefined>): Process<T>;
+export declare function timeout<T>(ms: number, process: Process<T>): Process<T>;
+export declare function retryWithBackoff<T>(opts: {
+    process: Process<T>;
+    maxAttempts: number;
+    initialDelayMs?: number;
+    maxDelayMs?: number;
+    backoffFactor?: number;
+    retryIf?: (err: Error) => boolean;
+}): Process<T>;
+//# sourceMappingURL=operators.d.ts.map

package/dist/operators.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"operators.d.ts","sourceRoot":"","sources":["../src/operators.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,cAAc,CAAC;AAEjE,MAAM,MAAM,MAAM,CAAC,CAAC,IAChB;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CAAE,GACtB;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,CAAC;AAUhC,wBAAgB,OAAO,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CASlE;AAED,wBAAgB,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAG9C;AAED,wBAAgB,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAM1E;AAED,wBAAgB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAetE;AAED,wBAAgB,UAAU,CAAC,CAAC,EAC1B,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,EAC3B,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,EAChB,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC,GACpB,OAAO,CAAC,CAAC,CAAC,CAeZ;AAED,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAKjF;AAED,wBAAgB,SAAS,CAAC,CAAC,EACzB,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EACjB,GAAG,IAAI,EAAE,KAAK,CAAC,CAAC,KAAK,EAAE,GAAG,KAAK,OAAO,CAAC,GAAG,CAAC,CAAC,GAC3C,OAAO,CAAC,GAAG,CAAC,CAQd;AAED,MAAM,WAAW,gBAAgB,CAAC,CAAC;IACjC,IAAI,EAAE,MAAM,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/B,KAAK,EAAE,MAAM,IAAI,CAAC;CACnB;AAED,wBAAgB,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAmCvE;AAED,wBAAgB,GAAG,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAO5D;AAED,wBAAsB,OAAO,CAAC,CAAC,EAC7B,OAAO,EAAE,gBAAgB,CAAC,CAAC,CAAC,EAAE,GAC7B,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAEtB;AAED,wBAAgB,QAAQ,CAAC,GAAG,SAAS,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAS3E;AAED,wBAAgB,OAAO,CAAC,CAAC,EAAE,GAAG,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CASzE;AAED,wBAAgB,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CA4BzE;AAED,MAAM,WAAW,UAAU,CAAC,CAAC;IAC3B,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IACpB,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;CACpC;AAED,wBAAgB,UAAU,CAAC,CAAC,EAC1B,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,EACnB,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,GACjC,UAAU,CAAC,CAAC,CAAC,CAEf;AAED,wBAAgB,aAAa,CAAC,CAAC,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAE/D;AAED,wBAAgB,IAAI,CAAC,KAAK,EAAE,UAAU,CAAC,GAAG,CAAC,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,CA4C7D;AAED,wBAAgB,KAAK,CACnB,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,CAAC,GAAG,EAAE,cAAc,KAAK,OAAO,CAAC,OAAO,CAAC,GACnD,OAAO,CAAC,IAAI,CAAC,CAKf;AAED,wBAAgB,UAAU,CAAC,CAAC,EAC1B,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,CAAC,GAAG,EAAE,cAAc,KAAK,OAAO,CAAC,CAAC,GAAG,IAAI,GAAG,SAAS,CAAC,GAC9D,OAAO,CAAC,CAAC,CAAC,CAQZ;AAED,wBAAgB,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAQtE;AAED,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,IAAI,EAAE;IACxC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,OAAO,CAAC,EAAE,CAAC,GAAG,EAAE,KAAK,KAAK,OAAO,CAAC;CACnC,GAAG,OAAO,CAAC,CAAC,CAAC,CA6Cb"}

package/dist/operators.js

@@ -0,0 +1,291 @@
+import { freshId } from "./channel.js";
+function ok(value) {
+    return { ok: true, value };
+}
+function fail(error) {
+    return { ok: false, error };
+}
+export function attempt(process) {
+    return async (ctx) => {
+        try {
+            const value = await process(ctx);
+            return ok(value);
+        }
+        catch (err) {
+            return fail(err instanceof Error ? err : new Error(String(err)));
+        }
+    };
+}
+export function unwrap(result) {
+    if (result.ok)
+        return result.value;
+    throw result.error;
+}
+export function and(a, b) {
+    return async (ctx) => {
+        const aResult = await attempt(a)(ctx);
+        if (!aResult.ok)
+            return fail(aResult.error);
+        return attempt(b)(ctx);
+    };
+}
+export function or(a, b) {
+    return async (ctx) => {
+        const aResult = await attempt(a)(ctx);
+        if (aResult.ok)
+            return aResult;
+        ctx.trace.emit({
+            type: "branch",
+            runId: ctx.runId,
+            chosen: "fallback",
+            alternatives: ["primary", "fallback"],
+            ts: Date.now(),
+        });
+        return attempt(b)(ctx);
+    };
+}
+export function ifThenElse(condition, then, otherwise) {
+    return async (ctx) => {
+        const condResult = await attempt(condition)(ctx);
+        ctx.trace.emit({
+            type: "branch",
+            runId: ctx.runId,
+            chosen: condResult.ok ? "then" : "else",
+            alternatives: ["then", "else"],
+            ts: Date.now(),
+        });
+        if (condResult.ok)
+            return then(ctx);
+        return otherwise(ctx);
+    };
+}
+export function pipe(a, b) {
+    return async (ctx) => {
+        const aResult = await a(ctx);
+        return b(aResult)(ctx);
+    };
+}
+export function pipeChain(first, ...rest) {
+    return async (ctx) => {
+        let result = await first(ctx);
+        for (const step of rest) {
+            result = await step(result)(ctx);
+        }
+        return result;
+    };
+}
+export function bg(process) {
+    return async (ctx) => {
+        const bgController = new AbortController();
+        const mergedSignal = anySignal(ctx.signal, bgController.signal);
+        const bgCtx = {
+            ...ctx,
+            runId: freshId("bg"),
+            parentId: ctx.runId,
+            signal: mergedSignal,
+        };
+        ctx.trace.emit({
+            type: "spawn",
+            runId: bgCtx.runId,
+            parentId: ctx.runId,
+            name: "background",
+            ts: Date.now(),
+        });
+        const promise = attempt(process)(bgCtx).then((result) => {
+            ctx.trace.emit({
+                type: result.ok ? "done" : "error",
+                runId: bgCtx.runId,
+                ...(result.ok ? {} : { error: result.error.message }),
+                ts: Date.now(),
+            });
+            return result;
+        });
+        return {
+            wait: () => promise,
+            abort: () => bgController.abort(),
+        };
+    };
+}
+export function not(process) {
+    return async (ctx) => {
+        const result = await attempt(process)(ctx);
+        if (result.ok) {
+            throw new Error("Process succeeded (not operator inverts this to failure)");
+        }
+    };
+}
+export async function waitAll(handles) {
+    return Promise.all(handles.map((h) => h.wait()));
+}
+export function andChain(...processes) {
+    return async (ctx) => {
+        let lastResult = ok(undefined);
+        for (const p of processes) {
+            lastResult = await attempt(p)(ctx);
+            if (!lastResult.ok)
+                return lastResult;
+        }
+        return lastResult;
+    };
+}
+export function orChain(...processes) {
+    return async (ctx) => {
+        let lastResult = fail(new Error("No processes in orChain"));
+        for (const p of processes) {
+            lastResult = await attempt(p)(ctx);
+            if (lastResult.ok)
+                return lastResult;
+        }
+        return lastResult;
+    };
+}
+export function subshell(name, process) {
+    return async (ctx) => {
+        const subId = freshId("sub");
+        const subCtx = {
+            ...ctx,
+            runId: subId,
+            parentId: ctx.runId,
+            channels: new Map(ctx.channels),
+        };
+        ctx.trace.emit({
+            type: "spawn",
+            runId: subId,
+            parentId: ctx.runId,
+            name: `(${name})`,
+            ts: Date.now(),
+        });
+        const result = await process(subCtx);
+        ctx.trace.emit({
+            type: "done",
+            runId: subId,
+            ts: Date.now(),
+        });
+        return result;
+    };
+}
+export function invertible(forward, undo) {
+    return { forward, undo };
+}
+export function runInvertible(inv) {
+    return inv.forward;
+}
+export function saga(steps) {
+    return async (ctx) => {
+        const completed = [];
+        for (const step of steps) {
+            const result = await attempt(step.forward)(ctx);
+            if (!result.ok) {
+                ctx.trace.emit({
+                    type: "fix_start",
+                    runId: ctx.runId,
+                    reason: `Saga rollback: ${result.error.message}`,
+                    ts: Date.now(),
+                });
+                for (let i = completed.length - 1; i >= 0; i--) {
+                    const comp = completed[i];
+                    try {
+                        await comp.undo(comp.result)(ctx);
+                    }
+                    catch (undoErr) {
+                        ctx.trace.emit({
+                            type: "error",
+                            runId: ctx.runId,
+                            error: `Compensation failed at step ${i}: ${undoErr}`,
+                            ts: Date.now(),
+                        });
+                    }
+                }
+                ctx.trace.emit({
+                    type: "fix_end",
+                    runId: ctx.runId,
+                    success: false,
+                    ts: Date.now(),
+                });
+                throw result.error;
+            }
+            completed.push({ result: result.value, undo: step.undo });
+        }
+        return completed.map((c) => c.result);
+    };
+}
+export function guard(name, predicate) {
+    return async (ctx) => {
+        const passed = await predicate(ctx);
+        if (!passed)
+            throw new Error(`Guard failed: ${name}`);
+    };
+}
+export function guardValue(name, extract) {
+    return async (ctx) => {
+        const value = await extract(ctx);
+        if (value === null || value === undefined) {
+            throw new Error(`Guard failed (no value): ${name}`);
+        }
+        return value;
+    };
+}
+export function timeout(ms, process) {
+    return async (ctx) => Promise.race([
+        process(ctx),
+        new Promise((_, reject) => setTimeout(() => reject(new Error(`Timeout after ${ms}ms`)), ms)),
+    ]);
+}
+export function retryWithBackoff(opts) {
+    const { process, maxAttempts, initialDelayMs = 100, maxDelayMs = 30000, backoffFactor = 2, retryIf, } = opts;
+    return async (ctx) => {
+        let delay = initialDelayMs;
+        let lastError;
+        for (let attempt = 0; attempt < maxAttempts; attempt++) {
+            if (ctx.signal.aborted)
+                throw new Error("Aborted");
+            const result = await attemptFn(process)(ctx);
+            if (result.ok)
+                return result.value;
+            lastError = result.error;
+            if (retryIf && !retryIf(lastError))
+                throw lastError;
+            if (attempt < maxAttempts - 1) {
+                ctx.trace.emit({
+                    type: "fix_start",
+                    runId: ctx.runId,
+                    reason: `Retry ${attempt + 1}/${maxAttempts}: ${lastError.message}`,
+                    ts: Date.now(),
+                });
+                await new Promise((r) => setTimeout(r, delay));
+                delay = Math.min(delay * backoffFactor, maxDelayMs);
+                ctx.trace.emit({
+                    type: "fix_end",
+                    runId: ctx.runId,
+                    success: false,
+                    ts: Date.now(),
+                });
+            }
+        }
+        throw lastError;
+    };
+}
+function attemptFn(process) {
+    return async (ctx) => {
+        try {
+            return ok(await process(ctx));
+        }
+        catch (err) {
+            return fail(err instanceof Error ? err : new Error(String(err)));
+        }
+    };
+}
+function anySignal(...signals) {
+    const controller = new AbortController();
+    for (const signal of signals) {
+        if (signal.aborted) {
+            controller.abort(signal.reason);
+            return controller.signal;
+        }
+        signal.addEventListener("abort", () => controller.abort(signal.reason), {
+            once: true,
+        });
+    }
+    return controller.signal;
+}
+//# sourceMappingURL=operators.js.map