rhachet 1.1.0

package/dist/logic/weave/compose/GStitcherInferredFromCycle.generic.test.js

@@ -0,0 +1,132 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const test_fns_1 = require("test-fns");
+const genContextLogTrail_1 = require("../../../__test_assets__/genContextLogTrail");
+const genContextStitchTrail_1 = require("../../../__test_assets__/genContextStitchTrail");
+const StitchStep_1 = require("../../../domain/objects/StitchStep");
+const genThread_1 = require("../../thread/genThread");
+const asStitcher_1 = require("./asStitcher");
+const genStitchRoute_1 = require("./genStitchRoute");
+describe('GStitcherInferredFromCycle', () => {
+    (0, test_fns_1.given)('a single compute step as the repeatee', () => {
+        const repeatee = new StitchStep_1.StitchStepCompute({
+            slug: 'do-one-thing',
+            form: 'COMPUTE',
+            readme: null,
+            stitchee: 'main',
+            invoke: () => ({ input: null, output: 'done' }),
+        });
+        const decider = new StitchStep_1.StitchStepCompute({
+            slug: 'decide-again',
+            form: 'COMPUTE',
+            readme: null,
+            stitchee: 'main',
+            invoke: () => ({ input: null, output: { choice: 'release' } }),
+        });
+        (0, test_fns_1.then)('it should merge threads correctly', () => {
+            const threads = {
+                main: (0, genThread_1.genThread)({ role: 'main' }),
+            };
+            expect(threads);
+            const badThreads = {
+                // @ts-expect-error: extra thread
+                foo: (0, genThread_1.genThread)({ role: 'foo' }),
+            };
+            expect(badThreads);
+        });
+        (0, test_fns_1.then)('it should merge context from both steps', () => {
+            const context = {
+                foo: 123,
+                flag: true,
+                ...(0, genContextLogTrail_1.genContextLogTrail)(),
+                ...(0, genContextStitchTrail_1.genContextStitchTrail)(),
+            };
+            expect(context);
+            // @ts-expect-error: missing context key 'foo'
+            const invalid = {
+                flag: true,
+            };
+            expect(invalid);
+        });
+        (0, test_fns_1.then)('it should infer the output from repeatee', () => {
+            const result = 'done';
+            expect(result);
+            // @ts-expect-error: incorrect type
+            const invalid = 'not-done';
+            expect(invalid);
+        });
+    });
+    (0, test_fns_1.given)('a repeatee route and a decider', () => {
+        const stepA = new StitchStep_1.StitchStepCompute({
+            slug: 'step-a',
+            form: 'COMPUTE',
+            readme: null,
+            stitchee: 'main',
+            invoke: () => ({ input: null, output: 'A' }),
+        });
+        const stepB = new StitchStep_1.StitchStepCompute({
+            slug: 'step-b',
+            form: 'COMPUTE',
+            readme: null,
+            stitchee: 'main',
+            invoke: () => ({ input: null, output: 'B' }),
+        });
+        const repeatee = (0, asStitcher_1.asStitcher)((0, genStitchRoute_1.genStitchRoute)({
+            slug: 'route:combo',
+            readme: null,
+            sequence: [stepA, stepB],
+        }));
+        const decider = new StitchStep_1.StitchStepCompute({
+            slug: 'decide-loop',
+            form: 'COMPUTE',
+            readme: null,
+            stitchee: 'main',
+            invoke: () => ({
+                input: null,
+                output: { choice: 'release' },
+            }),
+        });
+        (0, test_fns_1.then)('it should merge threads correctly', () => {
+            const threads = {
+                main: (0, genThread_1.genThread)({ role: 'main' }),
+            };
+            expect(threads);
+            const badThreads = {
+                // @ts-expect-error: extra thread not allowed
+                foo: (0, genThread_1.genThread)({ role: 'foo' }),
+            };
+            expect(badThreads);
+        });
+        (0, test_fns_1.then)('it should merge context from both repeatee and decider', () => {
+            const context = {
+                a: 'alpha',
+                b: 123,
+                d: new Date(),
+                ...(0, genContextLogTrail_1.genContextLogTrail)(),
+                ...(0, genContextStitchTrail_1.genContextStitchTrail)(),
+            };
+            expect(context);
+            // @ts-expect-error: missing 'b'
+            const missingContext = {
+                a: 'alpha',
+                d: new Date(),
+            };
+            expect(missingContext);
+            const badContext = {
+                a: 'alpha',
+                b: 123,
+                // @ts-expect-error: wrong type for 'd'
+                d: 'not-a-date',
+            };
+            expect(badContext);
+        });
+        (0, test_fns_1.then)('it should infer output from repeatee', () => {
+            const output = 'B';
+            expect(output);
+            // @ts-expect-error: invalid output
+            const badOutput = 42;
+            expect(badOutput);
+        });
+    });
+});
+//# sourceMappingURL=GStitcherInferredFromCycle.generic.test.js.map

