@relayflows/sdk 2.0.0

package/dist/authored-flow-error.d.ts

@@ -0,0 +1,9 @@
+import type { CompletionReason as ProtocolCompletionReason, RunCompletionReason as ProtocolRunCompletionReason } from './protocol.js';
+export type AuthoredFlowExecutionErrorCode = 'duplicate_completion' | 'journal_protocol_violation' | 'missing_completion' | 'operation_after_completion' | 'operation_callback_failed' | 'step_failed' | 'unsupported_completion' | 'unsupported_gate' | 'unsupported_header' | 'unsettled_derived_work' | 'unsupported_promise_lifecycle' | 'unawaited_step' | 'unsupported_verb';
+export declare class AuthoredFlowExecutionError extends Error {
+    readonly code: AuthoredFlowExecutionErrorCode;
+    readonly completionReason?: (ProtocolCompletionReason | ProtocolRunCompletionReason) | undefined;
+    readonly runId?: string | undefined;
+    constructor(code: AuthoredFlowExecutionErrorCode, message: string, completionReason?: (ProtocolCompletionReason | ProtocolRunCompletionReason) | undefined, runId?: string | undefined);
+}
+//# sourceMappingURL=authored-flow-error.d.ts.map

package/dist/authored-flow-error.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"authored-flow-error.d.ts","sourceRoot":"","sources":["../src/authored-flow-error.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,gBAAgB,IAAI,wBAAwB,EAC5C,mBAAmB,IAAI,2BAA2B,EACnD,MAAM,eAAe,CAAC;AAEvB,MAAM,MAAM,8BAA8B,GACtC,sBAAsB,GACtB,4BAA4B,GAC5B,oBAAoB,GACpB,4BAA4B,GAC5B,2BAA2B,GAC3B,aAAa,GACb,wBAAwB,GACxB,kBAAkB,GAClB,oBAAoB,GACpB,wBAAwB,GACxB,+BAA+B,GAC/B,gBAAgB,GAChB,kBAAkB,CAAC;AAEvB,qBAAa,0BAA2B,SAAQ,KAAK;IAEjD,QAAQ,CAAC,IAAI,EAAE,8BAA8B;IAE7C,QAAQ,CAAC,gBAAgB,CAAC,GAAE,wBAAwB,GAAG,2BAA2B;IAClF,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM;gBAHd,IAAI,EAAE,8BAA8B,EAC7C,OAAO,EAAE,MAAM,EACN,gBAAgB,CAAC,GAAE,wBAAwB,GAAG,2BAA2B,aAAA,EACzE,KAAK,CAAC,EAAE,MAAM,YAAA;CAK1B"}

package/dist/authored-flow-error.js

@@ -0,0 +1,13 @@
+export class AuthoredFlowExecutionError extends Error {
+    code;
+    completionReason;
+    runId;
+    constructor(code, message, completionReason, runId) {
+        super(`${code}: ${message}`);
+        this.code = code;
+        this.completionReason = completionReason;
+        this.runId = runId;
+        this.name = 'AuthoredFlowExecutionError';
+    }
+}
+//# sourceMappingURL=authored-flow-error.js.map

package/dist/authored-flow-error.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"authored-flow-error.js","sourceRoot":"","sources":["../src/authored-flow-error.ts"],"names":[],"mappings":"AAoBA,MAAM,OAAO,0BAA2B,SAAQ,KAAK;IAExC;IAEA;IACA;IAJX,YACW,IAAoC,EAC7C,OAAe,EACN,gBAAyE,EACzE,KAAc;QAEvB,KAAK,CAAC,GAAG,IAAI,KAAK,OAAO,EAAE,CAAC,CAAC;QALpB,SAAI,GAAJ,IAAI,CAAgC;QAEpC,qBAAgB,GAAhB,gBAAgB,CAAyD;QACzE,UAAK,GAAL,KAAK,CAAS;QAGvB,IAAI,CAAC,IAAI,GAAG,4BAA4B,CAAC;IAC3C,CAAC;CACF"}

package/dist/authored-flow-executor.d.ts

@@ -0,0 +1,28 @@
+import type { FlowHandle } from '@relayflows/surface/runtime';
+import { AuthoredFlowExecutionError, type AuthoredFlowExecutionErrorCode } from './authored-flow-error.js';
+import { JournalClient } from './journal-client.js';
+import type { CompletionReason as ProtocolCompletionReason, RunCompletionReason as ProtocolRunCompletionReason } from './protocol.js';
+export { AuthoredFlowExecutionError, type AuthoredFlowExecutionErrorCode };
+export interface AuthoredFlowJournalStep {
+    readonly id: string;
+    readonly runId: string;
+    readonly completionReason: ProtocolCompletionReason;
+}
+export interface AuthoredFlowExecutionResult {
+    readonly name: string;
+    readonly completionReason: ProtocolRunCompletionReason;
+    readonly journalSteps: readonly AuthoredFlowJournalStep[];
+}
+/**
+ * Exercise the internal authored-flow lowering seam through protocol v0.
+ *
+ * This is deliberately not exported by the SDK package: without a durable
+ * authored root, it is not a resumable public runner. The seam is narrow: an
+ * empty-header flow may await plain `f.run(...)` steps and must finish with
+ * `f.done("success")`. Every run and
+ * the terminal marker is a compiled deterministic spec submitted through
+ * `JournalClient`; values are read back from `step.completed` journal entries.
+ * Unsupported headers, verbs, gates, or completion lowering fail closed.
+ */
+export declare function executeAuthoredFlow<Input = undefined>(handle: FlowHandle, journal: JournalClient, input?: Input): Promise<AuthoredFlowExecutionResult>;
+//# sourceMappingURL=authored-flow-executor.d.ts.map

package/dist/authored-flow-executor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"authored-flow-executor.d.ts","sourceRoot":"","sources":["../src/authored-flow-executor.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AAG9D,OAAO,EACL,0BAA0B,EAC1B,KAAK,8BAA8B,EACpC,MAAM,0BAA0B,CAAC;AAOlC,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,KAAK,EACV,gBAAgB,IAAI,wBAAwB,EAC5C,mBAAmB,IAAI,2BAA2B,EAEnD,MAAM,eAAe,CAAC;AAqBvB,OAAO,EAAE,0BAA0B,EAAE,KAAK,8BAA8B,EAAE,CAAC;AAE3E,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,gBAAgB,EAAE,wBAAwB,CAAC;CACrD;AAED,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,gBAAgB,EAAE,2BAA2B,CAAC;IACvD,QAAQ,CAAC,YAAY,EAAE,SAAS,uBAAuB,EAAE,CAAC;CAC3D;AASD;;;;;;;;;;GAUG;AACH,wBAAsB,mBAAmB,CAAC,KAAK,GAAG,SAAS,EACzD,MAAM,EAAE,UAAU,EAClB,OAAO,EAAE,aAAa,EACtB,KAAK,CAAC,EAAE,KAAK,GACZ,OAAO,CAAC,2BAA2B,CAAC,CAwJtC"}

