@toolproof-core/lib 1.0.4 → 1.0.5

package/dist/shared.d.ts

@@ -0,0 +1,33 @@
+import type { CreationContextJson, JsonDataJson, ResourceIdentityJson, ResourceInputPotentialJson, ResourceJson, ResourceMissingJson, ResourceOutputPotentialJson, ResourceTypeIdentityJson } from '@toolproof-core/schema';
+import { resolveResourceChain } from './utils/resourceChain.js';
+import { bindInputRefInStrategyState, bindInputResInStrategyState, clearInputBindingInStrategyState } from './utils/roleResourceBinding.js';
+import { createRunnableStrategy } from './utils/runnableStrategyCreation.js';
+import { cloneForStep, cloneWhileStep, createBranchStepFromJobPairs, createJobStepFromJob, createLoopStepFromJobs } from './utils/stepCreation.js';
+export declare const RESOURCE_CHAIN: {
+    readonly resolveResourceChain: typeof resolveResourceChain;
+};
+export declare const ROLE_RESOURCE_BINDINGS: {
+    readonly bindInputResInStrategyState: typeof bindInputResInStrategyState;
+    readonly bindInputRefInStrategyState: typeof bindInputRefInStrategyState;
+    readonly clearInputBindingInStrategyState: typeof clearInputBindingInStrategyState;
+};
+export declare const RUNNABLE_STRATEGY_CREATION: {
+    readonly createRunnableStrategy: typeof createRunnableStrategy;
+};
+export declare const STEP_CREATION: {
+    readonly createJobStepFromJob: typeof createJobStepFromJob;
+    readonly createLoopStepFromJobs: typeof createLoopStepFromJobs;
+    readonly createBranchStepFromJobPairs: typeof createBranchStepFromJobPairs;
+    readonly cloneForStep: typeof cloneForStep;
+    readonly cloneWhileStep: typeof cloneWhileStep;
+};
+export declare const RESOURCE_CREATION: {
+    readonly createMissingResource: (identity: ResourceIdentityJson, resourceTypeHandle: ResourceTypeIdentityJson) => ResourceMissingJson;
+    readonly createOutputPotentialResource: (identity: ResourceIdentityJson, resourceTypeHandle: ResourceTypeIdentityJson, creationContext: CreationContextJson) => ResourceOutputPotentialJson;
+    readonly createInputPotentialResource: (identity: ResourceIdentityJson, resourceTypeHandle: ResourceTypeIdentityJson, creationContext: CreationContextJson) => ResourceInputPotentialJson;
+    readonly createMaterializedResourceFromPotential: (potential: ResourceOutputPotentialJson | ResourceInputPotentialJson, nucleus: JsonDataJson, opts?: {
+        path?: string;
+        timestamp?: string;
+    }) => ResourceJson;
+};
+//# sourceMappingURL=shared.d.ts.map

package/dist/shared.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../src/shared.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,mBAAmB,EACnB,YAAY,EACZ,oBAAoB,EACpB,0BAA0B,EAC1B,YAAY,EACZ,mBAAmB,EACnB,2BAA2B,EAC3B,wBAAwB,EAC3B,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAChE,OAAO,EACH,2BAA2B,EAC3B,2BAA2B,EAC3B,gCAAgC,EACnC,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,sBAAsB,EAAE,MAAM,qCAAqC,CAAC;AAC7E,OAAO,EACH,YAAY,EACZ,cAAc,EACd,4BAA4B,EAC5B,oBAAoB,EACpB,sBAAsB,EACzB,MAAM,yBAAyB,CAAC;AAGjC,eAAO,MAAM,cAAc;;CAEjB,CAAC;AAGX,eAAO,MAAM,sBAAsB;;;;CAIzB,CAAC;AAGX,eAAO,MAAM,0BAA0B;;CAE7B,CAAC;AAGX,eAAO,MAAM,aAAa;;;;;;CAMhB,CAAC;AAyBX,eAAO,MAAM,iBAAiB;+CACM,oBAAoB,sBAAsB,wBAAwB,KAAG,mBAAmB;uDAS1G,oBAAoB,sBACV,wBAAwB,mBAC3B,mBAAmB,KACrC,2BAA2B;sDAUhB,oBAAoB,sBACV,wBAAwB,mBAC3B,mBAAmB,KACrC,0BAA0B;kEAUd,2BAA2B,GAAG,0BAA0B,WAC1D,YAAY,SACd;QAAE,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,SAAS,CAAC,EAAE,MAAM,CAAA;KAAE,KAC7C,YAAY;CAWT,CAAC"}

package/dist/shared.js

@@ -0,0 +1,67 @@
+import { resolveResourceChain } from './utils/resourceChain.js';
+import { bindInputRefInStrategyState, bindInputResInStrategyState, clearInputBindingInStrategyState, } from './utils/roleResourceBinding.js';
+import { createRunnableStrategy } from './utils/runnableStrategyCreation.js';
+import { cloneForStep, cloneWhileStep, createBranchStepFromJobPairs, createJobStepFromJob, createLoopStepFromJobs, } from './utils/stepCreation.js';
+export const RESOURCE_CHAIN = {
+    resolveResourceChain,
+};
+export const ROLE_RESOURCE_BINDINGS = {
+    bindInputResInStrategyState,
+    bindInputRefInStrategyState,
+    clearInputBindingInStrategyState,
+};
+export const RUNNABLE_STRATEGY_CREATION = {
+    createRunnableStrategy,
+};
+export const STEP_CREATION = {
+    createJobStepFromJob,
+    createLoopStepFromJobs,
+    createBranchStepFromJobPairs,
+    cloneForStep,
+    cloneWhileStep,
+};
+function asMaterializedResource(base, nucleus, opts) {
+    return {
+        identity: base.identity,
+        resourceTypeHandle: base.resourceTypeHandle,
+        creationContext: base.creationContext,
+        resourceShellKind: 'materialized',
+        version: 1,
+        timestamp: opts?.timestamp ?? new Date().toISOString(),
+        path: opts?.path ?? '',
+        nucleus,
+    };
+}
+export const RESOURCE_CREATION = {
+    createMissingResource(identity, resourceTypeHandle) {
+        return {
+            identity,
+            resourceTypeHandle,
+            resourceShellKind: 'missing',
+        };
+    },
+    createOutputPotentialResource(identity, resourceTypeHandle, creationContext) {
+        return {
+            identity,
+            resourceTypeHandle,
+            creationContext,
+            resourceShellKind: 'outputPotential',
+        };
+    },
+    createInputPotentialResource(identity, resourceTypeHandle, creationContext) {
+        return {
+            identity,
+            resourceTypeHandle,
+            creationContext,
+            resourceShellKind: 'inputPotential',
+        };
+    },
+    createMaterializedResourceFromPotential(potential, nucleus, opts) {
+        return asMaterializedResource({
+            identity: potential.identity,
+            resourceTypeHandle: potential.resourceTypeHandle,
+            creationContext: potential.creationContext,
+        }, nucleus, opts);
+    },
+};
+//# sourceMappingURL=shared.js.map

package/dist/shared.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"shared.js","sourceRoot":"","sources":["../src/shared.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAChE,OAAO,EACH,2BAA2B,EAC3B,2BAA2B,EAC3B,gCAAgC,GACnC,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,sBAAsB,EAAE,MAAM,qCAAqC,CAAC;AAC7E,OAAO,EACH,YAAY,EACZ,cAAc,EACd,4BAA4B,EAC5B,oBAAoB,EACpB,sBAAsB,GACzB,MAAM,yBAAyB,CAAC;AAGjC,MAAM,CAAC,MAAM,cAAc,GAAG;IAC1B,oBAAoB;CACd,CAAC;AAGX,MAAM,CAAC,MAAM,sBAAsB,GAAG;IAClC,2BAA2B;IAC3B,2BAA2B;IAC3B,gCAAgC;CAC1B,CAAC;AAGX,MAAM,CAAC,MAAM,0BAA0B,GAAG;IACtC,sBAAsB;CAChB,CAAC;AAGX,MAAM,CAAC,MAAM,aAAa,GAAG;IACzB,oBAAoB;IACpB,sBAAsB;IACtB,4BAA4B;IAC5B,YAAY;IACZ,cAAc;CACR,CAAC;AAGX,SAAS,sBAAsB,CAC3B,IAIC,EACD,OAAqB,EACrB,IAA4C;IAE5C,OAAO;QACH,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,kBAAkB,EAAE,IAAI,CAAC,kBAAkB;QAC3C,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,iBAAiB,EAAE,cAAc;QACjC,OAAO,EAAE,CAAC;QACV,SAAS,EAAE,IAAI,EAAE,SAAS,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACtD,IAAI,EAAE,IAAI,EAAE,IAAI,IAAI,EAAE;QACtB,OAAO;KACiB,CAAC;AACjC,CAAC;AAGD,MAAM,CAAC,MAAM,iBAAiB,GAAG;IAC7B,qBAAqB,CAAC,QAA8B,EAAE,kBAA4C;QAC9F,OAAO;YACH,QAAQ;YACR,kBAAkB;YAClB,iBAAiB,EAAE,SAAS;SAC/B,CAAC;IACN,CAAC;IAED,6BAA6B,CACzB,QAA8B,EAC9B,kBAA4C,EAC5C,eAAoC;QAEpC,OAAO;YACH,QAAQ;YACR,kBAAkB;YAClB,eAAe;YACf,iBAAiB,EAAE,iBAAiB;SACvC,CAAC;IACN,CAAC;IAED,4BAA4B,CACxB,QAA8B,EAC9B,kBAA4C,EAC5C,eAAoC;QAEpC,OAAO;YACH,QAAQ;YACR,kBAAkB;YAClB,eAAe;YACf,iBAAiB,EAAE,gBAAgB;SACtC,CAAC;IACN,CAAC;IAED,uCAAuC,CACnC,SAAmE,EACnE,OAAqB,EACrB,IAA4C;QAE5C,OAAO,sBAAsB,CACzB;YACI,QAAQ,EAAE,SAAS,CAAC,QAAQ;YAC5B,kBAAkB,EAAE,SAAS,CAAC,kBAAkB;YAChD,eAAe,EAAE,SAAS,CAAC,eAAe;SAC7C,EACD,OAAO,EACP,IAAI,CACP,CAAC;IACN,CAAC;CACK,CAAC"}