package/dist/logic/weave/compose/GStitcherInferredFromCycle.generic.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"GStitcherInferredFromCycle.generic.test.js","sourceRoot":"","sources":["../../../../src/logic/weave/compose/GStitcherInferredFromCycle.generic.test.ts"],"names":[],"mappings":";;AAAA,uCAAuC;AAGvC,oFAAiF;AACjF,0FAAuF;AAEvF,mEAAuE;AAGvE,sDAAmD;AAEnD,6CAA0C;AAC1C,qDAAkD;AAElD,QAAQ,CAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,gBAAK,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAClD,MAAM,QAAQ,GAAG,IAAI,8BAAiB,CAMpC;YACA,IAAI,EAAE,cAAc;YACpB,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,IAAI;YACZ,QAAQ,EAAE,MAAM;YAChB,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;SAChD,CAAC,CAAC;QAEH,MAAM,OAAO,GAAG,IAAI,8BAAiB,CAMnC;YACA,IAAI,EAAE,cAAc;YACpB,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,IAAI;YACZ,QAAQ,EAAE,MAAM;YAChB,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,CAAC;SAC/D,CAAC,CAAC;QAIH,IAAA,eAAI,EAAC,mCAAmC,EAAE,GAAG,EAAE;YAC7C,MAAM,OAAO,GAAwB;gBACnC,IAAI,EAAE,IAAA,qBAAS,EAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;aAClC,CAAC;YACF,MAAM,CAAC,OAAO,CAAC,CAAC;YAEhB,MAAM,UAAU,GAAwB;gBACtC,iCAAiC;gBACjC,GAAG,EAAE,IAAA,qBAAS,EAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;aAChC,CAAC;YACF,MAAM,CAAC,UAAU,CAAC,CAAC;QACrB,CAAC,CAAC,CAAC;QAEH,IAAA,eAAI,EAAC,yCAAyC,EAAE,GAAG,EAAE;YACnD,MAAM,OAAO,GAAwB;gBACnC,GAAG,EAAE,GAAG;gBACR,IAAI,EAAE,IAAI;gBACV,GAAG,IAAA,uCAAkB,GAAE;gBACvB,GAAG,IAAA,6CAAqB,GAAE;aAC3B,CAAC;YACF,MAAM,CAAC,OAAO,CAAC,CAAC;YAEhB,8CAA8C;YAC9C,MAAM,OAAO,GAAwB;gBACnC,IAAI,EAAE,IAAI;aACX,CAAC;YACF,MAAM,CAAC,OAAO,CAAC,CAAC;QAClB,CAAC,CAAC,CAAC;QAEH,IAAA,eAAI,EAAC,0CAA0C,EAAE,GAAG,EAAE;YACpD,MAAM,MAAM,GAAuB,MAAM,CAAC;YAC1C,MAAM,CAAC,MAAM,CAAC,CAAC;YAEf,mCAAmC;YACnC,MAAM,OAAO,GAAuB,UAAU,CAAC;YAC/C,MAAM,CAAC,OAAO,CAAC,CAAC;QAClB,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,gBAAK,EAAC,gCAAgC,EAAE,GAAG,EAAE;QAC3C,MAAM,KAAK,GAAG,IAAI,8BAAiB,CAMjC;YACA,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,IAAI;YACZ,QAAQ,EAAE,MAAM;YAChB,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;SAC7C,CAAC,CAAC;QAEH,MAAM,KAAK,GAAG,IAAI,8BAAiB,CAMjC;YACA,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,IAAI;YACZ,QAAQ,EAAE,MAAM;YAChB,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;SAC7C,CAAC,CAAC;QAEH,MAAM,QAAQ,GAAG,IAAA,uBAAU,EACzB,IAAA,+BAAc,EAAC;YACb,IAAI,EAAE,aAAa;YACnB,MAAM,EAAE,IAAI;YACZ,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC;SACzB,CAAC,CACH,CAAC;QAEF,MAAM,OAAO,GAAG,IAAI,8BAAiB,CAMnC;YACA,IAAI,EAAE,aAAa;YACnB,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,IAAI;YACZ,QAAQ,EAAE,MAAM;YAChB,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;gBACb,KAAK,EAAE,IAAI;gBACX,MAAM,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE;aAC9B,CAAC;SACH,CAAC,CAAC;QAIH,IAAA,eAAI,EAAC,mCAAmC,EAAE,GAAG,EAAE;YAC7C,MAAM,OAAO,GAAwB;gBACnC,IAAI,EAAE,IAAA,qBAAS,EAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;aAClC,CAAC;YACF,MAAM,CAAC,OAAO,CAAC,CAAC;YAEhB,MAAM,UAAU,GAAwB;gBACtC,6CAA6C;gBAC7C,GAAG,EAAE,IAAA,qBAAS,EAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;aAChC,CAAC;YACF,MAAM,CAAC,UAAU,CAAC,CAAC;QACrB,CAAC,CAAC,CAAC;QAEH,IAAA,eAAI,EAAC,wDAAwD,EAAE,GAAG,EAAE;YAClE,MAAM,OAAO,GAAwB;gBACnC,CAAC,EAAE,OAAO;gBACV,CAAC,EAAE,GAAG;gBACN,CAAC,EAAE,IAAI,IAAI,EAAE;gBACb,GAAG,IAAA,uCAAkB,GAAE;gBACvB,GAAG,IAAA,6CAAqB,GAAE;aAC3B,CAAC;YACF,MAAM,CAAC,OAAO,CAAC,CAAC;YAEhB,gCAAgC;YAChC,MAAM,cAAc,GAAwB;gBAC1C,CAAC,EAAE,OAAO;gBACV,CAAC,EAAE,IAAI,IAAI,EAAE;aACd,CAAC;YACF,MAAM,CAAC,cAAc,CAAC,CAAC;YAEvB,MAAM,UAAU,GAAwB;gBACtC,CAAC,EAAE,OAAO;gBACV,CAAC,EAAE,GAAG;gBACN,uCAAuC;gBACvC,CAAC,EAAE,YAAY;aAChB,CAAC;YACF,MAAM,CAAC,UAAU,CAAC,CAAC;QACrB,CAAC,CAAC,CAAC;QAEH,IAAA,eAAI,EAAC,sCAAsC,EAAE,GAAG,EAAE;YAChD,MAAM,MAAM,GAAuB,GAAG,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC;YAEf,mCAAmC;YACnC,MAAM,SAAS,GAAuB,EAAE,CAAC;YACzC,MAAM,CAAC,SAAS,CAAC,CAAC;QACpB,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/logic/weave/compose/GStitcherInferredFromFanout.generic.d.ts

