@tangle-network/braid 0.1.0

package/dist/app/run-execution.js

@@ -0,0 +1,217 @@
+import { UNKNOWN_TURN_USAGE } from '../domain/run-usage.js';
+import { isRuntimeEventEnvelope } from '../domain/runtime-events.js';
+import { safeRuntimeDiagnostic } from './provider-values.js';
+import { eventIdFor, providerMeta } from './run-event-mapper.js';
+import { reconnectRun } from './run-replay.js';
+export async function executeRun(context, input, admission, abort) {
+    let terminalSeen = false;
+    let eventSequence = 0;
+    try {
+        const currentRun = context.currentState().runs.find((run) => run.id === admission.runId);
+        const runtimeInput = {
+            operationId: input.operationId,
+            runId: admission.runId,
+            text: input.text,
+            profile: input.profile,
+            ...(input.connectionId === undefined ? {} : { connectionId: input.connectionId }),
+            ...(input.workspaceRoot === undefined ? {} : { workspaceRoot: input.workspaceRoot }),
+            signal: abort.signal,
+            ...(input.sessionId === undefined ? {} : { sessionId: input.sessionId }),
+            ...(currentRun?.lastCursor === undefined ? {} : { after: currentRun.lastCursor }),
+            ...(currentRun === undefined ? {} : { afterSequence: currentRun.lastProviderSequence }),
+            ...(input.contextPlan === undefined ? {} : { contextBoundary: input.contextPlan.digest }),
+        };
+        if (context.ledger.isDetached(admission.runId))
+            return;
+        for await (const runtimeEvent of context.execution.streamTurn(runtimeInput)) {
+            if (context.ledger.isDetached(admission.runId))
+                break;
+            if (context.isTerminal(context.findRun(admission.runId).status))
+                break;
+            if (terminalSeen)
+                break;
+            if (isRuntimeEventEnvelope(runtimeEvent)) {
+                const result = await context.ingestRuntimeEvent(runtimeEvent);
+                if (result.accepted && runtimeEvent.event.type === 'final') {
+                    terminalSeen = true;
+                    await context.flush();
+                }
+                continue;
+            }
+            eventSequence += 1;
+            const receivedAt = context.clock.now();
+            const eventId = eventIdFor(admission.runId, runtimeEvent, eventSequence);
+            const meta = providerMeta(eventId, eventSequence, runtimeEvent, receivedAt);
+            const result = await context.ingestRuntimeEvent({
+                runId: admission.runId,
+                eventId,
+                sequence: eventSequence,
+                receivedAt,
+                ...(meta.occurredAt === undefined ? {} : { occurredAt: meta.occurredAt }),
+                event: runtimeEvent,
+            });
+            if (result.accepted && runtimeEvent.type === 'final') {
+                terminalSeen = true;
+                await context.flush();
+            }
+        }
+        if (context.ledger.isDetached(admission.runId))
+            return;
+        if (!terminalSeen)
+            await finishWithoutTerminal(context, input, admission, abort);
+    }
+    catch (error) {
+        if (context.ledger.isDetached(admission.runId))
+            return;
+        const message = safeRuntimeDiagnostic(error instanceof Error ? error.message : String(error), 'RUNTIME_EXECUTION_ERROR');
+        if (terminalSeen)
+            throw error;
+        if (!terminalSeen)
+            await finishAfterError(context, input, admission, abort, message);
+    }
+    finally {
+        context.ledger.deleteAbort(admission.runId);
+        context.ledger.clearExplicitlyCancelled(admission.runId);
+        const finalRun = context.findRun(admission.runId);
+        if (context.isTerminal(finalRun.status) &&
+            (finalRun.status !== 'unknown' ||
+                (finalRun.capabilities.controls.cancel && context.execution.cancelRun === undefined)) &&
+            !context.currentState().missingHistory.some((range) => range.runId === finalRun.id))
+            await drainQueue(context);
+    }
+}
+async function finishWithoutTerminal(context, input, admission, abort) {
+    if (context.isTerminal(context.findRun(admission.runId).status))
+        return;
+    if (!abort.signal.aborted &&
+        admission.capabilities.streaming.replay &&
+        admission.capabilities.events.cursor &&
+        context.execution.reconnect) {
+        await reconnectRun(context, {
+            operationId: `${input.operationId}:reconnect`,
+            runId: admission.runId,
+        });
+        return;
+    }
+    if (abort.signal.aborted || context.ledger.isExplicitlyCancelled(admission.runId)) {
+        const pendingCancel = context.ledger.controlForRun(admission.runId, 'cancel');
+        if (pendingCancel) {
+            const acknowledgement = await pendingCancel.acknowledgement;
+            if (acknowledgement.outcome === 'accepted' || acknowledgement.outcome === 'already-applied')
+                return;
+            if (!context.isTerminal(context.findRun(admission.runId).status)) {
+                await commitRequiredRecovery(context, {
+                    kind: 'run.unknown',
+                    runId: admission.runId,
+                    detail: acknowledgement.detail ?? 'Cancellation outcome is unknown',
+                });
+            }
+            return;
+        }
+        const status = context.ledger.getCancelStatus(admission.runId) ?? 'cancelled';
+        await commitRequiredRecovery(context, {
+            kind: 'run.finished',
+            runId: admission.runId,
+            status: abort.signal.aborted && !context.ledger.isExplicitlyCancelled(admission.runId)
+                ? 'aborted'
+                : status,
+            finalText: '',
+            usage: UNKNOWN_TURN_USAGE,
+            error: abort.signal.reason instanceof Error ? abort.signal.reason.message : 'Cancelled by user',
+        });
+    }
+    else {
+        await context.commitAndWait({
+            kind: 'run.unknown',
+            runId: admission.runId,
+            detail: 'The normalized event stream ended without a terminal event',
+        });
+    }
+}
+async function finishAfterError(context, input, admission, abort, message) {
+    if (context.isTerminal(context.findRun(admission.runId).status))
+        return;
+    if (!abort.signal.aborted &&
+        admission.capabilities.streaming.replay &&
+        admission.capabilities.events.cursor &&
+        context.execution.reconnect) {
+        await reconnectRun(context, {
+            operationId: `${input.operationId}:reconnect`,
+            runId: admission.runId,
+        });
+        return;
+    }
+    if (abort.signal.aborted || context.ledger.isExplicitlyCancelled(admission.runId)) {
+        const pendingCancel = context.ledger.controlForRun(admission.runId, 'cancel');
+        if (pendingCancel) {
+            const acknowledgement = await pendingCancel.acknowledgement;
+            if (acknowledgement.outcome === 'accepted' || acknowledgement.outcome === 'already-applied')
+                return;
+            if (!context.isTerminal(context.findRun(admission.runId).status)) {
+                await commitRequiredRecovery(context, {
+                    kind: 'run.unknown',
+                    runId: admission.runId,
+                    detail: acknowledgement.detail ?? 'Cancellation outcome is unknown',
+                });
+            }
+            return;
+        }
+        const status = context.ledger.getCancelStatus(admission.runId) ?? 'cancelled';
+        await commitRequiredRecovery(context, {
+            kind: 'run.finished',
+            runId: admission.runId,
+            status: abort.signal.aborted && !context.ledger.isExplicitlyCancelled(admission.runId)
+                ? 'aborted'
+                : status,
+            finalText: '',
+            usage: UNKNOWN_TURN_USAGE,
+            error: message,
+        });
+    }
+    else {
+        await commitRequiredRecovery(context, {
+            kind: 'run.finished',
+            runId: admission.runId,
+            status: 'failed',
+            finalText: '',
+            usage: UNKNOWN_TURN_USAGE,
+            error: message,
+        });
+    }
+}
+async function commitRequiredRecovery(context, event) {
+    const commit = context.commitAndWaitRecovery ?? context.commitAndWait;
+    const result = commit(event);
+    if (result !== undefined)
+        await result;
+}
+export async function drainQueue(context) {
+    const next = context.currentState().queuedInputs[0];
+    if (!next || context.currentState().activeRunId)
+        return;
+    if (context.currentState().missingHistory.some((range) => range.runId === next.runId))
+        return;
+    const completed = context.findRun(next.runId);
+    if ((completed.status === 'unknown' &&
+        (!completed.capabilities.controls.cancel || context.execution.cancelRun !== undefined)) ||
+        !context.isTerminal(completed.status))
+        return;
+    if (!context.ledger.claimQueueDrain(next.operationId))
+        return;
+    try {
+        const receipt = context.send({ operationId: next.operationId, text: next.text });
+        if (receipt.admissionReady !== undefined)
+            await receipt.admissionReady;
+        const removed = context.commitAndWait({
+            kind: 'run.queue.removed',
+            runId: next.runId,
+            operationId: next.operationId,
+        });
+        if (removed !== undefined)
+            await removed;
+    }
+    finally {
+        context.ledger.releaseQueueDrain(next.operationId);
+    }
+}
+//# sourceMappingURL=run-execution.js.map

