legend-doctor 0.1.0

package/dist/src/analysis/owner-bindings.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"owner-bindings.js","sourceRoot":"","sources":["../../../src/analysis/owner-bindings.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,uBAAuB,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AACvF,OAAO,EAAE,YAAY,EAAE,qBAAqB,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAE5E,OAAO,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AAEzD,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,wBAAwB,CACtC,MAAiC,EACjC,YAAqD;IAErD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAyC,CAAC;IAChE,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,KAAK,GAAG,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;YAC9E,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACjC,CAAC;QACD,oBAAoB,CAAC,KAAK,EAAE,KAAK,EAAE,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IAC9D,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAAuB,EACvB,KAAqB,EACrB,KAA6B;IAE7B,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IAC1C,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;QACtB,OAAO;IACT,CAAC;IACD,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAC5C,IAAI,KAAK,EAAE,CAAC;QACV,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IACnD,CAAC;AACH,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,UAAyB,EACzB,OAAoB;IAEpB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoC,CAAC;IAC7D,KAAK,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YACxF,OAAO;QACT,CAAC;QACD,IACE,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAAC;YACtC,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,QAAQ,CAAC,EACpD,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC;QACxD,IAAI,CAAC,KAAK,IAAI,uBAAuB,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACnE,OAAO;QACT,CAAC;QACD,MAAM,aAAa,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;QAC/D,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,6BAA6B,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC;AAEnF,MAAM,UAAU,mCAAmC,CACjD,UAAyB,EACzB,OAAoB;IAEpB,MAAM,MAAM,GAAG,IAAI,GAAG,EAA+B,CAAC;IACtD,KAAK,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,gCAAgC,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;YACnF,OAAO;QACT,CAAC;QACD,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC;QACxD,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO;QACT,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,gCAAgC,CAAC,IAAuB,EAAE,OAAoB;IACrF,MAAM,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC;IAC5B,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,EAAE,CAAC;QAChC,OAAO,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAC9F,CAAC;IACD,OAAO,CACL,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC;QACzC,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,UAAU,CAAC;QACtC,OAAO,CAAC,qBAAqB,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC;QAC7D,6BAA6B,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CACxD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,kCAAkC,CAChD,UAAyB,EACzB,OAAoB;IAEpB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoC,CAAC;IAC7D,KAAK,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,MAAM,KAAK,GAAG,4BAA4B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC1D,IAAI,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7E,OAAO;QACT,CAAC;QACD,MAAM,aAAa,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;QAC/D,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,4BAA4B,CACnC,IAAa,EACb,OAAoB;IAEpB,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QACxF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IACE,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAAC;QACtC,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,aAAa,CAAC;QACzD,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,MAAM,CAAC;QAC1C,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EAC9C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC;IACxD,OAAO,KAAK,IAAI,uBAAuB,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AACtF,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,UAAyB;IAClE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QAC9C,+BAA+B,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,+BAA+B,CAAC,SAAuB,EAAE,QAAqB;IACrF,IAAI,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;QACtC,uBAAuB,CAAC,SAAS,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;QAC1D,OAAO;IACT,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC,CAAC,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;QAChG,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,OAAO;IACT,CAAC;IACD,IAAI,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;QACtC,KAAK,MAAM,WAAW,IAAI,SAAS,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;YACjE,mBAAmB,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAAC,MAAmC,EAAE,QAAqB;IACzF,IAAI,MAAM,EAAE,IAAI,EAAE,CAAC;QACjB,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,EAAE,aAAa,CAAC;IACpC,IAAI,KAAK,IAAI,EAAE,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;QACzC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC;IACD,IAAI,KAAK,IAAI,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;QACtC,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YACrC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,+BAA+B,CAC7C,UAAyB;IAEzB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoC,CAAC;IAC3D,KAAK,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC/B,CAAC,IAAI,CAAC,WAAW;YACjB,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAAC;YACtC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC;YAC7C,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,IAAI,CAAC,EACvD,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC;QACxD,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO;QACT,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;QACxD,IAAI,uBAAuB,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;YACjD,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,uBAAuB,CAAC,IAAoB,EAAE,QAAqB;IAC1E,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,QAAQ,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,SAAS,CAAC,CAAC;QACpC,QAAQ,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,cAAc,CAAC,CAAC;QACzC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,YAAY,GAAG,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;QAClD,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAClB,CAAC,OAAO,EAAE,EAAE,CACV,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC;YAC7B,uBAAuB,CAAC,GAAG,CAAC,OAAO,CAAC,YAAY,EAAE,OAAO,EAAE,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CACpF;QACH,CAAC,CAAC,EAAE,CAAC;IACP,KAAK,MAAM,OAAO,IAAI,YAAY,EAAE,CAAC;QACnC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC;AACjC,CAAC"}

package/dist/src/analysis/owner-scan.d.ts

@@ -0,0 +1,7 @@
+import type { HookImports } from "../core/imports.js";
+import type { RuntimeFunctionLike } from "../core/ast.js";
+import ts from "typescript";
+export declare function collectLocalComponents(sourceFile: ts.SourceFile, imports: HookImports): ReadonlySet<string>;
+export declare function collectPureProjectionImports(sourceFile: ts.SourceFile): ReadonlySet<string>;
+export declare function ownerDeclaresBinding(owner: RuntimeFunctionLike, name: string): boolean;
+//# sourceMappingURL=owner-scan.d.ts.map

package/dist/src/analysis/owner-scan.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"owner-scan.d.ts","sourceRoot":"","sources":["../../../src/analysis/owner-scan.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAC1D,OAAO,EAAE,MAAM,YAAY,CAAC;AAG5B,wBAAgB,sBAAsB,CACpC,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,OAAO,EAAE,WAAW,GACnB,WAAW,CAAC,MAAM,CAAC,CAoBrB;AAkBD,wBAAgB,4BAA4B,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,WAAW,CAAC,MAAM,CAAC,CAS3F;AA4BD,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,mBAAmB,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAQtF"}

package/dist/src/analysis/owner-scan.js

@@ -0,0 +1,81 @@
+import { isDeclarationName, unwrapTransparentExpression } from "../core/analysis-ast.js";
+import ts from "typescript";
+import { visit } from "../core/ast.js";
+export function collectLocalComponents(sourceFile, imports) {
+    const names = new Set();
+    visit(sourceFile, (node) => {
+        if (ts.isFunctionDeclaration(node) && node.name && isComponentName(node.name.text)) {
+            names.add(node.name.text);
+            return;
+        }
+        if (ts.isVariableDeclaration(node) &&
+            ts.isIdentifier(node.name) &&
+            isComponentName(node.name.text) &&
+            node.initializer &&
+            (ts.isArrowFunction(node.initializer) ||
+                ts.isFunctionExpression(node.initializer) ||
+                isImportedReactLazyCall(node.initializer, imports))) {
+            names.add(node.name.text);
+        }
+    });
+    return names;
+}
+function isImportedReactLazyCall(node, imports) {
+    const value = unwrapTransparentExpression(node);
+    if (!ts.isCallExpression(value)) {
+        return false;
+    }
+    if (ts.isIdentifier(value.expression)) {
+        return imports.lazy.has(value.expression.text);
+    }
+    return (ts.isPropertyAccessExpression(value.expression) &&
+        value.expression.name.text === "lazy" &&
+        ts.isIdentifier(value.expression.expression) &&
+        imports.reactNamespaces.has(value.expression.expression.text));
+}
+export function collectPureProjectionImports(sourceFile) {
+    const names = new Set();
+    for (const statement of sourceFile.statements) {
+        const clause = clsxImportClause(statement);
+        if (clause) {
+            addClsxBindingNames(clause, names);
+        }
+    }
+    return names;
+}
+function clsxImportClause(statement) {
+    if (!ts.isImportDeclaration(statement) ||
+        !ts.isStringLiteral(statement.moduleSpecifier) ||
+        statement.moduleSpecifier.text !== "clsx" ||
+        statement.importClause?.isTypeOnly) {
+        return null;
+    }
+    return statement.importClause ?? null;
+}
+function addClsxBindingNames(clause, names) {
+    if (clause.name) {
+        names.add(clause.name.text);
+    }
+    if (!clause.namedBindings || !ts.isNamedImports(clause.namedBindings)) {
+        return;
+    }
+    for (const specifier of clause.namedBindings.elements) {
+        if (!specifier.isTypeOnly && (specifier.propertyName?.text ?? specifier.name.text) === "clsx") {
+            names.add(specifier.name.text);
+        }
+    }
+}
+export function ownerDeclaresBinding(owner, name) {
+    let declared = false;
+    visit(owner, (node) => {
+        if (node !== owner && ts.isIdentifier(node) && node.text === name && isDeclarationName(node)) {
+            declared = true;
+        }
+    });
+    return declared;
+}
+function isComponentName(name) {
+    const [first] = name;
+    return first !== undefined && first === first.toUpperCase();
+}
+//# sourceMappingURL=owner-scan.js.map