@@ -0,0 +1,23 @@
+import { ThreadsFromFanout } from '../../../domain/objects/StitchFanout';
+import { StitchStep } from '../../../domain/objects/StitchStep';
+import { GStitcher, Stitcher } from '../../../domain/objects/Stitcher';
+import { GStitcherInferredFromRoute } from './GStitcherInferredFromRoute.generic';
+import { ProcedureContextMerged, ProcedureContextSpread } from './ProcedureContextMerged.generic';
+import { ThreadsMerged } from './ThreadsMerged.generic';
+/**
+ * .what = a mech to infer a GStitcher from a StitchFanout setup
+ *   - i.e., infers the composite stitcher for StitchFanout
+ * .how =
+ *   - merges the required threads from all parallels
+ *   - merges the required procedure.context into a superset
+ *   - uses the concluder's output as the final output
+ * .note =
+ *   - parallels must be typed as const
+ *   - concluder must accept ThreadsFromFanout
+ */
+export type GStitcherInferredFromFanout<TParallels extends readonly [Stitcher<GStitcher>, ...Stitcher<GStitcher>[]], TConcluder extends StitchStep<GStitcher<ThreadsFromFanout<GStitcherInferredFromRoute<TParallels>>, any, any>>> = GStitcher<ThreadsMerged<{
+    [K in keyof TParallels]: TParallels[K] extends Stitcher<infer G> ? G['threads'] : never;
+}>, ProcedureContextMerged<[
+    TConcluder extends Stitcher<infer G> ? G['context'] : never,
+    ...ProcedureContextSpread<TParallels>
+]> & GStitcher['context'], TConcluder extends StitchStep<infer G> ? G['output'] : never>;

package/dist/logic/weave/compose/GStitcherInferredFromFanout.generic.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=GStitcherInferredFromFanout.generic.js.map

package/dist/logic/weave/compose/GStitcherInferredFromFanout.generic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"GStitcherInferredFromFanout.generic.js","sourceRoot":"","sources":["../../../../src/logic/weave/compose/GStitcherInferredFromFanout.generic.ts"],"names":[],"mappings":""}

package/dist/logic/weave/compose/GStitcherInferredFromFanout.generic.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/logic/weave/compose/GStitcherInferredFromFanout.generic.test.js

@@ -0,0 +1,74 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const test_fns_1 = require("test-fns");
+const genContextLogTrail_1 = require("../../../__test_assets__/genContextLogTrail");
+const genContextStitchTrail_1 = require("../../../__test_assets__/genContextStitchTrail");
+const StitchStep_1 = require("../../../domain/objects/StitchStep");
+const genThread_1 = require("../../thread/genThread");
+const stitcherComputeRandom = new StitchStep_1.StitchStepCompute({
+    slug: `compute-random`,
+    form: 'COMPUTE',
+    readme: null,
+    stitchee: 'main',
+    invoke: () => ({
+        input: null,
+        output: Math.floor(Math.random() * 100),
+    }),
+});
+const stitcherAddAll = new StitchStep_1.StitchStepCompute({
+    slug: 'sum-up',
+    form: 'COMPUTE',
+    readme: null,
+    stitchee: 'main',
+    invoke: ({ threads }) => {
+        const numbers = threads.main.peers.map((t) => {
+            const last = t.stitches.at(-1);
+            if (!last)
+                throw new Error('Missing stitch on thread');
+            return last.output;
+        });
+        const sum = numbers.reduce((a, b) => a + b, 0);
+        return {
+            input: numbers,
+            output: sum,
+        };
+    },
+});
+describe('GStitcherInferredFromFanout', () => {
+    (0, test_fns_1.given)('two parallel single-threaded compute steps', () => {
+        const parallels = [stitcherComputeRandom, stitcherComputeRandom];
+        const concluder = stitcherAddAll;
+        (0, test_fns_1.then)('it should merge the thread maps and infer the output from the concluder', () => {
+            // prove can assign to threads
+            const threads = {
+                main: (0, genThread_1.genThread)({ role: 'main' }),
+            };
+            expect(threads);
+            const context = {
+                ...(0, genContextLogTrail_1.genContextLogTrail)(),
+                ...(0, genContextStitchTrail_1.genContextStitchTrail)(),
+            };
+            expect(context);
+            const output = 42;
+            expect(typeof output).toBe('number');
+        });
+        (0, test_fns_1.then)('it should error if threads has unknown keys', () => {
+            const badThreads = {
+                // @ts-expect-error unknown thread key "notreal"
+                notreal: (0, genThread_1.genThread)({ role: 'notreal' }),
+            };
+            expect(badThreads);
+        });
+        (0, test_fns_1.then)('it should error if context is missing required fields', () => {
+            // @ts-expect-error missing ContextLogTrail + ContextStitchTrail
+            const badContext = {};
+            expect(badContext);
+        });
+        (0, test_fns_1.then)('it should error if output is not a number', () => {
+            // @ts-expect-error string is not assignable to number
+            const badOutput = 'not-a-number';
+            expect(badOutput);
+        });
+    });
+});
+//# sourceMappingURL=GStitcherInferredFromFanout.generic.test.js.map

