legend-doctor 0.1.0

package/dist/src/analysis/subtree/projection-hops.js

@@ -0,0 +1,194 @@
+import { EMPTY_BINDINGS, MAX_PROJECTION_HOPS } from "../constants.js";
+import { bindingDeclarationCount, collectBindingNames, isDeclarationName, isEvaluationInert, isNonValueIdentifier, } from "../../core/analysis-ast.js";
+import { findAncestorUntil, isRuntimeFunctionLike, nodeWithin, visit } from "../../core/ast.js";
+import { bindingReferencesIn } from "../keyed-cursor.js";
+import { isSafeProjectionExpression } from "../../rules/deferred-reveal/safe-projections.js";
+import { sourceHasRuntimeBinding } from "../../rules/state-proofs/binding-lookup.js";
+import ts from "typescript";
+function projectionHopIsSafe(declaration, current, { allowedCalls, owner }) {
+    return (declaration.initializer !== undefined &&
+        current.depth < MAX_PROJECTION_HOPS &&
+        ts.isIdentifier(declaration.name) &&
+        ts.isVariableDeclarationList(declaration.parent) &&
+        (declaration.parent.flags & ts.NodeFlags.Const) !== 0 &&
+        bindingDeclarationCount(owner, declaration.name.text) === 1 &&
+        isSafeProjectionExpression({
+            expression: declaration.initializer,
+            reference: current.reference,
+            allowedIdentifierCalls: allowedCalls,
+            allowedPropertyCalls: projectionMathCalls(owner),
+        }));
+}
+export function terminalRenderProjectionReferences(owner, roots, allowedCalls) {
+    if (!owner.body || roots.some((root) => !ts.isIdentifier(root))) {
+        return null;
+    }
+    // SAFETY: the guard above returns null unless every root satisfies ts.isIdentifier.
+    const pending = roots.map((root) => ({ depth: 0, reference: root }));
+    const terminals = walkProjectionHops(pending, { allowedCalls, owner });
+    return terminals && terminals.length > 0 ? terminals : null;
+}
+function walkProjectionHops(pending, scope) {
+    const terminals = [];
+    const visited = new Set();
+    for (let current = nextUnvisitedHop(pending, visited); current;) {
+        const next = projectionHopReferences(current, scope);
+        if (!next) {
+            return null;
+        }
+        pushHopOrTerminal(current, next, { pending, terminals });
+        current = nextUnvisitedHop(pending, visited);
+    }
+    return terminals;
+}
+function nextUnvisitedHop(pending, visited) {
+    while (pending.length > 0) {
+        const current = pending.pop();
+        if (markVisited(visited, current.reference)) {
+            return current;
+        }
+    }
+    return null;
+}
+function markVisited(visited, reference) {
+    const start = reference.getStart();
+    if (visited.has(start)) {
+        return false;
+    }
+    visited.add(start);
+    return true;
+}
+function pushHopOrTerminal(current, next, { pending, terminals }) {
+    if (next.length === 0) {
+        terminals.push(current.reference);
+        return;
+    }
+    pending.push(...next);
+}
+function projectionHopReferences(current, { allowedCalls, owner }) {
+    const declaration = findAncestorUntil(current.reference, ts.isVariableDeclaration, owner);
+    if (!declaration ||
+        !declaration.initializer ||
+        !nodeWithin(current.reference, declaration.initializer)) {
+        return [];
+    }
+    if (!projectionHopIsSafe(declaration, current, { allowedCalls, owner })) {
+        return null;
+    }
+    const references = owner.body ? bindingReferencesIn(owner.body, declaration) : [];
+    if (references.length === 0) {
+        return null;
+    }
+    return references.map((reference) => ({ depth: current.depth + 1, reference }));
+}
+function projectionMathCalls(owner) {
+    if (sourceHasRuntimeBinding(owner.getSourceFile(), "Math")) {
+        return EMPTY_BINDINGS;
+    }
+    return new Set([
+        "Math.abs",
+        "Math.ceil",
+        "Math.exp",
+        "Math.floor",
+        "Math.max",
+        "Math.min",
+        "Math.round",
+        "Math.trunc",
+    ]);
+}
+export function localPureProjectionBindings(sourceFile) {
+    const bindings = new Set();
+    for (const statement of sourceFile.statements) {
+        if (!ts.isVariableStatement(statement) ||
+            (statement.declarationList.flags & ts.NodeFlags.Const) === 0) {
+            continue;
+        }
+        for (const declaration of statement.declarationList.declarations) {
+            if (!ts.isIdentifier(declaration.name) ||
+                !declaration.initializer ||
+                (!ts.isArrowFunction(declaration.initializer) &&
+                    !ts.isFunctionExpression(declaration.initializer)) ||
+                !localProjectionFunctionIsPure(declaration.initializer, sourceFile)) {
+                continue;
+            }
+            bindings.add(declaration.name.text);
+        }
+    }
+    return bindings;
+}
+function localProjectionFunctionIsPure(fn, sourceFile) {
+    if (fn.asteriskToken ||
+        fn.modifiers?.some((modifier) => modifier.kind === ts.SyntaxKind.AsyncKeyword) ||
+        fn.parameters.length === 0 ||
+        fn.parameters.some((parameter) => !ts.isIdentifier(parameter.name) || parameter.initializer)) {
+        return false;
+    }
+    const expression = ts.isBlock(fn.body)
+        ? fn.body.statements.length === 1 &&
+            ts.isReturnStatement(fn.body.statements[0]) &&
+            fn.body.statements[0].expression
+        : fn.body;
+    if (!expression) {
+        return false;
+    }
+    if (!isSafeProjectionExpression({
+        expression,
+        reference: expression,
+        allowedIdentifierCalls: EMPTY_BINDINGS,
+        allowedPropertyCalls: projectionMathCalls(fn),
+    })) {
+        return false;
+    }
+    let safe = true;
+    visit(fn.body, (node) => {
+        if (!safe ||
+            !ts.isIdentifier(node) ||
+            isDeclarationName(node) ||
+            isNonValueIdentifier(node) ||
+            identifierIsProjectionParameter(node, fn) ||
+            node.text === "Math") {
+            return;
+        }
+        safe = moduleConstIsEvaluationInert(sourceFile, node.text);
+    });
+    return safe;
+}
+function identifierIsProjectionParameter(node, boundary) {
+    for (let current = node.parent; current; current = current.parent) {
+        if (isRuntimeFunctionLike(current)) {
+            const names = new Set();
+            for (const parameter of current.parameters) {
+                collectBindingNames(parameter.name, names);
+            }
+            if (names.has(node.text)) {
+                return true;
+            }
+        }
+        if (current === boundary) {
+            return false;
+        }
+    }
+    return false;
+}
+function moduleConstIsEvaluationInert(sourceFile, name) {
+    const matches = [];
+    for (const statement of sourceFile.statements) {
+        if (!ts.isVariableStatement(statement) ||
+            (statement.declarationList.flags & ts.NodeFlags.Const) === 0) {
+            continue;
+        }
+        for (const declaration of statement.declarationList.declarations) {
+            if (ts.isIdentifier(declaration.name) && declaration.name.text === name) {
+                matches.push(declaration);
+            }
+        }
+    }
+    const [match] = matches;
+    return (match !== undefined && match.initializer !== undefined && isEvaluationInert(match.initializer));
+}
+export function nearestJsxElement(node, boundary) {
+    return findAncestorUntil(node, (candidate) => ts.isJsxElement(candidate) ||
+        ts.isJsxSelfClosingElement(candidate) ||
+        ts.isJsxFragment(candidate), boundary);
+}
+//# sourceMappingURL=projection-hops.js.map

