@relayflows/sdk 2.0.51 → 2.0.53

package/dist/authored-parallel-body.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Execute a certified body with its branch-call promises marked at the call
+ * site. A combinator member is not evidence that it is a safe branch: it may
+ * be a hand-built join that resolves from whichever child finishes first.
+ *
+ * The closed grammar has no module captures, so re-evaluating this function
+ * preserves its meaning. Unknown source is refused before the first effect.
+ */
+export declare function instrumentParallelBody<T extends Function>(body: T, certifyBranch: (promise: Promise<unknown>) => void): T;
+//# sourceMappingURL=authored-parallel-body.d.ts.map

package/dist/authored-parallel-body.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"authored-parallel-body.d.ts","sourceRoot":"","sources":["../src/authored-parallel-body.ts"],"names":[],"mappings":"AAKA;;;;;;;GAOG;AACH,wBAAgB,sBAAsB,CAAC,CAAC,SAAS,QAAQ,EACvD,IAAI,EAAE,CAAC,EACP,aAAa,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,KAAK,IAAI,GACjD,CAAC,CAkDH"}

package/dist/authored-parallel-body.js

@@ -0,0 +1,68 @@
+import ts from 'typescript';
+import { AuthoredFlowExecutionError } from './authored-flow-error.js';
+import { authoredFunctionSource } from './authored-flow-lifecycle.js';
+import { parallelBodySyntaxEligible, unwrapParallelExpression } from './authored-parallel-eligibility.js';
+/**
+ * Execute a certified body with its branch-call promises marked at the call
+ * site. A combinator member is not evidence that it is a safe branch: it may
+ * be a hand-built join that resolves from whichever child finishes first.
+ *
+ * The closed grammar has no module captures, so re-evaluating this function
+ * preserves its meaning. Unknown source is refused before the first effect.
+ */
+export function instrumentParallelBody(body, certifyBranch) {
+    const source = authoredFunctionSource(body);
+    if (!parallelBodySyntaxEligible(body)) {
+        throw new AuthoredFlowExecutionError('step_failed', 'parallel f.run body lost its source certificate');
+    }
+    const prefix = 'const body = ';
+    const file = ts.createSourceFile('parallel-body.js', `${prefix}${source};`, ts.ScriptTarget.ES2022, true, ts.ScriptKind.JS);
+    const declaration = file.statements[0];
+    if (!declaration || !ts.isVariableStatement(declaration))
+        throw new Error('certified body parse failed');
+    const arrow = declaration.declarationList.declarations[0]?.initializer;
+    if (!arrow || !ts.isArrowFunction(arrow) || !ts.isBlock(arrow.body))
+        throw new Error('certified body changed');
+    const branches = new Set();
+    for (const statement of arrow.body.statements) {
+        if (!ts.isVariableStatement(statement))
+            continue;
+        for (const item of statement.declarationList.declarations) {
+            if (ts.isIdentifier(item.name) && item.initializer && ts.isArrowFunction(item.initializer)) {
+                branches.add(item.name.text);
+            }
+        }
+    }
+    const calls = [];
+    const visit = (node) => {
+        if (ts.isCallExpression(node) && ts.isPropertyAccessExpression(node.expression)
+            && ts.isIdentifier(node.expression.expression) && node.expression.expression.text === 'Promise'
+            && node.expression.name.text === 'all' && node.arguments.length === 1) {
+            const members = node.arguments[0];
+            if (members && ts.isArrayLiteralExpression(members)) {
+                for (const outer of members.elements) {
+                    if (!ts.isExpression(outer))
+                        continue;
+                    const member = unwrapParallelExpression(outer);
+                    if (!ts.isCallExpression(member) || member.arguments.length !== 0)
+                        continue;
+                    const named = ts.isIdentifier(member.expression) && branches.has(member.expression.text);
+                    const inline = ts.isParenthesizedExpression(member.expression)
+                        && ts.isArrowFunction(member.expression.expression);
+                    if (named || inline)
+                        calls.push({ start: outer.getStart(file) - prefix.length,
+                            end: outer.getEnd() - prefix.length });
+                }
+            }
+        }
+        ts.forEachChild(node, visit);
+    };
+    visit(arrow);
+    let instrumented = source;
+    for (const { start, end } of calls.sort((left, right) => right.start - left.start)) {
+        instrumented = `${instrumented.slice(0, start)}__certifyParallelBranch(${instrumented.slice(start, end)})${instrumented.slice(end)}`;
+    }
+    const factory = new Function('__certifyParallelBranch', `return (${instrumented});`);
+    return factory((promise) => { certifyBranch(promise); return promise; });
+}
+//# sourceMappingURL=authored-parallel-body.js.map

package/dist/authored-parallel-body.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"authored-parallel-body.js","sourceRoot":"","sources":["../src/authored-parallel-body.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,0BAA0B,EAAE,MAAM,0BAA0B,CAAC;AACtE,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AACtE,OAAO,EAAE,0BAA0B,EAAE,wBAAwB,EAAE,MAAM,oCAAoC,CAAC;AAE1G;;;;;;;GAOG;AACH,MAAM,UAAU,sBAAsB,CACpC,IAAO,EACP,aAAkD;IAElD,MAAM,MAAM,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,0BAA0B,CAAC,aAAa,EAAE,iDAAiD,CAAC,CAAC;IACzG,CAAC;IACD,MAAM,MAAM,GAAG,eAAe,CAAC;IAC/B,MAAM,IAAI,GAAG,EAAE,CAAC,gBAAgB,CAAC,kBAAkB,EAAE,GAAG,MAAM,GAAG,MAAM,GAAG,EACxE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IAClD,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IACvC,IAAI,CAAC,WAAW,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,WAAW,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;IACzG,MAAM,KAAK,GAAG,WAAW,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC;IACvE,IAAI,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;IAC/G,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;QAC9C,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC;YAAE,SAAS;QACjD,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;YAC1D,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC3F,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC/B,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,KAAK,GAA0C,EAAE,CAAC;IACxD,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC;eAC1E,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS;eAC5F,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxE,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YAClC,IAAI,OAAO,IAAI,EAAE,CAAC,wBAAwB,CAAC,OAAO,CAAC,EAAE,CAAC;gBACpD,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;oBACrC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC;wBAAE,SAAS;oBACtC,MAAM,MAAM,GAAG,wBAAwB,CAAC,KAAK,CAAC,CAAC;oBAC/C,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;wBAAE,SAAS;oBAC5E,MAAM,KAAK,GAAG,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;oBACzF,MAAM,MAAM,GAAG,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,UAAU,CAAC;2BACzD,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;oBACtD,IAAI,KAAK,IAAI,MAAM;wBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM;4BAC3E,GAAG,EAAE,KAAK,CAAC,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;gBAC3C,CAAC;YACH,CAAC;QACH,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,KAAK,CAAC,CAAC;IACb,IAAI,YAAY,GAAG,MAAM,CAAC;IAC1B,KAAK,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACnF,YAAY,GAAG,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,2BAA2B,YAAY,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;IACvI,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,QAAQ,CAAC,yBAAyB,EAAE,WAAW,YAAY,IAAI,CACnB,CAAC;IACjE,OAAO,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;AAC3E,CAAC"}