package/dist/logic/weave/compose/GStitcherInferredFromFanout.generic.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"GStitcherInferredFromFanout.generic.test.js","sourceRoot":"","sources":["../../../../src/logic/weave/compose/GStitcherInferredFromFanout.generic.test.ts"],"names":[],"mappings":";;AAAA,uCAAuC;AAGvC,oFAAiF;AACjF,0FAAuF;AAEvF,mEAAuE;AAGvE,sDAAmD;AAGnD,MAAM,qBAAqB,GAAG,IAAI,8BAAiB,CAEjD;IACA,IAAI,EAAE,gBAAgB;IACtB,IAAI,EAAE,SAAS;IACf,MAAM,EAAE,IAAI;IACZ,QAAQ,EAAE,MAAM;IAChB,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QACb,KAAK,EAAE,IAAI;QACX,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,GAAG,CAAC;KACxC,CAAC;CACH,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG,IAAI,8BAAiB,CAE1C;IACA,IAAI,EAAE,QAAQ;IACd,IAAI,EAAE,SAAS;IACf,MAAM,EAAE,IAAI;IACZ,QAAQ,EAAE,MAAM;IAChB,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE;QACtB,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAC3C,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/B,IAAI,CAAC,IAAI;gBAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;YACvD,OAAO,IAAI,CAAC,MAAgB,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAE/C,OAAO;YACL,KAAK,EAAE,OAAO;YACd,MAAM,EAAE,GAAG;SACZ,CAAC;IACJ,CAAC;CACF,CAAC,CAAC;AAEH,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,gBAAK,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACvD,MAAM,SAAS,GAAG,CAAC,qBAAqB,EAAE,qBAAqB,CAAU,CAAC;QAC1E,MAAM,SAAS,GAAG,cAAc,CAAC;QAOjC,IAAA,eAAI,EACF,yEAAyE,EACzE,GAAG,EAAE;YACH,8BAA8B;YAC9B,MAAM,OAAO,GAAwB;gBACnC,IAAI,EAAE,IAAA,qBAAS,EAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;aAClC,CAAC;YACF,MAAM,CAAC,OAAO,CAAC,CAAC;YAEhB,MAAM,OAAO,GAAwB;gBACnC,GAAG,IAAA,uCAAkB,GAAE;gBACvB,GAAG,IAAA,6CAAqB,GAAE;aAC3B,CAAC;YACF,MAAM,CAAC,OAAO,CAAC,CAAC;YAEhB,MAAM,MAAM,GAAuB,EAAE,CAAC;YACtC,MAAM,CAAC,OAAO,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACvC,CAAC,CACF,CAAC;QAEF,IAAA,eAAI,EAAC,6CAA6C,EAAE,GAAG,EAAE;YACvD,MAAM,UAAU,GAAwB;gBACtC,gDAAgD;gBAChD,OAAO,EAAE,IAAA,qBAAS,EAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;aACxC,CAAC;YACF,MAAM,CAAC,UAAU,CAAC,CAAC;QACrB,CAAC,CAAC,CAAC;QAEH,IAAA,eAAI,EAAC,uDAAuD,EAAE,GAAG,EAAE;YACjE,gEAAgE;YAChE,MAAM,UAAU,GAAwB,EAAE,CAAC;YAC3C,MAAM,CAAC,UAAU,CAAC,CAAC;QACrB,CAAC,CAAC,CAAC;QAEH,IAAA,eAAI,EAAC,2CAA2C,EAAE,GAAG,EAAE;YACrD,sDAAsD;YACtD,MAAM,SAAS,GAAuB,cAAc,CAAC;YACrD,MAAM,CAAC,SAAS,CAAC,CAAC;QACpB,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/logic/weave/compose/GStitcherInferredFromRoute.generic.d.ts

@@ -0,0 +1,24 @@
+import { GStitcher, Stitcher } from '../../../domain/objects/Stitcher';
+import { Threads } from '../../../domain/objects/Threads';
+import { ProcedureContextMerged } from './ProcedureContextMerged.generic';
+import { ThreadsMerged } from './ThreadsMerged.generic';
+type Last<T extends readonly any[]> = T extends readonly [...any[], infer L] ? L : never;
+/**
+ * .what = a mech to infer a GStitcher from a StitchRoute.Sequence
+ *   - i.e., infers the composite stitcher
+ * .how =
+ *   - merges the required threads into a superset
+ *   - merges the required procedure.context into a superset
+ *   - picks the last output as the overall output
+ * .note =
+ *   - requires an [...stitchers,] as const input, to ensure type propagation safely (fails fast to prevent type info loss)
+ */
+export type GStitcherInferredFromRoute<TSequence extends readonly [
+    Stitcher<GStitcher<Threads<any, 'single'>, any, any>>,
+    ...Stitcher<GStitcher<Threads<any, 'single'>, any, any>>[]
+]> = GStitcher<ThreadsMerged<{
+    [K in keyof TSequence]: TSequence[K] extends Stitcher<infer G> ? G['threads'] : never;
+}>, ProcedureContextMerged<{
+    [K in keyof TSequence]: TSequence[K] extends Stitcher<infer G> ? G['context'] : never;
+}> & GStitcher['context'], Last<TSequence> extends Stitcher<infer G> ? G['output'] : never>;
+export {};

package/dist/logic/weave/compose/GStitcherInferredFromRoute.generic.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=GStitcherInferredFromRoute.generic.js.map

package/dist/logic/weave/compose/GStitcherInferredFromRoute.generic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"GStitcherInferredFromRoute.generic.js","sourceRoot":"","sources":["../../../../src/logic/weave/compose/GStitcherInferredFromRoute.generic.ts"],"names":[],"mappings":""}

package/dist/logic/weave/compose/GStitcherInferredFromRoute.generic.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/logic/weave/compose/GStitcherInferredFromRoute.generic.test.js