package/dist/src/analysis/subtree/projection-hops.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"projection-hops.js","sourceRoot":"","sources":["../../../../src/analysis/subtree/projection-hops.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtE,OAAO,EACL,uBAAuB,EACvB,mBAAmB,EACnB,iBAAiB,EACjB,iBAAiB,EACjB,oBAAoB,GACrB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAGhG,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,EAAE,0BAA0B,EAAE,MAAM,iDAAiD,CAAC;AAC7F,OAAO,EAAE,uBAAuB,EAAE,MAAM,4CAA4C,CAAC;AACrF,OAAO,EAAE,MAAM,YAAY,CAAC;AAO5B,SAAS,mBAAmB,CAC1B,WAAmC,EACnC,OAAsE,EACtE,EAAE,YAAY,EAAE,KAAK,EAAsB;IAE3C,OAAO,CACL,WAAW,CAAC,WAAW,KAAK,SAAS;QACrC,OAAO,CAAC,KAAK,GAAG,mBAAmB;QACnC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC;QACjC,EAAE,CAAC,yBAAyB,CAAC,WAAW,CAAC,MAAM,CAAC;QAChD,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;QACrD,uBAAuB,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;QAC3D,0BAA0B,CAAC;YACzB,UAAU,EAAE,WAAW,CAAC,WAAW;YACnC,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,sBAAsB,EAAE,YAAY;YACpC,oBAAoB,EAAE,mBAAmB,CAAC,KAAK,CAAC;SACjD,CAAC,CACH,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,kCAAkC,CAChD,KAA0B,EAC1B,KAAyB,EACzB,YAAiC;IAEjC,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAChE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,oFAAoF;IACpF,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,SAAS,EAAE,IAAqB,EAAE,CAAC,CAAC,CAAC;IACtF,MAAM,SAAS,GAAG,kBAAkB,CAAC,OAAO,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC;IACvE,OAAO,SAAS,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;AAC9D,CAAC;AAED,SAAS,kBAAkB,CACzB,OAAiC,EACjC,KAAyB;IAEzB,MAAM,SAAS,GAAoB,EAAE,CAAC;IACtC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,IAAI,OAAO,GAAG,gBAAgB,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,OAAO,GAAG,CAAC;QAChE,MAAM,IAAI,GAAG,uBAAuB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACrD,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,IAAI,CAAC;QACd,CAAC;QACD,iBAAiB,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC;QACzD,OAAO,GAAG,gBAAgB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,gBAAgB,CACvB,OAAiC,EACjC,OAAoB;IAEpB,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,EAAG,CAAC;QAC/B,IAAI,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;YAC5C,OAAO,OAAO,CAAC;QACjB,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,WAAW,CAAC,OAAoB,EAAE,SAAwB;IACjE,MAAM,KAAK,GAAG,SAAS,CAAC,QAAQ,EAAE,CAAC;IACnC,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACnB,OAAO,IAAI,CAAC;AACd,CAAC;AAOD,SAAS,iBAAiB,CACxB,OAA+B,EAC/B,IAAuC,EACvC,EAAE,OAAO,EAAE,SAAS,EAAyB;IAE7C,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAClC,OAAO;IACT,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;AACxB,CAAC;AAOD,SAAS,uBAAuB,CAC9B,OAA+B,EAC/B,EAAE,YAAY,EAAE,KAAK,EAAsB;IAE3C,MAAM,WAAW,GAAG,iBAAiB,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,qBAAqB,EAAE,KAAK,CAAC,CAAC;IAC1F,IACE,CAAC,WAAW;QACZ,CAAC,WAAW,CAAC,WAAW;QACxB,CAAC,UAAU,CAAC,OAAO,CAAC,SAAS,EAAE,WAAW,CAAC,WAAW,CAAC,EACvD,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,IAAI,CAAC,mBAAmB,CAAC,WAAW,EAAE,OAAO,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QACxE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAClF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,GAAG,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;AAClF,CAAC;AAED,SAAS,mBAAmB,CAAC,KAA0B;IACrD,IAAI,uBAAuB,CAAC,KAAK,CAAC,aAAa,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC;QAC3D,OAAO,cAAc,CAAC;IACxB,CAAC;IACD,OAAO,IAAI,GAAG,CAAC;QACb,UAAU;QACV,WAAW;QACX,UAAU;QACV,YAAY;QACZ,UAAU;QACV,UAAU;QACV,YAAY;QACZ,YAAY;KACb,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,UAAyB;IACnE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QAC9C,IACE,CAAC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC;YAClC,CAAC,SAAS,CAAC,eAAe,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EAC5D,CAAC;YACD,SAAS;QACX,CAAC;QACD,KAAK,MAAM,WAAW,IAAI,SAAS,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;YACjE,IACE,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC;gBAClC,CAAC,WAAW,CAAC,WAAW;gBACxB,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC,WAAW,CAAC;oBAC3C,CAAC,EAAE,CAAC,oBAAoB,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;gBACpD,CAAC,6BAA6B,CAAC,WAAW,CAAC,WAAW,EAAE,UAAU,CAAC,EACnE,CAAC;gBACD,SAAS;YACX,CAAC;YACD,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,6BAA6B,CACpC,EAA4C,EAC5C,UAAyB;IAEzB,IACE,EAAE,CAAC,aAAa;QAChB,EAAE,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC;QAC9E,EAAE,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAC1B,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,WAAW,CAAC,EAC5F,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,UAAU,GAAG,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC;QACpC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;YAC/B,EAAE,CAAC,iBAAiB,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC;YAC5C,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,UAAU;QACnC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC;IACZ,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IACE,CAAC,0BAA0B,CAAC;QAC1B,UAAU;QACV,SAAS,EAAE,UAAU;QACrB,sBAAsB,EAAE,cAAc;QACtC,oBAAoB,EAAE,mBAAmB,CAAC,EAAE,CAAC;KAC9C,CAAC,EACF,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACtB,IACE,CAAC,IAAI;YACL,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACtB,iBAAiB,CAAC,IAAI,CAAC;YACvB,oBAAoB,CAAC,IAAI,CAAC;YAC1B,+BAA+B,CAAC,IAAI,EAAE,EAAE,CAAC;YACzC,IAAI,CAAC,IAAI,KAAK,MAAM,EACpB,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,GAAG,4BAA4B,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,+BAA+B,CACtC,IAAmB,EACnB,QAAkD;IAElD,KAAK,IAAI,OAAO,GAAwB,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;QACvF,IAAI,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;YACnC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;YAChC,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;gBAC3C,mBAAmB,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC7C,CAAC;YACD,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzB,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QACD,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;YACzB,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,4BAA4B,CAAC,UAAyB,EAAE,IAAY;IAC3E,MAAM,OAAO,GAA6B,EAAE,CAAC;IAC7C,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QAC9C,IACE,CAAC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC;YAClC,CAAC,SAAS,CAAC,eAAe,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EAC5D,CAAC;YACD,SAAS;QACX,CAAC;QACD,KAAK,MAAM,WAAW,IAAI,SAAS,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;YACjE,IAAI,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;gBACxE,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,CAAC,KAAK,CAAC,GAAG,OAAO,CAAC;IACxB,OAAO,CACL,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,IAAI,iBAAiB,CAAC,KAAK,CAAC,WAAW,CAAC,CAC/F,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,IAAa,EAAE,QAAiB;IAChE,OAAO,iBAAiB,CACtB,IAAI,EACJ,CAAC,SAAS,EAA+B,EAAE,CACzC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC;QAC1B,EAAE,CAAC,uBAAuB,CAAC,SAAS,CAAC;QACrC,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,EAC7B,QAAQ,CACT,CAAC;AACJ,CAAC"}

