@relayflows/sdk 2.0.0

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

@@ -0,0 +1,7 @@
+import { type FlowHandle } from './authored-flow.js';
+export declare class AuthoredFlowLoadError extends Error {
+    constructor(message: string);
+}
+/** Import and validate a direct-run module without executing its authored body. */
+export declare function loadAuthoredFlow(path: string): Promise<FlowHandle>;
+//# sourceMappingURL=authored-flow-loader.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"authored-flow-loader.d.ts","sourceRoot":"","sources":["../src/authored-flow-loader.ts"],"names":[],"mappings":"AAGA,OAAO,EAA6B,KAAK,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAEhF,qBAAa,qBAAsB,SAAQ,KAAK;gBAClC,OAAO,EAAE,MAAM;CAI5B;AAED,mFAAmF;AACnF,wBAAsB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,CA0BxE"}

package/dist/authored-flow-loader.js

@@ -0,0 +1,39 @@
+import { accessSync, constants } from 'node:fs';
+import { resolve } from 'node:path';
+import { pathToFileURL } from 'node:url';
+import { getAuthoredFlowDefinition } from './authored-flow.js';
+export class AuthoredFlowLoadError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = 'AuthoredFlowLoadError';
+    }
+}
+/** Import and validate a direct-run module without executing its authored body. */
+export async function loadAuthoredFlow(path) {
+    const absolutePath = resolve(path);
+    try {
+        accessSync(absolutePath, constants.R_OK);
+    }
+    catch {
+        throw new AuthoredFlowLoadError(`Flow "${path}" is not readable.`);
+    }
+    let authoredModule;
+    try {
+        authoredModule = await import(pathToFileURL(absolutePath).href);
+    }
+    catch (error) {
+        throw new AuthoredFlowLoadError(`Flow "${path}" could not be imported: ${errorMessage(error)}`);
+    }
+    const handle = authoredModule['default'];
+    try {
+        getAuthoredFlowDefinition(handle);
+    }
+    catch (error) {
+        throw new AuthoredFlowLoadError(`Flow "${path}" must default-export flow(...): ${errorMessage(error)}`);
+    }
+    return handle;
+}
+function errorMessage(error) {
+    return error instanceof Error ? error.message : 'unknown authored-flow error';
+}
+//# sourceMappingURL=authored-flow-loader.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"authored-flow-loader.js","sourceRoot":"","sources":["../src/authored-flow-loader.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AAChD,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,yBAAyB,EAAmB,MAAM,oBAAoB,CAAC;AAEhF,MAAM,OAAO,qBAAsB,SAAQ,KAAK;IAC9C,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAC;IACtC,CAAC;CACF;AAED,mFAAmF;AACnF,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,IAAY;IACjD,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,CAAC;QACH,UAAU,CAAC,YAAY,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,qBAAqB,CAAC,SAAS,IAAI,oBAAoB,CAAC,CAAC;IACrE,CAAC;IAED,IAAI,cAAuC,CAAC;IAC5C,IAAI,CAAC;QACH,cAAc,GAAG,MAAM,MAAM,CAAC,aAAa,CAAC,YAAY,CAAC,CAAC,IAAI,CAA4B,CAAC;IAC7F,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,qBAAqB,CAC7B,SAAS,IAAI,4BAA4B,YAAY,CAAC,KAAK,CAAC,EAAE,CAC/D,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,cAAc,CAAC,SAAS,CAAe,CAAC;IACvD,IAAI,CAAC;QACH,yBAAyB,CAAC,MAAM,CAAC,CAAC;IACpC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,qBAAqB,CAC7B,SAAS,IAAI,oCAAoC,YAAY,CAAC,KAAK,CAAC,EAAE,CACvE,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,OAAO,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,6BAA6B,CAAC;AAChF,CAAC"}

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