@@ -0,0 +1,190 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const uni_time_1 = require("@ehmpathy/uni-time");
+const helpful_errors_1 = require("helpful-errors");
+const test_fns_1 = require("test-fns");
+const genContextLogTrail_1 = require("../../../__test_assets__/genContextLogTrail");
+const genContextStitchTrail_1 = require("../../../__test_assets__/genContextStitchTrail");
+const StitchStep_1 = require("../../../domain/objects/StitchStep");
+const Thread_1 = require("../../../domain/objects/Thread");
+describe('GStitcherInferredFromRoute', () => {
+    const exampleContext = {
+        ...(0, genContextLogTrail_1.genContextLogTrail)(),
+        ...(0, genContextStitchTrail_1.genContextStitchTrail)(),
+    };
+    const stitcherGetTime = new StitchStep_1.StitchStepCompute({
+        form: 'COMPUTE',
+        readme: null,
+        slug: 'get-time',
+        stitchee: 'main',
+        invoke: () => ({ input: null, output: (0, uni_time_1.asUniDateTime)(new Date()) }),
+    });
+    const stitcherAddHours = new StitchStep_1.StitchStepCompute({
+        form: 'COMPUTE',
+        readme: null,
+        slug: 'add-time',
+        stitchee: 'main',
+        invoke: ({ threads }) => {
+            const lastStitch = threads.main.stitches.slice(-1)[0] ??
+                helpful_errors_1.UnexpectedCodePathError.throw('no stitches found on main thread yet.', {
+                    threads,
+                });
+            return {
+                input: lastStitch.output,
+                output: (0, uni_time_1.addDuration)(uni_time_1.isUniDateTime.assure(lastStitch.output), {
+                    hours: 1,
+                }),
+            };
+        },
+    });
+    (0, test_fns_1.given)('a sequence of stitchers declared not readonly', () => {
+        const sequence = [stitcherGetTime, stitcherAddHours];
+        (0, test_fns_1.then)('there should be a type error at usage, as we enforce readonly consts to maximize type inference, and fail fast when omitted', () => {
+            expect(true); // just to satisfy the linter of unused type
+        });
+    });
+    (0, test_fns_1.given)('a sequence of two compatible stitchers on the same thread', () => {
+        const sequence = [stitcherGetTime, stitcherAddHours];
+        (0, test_fns_1.then)('procedure context should be assignable', () => {
+            const assertContext = { ...exampleContext };
+            expect(assertContext);
+        });
+        (0, test_fns_1.then)('expected threads should be assignable', () => {
+            const threadsExpected = {
+                main: new Thread_1.Thread({ context: { role: 'main' }, stitches: [] }),
+            };
+            const threadsInferred = threadsExpected;
+            expect(threadsInferred);
+        });
+        (0, test_fns_1.then)('output should match expected shape', () => {
+            // positive case
+            const assertOutput = (0, uni_time_1.asUniDateTime)(new Date());
+            expect(assertOutput);
+            // negative case
+            // @ts-expect-error: number is not assignable to UniDateTime
+            const expectError = 821;
+            expect(expectError);
+        });
+        (0, test_fns_1.then)('extra thread SHOULD be assignable', { because: 'all of the required threads are still available' }, () => {
+            const threadsExpected = {
+                main: new Thread_1.Thread({ context: { role: 'main' }, stitches: [] }),
+                extra: new Thread_1.Thread({ context: { role: 'extra' }, stitches: [] }),
+            };
+            const threadsInferred = threadsExpected;
+            expect(threadsInferred);
+        });
+        (0, test_fns_1.then)('missing required thread should not be assignable', () => {
+            const threadsExpected = {
+                extra: new Thread_1.Thread({ context: { role: 'extra' }, stitches: [] }),
+            };
+            // @ts-expect-error: Property 'main' is missing in type 'Threads<{ extra: Empty; }>' but required in type 'ThreadsMerged<Threads<{ main: Empty; }>[]>'.ts(2741)
+            const threadsInferred = threadsExpected;
+            expect(threadsInferred);
+        });
+        (0, test_fns_1.then)('thread with extra context shape SHOULD be assignable', () => {
+            const threadsExpected = {
+                main: new Thread_1.Thread({
+                    context: { role: 'main', foo: 'unexpected' },
+                    stitches: [],
+                }),
+            };
+            const threadsInferred = threadsExpected;
+            expect(threadsInferred);
+        });
+    });
+    (0, test_fns_1.given)('a sequence of stitchers with different thread roles or output', () => {
+        const stitcherWithClock = new StitchStep_1.StitchStepCompute({
+            form: 'COMPUTE',
+            readme: null,
+            slug: 'with-clock',
+            stitchee: 'clock',
+            invoke: () => ({ input: null, output: (0, uni_time_1.asUniDateTime)(new Date()) }),
+        });
+        const sequence = [stitcherGetTime, stitcherWithClock];
+        (0, test_fns_1.then)('GStitcherInferred merges thread roles', () => {
+            const keys = ['main', 'clock'];
+            expect(keys).toEqual(expect.arrayContaining(['main', 'clock']));
+        });
+    });
+    (0, test_fns_1.given)('a custom context', () => {
+        (0, test_fns_1.when)('use any stitcher', () => {
+            (0, test_fns_1.then)('when only one context is defined, it should infer that context', () => {
+                const context = { foo: 123, ...exampleContext };
+                expect(context.foo).toBe(123);
+                // @ts-expect-error: 'bob' does not exist in type '{ foo: number; log: LogMethods
+                const contextFail = { bob: 123 };
+                expect(contextFail);
+            });
+        });
+        (0, test_fns_1.when)('use a compute step ', () => {
+            (0, test_fns_1.then)('when only one context is defined, it should infer that context', () => {
+                const context = { foo: 123, ...exampleContext };
+                expect(context.foo).toBe(123);
+                // @ts-expect-error: 'bob' does not exist in type '{ foo: number; log: LogMethods
+                const contextFail = { bob: 123 };
+                expect(contextFail);
+            });
+        });
+    });
+    (0, test_fns_1.given)('a sequence of stitchers with varied procedure.contexts', () => {
+        const stitcherWithEmptyContext = new StitchStep_1.StitchStepCompute({
+            form: 'COMPUTE',
+            readme: null,
+            slug: 'slug',
+            stitchee: 'one',
+            invoke: () => ({ input: null, output: (0, uni_time_1.asUniDateTime)(new Date()) }),
+        });
+        const stitcherWithFooContext = new StitchStep_1.StitchStepCompute({
+            form: 'COMPUTE',
+            readme: null,
+            slug: 'slug',
+            stitchee: 'two',
+            invoke: () => ({ input: null, output: (0, uni_time_1.asUniDateTime)(new Date()) }),
+        });
+        (0, test_fns_1.then)('when only one context is defined, it should infer that context', () => {
+            const sequence = [stitcherWithFooContext];
+            const context = { foo: 123, ...exampleContext };
+            expect(context.foo).toBe(123);
+            // @ts-expect-error: 'bob' does not exist in type '{ foo: number;
+            const failure = { bob: 123, ...exampleContext };
+            expect(failure);
+        });
+        const stitcherWithBarContext = new StitchStep_1.StitchStepCompute({
+            form: 'COMPUTE',
+            readme: null,
+            slug: 'slug',
+            stitchee: 'three',
+            invoke: () => ({ input: null, output: (0, uni_time_1.asUniDateTime)(new Date()) }),
+        });
+        (0, test_fns_1.then)('when multiple contexts are defined, it should merge them', () => {
+            const sequence = [
+                stitcherWithFooContext,
+                stitcherWithBarContext,
+            ];
+            const context = {
+                foo: 123,
+                bar: 'hello',
+                ...exampleContext,
+            };
+            expect(context.foo).toBe(123);
+            expect(context.bar).toBe('hello');
+        });
+        (0, test_fns_1.then)('when all contexts are Empty, result should be Empty', () => {
+            const sequence = [stitcherWithEmptyContext];
+            const context = { ...exampleContext };
+            expect(context);
+        });
+        (0, test_fns_1.then)('when mix of Empty and defined, it should merge correctly', () => {
+            const sequence = [
+                stitcherWithEmptyContext,
+                stitcherWithBarContext,
+            ];
+            const context = {
+                bar: 'hello',
+                ...exampleContext,
+            };
+            expect(context.bar).toBe('hello');
+        });
+    });
+});
+//# sourceMappingURL=GStitcherInferredFromRoute.generic.test.js.map

