@victframework/runtime 0.1.0

package/dist/orchestration-plan.js

@@ -0,0 +1,265 @@
+import { backoffDelayMs, isRetryable, resolveDecisionRoute, } from '@victframework/kernel';
+import { canonicalBranchLineage, forkChildTokenId, forkLineageOf, joinTokenId, waitIdFor, } from './orchestration-activation.js';
+export function invalidOutcome(message) {
+    return {
+        code: 'VICT_ORCH_INVALID_TRANSITION',
+        message,
+        retryable: false,
+    };
+}
+export function blockedOutcome(code, reason) {
+    return { continuation: { kind: 'block', code, reason }, runStatus: 'blocked' };
+}
+function safeCode(error) {
+    return error?.code ?? 'VICT_ORCH_CAPABILITY_FAILED';
+}
+export function planContinuation(input) {
+    const { graph, claim, outcome } = input;
+    const node = graph.getNode(claim.token.nodeId);
+    if (!node) {
+        return {
+            kind: 'invalid',
+            error: invalidOutcome(`Compiled graph '${graph.id}' has no node '${claim.token.nodeId}'.`),
+        };
+    }
+    if (outcome.kind === 'cancelled') {
+        return { kind: 'transition', continuation: { kind: 'none' }, runStatus: 'running' };
+    }
+    if (outcome.kind === 'outcome_unknown') {
+        return {
+            kind: 'transition',
+            continuation: {
+                kind: 'block',
+                code: 'VICT_ORCH_OUTCOME_UNKNOWN',
+                reason: 'The attempt outcome is unknown; explicit operator resolution is required.',
+            },
+            runStatus: 'blocked',
+        };
+    }
+    if (outcome.kind === 'failed') {
+        return planFailure(input, safeCode(outcome.error));
+    }
+    if (outcome.kind === 'timed_out') {
+        return planTimeout(input);
+    }
+    return planSuccess(input);
+}
+/** Failure routing: bounded retry → error edge → branch failure → run failed. */
+function planFailure(input, code) {
+    const { graph, claim } = input;
+    const node = graph.getNode(claim.token.nodeId);
+    if (node.retry !== undefined &&
+        claim.attempt.attemptNumber < node.retry.maxAttempts &&
+        isRetryable(node.retry, code)) {
+        return {
+            kind: 'transition',
+            continuation: {
+                kind: 'retry',
+                dueAt: input.now + backoffDelayMs(node.retry, claim.attempt.attemptNumber),
+                retryOnCode: code,
+                maxAttempts: node.retry.maxAttempts,
+            },
+            runStatus: 'running',
+        };
+    }
+    const errorTarget = graph.errorTargetOf(node.id);
+    if (errorTarget !== undefined) {
+        return {
+            kind: 'transition',
+            continuation: { kind: 'advance', toNodeId: errorTarget, payload: input.error },
+            runStatus: 'running',
+        };
+    }
+    if (claim.token.forkId !== null) {
+        return { kind: 'transition', continuation: { kind: 'branchFailure' }, runStatus: 'failed' };
+    }
+    return { kind: 'transition', continuation: { kind: 'none' }, runStatus: 'failed' };
+}
+/** Timeout routing under effect-specific ambiguity rules (handoff §13). */
+function planTimeout(input) {
+    const { graph, claim } = input;
+    const node = graph.getNode(claim.token.nodeId);
+    const effect = input.descriptor?.effect ?? 'pure';
+    const keyed = input.descriptor?.idempotency === 'keyed';
+    const retry = node.retry;
+    if (retry !== undefined &&
+        claim.attempt.attemptNumber < retry.maxAttempts &&
+        isRetryable(retry, 'timeout')) {
+        if (effect === 'irreversible') {
+            const blocked = blockedOutcome('VICT_ORCH_AMBIGUOUS_TIMEOUT', 'A timed-out irreversible attempt is never replayed; operator resolution is required.');
+            return { kind: 'transition', ...blocked };
+        }
+        if (effect === 'write' && !keyed) {
+            const blocked = blockedOutcome('VICT_ORCH_OUTCOME_UNKNOWN', 'A timed-out write without keyed idempotency has an ambiguous outcome.');
+            return { kind: 'transition', ...blocked };
+        }
+        return {
+            kind: 'transition',
+            continuation: {
+                kind: 'retry',
+                dueAt: input.now + backoffDelayMs(retry, claim.attempt.attemptNumber),
+                retryOnCode: 'timeout',
+                maxAttempts: retry.maxAttempts,
+            },
+            runStatus: 'running',
+        };
+    }
+    if (effect === 'write' || effect === 'irreversible') {
+        const blocked = blockedOutcome('VICT_ORCH_OUTCOME_UNKNOWN', 'A timed-out unsafe effect has an ambiguous outcome; it is never replayed automatically.');
+        return { kind: 'transition', ...blocked };
+    }
+    return planFailure(input, 'timeout');
+}
+/** Success routing: decision routes, waits, forks, terminal, and branch arrival. */
+function planSuccess(input) {
+    const { graph, claim } = input;
+    const node = graph.getNode(claim.token.nodeId);
+    if (node.kind === 'decision') {
+        const result = input.validatedOutput;
+        if (!result || typeof result !== 'object' || typeof result.route !== 'string') {
+            return {
+                kind: 'invalid',
+                error: invalidOutcome(`Decision node '${node.id}' must return a validated DecisionResult.`),
+            };
+        }
+        const resolved = resolveDecisionRoute(graph.routeTargetsOf(node.id), result);
+        if (!resolved.ok) {
+            return {
+                kind: 'invalid',
+                error: invalidOutcome(resolved.code === 'EMPTY_ROUTE'
+                    ? `Decision node '${node.id}' returned an empty route; no target was invoked.`
+                    : `Decision node '${node.id}' returned undeclared route '${resolved.route}'; no target was invoked.`),
+            };
+        }
+        return {
+            kind: 'transition',
+            continuation: { kind: 'advance', toNodeId: resolved.target, payload: result.value },
+            runStatus: 'running',
+        };
+    }
+    if (node.kind === 'wait' && input.resolvedWait !== true) {
+        const wait = node.wait;
+        const waitId = waitIdFor(claim.token.runId, claim.token.lineage, node.id);
+        if (wait.kind === 'timer') {
+            // Scheduling-time overflow guard: the deadline must stay inside the
+            // safe persisted-timestamp domain. Compilation already rejects
+            // non-positive/fractional/NaN/Infinite delays; an enormous (but
+            // compile-valid) delay combined with the current time could still
+            // overflow `Number.MAX_SAFE_INTEGER`, which fails structurally here
+            // instead of persisting an unusable timestamp.
+            const dueAt = input.now + wait.delayMs;
+            if (!Number.isSafeInteger(dueAt)) {
+                return {
+                    kind: 'invalid',
+                    error: invalidOutcome(`Timer wait node '${node.id}' declares delayMs ${wait.delayMs}, which would schedule a deadline outside the safe persisted-timestamp domain; the run cannot park on this wait.`),
+                };
+            }
+            const command = {
+                waitId,
+                nodeId: node.id,
+                kind: 'timer',
+                signalName: null,
+                contractId: null,
+                contractRevision: null,
+                dueAt,
+                timeoutAt: null,
+            };
+            return {
+                kind: 'transition',
+                continuation: { kind: 'wait', wait: command },
+                runStatus: 'waiting',
+            };
+        }
+        // Same overflow guard for a declared wait timeout (absent when
+        // `undefined` or `null`).
+        const timeoutAt = wait.timeoutMs !== undefined && wait.timeoutMs !== null ? input.now + wait.timeoutMs : null;
+        if (timeoutAt !== null && !Number.isSafeInteger(timeoutAt)) {
+            return {
+                kind: 'invalid',
+                error: invalidOutcome(`Signal wait node '${node.id}' declares timeoutMs ${String(wait.timeoutMs)}, which would schedule a deadline outside the safe persisted-timestamp domain; the run cannot park on this wait.`),
+            };
+        }
+        const command = {
+            waitId,
+            nodeId: node.id,
+            kind: 'signal',
+            signalName: wait.name,
+            contractId: wait.contract ?? null,
+            contractRevision: null,
+            dueAt: null,
+            // The canonical manifest form normalizes an ABSENT timeout to `null`.
+            // Both `undefined` and `null` mean "no timeout": no wait-timeout timer
+            // is scheduled for a plain signal wait.
+            timeoutAt,
+        };
+        return {
+            kind: 'transition',
+            continuation: { kind: 'wait', wait: command },
+            runStatus: 'waiting',
+        };
+    }
+    if (node.kind === 'fork') {
+        const joinId = graph.joinOfFork(node.id);
+        if (joinId === undefined) {
+            return {
+                kind: 'invalid',
+                error: invalidOutcome(`Fork node '${node.id}' has no matching join.`),
+            };
+        }
+        const children = graph.branchKeysOf(node.id).map((branchKey) => ({
+            branchKey,
+            toNodeId: graph.branchTargetsOf(node.id)[branchKey],
+            forkId: node.id,
+            lineage: canonicalBranchLineage(claim.token.lineage, node.id, branchKey),
+            tokenId: forkChildTokenId(claim.token.runId, node.id, branchKey),
+        }));
+        return {
+            kind: 'transition',
+            continuation: { kind: 'fork', joinId, children },
+            runStatus: 'running',
+        };
+    }
+    const successTarget = graph.successTargetOf(node.id);
+    if (successTarget === undefined) {
+        if (claim.token.forkId !== null) {
+            // A branch path escaping to a terminal is a compile-time diagnostic;
+            // treat defensively as a branch failure.
+            return { kind: 'transition', continuation: { kind: 'branchFailure' }, runStatus: 'failed' };
+        }
+        return { kind: 'transition', continuation: { kind: 'none' }, runStatus: 'completed' };
+    }
+    const targetNode = graph.getNode(successTarget);
+    if (targetNode !== undefined && targetNode.kind === 'join') {
+        // Branch arrival: the branch token is consumed; the store records the
+        // branch result and — on the final arrival — creates exactly ONE
+        // join-ready token AT THE JOIN NODE carrying the private canonical
+        // checkpoint. The join node is then claimed and completed by the
+        // runtime like any other control node: its declared output contract
+        // is validated OUTSIDE the store transaction, and one atomic
+        // transition either advances downstream (or completes a terminal
+        // join) or fails the run with a sanitized contract error. The join
+        // therefore always crosses its own declared boundary, exactly once,
+        // even when it declares zero success edges (terminal join).
+        return {
+            kind: 'transition',
+            continuation: {
+                kind: 'branchArrival',
+                forkId: targetNode.fork,
+                joinId: successTarget,
+                branchKey: claim.token.branchKey ?? '',
+                joinContinuation: {
+                    tokenId: joinTokenId(claim.token.runId, successTarget),
+                    toNodeId: successTarget,
+                    lineage: forkLineageOf(claim.token.lineage, targetNode.fork, claim.token.branchKey ?? ''),
+                },
+            },
+            runStatus: 'running',
+        };
+    }
+    return {
+        kind: 'transition',
+        continuation: { kind: 'advance', toNodeId: successTarget, payload: input.validatedOutput },
+        runStatus: 'running',
+    };
+}
+//# sourceMappingURL=orchestration-plan.js.map