package/dist/authored-parallel-eligibility.d.ts

@@ -0,0 +1,22 @@
+import ts from 'typescript';
+/** Keep admission and call-site instrumentation in agreement on parentheses. */
+export declare function unwrapParallelExpression(node: ts.Expression): ts.Expression;
+/** A closed grammar for deterministic Promise.all branches. Unknown bodies stay serial. */
+export declare function parallelRunEligible(body: Function, moduleSource: string): boolean;
+/**
+ * Match the body Node actually loaded against the same type-stripped source its
+ * TypeScript loader serves. First certify the original bytes: transforming
+ * away a declaration must never make an unsafe module appear closed.
+ */
+export declare function parallelLoadedBodyEligible(body: Function, moduleSource: string, sourceUrl: string, mode: 'strip' | 'transform'): Promise<boolean>;
+/**
+ * The compiled Bun CLI owns the root lease, but the pinned source is executed
+ * by its embedded Node child. Bun reformats function toString output, so its
+ * in-memory body cannot be compared byte-for-byte with the source. Certify
+ * the closed source module instead; the Node child loads those hash-pinned
+ * bytes and checks exact body/source identity and grammar before any child starts.
+ */
+export declare function parallelPinnedSourceEligible(moduleSource: string): boolean;
+/** Independently re-check the closed body grammar at execution time. */
+export declare function parallelBodySyntaxEligible(body: Function): boolean;
+//# sourceMappingURL=authored-parallel-eligibility.d.ts.map

package/dist/authored-parallel-eligibility.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"authored-parallel-eligibility.d.ts","sourceRoot":"","sources":["../src/authored-parallel-eligibility.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAK5B,gFAAgF;AAChF,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,GAAG,EAAE,CAAC,UAAU,CAE3E;AAED,2FAA2F;AAC3F,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,GAAG,OAAO,CAMjF;AAED;;;;GAIG;AACH,wBAAsB,0BAA0B,CAC9C,IAAI,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EACvD,IAAI,EAAE,OAAO,GAAG,WAAW,GAC1B,OAAO,CAAC,OAAO,CAAC,CAwBlB;AAED;;;;;;GAMG;AACH,wBAAgB,4BAA4B,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAG1E;AAED,wEAAwE;AACxE,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAElE"}

package/dist/authored-parallel-eligibility.js