package/dist/src/analysis/subtree/projection-writes.d.ts

@@ -0,0 +1,13 @@
+import type { StateSubtree, StateUsage } from "../model.js";
+import type { ChildContractResolver } from "../../rules/child-contract/model.js";
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import ts from "typescript";
+export declare function projectionSubtreeKind(effectOwnedMemoizedCommand: boolean, effectWrittenPresentation: boolean, isGateProjection: boolean): StateSubtree["kind"];
+interface DeferredProjectionScope {
+    readonly childContracts: ChildContractResolver | null;
+    readonly directEffectCalls: ReadonlySet<ts.CallExpression>;
+}
+export declare function projectionWritesAreDeferred(usage: StateUsage, owner: RuntimeFunctionLike, { childContracts, directEffectCalls }: DeferredProjectionScope): boolean;
+export declare function sharesJsxChildRenderCallback(nodes: readonly ts.Node[], owner: RuntimeFunctionLike): boolean;
+export {};
+//# sourceMappingURL=projection-writes.d.ts.map

package/dist/src/analysis/subtree/projection-writes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"projection-writes.d.ts","sourceRoot":"","sources":["../../../../src/analysis/subtree/projection-writes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAG5D,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AACjF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAE7D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,wBAAgB,qBAAqB,CACnC,0BAA0B,EAAE,OAAO,EACnC,yBAAyB,EAAE,OAAO,EAClC,gBAAgB,EAAE,OAAO,GACxB,YAAY,CAAC,MAAM,CAAC,CAQtB;AAED,UAAU,uBAAuB;IAC/B,QAAQ,CAAC,cAAc,EAAE,qBAAqB,GAAG,IAAI,CAAC;IACtD,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC;CAC5D;AAED,wBAAgB,2BAA2B,CACzC,KAAK,EAAE,UAAU,EACjB,KAAK,EAAE,mBAAmB,EAC1B,EAAE,cAAc,EAAE,iBAAiB,EAAE,EAAE,uBAAuB,GAC7D,OAAO,CAIT;AA6ED,wBAAgB,4BAA4B,CAC1C,KAAK,EAAE,SAAS,EAAE,CAAC,IAAI,EAAE,EACzB,KAAK,EAAE,mBAAmB,GACzB,OAAO,CAUT"}

package/dist/src/analysis/subtree/projection-writes.js

@@ -0,0 +1,75 @@
+import { ancestorCallInSet, isCustomJsxTarget, jsxTargetName } from "../ast-helpers.js";
+import { findAncestorUntil, nearestNestedFunction } from "../../core/ast.js";
+import { nearestMutationFunction } from "../mutations.js";
+import ts from "typescript";
+export function projectionSubtreeKind(effectOwnedMemoizedCommand, effectWrittenPresentation, isGateProjection) {
+    if (effectOwnedMemoizedCommand) {
+        return "effect-command-projection";
+    }
+    if (effectWrittenPresentation) {
+        return "effect-projection";
+    }
+    return isGateProjection ? "gate" : "projection";
+}
+export function projectionWritesAreDeferred(usage, owner, { childContracts, directEffectCalls }) {
+    return usage.setterCallNodes.every((call) => setterWriteIsDeferred(call, owner, { childContracts, directEffectCalls }));
+}
+function eventHandlerAttributeTarget(call, owner) {
+    const callback = nearestMutationFunction(call, owner);
+    const attribute = callback === owner ? null : findAncestorUntil(callback, ts.isJsxAttribute, owner);
+    const prop = attribute?.name.getText() ?? null;
+    const target = attribute ? jsxTargetName(attribute) : null;
+    if (!prop || !target || !/^on[A-Z]/u.test(prop)) {
+        return null;
+    }
+    return { prop, target };
+}
+function setterWriteIsDeferred(call, owner, { childContracts, directEffectCalls }) {
+    if (ancestorCallInSet(call, directEffectCalls, owner)) {
+        return true;
+    }
+    const handler = eventHandlerAttributeTarget(call, owner);
+    if (!handler) {
+        return false;
+    }
+    if (!isCustomJsxTarget(handler.target)) {
+        return true;
+    }
+    return (childContracts?.frameworkEventComponent(handler.target) === true ||
+        childContracts?.componentCallbackPropIsDeferred(handler.target, handler.prop) === true);
+}
+function sharedNestedCallback(nodes, owner) {
+    let common = null;
+    for (const node of nodes) {
+        const callback = nearestNestedFunction(node, owner);
+        if (!callback ||
+            (!ts.isArrowFunction(callback) && !ts.isFunctionExpression(callback)) ||
+            (common !== null && common !== callback)) {
+            return null;
+        }
+        common = callback;
+    }
+    return common;
+}
+function outermostTransparentExpression(expression) {
+    let outermost = expression;
+    while ((ts.isParenthesizedExpression(outermost.parent) ||
+        ts.isAsExpression(outermost.parent) ||
+        ts.isTypeAssertionExpression(outermost.parent) ||
+        ts.isSatisfiesExpression(outermost.parent) ||
+        ts.isNonNullExpression(outermost.parent)) &&
+        outermost.parent.expression === outermost) {
+        outermost = outermost.parent;
+    }
+    return outermost;
+}
+export function sharesJsxChildRenderCallback(nodes, owner) {
+    const common = sharedNestedCallback(nodes, owner);
+    if (!common) {
+        return false;
+    }
+    const container = outermostTransparentExpression(common).parent;
+    return (ts.isJsxExpression(container) &&
+        (ts.isJsxElement(container.parent) || ts.isJsxFragment(container.parent)));
+}
+//# sourceMappingURL=projection-writes.js.map