package/dist/logic/weave/compose/GStitcherInferredFromRoute.generic.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"GStitcherInferredFromRoute.generic.test.js","sourceRoot":"","sources":["../../../../src/logic/weave/compose/GStitcherInferredFromRoute.generic.test.ts"],"names":[],"mappings":";;AAAA,iDAK4B;AAE5B,mDAAyD;AACzD,uCAA6C;AAG7C,oFAAiF;AACjF,0FAAuF;AAEvF,mEAAuE;AAEvE,2DAAwD;AAKxD,QAAQ,CAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,MAAM,cAAc,GAAG;QACrB,GAAG,IAAA,uCAAkB,GAAE;QACvB,GAAG,IAAA,6CAAqB,GAAE;KAC3B,CAAC;IAEF,MAAM,eAAe,GAAG,IAAI,8BAAiB,CAE3C;QACA,IAAI,EAAE,SAAS;QACf,MAAM,EAAE,IAAI;QACZ,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE,MAAM;QAChB,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAA,wBAAa,EAAC,IAAI,IAAI,EAAE,CAAC,EAAE,CAAC;KACnE,CAAC,CAAC;IAEH,MAAM,gBAAgB,GAAG,IAAI,8BAAiB,CAE5C;QACA,IAAI,EAAE,SAAS;QACf,MAAM,EAAE,IAAI;QACZ,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE,MAAM;QAChB,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE;YACtB,MAAM,UAAU,GACd,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAClC,wCAAuB,CAAC,KAAK,CAAC,uCAAuC,EAAE;oBACrE,OAAO;iBACR,CAAC,CAAC;YACL,OAAO;gBACL,KAAK,EAAE,UAAU,CAAC,MAAM;gBACxB,MAAM,EAAE,IAAA,sBAAW,EAAC,wBAAa,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE;oBAC3D,KAAK,EAAE,CAAC;iBACT,CAAC;aACH,CAAC;QACJ,CAAC;KACF,CAAC,CAAC;IAEH,IAAA,gBAAK,EAAC,+CAA+C,EAAE,GAAG,EAAE;QAC1D,MAAM,QAAQ,GAAG,CAAC,eAAe,EAAE,gBAAgB,CAAC,CAAC;QAErD,IAAA,eAAI,EACF,6HAA6H,EAC7H,GAAG,EAAE;YAGH,MAAM,CAAC,IAAuB,CAAC,CAAC,CAAC,4CAA4C;QAC/E,CAAC,CACF,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAA,gBAAK,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACtE,MAAM,QAAQ,GAAG,CAAC,eAAe,EAAE,gBAAgB,CAAU,CAAC;QAG9D,IAAA,eAAI,EAAC,wCAAwC,EAAE,GAAG,EAAE;YAClD,MAAM,aAAa,GAAwB,EAAE,GAAG,cAAc,EAAE,CAAC;YACjE,MAAM,CAAC,aAAa,CAAC,CAAC;QACxB,CAAC,CAAC,CAAC;QAEH,IAAA,eAAI,EAAC,uCAAuC,EAAE,GAAG,EAAE;YACjD,MAAM,eAAe,GAA6B;gBAChD,IAAI,EAAE,IAAI,eAAM,CAAC,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;aAC9D,CAAC;YACF,MAAM,eAAe,GAAwB,eAAe,CAAC;YAC7D,MAAM,CAAC,eAAe,CAAC,CAAC;QAC1B,CAAC,CAAC,CAAC;QAEH,IAAA,eAAI,EAAC,oCAAoC,EAAE,GAAG,EAAE;YAC9C,gBAAgB;YAChB,MAAM,YAAY,GAAuB,IAAA,wBAAa,EAAC,IAAI,IAAI,EAAE,CAAC,CAAC;YACnE,MAAM,CAAC,YAAY,CAAC,CAAC;YAErB,gBAAgB;YAChB,4DAA4D;YAC5D,MAAM,WAAW,GAAuB,GAAG,CAAC;YAC5C,MAAM,CAAC,WAAW,CAAC,CAAC;QACtB,CAAC,CAAC,CAAC;QAEH,IAAA,eAAI,EACF,mCAAmC,EACnC,EAAE,OAAO,EAAE,iDAAiD,EAAE,EAC9D,GAAG,EAAE;YACH,MAAM,eAAe,GAA2C;gBAC9D,IAAI,EAAE,IAAI,eAAM,CAAC,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;gBAC7D,KAAK,EAAE,IAAI,eAAM,CAAC,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;aAChE,CAAC;YACF,MAAM,eAAe,GAAwB,eAAe,CAAC;YAC7D,MAAM,CAAC,eAAe,CAAC,CAAC;QAC1B,CAAC,CACF,CAAC;QAEF,IAAA,eAAI,EAAC,kDAAkD,EAAE,GAAG,EAAE;YAC5D,MAAM,eAAe,GAA8B;gBACjD,KAAK,EAAE,IAAI,eAAM,CAAC,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;aAChE,CAAC;YAEF,+JAA+J;YAC/J,MAAM,eAAe,GAAwB,eAAe,CAAC;YAC7D,MAAM,CAAC,eAAe,CAAC,CAAC;QAC1B,CAAC,CAAC,CAAC;QAEH,IAAA,eAAI,EAAC,sDAAsD,EAAE,GAAG,EAAE;YAChE,MAAM,eAAe,GAAuC;gBAC1D,IAAI,EAAE,IAAI,eAAM,CAAC;oBACf,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,YAAY,EAAE;oBAC5C,QAAQ,EAAE,EAAE;iBACb,CAAC;aACH,CAAC;YAEF,MAAM,eAAe,GAAwB,eAAe,CAAC;YAC7D,MAAM,CAAC,eAAe,CAAC,CAAC;QAC1B,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,gBAAK,EAAC,+DAA+D,EAAE,GAAG,EAAE;QAC1E,MAAM,iBAAiB,GAAG,IAAI,8BAAiB,CAE7C;YACA,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,IAAI;YACZ,IAAI,EAAE,YAAY;YAClB,QAAQ,EAAE,OAAO;YACjB,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAA,wBAAa,EAAC,IAAI,IAAI,EAAE,CAAC,EAAE,CAAC;SACnE,CAAC,CAAC;QAEH,MAAM,QAAQ,GAAG,CAAC,eAAe,EAAE,iBAAiB,CAAU,CAAC;QAE/D,IAAA,eAAI,EAAC,uCAAuC,EAAE,GAAG,EAAE;YAGjD,MAAM,IAAI,GAAkC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YAC9D,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;QAClE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,gBAAK,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC7B,IAAA,eAAI,EAAC,kBAAkB,EAAE,GAAG,EAAE;YAS5B,IAAA,eAAI,EACF,gEAAgE,EAChE,GAAG,EAAE;gBAKH,MAAM,OAAO,GAAwB,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,cAAc,EAAE,CAAC;gBACrE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAE9B,iFAAiF;gBACjF,MAAM,WAAW,GAAwB,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;gBACtD,MAAM,CAAC,WAAW,CAAC,CAAC;YACtB,CAAC,CACF,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAA,eAAI,EAAC,qBAAqB,EAAE,GAAG,EAAE;YAS/B,IAAA,eAAI,EACF,gEAAgE,EAChE,GAAG,EAAE;gBAKH,MAAM,OAAO,GAAwB,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,cAAc,EAAE,CAAC;gBACrE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAE9B,iFAAiF;gBACjF,MAAM,WAAW,GAAwB,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;gBACtD,MAAM,CAAC,WAAW,CAAC,CAAC;YACtB,CAAC,CACF,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,gBAAK,EAAC,wDAAwD,EAAE,GAAG,EAAE;QACnE,MAAM,wBAAwB,GAAG,IAAI,8BAAiB,CAEpD;YACA,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,IAAI;YACZ,IAAI,EAAE,MAAM;YACZ,QAAQ,EAAE,KAAK;YACf,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAA,wBAAa,EAAC,IAAI,IAAI,EAAE,CAAC,EAAE,CAAC;SACnE,CAAC,CAAC;QAEH,MAAM,sBAAsB,GAAG,IAAI,8BAAiB,CAMlD;YACA,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,IAAI;YACZ,IAAI,EAAE,MAAM;YACZ,QAAQ,EAAE,KAAK;YACf,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAA,wBAAa,EAAC,IAAI,IAAI,EAAE,CAAC,EAAE,CAAC;SACnE,CAAC,CAAC;QAEH,IAAA,eAAI,EACF,gEAAgE,EAChE,GAAG,EAAE;YACH,MAAM,QAAQ,GAAG,CAAC,sBAAsB,CAAU,CAAC;YAGnD,MAAM,OAAO,GAAwB,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,cAAc,EAAE,CAAC;YACrE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAE9B,iEAAiE;YACjE,MAAM,OAAO,GAAwB,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,cAAc,EAAE,CAAC;YACrE,MAAM,CAAC,OAAO,CAAC,CAAC;QAClB,CAAC,CACF,CAAC;QAEF,MAAM,sBAAsB,GAAG,IAAI,8BAAiB,CAMlD;YACA,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,IAAI;YACZ,IAAI,EAAE,MAAM;YACZ,QAAQ,EAAE,OAAO;YACjB,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAA,wBAAa,EAAC,IAAI,IAAI,EAAE,CAAC,EAAE,CAAC;SACnE,CAAC,CAAC;QACH,IAAA,eAAI,EAAC,0DAA0D,EAAE,GAAG,EAAE;YACpE,MAAM,QAAQ,GAAG;gBACf,sBAAsB;gBACtB,sBAAsB;aACd,CAAC;YAGX,MAAM,OAAO,GAAwB;gBACnC,GAAG,EAAE,GAAG;gBACR,GAAG,EAAE,OAAO;gBACZ,GAAG,cAAc;aAClB,CAAC;YACF,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC9B,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,CAAC,CAAC,CAAC;QAEH,IAAA,eAAI,EAAC,qDAAqD,EAAE,GAAG,EAAE;YAC/D,MAAM,QAAQ,GAAG,CAAC,wBAAwB,CAAU,CAAC;YAGrD,MAAM,OAAO,GAAwB,EAAE,GAAG,cAAc,EAAE,CAAC;YAC3D,MAAM,CAAC,OAAO,CAAC,CAAC;QAClB,CAAC,CAAC,CAAC;QAEH,IAAA,eAAI,EAAC,0DAA0D,EAAE,GAAG,EAAE;YACpE,MAAM,QAAQ,GAAG;gBACf,wBAAwB;gBACxB,sBAAsB;aACd,CAAC;YAGX,MAAM,OAAO,GAAwB;gBACnC,GAAG,EAAE,OAAO;gBACZ,GAAG,cAAc;aAClB,CAAC;YACF,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/logic/weave/compose/ProcedureContextMerged.generic.d.ts