package/dist/authored-flow-executor.js

@@ -0,0 +1,203 @@
+import { COMPLETION_REASONS, RUN_COMPLETION_REASONS, } from '@relayflows/surface';
+import { compileSpec, toKernelSpec } from './compile.js';
+import { getAuthoredFlowDefinition } from './authored-flow.js';
+import { AuthoredFlowExecutionError, } from './authored-flow-error.js';
+import { AuthoredFlowOperation, stopAuthoredOperations, verifyAuthoredOperations, } from './authored-flow-operation.js';
+import { AuthoredFlowLifecycle } from './authored-flow-lifecycle.js';
+import { SPEC_SCHEMA_VERSION } from './spec.js';
+export { AuthoredFlowExecutionError };
+/**
+ * Exercise the internal authored-flow lowering seam through protocol v0.
+ *
+ * This is deliberately not exported by the SDK package: without a durable
+ * authored root, it is not a resumable public runner. The seam is narrow: an
+ * empty-header flow may await plain `f.run(...)` steps and must finish with
+ * `f.done("success")`. Every run and
+ * the terminal marker is a compiled deterministic spec submitted through
+ * `JournalClient`; values are read back from `step.completed` journal entries.
+ * Unsupported headers, verbs, gates, or completion lowering fail closed.
+ */
+export async function executeAuthoredFlow(handle, journal, input) {
+    const definition = getAuthoredFlowDefinition(handle);
+    const headerFields = Object.keys(definition.header);
+    if (headerFields.length > 0) {
+        throw new AuthoredFlowExecutionError('unsupported_header', `flow "${definition.name}" uses unsupported header fields: ${headerFields.join(', ')}`);
+    }
+    const journalSteps = [];
+    const authoredSteps = [];
+    const lifecycle = new AuthoredFlowLifecycle();
+    let nextStep = 1;
+    let requestedCompletion;
+    const lowerDeterministic = async (id, command) => {
+        const spec = toKernelSpec(compileSpec({
+            version: SPEC_SCHEMA_VERSION,
+            name: `${definition.name}/${id}`,
+            steps: [{ id, type: 'deterministic', command }],
+        }));
+        const outcome = await journal.runStart(spec);
+        return readSuccessfulOutput(journal, outcome, id, journalSteps);
+    };
+    const context = {
+        run(command) {
+            assertOperationAllowed('run', definition.name, requestedCompletion);
+            const id = `run-${nextStep++}`;
+            return trackStep(authoredSteps, new AuthoredFlowOperation(id, 'run', () => assertOperationAllowed('run', definition.name, requestedCompletion), () => lowerDeterministic(id, command), lifecycle));
+        },
+        llm() {
+            assertOperationAllowed('llm', definition.name, requestedCompletion);
+            const id = `llm-${nextStep++}`;
+            return trackStep(authoredSteps, unsupportedStep(id, 'llm', () => assertOperationAllowed('llm', definition.name, requestedCompletion), lifecycle));
+        },
+        agent() {
+            assertOperationAllowed('agent', definition.name, requestedCompletion);
+            const id = `agent-${nextStep++}`;
+            return trackStep(authoredSteps, unsupportedStep(id, 'agent', () => assertOperationAllowed('agent', definition.name, requestedCompletion), lifecycle));
+        },
+        human() {
+            assertOperationAllowed('human', definition.name, requestedCompletion);
+            throw unsupportedVerb('human');
+        },
+        dispatch() {
+            assertOperationAllowed('dispatch', definition.name, requestedCompletion);
+            throw unsupportedVerb('dispatch');
+        },
+        done(reason) {
+            if (!isSurfaceRunCompletionReason(reason)) {
+                throw new AuthoredFlowExecutionError('unsupported_completion', `unknown completion reason: ${String(reason)}`);
+            }
+            if (requestedCompletion !== undefined) {
+                throw new AuthoredFlowExecutionError('duplicate_completion', `flow "${definition.name}" called done() more than once`);
+            }
+            if (reason !== 'success') {
+                throw new AuthoredFlowExecutionError('unsupported_completion', `the initial authored executor cannot lower done("${reason}")`, reason);
+            }
+            lifecycle.markCompletion();
+            requestedCompletion = reason;
+        },
+        cloud: unsupportedCloud(() => assertOperationAllowed('cloud', definition.name, requestedCompletion)),
+    };
+    let bodyFailed = false;
+    let bodyFailure;
+    try {
+        const bodyPromise = lifecycle.runBody(() => definition.body(context, input));
+        await bodyPromise;
+    }
+    catch (error) {
+        bodyFailed = true;
+        bodyFailure = error;
+    }
+    if (bodyFailed) {
+        try {
+            await stopAuthoredOperations(authoredSteps, bodyFailure);
+        }
+        finally {
+            lifecycle.close();
+        }
+        throw bodyFailure;
+    }
+    // The completion requirement is checked BEFORE operation verification,
+    // because without a completion the verification cannot answer its own
+    // question. `AuthoredFlowLifecycle.isHandled` decides whether an operation
+    // was consumed by asking whether the COMPLETION depends on it; with no
+    // completion there is no async id to trace from, so it returns false for
+    // every operation. Verifying first therefore reported correctly-awaited
+    // steps as `unawaited_step`, naming the step the author had awaited and
+    // saying nothing about the `done()` they forgot (#183).
+    //
+    // A body that both forgets `done()` and leaves a step unawaited now reports
+    // the missing completion. That is the honest order: the unawaited-step
+    // verdict is not computable until there is a completion to compute it
+    // against, and once the author adds `done()` the verification runs normally
+    // and will catch it.
+    if (requestedCompletion === undefined) {
+        const missingCompletion = new AuthoredFlowExecutionError('missing_completion', `flow "${definition.name}" returned without done()`);
+        try {
+            await stopAuthoredOperations(authoredSteps, missingCompletion);
+        }
+        finally {
+            lifecycle.close();
+        }
+        throw missingCompletion;
+    }
+    try {
+        await verifyAuthoredOperations(definition.name, authoredSteps, lifecycle);
+    }
+    finally {
+        lifecycle.close();
+    }
+    await lowerDeterministic(`complete-${nextStep}`, ':');
+    return Object.freeze({
+        name: definition.name,
+        completionReason: requestedCompletion,
+        journalSteps: Object.freeze([...journalSteps]),
+    });
+}
+function trackStep(tracked, operation) {
+    tracked.push(operation);
+    return operation.step;
+}
+function unsupportedStep(id, verb, assertCanStart, lifecycle) {
+    return new AuthoredFlowOperation(id, verb, assertCanStart, async () => {
+        throw unsupportedVerb(verb);
+    }, lifecycle);
+}
+function unsupportedVerb(verb) {
+    return new AuthoredFlowExecutionError('unsupported_verb', `the initial authored executor does not lower f.${verb}`);
+}
+function assertOperationAllowed(verb, flowName, completion) {
+    if (completion !== undefined) {
+        throw new AuthoredFlowExecutionError('operation_after_completion', `flow "${flowName}" called f.${verb} after done()`, completion);
+    }
+}
+function unsupportedCloud(assertOpen) {
+    return new Proxy({}, {
+        get() {
+            assertOpen();
+            throw unsupportedVerb('cloud');
+        },
+    });
+}
+async function readSuccessfulOutput(journal, outcome, stepId, journalSteps) {
+    const entries = (await journal.journalRead(outcome.run_id, 1)).entries;
+    const completed = entries.find((entry) => isStepCompleted(entry, stepId));
+    if (!isStepCompleted(completed, stepId)) {
+        throw protocolViolation(outcome.run_id, `journal has no step.completed for "${stepId}"`);
+    }
+    const reason = completed.payload.completionReason;
+    journalSteps.push(Object.freeze({ id: stepId, runId: outcome.run_id, completionReason: reason }));
+    if (reason !== 'success') {
+        throw new AuthoredFlowExecutionError('step_failed', `journal step "${stepId}" completed with ${reason}`, reason, outcome.run_id);
+    }
+    if (outcome.status !== 'completed' || outcome.completion_reason !== 'success') {
+        throw protocolViolation(outcome.run_id, `successful step entry conflicts with run outcome ${outcome.status}/${String(outcome.completion_reason)}`);
+    }
+    const output = completed.payload.output;
+    if (!isRecord(output) || typeof output['stdout_tail'] !== 'string') {
+        throw protocolViolation(outcome.run_id, `step "${stepId}" has no string stdout_tail`);
+    }
+    return output['stdout_tail'];
+}
+function isStepCompleted(value, stepId) {
+    if (!isRecord(value) || value['entry_type'] !== 'step.completed' || value['step_id'] !== stepId) {
+        return false;
+    }
+    const payload = value['payload'];
+    return isRecord(payload)
+        && isSurfaceCompletionReason(payload['completionReason'])
+        && 'output' in payload;
+}
+function isSurfaceCompletionReason(value) {
+    return typeof value === 'string'
+        && COMPLETION_REASONS.includes(value);
+}
+function isSurfaceRunCompletionReason(value) {
+    return typeof value === 'string'
+        && RUN_COMPLETION_REASONS.includes(value);
+}
+function isRecord(value) {
+    return typeof value === 'object' && value !== null && !Array.isArray(value);
+}
+function protocolViolation(runId, detail) {
+    return new AuthoredFlowExecutionError('journal_protocol_violation', detail, undefined, runId);
+}
+//# sourceMappingURL=authored-flow-executor.js.map