package/dist/src/analysis/subtree/projection-writes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"projection-writes.js","sourceRoot":"","sources":["../../../../src/analysis/subtree/projection-writes.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AACxF,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAG7E,OAAO,EAAE,uBAAuB,EAAE,MAAM,iBAAiB,CAAC;AAC1D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,qBAAqB,CACnC,0BAAmC,EACnC,yBAAkC,EAClC,gBAAyB;IAEzB,IAAI,0BAA0B,EAAE,CAAC;QAC/B,OAAO,2BAA2B,CAAC;IACrC,CAAC;IACD,IAAI,yBAAyB,EAAE,CAAC;QAC9B,OAAO,mBAAmB,CAAC;IAC7B,CAAC;IACD,OAAO,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC;AAClD,CAAC;AAOD,MAAM,UAAU,2BAA2B,CACzC,KAAiB,EACjB,KAA0B,EAC1B,EAAE,cAAc,EAAE,iBAAiB,EAA2B;IAE9D,OAAO,KAAK,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAC1C,qBAAqB,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,cAAc,EAAE,iBAAiB,EAAE,CAAC,CAC1E,CAAC;AACJ,CAAC;AAOD,SAAS,2BAA2B,CAClC,IAAuB,EACvB,KAA0B;IAE1B,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACtD,MAAM,SAAS,GACb,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,QAAQ,EAAE,EAAE,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;IACpF,MAAM,IAAI,GAAG,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,IAAI,CAAC;IAC/C,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3D,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAC1B,CAAC;AAED,SAAS,qBAAqB,CAC5B,IAAuB,EACvB,KAA0B,EAC1B,EAAE,cAAc,EAAE,iBAAiB,EAA2B;IAE9D,IAAI,iBAAiB,CAAC,IAAI,EAAE,iBAAiB,EAAE,KAAK,CAAC,EAAE,CAAC;QACtD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,2BAA2B,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACzD,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACvC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,CACL,cAAc,EAAE,uBAAuB,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,IAAI;QAChE,cAAc,EAAE,+BAA+B,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,IAAI,CACvF,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAAyB,EACzB,KAA0B;IAE1B,IAAI,MAAM,GAAoD,IAAI,CAAC;IACnE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACpD,IACE,CAAC,QAAQ;YACT,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;YACrE,CAAC,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,QAAQ,CAAC,EACxC,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,GAAG,QAAQ,CAAC;IACpB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,8BAA8B,CAAC,UAAyB;IAC/D,IAAI,SAAS,GAAG,UAAU,CAAC;IAC3B,OACE,CAAC,EAAE,CAAC,yBAAyB,CAAC,SAAS,CAAC,MAAM,CAAC;QAC7C,EAAE,CAAC,cAAc,CAAC,SAAS,CAAC,MAAM,CAAC;QACnC,EAAE,CAAC,yBAAyB,CAAC,SAAS,CAAC,MAAM,CAAC;QAC9C,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC,MAAM,CAAC;QAC1C,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QAC3C,SAAS,CAAC,MAAM,CAAC,UAAU,KAAK,SAAS,EACzC,CAAC;QACD,SAAS,GAAG,SAAS,CAAC,MAAM,CAAC;IAC/B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,4BAA4B,CAC1C,KAAyB,EACzB,KAA0B;IAE1B,MAAM,MAAM,GAAG,oBAAoB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAClD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,SAAS,GAAG,8BAA8B,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC;IAChE,OAAO,CACL,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC;QAC7B,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAC1E,CAAC;AACJ,CAAC"}

package/dist/src/analysis/verdicts/classification-context.d.ts

@@ -0,0 +1,77 @@
+import type { BranchUnmountMove, ClassifiedState, DialogPayloadCut, DirectReturnCallSite, SiblingRenderCut, StateCandidate, StateSubtree, StateUsage } from "../model.js";
+import type { ChildContractResolver } from "../../rules/child-contract/model.js";
+import type { HostTagImports } from "../../core/imports.js";
+import type { LazyCallbackLeaf } from "../../rules/lazy-callback-leaf.js";
+import type { MaterialityPolicy } from "../constants.js";
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import type { SourceAnalysis } from "../proofs/contracts.js";
+import ts from "typescript";
+export interface StateClassificationInputs {
+    readonly belongsToObservableSelection: boolean;
+    readonly branchUnmountMove: BranchUnmountMove | null;
+    readonly childContracts: ChildContractResolver | null;
+    readonly deferredCallbackHooks: ReadonlyMap<string, ReadonlySet<number>>;
+    readonly dialogPayloadCut: DialogPayloadCut | null;
+    readonly effectRegions: SourceAnalysis["lifecycleRegions"];
+    readonly eventTransitionCallbacks: ReadonlySet<RuntimeFunctionLike>;
+    readonly hasAdjacentEffectBooleanConsumers: boolean;
+    readonly hasAdjacentEventBooleanConsumers: boolean;
+    readonly hasCompanionWrites: boolean;
+    readonly hasDetachedEffectWrites: boolean;
+    readonly hasIndependentDirectEventWrite: boolean;
+    readonly hasIndependentVisibilitySetterTransport: boolean;
+    readonly hasMemoizedOptionCommand: boolean;
+    readonly hasMultiSurfaceBooleanConsumers: boolean;
+    readonly hasNonClosingCompanionWrites: boolean;
+    readonly hasReactiveHostPropScalarConsumer: boolean;
+    readonly hasReactiveMutationPath: boolean;
+    readonly hasReturnedKeyedCursorConsumer: boolean;
+    readonly hasSafeCommands: boolean;
+    readonly hasSourceEventScalarConsumers: boolean;
+    readonly hostTags: HostTagImports;
+    readonly isAsyncLeafStatus: boolean;
+    readonly isCohesiveAsyncStatus: boolean;
+    readonly isDeferredReveal: boolean;
+    readonly isKeyedLeafCollection: boolean;
+    readonly isKeyedLeafRecord: boolean;
+    readonly isKeyedLeafScalar: boolean;
+    readonly isKeyedScalarWithSecondary: boolean;
+    readonly isPropertyLocalObjectDraft: boolean;
+    readonly isSelfRefreshingCommand: boolean;
+    readonly isUnprovenAsyncStatus: boolean;
+    readonly localComponents: ReadonlySet<string>;
+    readonly ownerObservableSubscriptions: number;
+    readonly ownerIsCommitSensitive: boolean;
+    readonly materiality: MaterialityPolicy;
+    readonly pureProjectionImports: ReadonlySet<string>;
+    readonly siblingRenderCut: SiblingRenderCut | null;
+    readonly sourceComponents: ReadonlySet<string>;
+    readonly sourceFile: ts.SourceFile;
+    readonly state: StateCandidate;
+    readonly subtree: StateSubtree | null;
+    readonly usage: StateUsage;
+}
+interface StateRenderCutEvidence {
+    readonly branchCallSite: DirectReturnCallSite | null;
+    readonly callbackLeaf: LazyCallbackLeaf | null;
+    readonly descendantControlledCut: boolean;
+    readonly directCallSite: DirectReturnCallSite | null;
+    readonly hasCompactBooleanTransportCut: boolean;
+    readonly hasRepeatedOwnerRenderCut: boolean;
+    readonly hasVisibilityValueTransport: boolean;
+}
+interface StateCommandSnapshotEvidence {
+    readonly hasCommandSnapshotHazard: boolean;
+    readonly hasEventCommandReadProof: boolean;
+    readonly hasFunctionalSnapshotHazard: boolean;
+    readonly preservesFunctionalSnapshot: boolean;
+}
+export interface StateClassificationContext extends StateClassificationInputs {
+    readonly commandSnapshot: StateCommandSnapshotEvidence;
+    readonly renderCut: StateRenderCutEvidence;
+}
+export type StateVerdict = (context: StateClassificationContext) => ClassifiedState | null;
+export declare function stateRenderCutEvidence(inputs: StateClassificationInputs): StateRenderCutEvidence;
+export declare function stateCommandSnapshotEvidence(inputs: StateClassificationInputs): StateCommandSnapshotEvidence;
+export {};
+//# sourceMappingURL=classification-context.d.ts.map