@@ -0,0 +1,43 @@
+import type { Step } from '@relayflows/surface';
+import { AuthoredFlowLifecycle, type AuthoredOperationInvocation } from './authored-flow-lifecycle.js';
+type OperationState = 'created' | 'running' | 'fulfilled' | 'rejected';
+/** A root authored operation whose outcome cannot be hidden by promise handlers. */
+export declare class AuthoredFlowOperation<T> {
+    readonly id: string;
+    readonly verb: string;
+    private readonly assertCanStart;
+    private readonly start;
+    private readonly scope;
+    readonly step: Step<T>;
+    private state;
+    private thenInvoked;
+    private rootFailureRecorded;
+    private rootFailure;
+    private callbackFailureRecorded;
+    private callbackFailure;
+    private readonly promise;
+    private readonly resolve;
+    private readonly reject;
+    constructor(id: string, verb: string, assertCanStart: () => void, start: () => Promise<T>, scope: AuthoredFlowLifecycle);
+    get lifecycle(): OperationState;
+    get wasManuallyChained(): boolean;
+    get wasAwaited(): boolean;
+    get failure(): {
+        readonly recorded: boolean;
+        readonly value: unknown;
+    };
+    get derivedFailure(): {
+        readonly recorded: boolean;
+        readonly value: unknown;
+    };
+    cancel(error: unknown): void;
+    waitForSettlement(): Promise<void>;
+    invokeResolver<TResult>(invocation: AuthoredOperationInvocation, callback: () => TResult): TResult;
+    private begin;
+    private recordRootFailure;
+    private recordCallbackFailure;
+}
+export declare function verifyAuthoredOperations(flowName: string, operations: readonly AuthoredFlowOperation<unknown>[], lifecycle: AuthoredFlowLifecycle): Promise<void>;
+export declare function stopAuthoredOperations(operations: readonly AuthoredFlowOperation<unknown>[], reason: unknown): Promise<void>;
+export {};
+//# sourceMappingURL=authored-flow-operation.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"authored-flow-operation.d.ts","sourceRoot":"","sources":["../src/authored-flow-operation.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,qBAAqB,CAAC;AAEhD,OAAO,EACL,qBAAqB,EACrB,KAAK,2BAA2B,EACjC,MAAM,8BAA8B,CAAC;AAEtC,KAAK,cAAc,GAAG,SAAS,GAAG,SAAS,GAAG,WAAW,GAAG,UAAU,CAAC;AAGvE,oFAAoF;AACpF,qBAAa,qBAAqB,CAAC,CAAC;IAahC,QAAQ,CAAC,EAAE,EAAE,MAAM;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM;IACrB,OAAO,CAAC,QAAQ,CAAC,cAAc;IAC/B,OAAO,CAAC,QAAQ,CAAC,KAAK;IACtB,OAAO,CAAC,QAAQ,CAAC,KAAK;IAhBxB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACvB,OAAO,CAAC,KAAK,CAA6B;IAC1C,OAAO,CAAC,WAAW,CAAS;IAC5B,OAAO,CAAC,mBAAmB,CAAS;IACpC,OAAO,CAAC,WAAW,CAAU;IAC7B,OAAO,CAAC,uBAAuB,CAAS;IACxC,OAAO,CAAC,eAAe,CAAU;IACjC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAa;IACrC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAsC;IAC9D,OAAO,CAAC,QAAQ,CAAC,MAAM,CAA6B;gBAGzC,EAAE,EAAE,MAAM,EACV,IAAI,EAAE,MAAM,EACJ,cAAc,EAAE,MAAM,IAAI,EAC1B,KAAK,EAAE,MAAM,OAAO,CAAC,CAAC,CAAC,EACvB,KAAK,EAAE,qBAAqB;IAyC/C,IAAI,SAAS,IAAI,cAAc,CAE9B;IAED,IAAI,kBAAkB,IAAI,OAAO,CAEhC;IAED,IAAI,UAAU,IAAI,OAAO,CAExB;IAED,IAAI,OAAO,IAAI;QAAE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;KAAE,CAErE;IAED,IAAI,cAAc,IAAI;QAAE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;KAAE,CAE5E;IAED,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,IAAI;IAOtB,iBAAiB,IAAI,OAAO,CAAC,IAAI,CAAC;IAIxC,cAAc,CAAC,OAAO,EACpB,UAAU,EAAE,2BAA2B,EACvC,QAAQ,EAAE,MAAM,OAAO,GACtB,OAAO;YAII,KAAK;IAenB,OAAO,CAAC,iBAAiB;IAMzB,OAAO,CAAC,qBAAqB;CAK9B;AAED,wBAAsB,wBAAwB,CAC5C,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,SAAS,qBAAqB,CAAC,OAAO,CAAC,EAAE,EACrD,SAAS,EAAE,qBAAqB,GAC/B,OAAO,CAAC,IAAI,CAAC,CA6Cf;AAED,wBAAsB,sBAAsB,CAC1C,UAAU,EAAE,SAAS,qBAAqB,CAAC,OAAO,CAAC,EAAE,EACrD,MAAM,EAAE,OAAO,GACd,OAAO,CAAC,IAAI,CAAC,CAGf"}

package/dist/authored-flow-operation.js