package/dist/utils/parallelization.d.ts

@@ -0,0 +1,3 @@
+import type { StepJson, StrategyStateJson } from '@toolproof-core/schema';
+export declare function getIndependentThreads(steps: StepJson[], strategyState: StrategyStateJson): StepJson[][];
+//# sourceMappingURL=parallelization.d.ts.map

package/dist/utils/parallelization.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parallelization.d.ts","sourceRoot":"","sources":["../../src/utils/parallelization.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAMR,QAAQ,EACR,iBAAiB,EAEpB,MAAM,wBAAwB,CAAC;AAGhC,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,aAAa,EAAE,iBAAiB,GAAG,QAAQ,EAAE,EAAE,CAoKvG"}

package/dist/utils/parallelization.js

@@ -0,0 +1,136 @@
+export function getIndependentThreads(steps, strategyState) {
+    const getOwnerLabel = (ownerIndex) => {
+        const step = steps[ownerIndex];
+        return `steps[${ownerIndex}] stepKind=${step?.stepKind ?? 'unknown'}`;
+    };
+    // Map each jobStep.identity (including macro-nested job steps) to owning top-level step index.
+    const jobStepIdToOwner = new Map();
+    const ownerToJobStepIds = new Map();
+    const jobStepById = new Map();
+    const addJobStep = (jobStep, ownerIndex) => {
+        if (!jobStep?.identity)
+            return;
+        const existingOwner = jobStepIdToOwner.get(jobStep.identity);
+        if (existingOwner !== undefined) {
+            throw new Error(`Duplicate jobStep.identity '${jobStep.identity}' found in ${getOwnerLabel(ownerIndex)} and ${getOwnerLabel(existingOwner)}`);
+        }
+        jobStepIdToOwner.set(jobStep.identity, ownerIndex);
+        jobStepById.set(jobStep.identity, jobStep);
+        const bucket = ownerToJobStepIds.get(ownerIndex) ?? [];
+        bucket.push(jobStep.identity);
+        ownerToJobStepIds.set(ownerIndex, bucket);
+    };
+    steps.forEach((step, ownerIndex) => {
+        if (step.stepKind === 'job') {
+            addJobStep(step, ownerIndex);
+            return;
+        }
+        if (step.stepKind === 'for') {
+            const loop = step;
+            addJobStep(loop.case?.what, ownerIndex);
+            addJobStep(loop.case?.when, ownerIndex);
+            return;
+        }
+        if (step.stepKind === 'while') {
+            const loop = step;
+            addJobStep(loop.case?.what, ownerIndex);
+            addJobStep(loop.case?.when, ownerIndex);
+            return;
+        }
+        if (step.stepKind === 'branch') {
+            const branch = step;
+            for (const caseItem of branch.cases ?? []) {
+                addJobStep(caseItem?.what, ownerIndex);
+                addJobStep(caseItem?.when, ownerIndex);
+            }
+            return;
+        }
+    });
+    // Undirected adjacency used for connected components (thread groups).
+    const ownerAdj = new Map();
+    // Directed dependencies used for strict ordering validation: owner -> producers it depends on.
+    const ownerDeps = new Map();
+    const ensureOwner = (ownerIndex) => {
+        if (!ownerAdj.has(ownerIndex))
+            ownerAdj.set(ownerIndex, new Set());
+        if (!ownerDeps.has(ownerIndex))
+            ownerDeps.set(ownerIndex, new Set());
+    };
+    for (let i = 0; i < steps.length; i++) {
+        ensureOwner(i);
+    }
+    // Discover dependencies from strategyState.
+    for (const [jobStepId, ownerIndex] of jobStepIdToOwner) {
+        ensureOwner(ownerIndex);
+        const jobStep = jobStepById.get(jobStepId);
+        const inputBindings = jobStep?.roleBindings?.inputBindings ?? [];
+        const bucket = strategyState?.[jobStepId] ?? {};
+        for (const inputRoleHandle of inputBindings) {
+            const entry = bucket?.[inputRoleHandle];
+            if (!entry || entry.resourceShellKind !== 'inputPotential')
+                continue;
+            const creatorJobStepHandle = entry?.creationContext?.jobStepHandle;
+            if (!creatorJobStepHandle) {
+                throw new Error(`Unresolvable inputPotential in jobStep '${jobStepId}' (${getOwnerLabel(ownerIndex)}): missing creationContext.jobStepHandle for role '${inputRoleHandle}'`);
+            }
+            const producerOwner = jobStepIdToOwner.get(creatorJobStepHandle);
+            if (producerOwner === undefined) {
+                throw new Error(`Unresolvable inputPotential in jobStep '${jobStepId}' (${getOwnerLabel(ownerIndex)}): creator jobStepHandle '${creatorJobStepHandle}' not found in strategy steps`);
+            }
+            ensureOwner(producerOwner);
+            ownerAdj.get(ownerIndex).add(producerOwner);
+            ownerAdj.get(producerOwner).add(ownerIndex);
+            ownerDeps.get(ownerIndex).add(producerOwner);
+        }
+    }
+    // Connected components over owners.
+    const visited = new Set();
+    const components = [];
+    for (let ownerIndex = 0; ownerIndex < steps.length; ownerIndex++) {
+        if (visited.has(ownerIndex))
+            continue;
+        const component = [];
+        const queue = [ownerIndex];
+        visited.add(ownerIndex);
+        while (queue.length > 0) {
+            const node = queue.shift();
+            component.push(node);
+            for (const neighbor of ownerAdj.get(node) ?? []) {
+                if (!visited.has(neighbor)) {
+                    visited.add(neighbor);
+                    queue.push(neighbor);
+                }
+            }
+        }
+        components.push(component);
+    }
+    // Strict validation: within a thread, the linear order must not contain forward refs.
+    for (const comp of components) {
+        const compSet = new Set(comp);
+        const ownersInOrder = steps.map((_, i) => i).filter((i) => compSet.has(i));
+        const position = new Map();
+        ownersInOrder.forEach((owner, idx) => position.set(owner, idx));
+        for (const consumerOwner of ownersInOrder) {
+            const deps = ownerDeps.get(consumerOwner);
+            if (!deps || deps.size === 0)
+                continue;
+            const consumerPos = position.get(consumerOwner);
+            for (const producerOwner of deps) {
+                const producerPos = position.get(producerOwner);
+                if (producerPos === undefined) {
+                    throw new Error(`Internal error: dependency producer ${getOwnerLabel(producerOwner)} missing from computed thread for ${getOwnerLabel(consumerOwner)}`);
+                }
+                if (producerPos >= consumerPos) {
+                    throw new Error(`Invalid step order in thread: ${getOwnerLabel(consumerOwner)} depends on ${getOwnerLabel(producerOwner)}, but producer is not scheduled before consumer`);
+                }
+            }
+        }
+    }
+    return components
+        .map((compOwners) => {
+        const ownerSet = new Set(compOwners);
+        return steps.filter((_, i) => ownerSet.has(i));
+    })
+        .filter((group) => group.length > 0);
+}
+//# sourceMappingURL=parallelization.js.map