package/dist/app/run-execution.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-execution.js","sourceRoot":"","sources":["../../src/app/run-execution.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAA;AAC3D,OAAO,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAA;AAGpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAA;AAC5D,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAA;AAEhE,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAA;AAE9C,MAAM,CAAC,KAAK,UAAU,UAAU,CAC9B,OAAyB,EACzB,KAA2B,EAC3B,SAA8D,EAC9D,KAAsB;IAEtB,IAAI,YAAY,GAAG,KAAK,CAAA;IACxB,IAAI,aAAa,GAAG,CAAC,CAAA;IACrB,IAAI,CAAC;QACH,MAAM,UAAU,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,SAAS,CAAC,KAAK,CAAC,CAAA;QACxF,MAAM,YAAY,GAAqB;YACrC,WAAW,EAAE,KAAK,CAAC,WAAW;YAC9B,KAAK,EAAE,SAAS,CAAC,KAAK;YACtB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,GAAG,CAAC,KAAK,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,KAAK,CAAC,YAAY,EAAE,CAAC;YACjF,GAAG,CAAC,KAAK,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,KAAK,CAAC,aAAa,EAAE,CAAC;YACpF,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,GAAG,CAAC,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC;YACxE,GAAG,CAAC,UAAU,EAAE,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,UAAU,EAAE,CAAC;YACjF,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,UAAU,CAAC,oBAAoB,EAAE,CAAC;YACvF,GAAG,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC;SAC1F,CAAA;QACD,IAAI,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC;YAAE,OAAM;QACtD,IAAI,KAAK,EAAE,MAAM,YAAY,IAAI,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;YAC5E,IAAI,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC;gBAAE,MAAK;YACrD,IAAI,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC;gBAAE,MAAK;YACtE,IAAI,YAAY;gBAAE,MAAK;YACvB,IAAI,sBAAsB,CAAC,YAAY,CAAC,EAAE,CAAC;gBACzC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,kBAAkB,CAAC,YAAY,CAAC,CAAA;gBAC7D,IAAI,MAAM,CAAC,QAAQ,IAAI,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;oBAC3D,YAAY,GAAG,IAAI,CAAA;oBACnB,MAAM,OAAO,CAAC,KAAK,EAAE,CAAA;gBACvB,CAAC;gBACD,SAAQ;YACV,CAAC;YACD,aAAa,IAAI,CAAC,CAAA;YAClB,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,CAAA;YACtC,MAAM,OAAO,GAAG,UAAU,CAAC,SAAS,CAAC,KAAK,EAAE,YAAY,EAAE,aAAa,CAAC,CAAA;YACxE,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,UAAU,CAAC,CAAA;YAC3E,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,kBAAkB,CAAC;gBAC9C,KAAK,EAAE,SAAS,CAAC,KAAK;gBACtB,OAAO;gBACP,QAAQ,EAAE,aAAa;gBACvB,UAAU;gBACV,GAAG,CAAC,IAAI,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC;gBACzE,KAAK,EAAE,YAAY;aACpB,CAAC,CAAA;YACF,IAAI,MAAM,CAAC,QAAQ,IAAI,YAAY,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBACrD,YAAY,GAAG,IAAI,CAAA;gBACnB,MAAM,OAAO,CAAC,KAAK,EAAE,CAAA;YACvB,CAAC;QACH,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC;YAAE,OAAM;QACtD,IAAI,CAAC,YAAY;YAAE,MAAM,qBAAqB,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,CAAA;IAClF,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC;YAAE,OAAM;QACtD,MAAM,OAAO,GAAG,qBAAqB,CACnC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EACtD,yBAAyB,CAC1B,CAAA;QACD,IAAI,YAAY;YAAE,MAAM,KAAK,CAAA;QAC7B,IAAI,CAAC,YAAY;YAAE,MAAM,gBAAgB,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;IACtF,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;QAC3C,OAAO,CAAC,MAAM,CAAC,wBAAwB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;QACxD,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;QACjD,IACE,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC;YACnC,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS;gBAC5B,CAAC,QAAQ,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,IAAI,OAAO,CAAC,SAAS,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC;YACvF,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC,EAAE,CAAC;YAEnF,MAAM,UAAU,CAAC,OAAO,CAAC,CAAA;IAC7B,CAAC;AACH,CAAC;AAED,KAAK,UAAU,qBAAqB,CAClC,OAAyB,EACzB,KAAiD,EACjD,SAA8D,EAC9D,KAAsB;IAEtB,IAAI,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC;QAAE,OAAM;IACvE,IACE,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO;QACrB,SAAS,CAAC,YAAY,CAAC,SAAS,CAAC,MAAM;QACvC,SAAS,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM;QACpC,OAAO,CAAC,SAAS,CAAC,SAAS,EAC3B,CAAC;QACD,MAAM,YAAY,CAAC,OAAO,EAAE;YAC1B,WAAW,EAAE,GAAG,KAAK,CAAC,WAAW,YAAY;YAC7C,KAAK,EAAE,SAAS,CAAC,KAAK;SACvB,CAAC,CAAA;QACF,OAAM;IACR,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,CAAC,qBAAqB,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QAClF,MAAM,aAAa,GAAG,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAA;QAC7E,IAAI,aAAa,EAAE,CAAC;YAClB,MAAM,eAAe,GAAG,MAAM,aAAa,CAAC,eAAe,CAAA;YAC3D,IAAI,eAAe,CAAC,OAAO,KAAK,UAAU,IAAI,eAAe,CAAC,OAAO,KAAK,iBAAiB;gBACzF,OAAM;YACR,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;gBACjE,MAAM,sBAAsB,CAAC,OAAO,EAAE;oBACpC,IAAI,EAAE,aAAa;oBACnB,KAAK,EAAE,SAAS,CAAC,KAAK;oBACtB,MAAM,EAAE,eAAe,CAAC,MAAM,IAAI,iCAAiC;iBACpE,CAAC,CAAA;YACJ,CAAC;YACD,OAAM;QACR,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,eAAe,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,WAAW,CAAA;QAC7E,MAAM,sBAAsB,CAAC,OAAO,EAAE;YACpC,IAAI,EAAE,cAAc;YACpB,KAAK,EAAE,SAAS,CAAC,KAAK;YACtB,MAAM,EACJ,KAAK,CAAC,MAAM,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,qBAAqB,CAAC,SAAS,CAAC,KAAK,CAAC;gBAC5E,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,MAAM;YACZ,SAAS,EAAE,EAAE;YACb,KAAK,EAAE,kBAAkB;YACzB,KAAK,EACH,KAAK,CAAC,MAAM,CAAC,MAAM,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,mBAAmB;SAC3F,CAAC,CAAA;IACJ,CAAC;SAAM,CAAC;QACN,MAAM,OAAO,CAAC,aAAa,CAAC;YAC1B,IAAI,EAAE,aAAa;YACnB,KAAK,EAAE,SAAS,CAAC,KAAK;YACtB,MAAM,EAAE,4DAA4D;SACrE,CAAC,CAAA;IACJ,CAAC;AACH,CAAC;AAED,KAAK,UAAU,gBAAgB,CAC7B,OAAyB,EACzB,KAAiD,EACjD,SAA8D,EAC9D,KAAsB,EACtB,OAAe;IAEf,IAAI,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC;QAAE,OAAM;IACvE,IACE,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO;QACrB,SAAS,CAAC,YAAY,CAAC,SAAS,CAAC,MAAM;QACvC,SAAS,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM;QACpC,OAAO,CAAC,SAAS,CAAC,SAAS,EAC3B,CAAC;QACD,MAAM,YAAY,CAAC,OAAO,EAAE;YAC1B,WAAW,EAAE,GAAG,KAAK,CAAC,WAAW,YAAY;YAC7C,KAAK,EAAE,SAAS,CAAC,KAAK;SACvB,CAAC,CAAA;QACF,OAAM;IACR,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,CAAC,qBAAqB,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QAClF,MAAM,aAAa,GAAG,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAA;QAC7E,IAAI,aAAa,EAAE,CAAC;YAClB,MAAM,eAAe,GAAG,MAAM,aAAa,CAAC,eAAe,CAAA;YAC3D,IAAI,eAAe,CAAC,OAAO,KAAK,UAAU,IAAI,eAAe,CAAC,OAAO,KAAK,iBAAiB;gBACzF,OAAM;YACR,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;gBACjE,MAAM,sBAAsB,CAAC,OAAO,EAAE;oBACpC,IAAI,EAAE,aAAa;oBACnB,KAAK,EAAE,SAAS,CAAC,KAAK;oBACtB,MAAM,EAAE,eAAe,CAAC,MAAM,IAAI,iCAAiC;iBACpE,CAAC,CAAA;YACJ,CAAC;YACD,OAAM;QACR,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,eAAe,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,WAAW,CAAA;QAC7E,MAAM,sBAAsB,CAAC,OAAO,EAAE;YACpC,IAAI,EAAE,cAAc;YACpB,KAAK,EAAE,SAAS,CAAC,KAAK;YACtB,MAAM,EACJ,KAAK,CAAC,MAAM,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,qBAAqB,CAAC,SAAS,CAAC,KAAK,CAAC;gBAC5E,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,MAAM;YACZ,SAAS,EAAE,EAAE;YACb,KAAK,EAAE,kBAAkB;YACzB,KAAK,EAAE,OAAO;SACf,CAAC,CAAA;IACJ,CAAC;SAAM,CAAC;QACN,MAAM,sBAAsB,CAAC,OAAO,EAAE;YACpC,IAAI,EAAE,cAAc;YACpB,KAAK,EAAE,SAAS,CAAC,KAAK;YACtB,MAAM,EAAE,QAAQ;YAChB,SAAS,EAAE,EAAE;YACb,KAAK,EAAE,kBAAkB;YACzB,KAAK,EAAE,OAAO;SACf,CAAC,CAAA;IACJ,CAAC;AACH,CAAC;AAED,KAAK,UAAU,sBAAsB,CACnC,OAAyB,EACzB,KAA+C;IAE/C,MAAM,MAAM,GAAG,OAAO,CAAC,qBAAqB,IAAI,OAAO,CAAC,aAAa,CAAA;IACrE,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAA;IAC5B,IAAI,MAAM,KAAK,SAAS;QAAE,MAAM,MAAM,CAAA;AACxC,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,OAAsC;IACrE,MAAM,IAAI,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAA;IACnD,IAAI,CAAC,IAAI,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC,WAAW;QAAE,OAAM;IACvD,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC;QAAE,OAAM;IAC7F,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IAC7C,IACE,CAAC,SAAS,CAAC,MAAM,KAAK,SAAS;QAC7B,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,IAAI,OAAO,CAAC,SAAS,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC;QACzF,CAAC,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,MAAM,CAAC;QAErC,OAAM;IACR,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC;QAAE,OAAM;IAC7D,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAA;QAChF,IAAI,OAAO,CAAC,cAAc,KAAK,SAAS;YAAE,MAAM,OAAO,CAAC,cAAc,CAAA;QACtE,MAAM,OAAO,GAAG,OAAO,CAAC,aAAa,CAAC;YACpC,IAAI,EAAE,mBAAmB;YACzB,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,WAAW,EAAE,IAAI,CAAC,WAAW;SAC9B,CAAC,CAAA;QACF,IAAI,OAAO,KAAK,SAAS;YAAE,MAAM,OAAO,CAAA;IAC1C,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA;IACpD,CAAC;AACH,CAAC"}