@@ -0,0 +1,176 @@
+import { executionAsyncId } from 'node:async_hooks';
+import { AuthoredFlowExecutionError } from './authored-flow-error.js';
+const nativePromiseThen = Promise.prototype.then;
+/** A root authored operation whose outcome cannot be hidden by promise handlers. */
+export class AuthoredFlowOperation {
+    id;
+    verb;
+    assertCanStart;
+    start;
+    scope;
+    step;
+    state = 'created';
+    thenInvoked = false;
+    rootFailureRecorded = false;
+    rootFailure;
+    callbackFailureRecorded = false;
+    callbackFailure;
+    promise;
+    resolve;
+    reject;
+    constructor(id, verb, assertCanStart, start, scope) {
+        this.id = id;
+        this.verb = verb;
+        this.assertCanStart = assertCanStart;
+        this.start = start;
+        this.scope = scope;
+        let resolve;
+        let reject;
+        this.promise = new Promise((promiseResolve, promiseReject) => {
+            resolve = promiseResolve;
+            reject = promiseReject;
+        });
+        this.resolve = resolve;
+        this.reject = reject;
+        observeRejection(this.promise, (error) => this.recordRootFailure(error));
+        const operation = this;
+        this.step = Object.freeze({
+            gate() {
+                throw new AuthoredFlowExecutionError('unsupported_gate', 'postfix gates are not lowered by the initial authored executor');
+            },
+            then(onfulfilled, onrejected) {
+                operation.thenInvoked = true;
+                const invocation = operation.scope.registerInvocation(operation, executionAsyncId());
+                void operation.begin();
+                const derived = nativeThen(operation.promise, wrapResolver(operation, invocation, onfulfilled), wrapResolver(operation, invocation, onrejected));
+                return trackDerivedPromise(derived, (error) => operation.recordCallbackFailure(error));
+            },
+        });
+        this.scope.registerStep(this.step, this);
+    }
+    get lifecycle() {
+        return this.state;
+    }
+    get wasManuallyChained() {
+        return this.thenInvoked && !this.scope.hasBoundConsumer(this);
+    }
+    get wasAwaited() {
+        return this.scope.hasBoundConsumer(this);
+    }
+    get failure() {
+        return { recorded: this.rootFailureRecorded, value: this.rootFailure };
+    }
+    get derivedFailure() {
+        return { recorded: this.callbackFailureRecorded, value: this.callbackFailure };
+    }
+    cancel(error) {
+        if (this.state !== 'created')
+            return;
+        this.state = 'rejected';
+        this.recordRootFailure(error);
+        this.reject(error);
+    }
+    async waitForSettlement() {
+        await nativeThen(this.promise, () => undefined, () => undefined);
+    }
+    invokeResolver(invocation, callback) {
+        return this.scope.invokeResolver(invocation, callback);
+    }
+    async begin() {
+        if (this.state !== 'created')
+            return;
+        try {
+            this.assertCanStart();
+            this.state = 'running';
+            const value = await this.start();
+            this.state = 'fulfilled';
+            this.resolve(value);
+        }
+        catch (error) {
+            this.state = 'rejected';
+            this.recordRootFailure(error);
+            this.reject(error);
+        }
+    }
+    recordRootFailure(error) {
+        if (this.rootFailureRecorded)
+            return;
+        this.rootFailureRecorded = true;
+        this.rootFailure = error;
+    }
+    recordCallbackFailure(error) {
+        if (this.callbackFailureRecorded)
+            return;
+        this.callbackFailureRecorded = true;
+        this.callbackFailure = error;
+    }
+}
+export async function verifyAuthoredOperations(flowName, operations, lifecycle) {
+    const canceled = new Set(operations.filter((operation) => operation.lifecycle === 'created'));
+    if (canceled.size > 0) {
+        const error = unawaitedError(flowName, [...canceled]);
+        for (const operation of operations)
+            operation.cancel(error);
+    }
+    // Read the in-flight set before the gate awaits anything: "was derived work
+    // still running when the body returned" is the question, and every await here
+    // would move the answer.
+    const inFlight = lifecycle.derivedWorkInFlight(operations);
+    await Promise.all(operations.map((operation) => operation.waitForSettlement()));
+    await lifecycle.observeCallbackFailures(operations);
+    const unawaited = operations.filter((operation) => !lifecycle.isHandled(operation)
+        || operation.lifecycle === 'created'
+        || operation.lifecycle === 'running');
+    const failed = operations.find((operation) => operation.failure.recorded && !canceled.has(operation));
+    if (failed !== undefined) {
+        throw failed.failure.value;
+    }
+    const callbackFailed = operations.find((operation) => operation.derivedFailure.recorded || lifecycle.callbackFailure(operation).recorded);
+    if (callbackFailed !== undefined) {
+        const failure = callbackFailed.derivedFailure.recorded
+            ? callbackFailed.derivedFailure.value
+            : lifecycle.callbackFailure(callbackFailed).value;
+        throw new AuthoredFlowExecutionError('operation_callback_failed', `flow "${flowName}" derived handler for ${formatOperation(callbackFailed)} rejected: ${describeError(failure)}`);
+    }
+    if (unawaited.length > 0) {
+        throw unawaitedError(flowName, unawaited);
+    }
+    if (inFlight.length > 0) {
+        throw new AuthoredFlowExecutionError('unsettled_derived_work', `flow "${flowName}" completed while work derived from ${inFlight.map(formatOperation).join(', ')} was still in flight`);
+    }
+}
+export async function stopAuthoredOperations(operations, reason) {
+    for (const operation of operations)
+        operation.cancel(reason);
+    await Promise.all(operations.map((operation) => operation.waitForSettlement()));
+}
+function unawaitedError(flowName, operations) {
+    return new AuthoredFlowExecutionError('unawaited_step', `flow "${flowName}" returned with unawaited steps: ${operations.map(formatOperation).join(', ')}`);
+}
+function formatOperation(operation) {
+    return `${operation.id} (f.${operation.verb})`;
+}
+function describeError(error) {
+    return error instanceof Error ? error.message : String(error);
+}
+function observeRejection(promise, record) {
+    void nativeThen(promise, undefined, (error) => record(error));
+}
+function nativeThen(promise, onfulfilled, onrejected) {
+    return nativePromiseThen.call(promise, onfulfilled, onrejected);
+}
+function wrapResolver(operation, invocation, callback) {
+    if (callback === undefined || callback === null)
+        return undefined;
+    return (value) => operation.invokeResolver(invocation, () => callback(value));
+}
+function trackDerivedPromise(promise, record) {
+    observeRejection(promise, record);
+    Object.defineProperty(promise, 'then', {
+        value(onfulfilled, onrejected) {
+            return trackDerivedPromise(nativeThen(promise, onfulfilled, onrejected), record);
+        },
+    });
+    return promise;
+}
+//# sourceMappingURL=authored-flow-operation.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"authored-flow-operation.js","sourceRoot":"","sources":["../src/authored-flow-operation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAEpD,OAAO,EAAE,0BAA0B,EAAE,MAAM,0BAA0B,CAAC;AAOtE,MAAM,iBAAiB,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;AAEjD,oFAAoF;AACpF,MAAM,OAAO,qBAAqB;IAarB;IACA;IACQ;IACA;IACA;IAhBV,IAAI,CAAU;IACf,KAAK,GAAmB,SAAS,CAAC;IAClC,WAAW,GAAG,KAAK,CAAC;IACpB,mBAAmB,GAAG,KAAK,CAAC;IAC5B,WAAW,CAAU;IACrB,uBAAuB,GAAG,KAAK,CAAC;IAChC,eAAe,CAAU;IAChB,OAAO,CAAa;IACpB,OAAO,CAAsC;IAC7C,MAAM,CAA6B;IAEpD,YACW,EAAU,EACV,IAAY,EACJ,cAA0B,EAC1B,KAAuB,EACvB,KAA4B;QAJpC,OAAE,GAAF,EAAE,CAAQ;QACV,SAAI,GAAJ,IAAI,CAAQ;QACJ,mBAAc,GAAd,cAAc,CAAY;QAC1B,UAAK,GAAL,KAAK,CAAkB;QACvB,UAAK,GAAL,KAAK,CAAuB;QAE7C,IAAI,OAA6C,CAAC;QAClD,IAAI,MAAmC,CAAC;QACxC,IAAI,CAAC,OAAO,GAAG,IAAI,OAAO,CAAI,CAAC,cAAc,EAAE,aAAa,EAAE,EAAE;YAC9D,OAAO,GAAG,cAAc,CAAC;YACzB,MAAM,GAAG,aAAa,CAAC;QACzB,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QAErB,gBAAgB,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC;QACzE,MAAM,SAAS,GAAG,IAAI,CAAC;QACvB,IAAI,CAAC,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC;YACxB,IAAI;gBACF,MAAM,IAAI,0BAA0B,CAClC,kBAAkB,EAClB,gEAAgE,CACjE,CAAC;YACJ,CAAC;YACD,IAAI,CACF,WAAqE,EACrE,UAA2E;gBAE3E,SAAS,CAAC,WAAW,GAAG,IAAI,CAAC;gBAC7B,MAAM,UAAU,GAAG,SAAS,CAAC,KAAK,CAAC,kBAAkB,CAAC,SAAS,EAAE,gBAAgB,EAAE,CAAC,CAAC;gBACrF,KAAK,SAAS,CAAC,KAAK,EAAE,CAAC;gBACvB,MAAM,OAAO,GAAG,UAAU,CACxB,SAAS,CAAC,OAAO,EACjB,YAAY,CAAC,SAAS,EAAE,UAAU,EAAE,WAAW,CAAC,EAChD,YAAY,CAAC,SAAS,EAAE,UAAU,EAAE,UAAU,CAAC,CAChD,CAAC;gBACF,OAAO,mBAAmB,CACxB,OAAO,EACP,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAClD,CAAC;YACJ,CAAC;SACF,CAAC,CAAC;QACH,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC3C,CAAC;IAED,IAAI,SAAS;QACX,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;IAED,IAAI,kBAAkB;QACpB,OAAO,IAAI,CAAC,WAAW,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAChE,CAAC;IAED,IAAI,UAAU;QACZ,OAAO,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC;IAED,IAAI,OAAO;QACT,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,mBAAmB,EAAE,KAAK,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC;IACzE,CAAC;IAED,IAAI,cAAc;QAChB,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,uBAAuB,EAAE,KAAK,EAAE,IAAI,CAAC,eAAe,EAAE,CAAC;IACjF,CAAC;IAED,MAAM,CAAC,KAAc;QACnB,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;YAAE,OAAO;QACrC,IAAI,CAAC,KAAK,GAAG,UAAU,CAAC;QACxB,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACrB,CAAC;IAED,KAAK,CAAC,iBAAiB;QACrB,MAAM,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IACnE,CAAC;IAED,cAAc,CACZ,UAAuC,EACvC,QAAuB;QAEvB,OAAO,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IACzD,CAAC;IAEO,KAAK,CAAC,KAAK;QACjB,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;YAAE,OAAO;QACrC,IAAI,CAAC;YACH,IAAI,CAAC,cAAc,EAAE,CAAC;YACtB,IAAI,CAAC,KAAK,GAAG,SAAS,CAAC;YACvB,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,KAAK,EAAE,CAAC;YACjC,IAAI,CAAC,KAAK,GAAG,WAAW,CAAC;YACzB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACtB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,KAAK,GAAG,UAAU,CAAC;YACxB,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;YAC9B,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IAEO,iBAAiB,CAAC,KAAc;QACtC,IAAI,IAAI,CAAC,mBAAmB;YAAE,OAAO;QACrC,IAAI,CAAC,mBAAmB,GAAG,IAAI,CAAC;QAChC,IAAI,CAAC,WAAW,GAAG,KAAK,CAAC;IAC3B,CAAC;IAEO,qBAAqB,CAAC,KAAc;QAC1C,IAAI,IAAI,CAAC,uBAAuB;YAAE,OAAO;QACzC,IAAI,CAAC,uBAAuB,GAAG,IAAI,CAAC;QACpC,IAAI,CAAC,eAAe,GAAG,KAAK,CAAC;IAC/B,CAAC;CACF;AAED,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,QAAgB,EAChB,UAAqD,EACrD,SAAgC;IAEhC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC;IAE9F,IAAI,QAAQ,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,KAAK,GAAG,cAAc,CAAC,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC;QACtD,KAAK,MAAM,SAAS,IAAI,UAAU;YAAE,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC9D,CAAC;IAED,4EAA4E;IAC5E,8EAA8E;IAC9E,yBAAyB;IACzB,MAAM,QAAQ,GAAG,SAAS,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC;IAE3D,MAAM,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC;IAChF,MAAM,SAAS,CAAC,uBAAuB,CAAC,UAAU,CAAC,CAAC;IACpD,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAChD,CAAC,SAAS,CAAC,SAAS,CAAC,SAAS,CAAC;WAC5B,SAAS,CAAC,SAAS,KAAK,SAAS;WACjC,SAAS,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC;IAExC,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAC3C,SAAS,CAAC,OAAO,CAAC,QAAQ,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;IAC1D,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;IAC7B,CAAC;IACD,MAAM,cAAc,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CACnD,SAAS,CAAC,cAAc,CAAC,QAAQ,IAAI,SAAS,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,CAAC;IACtF,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,cAAc,CAAC,cAAc,CAAC,QAAQ;YACpD,CAAC,CAAC,cAAc,CAAC,cAAc,CAAC,KAAK;YACrC,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,cAAc,CAAC,CAAC,KAAK,CAAC;QACpD,MAAM,IAAI,0BAA0B,CAClC,2BAA2B,EAC3B,SAAS,QAAQ,yBAAyB,eAAe,CAAC,cAAc,CAAC,cAAc,aAAa,CAAC,OAAO,CAAC,EAAE,CAChH,CAAC;IACJ,CAAC;IACD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,cAAc,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,0BAA0B,CAClC,wBAAwB,EACxB,SAAS,QAAQ,uCAAuC,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,sBAAsB,CACvH,CAAC;IACJ,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,UAAqD,EACrD,MAAe;IAEf,KAAK,MAAM,SAAS,IAAI,UAAU;QAAE,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC7D,MAAM,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC;AAClF,CAAC;AAED,SAAS,cAAc,CACrB,QAAgB,EAChB,UAAqD;IAErD,OAAO,IAAI,0BAA0B,CACnC,gBAAgB,EAChB,SAAS,QAAQ,oCAAoC,UAAU,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAClG,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,SAAyC;IAChE,OAAO,GAAG,SAAS,CAAC,EAAE,OAAO,SAAS,CAAC,IAAI,GAAG,CAAC;AACjD,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,OAAO,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,gBAAgB,CAAI,OAAmB,EAAE,MAAgC;IAChF,KAAK,UAAU,CAAC,OAAO,EAAE,SAAS,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,UAAU,CACjB,OAAmB,EACnB,WAAqE,EACrE,UAA2E;IAE3E,OAAO,iBAAiB,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,EAAE,UAAU,CAAiC,CAAC;AAClG,CAAC;AAED,SAAS,YAAY,CACnB,SAAmC,EACnC,UAAuC,EACvC,QAAqE;IAErE,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAClE,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,cAAc,CAAC,UAAU,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;AAChF,CAAC;AAED,SAAS,mBAAmB,CAC1B,OAAmB,EACnB,MAAgC;IAEhC,gBAAgB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAClC,MAAM,CAAC,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE;QACrC,KAAK,CACH,WAAqE,EACrE,UAA2E;YAE3E,OAAO,mBAAmB,CACxB,UAAU,CAAC,OAAO,EAAE,WAAW,EAAE,UAAU,CAAC,EAC5C,MAAM,CACP,CAAC;QACJ,CAAC;KACF,CAAC,CAAC;IACH,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/authored-flow.d.ts