package/dist/src/analysis/verdicts/classification-context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"classification-context.d.ts","sourceRoot":"","sources":["../../../../src/analysis/verdicts/classification-context.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,iBAAiB,EACjB,eAAe,EAEf,gBAAgB,EAChB,oBAAoB,EACpB,gBAAgB,EAChB,cAAc,EACd,YAAY,EACZ,UAAU,EACX,MAAM,aAAa,CAAC;AAWrB,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAEjF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAE5D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAS7D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,4BAA4B,EAAE,OAAO,CAAC;IAC/C,QAAQ,CAAC,iBAAiB,EAAE,iBAAiB,GAAG,IAAI,CAAC;IACrD,QAAQ,CAAC,cAAc,EAAE,qBAAqB,GAAG,IAAI,CAAC;IACtD,QAAQ,CAAC,qBAAqB,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IACzE,QAAQ,CAAC,gBAAgB,EAAE,gBAAgB,GAAG,IAAI,CAAC;IACnD,QAAQ,CAAC,aAAa,EAAE,cAAc,CAAC,kBAAkB,CAAC,CAAC;IAC3D,QAAQ,CAAC,wBAAwB,EAAE,WAAW,CAAC,mBAAmB,CAAC,CAAC;IACpE,QAAQ,CAAC,iCAAiC,EAAE,OAAO,CAAC;IACpD,QAAQ,CAAC,gCAAgC,EAAE,OAAO,CAAC;IACnD,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;IACrC,QAAQ,CAAC,uBAAuB,EAAE,OAAO,CAAC;IAC1C,QAAQ,CAAC,8BAA8B,EAAE,OAAO,CAAC;IACjD,QAAQ,CAAC,uCAAuC,EAAE,OAAO,CAAC;IAC1D,QAAQ,CAAC,wBAAwB,EAAE,OAAO,CAAC;IAC3C,QAAQ,CAAC,+BAA+B,EAAE,OAAO,CAAC;IAClD,QAAQ,CAAC,4BAA4B,EAAE,OAAO,CAAC;IAC/C,QAAQ,CAAC,iCAAiC,EAAE,OAAO,CAAC;IACpD,QAAQ,CAAC,uBAAuB,EAAE,OAAO,CAAC;IAC1C,QAAQ,CAAC,8BAA8B,EAAE,OAAO,CAAC;IACjD,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAC;IAClC,QAAQ,CAAC,6BAA6B,EAAE,OAAO,CAAC;IAChD,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,iBAAiB,EAAE,OAAO,CAAC;IACpC,QAAQ,CAAC,qBAAqB,EAAE,OAAO,CAAC;IACxC,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;IACnC,QAAQ,CAAC,qBAAqB,EAAE,OAAO,CAAC;IACxC,QAAQ,CAAC,iBAAiB,EAAE,OAAO,CAAC;IACpC,QAAQ,CAAC,iBAAiB,EAAE,OAAO,CAAC;IACpC,QAAQ,CAAC,0BAA0B,EAAE,OAAO,CAAC;IAC7C,QAAQ,CAAC,0BAA0B,EAAE,OAAO,CAAC;IAC7C,QAAQ,CAAC,uBAAuB,EAAE,OAAO,CAAC;IAC1C,QAAQ,CAAC,qBAAqB,EAAE,OAAO,CAAC;IACxC,QAAQ,CAAC,eAAe,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC9C,QAAQ,CAAC,4BAA4B,EAAE,MAAM,CAAC;IAC9C,QAAQ,CAAC,sBAAsB,EAAE,OAAO,CAAC;IACzC,QAAQ,CAAC,WAAW,EAAE,iBAAiB,CAAC;IACxC,QAAQ,CAAC,qBAAqB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACpD,QAAQ,CAAC,gBAAgB,EAAE,gBAAgB,GAAG,IAAI,CAAC;IACnD,QAAQ,CAAC,gBAAgB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC/C,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,YAAY,GAAG,IAAI,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;CAC5B;AAED,UAAU,sBAAsB;IAC9B,QAAQ,CAAC,cAAc,EAAE,oBAAoB,GAAG,IAAI,CAAC;IACrD,QAAQ,CAAC,YAAY,EAAE,gBAAgB,GAAG,IAAI,CAAC;IAC/C,QAAQ,CAAC,uBAAuB,EAAE,OAAO,CAAC;IAC1C,QAAQ,CAAC,cAAc,EAAE,oBAAoB,GAAG,IAAI,CAAC;IACrD,QAAQ,CAAC,6BAA6B,EAAE,OAAO,CAAC;IAChD,QAAQ,CAAC,yBAAyB,EAAE,OAAO,CAAC;IAC5C,QAAQ,CAAC,2BAA2B,EAAE,OAAO,CAAC;CAC/C;AAED,UAAU,4BAA4B;IACpC,QAAQ,CAAC,wBAAwB,EAAE,OAAO,CAAC;IAC3C,QAAQ,CAAC,wBAAwB,EAAE,OAAO,CAAC;IAC3C,QAAQ,CAAC,2BAA2B,EAAE,OAAO,CAAC;IAC9C,QAAQ,CAAC,2BAA2B,EAAE,OAAO,CAAC;CAC/C;AAED,MAAM,WAAW,0BAA2B,SAAQ,yBAAyB;IAC3E,QAAQ,CAAC,eAAe,EAAE,4BAA4B,CAAC;IACvD,QAAQ,CAAC,SAAS,EAAE,sBAAsB,CAAC;CAC5C;AAED,MAAM,MAAM,YAAY,GAAG,CAAC,OAAO,EAAE,0BAA0B,KAAK,eAAe,GAAG,IAAI,CAAC;AAoC3F,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,yBAAyB,GAAG,sBAAsB,CA+ChG;AAED,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,yBAAyB,GAChC,4BAA4B,CA0B9B"}