package/dist/app/run-ingestion.d.ts

@@ -0,0 +1,4 @@
+import type { RuntimeEventEnvelope } from '../domain/runtime-events.js';
+import type { IngestionPort, RuntimeEventIngestionResult } from './application-ports.js';
+export declare function ingestRuntimeEvent(context: IngestionPort, envelope: RuntimeEventEnvelope): RuntimeEventIngestionResult | Promise<RuntimeEventIngestionResult>;
+//# sourceMappingURL=run-ingestion.d.ts.map

package/dist/app/run-ingestion.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-ingestion.d.ts","sourceRoot":"","sources":["../../src/app/run-ingestion.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAA;AACvE,OAAO,KAAK,EAAE,aAAa,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAA;AAMxF,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,aAAa,EACtB,QAAQ,EAAE,oBAAoB,GAC7B,2BAA2B,GAAG,OAAO,CAAC,2BAA2B,CAAC,CA+DpE"}

package/dist/app/run-ingestion.js

@@ -0,0 +1,80 @@
+import { providerEventFor, safeProviderMeta } from './run-event-mapper.js';
+import { AppError } from './errors.js';
+import { isCanonicalIsoDateTime } from '../domain/text.js';
+import { safePublicIdentifier } from './provider-values.js';
+export function ingestRuntimeEvent(context, envelope) {
+    if (!safePublicIdentifier(envelope.eventId) ||
+        !Number.isSafeInteger(envelope.sequence) ||
+        envelope.sequence < 1 ||
+        envelope.sequence > 1_000_000_000 ||
+        !isCanonicalIsoDateTime(envelope.receivedAt) ||
+        (envelope.cursor !== undefined && !safePublicIdentifier(envelope.cursor)) ||
+        (envelope.occurredAt !== undefined && !isCanonicalIsoDateTime(envelope.occurredAt)))
+        throw new AppError('INVALID_PROVIDER_EVENT', 'Provider event identity or timestamp is invalid');
+    const key = `${envelope.runId}:${envelope.eventId}`;
+    if (context.ledger.hasProviderEvent(key))
+        return { accepted: false, duplicate: true };
+    const run = context.findRun(envelope.runId);
+    const expected = run.lastProviderSequence + 1;
+    if (envelope.sequence < expected) {
+        const isMissing = context
+            .currentState()
+            .missingHistory.some((range) => range.runId === run.id &&
+            envelope.sequence >= range.fromSequence &&
+            envelope.sequence <= (range.toSequence ?? range.fromSequence));
+        if (!isMissing)
+            return { accepted: false, duplicate: true };
+        return afterCommit(context.commitAndWait(eventFromEnvelope(envelope)), {
+            accepted: true,
+            duplicate: false,
+        });
+    }
+    if (envelope.sequence > expected) {
+        const gap = { from: expected, to: envelope.sequence - 1 };
+        const commits = [];
+        if (!context
+            .currentState()
+            .missingHistory.some((range) => range.runId === run.id &&
+            range.fromSequence <= gap.to &&
+            (range.toSequence ?? range.fromSequence) >= gap.from))
+            commits.push(context.commitAndWait({
+                kind: 'history.missing',
+                range: { runId: run.id, fromSequence: gap.from, toSequence: gap.to, reason: 'gap' },
+            }));
+        if (run.status !== 'reconnecting')
+            commits.push(context.commitAndWait({
+                kind: 'run.reconnecting',
+                runId: run.id,
+                ...(run.lastCursor === undefined ? {} : { after: run.lastCursor }),
+            }));
+        return afterCommits(commits, { accepted: false, duplicate: false, sequenceGap: gap });
+    }
+    return afterCommit(context.commitAndWait(eventFromEnvelope(envelope)), {
+        accepted: true,
+        duplicate: false,
+    });
+}
+function afterCommit(commit, result) {
+    return isPromiseLike(commit) ? commit.then(() => result) : result;
+}
+function afterCommits(commits, result) {
+    const pending = commits.filter(isPromiseLike);
+    return pending.length === 0 ? result : Promise.all(pending).then(() => result);
+}
+function isPromiseLike(value) {
+    return (typeof value === 'object' &&
+        value !== null &&
+        'then' in value &&
+        typeof value.then === 'function');
+}
+function eventFromEnvelope(envelope) {
+    const meta = safeProviderMeta({
+        eventId: envelope.eventId,
+        providerSequence: envelope.sequence,
+        ...(envelope.cursor === undefined ? {} : { cursor: envelope.cursor }),
+        ...(envelope.occurredAt === undefined ? {} : { occurredAt: envelope.occurredAt }),
+        receivedAt: envelope.receivedAt,
+    }, envelope.sequence);
+    return providerEventFor(envelope.runId, envelope.event, meta);
+}
+//# sourceMappingURL=run-ingestion.js.map