package/dist/orchestration-plan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"orchestration-plan.js","sourceRoot":"","sources":["../src/orchestration-plan.ts"],"names":[],"mappings":"AACA,OAAO,EACL,cAAc,EACd,WAAW,EACX,oBAAoB,GAOrB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,sBAAsB,EACtB,gBAAgB,EAChB,aAAa,EACb,WAAW,EACX,SAAS,GACV,MAAM,+BAA+B,CAAC;AAkDvC,MAAM,UAAU,cAAc,CAAC,OAAe;IAC5C,OAAO;QACL,IAAI,EAAE,8BAA8B;QACpC,OAAO;QACP,SAAS,EAAE,KAAK;KACO,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,IAAY,EACZ,MAAc;IAEd,OAAO,EAAE,YAAY,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;AACjF,CAAC;AAED,SAAS,QAAQ,CAAC,KAA4B;IAC5C,OAAO,KAAK,EAAE,IAAI,IAAI,6BAA6B,CAAC;AACtD,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,KAAgB;IAC/C,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IACxC,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC/C,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO;YACL,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,cAAc,CAAC,mBAAmB,KAAK,CAAC,EAAE,kBAAkB,KAAK,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC;SAC3F,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACjC,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,YAAY,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;IACtF,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACvC,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,YAAY,EAAE;gBACZ,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,2BAA2B;gBACjC,MAAM,EAAE,2EAA2E;aACpF;YACD,SAAS,EAAE,SAAS;SACrB,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;IACrD,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACjC,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC;IACD,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC;AAC5B,CAAC;AAED,iFAAiF;AACjF,SAAS,WAAW,CAAC,KAAgB,EAAE,IAAY;IACjD,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IAC/B,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAiB,CAAC;IAC/D,IACE,IAAI,CAAC,KAAK,KAAK,SAAS;QACxB,KAAK,CAAC,OAAO,CAAC,aAAa,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW;QACpD,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,EAC7B,CAAC;QACD,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,YAAY,EAAE;gBACZ,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE,KAAK,CAAC,GAAG,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC;gBAC1E,WAAW,EAAE,IAAI;gBACjB,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW;aACpC;YACD,SAAS,EAAE,SAAS;SACrB,CAAC;IACJ,CAAC;IACD,MAAM,WAAW,GAAG,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;QAC9B,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,YAAY,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,KAAK,CAAC,KAAK,EAAE;YAC9E,SAAS,EAAE,SAAS;SACrB,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;QAChC,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;IAC9F,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,YAAY,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;AACrF,CAAC;AAED,2EAA2E;AAC3E,SAAS,WAAW,CAAC,KAAgB;IACnC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IAC/B,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAiB,CAAC;IAC/D,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,EAAE,MAAM,IAAI,MAAM,CAAC;IAClD,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,EAAE,WAAW,KAAK,OAAO,CAAC;IACxD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;IACzB,IACE,KAAK,KAAK,SAAS;QACnB,KAAK,CAAC,OAAO,CAAC,aAAa,GAAG,KAAK,CAAC,WAAW;QAC/C,WAAW,CAAC,KAAK,EAAE,SAAS,CAAC,EAC7B,CAAC;QACD,IAAI,MAAM,KAAK,cAAc,EAAE,CAAC;YAC9B,MAAM,OAAO,GAAG,cAAc,CAC5B,6BAA6B,EAC7B,sFAAsF,CACvF,CAAC;YACF,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,OAAO,EAAE,CAAC;QAC5C,CAAC;QACD,IAAI,MAAM,KAAK,OAAO,IAAI,CAAC,KAAK,EAAE,CAAC;YACjC,MAAM,OAAO,GAAG,cAAc,CAC5B,2BAA2B,EAC3B,uEAAuE,CACxE,CAAC;YACF,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,OAAO,EAAE,CAAC;QAC5C,CAAC;QACD,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,YAAY,EAAE;gBACZ,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE,KAAK,CAAC,GAAG,GAAG,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC;gBACrE,WAAW,EAAE,SAAS;gBACtB,WAAW,EAAE,KAAK,CAAC,WAAW;aAC/B;YACD,SAAS,EAAE,SAAS;SACrB,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,KAAK,OAAO,IAAI,MAAM,KAAK,cAAc,EAAE,CAAC;QACpD,MAAM,OAAO,GAAG,cAAc,CAC5B,2BAA2B,EAC3B,yFAAyF,CAC1F,CAAC;QACF,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,OAAO,EAAE,CAAC;IAC5C,CAAC;IACD,OAAO,WAAW,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;AACvC,CAAC;AAED,oFAAoF;AACpF,SAAS,WAAW,CAAC,KAAgB;IACnC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IAC/B,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAiB,CAAC;IAC/D,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,KAAK,CAAC,eAA6C,CAAC;QACnE,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9E,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,cAAc,CAAC,kBAAkB,IAAI,CAAC,EAAE,2CAA2C,CAAC;aAC5F,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAG,oBAAoB,CAAC,KAAK,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QAC7E,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;YACjB,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,cAAc,CACnB,QAAQ,CAAC,IAAI,KAAK,aAAa;oBAC7B,CAAC,CAAC,kBAAkB,IAAI,CAAC,EAAE,mDAAmD;oBAC9E,CAAC,CAAC,kBAAkB,IAAI,CAAC,EAAE,gCAAgC,QAAQ,CAAC,KAAK,2BAA2B,CACvG;aACF,CAAC;QACJ,CAAC;QACD,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,YAAY,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,EAAE;YACnF,SAAS,EAAE,SAAS;SACrB,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,YAAY,KAAK,IAAI,EAAE,CAAC;QACxD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAkD,CAAC;QACrE,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1E,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC1B,oEAAoE;YACpE,+DAA+D;YAC/D,gEAAgE;YAChE,kEAAkE;YAClE,oEAAoE;YACpE,+CAA+C;YAC/C,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC;YACvC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;gBACjC,OAAO;oBACL,IAAI,EAAE,SAAS;oBACf,KAAK,EAAE,cAAc,CACnB,oBAAoB,IAAI,CAAC,EAAE,sBAAsB,IAAI,CAAC,OAAO,kHAAkH,CAChL;iBACF,CAAC;YACJ,CAAC;YACD,MAAM,OAAO,GAAmB;gBAC9B,MAAM;gBACN,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE,IAAI;gBAChB,UAAU,EAAE,IAAI;gBAChB,gBAAgB,EAAE,IAAI;gBACtB,KAAK;gBACL,SAAS,EAAE,IAAI;aAChB,CAAC;YACF,OAAO;gBACL,IAAI,EAAE,YAAY;gBAClB,YAAY,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE;gBAC7C,SAAS,EAAE,SAAS;aACrB,CAAC;QACJ,CAAC;QACD,+DAA+D;QAC/D,0BAA0B;QAC1B,MAAM,SAAS,GACb,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;QAC9F,IAAI,SAAS,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC;YAC3D,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,cAAc,CACnB,qBAAqB,IAAI,CAAC,EAAE,wBAAwB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,kHAAkH,CAC7L;aACF,CAAC;QACJ,CAAC;QACD,MAAM,OAAO,GAAmB;YAC9B,MAAM;YACN,MAAM,EAAE,IAAI,CAAC,EAAE;YACf,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE,IAAI,CAAC,IAAI;YACrB,UAAU,EAAE,IAAI,CAAC,QAAQ,IAAI,IAAI;YACjC,gBAAgB,EAAE,IAAI;YACtB,KAAK,EAAE,IAAI;YACX,sEAAsE;YACtE,uEAAuE;YACvE,wCAAwC;YACxC,SAAS;SACV,CAAC;QACF,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,YAAY,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE;YAC7C,SAAS,EAAE,SAAS;SACrB,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,cAAc,CAAC,cAAc,IAAI,CAAC,EAAE,yBAAyB,CAAC;aACtE,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAG,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YAC/D,SAAS;YACT,QAAQ,EAAE,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,SAAS,CAAW;YAC7D,MAAM,EAAE,IAAI,CAAC,EAAE;YACf,OAAO,EAAE,sBAAsB,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,SAAS,CAAC;YACxE,OAAO,EAAE,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,EAAE,SAAS,CAAC;SACjE,CAAC,CAAC,CAAC;QACJ,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,YAAY,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE;YAChD,SAAS,EAAE,SAAS;SACrB,CAAC;IACJ,CAAC;IACD,MAAM,aAAa,GAAG,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrD,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;QAChC,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;YAChC,qEAAqE;YACrE,yCAAyC;YACzC,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;QAC9F,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,YAAY,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE,CAAC;IACxF,CAAC;IACD,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IAChD,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC3D,sEAAsE;QACtE,iEAAiE;QACjE,mEAAmE;QACnE,iEAAiE;QACjE,oEAAoE;QACpE,6DAA6D;QAC7D,iEAAiE;QACjE,mEAAmE;QACnE,oEAAoE;QACpE,4DAA4D;QAC5D,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,YAAY,EAAE;gBACZ,IAAI,EAAE,eAAe;gBACrB,MAAM,EAAE,UAAU,CAAC,IAAc;gBACjC,MAAM,EAAE,aAAa;gBACrB,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,SAAS,IAAI,EAAE;gBACtC,gBAAgB,EAAE;oBAChB,OAAO,EAAE,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,aAAa,CAAC;oBACtD,QAAQ,EAAE,aAAa;oBACvB,OAAO,EAAE,aAAa,CACpB,KAAK,CAAC,KAAK,CAAC,OAAO,EACnB,UAAU,CAAC,IAAc,EACzB,KAAK,CAAC,KAAK,CAAC,SAAS,IAAI,EAAE,CAC5B;iBACF;aACF;YACD,SAAS,EAAE,SAAS;SACrB,CAAC;IACJ,CAAC;IACD,OAAO;QACL,IAAI,EAAE,YAAY;QAClB,YAAY,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,aAAa,EAAE,OAAO,EAAE,KAAK,CAAC,eAAe,EAAE;QAC1F,SAAS,EAAE,SAAS;KACrB,CAAC;AACJ,CAAC"}