package/dist/src/analysis/verdicts/classification-context.js

@@ -0,0 +1,85 @@
+import { directBranchReturnCallSite, directUniqueReturnCallSite, setterCallEndsCommand, } from "../return-call-sites.js";
+import { functionalCounterUpdaterPreservesSnapshot, functionalUpdaterPrecedesSnapshotRead, refWouldChangeCommandSnapshot, } from "../../rules/command-only-state/command-only-state.js";
+import { EMPTY_NODES } from "../constants.js";
+import { LAZY_CALLBACK_LEAF_PROOFS } from "../proofs/rule-proofs.js";
+import { findLazyCallbackLeaf } from "../../rules/lazy-callback-leaf.js";
+import { hasIndependentRenderCutWitness } from "../../rules/state-proofs/render-cut-witness.js";
+import { hasOnlyEventCommandReads } from "../../rules/state-proofs/state-proofs.js";
+import { hasRepeatedJsxRenderWorkOutside } from "../../rules/state-proofs/jsx-subtrees.js";
+import { hasStateInitializer } from "../../rules/deferred-reveal/deferred-reveal.js";
+import { jsxSubtreeForOpening } from "../ast-helpers.js";
+import { nearestMutationFunction } from "../mutations.js";
+import { setterOwnedByValueCallSite } from "../controlled-leaf-cuts.js";
+import ts from "typescript";
+function isIndependentTransportRenderCut(branchCallSite, { branchSubtree, localComponents, sourceComponents }) {
+    if (branchCallSite === null || branchSubtree === null) {
+        return false;
+    }
+    return hasIndependentRenderCutWitness({
+        returned: branchCallSite.returned,
+        excluded: [branchSubtree],
+        localComponents,
+        sourceComponents,
+    });
+}
+function isCommandEndingBooleanState(state, usage) {
+    return (usage.setterTargets.size === 0 &&
+        usage.setterCallNodes.every((call) => setterCallEndsCommand(call, state.owner)) &&
+        (hasStateInitializer(state, ts.SyntaxKind.FalseKeyword) ||
+            hasStateInitializer(state, ts.SyntaxKind.TrueKeyword)));
+}
+function transportsVisibilityProp(usage) {
+    return [...usage.valueProps.values()].some((props) => [...props].some((prop) => /^(?:isOpen|isVisible|open|visible)$/u.test(prop)));
+}
+export function stateRenderCutEvidence(inputs) {
+    const { hasCompanionWrites, hasIndependentVisibilitySetterTransport, hasReactiveMutationPath, localComponents, sourceComponents, state, usage, } = inputs;
+    const directCallSite = directUniqueReturnCallSite(usage, state.owner);
+    const branchCallSite = directBranchReturnCallSite(usage, state.owner);
+    const branchSubtree = branchCallSite ? jsxSubtreeForOpening(branchCallSite.opening) : null;
+    const hasIndependentTransportRenderCut = isIndependentTransportRenderCut(branchCallSite, {
+        branchSubtree,
+        localComponents,
+        sourceComponents,
+    });
+    const hasRepeatedOwnerRenderCut = branchSubtree !== null && hasRepeatedJsxRenderWorkOutside(state.owner, branchSubtree);
+    const hasCompactBooleanTransportCut = hasIndependentTransportRenderCut &&
+        !hasCompanionWrites &&
+        !hasReactiveMutationPath &&
+        isCommandEndingBooleanState(state, usage);
+    const descendantControlledCut = branchCallSite !== null &&
+        branchSubtree !== null &&
+        hasIndependentVisibilitySetterTransport &&
+        setterOwnedByValueCallSite(usage, state.owner) &&
+        hasIndependentTransportRenderCut;
+    const callbackLeaf = findLazyCallbackLeaf({
+        state,
+        usage,
+        localComponents,
+        sourceComponents,
+        proofs: LAZY_CALLBACK_LEAF_PROOFS,
+    });
+    return {
+        branchCallSite,
+        callbackLeaf,
+        descendantControlledCut,
+        directCallSite,
+        hasCompactBooleanTransportCut,
+        hasRepeatedOwnerRenderCut,
+        hasVisibilityValueTransport: transportsVisibilityProp(usage),
+    };
+}
+export function stateCommandSnapshotEvidence(inputs) {
+    const { eventTransitionCallbacks, state, usage } = inputs;
+    const hasFunctionalSnapshotHazard = functionalUpdaterPrecedesSnapshotRead(state, usage, nearestMutationFunction);
+    const preservesFunctionalSnapshot = hasFunctionalSnapshotHazard &&
+        functionalCounterUpdaterPreservesSnapshot(state, usage, nearestMutationFunction);
+    const hasEventCommandReadProof = hasOnlyEventCommandReads(state, EMPTY_NODES, eventTransitionCallbacks);
+    const hasCommandSnapshotHazard = refWouldChangeCommandSnapshot(state, usage, hasEventCommandReadProof);
+    return {
+        hasCommandSnapshotHazard,
+        hasEventCommandReadProof,
+        hasFunctionalSnapshotHazard,
+        preservesFunctionalSnapshot,
+    };
+}
+//# sourceMappingURL=classification-context.js.map