package/dist/app/run-ingestion.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-ingestion.js","sourceRoot":"","sources":["../../src/app/run-ingestion.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAA;AAC1E,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AACtC,OAAO,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAA;AAC1D,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAA;AAE3D,MAAM,UAAU,kBAAkB,CAChC,OAAsB,EACtB,QAA8B;IAE9B,IACE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,OAAO,CAAC;QACvC,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,QAAQ,CAAC;QACxC,QAAQ,CAAC,QAAQ,GAAG,CAAC;QACrB,QAAQ,CAAC,QAAQ,GAAG,aAAa;QACjC,CAAC,sBAAsB,CAAC,QAAQ,CAAC,UAAU,CAAC;QAC5C,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QACzE,CAAC,QAAQ,CAAC,UAAU,KAAK,SAAS,IAAI,CAAC,sBAAsB,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QAEnF,MAAM,IAAI,QAAQ,CAAC,wBAAwB,EAAE,iDAAiD,CAAC,CAAA;IACjG,MAAM,GAAG,GAAG,GAAG,QAAQ,CAAC,KAAK,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAA;IACnD,IAAI,OAAO,CAAC,MAAM,CAAC,gBAAgB,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,CAAA;IACrF,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;IAC3C,MAAM,QAAQ,GAAG,GAAG,CAAC,oBAAoB,GAAG,CAAC,CAAA;IAC7C,IAAI,QAAQ,CAAC,QAAQ,GAAG,QAAQ,EAAE,CAAC;QACjC,MAAM,SAAS,GAAG,OAAO;aACtB,YAAY,EAAE;aACd,cAAc,CAAC,IAAI,CAClB,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,KAAK,KAAK,GAAG,CAAC,EAAE;YACtB,QAAQ,CAAC,QAAQ,IAAI,KAAK,CAAC,YAAY;YACvC,QAAQ,CAAC,QAAQ,IAAI,CAAC,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,YAAY,CAAC,CAChE,CAAA;QACH,IAAI,CAAC,SAAS;YAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,CAAA;QAC3D,OAAO,WAAW,CAAC,OAAO,CAAC,aAAa,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC,EAAE;YACrE,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,KAAK;SACjB,CAAC,CAAA;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,QAAQ,GAAG,QAAQ,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,CAAC,QAAQ,GAAG,CAAC,EAAE,CAAA;QACzD,MAAM,OAAO,GAAgC,EAAE,CAAA;QAC/C,IACE,CAAC,OAAO;aACL,YAAY,EAAE;aACd,cAAc,CAAC,IAAI,CAClB,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,KAAK,KAAK,GAAG,CAAC,EAAE;YACtB,KAAK,CAAC,YAAY,IAAI,GAAG,CAAC,EAAE;YAC5B,CAAC,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,YAAY,CAAC,IAAI,GAAG,CAAC,IAAI,CACvD;YAEH,OAAO,CAAC,IAAI,CACV,OAAO,CAAC,aAAa,CAAC;gBACpB,IAAI,EAAE,iBAAiB;gBACvB,KAAK,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,EAAE,YAAY,EAAE,GAAG,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE;aACpF,CAAC,CACH,CAAA;QACH,IAAI,GAAG,CAAC,MAAM,KAAK,cAAc;YAC/B,OAAO,CAAC,IAAI,CACV,OAAO,CAAC,aAAa,CAAC;gBACpB,IAAI,EAAE,kBAAkB;gBACxB,KAAK,EAAE,GAAG,CAAC,EAAE;gBACb,GAAG,CAAC,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC;aACnE,CAAC,CACH,CAAA;QACH,OAAO,YAAY,CAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,CAAA;IACvF,CAAC;IACD,OAAO,WAAW,CAAC,OAAO,CAAC,aAAa,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC,EAAE;QACrE,QAAQ,EAAE,IAAI;QACd,SAAS,EAAE,KAAK;KACjB,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,WAAW,CAClB,MAA4B,EAC5B,MAAmC;IAEnC,OAAO,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAA;AACnE,CAAC;AAED,SAAS,YAAY,CACnB,OAA0C,EAC1C,MAAmC;IAEnC,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC,CAAA;IAC7C,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAA;AAChF,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,MAAM,IAAI,KAAK;QACf,OAAO,KAAK,CAAC,IAAI,KAAK,UAAU,CACjC,CAAA;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,QAA8B;IACvD,MAAM,IAAI,GAAsB,gBAAgB,CAC9C;QACE,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,gBAAgB,EAAE,QAAQ,CAAC,QAAQ;QACnC,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC;QACrE,GAAG,CAAC,QAAQ,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE,CAAC;QACjF,UAAU,EAAE,QAAQ,CAAC,UAAU;KAChC,EACD,QAAQ,CAAC,QAAQ,CAClB,CAAA;IACD,OAAO,gBAAgB,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;AAC/D,CAAC"}