@@ -0,0 +1,335 @@
+import ts from 'typescript';
+import { authoredFunctionSource } from './authored-flow-lifecycle.js';
+const reservedCertifier = '__certifyParallelBranch';
+/** Keep admission and call-site instrumentation in agreement on parentheses. */
+export function unwrapParallelExpression(node) {
+    return ts.isParenthesizedExpression(node) ? unwrapParallelExpression(node.expression) : node;
+}
+/** A closed grammar for deterministic Promise.all branches. Unknown bodies stay serial. */
+export function parallelRunEligible(body, moduleSource) {
+    // Promise.all is intercepted only when `Promise` resolves to the intrinsic.
+    // Function.toString cannot see a module-level lexical binding, so inspect
+    // the complete source before using the body's narrower grammar.
+    const bodySource = authoredFunctionSource(body);
+    return certifiedModuleBody(moduleSource, bodySource) !== undefined && parallelBodySyntaxEligible(body);
+}
+/**
+ * Match the body Node actually loaded against the same type-stripped source its
+ * TypeScript loader serves. First certify the original bytes: transforming
+ * away a declaration must never make an unsafe module appear closed.
+ */
+export async function parallelLoadedBodyEligible(body, moduleSource, sourceUrl, mode) {
+    if (!parallelPinnedSourceEligible(moduleSource))
+        return false;
+    const { stripTypeScriptTypes } = await import('node:module');
+    if (typeof stripTypeScriptTypes !== 'function')
+        return false;
+    // The pinned loader suppresses this one Node warning on its own thread.
+    // Recomputing the text here happens on the main thread; suppress only this
+    // call's warning and restore the original writer before yielding again.
+    const emitWarning = process.emitWarning;
+    let transformed;
+    try {
+        process.emitWarning = ((warning, ...rest) => {
+            if (rest[0] === 'ExperimentalWarning' && String(warning).startsWith('stripTypeScriptTypes'))
+                return;
+            emitWarning.call(process, warning, ...rest);
+        });
+        transformed = stripTypeScriptTypes(moduleSource, { mode, sourceUrl });
+    }
+    catch {
+        // A loader mode unavailable in this Node version cannot certify a body.
+        return false;
+    }
+    finally {
+        process.emitWarning = emitWarning;
+    }
+    return parallelRunEligible(body, transformed);
+}
+/**
+ * The compiled Bun CLI owns the root lease, but the pinned source is executed
+ * by its embedded Node child. Bun reformats function toString output, so its
+ * in-memory body cannot be compared byte-for-byte with the source. Certify
+ * the closed source module instead; the Node child loads those hash-pinned
+ * bytes and checks exact body/source identity and grammar before any child starts.
+ */
+export function parallelPinnedSourceEligible(moduleSource) {
+    const bodySource = certifiedModuleBody(moduleSource);
+    return bodySource !== undefined && parallelBodySourceSyntaxEligible(bodySource);
+}
+/** Independently re-check the closed body grammar at execution time. */
+export function parallelBodySyntaxEligible(body) {
+    return parallelBodySourceSyntaxEligible(authoredFunctionSource(body));
+}
+function parallelBodySourceSyntaxEligible(bodySource) {
+    const file = ts.createSourceFile('authored-body.js', `const body = ${bodySource};`, ts.ScriptTarget.ES2022, true, ts.ScriptKind.JS);
+    if (file.statements.length !== 1)
+        return false;
+    const declaration = file.statements[0];
+    if (!declaration || !ts.isVariableStatement(declaration))
+        return false;
+    const expression = declaration.declarationList.declarations[0]?.initializer;
+    // Function expressions can obtain the context through `arguments[0]`.
+    if (expression === undefined || !ts.isArrowFunction(expression) || !ts.isBlock(expression.body)
+        || expression.modifiers?.some(modifier => modifier.kind === ts.SyntaxKind.AsyncKeyword) !== true)
+        return false;
+    const parameter = expression.parameters[0]?.name;
+    if (parameter === undefined || !ts.isIdentifier(parameter) || expression.parameters.length !== 1)
+        return false;
+    const context = parameter.text;
+    if (['Promise', 'globalThis', 'global'].includes(context))
+        return false;
+    // The instrumented body is re-evaluated with a private callback parameter.
+    // A lexical binding or reference with that spelling could capture it.
+    let namesCertifier = false;
+    const checkCertifierName = (node) => {
+        if (ts.isIdentifier(node) && node.text === reservedCertifier)
+            namesCertifier = true;
+        ts.forEachChild(node, checkCertifierName);
+    };
+    checkCertifierName(expression);
+    if (namesCertifier)
+        return false;
+    const branches = new Map();
+    const rootValues = new Set();
+    let groups = 0;
+    let runs = 0;
+    const unwrap = unwrapParallelExpression;
+    const method = (node, owner, name) => {
+        const value = unwrap(node);
+        return ts.isCallExpression(value) && ts.isPropertyAccessExpression(value.expression)
+            && ts.isIdentifier(value.expression.expression) && value.expression.expression.text === owner
+            && value.expression.name.text === name;
+    };
+    const pure = (node, values) => {
+        const value = unwrap(node);
+        if (ts.isStringLiteral(value) || ts.isNumericLiteral(value) || ts.isNoSubstitutionTemplateLiteral(value)
+            || value.kind === ts.SyntaxKind.TrueKeyword || value.kind === ts.SyntaxKind.FalseKeyword
+            || value.kind === ts.SyntaxKind.NullKeyword)
+            return true;
+        if (ts.isIdentifier(value))
+            return values.has(value.text);
+        if (ts.isTemplateExpression(value))
+            return value.templateSpans.every(span => pure(span.expression, values));
+        if (ts.isPrefixUnaryExpression(value))
+            return [ts.SyntaxKind.PlusToken, ts.SyntaxKind.MinusToken,
+                ts.SyntaxKind.ExclamationToken].includes(value.operator) && pure(value.operand, values);
+        if (ts.isBinaryExpression(value))
+            return [ts.SyntaxKind.PlusToken, ts.SyntaxKind.MinusToken,
+                ts.SyntaxKind.AsteriskToken, ts.SyntaxKind.SlashToken, ts.SyntaxKind.EqualsEqualsEqualsToken,
+                ts.SyntaxKind.ExclamationEqualsEqualsToken, ts.SyntaxKind.LessThanToken,
+                ts.SyntaxKind.GreaterThanToken].includes(value.operatorToken.kind)
+                && pure(value.left, values) && pure(value.right, values);
+        if (ts.isConditionalExpression(value))
+            return pure(value.condition, values)
+                && pure(value.whenTrue, values) && pure(value.whenFalse, values);
+        if (ts.isElementAccessExpression(value))
+            return value.argumentExpression !== undefined
+                && pure(value.expression, values) && pure(value.argumentExpression, values);
+        if (ts.isPropertyAccessExpression(value))
+            return pure(value.expression, values);
+        if (ts.isArrayLiteralExpression(value))
+            return value.elements.every(element => ts.isExpression(element) && pure(element, values));
+        if (ts.isObjectLiteralExpression(value))
+            return value.properties.every(property => ts.isPropertyAssignment(property) && (ts.isIdentifier(property.name) || ts.isStringLiteral(property.name))
+                && pure(property.initializer, values));
+        return false;
+    };
+    const run = (node, values) => {
+        const value = unwrap(node);
+        if (!method(value, context, 'run') || value.arguments.length < 1 || value.arguments.length > 2
+            || !value.arguments.every(argument => pure(argument, values)))
+            return false;
+        runs++;
+        return true;
+    };
+    const group = (node, values, depth) => {
+        const value = unwrap(node);
+        if (!method(value, 'Promise', 'all') || value.arguments.length !== 1 || depth > 4)
+            return false;
+        groups++;
+        const members = value.arguments[0];
+        if (ts.isArrayLiteralExpression(members)) {
+            if (members.elements.length < 2)
+                return false;
+            return members.elements.every(member => {
+                if (!ts.isExpression(member))
+                    return false;
+                if (run(member, values))
+                    return true;
+                const call = unwrap(member);
+                if (depth === 0 && ts.isCallExpression(call) && ts.isIdentifier(call.expression)
+                    && call.arguments.length === 0 && branches.has(call.expression.text)) {
+                    return branch(branches.get(call.expression.text), depth + 1);
+                }
+                if (depth === 0 && ts.isCallExpression(call) && call.arguments.length === 0
+                    && ts.isParenthesizedExpression(call.expression) && ts.isArrowFunction(call.expression.expression)) {
+                    return branch(call.expression.expression, depth + 1);
+                }
+                return false;
+            });
+        }
+        return false;
+    };
+    const awaitStep = (node, values, depth) => {
+        const value = unwrap(node);
+        if (!ts.isAwaitExpression(value))
+            return false;
+        return run(value.expression, values) || group(value.expression, values, depth);
+    };
+    const statements = (block, values, depth) => {
+        for (const statement of block.statements) {
+            if (ts.isExpressionStatement(statement)) {
+                if (awaitStep(statement.expression, values, depth))
+                    continue;
+                const value = unwrap(statement.expression);
+                if (depth === 0 && method(value, context, 'done') && value.arguments.length >= 1
+                    && value.arguments.every(argument => pure(argument, values))
+                    && statement === block.statements[block.statements.length - 1])
+                    continue;
+                return false;
+            }
+            if (ts.isReturnStatement(statement) && depth > 0 && statement.expression !== undefined
+                && awaitStep(statement.expression, values, depth))
+                continue;
+            if (!ts.isVariableStatement(statement) || (statement.declarationList.flags & ts.NodeFlags.Const) === 0)
+                return false;
+            for (const item of statement.declarationList.declarations) {
+                if (!ts.isIdentifier(item.name) || item.initializer === undefined)
+                    return false;
+                if (['Promise', 'globalThis', 'global'].includes(item.name.text))
+                    return false;
+                if (depth === 0 && ts.isArrowFunction(item.initializer)) {
+                    if (branches.has(item.name.text) || item.initializer.parameters.length !== 0
+                        || item.initializer.modifiers?.some(modifier => modifier.kind === ts.SyntaxKind.AsyncKeyword) !== true)
+                        return false;
+                    branches.set(item.name.text, item.initializer);
+                    continue;
+                }
+                if (!awaitStep(item.initializer, values, depth))
+                    return false;
+                values.add(item.name.text);
+            }
+        }
+        return true;
+    };
+    const branch = (arrow, depth) => {
+        if (arrow.parameters.length !== 0)
+            return false;
+        const before = runs;
+        const valid = ts.isBlock(arrow.body) ? statements(arrow.body, new Set(rootValues), depth)
+            : awaitStep(arrow.body, rootValues, depth);
+        // An empty async branch creates a join with no causal step predecessor.
+        return valid && runs > before;
+    };
+    if (!statements(expression.body, rootValues, 0))
+        return false;
+    return groups > 0 && runs > 0;
+}
+/** Reject any source that can change what a free `Promise` identifier means. */
+function certifiedModuleBody(source, bodySource) {
+    const file = ts.createSourceFile('authored-module.ts', source, ts.ScriptTarget.ES2022, true, ts.ScriptKind.TS);
+    if ((file.parseDiagnostics?.length ?? 0) > 0) {
+        return undefined;
+    }
+    // Top-level code can alter the constructor or its methods without binding
+    // the name. Leave these modules on the established serial scheduler too.
+    const touchesPromiseOutsideDefinition = (node) => {
+        if (ts.isIdentifier(node) && ['Promise', 'globalThis', 'global'].includes(node.text))
+            return true;
+        return ts.forEachChild(node, touchesPromiseOutsideDefinition) === true;
+    };
+    let definesDefaultBody = false;
+    let importsSurfaceFlow = false;
+    let certifiedBody;
+    for (const statement of file.statements) {
+        if (ts.isImportDeclaration(statement)) {
+            // Imports can execute code before the body starts. Only the direct,
+            // immutable Surface binding can certify the exported body's identity.
+            if (statement.moduleSpecifier.getText(file) !== "'@relayflows/surface'"
+                && statement.moduleSpecifier.getText(file) !== '"@relayflows/surface"')
+                return undefined;
+            const bindings = statement.importClause?.namedBindings;
+            if (statement.importClause?.name !== undefined || bindings === undefined
+                || !ts.isNamedImports(bindings) || bindings.elements.length !== 1
+                || bindings.elements[0]?.name.text !== 'flow'
+                || bindings.elements[0]?.propertyName !== undefined || importsSurfaceFlow)
+                return undefined;
+            importsSurfaceFlow = true;
+            continue;
+        }
+        if (ts.isExportAssignment(statement)) {
+            // Only the final body argument is allowed to mention Promise.all. Do
+            // not let an expression around flow() mutate Promise while we skip it.
+            const call = statement.expression;
+            if (statement.isExportEquals || !ts.isCallExpression(call)
+                || !ts.isIdentifier(call.expression) || call.expression.text !== 'flow')
+                return undefined;
+            const args = call.arguments;
+            if (args.length !== 2 || !ts.isStringLiteral(args[0]))
+                return undefined;
+            if (!ts.isArrowFunction(args[args.length - 1]))
+                return undefined;
+            certifiedBody = args[args.length - 1].getText(file);
+            if (bodySource !== undefined && certifiedBody !== bodySource)
+                return undefined;
+            if (args.slice(0, -1).some(touchesPromiseOutsideDefinition))
+                return undefined;
+            if (definesDefaultBody)
+                return undefined;
+            definesDefaultBody = true;
+            continue;
+        }
+        // The certified body cannot use module captures. Other top-level code is
+        // unnecessary for it and may schedule a later mutation through an alias.
+        return undefined;
+    }
+    const forbidden = new Set(['Promise', 'globalThis']);
+    const bindsForbidden = (name) => ts.isIdentifier(name)
+        ? forbidden.has(name.text)
+        : name.elements.some(element => ts.isBindingElement(element) && bindsForbidden(element.name));
+    const isGlobalPromise = (node) => {
+        if (ts.isIdentifier(node))
+            return forbidden.has(node.text);
+        if (ts.isPropertyAccessExpression(node))
+            return ts.isIdentifier(node.expression)
+                && node.expression.text === 'globalThis' && node.name.text === 'Promise';
+        return ts.isElementAccessExpression(node) && ts.isIdentifier(node.expression)
+            && node.expression.text === 'globalThis' && ts.isStringLiteral(node.argumentExpression)
+            && node.argumentExpression.text === 'Promise';
+    };
+    let unsafe = false;
+    const visit = (node) => {
+        if (unsafe)
+            return;
+        if ((ts.isVariableDeclaration(node) || ts.isParameter(node) || ts.isBindingElement(node))
+            && bindsForbidden(node.name))
+            unsafe = true;
+        if ((ts.isFunctionDeclaration(node) || ts.isFunctionExpression(node)
+            || ts.isClassDeclaration(node) || ts.isClassExpression(node)
+            || ts.isEnumDeclaration(node) || ts.isImportEqualsDeclaration(node)
+            || ts.isTypeAliasDeclaration(node) || ts.isInterfaceDeclaration(node))
+            && node.name !== undefined && forbidden.has(node.name.text))
+            unsafe = true;
+        if (ts.isImportClause(node) && node.name !== undefined && forbidden.has(node.name.text))
+            unsafe = true;
+        if (ts.isNamespaceImport(node) && forbidden.has(node.name.text))
+            unsafe = true;
+        if (ts.isImportSpecifier(node) && forbidden.has(node.name.text))
+            unsafe = true;
+        if (ts.isBinaryExpression(node)
+            && node.operatorToken.kind >= ts.SyntaxKind.FirstAssignment
+            && node.operatorToken.kind <= ts.SyntaxKind.LastAssignment
+            && isGlobalPromise(node.left))
+            unsafe = true;
+        if ((ts.isPrefixUnaryExpression(node) || ts.isPostfixUnaryExpression(node))
+            && isGlobalPromise(node.operand))
+            unsafe = true;
+        ts.forEachChild(node, visit);
+    };
+    visit(file);
+    // The body may come from another module, where a free Promise name can be
+    // shadowed without appearing in this source. In that case use serial IDs.
+    return importsSurfaceFlow && definesDefaultBody && !unsafe ? certifiedBody : undefined;
+}
+//# sourceMappingURL=authored-parallel-eligibility.js.map