@@ -0,0 +1,36 @@
+import { GStitcher, Stitcher } from '../../../domain/objects/Stitcher';
+/**
+ * .what = transforms a union into an intersection of its members
+ * .why = needed to merge multiple object types into one composite type (e.g. { foo } | { bar } → { foo } & { bar })
+ */
+type UnionToIntersection<U> = (U extends any ? (k: U) => void : never) extends (k: infer I) => void ? I : never;
+/**
+ * .what = merges a tuple of object types into one composite object type
+ * .why = uses `UnionToIntersection` to combine all tuple elements, then removes any leftover index signatures (e.g. from `Record<string, never>`)
+ */
+type MergeUnion<T extends readonly any[]> = UnionToIntersection<T[number]> extends infer I ? {
+    [K in keyof I]: I[K];
+} : never;
+/**
+ * .what = semantic alias for any object type used as a procedure context
+ * .why = improves readability and conveys the intent of "context-like" shape
+ */
+type ProcedureContext<T extends GStitcher['context']> = T;
+/**
+ * .what = merges a readonly tuple of one or more procedure contexts into a single composite context
+ * .why = used to infer the combined required context from a sequence of stitchers
+ */
+export type ProcedureContextMerged<TList extends readonly [ProcedureContext<any>, ...ProcedureContext<any>[]]> = MergeUnion<TList>;
+/**
+ * .what = enables [...spread, plus] composition of context tuple, pre merge
+ */
+export type ProcedureContextSpread<T extends readonly [Stitcher<GStitcher>, ...Stitcher<GStitcher>[]]> = T extends readonly [
+    infer A extends Stitcher<GStitcher>,
+    ...infer R extends Stitcher<GStitcher>[]
+] ? [
+    A extends Stitcher<infer GA> ? GA['context'] : never,
+    ...{
+        [K in keyof R]: R[K] extends Stitcher<infer GR> ? GR['context'] : never;
+    }
+] : never;
+export {};