package/dist/app/run-ledger.d.ts

@@ -0,0 +1,42 @@
+import type { BraidControlKind, BraidEventEnvelope } from '../domain/events.js';
+import type { BraidState } from '../domain/state.js';
+import type { ControlOperationRecord, OperationRecord, ShutdownRecord } from './application-types.js';
+export interface InteractionOperationRecord {
+    readonly digest: string;
+    readonly completion: Promise<BraidState>;
+}
+export interface RunLedger {
+    readonly getOperation: (operationId: string) => OperationRecord | undefined;
+    readonly setOperation: (record: OperationRecord) => void;
+    readonly getControl: (operationId: string) => ControlOperationRecord | undefined;
+    readonly setControl: (operationId: string, record: ControlOperationRecord) => void;
+    readonly deleteControl: (operationId: string) => void;
+    readonly getInteraction: (operationId: string) => InteractionOperationRecord | undefined;
+    readonly setInteraction: (operationId: string, record: InteractionOperationRecord) => void;
+    readonly getShutdown: (operationId: string) => ShutdownRecord | undefined;
+    readonly setShutdown: (operationId: string, record: ShutdownRecord) => void;
+    readonly operationForRun: (runId: string) => OperationRecord | undefined;
+    readonly controlForRun: (runId: string, kind?: BraidControlKind) => ControlOperationRecord | undefined;
+    readonly getAbort: (runId: string) => AbortController | undefined;
+    readonly setAbort: (runId: string, controller: AbortController) => void;
+    readonly deleteAbort: (runId: string) => void;
+    readonly isDetached: (runId: string) => boolean;
+    readonly markDetached: (runId: string) => void;
+    readonly clearDetached: (runId: string) => void;
+    readonly isExplicitlyCancelled: (runId: string) => boolean;
+    readonly markExplicitlyCancelled: (runId: string) => void;
+    readonly clearExplicitlyCancelled: (runId: string) => void;
+    readonly isCancellationPending: (runId: string) => boolean;
+    readonly markCancellationPending: (runId: string) => void;
+    readonly clearCancellationPending: (runId: string) => void;
+    readonly getCancelStatus: (runId: string) => 'cancelled' | 'aborted' | undefined;
+    readonly setCancelStatus: (runId: string, status: 'cancelled' | 'aborted') => void;
+    readonly clearCancelStatus: (runId: string) => void;
+    readonly claimQueueDrain: (operationId: string) => boolean;
+    readonly releaseQueueDrain: (operationId: string) => void;
+    readonly hasProviderEvent: (key: string) => boolean;
+    readonly addProviderEvent: (key: string) => void;
+    readonly restore: (events: readonly BraidEventEnvelope[], state: () => BraidState) => void;
+}
+export declare function createRunLedger(): RunLedger;
+//# sourceMappingURL=run-ledger.d.ts.map