package/dist/src/analysis/owner-scan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"owner-scan.js","sourceRoot":"","sources":["../../../src/analysis/owner-scan.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,2BAA2B,EAAE,MAAM,yBAAyB,CAAC;AAGzF,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAEvC,MAAM,UAAU,sBAAsB,CACpC,UAAyB,EACzB,OAAoB;IAEpB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,IAAI,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACnF,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1B,OAAO;QACT,CAAC;QACD,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1B,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAC/B,IAAI,CAAC,WAAW;YAChB,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC;gBACnC,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,WAAW,CAAC;gBACzC,uBAAuB,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,EACrD,CAAC;YACD,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,uBAAuB,CAAC,IAAmB,EAAE,OAAoB;IACxE,MAAM,KAAK,GAAG,2BAA2B,CAAC,IAAI,CAAC,CAAC;IAChD,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;QACtC,OAAO,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,CACL,EAAE,CAAC,0BAA0B,CAAC,KAAK,CAAC,UAAU,CAAC;QAC/C,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;QACrC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC;QAC5C,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,CAC9D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,UAAyB;IACpE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QAC9C,MAAM,MAAM,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAAC;QAC3C,IAAI,MAAM,EAAE,CAAC;YACX,mBAAmB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,gBAAgB,CAAC,SAAuB;IAC/C,IACE,CAAC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC;QAClC,CAAC,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,eAAe,CAAC;QAC9C,SAAS,CAAC,eAAe,CAAC,IAAI,KAAK,MAAM;QACzC,SAAS,CAAC,YAAY,EAAE,UAAU,EAClC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,SAAS,CAAC,YAAY,IAAI,IAAI,CAAC;AACxC,CAAC;AAED,SAAS,mBAAmB,CAAC,MAAuB,EAAE,KAAkB;IACtE,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,aAAa,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC;QACtE,OAAO;IACT,CAAC;IACD,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,aAAa,CAAC,QAAQ,EAAE,CAAC;QACtD,IAAI,CAAC,SAAS,CAAC,UAAU,IAAI,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,EAAE,CAAC;YAC9F,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,KAA0B,EAAE,IAAY;IAC3E,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,KAAK,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE;QACpB,IAAI,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7F,QAAQ,GAAG,IAAI,CAAC;QAClB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,eAAe,CAAC,IAAY;IACnC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC;IACrB,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,KAAK,CAAC,WAAW,EAAE,CAAC;AAC9D,CAAC"}

package/dist/src/analysis/proofs/cluster-proofs.d.ts

@@ -0,0 +1,3 @@
+import type { ClusterProofs, CommandProofs, OwnershipProofs, SourceAnalysis } from "./contracts.js";
+export declare function collectClusterProofs(analysis: SourceAnalysis, proofs: CommandProofs & OwnershipProofs): ClusterProofs;
+//# sourceMappingURL=cluster-proofs.d.ts.map

package/dist/src/analysis/proofs/cluster-proofs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cluster-proofs.d.ts","sourceRoot":"","sources":["../../../../src/analysis/proofs/cluster-proofs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,aAAa,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAWpG,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,cAAc,EACxB,MAAM,EAAE,aAAa,GAAG,eAAe,GACtC,aAAa,CA2Cf"}

package/dist/src/analysis/proofs/cluster-proofs.js

@@ -0,0 +1,65 @@
+import { analyzeKeyedSelections } from "../../rules/keyed-selection/keyed-selection.js";
+import { effectDraftProofs } from "./rule-proofs.js";
+import { findContextHeldStateClusters } from "../context/context-held-state.js";
+import { findEffectSynchronizedDrafts } from "../../rules/effect-drafts/effect-drafts.js";
+import { findListenerRefStateClusters } from "../../rules/listener-ref-state/listener-ref-state.js";
+import { findObservableStateClusters } from "../clusters/observable-clusters.js";
+import { findStateSubtreeClusters } from "../clusters/subtree-clusters.js";
+import { siblingProducerConsumerCut } from "../sibling-render-cut.js";
+export function collectClusterProofs(analysis, proofs) {
+    const { childContracts, effects, imports, knownComponents, materiality, sourceFile, stateFlow, states, usageByState, } = analysis;
+    const { companionWrites, effectStateScopes, safeCommandStates, statesWithCompanionWrites, subtreeByState, } = proofs;
+    const siblingRenderCuts = collectSiblingRenderCuts(analysis, proofs);
+    return {
+        contextClusters: findContextHeldStateClusters(analysis),
+        effectDrafts: collectEffectDrafts(analysis, effectStateScopes, siblingRenderCuts),
+        keyedSelections: analyzeKeyedSelections({
+            states,
+            usageByState,
+            safeCommandStates,
+            statesWithCompanionWrites,
+            imports,
+            childContracts,
+        }),
+        listenerRefClusters: findListenerRefStateClusters({ states, usageByState, effects, imports }),
+        observableClusters: findObservableStateClusters(states, {
+            childContracts,
+            knownComponents,
+            materiality,
+            sourceFile,
+            stateFlow,
+            usageByState,
+        }),
+        siblingRenderCuts,
+        subtreeClusters: findStateSubtreeClusters(subtreeByState, companionWrites),
+    };
+}
+function collectEffectDrafts(analysis, scopes, siblingRenderCuts) {
+    const { effects, localComponents, sourceComponents, stateFlow, states, usageByState } = analysis;
+    return findEffectSynchronizedDrafts({
+        effects,
+        states,
+        scopes,
+        usageByState,
+        siblingRenderCuts,
+        localComponents,
+        sourceComponents,
+        proofs: effectDraftProofs(stateFlow),
+    });
+}
+function collectSiblingRenderCuts(analysis, proofs) {
+    const { lifecycleRegions, states, usageByState } = analysis;
+    const { safeCommandStates, statesWithCompanionWrites } = proofs;
+    const siblingRenderCuts = new Map();
+    for (const state of states) {
+        const usage = usageByState.get(state);
+        const cut = usage && safeCommandStates.has(state) && !statesWithCompanionWrites.has(state)
+            ? siblingProducerConsumerCut(state, usage, lifecycleRegions)
+            : null;
+        if (cut) {
+            siblingRenderCuts.set(state, cut);
+        }
+    }
+    return siblingRenderCuts;
+}
+//# sourceMappingURL=cluster-proofs.js.map