@@ -0,0 +1,12 @@
+import { type AuthoredFlowDefinition, type FlowHandle } from '@relayflows/surface/runtime';
+/**
+ * Recover the immutable program retained by an authored flow handle.
+ *
+ * Importing the module evaluates author code only far enough to define the
+ * flow. The SDK does not yet expose a public executor because authored-body
+ * progress has no durable root journal. Internal lowering tests recover the
+ * definition here without making that seam a supported runner.
+ */
+export declare function getAuthoredFlowDefinition<Input = unknown>(handle: FlowHandle): AuthoredFlowDefinition<Input>;
+export type { AuthoredFlowDefinition, FlowHandle };
+//# sourceMappingURL=authored-flow.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"authored-flow.d.ts","sourceRoot":"","sources":["../src/authored-flow.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,sBAAsB,EAC3B,KAAK,UAAU,EAChB,MAAM,6BAA6B,CAAC;AAErC;;;;;;;GAOG;AACH,wBAAgB,yBAAyB,CAAC,KAAK,GAAG,OAAO,EACvD,MAAM,EAAE,UAAU,GACjB,sBAAsB,CAAC,KAAK,CAAC,CAE/B;AAED,YAAY,EAAE,sBAAsB,EAAE,UAAU,EAAE,CAAC"}