package/dist/app/run-ledger.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-ledger.d.ts","sourceRoot":"","sources":["../../src/app/run-ledger.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAA;AAC/E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAA;AACpD,OAAO,KAAK,EACV,sBAAsB,EACtB,eAAe,EACf,cAAc,EACf,MAAM,wBAAwB,CAAA;AAE/B,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC,UAAU,CAAC,CAAA;CACzC;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,YAAY,EAAE,CAAC,WAAW,EAAE,MAAM,KAAK,eAAe,GAAG,SAAS,CAAA;IAC3E,QAAQ,CAAC,YAAY,EAAE,CAAC,MAAM,EAAE,eAAe,KAAK,IAAI,CAAA;IACxD,QAAQ,CAAC,UAAU,EAAE,CAAC,WAAW,EAAE,MAAM,KAAK,sBAAsB,GAAG,SAAS,CAAA;IAChF,QAAQ,CAAC,UAAU,EAAE,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,sBAAsB,KAAK,IAAI,CAAA;IAClF,QAAQ,CAAC,aAAa,EAAE,CAAC,WAAW,EAAE,MAAM,KAAK,IAAI,CAAA;IACrD,QAAQ,CAAC,cAAc,EAAE,CAAC,WAAW,EAAE,MAAM,KAAK,0BAA0B,GAAG,SAAS,CAAA;IACxF,QAAQ,CAAC,cAAc,EAAE,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,0BAA0B,KAAK,IAAI,CAAA;IAC1F,QAAQ,CAAC,WAAW,EAAE,CAAC,WAAW,EAAE,MAAM,KAAK,cAAc,GAAG,SAAS,CAAA;IACzE,QAAQ,CAAC,WAAW,EAAE,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,KAAK,IAAI,CAAA;IAC3E,QAAQ,CAAC,eAAe,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,eAAe,GAAG,SAAS,CAAA;IACxE,QAAQ,CAAC,aAAa,EAAE,CACtB,KAAK,EAAE,MAAM,EACb,IAAI,CAAC,EAAE,gBAAgB,KACpB,sBAAsB,GAAG,SAAS,CAAA;IACvC,QAAQ,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,eAAe,GAAG,SAAS,CAAA;IACjE,QAAQ,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,eAAe,KAAK,IAAI,CAAA;IACvE,QAAQ,CAAC,WAAW,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,IAAI,CAAA;IAC7C,QAAQ,CAAC,UAAU,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,CAAA;IAC/C,QAAQ,CAAC,YAAY,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,IAAI,CAAA;IAC9C,QAAQ,CAAC,aAAa,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,IAAI,CAAA;IAC/C,QAAQ,CAAC,qBAAqB,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,CAAA;IAC1D,QAAQ,CAAC,uBAAuB,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,IAAI,CAAA;IACzD,QAAQ,CAAC,wBAAwB,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,IAAI,CAAA;IAC1D,QAAQ,CAAC,qBAAqB,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,CAAA;IAC1D,QAAQ,CAAC,uBAAuB,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,IAAI,CAAA;IACzD,QAAQ,CAAC,wBAAwB,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,IAAI,CAAA;IAC1D,QAAQ,CAAC,eAAe,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,WAAW,GAAG,SAAS,GAAG,SAAS,CAAA;IAChF,QAAQ,CAAC,eAAe,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,GAAG,SAAS,KAAK,IAAI,CAAA;IAClF,QAAQ,CAAC,iBAAiB,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,IAAI,CAAA;IACnD,QAAQ,CAAC,eAAe,EAAE,CAAC,WAAW,EAAE,MAAM,KAAK,OAAO,CAAA;IAC1D,QAAQ,CAAC,iBAAiB,EAAE,CAAC,WAAW,EAAE,MAAM,KAAK,IAAI,CAAA;IACzD,QAAQ,CAAC,gBAAgB,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,OAAO,CAAA;IACnD,QAAQ,CAAC,gBAAgB,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,IAAI,CAAA;IAChD,QAAQ,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,SAAS,kBAAkB,EAAE,EAAE,KAAK,EAAE,MAAM,UAAU,KAAK,IAAI,CAAA;CAC3F;AAED,wBAAgB,eAAe,IAAI,SAAS,CA6D3C"}

package/dist/app/run-ledger.js

@@ -0,0 +1,64 @@
+export function createRunLedger() {
+    const operations = new Map();
+    const controls = new Map();
+    const interactions = new Map();
+    const shutdowns = new Map();
+    const aborts = new Map();
+    const detached = new Set();
+    const explicitCancellations = new Set();
+    const pendingCancellations = new Set();
+    const cancelStatuses = new Map();
+    const queueDrains = new Set();
+    const providerEvents = new Set();
+    return {
+        getOperation: (operationId) => operations.get(operationId),
+        setOperation: (record) => operations.set(record.admission.operationId, record),
+        getControl: (operationId) => controls.get(operationId),
+        setControl: (operationId, record) => controls.set(operationId, record),
+        deleteControl: (operationId) => controls.delete(operationId),
+        getInteraction: (operationId) => interactions.get(operationId),
+        setInteraction: (operationId, record) => interactions.set(operationId, record),
+        getShutdown: (operationId) => shutdowns.get(operationId),
+        setShutdown: (operationId, record) => shutdowns.set(operationId, record),
+        operationForRun: (runId) => [...operations.values()].find((record) => record.runId === runId),
+        controlForRun: (runId, kind) => [...controls.values()].find((record) => record.runId === runId && (kind === undefined || record.control === kind)),
+        getAbort: (runId) => aborts.get(runId),
+        setAbort: (runId, controller) => aborts.set(runId, controller),
+        deleteAbort: (runId) => aborts.delete(runId),
+        isDetached: (runId) => detached.has(runId),
+        markDetached: (runId) => detached.add(runId),
+        clearDetached: (runId) => detached.delete(runId),
+        isExplicitlyCancelled: (runId) => explicitCancellations.has(runId),
+        markExplicitlyCancelled: (runId) => explicitCancellations.add(runId),
+        clearExplicitlyCancelled: (runId) => explicitCancellations.delete(runId),
+        isCancellationPending: (runId) => pendingCancellations.has(runId),
+        markCancellationPending: (runId) => pendingCancellations.add(runId),
+        clearCancellationPending: (runId) => pendingCancellations.delete(runId),
+        getCancelStatus: (runId) => cancelStatuses.get(runId),
+        setCancelStatus: (runId, status) => cancelStatuses.set(runId, status),
+        clearCancelStatus: (runId) => cancelStatuses.delete(runId),
+        claimQueueDrain: (operationId) => {
+            if (queueDrains.has(operationId))
+                return false;
+            queueDrains.add(operationId);
+            return true;
+        },
+        releaseQueueDrain: (operationId) => queueDrains.delete(operationId),
+        hasProviderEvent: (key) => providerEvents.has(key),
+        addProviderEvent: (key) => providerEvents.add(key),
+        restore: (events, state) => {
+            for (const envelope of events) {
+                const event = envelope.event;
+                if (event.kind === 'run.requested' && event.receipt) {
+                    const run = state().runs.find((candidate) => candidate.id === event.runId);
+                    if (run && !isTerminal(run.status))
+                        aborts.set(run.id, new AbortController());
+                }
+            }
+        },
+    };
+}
+function isTerminal(status) {
+    return ['completed', 'failed', 'aborted', 'cancelled', 'blocked', 'expired', 'unknown'].includes(status);
+}
+//# sourceMappingURL=run-ledger.js.map