package/dist/authored-flow-executor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"authored-flow-executor.js","sourceRoot":"","sources":["../src/authored-flow-executor.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,kBAAkB,EAClB,sBAAsB,GAOvB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AACzD,OAAO,EAAE,yBAAyB,EAAE,MAAM,oBAAoB,CAAC;AAC/D,OAAO,EACL,0BAA0B,GAE3B,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,qBAAqB,EACrB,sBAAsB,EACtB,wBAAwB,GACzB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AAOrE,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAoBhD,OAAO,EAAE,0BAA0B,EAAuC,CAAC;AAqB3E;;;;;;;;;;GAUG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,MAAkB,EAClB,OAAsB,EACtB,KAAa;IAEb,MAAM,UAAU,GAAG,yBAAyB,CAAQ,MAAM,CAAC,CAAC;IAC5D,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IACpD,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,0BAA0B,CAClC,oBAAoB,EACpB,SAAS,UAAU,CAAC,IAAI,qCAAqC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACvF,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAA8B,EAAE,CAAC;IACnD,MAAM,aAAa,GAAqC,EAAE,CAAC;IAC3D,MAAM,SAAS,GAAG,IAAI,qBAAqB,EAAE,CAAC;IAC9C,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,mBAA2D,CAAC;IAEhE,MAAM,kBAAkB,GAAG,KAAK,EAC9B,EAAU,EACV,OAAe,EACE,EAAE;QACnB,MAAM,IAAI,GAAG,YAAY,CAAC,WAAW,CAAC;YACpC,OAAO,EAAE,mBAAmB;YAC5B,IAAI,EAAE,GAAG,UAAU,CAAC,IAAI,IAAI,EAAE,EAAE;YAChC,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,CAAC;SAChD,CAAC,CAAC,CAAC;QACJ,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC7C,OAAO,oBAAoB,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,YAAY,CAAC,CAAC;IAClE,CAAC,CAAC;IAEF,MAAM,OAAO,GAAQ;QACnB,GAAG,CAAC,OAAO;YACT,sBAAsB,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC;YACpE,MAAM,EAAE,GAAG,OAAO,QAAQ,EAAE,EAAE,CAAC;YAC/B,OAAO,SAAS,CAAC,aAAa,EAAE,IAAI,qBAAqB,CACvD,EAAE,EACF,KAAK,EACL,GAAG,EAAE,CAAC,sBAAsB,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,EAAE,mBAAmB,CAAC,EACzE,GAAG,EAAE,CAAC,kBAAkB,CAAC,EAAE,EAAE,OAAO,CAAC,EACrC,SAAS,CACV,CAAC,CAAC;QACL,CAAC;QACD,GAAG;YACD,sBAAsB,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC;YACpE,MAAM,EAAE,GAAG,OAAO,QAAQ,EAAE,EAAE,CAAC;YAC/B,OAAO,SAAS,CAAC,aAAa,EAAE,eAAe,CAC7C,EAAE,EACF,KAAK,EACL,GAAG,EAAE,CAAC,sBAAsB,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,EAAE,mBAAmB,CAAC,EACzE,SAAS,CACV,CAAC,CAAC;QACL,CAAC;QACD,KAAK;YACH,sBAAsB,CAAC,OAAO,EAAE,UAAU,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC;YACtE,MAAM,EAAE,GAAG,SAAS,QAAQ,EAAE,EAAE,CAAC;YACjC,OAAO,SAAS,CAAC,aAAa,EAAE,eAAe,CAC7C,EAAE,EACF,OAAO,EACP,GAAG,EAAE,CAAC,sBAAsB,CAAC,OAAO,EAAE,UAAU,CAAC,IAAI,EAAE,mBAAmB,CAAC,EAC3E,SAAS,CACV,CAAC,CAAC;QACL,CAAC;QACD,KAAK;YACH,sBAAsB,CAAC,OAAO,EAAE,UAAU,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC;YACtE,MAAM,eAAe,CAAC,OAAO,CAAC,CAAC;QACjC,CAAC;QACD,QAAQ;YACN,sBAAsB,CAAC,UAAU,EAAE,UAAU,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC;YACzE,MAAM,eAAe,CAAC,UAAU,CAAC,CAAC;QACpC,CAAC;QACD,IAAI,CAAC,MAAM;YACT,IAAI,CAAC,4BAA4B,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC1C,MAAM,IAAI,0BAA0B,CAClC,wBAAwB,EACxB,8BAA8B,MAAM,CAAC,MAAM,CAAC,EAAE,CAC/C,CAAC;YACJ,CAAC;YACD,IAAI,mBAAmB,KAAK,SAAS,EAAE,CAAC;gBACtC,MAAM,IAAI,0BAA0B,CAClC,sBAAsB,EACtB,SAAS,UAAU,CAAC,IAAI,gCAAgC,CACzD,CAAC;YACJ,CAAC;YACD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,MAAM,IAAI,0BAA0B,CAClC,wBAAwB,EACxB,oDAAoD,MAAM,IAAI,EAC9D,MAAM,CACP,CAAC;YACJ,CAAC;YACD,SAAS,CAAC,cAAc,EAAE,CAAC;YAC3B,mBAAmB,GAAG,MAAM,CAAC;QAC/B,CAAC;QACD,KAAK,EAAE,gBAAgB,CACrB,GAAG,EAAE,CAAC,sBAAsB,CAAC,OAAO,EAAE,UAAU,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAC5E;KACF,CAAC;IAEF,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,IAAI,WAAoB,CAAC;IACzB,IAAI,CAAC;QACH,MAAM,WAAW,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,KAAc,CAAC,CAAC,CAAC;QACtF,MAAM,WAAW,CAAC;IACpB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,UAAU,GAAG,IAAI,CAAC;QAClB,WAAW,GAAG,KAAK,CAAC;IACtB,CAAC;IACD,IAAI,UAAU,EAAE,CAAC;QACf,IAAI,CAAC;YACH,MAAM,sBAAsB,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC;QAC3D,CAAC;gBAAS,CAAC;YACT,SAAS,CAAC,KAAK,EAAE,CAAC;QACpB,CAAC;QACD,MAAM,WAAW,CAAC;IACpB,CAAC;IACD,uEAAuE;IACvE,sEAAsE;IACtE,2EAA2E;IAC3E,uEAAuE;IACvE,yEAAyE;IACzE,wEAAwE;IACxE,wEAAwE;IACxE,wDAAwD;IACxD,EAAE;IACF,4EAA4E;IAC5E,uEAAuE;IACvE,sEAAsE;IACtE,4EAA4E;IAC5E,qBAAqB;IACrB,IAAI,mBAAmB,KAAK,SAAS,EAAE,CAAC;QACtC,MAAM,iBAAiB,GAAG,IAAI,0BAA0B,CACtD,oBAAoB,EACpB,SAAS,UAAU,CAAC,IAAI,2BAA2B,CACpD,CAAC;QACF,IAAI,CAAC;YACH,MAAM,sBAAsB,CAAC,aAAa,EAAE,iBAAiB,CAAC,CAAC;QACjE,CAAC;gBAAS,CAAC;YACT,SAAS,CAAC,KAAK,EAAE,CAAC;QACpB,CAAC;QACD,MAAM,iBAAiB,CAAC;IAC1B,CAAC;IACD,IAAI,CAAC;QACH,MAAM,wBAAwB,CAAC,UAAU,CAAC,IAAI,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC;IAC5E,CAAC;YAAS,CAAC;QACT,SAAS,CAAC,KAAK,EAAE,CAAC;IACpB,CAAC;IAED,MAAM,kBAAkB,CAAC,YAAY,QAAQ,EAAE,EAAE,GAAG,CAAC,CAAC;IACtD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,gBAAgB,EAAE,mBAAmB;QACrC,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC;KAC/C,CAAC,CAAC;AACL,CAAC;AAED,SAAS,SAAS,CAChB,OAAyC,EACzC,SAAmC;IAEnC,OAAO,CAAC,IAAI,CAAC,SAA2C,CAAC,CAAC;IAC1D,OAAO,SAAS,CAAC,IAAI,CAAC;AACxB,CAAC;AAED,SAAS,eAAe,CACtB,EAAU,EACV,IAAY,EACZ,cAA0B,EAC1B,SAAgC;IAEhC,OAAO,IAAI,qBAAqB,CAAI,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,IAAI,EAAE;QACvE,MAAM,eAAe,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC,EAAE,SAAS,CAAC,CAAC;AAChB,CAAC;AAED,SAAS,eAAe,CAAC,IAAY;IACnC,OAAO,IAAI,0BAA0B,CACnC,kBAAkB,EAClB,kDAAkD,IAAI,EAAE,CACzD,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAC7B,IAAY,EACZ,QAAgB,EAChB,UAAkD;IAElD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,IAAI,0BAA0B,CAClC,4BAA4B,EAC5B,SAAS,QAAQ,cAAc,IAAI,eAAe,EAClD,UAAU,CACX,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,UAAsB;IAC9C,OAAO,IAAI,KAAK,CAAC,EAAE,EAAE;QACnB,GAAG;YACD,UAAU,EAAE,CAAC;YACb,MAAM,eAAe,CAAC,OAAO,CAAC,CAAC;QACjC,CAAC;KACF,CAAgB,CAAC;AACpB,CAAC;AAED,KAAK,UAAU,oBAAoB,CACjC,OAAsB,EACtB,OAAmB,EACnB,MAAc,EACd,YAAuC;IAEvC,MAAM,OAAO,GAAG,CAAC,MAAM,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;IACvE,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;IAC1E,IAAI,CAAC,eAAe,CAAC,SAAS,EAAE,MAAM,CAAC,EAAE,CAAC;QACxC,MAAM,iBAAiB,CAAC,OAAO,CAAC,MAAM,EAAE,sCAAsC,MAAM,GAAG,CAAC,CAAC;IAC3F,CAAC;IAED,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,CAAC,gBAAgB,CAAC;IAClD,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,gBAAgB,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IAClG,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,IAAI,0BAA0B,CAClC,aAAa,EACb,iBAAiB,MAAM,oBAAoB,MAAM,EAAE,EACnD,MAAM,EACN,OAAO,CAAC,MAAM,CACf,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,WAAW,IAAI,OAAO,CAAC,iBAAiB,KAAK,SAAS,EAAE,CAAC;QAC9E,MAAM,iBAAiB,CACrB,OAAO,CAAC,MAAM,EACd,oDAAoD,OAAO,CAAC,MAAM,IAAI,MAAM,CAAC,OAAO,CAAC,iBAAiB,CAAC,EAAE,CAC1G,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC;IACxC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,OAAO,MAAM,CAAC,aAAa,CAAC,KAAK,QAAQ,EAAE,CAAC;QACnE,MAAM,iBAAiB,CAAC,OAAO,CAAC,MAAM,EAAE,SAAS,MAAM,6BAA6B,CAAC,CAAC;IACxF,CAAC;IACD,OAAO,MAAM,CAAC,aAAa,CAAC,CAAC;AAC/B,CAAC;AAWD,SAAS,eAAe,CAAC,KAAc,EAAE,MAAc;IACrD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,YAAY,CAAC,KAAK,gBAAgB,IAAI,KAAK,CAAC,SAAS,CAAC,KAAK,MAAM,EAAE,CAAC;QAChG,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC;IACjC,OAAO,QAAQ,CAAC,OAAO,CAAC;WACnB,yBAAyB,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;WACtD,QAAQ,IAAI,OAAO,CAAC;AAC3B,CAAC;AAED,SAAS,yBAAyB,CAAC,KAAc;IAC/C,OAAO,OAAO,KAAK,KAAK,QAAQ;WAC1B,kBAAwC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,4BAA4B,CAAC,KAAc;IAClD,OAAO,OAAO,KAAK,KAAK,QAAQ;WAC1B,sBAA4C,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAa,EAAE,MAAc;IACtD,OAAO,IAAI,0BAA0B,CACnC,4BAA4B,EAC5B,MAAM,EACN,SAAS,EACT,KAAK,CACN,CAAC;AACJ,CAAC"}