package/dist/authored-flow.js

@@ -0,0 +1,13 @@
+import { getFlowDefinition, } from '@relayflows/surface/runtime';
+/**
+ * Recover the immutable program retained by an authored flow handle.
+ *
+ * Importing the module evaluates author code only far enough to define the
+ * flow. The SDK does not yet expose a public executor because authored-body
+ * progress has no durable root journal. Internal lowering tests recover the
+ * definition here without making that seam a supported runner.
+ */
+export function getAuthoredFlowDefinition(handle) {
+    return getFlowDefinition(handle);
+}
+//# sourceMappingURL=authored-flow.js.map

package/dist/authored-flow.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"authored-flow.js","sourceRoot":"","sources":["../src/authored-flow.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,iBAAiB,GAGlB,MAAM,6BAA6B,CAAC;AAErC;;;;;;;GAOG;AACH,MAAM,UAAU,yBAAyB,CACvC,MAAkB;IAElB,OAAO,iBAAiB,CAAQ,MAAM,CAAC,CAAC;AAC1C,CAAC"}

package/dist/authored-promise-graph.d.ts

@@ -0,0 +1,67 @@
+/**
+ * The promise graph an authored flow body actually creates.
+ *
+ * Three properties matter and each one is a repair of a measured defect:
+ *
+ * 1. **Scoped.** Only promises created while the owning lifecycle is the active
+ *    `AsyncLocalStorage` store are recorded. A previous revision recorded every
+ *    promise created anywhere in the process for the life of the flow; a probe
+ *    measured 20 002 unrelated promises retained.
+ * 2. **Eagerly attributed.** A promise is attributed to a root the moment it is
+ *    created, or the moment its parent becomes attributed — never by walking the
+ *    graph per candidate at completion time. The walk made the completion gate
+ *    quadratic: a 27 ms body with 30 000 ordinary awaits spent 95.8 s in the gate.
+ * 3. **Complete, not sampled.** `pending` is the set of tracked promises that have
+ *    not settled. Derived work in flight is a fact the gate can read, so the gate
+ *    never has to guess whether a failure "has landed yet".
+ *
+ * Attribution flows forward along the same `trigger` edge the previous revision
+ * walked backward, so it admits exactly the same set — it just knows the answer
+ * before it is asked. Children created before their parent becomes a root are
+ * parked in `unattributedChildren` and flooded when the root is registered; a
+ * promise cannot settle before its ancestors, and a root is always registered
+ * before it settles, so no parked child is ever missed.
+ */
+export declare class AuthoredPromiseGraph {
+    private readonly inScope;
+    private readonly onPromiseResolve;
+    private readonly hook;
+    private readonly triggers;
+    private readonly creationContexts;
+    private readonly resolutionCauses;
+    private readonly promiseIds;
+    private readonly handles;
+    private readonly unattributedChildren;
+    private readonly attributedRoots;
+    private readonly roots;
+    private readonly pending;
+    private dependencyCache;
+    constructor(inScope: () => boolean, onPromiseResolve: (asyncId: number) => void);
+    enable(): void;
+    disable(): void;
+    idOf(value: object): number | undefined;
+    /** Mark a promise whose descendants belong to an authored operation. */
+    registerRoot(asyncId: number): void;
+    /** Promises derived from `roots` that have not settled. */
+    inFlightFrom(roots: ReadonlySet<number>): number[];
+    /** Settled promises derived from `roots`, with their handles. */
+    settledFrom(roots: ReadonlySet<number>): Promise<unknown>[];
+    dependsOn(descendant: number, ancestor: number): boolean;
+    clear(): void;
+    private attribute;
+    private park;
+    /**
+     * Everything the promise identified by `start` could have waited for.
+     *
+     * Three edges, and the third is the repair. `trigger` and `resolutionCause`
+     * alone do not connect an async function's resumption context to the context
+     * it was suspended from, so a walk from `done()` reached only the *last*
+     * await's lineage: `const steps = [f.run(a), f.run(b)]; for (const s of steps)
+     * await s;` reported run-1 unawaited even though every step was awaited. The
+     * init-time `executionAsyncId()` — the context a promise was created in — is
+     * that missing edge, and it is a fact the runtime reports, not a widened
+     * approximation.
+     */
+    private dependenciesOf;
+}
+//# sourceMappingURL=authored-promise-graph.d.ts.map