package/dist/utils/parallelization.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parallelization.js","sourceRoot":"","sources":["../../src/utils/parallelization.ts"],"names":[],"mappings":"AAYA,MAAM,UAAU,qBAAqB,CAAC,KAAiB,EAAE,aAAgC;IAGrF,MAAM,aAAa,GAAG,CAAC,UAAsB,EAAE,EAAE;QAC7C,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC;QAC/B,OAAO,SAAS,UAAU,cAAe,IAAY,EAAE,QAAQ,IAAI,SAAS,EAAE,CAAC;IACnF,CAAC,CAAC;IAEF,+FAA+F;IAC/F,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAmC,CAAC;IACpE,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAqC,CAAC;IACvE,MAAM,WAAW,GAAG,IAAI,GAAG,EAAoC,CAAC;IAEhE,MAAM,UAAU,GAAG,CAAC,OAAgC,EAAE,UAAsB,EAAE,EAAE;QAC5E,IAAI,CAAC,OAAO,EAAE,QAAQ;YAAE,OAAO;QAE/B,MAAM,aAAa,GAAG,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC7D,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;YAC9B,MAAM,IAAI,KAAK,CACX,+BAA+B,OAAO,CAAC,QAAQ,cAAc,aAAa,CAAC,UAAU,CAAC,QAAQ,aAAa,CAAC,aAAa,CAAC,EAAE,CAC/H,CAAC;QACN,CAAC;QAED,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;QACnD,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;QACvD,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC9B,iBAAiB,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAC9C,CAAC,CAAC;IAEF,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,UAAU,EAAE,EAAE;QAC/B,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;YAC1B,UAAU,CAAC,IAAmB,EAAE,UAAU,CAAC,CAAC;YAC5C,OAAO;QACX,CAAC;QAED,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;YAC1B,MAAM,IAAI,GAAG,IAAmB,CAAC;YACjC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;YACxC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;YACxC,OAAO;QACX,CAAC;QAED,IAAI,IAAI,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,IAAqB,CAAC;YACnC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;YACxC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;YACxC,OAAO;QACX,CAAC;QAED,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;YAC7B,MAAM,MAAM,GAAG,IAAsB,CAAC;YACtC,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;gBACxC,UAAU,CAAC,QAAQ,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;gBACvC,UAAU,CAAC,QAAQ,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;YAC3C,CAAC;YACD,OAAO;QACX,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,sEAAsE;IACtE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA+B,CAAC;IACxD,+FAA+F;IAC/F,MAAM,SAAS,GAAG,IAAI,GAAG,EAA+B,CAAC;IAEzD,MAAM,WAAW,GAAG,CAAC,UAAsB,EAAE,EAAE;QAC3C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QACnE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC;YAAE,SAAS,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;IACzE,CAAC,CAAC;IAEF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,WAAW,CAAC,CAAC,CAAC,CAAC;IACnB,CAAC;IAED,4CAA4C;IAC5C,KAAK,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,IAAI,gBAAgB,EAAE,CAAC;QACrD,WAAW,CAAC,UAAU,CAAC,CAAC;QAExB,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC3C,MAAM,aAAa,GAAG,OAAO,EAAE,YAAY,EAAE,aAAa,IAAI,EAAE,CAAC;QACjE,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC,SAAS,CAAC,IAAK,EAAU,CAAC;QAEzD,KAAK,MAAM,eAAe,IAAI,aAAa,EAAE,CAAC;YAC1C,MAAM,KAAK,GAAG,MAAM,EAAE,CAAC,eAA2C,CAAQ,CAAC;YAC3E,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,iBAAiB,KAAK,gBAAgB;gBAAE,SAAS;YAErE,MAAM,oBAAoB,GAAG,KAAK,EAAE,eAAe,EAAE,aAAgD,CAAC;YACtG,IAAI,CAAC,oBAAoB,EAAE,CAAC;gBACxB,MAAM,IAAI,KAAK,CACX,2CAA2C,SAAS,MAAM,aAAa,CAAC,UAAU,CAAC,sDAAsD,eAAe,GAAG,CAC9J,CAAC;YACN,CAAC;YAED,MAAM,aAAa,GAAG,gBAAgB,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;YACjE,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;gBAC9B,MAAM,IAAI,KAAK,CACX,2CAA2C,SAAS,MAAM,aAAa,CAAC,UAAU,CAAC,6BAA6B,oBAAoB,+BAA+B,CACtK,CAAC;YACN,CAAC;YAED,WAAW,CAAC,aAAa,CAAC,CAAC;YAC3B,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAE,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;YAC7C,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAE,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YAC7C,SAAS,CAAC,GAAG,CAAC,UAAU,CAAE,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;QAClD,CAAC;IACL,CAAC;IAED,oCAAoC;IACpC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAc,CAAC;IACtC,MAAM,UAAU,GAAmB,EAAE,CAAC;IAEtC,KAAK,IAAI,UAAU,GAAG,CAAC,EAAE,UAAU,GAAG,KAAK,CAAC,MAAM,EAAE,UAAU,EAAE,EAAE,CAAC;QAC/D,IAAI,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC;YAAE,SAAS;QACtC,MAAM,SAAS,GAAiB,EAAE,CAAC;QACnC,MAAM,KAAK,GAAiB,CAAC,UAAU,CAAC,CAAC;QACzC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACxB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;YAC5B,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrB,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;gBAC9C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACzB,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;oBACtB,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACzB,CAAC;YACL,CAAC;QACL,CAAC;QACD,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC/B,CAAC;IAED,sFAAsF;IACtF,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC5B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,aAAa,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAE3E,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAsB,CAAC;QAC/C,aAAa,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;QAEhE,KAAK,MAAM,aAAa,IAAI,aAAa,EAAE,CAAC;YACxC,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;YAC1C,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC;gBAAE,SAAS;YAEvC,MAAM,WAAW,GAAG,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAE,CAAC;YACjD,KAAK,MAAM,aAAa,IAAI,IAAI,EAAE,CAAC;gBAC/B,MAAM,WAAW,GAAG,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;gBAChD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;oBAC5B,MAAM,IAAI,KAAK,CACX,uCAAuC,aAAa,CAAC,aAAa,CAAC,qCAAqC,aAAa,CAAC,aAAa,CAAC,EAAE,CACzI,CAAC;gBACN,CAAC;gBACD,IAAI,WAAW,IAAI,WAAW,EAAE,CAAC;oBAC7B,MAAM,IAAI,KAAK,CACX,iCAAiC,aAAa,CAAC,aAAa,CAAC,eAAe,aAAa,CAAC,aAAa,CAAC,iDAAiD,CAC5J,CAAC;gBACN,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAED,OAAO,UAAU;SACZ,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE;QAChB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC;QACrC,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC;SACD,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AAC7C,CAAC"}

package/dist/utils/resourceChain.d.ts

@@ -0,0 +1,22 @@
+import type { CreationContextJson, ResourceJson, ResourceMissingJson, ResourceOutputPotentialJson, StrategyStateJson } from '@toolproof-core/schema';
+export type ResolveResult = {
+    status: 'materialized';
+    entry: ResourceJson;
+    path: CreationContextJson[];
+} | {
+    status: 'missing';
+    entry: ResourceMissingJson;
+    path: CreationContextJson[];
+} | {
+    status: 'outputPotential';
+    entry: ResourceOutputPotentialJson;
+    path: CreationContextJson[];
+} | {
+    status: 'unresolved';
+    reason: 'not-found' | 'cycle' | 'depth-exceeded';
+    path: CreationContextJson[];
+};
+export declare function resolveResourceChain(strategyState: StrategyStateJson, start: CreationContextJson, opts?: {
+    maxDepth?: number;
+}): ResolveResult;
+//# sourceMappingURL=resourceChain.d.ts.map

package/dist/utils/resourceChain.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resourceChain.d.ts","sourceRoot":"","sources":["../../src/utils/resourceChain.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,mBAAmB,EACnB,YAAY,EACZ,mBAAmB,EAEnB,2BAA2B,EAC3B,iBAAiB,EACpB,MAAM,wBAAwB,CAAC;AAEhC,MAAM,MAAM,aAAa,GACnB;IAAE,MAAM,EAAE,cAAc,CAAC;IAAC,KAAK,EAAE,YAAY,CAAC;IAAC,IAAI,EAAE,mBAAmB,EAAE,CAAA;CAAE,GAC5E;IAAE,MAAM,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,mBAAmB,CAAC;IAAC,IAAI,EAAE,mBAAmB,EAAE,CAAA;CAAE,GAC9E;IAAE,MAAM,EAAE,iBAAiB,CAAC;IAAC,KAAK,EAAE,2BAA2B,CAAC;IAAC,IAAI,EAAE,mBAAmB,EAAE,CAAA;CAAE,GAC9F;IAAE,MAAM,EAAE,YAAY,CAAC;IAAC,MAAM,EAAE,WAAW,GAAG,OAAO,GAAG,gBAAgB,CAAC;IAAC,IAAI,EAAE,mBAAmB,EAAE,CAAA;CAAE,CAAC;AAE9G,wBAAgB,oBAAoB,CAChC,aAAa,EAAE,iBAAiB,EAChC,KAAK,EAAE,mBAAmB,EAC1B,IAAI,CAAC,EAAE;IAAE,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,GAC7B,aAAa,CA8Cf"}

package/dist/utils/resourceChain.js

@@ -0,0 +1,38 @@
+export function resolveResourceChain(strategyState, start, opts) {
+    const maxDepth = opts?.maxDepth ?? 50;
+    const visited = new Set();
+    const path = [];
+    let current = start;
+    for (let depth = 0; depth <= maxDepth; depth++) {
+        path.push(current);
+        const visitKey = `${current.jobStepHandle}::${current.resourceRoleHandle}`;
+        if (visited.has(visitKey)) {
+            return { status: 'unresolved', reason: 'cycle', path };
+        }
+        visited.add(visitKey);
+        const bucket = strategyState[current.jobStepHandle];
+        if (!bucket)
+            return { status: 'unresolved', reason: 'not-found', path };
+        const entry = bucket[current.resourceRoleHandle];
+        if (!entry)
+            return { status: 'unresolved', reason: 'not-found', path };
+        if (entry.resourceShellKind === 'materialized') {
+            return { status: 'materialized', entry: entry, path };
+        }
+        if (entry.resourceShellKind === 'missing') {
+            return { status: 'missing', entry: entry, path };
+        }
+        if (entry.resourceShellKind === 'outputPotential') {
+            return { status: 'outputPotential', entry: entry, path };
+        }
+        // inputPotential: follow ref backwards
+        if (entry.resourceShellKind === 'inputPotential') {
+            current = entry.creationContext;
+            continue;
+        }
+        // Unknown case
+        return { status: 'unresolved', reason: 'not-found', path };
+    }
+    return { status: 'unresolved', reason: 'depth-exceeded', path };
+}
+//# sourceMappingURL=resourceChain.js.map