package/dist/orchestration-race-conformance.d.ts

@@ -0,0 +1,35 @@
+import type { VictRuntime } from './runtime.js';
+import type { ConformanceExpect, ConformanceTestRunner, OrchestrationConformanceFixture, OrchestrationConformanceStores } from './orchestration-conformance.js';
+/**
+ * Adapter-neutral Stage 03 race and adversarial conformance suite
+ * (corrective evidence for handoff §23–§24: races, fencing, cancellation,
+ * blocked-state resolution, fan-out recovery). Every conforming backend
+ * (in-memory, SQLite) runs this exact suite. Deterministic by
+ * construction: barriers, injected deadlines and raw guarded store
+ * commands — never timing guesses.
+ */
+export interface OrchestrationRaceStores extends OrchestrationConformanceStores {
+    /** A SECOND runtime sharing the same durable stores with explicit operator authorization. */
+    createOperatorRuntime(): Promise<VictRuntime>;
+}
+export interface OrchestrationRaceFixture extends OrchestrationConformanceFixture {
+    /**
+     * `clock` (optional) is injected as both the runtime clock and the
+     * orchestration time port so timeout/race tests are fully deterministic.
+     */
+    create(clock?: ManualOrchestrationClock): Promise<OrchestrationRaceStores>;
+}
+/**
+ * A fully deterministic orchestration clock: `now()` is test-advanced,
+ * `delay()` resolves only when the test advances past the requested due
+ * time. Injected as BOTH the runtime `clock` and the orchestration time
+ * port, so persisted deadlines, retry-timer eligibility, and deadline
+ * racing all move only when the test moves them. No wall-clock guessing.
+ */
+export interface ManualOrchestrationClock {
+    readonly now: () => number;
+    readonly delay: (ms: number) => Promise<void>;
+    readonly advance: (ms: number) => void;
+}
+export declare function createManualOrchestrationClock(start?: number): ManualOrchestrationClock;
+export declare function runOrchestrationRaceSuite(runner: ConformanceTestRunner, expect: ConformanceExpect, factory: OrchestrationRaceFixture): void;