package/dist/authored-promise-graph.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"authored-promise-graph.d.ts","sourceRoot":"","sources":["../src/authored-promise-graph.ts"],"names":[],"mappings":"AAEA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,qBAAa,oBAAoB;IAc7B,OAAO,CAAC,QAAQ,CAAC,OAAO;IACxB,OAAO,CAAC,QAAQ,CAAC,gBAAgB;IAdnC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAY;IACjC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAA6B;IACtD,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAA6B;IAC9D,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAA6B;IAC9D,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAiC;IAC5D,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAuC;IAC/D,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAA+B;IACpE,OAAO,CAAC,QAAQ,CAAC,eAAe,CAA6B;IAC7D,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAqB;IAC3C,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAqB;IAC7C,OAAO,CAAC,eAAe,CAA8E;gBAGlF,OAAO,EAAE,MAAM,OAAO,EACtB,gBAAgB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,IAAI;IA4C9D,MAAM,IAAI,IAAI;IAId,OAAO,IAAI,IAAI;IAIf,IAAI,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAIvC,wEAAwE;IACxE,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI;IASnC,2DAA2D;IAC3D,YAAY,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,MAAM,EAAE;IASlD,iEAAiE;IACjE,WAAW,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,EAAE;IAU3D,SAAS,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO;IAIxD,KAAK,IAAI,IAAI;IAYb,OAAO,CAAC,SAAS;IAajB,OAAO,CAAC,IAAI;IAMZ;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,cAAc;CAoBvB"}

package/dist/authored-promise-graph.js