package/dist/utils/resourceChain.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resourceChain.js","sourceRoot":"","sources":["../../src/utils/resourceChain.ts"],"names":[],"mappings":"AAeA,MAAM,UAAU,oBAAoB,CAChC,aAAgC,EAChC,KAA0B,EAC1B,IAA4B;IAE5B,MAAM,QAAQ,GAAG,IAAI,EAAE,QAAQ,IAAI,EAAE,CAAC;IACtC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,IAAI,GAA0B,EAAE,CAAC;IACvC,IAAI,OAAO,GAAwB,KAAK,CAAC;IAEzC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,IAAI,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC;QAC7C,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACnB,MAAM,QAAQ,GAAG,GAAG,OAAO,CAAC,aAAa,KAAK,OAAO,CAAC,kBAAkB,EAAE,CAAC;QAC3E,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YACxB,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QAC3D,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAEtB,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;QACpD,IAAI,CAAC,MAAM;YAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;QACxE,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAM9C,CAAC;QACF,IAAI,CAAC,KAAK;YAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;QAEvE,IAAI,KAAK,CAAC,iBAAiB,KAAK,cAAc,EAAE,CAAC;YAC7C,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,KAAK,EAAE,KAAqB,EAAE,IAAI,EAAE,CAAC;QAC1E,CAAC;QACD,IAAI,KAAK,CAAC,iBAAiB,KAAK,SAAS,EAAE,CAAC;YACxC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,KAA4B,EAAE,IAAI,EAAE,CAAC;QAC5E,CAAC;QACD,IAAI,KAAK,CAAC,iBAAiB,KAAK,iBAAiB,EAAE,CAAC;YAChD,OAAO,EAAE,MAAM,EAAE,iBAAiB,EAAE,KAAK,EAAE,KAAoC,EAAE,IAAI,EAAE,CAAC;QAC5F,CAAC;QAED,uCAAuC;QACvC,IAAI,KAAK,CAAC,iBAAiB,KAAK,gBAAgB,EAAE,CAAC;YAC/C,OAAO,GAAI,KAAoC,CAAC,eAAe,CAAC;YAChE,SAAS;QACb,CAAC;QAED,eAAe;QACf,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;IAC/D,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC;AACpE,CAAC"}

package/dist/utils/roleResourceBinding.d.ts

@@ -0,0 +1,5 @@
+import type { ResourceJson, CreationContextJson, StrategyStateJson } from '@toolproof-core/schema';
+export declare function bindInputResInStrategyState(strategyState: StrategyStateJson, target: CreationContextJson, resource: ResourceJson): StrategyStateJson;
+export declare function bindInputRefInStrategyState(strategyState: StrategyStateJson, target: CreationContextJson, source: CreationContextJson): StrategyStateJson;
+export declare function clearInputBindingInStrategyState(strategyState: StrategyStateJson, target: CreationContextJson): StrategyStateJson;
+//# sourceMappingURL=roleResourceBinding.d.ts.map

package/dist/utils/roleResourceBinding.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"roleResourceBinding.d.ts","sourceRoot":"","sources":["../../src/utils/roleResourceBinding.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,YAAY,EAIZ,mBAAmB,EACnB,iBAAiB,EACpB,MAAM,wBAAwB,CAAC;AAGhC,wBAAgB,2BAA2B,CACvC,aAAa,EAAE,iBAAiB,EAChC,MAAM,EAAE,mBAAmB,EAC3B,QAAQ,EAAE,YAAY,GACvB,iBAAiB,CASnB;AAED,wBAAgB,2BAA2B,CACvC,aAAa,EAAE,iBAAiB,EAChC,MAAM,EAAE,mBAAmB,EAC3B,MAAM,EAAE,mBAAmB,GAC5B,iBAAiB,CA+DnB;AAED,wBAAgB,gCAAgC,CAC5C,aAAa,EAAE,iBAAiB,EAChC,MAAM,EAAE,mBAAmB,GAC5B,iBAAiB,CAWnB"}

package/dist/utils/roleResourceBinding.js

@@ -0,0 +1,74 @@
+import { resolveResourceChain } from './resourceChain.js';
+export function bindInputResInStrategyState(strategyState, target, resource) {
+    const bucket = strategyState[target.jobStepHandle] ?? {};
+    return {
+        ...strategyState,
+        [target.jobStepHandle]: {
+            ...bucket,
+            [target.resourceRoleHandle]: resource,
+        },
+    };
+}
+export function bindInputRefInStrategyState(strategyState, target, source) {
+    const sourceEntry = strategyState?.[source.jobStepHandle]?.[source.resourceRoleHandle];
+    if (!sourceEntry) {
+        throw new Error(`resourceEntry not found for source (${source.jobStepHandle}, ${source.resourceRoleHandle})`);
+    }
+    const result = resolveResourceChain(strategyState, source);
+    const bucket = strategyState[target.jobStepHandle] ?? {};
+    if (result.status === 'materialized') {
+        return {
+            ...strategyState,
+            [target.jobStepHandle]: {
+                ...bucket,
+                [target.resourceRoleHandle]: result.entry,
+            },
+        };
+    }
+    if (result.status === 'missing') {
+        const missing = result.entry;
+        const reusedMissing = {
+            identity: missing.identity,
+            resourceTypeHandle: missing.resourceTypeHandle,
+            resourceShellKind: 'missing',
+        };
+        return {
+            ...strategyState,
+            [target.jobStepHandle]: {
+                ...bucket,
+                [target.resourceRoleHandle]: reusedMissing,
+            },
+        };
+    }
+    if (result.status === 'outputPotential') {
+        const potentialInput = {
+            identity: sourceEntry.identity,
+            resourceTypeHandle: sourceEntry.resourceTypeHandle,
+            creationContext: {
+                jobStepHandle: source.jobStepHandle,
+                resourceRoleHandle: source.resourceRoleHandle,
+            },
+            resourceShellKind: 'inputPotential',
+        };
+        return {
+            ...strategyState,
+            [target.jobStepHandle]: {
+                ...bucket,
+                [target.resourceRoleHandle]: potentialInput,
+            },
+        };
+    }
+    throw new Error(`Failed to resolve resource chain: ${result.reason}`);
+}
+export function clearInputBindingInStrategyState(strategyState, target) {
+    const bucket = strategyState?.[target.jobStepHandle];
+    if (!bucket?.[target.resourceRoleHandle])
+        return strategyState;
+    const nextBucket = { ...bucket };
+    delete nextBucket[target.resourceRoleHandle];
+    return {
+        ...strategyState,
+        [target.jobStepHandle]: nextBucket,
+    };
+}
+//# sourceMappingURL=roleResourceBinding.js.map

package/dist/utils/roleResourceBinding.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"roleResourceBinding.js","sourceRoot":"","sources":["../../src/utils/roleResourceBinding.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAE1D,MAAM,UAAU,2BAA2B,CACvC,aAAgC,EAChC,MAA2B,EAC3B,QAAsB;IAEtB,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC;IACzD,OAAO;QACH,GAAG,aAAa;QAChB,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE;YACpB,GAAG,MAAM;YACT,CAAC,MAAM,CAAC,kBAAkB,CAAC,EAAE,QAAQ;SACxC;KACJ,CAAC;AACN,CAAC;AAED,MAAM,UAAU,2BAA2B,CACvC,aAAgC,EAChC,MAA2B,EAC3B,MAA2B;IAE3B,MAAM,WAAW,GAAG,aAAa,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC,MAAM,CAAC,kBAAkB,CAMpF,CAAC;IACF,IAAI,CAAC,WAAW,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CAAC,uCAAuC,MAAM,CAAC,aAAa,KAAK,MAAM,CAAC,kBAAkB,GAAG,CAAC,CAAC;IAClH,CAAC;IAED,MAAM,MAAM,GAAG,oBAAoB,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC;IAEzD,IAAI,MAAM,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;QACnC,OAAO;YACH,GAAG,aAAa;YAChB,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE;gBACpB,GAAG,MAAM;gBACT,CAAC,MAAM,CAAC,kBAAkB,CAAC,EAAE,MAAM,CAAC,KAAK;aAC5C;SACJ,CAAC;IACN,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC;QAC7B,MAAM,aAAa,GAAwB;YACvC,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,kBAAkB,EAAE,OAAO,CAAC,kBAAkB;YAC9C,iBAAiB,EAAE,SAAS;SAC/B,CAAC;QAEF,OAAO;YACH,GAAG,aAAa;YAChB,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE;gBACpB,GAAG,MAAM;gBACT,CAAC,MAAM,CAAC,kBAAkB,CAAC,EAAE,aAAa;aAC7C;SACJ,CAAC;IACN,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,KAAK,iBAAiB,EAAE,CAAC;QACtC,MAAM,cAAc,GAA+B;YAC/C,QAAQ,EAAE,WAAW,CAAC,QAAQ;YAC9B,kBAAkB,EAAE,WAAW,CAAC,kBAAkB;YAClD,eAAe,EAAE;gBACb,aAAa,EAAE,MAAM,CAAC,aAAa;gBACnC,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;aAChD;YACD,iBAAiB,EAAE,gBAAgB;SACtC,CAAC;QAEF,OAAO;YACH,GAAG,aAAa;YAChB,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE;gBACpB,GAAG,MAAM;gBACT,CAAC,MAAM,CAAC,kBAAkB,CAAC,EAAE,cAAc;aAC9C;SACJ,CAAC;IACN,CAAC;IAED,MAAM,IAAI,KAAK,CAAC,qCAAqC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;AAC1E,CAAC;AAED,MAAM,UAAU,gCAAgC,CAC5C,aAAgC,EAChC,MAA2B;IAE3B,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;IACrD,IAAI,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,kBAAkB,CAAC;QAAE,OAAO,aAAa,CAAC;IAE/D,MAAM,UAAU,GAAG,EAAE,GAAG,MAAM,EAA6B,CAAC;IAC5D,OAAO,UAAU,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC;IAE7C,OAAO;QACH,GAAG,aAAa;QAChB,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,UAAiB;KAC5C,CAAC;AACN,CAAC"}