package/dist/app/run-ledger.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-ledger.js","sourceRoot":"","sources":["../../src/app/run-ledger.ts"],"names":[],"mappings":"AAkDA,MAAM,UAAU,eAAe;IAC7B,MAAM,UAAU,GAAG,IAAI,GAAG,EAA2B,CAAA;IACrD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkC,CAAA;IAC1D,MAAM,YAAY,GAAG,IAAI,GAAG,EAAsC,CAAA;IAClE,MAAM,SAAS,GAAG,IAAI,GAAG,EAA0B,CAAA;IACnD,MAAM,MAAM,GAAG,IAAI,GAAG,EAA2B,CAAA;IACjD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAA;IAClC,MAAM,qBAAqB,GAAG,IAAI,GAAG,EAAU,CAAA;IAC/C,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9C,MAAM,cAAc,GAAG,IAAI,GAAG,EAAmC,CAAA;IACjE,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAA;IACrC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAA;IAExC,OAAO;QACL,YAAY,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC;QAC1D,YAAY,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,WAAW,EAAE,MAAM,CAAC;QAC9E,UAAU,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC;QACtD,UAAU,EAAE,CAAC,WAAW,EAAE,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC;QACtE,aAAa,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,WAAW,CAAC;QAC5D,cAAc,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC;QAC9D,cAAc,EAAE,CAAC,WAAW,EAAE,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC;QAC9E,WAAW,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC;QACxD,WAAW,EAAE,CAAC,WAAW,EAAE,MAAM,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC;QACxE,eAAe,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,KAAK,KAAK,CAAC;QAC7F,aAAa,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAC7B,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CACzB,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,KAAK,KAAK,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI,CAAC,CACtF;QACH,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC;QACtC,QAAQ,EAAE,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,UAAU,CAAC;QAC9D,WAAW,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;QAC5C,UAAU,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC;QAC1C,YAAY,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC;QAC5C,aAAa,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC;QAChD,qBAAqB,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC;QAClE,uBAAuB,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC;QACpE,wBAAwB,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,KAAK,CAAC;QACxE,qBAAqB,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC;QACjE,uBAAuB,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC;QACnE,wBAAwB,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,KAAK,CAAC;QACvE,eAAe,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC;QACrD,eAAe,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;QACrE,iBAAiB,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC;QAC1D,eAAe,EAAE,CAAC,WAAW,EAAE,EAAE;YAC/B,IAAI,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC;gBAAE,OAAO,KAAK,CAAA;YAC9C,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;YAC5B,OAAO,IAAI,CAAA;QACb,CAAC;QACD,iBAAiB,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC;QACnE,gBAAgB,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC;QAClD,gBAAgB,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC;QAClD,OAAO,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;YACzB,KAAK,MAAM,QAAQ,IAAI,MAAM,EAAE,CAAC;gBAC9B,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAA;gBAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;oBACpD,MAAM,GAAG,GAAG,KAAK,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,KAAK,CAAC,KAAK,CAAC,CAAA;oBAC1E,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC;wBAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,eAAe,EAAE,CAAC,CAAA;gBAC/E,CAAC;YACH,CAAC;QACH,CAAC;KACF,CAAA;AACH,CAAC;AAED,SAAS,UAAU,CAAC,MAA4C;IAC9D,OAAO,CAAC,WAAW,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,QAAQ,CAC9F,MAAM,CACP,CAAA;AACH,CAAC"}

package/dist/app/run-replay.d.ts

@@ -0,0 +1,5 @@
+import type { BraidState } from '../domain/state.js';
+import type { ReconnectInput, ReplayPort } from './application-ports.js';
+export declare function reconnectRun(context: ReplayPort, input: ReconnectInput): Promise<BraidState>;
+export declare function reconcileRun(context: ReplayPort, input: ReconnectInput): Promise<BraidState>;
+//# sourceMappingURL=run-replay.d.ts.map

package/dist/app/run-replay.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-replay.d.ts","sourceRoot":"","sources":["../../src/app/run-replay.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAA;AAEpD,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAA;AAIxE,wBAAsB,YAAY,CAChC,OAAO,EAAE,UAAU,EACnB,KAAK,EAAE,cAAc,GACpB,OAAO,CAAC,UAAU,CAAC,CAgDrB;AAED,wBAAsB,YAAY,CAChC,OAAO,EAAE,UAAU,EACnB,KAAK,EAAE,cAAc,GACpB,OAAO,CAAC,UAAU,CAAC,CAyIrB"}

package/dist/app/run-replay.js