package/dist/src/analysis/verdicts/classification-context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"classification-context.js","sourceRoot":"","sources":["../../../../src/analysis/verdicts/classification-context.ts"],"names":[],"mappings":"AAWA,OAAO,EACL,0BAA0B,EAC1B,0BAA0B,EAC1B,qBAAqB,GACtB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,yCAAyC,EACzC,qCAAqC,EACrC,6BAA6B,GAC9B,MAAM,sDAAsD,CAAC;AAE9D,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAE9C,OAAO,EAAE,yBAAyB,EAAE,MAAM,0BAA0B,CAAC;AAKrE,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AACzE,OAAO,EAAE,8BAA8B,EAAE,MAAM,gDAAgD,CAAC;AAChG,OAAO,EAAE,wBAAwB,EAAE,MAAM,0CAA0C,CAAC;AACpF,OAAO,EAAE,+BAA+B,EAAE,MAAM,0CAA0C,CAAC;AAC3F,OAAO,EAAE,mBAAmB,EAAE,MAAM,gDAAgD,CAAC;AACrF,OAAO,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AACzD,OAAO,EAAE,uBAAuB,EAAE,MAAM,iBAAiB,CAAC;AAC1D,OAAO,EAAE,0BAA0B,EAAE,MAAM,4BAA4B,CAAC;AACxE,OAAO,EAAE,MAAM,YAAY,CAAC;AA4E5B,SAAS,+BAA+B,CACtC,cAA2C,EAC3C,EAAE,aAAa,EAAE,eAAe,EAAE,gBAAgB,EAA2B;IAE7E,IAAI,cAAc,KAAK,IAAI,IAAI,aAAa,KAAK,IAAI,EAAE,CAAC;QACtD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,8BAA8B,CAAC;QACpC,QAAQ,EAAE,cAAc,CAAC,QAAQ;QACjC,QAAQ,EAAE,CAAC,aAAa,CAAC;QACzB,eAAe;QACf,gBAAgB;KACjB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,2BAA2B,CAAC,KAAqB,EAAE,KAAiB;IAC3E,OAAO,CACL,KAAK,CAAC,aAAa,CAAC,IAAI,KAAK,CAAC;QAC9B,KAAK,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QAC/E,CAAC,mBAAmB,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC;YACrD,mBAAmB,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CACzD,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAAC,KAAiB;IACjD,OAAO,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CACnD,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,sCAAsC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAC7E,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,MAAiC;IACtE,MAAM,EACJ,kBAAkB,EAClB,uCAAuC,EACvC,uBAAuB,EACvB,eAAe,EACf,gBAAgB,EAChB,KAAK,EACL,KAAK,GACN,GAAG,MAAM,CAAC;IACX,MAAM,cAAc,GAAG,0BAA0B,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACtE,MAAM,cAAc,GAAG,0BAA0B,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACtE,MAAM,aAAa,GAAG,cAAc,CAAC,CAAC,CAAC,oBAAoB,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3F,MAAM,gCAAgC,GAAG,+BAA+B,CAAC,cAAc,EAAE;QACvF,aAAa;QACb,eAAe;QACf,gBAAgB;KACjB,CAAC,CAAC;IACH,MAAM,yBAAyB,GAC7B,aAAa,KAAK,IAAI,IAAI,+BAA+B,CAAC,KAAK,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;IACxF,MAAM,6BAA6B,GACjC,gCAAgC;QAChC,CAAC,kBAAkB;QACnB,CAAC,uBAAuB;QACxB,2BAA2B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC5C,MAAM,uBAAuB,GAC3B,cAAc,KAAK,IAAI;QACvB,aAAa,KAAK,IAAI;QACtB,uCAAuC;QACvC,0BAA0B,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;QAC9C,gCAAgC,CAAC;IACnC,MAAM,YAAY,GAAG,oBAAoB,CAAC;QACxC,KAAK;QACL,KAAK;QACL,eAAe;QACf,gBAAgB;QAChB,MAAM,EAAE,yBAAyB;KAClC,CAAC,CAAC;IACH,OAAO;QACL,cAAc;QACd,YAAY;QACZ,uBAAuB;QACvB,cAAc;QACd,6BAA6B;QAC7B,yBAAyB;QACzB,2BAA2B,EAAE,wBAAwB,CAAC,KAAK,CAAC;KAC7D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,4BAA4B,CAC1C,MAAiC;IAEjC,MAAM,EAAE,wBAAwB,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IAC1D,MAAM,2BAA2B,GAAG,qCAAqC,CACvE,KAAK,EACL,KAAK,EACL,uBAAuB,CACxB,CAAC;IACF,MAAM,2BAA2B,GAC/B,2BAA2B;QAC3B,yCAAyC,CAAC,KAAK,EAAE,KAAK,EAAE,uBAAuB,CAAC,CAAC;IACnF,MAAM,wBAAwB,GAAG,wBAAwB,CACvD,KAAK,EACL,WAAW,EACX,wBAAwB,CACzB,CAAC;IACF,MAAM,wBAAwB,GAAG,6BAA6B,CAC5D,KAAK,EACL,KAAK,EACL,wBAAwB,CACzB,CAAC;IACF,OAAO;QACL,wBAAwB;QACxB,wBAAwB;QACxB,2BAA2B;QAC3B,2BAA2B;KAC5B,CAAC;AACJ,CAAC"}

package/dist/src/analysis/verdicts/classify-state.d.ts

@@ -0,0 +1,4 @@
+import type { StateClassificationInputs } from "./classification-context.js";
+import type { ClassifiedState } from "../model.js";
+export declare function classifyState(inputs: StateClassificationInputs): ClassifiedState;
+//# sourceMappingURL=classify-state.d.ts.map

package/dist/src/analysis/verdicts/classify-state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"classify-state.d.ts","sourceRoot":"","sources":["../../../../src/analysis/verdicts/classify-state.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAEV,yBAAyB,EAE1B,MAAM,6BAA6B,CAAC;AAkDrC,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AA0CnD,wBAAgB,aAAa,CAAC,MAAM,EAAE,yBAAyB,GAAG,eAAe,CAahF"}

package/dist/src/analysis/verdicts/classify-state.js

@@ -0,0 +1,72 @@
+import { asyncStatusVerdict, boundaryMoveVerdict, commandLifecycleVerdict, controlledCutVerdict, intrinsicStateVerdict, keyedCursorVerdict, keyedSelectionVerdict, lazyCallbackLeafVerdict, pairedAsyncStatusVerdict, unusedStateVerdict, } from "./intrinsic-verdicts.js";
+import { booleanConsumerVerdict, confinedSubtreeVerdict, effectProjectionSubtreeVerdict, effectProjectionVerdict, functionalSnapshotVerdict, gatedSubtreeVerdict, multiSurfaceVerdict, refCommandSnapshotVerdict, splitEffectProjectionVerdict, unsafeOwnershipVerdict, wideOwnerTransportVerdict, } from "./subtree-verdicts.js";
+import { broadTransportVerdict, delayedPendingVerdict, renderReadVerdict, residualStateVerdict, singleTargetTransportVerdict, } from "./residual-verdicts.js";
+import { cohesiveControlledLeafVerdict, controlledCallSiteProjectionVerdict, controlledLeafVerdict, controlledProjectionCutVerdict, } from "./controlled-verdicts.js";
+import { compactTransportCutVerdict, descendantControlledCutVerdict, visibilityTransportVerdict, } from "./transport-verdicts.js";
+import { hookConsumerLeafVerdict, hookPresentationConsumerVerdict, smallOwnerEffectWrittenVerdict, } from "./small-owner-verdicts.js";
+import { stateCommandSnapshotEvidence, stateRenderCutEvidence } from "./classification-context.js";
+import { siteSubscriptionVerdict } from "./site-subscription-verdict.js";
+const STATE_VERDICTS = [
+    intrinsicStateVerdict,
+    controlledCutVerdict,
+    commandLifecycleVerdict,
+    keyedSelectionVerdict,
+    keyedCursorVerdict,
+    boundaryMoveVerdict,
+    unusedStateVerdict,
+    lazyCallbackLeafVerdict,
+    asyncStatusVerdict,
+    pairedAsyncStatusVerdict,
+    compactTransportCutVerdict,
+    descendantControlledCutVerdict,
+    visibilityTransportVerdict,
+    controlledLeafVerdict,
+    cohesiveControlledLeafVerdict,
+    controlledCallSiteProjectionVerdict,
+    controlledProjectionCutVerdict,
+    refCommandSnapshotVerdict,
+    functionalSnapshotVerdict,
+    effectProjectionSubtreeVerdict,
+    splitEffectProjectionVerdict,
+    effectProjectionVerdict,
+    booleanConsumerVerdict,
+    smallOwnerEffectWrittenVerdict,
+    hookConsumerLeafVerdict,
+    hookPresentationConsumerVerdict,
+    unsafeOwnershipVerdict,
+    confinedSubtreeVerdict,
+    gatedSubtreeVerdict,
+    multiSurfaceVerdict,
+    wideOwnerTransportVerdict,
+    siteSubscriptionVerdict,
+    delayedPendingVerdict,
+    renderReadVerdict,
+    singleTargetTransportVerdict,
+    broadTransportVerdict,
+];
+export function classifyState(inputs) {
+    const context = {
+        ...inputs,
+        commandSnapshot: stateCommandSnapshotEvidence(inputs),
+        renderCut: stateRenderCutEvidence(inputs),
+    };
+    for (const verdict of STATE_VERDICTS) {
+        const classified = verdict(context);
+        if (classified) {
+            return withDetachedEffectNote(classified, context);
+        }
+    }
+    return residualStateVerdict(context);
+}
+const DETACHED_EFFECT_NOTE = " Keep the React effect that writes it, with its dependencies and cleanup, and write the observable at the same position; the effect never reads or schedules on this state, so its timing is unchanged.";
+/**
+ * An effect that writes a state without reading it or listing it as a dependency stays in React;
+ * only its write target changes, so the migrated state's instruction carries that note.
+ */
+function withDetachedEffectNote(classified, { hasDetachedEffectWrites }) {
+    if (!hasDetachedEffectWrites || classified.action !== "use-observable") {
+        return classified;
+    }
+    return { ...classified, message: `${classified.message}${DETACHED_EFFECT_NOTE}` };
+}
+//# sourceMappingURL=classify-state.js.map