package/dist/utils/runnableStrategyCreation.d.ts

@@ -0,0 +1,8 @@
+import type { RawStrategyJson, RunnableStrategyJson, RunnableStrategyStatusJson } from '@toolproof-core/schema';
+import type { IdentityName } from '../types/types.js';
+export type GetNewIdentity = (identityName: IdentityName) => string | Promise<string>;
+export declare function createRunnableStrategy(rawStrategy: RawStrategyJson, opts: {
+    getNewIdentity: GetNewIdentity;
+    status?: RunnableStrategyStatusJson;
+}): Promise<RunnableStrategyJson>;
+//# sourceMappingURL=runnableStrategyCreation.d.ts.map

package/dist/utils/runnableStrategyCreation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runnableStrategyCreation.d.ts","sourceRoot":"","sources":["../../src/utils/runnableStrategyCreation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,eAAe,EAEf,oBAAoB,EACpB,0BAA0B,EAG7B,MAAM,wBAAwB,CAAC;AAChC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAItD,MAAM,MAAM,cAAc,GAAG,CAAC,YAAY,EAAE,YAAY,KAAK,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;AAGtF,wBAAsB,sBAAsB,CACxC,WAAW,EAAE,eAAe,EAC5B,IAAI,EAAE;IACF,cAAc,EAAE,cAAc,CAAC;IAC/B,MAAM,CAAC,EAAE,0BAA0B,CAAC;CACvC,GACF,OAAO,CAAC,oBAAoB,CAAC,CAyB/B"}

package/dist/utils/runnableStrategyCreation.js

@@ -0,0 +1,24 @@
+import { getIndependentThreads } from './parallelization.js';
+export async function createRunnableStrategy(rawStrategy, opts) {
+    if (!opts?.getNewIdentity) {
+        throw new Error('createRunnableStrategy: opts.getNewIdentity is required');
+    }
+    const runnableStrategyIdentity = (await opts.getNewIdentity('RunnableStrategyIdentity'));
+    const steps = (rawStrategy.steps ?? []);
+    const strategyState = (rawStrategy.strategyState ?? {});
+    const threadStepGroups = getIndependentThreads(steps, strategyState);
+    const strategyThreadDict = {};
+    for (const group of threadStepGroups) {
+        const threadIdentity = (await opts.getNewIdentity('StrategyThreadIdentity'));
+        strategyThreadDict[threadIdentity] = group;
+    }
+    return {
+        identity: runnableStrategyIdentity,
+        runnableStrategyContext: {
+            status: opts.status ?? 'running',
+        },
+        strategyThreadDict,
+        strategyState,
+    };
+}
+//# sourceMappingURL=runnableStrategyCreation.js.map

package/dist/utils/runnableStrategyCreation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runnableStrategyCreation.js","sourceRoot":"","sources":["../../src/utils/runnableStrategyCreation.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAM7D,MAAM,CAAC,KAAK,UAAU,sBAAsB,CACxC,WAA4B,EAC5B,IAGC;IAED,IAAI,CAAC,IAAI,EAAE,cAAc,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;IAC/E,CAAC;IAED,MAAM,wBAAwB,GAAG,CAAC,MAAM,IAAI,CAAC,cAAc,CAAC,0BAA0B,CAAC,CAAiC,CAAC;IACzH,MAAM,KAAK,GAAG,CAAC,WAAW,CAAC,KAAK,IAAI,EAAE,CAAe,CAAC;IACtD,MAAM,aAAa,GAAG,CAAC,WAAW,CAAC,aAAa,IAAI,EAAE,CAA0C,CAAC;IAEjG,MAAM,gBAAgB,GAAG,qBAAqB,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;IACrE,MAAM,kBAAkB,GAAmD,EAAS,CAAC;IAErF,KAAK,MAAM,KAAK,IAAI,gBAAgB,EAAE,CAAC;QACnC,MAAM,cAAc,GAAG,CAAC,MAAM,IAAI,CAAC,cAAc,CAAC,wBAAwB,CAAC,CAA+B,CAAC;QAC3G,kBAAkB,CAAC,cAAc,CAAC,GAAG,KAAK,CAAC;IAC/C,CAAC;IAED,OAAO;QACH,QAAQ,EAAE,wBAAwB;QAClC,uBAAuB,EAAE;YACrB,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,SAAS;SACnC;QACD,kBAAkB;QAClB,aAAa;KACQ,CAAC;AAC9B,CAAC"}

package/dist/utils/stepCreation.d.ts

@@ -0,0 +1,10 @@
+import type { BranchStepJson, ForStepJson, JobJson, JobStepJson, WhileStepJson } from '@toolproof-core/schema';
+export declare function createJobStepFromJob(job: JobJson): Promise<JobStepJson>;
+export declare function createLoopStepFromJobs(whatJob: JobJson, whenJob: JobJson, stepKind: 'for' | 'while'): Promise<ForStepJson | WhileStepJson>;
+export declare function createBranchStepFromJobPairs(cases: Array<{
+    whatJob: JobJson;
+    whenJob: JobJson;
+}>): Promise<BranchStepJson>;
+export declare function cloneForStep(forStep: ForStepJson): ForStepJson;
+export declare function cloneWhileStep(whileStep: WhileStepJson): WhileStepJson;
+//# sourceMappingURL=stepCreation.d.ts.map

package/dist/utils/stepCreation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"stepCreation.d.ts","sourceRoot":"","sources":["../../src/utils/stepCreation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,cAAc,EAEd,WAAW,EACX,OAAO,EACP,WAAW,EAEX,aAAa,EAChB,MAAM,wBAAwB,CAAC;AAShC,wBAAsB,oBAAoB,CAAC,GAAG,EAAE,OAAO,GAAG,OAAO,CAAC,WAAW,CAAC,CAa7E;AAGD,wBAAsB,sBAAsB,CACxC,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE,OAAO,EAChB,QAAQ,EAAE,KAAK,GAAG,OAAO,GAC1B,OAAO,CAAC,WAAW,GAAG,aAAa,CAAC,CAiBtC;AAGD,wBAAsB,4BAA4B,CAC9C,KAAK,EAAE,KAAK,CAAC;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC,GACrD,OAAO,CAAC,cAAc,CAAC,CAgBzB;AAGD,wBAAgB,YAAY,CAAC,OAAO,EAAE,WAAW,GAAG,WAAW,CAe9D;AAGD,wBAAgB,cAAc,CAAC,SAAS,EAAE,aAAa,GAAG,aAAa,CAetE"}

package/dist/utils/stepCreation.js

@@ -0,0 +1,80 @@
+import { getNewStepIdentity } from '../firebase/firebaseAdminHelpers.js';
+function assertNonEmpty(arr, msg) {
+    if (arr.length === 0)
+        throw new Error(msg);
+}
+export async function createJobStepFromJob(job) {
+    const inputBindings = Object.keys(job.roles.inputDict ?? {});
+    const outputBindings = Object.keys(job.roles.outputDict ?? {});
+    return {
+        identity: getNewStepIdentity('job'),
+        stepKind: 'job',
+        jobHandle: job.identity,
+        roleBindings: {
+            inputBindings,
+            outputBindings,
+        },
+    };
+}
+export async function createLoopStepFromJobs(whatJob, whenJob, stepKind) {
+    const what = await createJobStepFromJob(whatJob);
+    const when = await createJobStepFromJob(whenJob);
+    if (stepKind === 'for') {
+        return {
+            identity: getNewStepIdentity('for'),
+            stepKind: 'for',
+            case: { what, when },
+        };
+    }
+    return {
+        identity: getNewStepIdentity('while'),
+        stepKind: 'while',
+        case: { what, when },
+    };
+}
+export async function createBranchStepFromJobPairs(cases) {
+    const resolved = await Promise.all(cases.map(async ({ whatJob, whenJob }) => {
+        const what = await createJobStepFromJob(whatJob);
+        const when = await createJobStepFromJob(whenJob);
+        return { what, when };
+    }));
+    assertNonEmpty(resolved, 'createBranchStepFromJobPairs requires at least one case');
+    return {
+        identity: getNewStepIdentity('branch'),
+        stepKind: 'branch',
+        cases: resolved,
+    };
+}
+export function cloneForStep(forStep) {
+    return {
+        identity: getNewStepIdentity('for'),
+        stepKind: 'for',
+        case: {
+            what: {
+                ...forStep.case.what,
+                identity: getNewStepIdentity('job'),
+            },
+            when: {
+                ...forStep.case.when,
+                identity: getNewStepIdentity('job'),
+            },
+        },
+    };
+}
+export function cloneWhileStep(whileStep) {
+    return {
+        identity: getNewStepIdentity('while'),
+        stepKind: 'while',
+        case: {
+            what: {
+                ...whileStep.case.what,
+                identity: getNewStepIdentity('job'),
+            },
+            when: {
+                ...whileStep.case.when,
+                identity: getNewStepIdentity('job'),
+            },
+        },
+    };
+}
+//# sourceMappingURL=stepCreation.js.map