@@ -0,0 +1,206 @@
+import { createHook, executionAsyncId } from 'node:async_hooks';
+/**
+ * The promise graph an authored flow body actually creates.
+ *
+ * Three properties matter and each one is a repair of a measured defect:
+ *
+ * 1. **Scoped.** Only promises created while the owning lifecycle is the active
+ *    `AsyncLocalStorage` store are recorded. A previous revision recorded every
+ *    promise created anywhere in the process for the life of the flow; a probe
+ *    measured 20 002 unrelated promises retained.
+ * 2. **Eagerly attributed.** A promise is attributed to a root the moment it is
+ *    created, or the moment its parent becomes attributed — never by walking the
+ *    graph per candidate at completion time. The walk made the completion gate
+ *    quadratic: a 27 ms body with 30 000 ordinary awaits spent 95.8 s in the gate.
+ * 3. **Complete, not sampled.** `pending` is the set of tracked promises that have
+ *    not settled. Derived work in flight is a fact the gate can read, so the gate
+ *    never has to guess whether a failure "has landed yet".
+ *
+ * Attribution flows forward along the same `trigger` edge the previous revision
+ * walked backward, so it admits exactly the same set — it just knows the answer
+ * before it is asked. Children created before their parent becomes a root are
+ * parked in `unattributedChildren` and flooded when the root is registered; a
+ * promise cannot settle before its ancestors, and a root is always registered
+ * before it settles, so no parked child is ever missed.
+ */
+export class AuthoredPromiseGraph {
+    inScope;
+    onPromiseResolve;
+    hook;
+    triggers = new Map();
+    creationContexts = new Map();
+    resolutionCauses = new Map();
+    promiseIds = new WeakMap();
+    handles = new Map();
+    unattributedChildren = new Map();
+    attributedRoots = new Map();
+    roots = new Set();
+    pending = new Set();
+    dependencyCache;
+    constructor(inScope, onPromiseResolve) {
+        this.inScope = inScope;
+        this.onPromiseResolve = onPromiseResolve;
+        this.hook = createHook({
+            init: (asyncId, type, triggerAsyncId, resource) => {
+                if (type !== 'PROMISE' || typeof resource !== 'object' || resource === null)
+                    return;
+                if (!this.inScope())
+                    return;
+                this.triggers.set(asyncId, triggerAsyncId);
+                this.creationContexts.set(asyncId, executionAsyncId());
+                this.promiseIds.set(resource, asyncId);
+                this.handles.set(asyncId, resource);
+                this.pending.add(asyncId);
+                const root = this.roots.has(triggerAsyncId)
+                    ? triggerAsyncId
+                    : this.attributedRoots.get(triggerAsyncId);
+                if (root !== undefined)
+                    this.attribute(asyncId, root);
+                else if (this.triggers.has(triggerAsyncId))
+                    this.park(triggerAsyncId, asyncId);
+            },
+            promiseResolve: (asyncId) => {
+                this.onPromiseResolve(asyncId);
+                if (!this.triggers.has(asyncId))
+                    return;
+                const cause = executionAsyncId();
+                if (cause !== asyncId)
+                    this.resolutionCauses.set(asyncId, cause);
+                this.pending.delete(asyncId);
+                if (this.attributedRoots.has(asyncId) || this.roots.has(asyncId))
+                    return;
+                // A combinator's aggregate is resolved from inside the reaction of one of
+                // its members, so it is not downstream of any member by `trigger` and can
+                // only inherit attribution here, from the context that resolved it. Without
+                // this, only `Promise.all` was covered — because it is the one combinator
+                // registered explicitly — and `Promise.allSettled`, `Promise.any` and
+                // `Promise.race` each carried a deferred derived failure to terminal
+                // success. Measured; see ops/probes/pr134-repair-0903/combinators.mjs.
+                const adopted = this.attributedRoots.get(cause);
+                if (adopted !== undefined) {
+                    this.attribute(asyncId, adopted);
+                    return;
+                }
+                // A settled, unattributed promise can never become attributed: attribution
+                // only reaches a promise while its root is still pending. Release it.
+                this.handles.delete(asyncId);
+                this.unattributedChildren.delete(asyncId);
+            },
+        });
+    }
+    enable() {
+        this.hook.enable();
+    }
+    disable() {
+        this.hook.disable();
+    }
+    idOf(value) {
+        return this.promiseIds.get(value);
+    }
+    /** Mark a promise whose descendants belong to an authored operation. */
+    registerRoot(asyncId) {
+        if (asyncId <= 0 || this.roots.has(asyncId))
+            return;
+        this.roots.add(asyncId);
+        const parked = this.unattributedChildren.get(asyncId);
+        if (parked === undefined)
+            return;
+        this.unattributedChildren.delete(asyncId);
+        for (const child of parked)
+            this.attribute(child, asyncId);
+    }
+    /** Promises derived from `roots` that have not settled. */
+    inFlightFrom(roots) {
+        const found = [];
+        for (const asyncId of this.pending) {
+            const root = this.attributedRoots.get(asyncId);
+            if (root !== undefined && roots.has(root))
+                found.push(asyncId);
+        }
+        return found;
+    }
+    /** Settled promises derived from `roots`, with their handles. */
+    settledFrom(roots) {
+        const found = [];
+        for (const [asyncId, root] of this.attributedRoots) {
+            if (!roots.has(root) || this.pending.has(asyncId))
+                continue;
+            const handle = this.handles.get(asyncId);
+            if (handle !== undefined)
+                found.push(handle);
+        }
+        return found;
+    }
+    dependsOn(descendant, ancestor) {
+        return this.dependenciesOf(descendant).has(ancestor);
+    }
+    clear() {
+        this.triggers.clear();
+        this.creationContexts.clear();
+        this.resolutionCauses.clear();
+        this.handles.clear();
+        this.unattributedChildren.clear();
+        this.attributedRoots.clear();
+        this.roots.clear();
+        this.pending.clear();
+        this.dependencyCache = undefined;
+    }
+    attribute(start, root) {
+        const stack = [start];
+        while (stack.length > 0) {
+            const current = stack.pop();
+            if (this.attributedRoots.has(current) || this.roots.has(current))
+                continue;
+            this.attributedRoots.set(current, root);
+            const parked = this.unattributedChildren.get(current);
+            if (parked === undefined)
+                continue;
+            this.unattributedChildren.delete(current);
+            for (const child of parked)
+                stack.push(child);
+        }
+    }
+    park(parent, child) {
+        const parked = this.unattributedChildren.get(parent);
+        if (parked === undefined)
+            this.unattributedChildren.set(parent, [child]);
+        else
+            parked.push(child);
+    }
+    /**
+     * Everything the promise identified by `start` could have waited for.
+     *
+     * Three edges, and the third is the repair. `trigger` and `resolutionCause`
+     * alone do not connect an async function's resumption context to the context
+     * it was suspended from, so a walk from `done()` reached only the *last*
+     * await's lineage: `const steps = [f.run(a), f.run(b)]; for (const s of steps)
+     * await s;` reported run-1 unawaited even though every step was awaited. The
+     * init-time `executionAsyncId()` — the context a promise was created in — is
+     * that missing edge, and it is a fact the runtime reports, not a widened
+     * approximation.
+     */
+    dependenciesOf(start) {
+        const cached = this.dependencyCache;
+        if (cached !== undefined && cached.start === start)
+            return cached.found;
+        const found = new Set();
+        const stack = [start];
+        while (stack.length > 0) {
+            const current = stack.pop();
+            if (found.has(current))
+                continue;
+            found.add(current);
+            for (const edge of [
+                this.triggers.get(current),
+                this.resolutionCauses.get(current),
+                this.creationContexts.get(current),
+            ]) {
+                if (edge !== undefined && edge !== current)
+                    stack.push(edge);
+            }
+        }
+        this.dependencyCache = { start, found };
+        return found;
+    }
+}
+//# sourceMappingURL=authored-promise-graph.js.map