package/dist/logic/weave/compose/ProcedureContextMerged.generic.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=ProcedureContextMerged.generic.js.map

package/dist/logic/weave/compose/ProcedureContextMerged.generic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ProcedureContextMerged.generic.js","sourceRoot":"","sources":["../../../../src/logic/weave/compose/ProcedureContextMerged.generic.ts"],"names":[],"mappings":""}

package/dist/logic/weave/compose/ProcedureContextMerged.generic.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/logic/weave/compose/ProcedureContextMerged.generic.test.js

@@ -0,0 +1,29 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const test_fns_1 = require("test-fns");
+describe('ProcedureContextMerged', () => {
+    (0, test_fns_1.given)('a tuple with only one context', () => {
+        (0, test_fns_1.then)('it should infer that context directly', () => {
+            const context = { foo: 123 };
+            expect(context.foo).toBe(123);
+        });
+    });
+    (0, test_fns_1.given)('a tuple with multiple contexts', () => {
+        (0, test_fns_1.then)('it should merge them into one', () => {
+            const context = { foo: 1, bar: 'hello' };
+            expect(context.foo).toBe(1);
+            expect(context.bar).toBe('hello');
+        });
+    });
+    (0, test_fns_1.given)('a tuple with overlapping keys', () => {
+        (0, test_fns_1.then)('the intersection should be used (number & string = never)', () => {
+            // @ts-expect-error: 'foo' cannot be both number and string
+            const context = { foo: 123 };
+            expect(context);
+        });
+    });
+    (0, test_fns_1.given)('an input that is not a tuple of at least one context', () => {
+        expect(true);
+    });
+});
+//# sourceMappingURL=ProcedureContextMerged.generic.test.js.map

package/dist/logic/weave/compose/ProcedureContextMerged.generic.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ProcedureContextMerged.generic.test.js","sourceRoot":"","sources":["../../../../src/logic/weave/compose/ProcedureContextMerged.generic.test.ts"],"names":[],"mappings":";;AAAA,uCAAuC;AAIvC,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,IAAA,gBAAK,EAAC,+BAA+B,EAAE,GAAG,EAAE;QAG1C,IAAA,eAAI,EAAC,uCAAuC,EAAE,GAAG,EAAE;YACjD,MAAM,OAAO,GAAW,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;YACrC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,gBAAK,EAAC,gCAAgC,EAAE,GAAG,EAAE;QAK3C,IAAA,eAAI,EAAC,+BAA+B,EAAE,GAAG,EAAE;YACzC,MAAM,OAAO,GAAW,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;YACjD,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC5B,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,gBAAK,EAAC,+BAA+B,EAAE,GAAG,EAAE;QAK1C,IAAA,eAAI,EAAC,2DAA2D,EAAE,GAAG,EAAE;YACrE,2DAA2D;YAC3D,MAAM,OAAO,GAAW,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;YACrC,MAAM,CAAC,OAAO,CAAC,CAAC;QAClB,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,gBAAK,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAGjE,MAAM,CAAC,IAAsB,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}