package/dist/src/analysis/proofs/cluster-proofs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cluster-proofs.js","sourceRoot":"","sources":["../../../../src/analysis/proofs/cluster-proofs.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,sBAAsB,EAAE,MAAM,gDAAgD,CAAC;AACxF,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,4BAA4B,EAAE,MAAM,kCAAkC,CAAC;AAChF,OAAO,EAAE,4BAA4B,EAAE,MAAM,4CAA4C,CAAC;AAC1F,OAAO,EAAE,4BAA4B,EAAE,MAAM,sDAAsD,CAAC;AACpG,OAAO,EAAE,2BAA2B,EAAE,MAAM,oCAAoC,CAAC;AACjF,OAAO,EAAE,wBAAwB,EAAE,MAAM,iCAAiC,CAAC;AAC3E,OAAO,EAAE,0BAA0B,EAAE,MAAM,0BAA0B,CAAC;AAEtE,MAAM,UAAU,oBAAoB,CAClC,QAAwB,EACxB,MAAuC;IAEvC,MAAM,EACJ,cAAc,EACd,OAAO,EACP,OAAO,EACP,eAAe,EACf,WAAW,EACX,UAAU,EACV,SAAS,EACT,MAAM,EACN,YAAY,GACb,GAAG,QAAQ,CAAC;IACb,MAAM,EACJ,eAAe,EACf,iBAAiB,EACjB,iBAAiB,EACjB,yBAAyB,EACzB,cAAc,GACf,GAAG,MAAM,CAAC;IACX,MAAM,iBAAiB,GAAG,wBAAwB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACrE,OAAO;QACL,eAAe,EAAE,4BAA4B,CAAC,QAAQ,CAAC;QACvD,YAAY,EAAE,mBAAmB,CAAC,QAAQ,EAAE,iBAAiB,EAAE,iBAAiB,CAAC;QACjF,eAAe,EAAE,sBAAsB,CAAC;YACtC,MAAM;YACN,YAAY;YACZ,iBAAiB;YACjB,yBAAyB;YACzB,OAAO;YACP,cAAc;SACf,CAAC;QACF,mBAAmB,EAAE,4BAA4B,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;QAC7F,kBAAkB,EAAE,2BAA2B,CAAC,MAAM,EAAE;YACtD,cAAc;YACd,eAAe;YACf,WAAW;YACX,UAAU;YACV,SAAS;YACT,YAAY;SACb,CAAC;QACF,iBAAiB;QACjB,eAAe,EAAE,wBAAwB,CAAC,cAAc,EAAE,eAAe,CAAC;KAC3E,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAC1B,QAAwB,EACxB,MAA4C,EAC5C,iBAAqD;IAErD,MAAM,EAAE,OAAO,EAAE,eAAe,EAAE,gBAAgB,EAAE,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,GAAG,QAAQ,CAAC;IACjG,OAAO,4BAA4B,CAAC;QAClC,OAAO;QACP,MAAM;QACN,MAAM;QACN,YAAY;QACZ,iBAAiB;QACjB,eAAe;QACf,gBAAgB;QAChB,MAAM,EAAE,iBAAiB,CAAC,SAAS,CAAC;KACrC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,wBAAwB,CAC/B,QAAwB,EACxB,MAAuC;IAEvC,MAAM,EAAE,gBAAgB,EAAE,MAAM,EAAE,YAAY,EAAE,GAAG,QAAQ,CAAC;IAC5D,MAAM,EAAE,iBAAiB,EAAE,yBAAyB,EAAE,GAAG,MAAM,CAAC;IAChE,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAoC,CAAC;IACtE,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACtC,MAAM,GAAG,GACP,KAAK,IAAI,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,yBAAyB,CAAC,GAAG,CAAC,KAAK,CAAC;YAC5E,CAAC,CAAC,0BAA0B,CAAC,KAAK,EAAE,KAAK,EAAE,gBAAgB,CAAC;YAC5D,CAAC,CAAC,IAAI,CAAC;QACX,IAAI,GAAG,EAAE,CAAC;YACR,iBAAiB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;IACD,OAAO,iBAAiB,CAAC;AAC3B,CAAC"}

package/dist/src/analysis/proofs/command-proofs.d.ts

@@ -0,0 +1,3 @@
+import type { CommandProofs, SourceAnalysis } from "./contracts.js";
+export declare function collectCommandProofs(analysis: SourceAnalysis): CommandProofs;
+//# sourceMappingURL=command-proofs.d.ts.map

package/dist/src/analysis/proofs/command-proofs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"command-proofs.d.ts","sourceRoot":"","sources":["../../../../src/analysis/proofs/command-proofs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AA+IpE,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,cAAc,GAAG,aAAa,CAiB5E"}

package/dist/src/analysis/proofs/command-proofs.js

@@ -0,0 +1,88 @@
+import { setterCallbackEscapesThroughUnknownHook, setterReactiveMutationPaths, } from "../commands/reactive-mutation-paths.js";
+import { EMPTY_BINDINGS } from "../constants.js";
+import { analyzeStateSubtree } from "../subtree/analyze-subtree.js";
+import { isEffectOwnedMemoizedPresentationState } from "../commands/effect-owned-presentation.js";
+import { isEffectOwnedReturnedKeyedCursor } from "../keyed-cursor.js";
+import { isEffectOwnedSelfRefreshingCommandState } from "../commands/self-refreshing-command.js";
+import { isSourceProvenMemoizedOptionCommand } from "../commands/memoized-option-command.js";
+import { primitiveSetterUpdatersArePure } from "../mutations.js";
+function recordStateCommandProofs(state, usage, { analysis, sink }) {
+    const reactiveMutationPaths = setterReactiveMutationPaths(state, usage, analysis.reactiveMutationsByOwner.get(state.owner) ?? EMPTY_BINDINGS);
+    if (reactiveMutationPaths.any) {
+        sink.reactiveMutationAffectedStates.add(state);
+    }
+    const { effectOwnedMemoizedCommand, memoizedOptionCommand } = recordMemoizedCommandProofs(state, usage, { analysis, sink });
+    const projectionAllowed = stateProjectionIsSafe(state, usage, {
+        memoizedCommand: effectOwnedMemoizedCommand || memoizedOptionCommand,
+        reactiveMutationPaths,
+    });
+    if (projectionAllowed) {
+        sink.safeCommandStates.add(state);
+    }
+    recordStateSubtreeProof(state, usage, {
+        analysis,
+        effectOwnedMemoizedCommand,
+        projectionAllowed,
+        sink,
+    });
+}
+function recordMemoizedCommandProofs(state, usage, { analysis, sink }) {
+    const { childContracts, directEffectCalls, imports } = analysis;
+    if (isEffectOwnedSelfRefreshingCommandState(state, usage, { directEffectCalls, imports })) {
+        sink.selfRefreshingCommandStates.add(state);
+    }
+    const memoizedOptionCommand = childContracts !== null &&
+        isSourceProvenMemoizedOptionCommand(state, usage, { childContracts, imports });
+    if (memoizedOptionCommand) {
+        sink.memoizedOptionCommandStates.add(state);
+    }
+    return {
+        effectOwnedMemoizedCommand: isEffectOwnedMemoizedPresentationState(state, usage, {
+            directEffectCalls,
+            imports,
+        }),
+        memoizedOptionCommand,
+    };
+}
+function stateProjectionIsSafe(state, usage, { memoizedCommand, reactiveMutationPaths }) {
+    return (!reactiveMutationPaths.all &&
+        (!setterCallbackEscapesThroughUnknownHook(state, usage) || memoizedCommand) &&
+        primitiveSetterUpdatersArePure(state, usage));
+}
+function recordStateSubtreeProof(state, usage, { analysis, effectOwnedMemoizedCommand, projectionAllowed, sink, }) {
+    const { childContracts, directEffectCalls, materiality, pureProjectionImports } = analysis;
+    const subtree = analyzeStateSubtree(state, usage, {
+        childContracts,
+        directEffectCalls,
+        effectOwnedMemoizedCommand,
+        materiality,
+        projectionAllowed,
+        pureProjectionImports,
+    });
+    if (subtree) {
+        sink.subtreeByState.set(state, subtree);
+    }
+    if (childContracts &&
+        isEffectOwnedReturnedKeyedCursor(state, usage, { childContracts, directEffectCalls })) {
+        sink.returnedKeyedCursorStates.add(state);
+    }
+}
+export function collectCommandProofs(analysis) {
+    const { states, usageByState } = analysis;
+    const sink = {
+        memoizedOptionCommandStates: new Set(),
+        reactiveMutationAffectedStates: new Set(),
+        returnedKeyedCursorStates: new Set(),
+        safeCommandStates: new Set(),
+        selfRefreshingCommandStates: new Set(),
+        subtreeByState: new Map(),
+    };
+    for (const state of states) {
+        const usage = usageByState.get(state);
+        if (usage) {
+            recordStateCommandProofs(state, usage, { analysis, sink });
+        }
+    }
+    return sink;
+}
+//# sourceMappingURL=command-proofs.js.map