package/dist/authored-flow-lifecycle.d.ts

@@ -0,0 +1,61 @@
+type OperationToken = object;
+export interface AuthoredOperationInvocation {
+    readonly asyncId: number;
+    bound: boolean;
+}
+/**
+ * Runtime proof that a root operation participates in the continuation which
+ * reaches done(). Promise resolver identity is never inferred from callback
+ * source: a resolver counts only when invoking it settles the promise job that
+ * called the operation's then method.
+ */
+export declare class AuthoredFlowLifecycle {
+    private readonly graph;
+    private readonly activeResolverProbes;
+    private readonly invocations;
+    private readonly promiseAllAggregates;
+    private readonly promiseAllGroups;
+    private readonly callbackFailures;
+    private completionAsyncId;
+    private closed;
+    constructor();
+    runBody<T>(body: () => T): T;
+    registerStep(step: object, operation: OperationToken): void;
+    registerCombinator(values: readonly unknown[], aggregate: Promise<unknown>): void;
+    registerInvocation(operation: OperationToken, asyncId: number): AuthoredOperationInvocation;
+    markCompletion(): void;
+    invokeResolver<T>(invocation: AuthoredOperationInvocation, callback: () => T): T;
+    hasBoundConsumer(operation: OperationToken): boolean;
+    isHandled(operation: OperationToken): boolean;
+    /**
+     * Operations that still had derived work running when the body returned.
+     *
+     * This is the question the gate used to get wrong. It previously asked which
+     * derived failures had *already landed*, and skipped every promise that had
+     * not settled — so the same program passed or failed on how many microtask
+     * ticks the failure took. Ten `await null`s, or any real derived I/O, cleared
+     * the window.
+     *
+     * Whether derived work is still in flight when the body returns is not a
+     * timing fact, it is a causal one: work the author awaited is settled at that
+     * instant in every timing, and work the author did not await is pending in
+     * every timing. Refusing on pending work therefore closes the race rather
+     * than widening it — and it makes the *settled* set complete, so reading the
+     * outcomes of the settled promises stops being a sample and becomes a total
+     * answer over a closed set.
+     *
+     * Must be called before the gate awaits anything.
+     */
+    derivedWorkInFlight<T extends OperationToken>(operations: readonly T[]): T[];
+    observeCallbackFailures(operations: readonly OperationToken[]): Promise<void>;
+    callbackFailure(operation: OperationToken): {
+        readonly recorded: boolean;
+        readonly value: unknown;
+    };
+    close(): void;
+    private rootsFor;
+    private recordCallbackFailure;
+    private aggregatesFor;
+}
+export {};
+//# sourceMappingURL=authored-flow-lifecycle.d.ts.map