package/dist/authored-parallel-eligibility.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"authored-parallel-eligibility.js","sourceRoot":"","sources":["../src/authored-parallel-eligibility.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AAEtE,MAAM,iBAAiB,GAAG,yBAAyB,CAAC;AAEpD,gFAAgF;AAChF,MAAM,UAAU,wBAAwB,CAAC,IAAmB;IAC1D,OAAO,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,wBAAwB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/F,CAAC;AAED,2FAA2F;AAC3F,MAAM,UAAU,mBAAmB,CAAC,IAAc,EAAE,YAAoB;IACtE,4EAA4E;IAC5E,0EAA0E;IAC1E,gEAAgE;IAChE,MAAM,UAAU,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;IAChD,OAAO,mBAAmB,CAAC,YAAY,EAAE,UAAU,CAAC,KAAK,SAAS,IAAI,0BAA0B,CAAC,IAAI,CAAC,CAAC;AACzG,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,IAAc,EAAE,YAAoB,EAAE,SAAiB,EACvD,IAA2B;IAE3B,IAAI,CAAC,4BAA4B,CAAC,YAAY,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9D,MAAM,EAAE,oBAAoB,EAAE,GAAG,MAAM,MAAM,CAAC,aAAa,CAE1D,CAAC;IACF,IAAI,OAAO,oBAAoB,KAAK,UAAU;QAAE,OAAO,KAAK,CAAC;IAC7D,wEAAwE;IACxE,2EAA2E;IAC3E,wEAAwE;IACxE,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC;IACxC,IAAI,WAAmB,CAAC;IACxB,IAAI,CAAC;QACH,OAAO,CAAC,WAAW,GAAG,CAAC,CAAC,OAAuB,EAAE,GAAG,IAAe,EAAE,EAAE;YACrE,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,qBAAqB,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,sBAAsB,CAAC;gBAAE,OAAO;YACnG,WAA4C,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,CAAC;QAChF,CAAC,CAA+B,CAAC;QACjC,WAAW,GAAG,oBAAoB,CAAC,YAAY,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;IACxE,CAAC;IAAC,MAAM,CAAC;QACP,wEAAwE;QACxE,OAAO,KAAK,CAAC;IACf,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,WAAW,GAAG,WAAW,CAAC;IACpC,CAAC;IACD,OAAO,mBAAmB,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;AAChD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,4BAA4B,CAAC,YAAoB;IAC/D,MAAM,UAAU,GAAG,mBAAmB,CAAC,YAAY,CAAC,CAAC;IACrD,OAAO,UAAU,KAAK,SAAS,IAAI,gCAAgC,CAAC,UAAU,CAAC,CAAC;AAClF,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,0BAA0B,CAAC,IAAc;IACvD,OAAO,gCAAgC,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC;AACxE,CAAC;AAED,SAAS,gCAAgC,CAAC,UAAkB;IAC1D,MAAM,IAAI,GAAG,EAAE,CAAC,gBAAgB,CAAC,kBAAkB,EAAE,gBAAgB,UAAU,GAAG,EAChF,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IAClD,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/C,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IACvC,IAAI,CAAC,WAAW,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,WAAW,CAAC;QAAE,OAAO,KAAK,CAAC;IACvE,MAAM,UAAU,GAAG,WAAW,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC;IAC5E,sEAAsE;IACtE,IAAI,UAAU,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC;WAC1F,UAAU,CAAC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACjH,MAAM,SAAS,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;IACjD,IAAI,SAAS,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,UAAU,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/G,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC;IAC/B,IAAI,CAAC,SAAS,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC;IACxE,2EAA2E;IAC3E,sEAAsE;IACtE,IAAI,cAAc,GAAG,KAAK,CAAC;IAC3B,MAAM,kBAAkB,GAAG,CAAC,IAAa,EAAQ,EAAE;QACjD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB;YAAE,cAAc,GAAG,IAAI,CAAC;QACpF,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;IAC5C,CAAC,CAAC;IACF,kBAAkB,CAAC,UAAU,CAAC,CAAC;IAC/B,IAAI,cAAc;QAAE,OAAO,KAAK,CAAC;IACjC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA4B,CAAC;IACrD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,IAAI,GAAG,CAAC,CAAC;IAEb,MAAM,MAAM,GAAG,wBAAwB,CAAC;IACxC,MAAM,MAAM,GAAG,CAAC,IAAmB,EAAE,KAAa,EAAE,IAAY,EAA6B,EAAE;QAC7F,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC3B,OAAO,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,0BAA0B,CAAC,KAAK,CAAC,UAAU,CAAC;eAC/E,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,KAAK,KAAK;eAC1F,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC;IAC3C,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,IAAmB,EAAE,MAA2B,EAAW,EAAE;QACzE,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAI,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,+BAA+B,CAAC,KAAK,CAAC;eACnG,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;eACrF,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAAE,OAAO,IAAI,CAAC;QAC3D,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC;YAAE,OAAO,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC1D,IAAI,EAAE,CAAC,oBAAoB,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;QAC5G,IAAI,EAAE,CAAC,uBAAuB,CAAC,KAAK,CAAC;YAAE,OAAO,CAAC,EAAE,CAAC,UAAU,CAAC,SAAS,EAAE,EAAE,CAAC,UAAU,CAAC,UAAU;gBAC9F,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC1F,IAAI,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC;YAAE,OAAO,CAAC,EAAE,CAAC,UAAU,CAAC,SAAS,EAAE,EAAE,CAAC,UAAU,CAAC,UAAU;gBACzF,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,EAAE,CAAC,UAAU,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,uBAAuB;gBAC5F,EAAE,CAAC,UAAU,CAAC,4BAA4B,EAAE,EAAE,CAAC,UAAU,CAAC,aAAa;gBACvE,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC;mBAC/D,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC3D,IAAI,EAAE,CAAC,uBAAuB,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,MAAM,CAAC;mBACtE,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QACnE,IAAI,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC,kBAAkB,KAAK,SAAS;mBACjF,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,kBAAkB,EAAE,MAAM,CAAC,CAAC;QAC9E,IAAI,EAAE,CAAC,0BAA0B,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QAChF,IAAI,EAAE,CAAC,wBAAwB,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAC5E,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;QACrD,IAAI,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAChF,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;mBACvG,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC;QACzC,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,MAAM,GAAG,GAAG,CAAC,IAAmB,EAAE,MAA2B,EAAW,EAAE;QACxE,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;eACzF,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QAC9E,IAAI,EAAE,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,IAAmB,EAAE,MAA2B,EAAE,KAAa,EAAW,EAAE;QACzF,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QAChG,MAAM,EAAE,CAAC;QACT,MAAM,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;QACpC,IAAI,EAAE,CAAC,wBAAwB,CAAC,OAAO,CAAC,EAAE,CAAC;YACzC,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC9C,OAAO,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE;gBACrC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;oBAAE,OAAO,KAAK,CAAC;gBAC3C,IAAI,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACrC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;gBAC5B,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;uBAC3E,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;oBACvE,OAAO,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAE,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBAChE,CAAC;gBACD,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;uBACtE,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;oBACrG,OAAO,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBACvD,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC,CAAC,CAAC;QACL,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,CAAC,IAAmB,EAAE,MAA2B,EAAE,KAAa,EAAW,EAAE;QAC7F,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAC/C,OAAO,GAAG,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;IACjF,CAAC,CAAC;IACF,MAAM,UAAU,GAAG,CAAC,KAAe,EAAE,MAAmB,EAAE,KAAa,EAAW,EAAE;QAClF,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;YACzC,IAAI,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC,EAAE,CAAC;gBACxC,IAAI,SAAS,CAAC,SAAS,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,CAAC;oBAAE,SAAS;gBAC7D,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;gBAC3C,IAAI,KAAK,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC;uBAC3E,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;uBACzD,SAAS,KAAK,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;oBAAE,SAAS;gBAC3E,OAAO,KAAK,CAAC;YACf,CAAC;YACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,SAAS,CAAC,UAAU,KAAK,SAAS;mBACjF,SAAS,CAAC,SAAS,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,CAAC;gBAAE,SAAS;YAC9D,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC;YACrH,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;gBAC1D,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS;oBAAE,OAAO,KAAK,CAAC;gBAChF,IAAI,CAAC,SAAS,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,OAAO,KAAK,CAAC;gBAC/E,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;oBACxD,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;2BACvE,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,KAAK,IAAI;wBACpG,OAAO,KAAK,CAAC;oBACjB,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;oBAC/C,SAAS;gBACX,CAAC;gBACD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,KAAK,CAAC;oBAAE,OAAO,KAAK,CAAC;gBAC9D,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,KAAuB,EAAE,KAAa,EAAW,EAAE;QACjE,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAChD,MAAM,MAAM,GAAG,IAAI,CAAC;QACpB,MAAM,KAAK,GAAG,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,UAAU,CAAC,EAAE,KAAK,CAAC;YACvF,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC;QAC7C,wEAAwE;QACxE,OAAO,KAAK,IAAI,IAAI,GAAG,MAAM,CAAC;IAChC,CAAC,CAAC;IAEF,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9D,OAAO,MAAM,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC;AAChC,CAAC;AAED,gFAAgF;AAChF,SAAS,mBAAmB,CAAC,MAAc,EAAE,UAAmB;IAC9D,MAAM,IAAI,GAAG,EAAE,CAAC,gBAAgB,CAAC,oBAAoB,EAAE,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IAC/G,IAAI,CAAE,IAAwE,CAAC,gBAAgB,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QAClH,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,0EAA0E;IAC1E,yEAAyE;IACzE,MAAM,+BAA+B,GAAG,CAAC,IAAa,EAAW,EAAE;QACjE,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAClG,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,+BAA+B,CAAC,KAAK,IAAI,CAAC;IACzE,CAAC,CAAC;IACF,IAAI,kBAAkB,GAAG,KAAK,CAAC;IAC/B,IAAI,kBAAkB,GAAG,KAAK,CAAC;IAC/B,IAAI,aAAiC,CAAC;IACtC,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACxC,IAAI,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;YACtC,oEAAoE;YACpE,sEAAsE;YACtE,IAAI,SAAS,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,uBAAuB;mBAClE,SAAS,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,uBAAuB;gBAAE,OAAO,SAAS,CAAC;YAC3F,MAAM,QAAQ,GAAG,SAAS,CAAC,YAAY,EAAE,aAAa,CAAC;YACvD,IAAI,SAAS,CAAC,YAAY,EAAE,IAAI,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS;mBACnE,CAAC,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;mBAC9D,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,KAAK,MAAM;mBAC1C,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,YAAY,KAAK,SAAS,IAAI,kBAAkB;gBAAE,OAAO,SAAS,CAAC;YAC9F,kBAAkB,GAAG,IAAI,CAAC;YAC1B,SAAS;QACX,CAAC;QACD,IAAI,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC,EAAE,CAAC;YACrC,qEAAqE;YACrE,uEAAuE;YACvE,MAAM,IAAI,GAAG,SAAS,CAAC,UAAU,CAAC;YAClC,IAAI,SAAS,CAAC,cAAc,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;mBACrD,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM;gBAAE,OAAO,SAAS,CAAC;YAC5F,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC;YAC5B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;gBAAE,OAAO,SAAS,CAAC;YACzE,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC;gBAAE,OAAO,SAAS,CAAC;YAClE,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACrD,IAAI,UAAU,KAAK,SAAS,IAAI,aAAa,KAAK,UAAU;gBAAE,OAAO,SAAS,CAAC;YAC/E,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,+BAA+B,CAAC;gBAAE,OAAO,SAAS,CAAC;YAC9E,IAAI,kBAAkB;gBAAE,OAAO,SAAS,CAAC;YACzC,kBAAkB,GAAG,IAAI,CAAC;YAC1B,SAAS;QACX,CAAC;QACD,yEAAyE;QACzE,yEAAyE;QACzE,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC;IACrD,MAAM,cAAc,GAAG,CAAC,IAAoB,EAAW,EAAE,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QAC7E,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;QAC1B,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,IAAI,cAAc,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IAChG,MAAM,eAAe,GAAG,CAAC,IAAa,EAAW,EAAE;QACjD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YAAE,OAAO,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3D,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;YAAE,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;mBAC3E,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;QAC3E,OAAO,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;eACxE,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,YAAY,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,kBAAkB,CAAC;eACpF,IAAI,CAAC,kBAAkB,CAAC,IAAI,KAAK,SAAS,CAAC;IAClD,CAAC,CAAC;IACF,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,MAAM;YAAE,OAAO;QACnB,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;eACpF,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,MAAM,GAAG,IAAI,CAAC;QAC9C,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;eAC/D,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;eACzD,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;eAChE,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC;eACnE,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,MAAM,GAAG,IAAI,CAAC;QAC7E,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,MAAM,GAAG,IAAI,CAAC;QACvG,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,MAAM,GAAG,IAAI,CAAC;QAC/E,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,MAAM,GAAG,IAAI,CAAC;QAC/E,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;eAC1B,IAAI,CAAC,aAAa,CAAC,IAAI,IAAI,EAAE,CAAC,UAAU,CAAC,eAAe;eACxD,IAAI,CAAC,aAAa,CAAC,IAAI,IAAI,EAAE,CAAC,UAAU,CAAC,cAAc;eACvD,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,MAAM,GAAG,IAAI,CAAC;QAC/C,IAAI,CAAC,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC;eACtE,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC;YAAE,MAAM,GAAG,IAAI,CAAC;QAClD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,0EAA0E;IAC1E,0EAA0E;IAC1E,OAAO,kBAAkB,IAAI,kBAAkB,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC;AACzF,CAAC"}

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