package/dist/src/analysis/proofs/command-proofs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"command-proofs.js","sourceRoot":"","sources":["../../../../src/analysis/proofs/command-proofs.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,uCAAuC,EACvC,2BAA2B,GAC5B,MAAM,wCAAwC,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAEjD,OAAO,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AACpE,OAAO,EAAE,sCAAsC,EAAE,MAAM,0CAA0C,CAAC;AAClG,OAAO,EAAE,gCAAgC,EAAE,MAAM,oBAAoB,CAAC;AACtE,OAAO,EAAE,uCAAuC,EAAE,MAAM,wCAAwC,CAAC;AACjG,OAAO,EAAE,mCAAmC,EAAE,MAAM,wCAAwC,CAAC;AAC7F,OAAO,EAAE,8BAA8B,EAAE,MAAM,iBAAiB,CAAC;AAgBjE,SAAS,wBAAwB,CAC/B,KAAqB,EACrB,KAAiB,EACjB,EAAE,QAAQ,EAAE,IAAI,EAAqB;IAErC,MAAM,qBAAqB,GAAG,2BAA2B,CACvD,KAAK,EACL,KAAK,EACL,QAAQ,CAAC,wBAAwB,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,cAAc,CACrE,CAAC;IACF,IAAI,qBAAqB,CAAC,GAAG,EAAE,CAAC;QAC9B,IAAI,CAAC,8BAA8B,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC;IACD,MAAM,EAAE,0BAA0B,EAAE,qBAAqB,EAAE,GAAG,2BAA2B,CACvF,KAAK,EACL,KAAK,EACL,EAAE,QAAQ,EAAE,IAAI,EAAE,CACnB,CAAC;IACF,MAAM,iBAAiB,GAAG,qBAAqB,CAAC,KAAK,EAAE,KAAK,EAAE;QAC5D,eAAe,EAAE,0BAA0B,IAAI,qBAAqB;QACpE,qBAAqB;KACtB,CAAC,CAAC;IACH,IAAI,iBAAiB,EAAE,CAAC;QACtB,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC;IACD,uBAAuB,CAAC,KAAK,EAAE,KAAK,EAAE;QACpC,QAAQ;QACR,0BAA0B;QAC1B,iBAAiB;QACjB,IAAI;KACL,CAAC,CAAC;AACL,CAAC;AAOD,SAAS,2BAA2B,CAClC,KAAqB,EACrB,KAAiB,EACjB,EAAE,QAAQ,EAAE,IAAI,EAAqB;IAErC,MAAM,EAAE,cAAc,EAAE,iBAAiB,EAAE,OAAO,EAAE,GAAG,QAAQ,CAAC;IAChE,IAAI,uCAAuC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,iBAAiB,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QAC1F,IAAI,CAAC,2BAA2B,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC9C,CAAC;IACD,MAAM,qBAAqB,GACzB,cAAc,KAAK,IAAI;QACvB,mCAAmC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC,CAAC;IACjF,IAAI,qBAAqB,EAAE,CAAC;QAC1B,IAAI,CAAC,2BAA2B,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO;QACL,0BAA0B,EAAE,sCAAsC,CAAC,KAAK,EAAE,KAAK,EAAE;YAC/E,iBAAiB;YACjB,OAAO;SACR,CAAC;QACF,qBAAqB;KACtB,CAAC;AACJ,CAAC;AAOD,SAAS,qBAAqB,CAC5B,KAAqB,EACrB,KAAiB,EACjB,EAAE,eAAe,EAAE,qBAAqB,EAA4B;IAEpE,OAAO,CACL,CAAC,qBAAqB,CAAC,GAAG;QAC1B,CAAC,CAAC,uCAAuC,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,eAAe,CAAC;QAC3E,8BAA8B,CAAC,KAAK,EAAE,KAAK,CAAC,CAC7C,CAAC;AACJ,CAAC;AAOD,SAAS,uBAAuB,CAC9B,KAAqB,EACrB,KAAiB,EACjB,EACE,QAAQ,EACR,0BAA0B,EAC1B,iBAAiB,EACjB,IAAI,GACkC;IAExC,MAAM,EAAE,cAAc,EAAE,iBAAiB,EAAE,WAAW,EAAE,qBAAqB,EAAE,GAAG,QAAQ,CAAC;IAC3F,MAAM,OAAO,GAAG,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE;QAChD,cAAc;QACd,iBAAiB;QACjB,0BAA0B;QAC1B,WAAW;QACX,iBAAiB;QACjB,qBAAqB;KACtB,CAAC,CAAC;IACH,IAAI,OAAO,EAAE,CAAC;QACZ,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC1C,CAAC;IACD,IACE,cAAc;QACd,gCAAgC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,cAAc,EAAE,iBAAiB,EAAE,CAAC,EACrF,CAAC;QACD,IAAI,CAAC,yBAAyB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC5C,CAAC;AACH,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,QAAwB;IAC3D,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,GAAG,QAAQ,CAAC;IAC1C,MAAM,IAAI,GAAqB;QAC7B,2BAA2B,EAAE,IAAI,GAAG,EAAkB;QACtD,8BAA8B,EAAE,IAAI,GAAG,EAAkB;QACzD,yBAAyB,EAAE,IAAI,GAAG,EAAkB;QACpD,iBAAiB,EAAE,IAAI,GAAG,EAAkB;QAC5C,2BAA2B,EAAE,IAAI,GAAG,EAAkB;QACtD,cAAc,EAAE,IAAI,GAAG,EAAgC;KACxD,CAAC;IACF,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,KAAK,EAAE,CAAC;YACV,wBAAwB,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QAC7D,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/src/analysis/proofs/contracts.d.ts

@@ -0,0 +1,116 @@
+import type { BranchUnmountMove, ClassifiedEffect, ClassifiedState, DialogPayloadCut, EffectCandidate, EffectStateScope, SiblingRenderCut, StateCandidate, StateCluster, StateSubtree, StateUsage } from "../model.js";
+import type { AsyncLeafStatusAnalysis } from "../../rules/async-leaf-status/async-leaf-status.js";
+import type { ChildContractResolver } from "../../rules/child-contract/model.js";
+import type { ConfirmationSet } from "../assumptions/confirmations.js";
+import type { EffectDraftAnalysis } from "../../rules/effect-drafts/model.js";
+import type { HookImports } from "../../core/imports.js";
+import type { IndependentStateWrites } from "../independent-writes.js";
+import type { InstalledLegendState } from "../../core/types.js";
+import type { KeyedSelectionAnalysis } from "../../rules/keyed-selection/keyed-selection.js";
+import type { MaterialityPolicy } from "../constants.js";
+import type { ReactCommitContext } from "../../rules/react-commit-sensitivity/react-commit-sensitivity.js";
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import type { StateCompanionWrites } from "../companion-writes.js";
+import type { StateFlowIndex } from "../../project/state-flow/state-flow.js";
+import type ts from "typescript";
+export interface ParsedSourceAnalysisOptions {
+    /** Directory report file names are relative to, for locating research steps in other files. */
+    readonly analysisRoot?: string | null;
+    readonly childContracts: ChildContractResolver | null;
+    readonly confirmations?: ConfirmationSet | null;
+    readonly deferredCallbackHooks: ReadonlyMap<string, ReadonlySet<number>>;
+    readonly imports?: HookImports;
+    readonly legendState: InstalledLegendState | null;
+    readonly legendValueBridges: ReadonlyMap<string, ReadonlySet<string>>;
+    readonly materiality?: MaterialityPolicy;
+    readonly sourceComponents: ReadonlySet<string>;
+    readonly stateFlow: StateFlowIndex;
+}
+export interface SourceAnalysis {
+    readonly analysisRoot: string | null;
+    readonly childContracts: ChildContractResolver | null;
+    readonly commitSensitiveOwners: ReadonlySet<RuntimeFunctionLike>;
+    /** Answered review questions this scan honours, or null when none were supplied. */
+    readonly confirmations: ConfirmationSet | null;
+    readonly deferredCallbackHooks: ReadonlyMap<string, ReadonlySet<number>>;
+    readonly directEffectCallbacks: ReadonlySet<RuntimeFunctionLike>;
+    readonly directEffectCalls: ReadonlySet<ts.CallExpression>;
+    readonly effects: readonly EffectCandidate[];
+    readonly fileName: string;
+    readonly imports: HookImports;
+    readonly knownComponents: ReadonlySet<string>;
+    readonly legendState: InstalledLegendState | null;
+    readonly legendValueBridges: ReadonlyMap<string, ReadonlySet<string>>;
+    readonly lifecycleRegions: ReadonlySet<ts.Node>;
+    readonly localComponents: ReadonlySet<string>;
+    readonly moduleScopeBindings: ReadonlySet<string>;
+    readonly nonProductionHarness: boolean;
+    readonly observableSubscriptionsByOwner: ReadonlyMap<RuntimeFunctionLike, number>;
+    readonly materiality: MaterialityPolicy;
+    readonly pureProjectionImports: ReadonlySet<string>;
+    readonly reactCommit: ReactCommitContext;
+    readonly reactiveMutationsByOwner: ReadonlyMap<RuntimeFunctionLike, ReadonlySet<string>>;
+    readonly sourceComponents: ReadonlySet<string>;
+    readonly sourceFile: ts.SourceFile;
+    readonly stateFlow: StateFlowIndex;
+    readonly states: readonly StateCandidate[];
+    readonly unmatchedStateCalls: readonly ts.CallExpression[];
+    readonly usageByState: ReadonlyMap<StateCandidate, StateUsage>;
+    readonly useObservableBindingsByOwner: ReadonlyMap<RuntimeFunctionLike, ReadonlySet<string>>;
+    readonly useValueBindingsByOwner: ReadonlyMap<RuntimeFunctionLike, ReadonlySet<string>>;
+}
+export interface OwnerEventCallbacks {
+    readonly eventCallbacksByOwner: ReadonlyMap<RuntimeFunctionLike, ReadonlySet<RuntimeFunctionLike>>;
+    readonly sourceEventCallbacksByOwner: Map<RuntimeFunctionLike, ReadonlySet<RuntimeFunctionLike>>;
+}
+export interface CommandProofs {
+    readonly memoizedOptionCommandStates: ReadonlySet<StateCandidate>;
+    readonly reactiveMutationAffectedStates: ReadonlySet<StateCandidate>;
+    readonly returnedKeyedCursorStates: ReadonlySet<StateCandidate>;
+    readonly safeCommandStates: ReadonlySet<StateCandidate>;
+    readonly selfRefreshingCommandStates: ReadonlySet<StateCandidate>;
+    readonly subtreeByState: ReadonlyMap<StateCandidate, StateSubtree>;
+}
+export interface OwnershipProofs {
+    readonly companionWrites: StateCompanionWrites;
+    readonly deferredRevealStates: ReadonlySet<StateCandidate>;
+    readonly dialogPayloadCuts: ReadonlyMap<StateCandidate, DialogPayloadCut>;
+    readonly effectStateScopes: ReadonlyMap<RuntimeFunctionLike, EffectStateScope>;
+    readonly observableSelectionOwners: ReadonlySet<RuntimeFunctionLike>;
+    readonly propertyLocalObjectDrafts: ReadonlySet<StateCandidate>;
+    readonly statesWithCompanionWrites: ReadonlySet<StateCandidate>;
+}
+export interface LeafConsumerProofs {
+    readonly adjacentEffectBooleanStates: ReadonlySet<StateCandidate>;
+    readonly adjacentEventBooleanStates: ReadonlySet<StateCandidate>;
+    readonly asyncLeafStatuses: AsyncLeafStatusAnalysis;
+    readonly branchUnmountMoves: ReadonlyMap<StateCandidate, BranchUnmountMove>;
+    readonly independentStateWrites: IndependentStateWrites;
+    readonly multiSurfaceBooleanStates: ReadonlySet<StateCandidate>;
+    readonly reactiveHostPropScalarStates: ReadonlySet<StateCandidate>;
+    readonly sourceEventScalarStates: ReadonlySet<StateCandidate>;
+}
+export interface ClusterProofs {
+    readonly contextClusters: ReadonlyMap<StateCandidate, StateCluster>;
+    readonly effectDrafts: EffectDraftAnalysis;
+    readonly keyedSelections: KeyedSelectionAnalysis;
+    readonly listenerRefClusters: ReadonlyMap<StateCandidate, StateCluster>;
+    readonly observableClusters: ReadonlyMap<StateCandidate, StateCluster>;
+    readonly siblingRenderCuts: ReadonlyMap<StateCandidate, SiblingRenderCut>;
+    readonly subtreeClusters: ReadonlyMap<StateCandidate, StateCluster>;
+}
+export interface EffectProofs {
+    readonly derivedStates: ReadonlySet<StateCandidate>;
+    readonly effectClassifications: ReadonlyMap<EffectCandidate, ClassifiedEffect>;
+    readonly legendValueMirrors: ReadonlyMap<StateCandidate, ClassifiedState>;
+}
+export interface StateAnalysisResult {
+    readonly analysis: SourceAnalysis;
+    readonly callbacks: OwnerEventCallbacks;
+    readonly clusters: ClusterProofs;
+    readonly commands: CommandProofs;
+    readonly effectProofs: EffectProofs;
+    readonly leaves: LeafConsumerProofs;
+    readonly ownership: OwnershipProofs;
+}
+//# sourceMappingURL=contracts.d.ts.map

package/dist/src/analysis/proofs/contracts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contracts.d.ts","sourceRoot":"","sources":["../../../../src/analysis/proofs/contracts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,iBAAiB,EACjB,gBAAgB,EAChB,eAAe,EACf,gBAAgB,EAChB,eAAe,EACf,gBAAgB,EAChB,gBAAgB,EAChB,cAAc,EACd,YAAY,EACZ,YAAY,EACZ,UAAU,EACX,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,oDAAoD,CAAC;AAClG,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AACjF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AACvE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AAC9E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AACvE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAChE,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,gDAAgD,CAAC;AAC7F,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,kEAAkE,CAAC;AAC3G,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AACnE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAC;AAC7E,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,MAAM,WAAW,2BAA2B;IAC1C,+FAA+F;IAC/F,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACtC,QAAQ,CAAC,cAAc,EAAE,qBAAqB,GAAG,IAAI,CAAC;IACtD,QAAQ,CAAC,aAAa,CAAC,EAAE,eAAe,GAAG,IAAI,CAAC;IAChD,QAAQ,CAAC,qBAAqB,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IACzE,QAAQ,CAAC,OAAO,CAAC,EAAE,WAAW,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,oBAAoB,GAAG,IAAI,CAAC;IAClD,QAAQ,CAAC,kBAAkB,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IACtE,QAAQ,CAAC,WAAW,CAAC,EAAE,iBAAiB,CAAC;IACzC,QAAQ,CAAC,gBAAgB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC/C,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;CACpC;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,QAAQ,CAAC,cAAc,EAAE,qBAAqB,GAAG,IAAI,CAAC;IACtD,QAAQ,CAAC,qBAAqB,EAAE,WAAW,CAAC,mBAAmB,CAAC,CAAC;IACjE,oFAAoF;IACpF,QAAQ,CAAC,aAAa,EAAE,eAAe,GAAG,IAAI,CAAC;IAC/C,QAAQ,CAAC,qBAAqB,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IACzE,QAAQ,CAAC,qBAAqB,EAAE,WAAW,CAAC,mBAAmB,CAAC,CAAC;IACjE,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC;IAC3D,QAAQ,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,CAAC;IAC7C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,eAAe,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC9C,QAAQ,CAAC,WAAW,EAAE,oBAAoB,GAAG,IAAI,CAAC;IAClD,QAAQ,CAAC,kBAAkB,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IACtE,QAAQ,CAAC,gBAAgB,EAAE,WAAW,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAChD,QAAQ,CAAC,eAAe,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC9C,QAAQ,CAAC,mBAAmB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAClD,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;IACvC,QAAQ,CAAC,8BAA8B,EAAE,WAAW,CAAC,mBAAmB,EAAE,MAAM,CAAC,CAAC;IAClF,QAAQ,CAAC,WAAW,EAAE,iBAAiB,CAAC;IACxC,QAAQ,CAAC,qBAAqB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACpD,QAAQ,CAAC,WAAW,EAAE,kBAAkB,CAAC;IACzC,QAAQ,CAAC,wBAAwB,EAAE,WAAW,CAAC,mBAAmB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IACzF,QAAQ,CAAC,gBAAgB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC/C,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;IACnC,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,SAAS,cAAc,EAAE,CAAC;IAC3C,QAAQ,CAAC,mBAAmB,EAAE,SAAS,EAAE,CAAC,cAAc,EAAE,CAAC;IAC3D,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;IAC/D,QAAQ,CAAC,4BAA4B,EAAE,WAAW,CAAC,mBAAmB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IAC7F,QAAQ,CAAC,uBAAuB,EAAE,WAAW,CAAC,mBAAmB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;CACzF;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,qBAAqB,EAAE,WAAW,CACzC,mBAAmB,EACnB,WAAW,CAAC,mBAAmB,CAAC,CACjC,CAAC;IACF,QAAQ,CAAC,2BAA2B,EAAE,GAAG,CAAC,mBAAmB,EAAE,WAAW,CAAC,mBAAmB,CAAC,CAAC,CAAC;CAClG;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,2BAA2B,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC;IAClE,QAAQ,CAAC,8BAA8B,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC;IACrE,QAAQ,CAAC,yBAAyB,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC;IAChE,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC;IACxD,QAAQ,CAAC,2BAA2B,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC;IAClE,QAAQ,CAAC,cAAc,EAAE,WAAW,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC;CACpE;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,eAAe,EAAE,oBAAoB,CAAC;IAC/C,QAAQ,CAAC,oBAAoB,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC;IAC3D,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,cAAc,EAAE,gBAAgB,CAAC,CAAC;IAC1E,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,mBAAmB,EAAE,gBAAgB,CAAC,CAAC;IAC/E,QAAQ,CAAC,yBAAyB,EAAE,WAAW,CAAC,mBAAmB,CAAC,CAAC;IACrE,QAAQ,CAAC,yBAAyB,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC;IAChE,QAAQ,CAAC,yBAAyB,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC;CACjE;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,2BAA2B,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC;IAClE,QAAQ,CAAC,0BAA0B,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC;IACjE,QAAQ,CAAC,iBAAiB,EAAE,uBAAuB,CAAC;IACpD,QAAQ,CAAC,kBAAkB,EAAE,WAAW,CAAC,cAAc,EAAE,iBAAiB,CAAC,CAAC;IAC5E,QAAQ,CAAC,sBAAsB,EAAE,sBAAsB,CAAC;IACxD,QAAQ,CAAC,yBAAyB,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC;IAChE,QAAQ,CAAC,4BAA4B,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC;IACnE,QAAQ,CAAC,uBAAuB,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC;CAC/D;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,eAAe,EAAE,WAAW,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC;IACpE,QAAQ,CAAC,YAAY,EAAE,mBAAmB,CAAC;IAC3C,QAAQ,CAAC,eAAe,EAAE,sBAAsB,CAAC;IACjD,QAAQ,CAAC,mBAAmB,EAAE,WAAW,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC;IACxE,QAAQ,CAAC,kBAAkB,EAAE,WAAW,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC;IACvE,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,cAAc,EAAE,gBAAgB,CAAC,CAAC;IAC1E,QAAQ,CAAC,eAAe,EAAE,WAAW,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC;CACrE;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,aAAa,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC;IACpD,QAAQ,CAAC,qBAAqB,EAAE,WAAW,CAAC,eAAe,EAAE,gBAAgB,CAAC,CAAC;IAC/E,QAAQ,CAAC,kBAAkB,EAAE,WAAW,CAAC,cAAc,EAAE,eAAe,CAAC,CAAC;CAC3E;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,SAAS,EAAE,mBAAmB,CAAC;IACxC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CAAC;IACpC,QAAQ,CAAC,SAAS,EAAE,eAAe,CAAC;CACrC"}

package/dist/src/analysis/proofs/contracts.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=contracts.js.map

package/dist/src/analysis/proofs/contracts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contracts.js","sourceRoot":"","sources":["../../../../src/analysis/proofs/contracts.ts"],"names":[],"mappings":""}

package/dist/src/analysis/proofs/effect-proofs.d.ts

@@ -0,0 +1,3 @@
+import type { EffectProofs, OwnershipProofs, SourceAnalysis } from "./contracts.js";
+export declare function collectEffectProofs(analysis: SourceAnalysis, ownership: OwnershipProofs): EffectProofs;
+//# sourceMappingURL=effect-proofs.d.ts.map

package/dist/src/analysis/proofs/effect-proofs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-proofs.d.ts","sourceRoot":"","sources":["../../../../src/analysis/proofs/effect-proofs.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,YAAY,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAKpF,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,cAAc,EACxB,SAAS,EAAE,eAAe,GACzB,YAAY,CAiBd"}

package/dist/src/analysis/proofs/effect-proofs.js

@@ -0,0 +1,45 @@
+import { EMPTY_BINDINGS, EMPTY_STATE_CANDIDATES, EMPTY_STATE_USAGES } from "../constants.js";
+import { classifyEffect } from "../../rules/effects/effects.js";
+import { findLegendValueMirrors } from "../legend-value-mirrors.js";
+export function collectEffectProofs(analysis, ownership) {
+    const { effects, legendValueBridges, states, usageByState } = analysis;
+    const { effectStateScopes } = ownership;
+    const effectClassifications = new Map();
+    const derivedStates = new Set();
+    for (const effect of effects) {
+        const classification = classifyEffectFor(effect, analysis, effectStateScopes);
+        effectClassifications.set(effect, classification);
+        if (classification.derivedState) {
+            derivedStates.add(classification.derivedState);
+        }
+    }
+    return {
+        derivedStates,
+        effectClassifications,
+        legendValueMirrors: findLegendValueMirrors(states, usageByState, legendValueBridges),
+    };
+}
+function classifyEffectFor(effect, analysis, effectStateScopes) {
+    const { childContracts, imports, legendState, moduleScopeBindings, nonProductionHarness, useObservableBindingsByOwner, useValueBindingsByOwner, } = analysis;
+    const scope = effect.owner ? effectStateScopes.get(effect.owner) : undefined;
+    return classifyEffect({
+        effect,
+        stateBySetter: scope?.bySetter ?? EMPTY_STATE_CANDIDATES,
+        stateByValue: scope?.byValue ?? EMPTY_STATE_CANDIDATES,
+        usageBySetter: scope?.usageBySetter ?? EMPTY_STATE_USAGES,
+        useValueBindings: effect.owner
+            ? (useValueBindingsByOwner.get(effect.owner) ?? EMPTY_BINDINGS)
+            : EMPTY_BINDINGS,
+        useObservableBindings: effect.owner
+            ? (useObservableBindingsByOwner.get(effect.owner) ?? EMPTY_BINDINGS)
+            : EMPTY_BINDINGS,
+        imports,
+        legendState,
+        useRefBindings: imports.useRef,
+        reactNamespaces: imports.reactNamespaces,
+        moduleScopeBindings,
+        nonProductionHarness,
+        childContracts,
+    });
+}
+//# sourceMappingURL=effect-proofs.js.map

package/dist/src/analysis/proofs/effect-proofs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-proofs.js","sourceRoot":"","sources":["../../../../src/analysis/proofs/effect-proofs.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,cAAc,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAG7F,OAAO,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAChE,OAAO,EAAE,sBAAsB,EAAE,MAAM,4BAA4B,CAAC;AAEpE,MAAM,UAAU,mBAAmB,CACjC,QAAwB,EACxB,SAA0B;IAE1B,MAAM,EAAE,OAAO,EAAE,kBAAkB,EAAE,MAAM,EAAE,YAAY,EAAE,GAAG,QAAQ,CAAC;IACvE,MAAM,EAAE,iBAAiB,EAAE,GAAG,SAAS,CAAC;IACxC,MAAM,qBAAqB,GAAG,IAAI,GAAG,EAAqC,CAAC;IAC3E,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAChD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,cAAc,GAAG,iBAAiB,CAAC,MAAM,EAAE,QAAQ,EAAE,iBAAiB,CAAC,CAAC;QAC9E,qBAAqB,CAAC,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QAClD,IAAI,cAAc,CAAC,YAAY,EAAE,CAAC;YAChC,aAAa,CAAC,GAAG,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;IACD,OAAO;QACL,aAAa;QACb,qBAAqB;QACrB,kBAAkB,EAAE,sBAAsB,CAAC,MAAM,EAAE,YAAY,EAAE,kBAAkB,CAAC;KACrF,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,MAAuB,EACvB,QAAwB,EACxB,iBAAqE;IAErE,MAAM,EACJ,cAAc,EACd,OAAO,EACP,WAAW,EACX,mBAAmB,EACnB,oBAAoB,EACpB,4BAA4B,EAC5B,uBAAuB,GACxB,GAAG,QAAQ,CAAC;IACb,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC7E,OAAO,cAAc,CAAC;QACpB,MAAM;QACN,aAAa,EAAE,KAAK,EAAE,QAAQ,IAAI,sBAAsB;QACxD,YAAY,EAAE,KAAK,EAAE,OAAO,IAAI,sBAAsB;QACtD,aAAa,EAAE,KAAK,EAAE,aAAa,IAAI,kBAAkB;QACzD,gBAAgB,EAAE,MAAM,CAAC,KAAK;YAC5B,CAAC,CAAC,CAAC,uBAAuB,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,cAAc,CAAC;YAC/D,CAAC,CAAC,cAAc;QAClB,qBAAqB,EAAE,MAAM,CAAC,KAAK;YACjC,CAAC,CAAC,CAAC,4BAA4B,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,cAAc,CAAC;YACpE,CAAC,CAAC,cAAc;QAClB,OAAO;QACP,WAAW;QACX,cAAc,EAAE,OAAO,CAAC,MAAM;QAC9B,eAAe,EAAE,OAAO,CAAC,eAAe;QACxC,mBAAmB;QACnB,oBAAoB;QACpB,cAAc;KACf,CAAC,CAAC;AACL,CAAC"}

package/dist/src/analysis/proofs/event-callbacks.d.ts

@@ -0,0 +1,3 @@
+import type { OwnerEventCallbacks, SourceAnalysis } from "./contracts.js";
+export declare function collectOwnerEventCallbacks(analysis: SourceAnalysis): OwnerEventCallbacks;
+//# sourceMappingURL=event-callbacks.d.ts.map

package/dist/src/analysis/proofs/event-callbacks.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"event-callbacks.d.ts","sourceRoot":"","sources":["../../../../src/analysis/proofs/event-callbacks.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,mBAAmB,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAY1E,wBAAgB,0BAA0B,CAAC,QAAQ,EAAE,cAAc,GAAG,mBAAmB,CAiBxF"}

package/dist/src/analysis/proofs/event-callbacks.js

@@ -0,0 +1,74 @@
+import { EMPTY_NODES, EMPTY_RUNTIME_FUNCTIONS, MIN_REPEATED_SETTER_CALLS } from "../constants.js";
+import { addCallbackWithNestedFunctions } from "../callbacks/local-callbacks.js";
+import { directReactHookFormEventCallbacks } from "../../rules/async-leaf-status/react-hook-form-adapters.js";
+import { groupStatesByOwner } from "../clusters/observable-clusters.js";
+import { hasOnlyEventCommandReads } from "../../rules/state-proofs/state-proofs.js";
+import { hasStateInitializer } from "../../rules/deferred-reveal/deferred-reveal.js";
+import { sourceProvenDirectEventCallbacks } from "../callbacks/deferred-events.js";
+import { sourceProvenOptionEventCallbacks } from "../callbacks/memoized-options.js";
+import ts from "typescript";
+export function collectOwnerEventCallbacks(analysis) {
+    const { states } = analysis;
+    const eventCallbacksByOwner = new Map();
+    const sourceEventCallbacksByOwner = new Map();
+    for (const [owner, ownedStates] of groupStatesByOwner(states)) {
+        eventCallbacksByOwner.set(owner, ownerEventCallbacks(owner, ownedStates, {
+            analysis,
+            sourceEventCallbacksByOwner,
+        }));
+    }
+    return { eventCallbacksByOwner, sourceEventCallbacksByOwner };
+}
+function ownerEventCallbacks(owner, ownedStates, { analysis, sourceEventCallbacksByOwner }) {
+    const { reactCommit, usageByState } = analysis;
+    const callbacks = new Set(reactCommit.eventTransitionCallbacks.get(owner) ?? EMPTY_RUNTIME_FUNCTIONS);
+    if (ownedStates.some((state) => (usageByState.get(state)?.deferredReads ?? 0) > 0)) {
+        addFormEventCallbacks(owner, callbacks);
+    }
+    const needsProof = ownedStates.some((state) => stateNeedsDeferredCallbackProof(state, usageByState.get(state), callbacks));
+    if (needsProof) {
+        addSourceProvenEventCallbacks(owner, callbacks, { analysis, sourceEventCallbacksByOwner });
+        addOptionEventCallbacks(owner, callbacks, analysis);
+    }
+    return callbacks;
+}
+function addOptionEventCallbacks(owner, callbacks, { childContracts, imports }) {
+    if (!childContracts) {
+        return;
+    }
+    for (const callback of sourceProvenOptionEventCallbacks(owner, imports, childContracts)) {
+        addCallbackWithNestedFunctions(callback, callbacks);
+    }
+}
+function stateNeedsDeferredCallbackProof(state, usage, callbacks) {
+    if (!usage) {
+        return false;
+    }
+    const unprovenDeferredRead = usage.localRenderReads === 0 &&
+        usage.effectReads === 0 &&
+        usage.deferredReads > 0 &&
+        usage.transportedOccurrences === 0 &&
+        (usage.eventReads > 0 || usage.effectWrites > 0) &&
+        !hasOnlyEventCommandReads(state, EMPTY_NODES, callbacks);
+    const renderedBooleanCommand = hasStateInitializer(state, ts.SyntaxKind.FalseKeyword) &&
+        usage.effectReads === 0 &&
+        usage.effectWrites === 0 &&
+        usage.setterCallNodes.length >= MIN_REPEATED_SETTER_CALLS &&
+        (usage.localRenderReads > 0 || usage.valueTransportSites.size > 0);
+    return unprovenDeferredRead || renderedBooleanCommand;
+}
+function addFormEventCallbacks(owner, callbacks) {
+    for (const callback of directReactHookFormEventCallbacks(owner)) {
+        callbacks.add(callback);
+    }
+}
+function addSourceProvenEventCallbacks(owner, callbacks, { analysis, sourceEventCallbacksByOwner }) {
+    const { childContracts, imports } = analysis;
+    addFormEventCallbacks(owner, callbacks);
+    const sourceCallbacks = sourceProvenDirectEventCallbacks(owner, imports, childContracts);
+    sourceEventCallbacksByOwner.set(owner, sourceCallbacks);
+    for (const callback of sourceCallbacks) {
+        callbacks.add(callback);
+    }
+}
+//# sourceMappingURL=event-callbacks.js.map

package/dist/src/analysis/proofs/event-callbacks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"event-callbacks.js","sourceRoot":"","sources":["../../../../src/analysis/proofs/event-callbacks.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,uBAAuB,EAAE,yBAAyB,EAAE,MAAM,iBAAiB,CAAC;AAIlG,OAAO,EAAE,8BAA8B,EAAE,MAAM,iCAAiC,CAAC;AACjF,OAAO,EAAE,iCAAiC,EAAE,MAAM,2DAA2D,CAAC;AAC9G,OAAO,EAAE,kBAAkB,EAAE,MAAM,oCAAoC,CAAC;AACxE,OAAO,EAAE,wBAAwB,EAAE,MAAM,0CAA0C,CAAC;AACpF,OAAO,EAAE,mBAAmB,EAAE,MAAM,gDAAgD,CAAC;AACrF,OAAO,EAAE,gCAAgC,EAAE,MAAM,iCAAiC,CAAC;AACnF,OAAO,EAAE,gCAAgC,EAAE,MAAM,kCAAkC,CAAC;AACpF,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,0BAA0B,CAAC,QAAwB;IACjE,MAAM,EAAE,MAAM,EAAE,GAAG,QAAQ,CAAC;IAC5B,MAAM,qBAAqB,GAAG,IAAI,GAAG,EAAyD,CAAC;IAC/F,MAAM,2BAA2B,GAAG,IAAI,GAAG,EAGxC,CAAC;IACJ,KAAK,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,kBAAkB,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9D,qBAAqB,CAAC,GAAG,CACvB,KAAK,EACL,mBAAmB,CAAC,KAAK,EAAE,WAAW,EAAE;YACtC,QAAQ;YACR,2BAA2B;SAC5B,CAAC,CACH,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,qBAAqB,EAAE,2BAA2B,EAAE,CAAC;AAChE,CAAC;AAOD,SAAS,mBAAmB,CAC1B,KAA0B,EAC1B,WAAsC,EACtC,EAAE,QAAQ,EAAE,2BAA2B,EAAsB;IAE7D,MAAM,EAAE,WAAW,EAAE,YAAY,EAAE,GAAG,QAAQ,CAAC;IAC/C,MAAM,SAAS,GAAG,IAAI,GAAG,CACvB,WAAW,CAAC,wBAAwB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,uBAAuB,CAC3E,CAAC;IACF,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,aAAa,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACnF,qBAAqB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IAC1C,CAAC;IACD,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAC5C,+BAA+B,CAAC,KAAK,EAAE,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,CAC3E,CAAC;IACF,IAAI,UAAU,EAAE,CAAC;QACf,6BAA6B,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE,QAAQ,EAAE,2BAA2B,EAAE,CAAC,CAAC;QAC3F,uBAAuB,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAA0B,EAC1B,SAAmC,EACnC,EAAE,cAAc,EAAE,OAAO,EAAkB;IAE3C,IAAI,CAAC,cAAc,EAAE,CAAC;QACpB,OAAO;IACT,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,gCAAgC,CAAC,KAAK,EAAE,OAAO,EAAE,cAAc,CAAC,EAAE,CAAC;QACxF,8BAA8B,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACtD,CAAC;AACH,CAAC;AAED,SAAS,+BAA+B,CACtC,KAAqB,EACrB,KAA6B,EAC7B,SAA2C;IAE3C,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,oBAAoB,GACxB,KAAK,CAAC,gBAAgB,KAAK,CAAC;QAC5B,KAAK,CAAC,WAAW,KAAK,CAAC;QACvB,KAAK,CAAC,aAAa,GAAG,CAAC;QACvB,KAAK,CAAC,sBAAsB,KAAK,CAAC;QAClC,CAAC,KAAK,CAAC,UAAU,GAAG,CAAC,IAAI,KAAK,CAAC,YAAY,GAAG,CAAC,CAAC;QAChD,CAAC,wBAAwB,CAAC,KAAK,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC;IAC3D,MAAM,sBAAsB,GAC1B,mBAAmB,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC;QACtD,KAAK,CAAC,WAAW,KAAK,CAAC;QACvB,KAAK,CAAC,YAAY,KAAK,CAAC;QACxB,KAAK,CAAC,eAAe,CAAC,MAAM,IAAI,yBAAyB;QACzD,CAAC,KAAK,CAAC,gBAAgB,GAAG,CAAC,IAAI,KAAK,CAAC,mBAAmB,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;IACrE,OAAO,oBAAoB,IAAI,sBAAsB,CAAC;AACxD,CAAC;AAED,SAAS,qBAAqB,CAC5B,KAA0B,EAC1B,SAAmC;IAEnC,KAAK,MAAM,QAAQ,IAAI,iCAAiC,CAAC,KAAK,CAAC,EAAE,CAAC;QAChE,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC1B,CAAC;AACH,CAAC;AAED,SAAS,6BAA6B,CACpC,KAA0B,EAC1B,SAAmC,EACnC,EAAE,QAAQ,EAAE,2BAA2B,EAAsB;IAE7D,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,GAAG,QAAQ,CAAC;IAC7C,qBAAqB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACxC,MAAM,eAAe,GAAG,gCAAgC,CAAC,KAAK,EAAE,OAAO,EAAE,cAAc,CAAC,CAAC;IACzF,2BAA2B,CAAC,GAAG,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;IACxD,KAAK,MAAM,QAAQ,IAAI,eAAe,EAAE,CAAC;QACvC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC1B,CAAC;AACH,CAAC"}

package/dist/src/analysis/proofs/leaf-consumer-proofs.d.ts

@@ -0,0 +1,3 @@
+import type { CommandProofs, LeafConsumerProofs, OwnerEventCallbacks, OwnershipProofs, SourceAnalysis } from "./contracts.js";
+export declare function collectLeafConsumerProofs(analysis: SourceAnalysis, callbacks: OwnerEventCallbacks, proofs: CommandProofs & OwnershipProofs): LeafConsumerProofs;
+//# sourceMappingURL=leaf-consumer-proofs.d.ts.map

package/dist/src/analysis/proofs/leaf-consumer-proofs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"leaf-consumer-proofs.d.ts","sourceRoot":"","sources":["../../../../src/analysis/proofs/leaf-consumer-proofs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,aAAa,EACb,kBAAkB,EAClB,mBAAmB,EACnB,eAAe,EACf,cAAc,EACf,MAAM,gBAAgB,CAAC;AAoBxB,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE,cAAc,EACxB,SAAS,EAAE,mBAAmB,EAC9B,MAAM,EAAE,aAAa,GAAG,eAAe,GACtC,kBAAkB,CAyBpB"}