package/dist/authored-flow-lifecycle.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"authored-flow-lifecycle.d.ts","sourceRoot":"","sources":["../src/authored-flow-lifecycle.ts"],"names":[],"mappings":"AAIA,KAAK,cAAc,GAAG,MAAM,CAAC;AAM7B,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,KAAK,EAAE,OAAO,CAAC;CAChB;AA2FD;;;;;GAKG;AACH,qBAAa,qBAAqB;IAChC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAuB;IAC7C,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAAuB;IAC5D,OAAO,CAAC,QAAQ,CAAC,WAAW,CAA4D;IACxF,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAA0C;IAC/E,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAyB;IAC1D,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAsC;IACvE,OAAO,CAAC,iBAAiB,CAAqB;IAC9C,OAAO,CAAC,MAAM,CAAS;;IAkBvB,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC;IAI5B,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,cAAc,GAAG,IAAI;IAI3D,kBAAkB,CAAC,MAAM,EAAE,SAAS,OAAO,EAAE,EAAE,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,IAAI;IAqBjF,kBAAkB,CAChB,SAAS,EAAE,cAAc,EACzB,OAAO,EAAE,MAAM,GACd,2BAA2B;IAS9B,cAAc,IAAI,IAAI;IAUtB,cAAc,CAAC,CAAC,EACd,UAAU,EAAE,2BAA2B,EACvC,QAAQ,EAAE,MAAM,CAAC,GAChB,CAAC;IAaJ,gBAAgB,CAAC,SAAS,EAAE,cAAc,GAAG,OAAO;IAIpD,SAAS,CAAC,SAAS,EAAE,cAAc,GAAG,OAAO;IAY7C;;;;;;;;;;;;;;;;;;OAkBG;IACH,mBAAmB,CAAC,CAAC,SAAS,cAAc,EAAE,UAAU,EAAE,SAAS,CAAC,EAAE,GAAG,CAAC,EAAE;IAKtE,uBAAuB,CAAC,UAAU,EAAE,SAAS,cAAc,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAcnF,eAAe,CAAC,SAAS,EAAE,cAAc,GAAG;QAC1C,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;QAC3B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;KACzB;IAOD,KAAK,IAAI,IAAI;IAab,OAAO,CAAC,QAAQ;IAUhB,OAAO,CAAC,qBAAqB;IAI7B,OAAO,CAAC,aAAa;CActB"}

package/dist/authored-flow-lifecycle.js