package/dist/utils/stepCreation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stepCreation.js","sourceRoot":"","sources":["../../src/utils/stepCreation.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AAGzE,SAAS,cAAc,CAAI,GAAQ,EAAE,GAAW;IAC5C,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC;AAC/C,CAAC;AAGD,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,GAAY;IACnD,MAAM,aAAa,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,IAAI,EAAE,CAA+B,CAAC;IAC3F,MAAM,cAAc,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAA+B,CAAC;IAE7F,OAAO;QACH,QAAQ,EAAE,kBAAkB,CAAC,KAAK,CAAC;QACnC,QAAQ,EAAE,KAAK;QACf,SAAS,EAAE,GAAG,CAAC,QAAQ;QACvB,YAAY,EAAE;YACV,aAAa;YACb,cAAc;SACjB;KACJ,CAAC;AACN,CAAC;AAGD,MAAM,CAAC,KAAK,UAAU,sBAAsB,CACxC,OAAgB,EAChB,OAAgB,EAChB,QAAyB;IAEzB,MAAM,IAAI,GAAG,MAAM,oBAAoB,CAAC,OAAO,CAAC,CAAC;IACjD,MAAM,IAAI,GAAG,MAAM,oBAAoB,CAAC,OAAO,CAAC,CAAC;IAEjD,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;QACrB,OAAO;YACH,QAAQ,EAAE,kBAAkB,CAAC,KAAK,CAAC;YACnC,QAAQ,EAAE,KAAK;YACf,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE;SACvB,CAAC;IACN,CAAC;IAED,OAAO;QACH,QAAQ,EAAE,kBAAkB,CAAC,OAAO,CAAC;QACrC,QAAQ,EAAE,OAAO;QACjB,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE;KACvB,CAAC;AACN,CAAC;AAGD,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAC9C,KAAoD;IAEpD,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,GAAG,CAC9B,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE;QACrC,MAAM,IAAI,GAAG,MAAM,oBAAoB,CAAC,OAAO,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,MAAM,oBAAoB,CAAC,OAAO,CAAC,CAAC;QACjD,OAAO,EAAE,IAAI,EAAE,IAAI,EAA4B,CAAC;IACpD,CAAC,CAAC,CACL,CAAC;IAEF,cAAc,CAAC,QAAQ,EAAE,yDAAyD,CAAC,CAAC;IAEpF,OAAO;QACH,QAAQ,EAAE,kBAAkB,CAAC,QAAQ,CAAC;QACtC,QAAQ,EAAE,QAAQ;QAClB,KAAK,EAAE,QAAQ;KAClB,CAAC;AACN,CAAC;AAGD,MAAM,UAAU,YAAY,CAAC,OAAoB;IAC7C,OAAO;QACH,QAAQ,EAAE,kBAAkB,CAAC,KAAK,CAAC;QACnC,QAAQ,EAAE,KAAK;QACf,IAAI,EAAE;YACF,IAAI,EAAE;gBACF,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI;gBACpB,QAAQ,EAAE,kBAAkB,CAAC,KAAK,CAAC;aACtC;YACD,IAAI,EAAE;gBACF,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI;gBACpB,QAAQ,EAAE,kBAAkB,CAAC,KAAK,CAAC;aACtC;SACJ;KACJ,CAAC;AACN,CAAC;AAGD,MAAM,UAAU,cAAc,CAAC,SAAwB;IACnD,OAAO;QACH,QAAQ,EAAE,kBAAkB,CAAC,OAAO,CAAC;QACrC,QAAQ,EAAE,OAAO;QACjB,IAAI,EAAE;YACF,IAAI,EAAE;gBACF,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI;gBACtB,QAAQ,EAAE,kBAAkB,CAAC,KAAK,CAAC;aACtC;YACD,IAAI,EAAE;gBACF,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI;gBACtB,QAAQ,EAAE,kBAAkB,CAAC,KAAK,CAAC;aACtC;SACJ;KACJ,CAAC;AACN,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@toolproof-core/lib",
-  "version": "1.0.4",
+  "version": "1.0.5",
   "description": "",
   "type": "module",
   "keywords": [],