@@ -0,0 +1,184 @@
+import { canonicalDigest } from '../domain/canonical.js';
+import { AppError } from './errors.js';
+import { safeSnapshotDetail, safeSnapshotText, safeSnapshotUsage } from './provider-snapshot.js';
+export async function reconnectRun(context, input) {
+    const run = context.findRun(input.runId);
+    if (context.isTerminal(run.status) && run.status !== 'unknown')
+        return structuredClone(context.currentState());
+    if (!run.capabilities.streaming.replay ||
+        !run.capabilities.events.cursor ||
+        !context.execution.reconnect)
+        throw new AppError('CAPABILITY_UNAVAILABLE', 'The selected execution path does not report replay with a stable cursor');
+    await context.commitAndWait({
+        kind: 'run.reconnecting',
+        runId: run.id,
+        ...(run.lastCursor === undefined ? {} : { after: run.lastCursor }),
+    });
+    const abort = context.ledger.getAbort(run.id) ?? new AbortController();
+    context.ledger.setAbort(run.id, abort);
+    context.ledger.clearDetached(run.id);
+    try {
+        let sawTerminal = false;
+        for await (const envelope of context.execution.reconnect({
+            runId: run.id,
+            ...(run.lastCursor === undefined ? {} : { after: run.lastCursor }),
+            afterSequence: run.lastProviderSequence,
+            ...(run.providerSessionId === undefined ? {} : { providerSessionId: run.providerSessionId }),
+            ...(run.controlRef === undefined ? {} : { controlRef: run.controlRef }),
+            signal: abort.signal,
+        })) {
+            const result = await context.ingestRuntimeEvent(envelope);
+            if (result.accepted && envelope.event.type === 'final')
+                sawTerminal = true;
+        }
+        if (!sawTerminal && !context.isTerminal(context.findRun(run.id).status))
+            await reconcileRun(context, { runId: run.id, operationId: input.operationId });
+    }
+    catch (error) {
+        if (!context.isTerminal(context.findRun(run.id).status))
+            await context.commitAndWait({
+                kind: 'run.unknown',
+                runId: run.id,
+                detail: safeSnapshotDetail(error instanceof Error ? error.message : error, 'RUNTIME_RECONCILIATION_ERROR'),
+            });
+    }
+    return structuredClone(context.currentState());
+}
+export async function reconcileRun(context, input) {
+    const run = context.findRun(input.runId);
+    if (!run.capabilities.controls.status || !context.execution.status) {
+        if (!context.isTerminal(run.status))
+            await context.commitAndWait({
+                kind: 'run.unknown',
+                runId: run.id,
+                detail: 'The execution path cannot reconcile provider state',
+            });
+        return structuredClone(context.currentState());
+    }
+    let snapshot;
+    try {
+        snapshot = await context.execution.status({
+            runId: run.id,
+            ...(run.providerSessionId === undefined ? {} : { providerSessionId: run.providerSessionId }),
+            ...(run.controlRef === undefined ? {} : { controlRef: run.controlRef }),
+        });
+    }
+    catch (error) {
+        if (!context.isTerminal(run.status))
+            await context.commitAndWait({
+                kind: 'run.unknown',
+                runId: run.id,
+                detail: safeSnapshotDetail(error instanceof Error ? error.message : error, 'RUNTIME_STATUS_ERROR'),
+            });
+        return structuredClone(context.currentState());
+    }
+    if (!snapshot) {
+        if (!context.isTerminal(run.status) || run.status === 'unknown')
+            await context.commitAndWait({
+                kind: 'run.unknown',
+                runId: run.id,
+                detail: 'The provider returned no run record',
+            });
+        return structuredClone(context.currentState());
+    }
+    if (snapshot.runId !== run.id ||
+        (run.providerSessionId !== undefined && snapshot.sessionId !== run.providerSessionId)) {
+        if (!context.isTerminal(run.status) || run.status === 'unknown')
+            await context.commitAndWait({
+                kind: 'run.unknown',
+                runId: run.id,
+                detail: 'Provider reconciliation returned no matching run identity',
+            });
+        return structuredClone(context.currentState());
+    }
+    if (context.isTerminal(run.status) && run.status !== 'unknown')
+        return structuredClone(context.currentState());
+    await context.commitAndWait({
+        kind: 'run.reconnecting',
+        runId: run.id,
+        ...(run.lastCursor === undefined ? {} : { after: run.lastCursor }),
+    });
+    const reconciliationFrom = context.findRun(run.id).status;
+    if (snapshot.status === 'unknown') {
+        if (!context.isTerminal(run.status) || run.status === 'unknown')
+            await context.commitAndWait({
+                kind: 'run.unknown',
+                runId: run.id,
+                detail: safeSnapshotDetail(snapshot.detail, 'RUNTIME_PROVIDER_STATE_UNKNOWN'),
+            });
+    }
+    else if (context.isTerminal(snapshot.status)) {
+        if (run.status === 'unknown') {
+            await context.commitAndWait({
+                kind: 'run.reconciled',
+                runId: run.id,
+                status: snapshot.status,
+                from: reconciliationFrom,
+                to: snapshot.status,
+                evidence: canonicalDigest({
+                    runId: run.id,
+                    sessionId: snapshot.sessionId ?? null,
+                    cursor: snapshot.cursor ?? null,
+                    status: snapshot.status,
+                }),
+                ...(snapshot.detail === undefined
+                    ? {}
+                    : { detail: safeSnapshotDetail(snapshot.detail, 'RUNTIME_RECONCILIATION_STATUS') }),
+            });
+            await context.commitAndWait({
+                kind: 'run.finished',
+                runId: run.id,
+                status: snapshot.status,
+                finalText: safeSnapshotText(snapshot.finalText),
+                usage: safeSnapshotUsage(snapshot.usage, {
+                    input: run.inputTokens,
+                    output: run.outputTokens,
+                }),
+                ...(snapshot.error === undefined
+                    ? {}
+                    : { error: safeSnapshotDetail(snapshot.error, 'RUNTIME_RECONCILIATION_ERROR') }),
+                ...(snapshot.detail === undefined
+                    ? {}
+                    : { reason: safeSnapshotDetail(snapshot.detail, 'RUNTIME_RECONCILIATION_STATUS') }),
+            });
+        }
+        else {
+            await context.commitAndWait({
+                kind: 'run.finished',
+                runId: run.id,
+                status: snapshot.status,
+                finalText: safeSnapshotText(snapshot.finalText),
+                usage: safeSnapshotUsage(snapshot.usage, {
+                    input: run.inputTokens,
+                    output: run.outputTokens,
+                }),
+                ...(snapshot.error === undefined
+                    ? {}
+                    : { error: safeSnapshotDetail(snapshot.error, 'RUNTIME_RECONCILIATION_ERROR') }),
+                ...(snapshot.detail === undefined
+                    ? {}
+                    : { reason: safeSnapshotDetail(snapshot.detail, 'RUNTIME_RECONCILIATION_STATUS') }),
+            });
+        }
+    }
+    else if (snapshot.status !== reconciliationFrom) {
+        await context.commitAndWait({
+            kind: 'run.reconciled',
+            runId: run.id,
+            status: snapshot.status,
+            from: reconciliationFrom,
+            to: snapshot.status,
+            evidence: canonicalDigest({
+                runId: run.id,
+                sessionId: snapshot.sessionId ?? null,
+                cursor: snapshot.cursor ?? null,
+                status: snapshot.status,
+            }),
+            ...(snapshot.detail === undefined
+                ? {}
+                : { detail: safeSnapshotDetail(snapshot.detail, 'RUNTIME_RECONCILIATION_STATUS') }),
+        });
+    }
+    return structuredClone(context.currentState());
+}
+//# sourceMappingURL=run-replay.js.map