package/dist/src/analysis/verdicts/classify-state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"classify-state.js","sourceRoot":"","sources":["../../../../src/analysis/verdicts/classify-state.ts"],"names":[],"mappings":"AAKA,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,uBAAuB,EACvB,oBAAoB,EACpB,qBAAqB,EACrB,kBAAkB,EAClB,qBAAqB,EACrB,uBAAuB,EACvB,wBAAwB,EACxB,kBAAkB,GACnB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,sBAAsB,EACtB,sBAAsB,EACtB,8BAA8B,EAC9B,uBAAuB,EACvB,yBAAyB,EACzB,mBAAmB,EACnB,mBAAmB,EACnB,yBAAyB,EACzB,4BAA4B,EAC5B,sBAAsB,EACtB,yBAAyB,GAC1B,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,qBAAqB,EACrB,qBAAqB,EACrB,iBAAiB,EACjB,oBAAoB,EACpB,4BAA4B,GAC7B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,6BAA6B,EAC7B,mCAAmC,EACnC,qBAAqB,EACrB,8BAA8B,GAC/B,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,0BAA0B,EAC1B,8BAA8B,EAC9B,0BAA0B,GAC3B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,uBAAuB,EACvB,+BAA+B,EAC/B,8BAA8B,GAC/B,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,4BAA4B,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AAEnG,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAC;AAEzE,MAAM,cAAc,GAA4B;IAC9C,qBAAqB;IACrB,oBAAoB;IACpB,uBAAuB;IACvB,qBAAqB;IACrB,kBAAkB;IAClB,mBAAmB;IACnB,kBAAkB;IAClB,uBAAuB;IACvB,kBAAkB;IAClB,wBAAwB;IACxB,0BAA0B;IAC1B,8BAA8B;IAC9B,0BAA0B;IAC1B,qBAAqB;IACrB,6BAA6B;IAC7B,mCAAmC;IACnC,8BAA8B;IAC9B,yBAAyB;IACzB,yBAAyB;IACzB,8BAA8B;IAC9B,4BAA4B;IAC5B,uBAAuB;IACvB,sBAAsB;IACtB,8BAA8B;IAC9B,uBAAuB;IACvB,+BAA+B;IAC/B,sBAAsB;IACtB,sBAAsB;IACtB,mBAAmB;IACnB,mBAAmB;IACnB,yBAAyB;IACzB,uBAAuB;IACvB,qBAAqB;IACrB,iBAAiB;IACjB,4BAA4B;IAC5B,qBAAqB;CACtB,CAAC;AAEF,MAAM,UAAU,aAAa,CAAC,MAAiC;IAC7D,MAAM,OAAO,GAA+B;QAC1C,GAAG,MAAM;QACT,eAAe,EAAE,4BAA4B,CAAC,MAAM,CAAC;QACrD,SAAS,EAAE,sBAAsB,CAAC,MAAM,CAAC;KAC1C,CAAC;IACF,KAAK,MAAM,OAAO,IAAI,cAAc,EAAE,CAAC;QACrC,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;QACpC,IAAI,UAAU,EAAE,CAAC;YACf,OAAO,sBAAsB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IACD,OAAO,oBAAoB,CAAC,OAAO,CAAC,CAAC;AACvC,CAAC;AAED,MAAM,oBAAoB,GACxB,yMAAyM,CAAC;AAE5M;;;GAGG;AACH,SAAS,sBAAsB,CAC7B,UAA2B,EAC3B,EAAE,uBAAuB,EAA8B;IAEvD,IAAI,CAAC,uBAAuB,IAAI,UAAU,CAAC,MAAM,KAAK,gBAAgB,EAAE,CAAC;QACvE,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,OAAO,EAAE,GAAG,UAAU,EAAE,OAAO,EAAE,GAAG,UAAU,CAAC,OAAO,GAAG,oBAAoB,EAAE,EAAE,CAAC;AACpF,CAAC"}

package/dist/src/analysis/verdicts/controlled-verdicts.d.ts

@@ -0,0 +1,7 @@
+import type { ClassifiedState } from "../model.js";
+import type { StateClassificationContext } from "./classification-context.js";
+export declare function controlledLeafVerdict(context: StateClassificationContext): ClassifiedState | null;
+export declare function cohesiveControlledLeafVerdict(context: StateClassificationContext): ClassifiedState | null;
+export declare function controlledCallSiteProjectionVerdict(context: StateClassificationContext): ClassifiedState | null;
+export declare function controlledProjectionCutVerdict(context: StateClassificationContext): ClassifiedState | null;
+//# sourceMappingURL=controlled-verdicts.d.ts.map

package/dist/src/analysis/verdicts/controlled-verdicts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"controlled-verdicts.d.ts","sourceRoot":"","sources":["../../../../src/analysis/verdicts/controlled-verdicts.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAEnD,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,6BAA6B,CAAC;AAM9E,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,0BAA0B,GAAG,eAAe,GAAG,IAAI,CAyCjG;AAED,wBAAgB,6BAA6B,CAC3C,OAAO,EAAE,0BAA0B,GAClC,eAAe,GAAG,IAAI,CAWxB;AAED,wBAAgB,mCAAmC,CACjD,OAAO,EAAE,0BAA0B,GAClC,eAAe,GAAG,IAAI,CAsCxB;AAED,wBAAgB,8BAA8B,CAC5C,OAAO,EAAE,0BAA0B,GAClC,eAAe,GAAG,IAAI,CAqCxB"}