@@ -34,6 +34,10 @@
     "./firebase-admin-helpers": {
       "types": "./dist/firebase/firebaseAdminHelpers.d.ts",
       "import": "./dist/firebase/firebaseAdminHelpers.js"
+    },
+    "./shared": {
+      "types": "./dist/shared.d.ts",
+      "import": "./dist/shared.js"
     }
   },
   "devDependencies": {

package/src/shared.ts

@@ -0,0 +1,126 @@
+import type {
+    CreationContextJson,
+    JsonDataJson,
+    ResourceIdentityJson,
+    ResourceInputPotentialJson,
+    ResourceJson,
+    ResourceMissingJson,
+    ResourceOutputPotentialJson,
+    ResourceTypeIdentityJson,
+} from '@toolproof-core/schema';
+
+import { resolveResourceChain } from './utils/resourceChain.js';
+import {
+    bindInputRefInStrategyState,
+    bindInputResInStrategyState,
+    clearInputBindingInStrategyState,
+} from './utils/roleResourceBinding.js';
+import { createRunnableStrategy } from './utils/runnableStrategyCreation.js';
+import {
+    cloneForStep,
+    cloneWhileStep,
+    createBranchStepFromJobPairs,
+    createJobStepFromJob,
+    createLoopStepFromJobs,
+} from './utils/stepCreation.js';
+
+
+export const RESOURCE_CHAIN = {
+    resolveResourceChain,
+} as const;
+
+
+export const ROLE_RESOURCE_BINDINGS = {
+    bindInputResInStrategyState,
+    bindInputRefInStrategyState,
+    clearInputBindingInStrategyState,
+} as const;
+
+
+export const RUNNABLE_STRATEGY_CREATION = {
+    createRunnableStrategy,
+} as const;
+
+
+export const STEP_CREATION = {
+    createJobStepFromJob,
+    createLoopStepFromJobs,
+    createBranchStepFromJobPairs,
+    cloneForStep,
+    cloneWhileStep,
+} as const;
+
+
+function asMaterializedResource(
+    base: {
+        identity: ResourceIdentityJson;
+        resourceTypeHandle: ResourceTypeIdentityJson;
+        creationContext: CreationContextJson;
+    },
+    nucleus: JsonDataJson,
+    opts?: { path?: string; timestamp?: string }
+): ResourceJson {
+    return {
+        identity: base.identity,
+        resourceTypeHandle: base.resourceTypeHandle,
+        creationContext: base.creationContext,
+        resourceShellKind: 'materialized',
+        version: 1,
+        timestamp: opts?.timestamp ?? new Date().toISOString(),
+        path: opts?.path ?? '',
+        nucleus,
+    } as unknown as ResourceJson;
+}
+
+
+export const RESOURCE_CREATION = {
+    createMissingResource(identity: ResourceIdentityJson, resourceTypeHandle: ResourceTypeIdentityJson): ResourceMissingJson {
+        return {
+            identity,
+            resourceTypeHandle,
+            resourceShellKind: 'missing',
+        };
+    },
+
+    createOutputPotentialResource(
+        identity: ResourceIdentityJson,
+        resourceTypeHandle: ResourceTypeIdentityJson,
+        creationContext: CreationContextJson
+    ): ResourceOutputPotentialJson {
+        return {
+            identity,
+            resourceTypeHandle,
+            creationContext,
+            resourceShellKind: 'outputPotential',
+        };
+    },
+
+    createInputPotentialResource(
+        identity: ResourceIdentityJson,
+        resourceTypeHandle: ResourceTypeIdentityJson,
+        creationContext: CreationContextJson
+    ): ResourceInputPotentialJson {
+        return {
+            identity,
+            resourceTypeHandle,
+            creationContext,
+            resourceShellKind: 'inputPotential',
+        };
+    },
+
+    createMaterializedResourceFromPotential(
+        potential: ResourceOutputPotentialJson | ResourceInputPotentialJson,
+        nucleus: JsonDataJson,
+        opts?: { path?: string; timestamp?: string }
+    ): ResourceJson {
+        return asMaterializedResource(
+            {
+                identity: potential.identity,
+                resourceTypeHandle: potential.resourceTypeHandle,
+                creationContext: potential.creationContext,
+            },
+            nucleus,
+            opts
+        );
+    },
+} as const;

package/src/utils/parallelization.ts

@@ -0,0 +1,177 @@
+import type {
+    BranchStepJson,
+    ForStepJson,
+    JobStepIdentityJson,
+    JobStepJson,
+    ResourceRoleIdentityJson,
+    StepJson,
+    StrategyStateJson,
+    WhileStepJson,
+} from '@toolproof-core/schema';
+
+
+export function getIndependentThreads(steps: StepJson[], strategyState: StrategyStateJson): StepJson[][] {
+    type OwnerIndex = number;
+
+    const getOwnerLabel = (ownerIndex: OwnerIndex) => {
+        const step = steps[ownerIndex];
+        return `steps[${ownerIndex}] stepKind=${(step as any)?.stepKind ?? 'unknown'}`;
+    };
+
+    // Map each jobStep.identity (including macro-nested job steps) to owning top-level step index.
+    const jobStepIdToOwner = new Map<JobStepIdentityJson, OwnerIndex>();
+    const ownerToJobStepIds = new Map<OwnerIndex, JobStepIdentityJson[]>();
+    const jobStepById = new Map<JobStepIdentityJson, JobStepJson>();
+
+    const addJobStep = (jobStep: JobStepJson | undefined, ownerIndex: OwnerIndex) => {
+        if (!jobStep?.identity) return;
+
+        const existingOwner = jobStepIdToOwner.get(jobStep.identity);
+        if (existingOwner !== undefined) {
+            throw new Error(
+                `Duplicate jobStep.identity '${jobStep.identity}' found in ${getOwnerLabel(ownerIndex)} and ${getOwnerLabel(existingOwner)}`
+            );
+        }
+
+        jobStepIdToOwner.set(jobStep.identity, ownerIndex);
+        jobStepById.set(jobStep.identity, jobStep);
+        const bucket = ownerToJobStepIds.get(ownerIndex) ?? [];
+        bucket.push(jobStep.identity);
+        ownerToJobStepIds.set(ownerIndex, bucket);
+    };
+
+    steps.forEach((step, ownerIndex) => {
+        if (step.stepKind === 'job') {
+            addJobStep(step as JobStepJson, ownerIndex);
+            return;
+        }
+
+        if (step.stepKind === 'for') {
+            const loop = step as ForStepJson;
+            addJobStep(loop.case?.what, ownerIndex);
+            addJobStep(loop.case?.when, ownerIndex);
+            return;
+        }
+
+        if (step.stepKind === 'while') {
+            const loop = step as WhileStepJson;
+            addJobStep(loop.case?.what, ownerIndex);
+            addJobStep(loop.case?.when, ownerIndex);
+            return;
+        }
+
+        if (step.stepKind === 'branch') {
+            const branch = step as BranchStepJson;
+            for (const caseItem of branch.cases ?? []) {
+                addJobStep(caseItem?.what, ownerIndex);
+                addJobStep(caseItem?.when, ownerIndex);
+            }
+            return;
+        }
+    });
+
+    // Undirected adjacency used for connected components (thread groups).
+    const ownerAdj = new Map<OwnerIndex, Set<OwnerIndex>>();
+    // Directed dependencies used for strict ordering validation: owner -> producers it depends on.
+    const ownerDeps = new Map<OwnerIndex, Set<OwnerIndex>>();
+
+    const ensureOwner = (ownerIndex: OwnerIndex) => {
+        if (!ownerAdj.has(ownerIndex)) ownerAdj.set(ownerIndex, new Set());
+        if (!ownerDeps.has(ownerIndex)) ownerDeps.set(ownerIndex, new Set());
+    };
+
+    for (let i = 0; i < steps.length; i++) {
+        ensureOwner(i);
+    }
+
+    // Discover dependencies from strategyState.
+    for (const [jobStepId, ownerIndex] of jobStepIdToOwner) {
+        ensureOwner(ownerIndex);
+
+        const jobStep = jobStepById.get(jobStepId);
+        const inputBindings = jobStep?.roleBindings?.inputBindings ?? [];
+        const bucket = strategyState?.[jobStepId] ?? ({} as any);
+
+        for (const inputRoleHandle of inputBindings) {
+            const entry = bucket?.[inputRoleHandle as ResourceRoleIdentityJson] as any;
+            if (!entry || entry.resourceShellKind !== 'inputPotential') continue;
+
+            const creatorJobStepHandle = entry?.creationContext?.jobStepHandle as JobStepIdentityJson | undefined;
+            if (!creatorJobStepHandle) {
+                throw new Error(
+                    `Unresolvable inputPotential in jobStep '${jobStepId}' (${getOwnerLabel(ownerIndex)}): missing creationContext.jobStepHandle for role '${inputRoleHandle}'`
+                );
+            }
+
+            const producerOwner = jobStepIdToOwner.get(creatorJobStepHandle);
+            if (producerOwner === undefined) {
+                throw new Error(
+                    `Unresolvable inputPotential in jobStep '${jobStepId}' (${getOwnerLabel(ownerIndex)}): creator jobStepHandle '${creatorJobStepHandle}' not found in strategy steps`
+                );
+            }
+
+            ensureOwner(producerOwner);
+            ownerAdj.get(ownerIndex)!.add(producerOwner);
+            ownerAdj.get(producerOwner)!.add(ownerIndex);
+            ownerDeps.get(ownerIndex)!.add(producerOwner);
+        }
+    }
+
+    // Connected components over owners.
+    const visited = new Set<OwnerIndex>();
+    const components: OwnerIndex[][] = [];
+
+    for (let ownerIndex = 0; ownerIndex < steps.length; ownerIndex++) {
+        if (visited.has(ownerIndex)) continue;
+        const component: OwnerIndex[] = [];
+        const queue: OwnerIndex[] = [ownerIndex];
+        visited.add(ownerIndex);
+        while (queue.length > 0) {
+            const node = queue.shift()!;
+            component.push(node);
+            for (const neighbor of ownerAdj.get(node) ?? []) {
+                if (!visited.has(neighbor)) {
+                    visited.add(neighbor);
+                    queue.push(neighbor);
+                }
+            }
+        }
+        components.push(component);
+    }
+
+    // Strict validation: within a thread, the linear order must not contain forward refs.
+    for (const comp of components) {
+        const compSet = new Set(comp);
+        const ownersInOrder = steps.map((_, i) => i).filter((i) => compSet.has(i));
+
+        const position = new Map<OwnerIndex, number>();
+        ownersInOrder.forEach((owner, idx) => position.set(owner, idx));
+
+        for (const consumerOwner of ownersInOrder) {
+            const deps = ownerDeps.get(consumerOwner);
+            if (!deps || deps.size === 0) continue;
+
+            const consumerPos = position.get(consumerOwner)!;
+            for (const producerOwner of deps) {
+                const producerPos = position.get(producerOwner);
+                if (producerPos === undefined) {
+                    throw new Error(
+                        `Internal error: dependency producer ${getOwnerLabel(producerOwner)} missing from computed thread for ${getOwnerLabel(consumerOwner)}`
+                    );
+                }
+                if (producerPos >= consumerPos) {
+                    throw new Error(
+                        `Invalid step order in thread: ${getOwnerLabel(consumerOwner)} depends on ${getOwnerLabel(producerOwner)}, but producer is not scheduled before consumer`
+                    );
+                }
+            }
+        }
+    }
+
+    return components
+        .map((compOwners) => {
+            const ownerSet = new Set(compOwners);
+            return steps.filter((_, i) => ownerSet.has(i));
+        })
+        .filter((group) => group.length > 0);
+}

package/src/utils/resourceChain.ts

@@ -0,0 +1,66 @@
+import type {
+    CreationContextJson,
+    ResourceJson,
+    ResourceMissingJson,
+    ResourceInputPotentialJson,
+    ResourceOutputPotentialJson,
+    StrategyStateJson,
+} from '@toolproof-core/schema';
+
+export type ResolveResult =
+    | { status: 'materialized'; entry: ResourceJson; path: CreationContextJson[] }
+    | { status: 'missing'; entry: ResourceMissingJson; path: CreationContextJson[] }
+    | { status: 'outputPotential'; entry: ResourceOutputPotentialJson; path: CreationContextJson[] }
+    | { status: 'unresolved'; reason: 'not-found' | 'cycle' | 'depth-exceeded'; path: CreationContextJson[] };
+
+export function resolveResourceChain(
+    strategyState: StrategyStateJson,
+    start: CreationContextJson,
+    opts?: { maxDepth?: number }
+): ResolveResult {
+    const maxDepth = opts?.maxDepth ?? 50;
+    const visited = new Set<string>();
+    const path: CreationContextJson[] = [];
+    let current: CreationContextJson = start;
+
+    for (let depth = 0; depth <= maxDepth; depth++) {
+        path.push(current);
+        const visitKey = `${current.jobStepHandle}::${current.resourceRoleHandle}`;
+        if (visited.has(visitKey)) {
+            return { status: 'unresolved', reason: 'cycle', path };
+        }
+        visited.add(visitKey);
+
+        const bucket = strategyState[current.jobStepHandle];
+        if (!bucket) return { status: 'unresolved', reason: 'not-found', path };
+        const entry = bucket[current.resourceRoleHandle] as (
+            | ResourceJson
+            | ResourceMissingJson
+            | ResourceInputPotentialJson
+            | ResourceOutputPotentialJson
+            | undefined
+        );
+        if (!entry) return { status: 'unresolved', reason: 'not-found', path };
+
+        if (entry.resourceShellKind === 'materialized') {
+            return { status: 'materialized', entry: entry as ResourceJson, path };
+        }
+        if (entry.resourceShellKind === 'missing') {
+            return { status: 'missing', entry: entry as ResourceMissingJson, path };
+        }
+        if (entry.resourceShellKind === 'outputPotential') {
+            return { status: 'outputPotential', entry: entry as ResourceOutputPotentialJson, path };
+        }
+
+        // inputPotential: follow ref backwards
+        if (entry.resourceShellKind === 'inputPotential') {
+            current = (entry as ResourceInputPotentialJson).creationContext;
+            continue;
+        }
+
+        // Unknown case
+        return { status: 'unresolved', reason: 'not-found', path };
+    }
+
+    return { status: 'unresolved', reason: 'depth-exceeded', path };
+}

package/src/utils/roleResourceBinding.ts

@@ -0,0 +1,109 @@
+import type {
+    ResourceJson,
+    ResourceMissingJson,
+    ResourceInputPotentialJson,
+    ResourceOutputPotentialJson,
+    CreationContextJson,
+    StrategyStateJson,
+} from '@toolproof-core/schema';
+import { resolveResourceChain } from './resourceChain.js';
+
+export function bindInputResInStrategyState(
+    strategyState: StrategyStateJson,
+    target: CreationContextJson,
+    resource: ResourceJson
+): StrategyStateJson {
+    const bucket = strategyState[target.jobStepHandle] ?? {};
+    return {
+        ...strategyState,
+        [target.jobStepHandle]: {
+            ...bucket,
+            [target.resourceRoleHandle]: resource,
+        },
+    };
+}
+
+export function bindInputRefInStrategyState(
+    strategyState: StrategyStateJson,
+    target: CreationContextJson,
+    source: CreationContextJson
+): StrategyStateJson {
+    const sourceEntry = strategyState?.[source.jobStepHandle]?.[source.resourceRoleHandle] as (
+        | ResourceJson
+        | ResourceMissingJson
+        | ResourceInputPotentialJson
+        | ResourceOutputPotentialJson
+        | undefined
+    );
+    if (!sourceEntry) {
+        throw new Error(`resourceEntry not found for source (${source.jobStepHandle}, ${source.resourceRoleHandle})`);
+    }
+
+    const result = resolveResourceChain(strategyState, source);
+    const bucket = strategyState[target.jobStepHandle] ?? {};
+
+    if (result.status === 'materialized') {
+        return {
+            ...strategyState,
+            [target.jobStepHandle]: {
+                ...bucket,
+                [target.resourceRoleHandle]: result.entry,
+            },
+        };
+    }
+
+    if (result.status === 'missing') {
+        const missing = result.entry;
+        const reusedMissing: ResourceMissingJson = {
+            identity: missing.identity,
+            resourceTypeHandle: missing.resourceTypeHandle,
+            resourceShellKind: 'missing',
+        };
+
+        return {
+            ...strategyState,
+            [target.jobStepHandle]: {
+                ...bucket,
+                [target.resourceRoleHandle]: reusedMissing,
+            },
+        };
+    }
+
+    if (result.status === 'outputPotential') {
+        const potentialInput: ResourceInputPotentialJson = {
+            identity: sourceEntry.identity,
+            resourceTypeHandle: sourceEntry.resourceTypeHandle,
+            creationContext: {
+                jobStepHandle: source.jobStepHandle,
+                resourceRoleHandle: source.resourceRoleHandle,
+            },
+            resourceShellKind: 'inputPotential',
+        };
+
+        return {
+            ...strategyState,
+            [target.jobStepHandle]: {
+                ...bucket,
+                [target.resourceRoleHandle]: potentialInput,
+            },
+        };
+    }
+
+    throw new Error(`Failed to resolve resource chain: ${result.reason}`);
+}
+
+export function clearInputBindingInStrategyState(
+    strategyState: StrategyStateJson,
+    target: CreationContextJson
+): StrategyStateJson {
+    const bucket = strategyState?.[target.jobStepHandle];
+    if (!bucket?.[target.resourceRoleHandle]) return strategyState;
+
+    const nextBucket = { ...bucket } as Record<string, unknown>;
+    delete nextBucket[target.resourceRoleHandle];
+
+    return {
+        ...strategyState,
+        [target.jobStepHandle]: nextBucket as any,
+    };
+}

package/src/utils/runnableStrategyCreation.ts

@@ -0,0 +1,47 @@
+import type {
+    RawStrategyJson,
+    RunnableStrategyIdentityJson,
+    RunnableStrategyJson,
+    RunnableStrategyStatusJson,
+    StepJson,
+    StrategyThreadIdentityJson,
+} from '@toolproof-core/schema';
+import type { IdentityName } from '../types/types.js';
+import { getIndependentThreads } from './parallelization.js';
+
+
+export type GetNewIdentity = (identityName: IdentityName) => string | Promise<string>;
+
+
+export async function createRunnableStrategy(
+    rawStrategy: RawStrategyJson,
+    opts: {
+        getNewIdentity: GetNewIdentity;
+        status?: RunnableStrategyStatusJson;
+    }
+): Promise<RunnableStrategyJson> {
+    if (!opts?.getNewIdentity) {
+        throw new Error('createRunnableStrategy: opts.getNewIdentity is required');
+    }
+
+    const runnableStrategyIdentity = (await opts.getNewIdentity('RunnableStrategyIdentity')) as RunnableStrategyIdentityJson;
+    const steps = (rawStrategy.steps ?? []) as StepJson[];
+    const strategyState = (rawStrategy.strategyState ?? {}) as RunnableStrategyJson['strategyState'];
+
+    const threadStepGroups = getIndependentThreads(steps, strategyState);
+    const strategyThreadDict: Record<StrategyThreadIdentityJson, StepJson[]> = {} as any;
+
+    for (const group of threadStepGroups) {
+        const threadIdentity = (await opts.getNewIdentity('StrategyThreadIdentity')) as StrategyThreadIdentityJson;
+        strategyThreadDict[threadIdentity] = group;
+    }
+
+    return {
+        identity: runnableStrategyIdentity,
+        runnableStrategyContext: {
+            status: opts.status ?? 'running',
+        },
+        strategyThreadDict,
+        strategyState,
+    } as RunnableStrategyJson;
+}

package/src/utils/stepCreation.ts

@@ -0,0 +1,112 @@
+import type {
+    BranchStepJson,
+    ConditionalJson,
+    ForStepJson,
+    JobJson,
+    JobStepJson,
+    ResourceRoleIdentityJson,
+    WhileStepJson,
+} from '@toolproof-core/schema';
+import { getNewStepIdentity } from '../firebase/firebaseAdminHelpers.js';
+
+
+function assertNonEmpty<T>(arr: T[], msg: string): asserts arr is [T, ...T[]] {
+    if (arr.length === 0) throw new Error(msg);
+}
+
+
+export async function createJobStepFromJob(job: JobJson): Promise<JobStepJson> {
+    const inputBindings = Object.keys(job.roles.inputDict ?? {}) as ResourceRoleIdentityJson[];
+    const outputBindings = Object.keys(job.roles.outputDict ?? {}) as ResourceRoleIdentityJson[];
+
+    return {
+        identity: getNewStepIdentity('job'),
+        stepKind: 'job',
+        jobHandle: job.identity,
+        roleBindings: {
+            inputBindings,
+            outputBindings,
+        },
+    };
+}
+
+
+export async function createLoopStepFromJobs(
+    whatJob: JobJson,
+    whenJob: JobJson,
+    stepKind: 'for' | 'while'
+): Promise<ForStepJson | WhileStepJson> {
+    const what = await createJobStepFromJob(whatJob);
+    const when = await createJobStepFromJob(whenJob);
+
+    if (stepKind === 'for') {
+        return {
+            identity: getNewStepIdentity('for'),
+            stepKind: 'for',
+            case: { what, when },
+        };
+    }
+
+    return {
+        identity: getNewStepIdentity('while'),
+        stepKind: 'while',
+        case: { what, when },
+    };
+}
+
+
+export async function createBranchStepFromJobPairs(
+    cases: Array<{ whatJob: JobJson; whenJob: JobJson }>
+): Promise<BranchStepJson> {
+    const resolved = await Promise.all(
+        cases.map(async ({ whatJob, whenJob }) => {
+            const what = await createJobStepFromJob(whatJob);
+            const when = await createJobStepFromJob(whenJob);
+            return { what, when } satisfies ConditionalJson;
+        })
+    );
+
+    assertNonEmpty(resolved, 'createBranchStepFromJobPairs requires at least one case');
+
+    return {
+        identity: getNewStepIdentity('branch'),
+        stepKind: 'branch',
+        cases: resolved,
+    };
+}
+
+
+export function cloneForStep(forStep: ForStepJson): ForStepJson {
+    return {
+        identity: getNewStepIdentity('for'),
+        stepKind: 'for',
+        case: {
+            what: {
+                ...forStep.case.what,
+                identity: getNewStepIdentity('job'),
+            },
+            when: {
+                ...forStep.case.when,
+                identity: getNewStepIdentity('job'),
+            },
+        },
+    };
+}
+
+
+export function cloneWhileStep(whileStep: WhileStepJson): WhileStepJson {
+    return {
+        identity: getNewStepIdentity('while'),
+        stepKind: 'while',
+        case: {
+            what: {
+                ...whileStep.case.what,
+                identity: getNewStepIdentity('job'),
+            },
+            when: {
+                ...whileStep.case.when,
+                identity: getNewStepIdentity('job'),
+            },
+        },
+    };
+}

package/tsconfig.tsbuildinfo

@@ -1 +1 @@
-{"root":["./src/_lib/setup/firebaseadmininit.ts","./src/artifacts/artifacts.ts","./src/firebase/firebaseadminhelpers.ts","./src/types/types.ts","./src/utils/extractfrom.ts","./src/utils/extractfromresourcesbyresourcetypehandle.ts","./src/utils/generatefrom.ts"],"version":"5.9.3"}
+{"root":["./src/shared.ts","./src/_lib/setup/firebaseadmininit.ts","./src/artifacts/artifacts.ts","./src/firebase/firebaseadminhelpers.ts","./src/types/types.ts","./src/utils/extractfrom.ts","./src/utils/extractfromresourcesbyresourcetypehandle.ts","./src/utils/generatefrom.ts","./src/utils/parallelization.ts","./src/utils/resourcechain.ts","./src/utils/roleresourcebinding.ts","./src/utils/runnablestrategycreation.ts","./src/utils/stepcreation.ts"],"version":"5.9.3"}