@@ -0,0 +1,284 @@
+import { AsyncLocalStorage, executionAsyncId } from 'node:async_hooks';
+import { AuthoredFlowExecutionError } from './authored-flow-error.js';
+import { AuthoredPromiseGraph } from './authored-promise-graph.js';
+const nativePromiseThen = Promise.prototype.then;
+const activeLifecycle = new AsyncLocalStorage();
+const stepOwners = new WeakMap();
+/**
+ * The four intrinsic combinators, intercepted so that an aggregate's membership
+ * is recorded exactly.
+ *
+ * **Why interception, and why all four.** An aggregate is derived from *every*
+ * member, but the runtime supplies an edge to only *one* of them: the aggregate
+ * is resolved inside the reaction of whichever member settled last (`all`,
+ * `allSettled`) or first (`race`, `any`). Inferring membership from that edge is
+ * a sufficient rule, never a necessary one, and it fails in both directions —
+ * `Promise.allSettled([step, slowerUnrelated])` hid a rejected derived chain
+ * behind an aggregate an unrelated promise resolved, and
+ * `await Promise.allSettled([a, b])` refused every member except the last to
+ * settle. Membership cannot be recovered from the promise graph, so it is
+ * recorded here, where the combinator is called and the member list is in hand.
+ *
+ * A previous revision registered `Promise.all` only, and claimed a
+ * resolution-context rule covered "every combinator, present and future". That
+ * claim was wrong: it covered whichever member happened to resolve the
+ * aggregate. What is true is narrower and is what the code now implements —
+ * these four are exact, and `adoptFromResolvingContext` in the promise graph is
+ * a best-effort fallback for aggregates built by hand.
+ *
+ * The interception is disclosed to authors in `docs/SURFACE.md`. It is spec
+ * transparent: `Symbol.iterator` is read exactly once (as the intrinsic does),
+ * a non-iterable is handed to the intrinsic so it produces the specified
+ * rejected promise, `this` is honoured for subclasses, and `name`/`length`
+ * match.
+ */
+const COMBINATORS = ['all', 'allSettled', 'any', 'race'];
+const nativeCombinators = Object.freeze(Object.fromEntries(COMBINATORS.map((name) => [name, Promise[name]])));
+const observedCombinators = Object.fromEntries(COMBINATORS.map((name) => {
+    const native = nativeCombinators[name];
+    const observed = function (values) {
+        const members = collectMembers(values);
+        if (members === undefined)
+            return native.call(this, values);
+        const aggregate = native.call(this, members);
+        activeLifecycle.getStore()?.registerCombinator(members, aggregate);
+        return aggregate;
+    };
+    Object.defineProperty(observed, 'name', { value: name, configurable: true });
+    Object.defineProperty(observed, 'length', { value: 1, configurable: true });
+    return [name, observed];
+}));
+let combinatorObservers = 0;
+/**
+ * Drain an iterable into an array, reading `Symbol.iterator` exactly once.
+ *
+ * Returns `undefined` when the argument is not iterable or iteration threw, so
+ * the caller hands the original value to the intrinsic and the author sees the
+ * intrinsic's own behaviour. A previous revision used `isIterable()` followed by
+ * `Array.from()`, which invoked a `Symbol.iterator` getter twice where the
+ * intrinsic invokes it once.
+ */
+function collectMembers(values) {
+    if (values === null || values === undefined)
+        return undefined;
+    let iteratorMethod;
+    try {
+        iteratorMethod = values[Symbol.iterator];
+    }
+    catch {
+        return undefined;
+    }
+    if (typeof iteratorMethod !== 'function')
+        return undefined;
+    try {
+        return [...values];
+    }
+    catch {
+        return undefined;
+    }
+}
+/**
+ * Runtime proof that a root operation participates in the continuation which
+ * reaches done(). Promise resolver identity is never inferred from callback
+ * source: a resolver counts only when invoking it settles the promise job that
+ * called the operation's then method.
+ */
+export class AuthoredFlowLifecycle {
+    graph;
+    activeResolverProbes = [];
+    invocations = new Map();
+    promiseAllAggregates = new Map();
+    promiseAllGroups = [];
+    callbackFailures = new Map();
+    completionAsyncId;
+    closed = false;
+    constructor() {
+        this.graph = new AuthoredPromiseGraph(() => activeLifecycle.getStore() === this, (asyncId) => {
+            for (const probe of this.activeResolverProbes)
+                probe.add(asyncId);
+        });
+        installPromiseAllObserver();
+        try {
+            this.graph.enable();
+        }
+        catch (error) {
+            uninstallPromiseAllObserver();
+            throw error;
+        }
+    }
+    runBody(body) {
+        return activeLifecycle.run(this, body);
+    }
+    registerStep(step, operation) {
+        stepOwners.set(step, { lifecycle: this, operation });
+    }
+    registerCombinator(values, aggregate) {
+        const aggregateId = this.graph.idOf(aggregate);
+        if (aggregateId === undefined)
+            return;
+        this.graph.registerRoot(aggregateId);
+        const memberIds = new Set();
+        for (const value of values) {
+            if ((typeof value !== 'object' && typeof value !== 'function') || value === null)
+                continue;
+            const memberId = this.graph.idOf(value);
+            if (memberId !== undefined)
+                memberIds.add(memberId);
+            const owner = stepOwners.get(value);
+            if (owner?.lifecycle !== this)
+                continue;
+            let operationAggregates = this.promiseAllAggregates.get(owner.operation);
+            if (operationAggregates === undefined) {
+                operationAggregates = new Set();
+                this.promiseAllAggregates.set(owner.operation, operationAggregates);
+            }
+            operationAggregates.add(aggregateId);
+        }
+        this.promiseAllGroups.push({ aggregate: aggregateId, members: memberIds });
+    }
+    registerInvocation(operation, asyncId) {
+        const invocation = { asyncId, bound: false };
+        const operationInvocations = this.invocations.get(operation);
+        if (operationInvocations === undefined)
+            this.invocations.set(operation, [invocation]);
+        else
+            operationInvocations.push(invocation);
+        this.graph.registerRoot(asyncId);
+        return invocation;
+    }
+    markCompletion() {
+        if (activeLifecycle.getStore() !== this) {
+            throw new AuthoredFlowExecutionError('unsupported_promise_lifecycle', 'done() escaped its authored flow lifecycle scope');
+        }
+        this.completionAsyncId = executionAsyncId();
+    }
+    invokeResolver(invocation, callback) {
+        const probe = new Set();
+        this.activeResolverProbes.push(probe);
+        try {
+            return callback();
+        }
+        finally {
+            this.activeResolverProbes.pop();
+            if (invocation.asyncId > 0 && probe.has(invocation.asyncId)) {
+                invocation.bound = true;
+            }
+        }
+    }
+    hasBoundConsumer(operation) {
+        return this.invocations.get(operation)?.some((invocation) => invocation.bound) ?? false;
+    }
+    isHandled(operation) {
+        const completion = this.completionAsyncId;
+        const operationInvocations = this.invocations.get(operation);
+        if (completion === undefined || operationInvocations === undefined)
+            return false;
+        const aggregates = this.aggregatesFor(operation);
+        return operationInvocations.length > 0 && operationInvocations.every((invocation) => invocation.bound && (this.graph.dependsOn(completion, invocation.asyncId)
+            || [...aggregates].some((aggregate) => this.graph.dependsOn(completion, aggregate))));
+    }
+    /**
+     * Operations that still had derived work running when the body returned.
+     *
+     * This is the question the gate used to get wrong. It previously asked which
+     * derived failures had *already landed*, and skipped every promise that had
+     * not settled — so the same program passed or failed on how many microtask
+     * ticks the failure took. Ten `await null`s, or any real derived I/O, cleared
+     * the window.
+     *
+     * Whether derived work is still in flight when the body returns is not a
+     * timing fact, it is a causal one: work the author awaited is settled at that
+     * instant in every timing, and work the author did not await is pending in
+     * every timing. Refusing on pending work therefore closes the race rather
+     * than widening it — and it makes the *settled* set complete, so reading the
+     * outcomes of the settled promises stops being a sample and becomes a total
+     * answer over a closed set.
+     *
+     * Must be called before the gate awaits anything.
+     */
+    derivedWorkInFlight(operations) {
+        return operations.filter((operation) => this.graph.inFlightFrom(this.rootsFor(operation)).length > 0);
+    }
+    async observeCallbackFailures(operations) {
+        const observations = [];
+        for (const operation of operations) {
+            for (const promise of this.graph.settledFrom(this.rootsFor(operation))) {
+                observations.push(nativePromiseThen.call(promise, () => undefined, (error) => { this.recordCallbackFailure(operation, error); }));
+            }
+        }
+        await Promise.all(observations);
+    }
+    callbackFailure(operation) {
+        return {
+            recorded: this.callbackFailures.has(operation),
+            value: this.callbackFailures.get(operation),
+        };
+    }
+    close() {
+        if (this.closed)
+            return;
+        this.closed = true;
+        this.graph.disable();
+        this.graph.clear();
+        this.invocations.clear();
+        this.promiseAllAggregates.clear();
+        this.promiseAllGroups.length = 0;
+        this.callbackFailures.clear();
+        this.activeResolverProbes.length = 0;
+        uninstallPromiseAllObserver();
+    }
+    rootsFor(operation) {
+        const roots = new Set((this.invocations.get(operation) ?? [])
+            .filter((invocation) => invocation.bound)
+            .map((invocation) => invocation.asyncId));
+        for (const aggregate of this.aggregatesFor(operation))
+            roots.add(aggregate);
+        return roots;
+    }
+    recordCallbackFailure(operation, error) {
+        if (!this.callbackFailures.has(operation))
+            this.callbackFailures.set(operation, error);
+    }
+    aggregatesFor(operation) {
+        const aggregates = new Set(this.promiseAllAggregates.get(operation) ?? []);
+        for (const invocation of this.invocations.get(operation) ?? []) {
+            for (const group of this.promiseAllGroups) {
+                if (group.members.size > 0
+                    && [...group.members].some((member) => this.graph.dependsOn(member, invocation.asyncId))) {
+                    aggregates.add(group.aggregate);
+                }
+            }
+        }
+        return aggregates;
+    }
+}
+function installPromiseAllObserver() {
+    if (combinatorObservers === 0) {
+        for (const name of COMBINATORS) {
+            if (Promise[name] !== nativeCombinators[name]) {
+                throw new AuthoredFlowExecutionError('unsupported_promise_lifecycle', `authored flow execution requires the intrinsic Promise.${name}`);
+            }
+        }
+        for (const name of COMBINATORS) {
+            Promise[name] = observedCombinators[name];
+        }
+    }
+    else {
+        for (const name of COMBINATORS) {
+            if (Promise[name] !== observedCombinators[name]) {
+                throw new AuthoredFlowExecutionError('unsupported_promise_lifecycle', `the authored flow Promise.${name} lifecycle contract was replaced`);
+            }
+        }
+    }
+    combinatorObservers += 1;
+}
+function uninstallPromiseAllObserver() {
+    combinatorObservers -= 1;
+    if (combinatorObservers > 0)
+        return;
+    combinatorObservers = 0;
+    for (const name of COMBINATORS) {
+        Promise[name] = nativeCombinators[name];
+    }
+}
+//# sourceMappingURL=authored-flow-lifecycle.js.map