package/dist/authored-promise-graph.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"authored-promise-graph.js","sourceRoot":"","sources":["../src/authored-promise-graph.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAkB,MAAM,kBAAkB,CAAC;AAEhF;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,OAAO,oBAAoB;IAcZ;IACA;IAdF,IAAI,CAAY;IAChB,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IACrC,gBAAgB,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC7C,gBAAgB,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC7C,UAAU,GAAG,IAAI,OAAO,EAAkB,CAAC;IAC3C,OAAO,GAAG,IAAI,GAAG,EAA4B,CAAC;IAC9C,oBAAoB,GAAG,IAAI,GAAG,EAAoB,CAAC;IACnD,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1B,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,eAAe,CAA8E;IAErG,YACmB,OAAsB,EACtB,gBAA2C;QAD3C,YAAO,GAAP,OAAO,CAAe;QACtB,qBAAgB,GAAhB,gBAAgB,CAA2B;QAE5D,IAAI,CAAC,IAAI,GAAG,UAAU,CAAC;YACrB,IAAI,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,QAAQ,EAAE,EAAE;gBAChD,IAAI,IAAI,KAAK,SAAS,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,QAAQ,KAAK,IAAI;oBAAE,OAAO;gBACpF,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE;oBAAE,OAAO;gBAC5B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;gBAC3C,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE,gBAAgB,EAAE,CAAC,CAAC;gBACvD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;gBACvC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,QAA4B,CAAC,CAAC;gBACxD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBAC1B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,cAAc,CAAC;oBACzC,CAAC,CAAC,cAAc;oBAChB,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;gBAC7C,IAAI,IAAI,KAAK,SAAS;oBAAE,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;qBACjD,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC;oBAAE,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;YACjF,CAAC;YACD,cAAc,EAAE,CAAC,OAAO,EAAE,EAAE;gBAC1B,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;gBAC/B,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC;oBAAE,OAAO;gBACxC,MAAM,KAAK,GAAG,gBAAgB,EAAE,CAAC;gBACjC,IAAI,KAAK,KAAK,OAAO;oBAAE,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;gBACjE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBAC7B,IAAI,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC;oBAAE,OAAO;gBACzE,0EAA0E;gBAC1E,0EAA0E;gBAC1E,4EAA4E;gBAC5E,0EAA0E;gBAC1E,sEAAsE;gBACtE,qEAAqE;gBACrE,uEAAuE;gBACvE,MAAM,OAAO,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAChD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;oBAC1B,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;oBACjC,OAAO;gBACT,CAAC;gBACD,2EAA2E;gBAC3E,sEAAsE;gBACtE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBAC7B,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC5C,CAAC;SACF,CAAC,CAAC;IACL,CAAC;IAED,MAAM;QACJ,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACrB,CAAC;IAED,OAAO;QACL,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IACtB,CAAC;IAED,IAAI,CAAC,KAAa;QAChB,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC;IAED,wEAAwE;IACxE,YAAY,CAAC,OAAe;QAC1B,IAAI,OAAO,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,OAAO;QACpD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACxB,MAAM,MAAM,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACtD,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO;QACjC,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC1C,KAAK,MAAM,KAAK,IAAI,MAAM;YAAE,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC7D,CAAC;IAED,2DAA2D;IAC3D,YAAY,CAAC,KAA0B;QACrC,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAC/C,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACjE,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,iEAAiE;IACjE,WAAW,CAAC,KAA0B;QACpC,MAAM,KAAK,GAAuB,EAAE,CAAC;QACrC,KAAK,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;YACnD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC;gBAAE,SAAS;YAC5D,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACzC,IAAI,MAAM,KAAK,SAAS;gBAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC/C,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,SAAS,CAAC,UAAkB,EAAE,QAAgB;QAC5C,OAAO,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACvD,CAAC;IAED,KAAK;QACH,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,CAAC;QAC9B,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,CAAC;QAC9B,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QACrB,IAAI,CAAC,oBAAoB,CAAC,KAAK,EAAE,CAAC;QAClC,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC;QAC7B,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QACnB,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QACrB,IAAI,CAAC,eAAe,GAAG,SAAS,CAAC;IACnC,CAAC;IAEO,SAAS,CAAC,KAAa,EAAE,IAAY;QAC3C,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC;QACtB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;YAC7B,IAAI,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC;gBAAE,SAAS;YAC3E,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YACxC,MAAM,MAAM,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACtD,IAAI,MAAM,KAAK,SAAS;gBAAE,SAAS;YACnC,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC1C,KAAK,MAAM,KAAK,IAAI,MAAM;gBAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChD,CAAC;IACH,CAAC;IAEO,IAAI,CAAC,MAAc,EAAE,KAAa;QACxC,MAAM,MAAM,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACrD,IAAI,MAAM,KAAK,SAAS;YAAE,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;;YACpE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1B,CAAC;IAED;;;;;;;;;;;OAWG;IACK,cAAc,CAAC,KAAa;QAClC,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC;QACpC,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,KAAK,KAAK;YAAE,OAAO,MAAM,CAAC,KAAK,CAAC;QACxE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;QAChC,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC;QACtB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;YAC7B,IAAI,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC;gBAAE,SAAS;YACjC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACnB,KAAK,MAAM,IAAI,IAAI;gBACjB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC;gBAC1B,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC;gBAClC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC;aACnC,EAAE,CAAC;gBACF,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,OAAO;oBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC/D,CAAC;QACH,CAAC;QACD,IAAI,CAAC,eAAe,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;QACxC,OAAO,KAAK,CAAC;IACf,CAAC;CACF"}