@@ -29,12 +29,15 @@ export declare class AuthoredPromiseGraph {
     private readonly triggers;
     private readonly creationContexts;
     private readonly resolutionCauses;
+    /** Promises attributed only when another promise's reaction resolved them. */
+    private readonly adoptedFromResolvingContext;
     private readonly promiseIds;
     private readonly handles;
     private readonly unattributedChildren;
     private readonly attributedRoots;
     private readonly roots;
     private readonly pending;
+    private readonly combinatorCaptures;
     private dependencyCache;
     /** Bumped by every graph change, so derived answers can be cached between changes. */
     private changes;
@@ -42,6 +45,12 @@ export declare class AuthoredPromiseGraph {
     enable(): void;
     disable(): void;
     idOf(value: object): number | undefined;
+    isPending(asyncId: number): boolean;
+    /** The intrinsic creates per-member reaction promises as well as its aggregate. */
+    captureCombinator<T>(call: () => T): {
+        readonly value: T;
+        readonly created: ReadonlySet<number>;
+    };
     /** Mark a promise whose descendants belong to an authored operation. */
     registerRoot(asyncId: number): void;
     /** The roots that still have derived promises in flight. One pass over `pending`. */
@@ -53,6 +62,13 @@ export declare class AuthoredPromiseGraph {
     }>;
     /** The three recorded edges out of one promise, for walks that stop early. */
     causesOf(asyncId: number): number[];
+    /**
+     * A promise created directly in one async context but settled in another
+     * can be a join. Its resolution edge names only the settling member, so a
+     * frontier may use it only when a combinator registered all members.
+     */
+    hasUnobservedJoinShape(asyncId: number): boolean;
+    wasAdoptedFromResolvingContext(asyncId: number): boolean;
     dependsOn(descendant: number, ancestor: number): boolean;
     /** A counter that changes whenever the graph does; equal values mean equal answers. */
     get version(): number;

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

@@ -1 +1 @@
-{"version":3,"file":"authored-promise-graph.d.ts","sourceRoot":"","sources":["../src/authored-promise-graph.ts"],"names":[],"mappings":"AAGA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,qBAAa,oBAAoB;IAgB7B,OAAO,CAAC,QAAQ,CAAC,OAAO;IACxB,OAAO,CAAC,QAAQ,CAAC,gBAAgB;IAhBnC,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,CAAwG;IAC/H,sFAAsF;IACtF,OAAO,CAAC,OAAO,CAAK;gBAGD,OAAO,EAAE,MAAM,OAAO,EACtB,gBAAgB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,IAAI;IA8C9D,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;IAUnC,qFAAqF;IACrF,aAAa,IAAI,GAAG,CAAC,MAAM,CAAC;IAS5B,mFAAmF;IACnF,gBAAgB,IAAI,KAAK,CAAC;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,CAAA;KAAE,CAAC;IAUvF,8EAA8E;IAC9E,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE;IAYnC,SAAS,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO;IAIxD,uFAAuF;IACvF,IAAI,OAAO,IAAI,MAAM,CAEpB;IAED;;;;OAIG;IACH,iBAAiB,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,EAAE,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAI1G,KAAK,IAAI,IAAI;IAYb,OAAO,CAAC,SAAS;IAajB,OAAO,CAAC,IAAI;IAMZ;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,cAAc;CAcvB"}
+{"version":3,"file":"authored-promise-graph.d.ts","sourceRoot":"","sources":["../src/authored-promise-graph.ts"],"names":[],"mappings":"AAGA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,qBAAa,oBAAoB;IAmB7B,OAAO,CAAC,QAAQ,CAAC,OAAO;IACxB,OAAO,CAAC,QAAQ,CAAC,gBAAgB;IAnBnC,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,8EAA8E;IAC9E,OAAO,CAAC,QAAQ,CAAC,2BAA2B,CAAqB;IACjE,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,QAAQ,CAAC,kBAAkB,CAAqB;IACxD,OAAO,CAAC,eAAe,CAAwG;IAC/H,sFAAsF;IACtF,OAAO,CAAC,OAAO,CAAK;gBAGD,OAAO,EAAE,MAAM,OAAO,EACtB,gBAAgB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,IAAI;IAgD9D,MAAM,IAAI,IAAI;IAId,OAAO,IAAI,IAAI;IAIf,IAAI,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAIvC,SAAS,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO;IAInC,mFAAmF;IACnF,iBAAiB,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG;QAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;KAAE;IAOjG,wEAAwE;IACxE,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI;IAUnC,qFAAqF;IACrF,aAAa,IAAI,GAAG,CAAC,MAAM,CAAC;IAS5B,mFAAmF;IACnF,gBAAgB,IAAI,KAAK,CAAC;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,CAAA;KAAE,CAAC;IAUvF,8EAA8E;IAC9E,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE;IAYnC;;;;OAIG;IACH,sBAAsB,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO;IAOhD,8BAA8B,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO;IAIxD,SAAS,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO;IAIxD,uFAAuF;IACvF,IAAI,OAAO,IAAI,MAAM,CAEpB;IAED;;;;OAIG;IACH,iBAAiB,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,EAAE,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAI1G,KAAK,IAAI,IAAI;IAcb,OAAO,CAAC,SAAS;IAajB,OAAO,CAAC,IAAI;IAMZ;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,cAAc;CAcvB"}

package/dist/authored-promise-graph.js

@@ -31,12 +31,15 @@ export class AuthoredPromiseGraph {
     triggers = new Map();
     creationContexts = new Map();
     resolutionCauses = new Map();
+    /** Promises attributed only when another promise's reaction resolved them. */
+    adoptedFromResolvingContext = new Set();
     promiseIds = new WeakMap();
     handles = new Map();
     unattributedChildren = new Map();
     attributedRoots = new Map();
     roots = new Set();
     pending = new Set();
+    combinatorCaptures = [];
     dependencyCache;
     /** Bumped by every graph change, so derived answers can be cached between changes. */
     changes = 0;
@@ -53,6 +56,8 @@ export class AuthoredPromiseGraph {
                 this.triggers.set(asyncId, triggerAsyncId);
                 this.creationContexts.set(asyncId, executionAsyncId());
                 this.promiseIds.set(resource, asyncId);
+                for (const capture of this.combinatorCaptures)
+                    capture.add(asyncId);
                 this.handles.set(asyncId, resource);
                 this.pending.add(asyncId);
                 const root = this.roots.has(triggerAsyncId)
@@ -83,6 +88,7 @@ export class AuthoredPromiseGraph {
                 // success. Measured; see ops/probes/pr134-repair-0903/combinators.mjs.
                 const adopted = this.attributedRoots.get(cause);
                 if (adopted !== undefined) {
+                    this.adoptedFromResolvingContext.add(asyncId);
                     this.attribute(asyncId, adopted);
                     return;
                 }
@@ -102,6 +108,20 @@ export class AuthoredPromiseGraph {
     idOf(value) {
         return this.promiseIds.get(value);
     }
+    isPending(asyncId) {
+        return this.pending.has(asyncId);
+    }
+    /** The intrinsic creates per-member reaction promises as well as its aggregate. */
+    captureCombinator(call) {
+        const created = new Set();
+        this.combinatorCaptures.push(created);
+        try {
+            return { value: call(), created };
+        }
+        finally {
+            this.combinatorCaptures.pop();
+        }
+    }
     /** Mark a promise whose descendants belong to an authored operation. */
     registerRoot(asyncId) {
         if (asyncId <= 0 || this.roots.has(asyncId))
@@ -150,6 +170,20 @@ export class AuthoredPromiseGraph {
         }
         return causes;
     }
+    /**
+     * A promise created directly in one async context but settled in another
+     * can be a join. Its resolution edge names only the settling member, so a
+     * frontier may use it only when a combinator registered all members.
+     */
+    hasUnobservedJoinShape(asyncId) {
+        const trigger = this.triggers.get(asyncId);
+        const resolution = this.resolutionCauses.get(asyncId);
+        return trigger !== undefined && trigger === this.creationContexts.get(asyncId)
+            && resolution !== undefined && resolution !== trigger;
+    }
+    wasAdoptedFromResolvingContext(asyncId) {
+        return this.adoptedFromResolvingContext.has(asyncId);
+    }
     dependsOn(descendant, ancestor) {
         return this.dependenciesOf(descendant).has(ancestor);
     }
@@ -169,11 +203,13 @@ export class AuthoredPromiseGraph {
         this.triggers.clear();
         this.creationContexts.clear();
         this.resolutionCauses.clear();
+        this.adoptedFromResolvingContext.clear();
         this.handles.clear();
         this.unattributedChildren.clear();
         this.attributedRoots.clear();
         this.roots.clear();
         this.pending.clear();
+        this.combinatorCaptures.length = 0;
         this.dependencyCache = undefined;
     }
     attribute(start, root) {