package/dist/authored-flow-lifecycle.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"authored-flow-lifecycle.js","sourceRoot":"","sources":["../src/authored-flow-lifecycle.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACvE,OAAO,EAAE,0BAA0B,EAAE,MAAM,0BAA0B,CAAC;AACtE,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAanE,MAAM,iBAAiB,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;AACjD,MAAM,eAAe,GAAG,IAAI,iBAAiB,EAAyB,CAAC;AACvE,MAAM,UAAU,GAAG,IAAI,OAAO,EAG1B,CAAC;AAEL;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,WAAW,GAAG,CAAC,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,CAAU,CAAC;AAIlE,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM,CACrC,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAA0B,CAAC,CAAC,CAAC,CAC9C,CAAC;AAElD,MAAM,mBAAmB,GAAuC,MAAM,CAAC,WAAW,CAChF,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;IACvB,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAG,UAEf,MAAyB;QAEzB,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;QACvC,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC5D,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC7C,eAAe,CAAC,QAAQ,EAAE,EAAE,kBAAkB,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QACnE,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IACF,MAAM,CAAC,cAAc,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;IAC7E,MAAM,CAAC,cAAc,CAAC,QAAQ,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5E,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;AAC1B,CAAC,CAAC,CACmC,CAAC;AAExC,IAAI,mBAAmB,GAAG,CAAC,CAAC;AAE5B;;;;;;;;GAQG;AACH,SAAS,cAAc,CAAC,MAAyB;IAC/C,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC9D,IAAI,cAAuB,CAAC;IAC5B,IAAI,CAAC;QACH,cAAc,GAAI,MAA0C,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAChF,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,OAAO,cAAc,KAAK,UAAU;QAAE,OAAO,SAAS,CAAC;IAC3D,IAAI,CAAC;QACH,OAAO,CAAC,GAAI,MAA4B,CAAC,CAAC;IAC5C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,OAAO,qBAAqB;IACf,KAAK,CAAuB;IAC5B,oBAAoB,GAAoB,EAAE,CAAC;IAC3C,WAAW,GAAG,IAAI,GAAG,EAAiD,CAAC;IACvE,oBAAoB,GAAG,IAAI,GAAG,EAA+B,CAAC;IAC9D,gBAAgB,GAAsB,EAAE,CAAC;IACzC,gBAAgB,GAAG,IAAI,GAAG,EAA2B,CAAC;IAC/D,iBAAiB,CAAqB;IACtC,MAAM,GAAG,KAAK,CAAC;IAEvB;QACE,IAAI,CAAC,KAAK,GAAG,IAAI,oBAAoB,CACnC,GAAG,EAAE,CAAC,eAAe,CAAC,QAAQ,EAAE,KAAK,IAAI,EACzC,CAAC,OAAO,EAAE,EAAE;YACV,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,oBAAoB;gBAAE,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACpE,CAAC,CACF,CAAC;QACF,yBAAyB,EAAE,CAAC;QAC5B,IAAI,CAAC;YACH,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QACtB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,2BAA2B,EAAE,CAAC;YAC9B,MAAM,KAAK,CAAC;QACd,CAAC;IACH,CAAC;IAED,OAAO,CAAI,IAAa;QACtB,OAAO,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACzC,CAAC;IAED,YAAY,CAAC,IAAY,EAAE,SAAyB;QAClD,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;IACvD,CAAC;IAED,kBAAkB,CAAC,MAA0B,EAAE,SAA2B;QACxE,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC/C,IAAI,WAAW,KAAK,SAAS;YAAE,OAAO;QACtC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC;QACrC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;QACpC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,UAAU,CAAC,IAAI,KAAK,KAAK,IAAI;gBAAE,SAAS;YAC3F,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACxC,IAAI,QAAQ,KAAK,SAAS;gBAAE,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACpD,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACpC,IAAI,KAAK,EAAE,SAAS,KAAK,IAAI;gBAAE,SAAS;YACxC,IAAI,mBAAmB,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACzE,IAAI,mBAAmB,KAAK,SAAS,EAAE,CAAC;gBACtC,mBAAmB,GAAG,IAAI,GAAG,EAAE,CAAC;gBAChC,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,EAAE,mBAAmB,CAAC,CAAC;YACtE,CAAC;YACD,mBAAmB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QACvC,CAAC;QACD,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,WAAW,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC;IAC7E,CAAC;IAED,kBAAkB,CAChB,SAAyB,EACzB,OAAe;QAEf,MAAM,UAAU,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;QAC7C,MAAM,oBAAoB,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC7D,IAAI,oBAAoB,KAAK,SAAS;YAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;;YACjF,oBAAoB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC3C,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;QACjC,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,cAAc;QACZ,IAAI,eAAe,CAAC,QAAQ,EAAE,KAAK,IAAI,EAAE,CAAC;YACxC,MAAM,IAAI,0BAA0B,CAClC,+BAA+B,EAC/B,kDAAkD,CACnD,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,iBAAiB,GAAG,gBAAgB,EAAE,CAAC;IAC9C,CAAC;IAED,cAAc,CACZ,UAAuC,EACvC,QAAiB;QAEjB,MAAM,KAAK,GAAkB,IAAI,GAAG,EAAE,CAAC;QACvC,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,CAAC;YACH,OAAO,QAAQ,EAAE,CAAC;QACpB,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,oBAAoB,CAAC,GAAG,EAAE,CAAC;YAChC,IAAI,UAAU,CAAC,OAAO,GAAG,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC5D,UAAU,CAAC,KAAK,GAAG,IAAI,CAAC;YAC1B,CAAC;QACH,CAAC;IACH,CAAC;IAED,gBAAgB,CAAC,SAAyB;QACxC,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC;IAC1F,CAAC;IAED,SAAS,CAAC,SAAyB;QACjC,MAAM,UAAU,GAAG,IAAI,CAAC,iBAAiB,CAAC;QAC1C,MAAM,oBAAoB,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC7D,IAAI,UAAU,KAAK,SAAS,IAAI,oBAAoB,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACjF,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;QACjD,OAAO,oBAAoB,CAAC,MAAM,GAAG,CAAC,IAAI,oBAAoB,CAAC,KAAK,CAAC,CAAC,UAAU,EAAE,EAAE,CAClF,UAAU,CAAC,KAAK,IAAI,CAClB,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,UAAU,EAAE,UAAU,CAAC,OAAO,CAAC;eACjD,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,CACpF,CAAC,CAAC;IACP,CAAC;IAED;;;;;;;;;;;;;;;;;;OAkBG;IACH,mBAAmB,CAA2B,UAAwB;QACpE,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CACrC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAClE,CAAC;IAED,KAAK,CAAC,uBAAuB,CAAC,UAAqC;QACjE,MAAM,YAAY,GAAuB,EAAE,CAAC;QAC5C,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACnC,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;gBACvE,YAAY,CAAC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CACtC,OAAO,EACP,GAAG,EAAE,CAAC,SAAS,EACf,CAAC,KAAc,EAAE,EAAE,GAAG,IAAI,CAAC,qBAAqB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CACtE,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,MAAM,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IAClC,CAAC;IAED,eAAe,CAAC,SAAyB;QAIvC,OAAO;YACL,QAAQ,EAAE,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC;YAC9C,KAAK,EAAE,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC;SAC5C,CAAC;IACJ,CAAC;IAED,KAAK;QACH,IAAI,IAAI,CAAC,MAAM;YAAE,OAAO;QACxB,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;QACnB,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;QACrB,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QACnB,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,oBAAoB,CAAC,KAAK,EAAE,CAAC;QAClC,IAAI,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC;QACjC,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,CAAC;QAC9B,IAAI,CAAC,oBAAoB,CAAC,MAAM,GAAG,CAAC,CAAC;QACrC,2BAA2B,EAAE,CAAC;IAChC,CAAC;IAEO,QAAQ,CAAC,SAAyB;QACxC,MAAM,KAAK,GAAG,IAAI,GAAG,CACnB,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;aACpC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC;aACxC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,CAC3C,CAAC;QACF,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC5E,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,qBAAqB,CAAC,SAAyB,EAAE,KAAc;QACrE,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC;YAAE,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IACzF,CAAC;IAEO,aAAa,CAAC,SAAyB;QAC7C,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;QAC3E,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC;YAC/D,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,gBAAgB,EAAE,CAAC;gBAC1C,IACE,KAAK,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC;uBACnB,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,EACxF,CAAC;oBACD,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBAClC,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,UAAU,CAAC;IACpB,CAAC;CACF;AAED,SAAS,yBAAyB;IAChC,IAAI,mBAAmB,KAAK,CAAC,EAAE,CAAC;QAC9B,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAC/B,IAAI,OAAO,CAAC,IAAI,CAAC,KAAM,iBAAiB,CAAC,IAAI,CAAa,EAAE,CAAC;gBAC3D,MAAM,IAAI,0BAA0B,CAClC,+BAA+B,EAC/B,0DAA0D,IAAI,EAAE,CACjE,CAAC;YACJ,CAAC;QACH,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAC9B,OAA8C,CAAC,IAAI,CAAC,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACpF,CAAC;IACH,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAC/B,IAAI,OAAO,CAAC,IAAI,CAAC,KAAM,mBAAmB,CAAC,IAAI,CAAa,EAAE,CAAC;gBAC7D,MAAM,IAAI,0BAA0B,CAClC,+BAA+B,EAC/B,6BAA6B,IAAI,kCAAkC,CACpE,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IACD,mBAAmB,IAAI,CAAC,CAAC;AAC3B,CAAC;AAED,SAAS,2BAA2B;IAClC,mBAAmB,IAAI,CAAC,CAAC;IACzB,IAAI,mBAAmB,GAAG,CAAC;QAAE,OAAO;IACpC,mBAAmB,GAAG,CAAC,CAAC;IACxB,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;QAC9B,OAA8C,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAClF,CAAC;AACH,CAAC"}