legend-doctor 0.1.0

package/dist/src/analysis/assumptions/hypotheses.js

@@ -0,0 +1,279 @@
+import { isCustomHookOwner, runtimeFunctionName } from "../ast-helpers.js";
+import { AssumedLeafContracts } from "./assumed-leaf-contracts.js";
+import { jsxElementCount } from "../../rules/state-proofs/jsx-subtrees.js";
+import path from "node:path";
+import { pathIdentityKey } from "../../core/path-identity.js";
+const RENDER_READ_LINE_PREVIEW = 5;
+const MAX_RESEARCH_STEPS = 20;
+function ownerName(inputs) {
+    return runtimeFunctionName(inputs.state.owner) ?? "this owner";
+}
+function joinNames(names) {
+    const quoted = names.map((name) => `\`${name}\``);
+    if (quoted.length <= 1) {
+        return quoted.join("");
+    }
+    return `${quoted.slice(0, -1).join(", ")} and ${quoted.at(-1)}`;
+}
+function lineOf(node, sourceFile = node.getSourceFile()) {
+    return sourceFile.getLineAndCharacterOfPosition(node.getStart(sourceFile)).line + 1;
+}
+function sortedLines(nodes, sourceFile) {
+    return [...new Set(nodes.map((node) => lineOf(node, sourceFile)))].toSorted((left, right) => left - right);
+}
+function stepsAt(scope, nodes, check) {
+    return sortedLines(nodes, scope.inputs.sourceFile)
+        .slice(0, MAX_RESEARCH_STEPS)
+        .map((line) => ({ check, file: scope.reportFile, line }));
+}
+function declarationStep(scope) {
+    const { state } = scope.inputs;
+    return {
+        check: `\`${state.valueName}\` is declared here; read its initializer and the setter's callers before answering`,
+        file: scope.reportFile,
+        line: lineOf(state.call, scope.inputs.sourceFile),
+    };
+}
+function atomicTransitionHypothesis(scope) {
+    const { inputs, partners } = scope;
+    const { state, usage } = inputs;
+    const partnerNames = partners.map((partner) => partner.valueName);
+    const group = partnerNames.length > 0
+        ? `alongside ${joinNames(partnerNames)}`
+        : "alongside other state cells of this owner";
+    return {
+        inputs: { ...inputs, hasCompanionWrites: false, hasNonClosingCompanionWrites: false },
+        question: `\`${state.valueName}\` is written ${group} in the same handlers; confirm the group ` +
+            "changes as one atomic transition, so every member can move into observables written " +
+            "together inside one `batch`.",
+        research: [
+            declarationStep(scope),
+            ...partners.map((partner) => ({
+                check: `\`${partner.valueName}\` is declared here and written together with \`${state.valueName}\`; decide whether both belong to one user-visible transition`,
+                file: scope.reportFile,
+                line: lineOf(partner.call, inputs.sourceFile),
+            })),
+            ...stepsAt(scope, usage.setterCallNodes, `this write to \`${state.valueName}\` sits next to writes to ${joinNames(partnerNames) || "sibling states"}; confirm a reader could never observe one without the other`),
+        ],
+    };
+}
+function ownershipFlowClauses({ hasReactiveMutationPath, state, usage, }) {
+    const escaped = usage.escaped
+        ? [
+            `\`${state.valueName}\` or its setter escapes to code this analysis cannot follow (an unknown hook, a stored callback, or a spread); confirm every escaped consumer reads the value only after render and calls the setter only from an event or effect`,
+        ]
+        : [];
+    const reactive = hasReactiveMutationPath
+        ? [
+            `the setter of \`${state.valueName}\` is reachable from a Legend reaction or mutation path; confirm those writes run outside React render and may write the observable directly`,
+        ]
+        : [];
+    return [...escaped, ...reactive];
+}
+function ownershipFlowResearch(scope) {
+    const { hasReactiveMutationPath, state, usage } = scope.inputs;
+    const escapes = stepsAt(scope, usage.escapeNodes, `\`${state.valueName}\` or its setter is handed to code the analysis cannot follow here; open the callee and confirm it reads the value only after render and writes only from events or effects`);
+    const reactive = hasReactiveMutationPath
+        ? stepsAt(scope, usage.setterCallNodes, `this write reaches \`${state.valueName}\` through a path that also calls a Legend mutation; confirm it never runs during render`)
+        : [];
+    return [declarationStep(scope), ...escapes, ...reactive];
+}
+function ownershipFlowHypothesis(scope) {
+    const { inputs } = scope;
+    const clauses = inputs.usage.shadowed ? [] : ownershipFlowClauses(inputs);
+    if (clauses.length === 0) {
+        return null;
+    }
+    return {
+        inputs: {
+            ...inputs,
+            hasReactiveMutationPath: false,
+            usage: { ...inputs.usage, escaped: false },
+        },
+        question: `${clauses.join("; ")}.`,
+        research: ownershipFlowResearch(scope),
+    };
+}
+function effectWriteHypothesis(scope) {
+    const { inputs } = scope;
+    const { state, usage } = inputs;
+    return {
+        inputs: { ...inputs, hasDetachedEffectWrites: true },
+        question: `an effect in ${ownerName(inputs)} both reads and writes \`${state.valueName}\`; confirm ` +
+            "the effect can keep its dependencies and timing while writing the observable and reading " +
+            "it with `peek()` instead of the React state.",
+        research: [
+            declarationStep(scope),
+            ...stepsAt(scope, usage.effectWriteNodes, `this effect writes \`${state.valueName}\`; confirm it can keep its dependency list and cleanup while writing the observable instead`),
+            ...stepsAt(scope, usage.effectReadNodes, `this effect reads \`${state.valueName}\`; confirm reading the observable with \`peek()\` here does not change when the effect re-runs`),
+        ],
+    };
+}
+function callbackTimingHypothesis(scope) {
+    const { inputs } = scope;
+    const { state, usage } = inputs;
+    return {
+        inputs: { ...inputs, hasSafeCommands: true },
+        question: `\`${state.valueName}\` is read ${usage.deferredReads} time(s) inside deferred callbacks ` +
+            "(timers, promises, or subscriptions); confirm those reads may take the observable's " +
+            "current value with `peek()` at call time instead of the render snapshot they capture today.",
+        research: [
+            declarationStep(scope),
+            ...stepsAt(scope, usage.deferredReadNodes, `this deferred read of \`${state.valueName}\` captures a render snapshot today; confirm the latest value via \`peek()\` at call time is what the code wants`),
+        ],
+    };
+}
+/** Source files are indexed by identity path; compare both sides the same way before relativizing. */
+function childFile(file, analysisRoot) {
+    if (analysisRoot === null) {
+        return file;
+    }
+    const relative = path.relative(pathIdentityKey(analysisRoot), pathIdentityKey(file));
+    return relative.startsWith("..") ? file : relative || path.basename(file);
+}
+function childContractResearch(scope, targets) {
+    const { childContracts, state, usage } = scope.inputs;
+    return targets.flatMap((target) => {
+        const sites = stepsAt(scope, usage.transportNodes.get(target) ?? [], `\`${state.valueName}\` is passed to \`${target}\` here; note the prop name and whether the call site is conditional or keyed`);
+        const source = childContracts?.resolveComponent(target) ?? null;
+        const definition = source
+            ? [
+                {
+                    check: `open \`${target}\`: confirm it renders the received prop directly and owns none of its lifecycle (no effects, memoization, or callbacks keyed on it)`,
+                    file: childFile(source.file, scope.analysisRoot),
+                    line: lineOf(source.owner),
+                },
+            ]
+            : [];
+        return [...sites, ...definition];
+    });
+}
+function childContractHypothesis(scope) {
+    const { inputs } = scope;
+    const { childContracts, state, usage } = inputs;
+    const targets = [...usage.jsxTargets].toSorted();
+    if (!childContracts || targets.length === 0) {
+        return null;
+    }
+    return {
+        inputs: {
+            ...inputs,
+            childContracts: new AssumedLeafContracts(childContracts, new Set(targets)),
+        },
+        question: `\`${state.valueName}\` is passed to ${joinNames(targets)} through props this analysis ` +
+            "cannot verify; confirm each target renders the value directly and owns none of its " +
+            "lifecycle (no effects, memoization, or callbacks keyed on it), so a leaf subscriber can " +
+            "wrap that call site.",
+        research: [declarationStep(scope), ...childContractResearch(scope, targets)],
+    };
+}
+function mountIdentityHypothesis(scope) {
+    const { inputs } = scope;
+    const { state, subtree, usage } = inputs;
+    const targets = [...usage.jsxTargets].toSorted();
+    const reach = targets.length > 0 ? joinNames(targets) : "its subtree";
+    const sites = targets.flatMap((target) => usage.transportNodes.get(target) ?? []);
+    return {
+        inputs: {
+            ...inputs,
+            subtree: subtree ? { ...subtree, unstable: false } : null,
+            usage: { ...usage, unstableTransport: false },
+        },
+        question: `\`${state.valueName}\` reaches ${reach} through a conditional or keyed call site; confirm ` +
+            "wrapping that call site in a leaf subscriber keeps the same mount identity (the same " +
+            "element mounts under the same key).",
+        research: [
+            declarationStep(scope),
+            ...stepsAt(scope, sites.length > 0 ? sites : usage.directRenderNodes, "this call site is conditional or keyed; confirm a wrapper around it mounts the same element under the same key"),
+        ],
+    };
+}
+function renderReadLines(nodes, sourceFile) {
+    const lines = sortedLines(nodes, sourceFile);
+    const preview = lines.slice(0, RENDER_READ_LINE_PREVIEW).join(", ");
+    const listed = lines.length > RENDER_READ_LINE_PREVIEW ? `${preview}, …` : preview;
+    return `${lines.length === 1 ? "line" : "lines"} ${listed}`;
+}
+function renderCutHypothesis(scope) {
+    const { inputs } = scope;
+    const { materiality, sourceFile, state, usage } = inputs;
+    if (isCustomHookOwner(state.owner) ||
+        jsxElementCount(state.owner) < materiality.broadOwnerJsx ||
+        usage.directRenderNodes.length === 0) {
+        return null;
+    }
+    const owner = ownerName(inputs);
+    const sites = usage.directRenderNodes.length;
+    return {
+        directVerdict: {
+            action: "use-observable",
+            confidence: "probable",
+            message: `Replace \`${state.valueName}\` with a component-lifetime observable and wrap each of its ` +
+                `${sites} render read sites in a leaf subscriber (a \`Memo\` block or a small wrapper ` +
+                `component calling \`useValue\`), leaving the rest of ${owner} unsubscribed.`,
+        },
+        inputs,
+        question: `\`${state.valueName}\` is read ${sites} ${sites === 1 ? "time" : "times"} in the render of ${owner} ` +
+            `(${renderReadLines(usage.directRenderNodes, sourceFile)}); confirm each read site can be ` +
+            "wrapped in its own leaf subscriber without changing which elements mount.",
+        research: [
+            declarationStep(scope),
+            ...stepsAt(scope, usage.directRenderNodes, `\`${state.valueName}\` is read in render here; confirm the enclosing element can become a \`Memo\` block or a wrapper component without changing which elements mount`),
+        ],
+    };
+}
+/**
+ * The generic leaf-subscriber rewrite for a broad owner: every render read and every transport call
+ * site of the state becomes its own subscriber, so the owner stops rendering on updates. It stands
+ * in when a more specific hypothesis leaves the same blocker in place.
+ */
+export function leafWrapHypothesis(scope) {
+    const { inputs } = scope;
+    const { materiality, state, usage } = inputs;
+    const transports = [...usage.transportNodes.values()].flat();
+    if (isCustomHookOwner(state.owner) ||
+        jsxElementCount(state.owner) < materiality.broadOwnerJsx ||
+        usage.directRenderNodes.length + transports.length === 0) {
+        return null;
+    }
+    const owner = ownerName(inputs);
+    const reads = usage.directRenderNodes.length;
+    const targets = [...usage.jsxTargets].toSorted();
+    const sites = [
+        reads > 0 ? `${reads} render read ${reads === 1 ? "site" : "sites"}` : "",
+        transports.length > 0
+            ? `${transports.length} transport call ${transports.length === 1 ? "site" : "sites"} (${joinNames(targets)})`
+            : "",
+    ].filter((part) => part.length > 0);
+    return {
+        directVerdict: {
+            action: "use-observable",
+            confidence: "probable",
+            message: `Replace \`${state.valueName}\` with a component-lifetime observable and wrap each of its ` +
+                `${sites.join(" and ")} in a leaf subscriber (a \`Memo\` block or a small wrapper component ` +
+                `calling \`useValue\` and passing the plain value on), leaving the rest of ${owner} unsubscribed.`,
+        },
+        inputs,
+        question: `\`${state.valueName}\` still reaches ${sites.join(" and ")} in ${owner}; confirm each site can ` +
+            "be wrapped in its own leaf subscriber without changing which elements mount, and that each " +
+            "receiving component renders the value directly.",
+        research: [
+            ...stepsAt(scope, usage.directRenderNodes, `\`${state.valueName}\` is read in render here; confirm the enclosing element can become a \`Memo\` block or a wrapper component without changing which elements mount`),
+            ...stepsAt(scope, transports, `\`${state.valueName}\` is passed to a child here; confirm a wrapper around this call site can subscribe and pass the plain value without changing the child's mount identity`),
+        ],
+    };
+}
+const HYPOTHESES = new Map([
+    ["atomic-transition-unproven", atomicTransitionHypothesis],
+    ["callback-timing-unresolved", callbackTimingHypothesis],
+    ["child-contract-unresolved", childContractHypothesis],
+    ["effect-write-ownership-unresolved", effectWriteHypothesis],
+    ["mount-identity-unproven", mountIdentityHypothesis],
+    ["ownership-flow-unresolved", ownershipFlowHypothesis],
+    ["render-cut-unproven", renderCutHypothesis],
+]);
+/** The hypothesis for one blocker, or null when no yes/no fact would unblock it. */
+export function hypothesisFor(reason, scope) {
+    return HYPOTHESES.get(reason)?.(scope) ?? null;
+}
+//# sourceMappingURL=hypotheses.js.map

package/dist/src/analysis/assumptions/hypotheses.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hypotheses.js","sourceRoot":"","sources":["../../../../src/analysis/assumptions/hypotheses.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAC3E,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAEnE,OAAO,EAAE,eAAe,EAAE,MAAM,0CAA0C,CAAC;AAC3E,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAsB9D,MAAM,wBAAwB,GAAG,CAAC,CAAC;AACnC,MAAM,kBAAkB,GAAG,EAAE,CAAC;AAI9B,SAAS,SAAS,CAAC,MAAiC;IAClD,OAAO,mBAAmB,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,YAAY,CAAC;AACjE,CAAC;AAED,SAAS,SAAS,CAAC,KAAwB;IACzC,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC;IAClD,IAAI,MAAM,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACvB,OAAO,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAClE,CAAC;AAED,SAAS,MAAM,CAAC,IAAa,EAAE,aAA4B,IAAI,CAAC,aAAa,EAAE;IAC7E,OAAO,UAAU,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;AACtF,CAAC;AAED,SAAS,WAAW,CAAC,KAAyB,EAAE,UAAyB;IACvE,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CACzE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,GAAG,KAAK,CAC9B,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CAAC,KAAsB,EAAE,KAAyB,EAAE,KAAa;IAC/E,OAAO,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC;SAC/C,KAAK,CAAC,CAAC,EAAE,kBAAkB,CAAC;SAC5B,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AAC9D,CAAC;AAED,SAAS,eAAe,CAAC,KAAsB;IAC7C,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC;IAC/B,OAAO;QACL,KAAK,EAAE,KAAK,KAAK,CAAC,SAAS,qFAAqF;QAChH,IAAI,EAAE,KAAK,CAAC,UAAU;QACtB,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC;KAClD,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CAAC,KAAsB;IACxD,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC;IACnC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IAChC,MAAM,YAAY,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAClE,MAAM,KAAK,GACT,YAAY,CAAC,MAAM,GAAG,CAAC;QACrB,CAAC,CAAC,aAAa,SAAS,CAAC,YAAY,CAAC,EAAE;QACxC,CAAC,CAAC,2CAA2C,CAAC;IAClD,OAAO;QACL,MAAM,EAAE,EAAE,GAAG,MAAM,EAAE,kBAAkB,EAAE,KAAK,EAAE,4BAA4B,EAAE,KAAK,EAAE;QACrF,QAAQ,EACN,KAAK,KAAK,CAAC,SAAS,iBAAiB,KAAK,2CAA2C;YACrF,sFAAsF;YACtF,8BAA8B;QAChC,QAAQ,EAAE;YACR,eAAe,CAAC,KAAK,CAAC;YACtB,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;gBAC5B,KAAK,EAAE,KAAK,OAAO,CAAC,SAAS,mDAAmD,KAAK,CAAC,SAAS,+DAA+D;gBAC9J,IAAI,EAAE,KAAK,CAAC,UAAU;gBACtB,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,UAAU,CAAC;aAC9C,CAAC,CAAC;YACH,GAAG,OAAO,CACR,KAAK,EACL,KAAK,CAAC,eAAe,EACrB,mBAAmB,KAAK,CAAC,SAAS,6BAA6B,SAAS,CAAC,YAAY,CAAC,IAAI,gBAAgB,8DAA8D,CACzK;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,EAC5B,uBAAuB,EACvB,KAAK,EACL,KAAK,GACqB;IAC1B,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO;QAC3B,CAAC,CAAC;YACE,KAAK,KAAK,CAAC,SAAS,oOAAoO;SACzP;QACH,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,QAAQ,GAAG,uBAAuB;QACtC,CAAC,CAAC;YACE,mBAAmB,KAAK,CAAC,SAAS,8IAA8I;SACjL;QACH,CAAC,CAAC,EAAE,CAAC;IACP,OAAO,CAAC,GAAG,OAAO,EAAE,GAAG,QAAQ,CAAC,CAAC;AACnC,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAsB;IACnD,MAAM,EAAE,uBAAuB,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC;IAC/D,MAAM,OAAO,GAAG,OAAO,CACrB,KAAK,EACL,KAAK,CAAC,WAAW,EACjB,KAAK,KAAK,CAAC,SAAS,6KAA6K,CAClM,CAAC;IACF,MAAM,QAAQ,GAAG,uBAAuB;QACtC,CAAC,CAAC,OAAO,CACL,KAAK,EACL,KAAK,CAAC,eAAe,EACrB,wBAAwB,KAAK,CAAC,SAAS,0FAA0F,CAClI;QACH,CAAC,CAAC,EAAE,CAAC;IACP,OAAO,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,GAAG,OAAO,EAAE,GAAG,QAAQ,CAAC,CAAC;AAC3D,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAsB;IACrD,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACzB,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC;IAC1E,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO;QACL,MAAM,EAAE;YACN,GAAG,MAAM;YACT,uBAAuB,EAAE,KAAK;YAC9B,KAAK,EAAE,EAAE,GAAG,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE;SAC3C;QACD,QAAQ,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;QAClC,QAAQ,EAAE,qBAAqB,CAAC,KAAK,CAAC;KACvC,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAsB;IACnD,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACzB,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IAChC,OAAO;QACL,MAAM,EAAE,EAAE,GAAG,MAAM,EAAE,uBAAuB,EAAE,IAAI,EAAE;QACpD,QAAQ,EACN,gBAAgB,SAAS,CAAC,MAAM,CAAC,4BAA4B,KAAK,CAAC,SAAS,cAAc;YAC1F,2FAA2F;YAC3F,8CAA8C;QAChD,QAAQ,EAAE;YACR,eAAe,CAAC,KAAK,CAAC;YACtB,GAAG,OAAO,CACR,KAAK,EACL,KAAK,CAAC,gBAAgB,EACtB,wBAAwB,KAAK,CAAC,SAAS,8FAA8F,CACtI;YACD,GAAG,OAAO,CACR,KAAK,EACL,KAAK,CAAC,eAAe,EACrB,uBAAuB,KAAK,CAAC,SAAS,iGAAiG,CACxI;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAAC,KAAsB;IACtD,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACzB,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IAChC,OAAO;QACL,MAAM,EAAE,EAAE,GAAG,MAAM,EAAE,eAAe,EAAE,IAAI,EAAE;QAC5C,QAAQ,EACN,KAAK,KAAK,CAAC,SAAS,cAAc,KAAK,CAAC,aAAa,qCAAqC;YAC1F,sFAAsF;YACtF,6FAA6F;QAC/F,QAAQ,EAAE;YACR,eAAe,CAAC,KAAK,CAAC;YACtB,GAAG,OAAO,CACR,KAAK,EACL,KAAK,CAAC,iBAAiB,EACvB,2BAA2B,KAAK,CAAC,SAAS,kHAAkH,CAC7J;SACF;KACF,CAAC;AACJ,CAAC;AAED,sGAAsG;AACtG,SAAS,SAAS,CAAC,IAAY,EAAE,YAA2B;IAC1D,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,YAAY,CAAC,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;IACrF,OAAO,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAsB,EAAE,OAA0B;IAC/E,MAAM,EAAE,cAAc,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC;IACtD,OAAO,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE;QAChC,MAAM,KAAK,GAAG,OAAO,CACnB,KAAK,EACL,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,EACtC,KAAK,KAAK,CAAC,SAAS,qBAAqB,MAAM,+EAA+E,CAC/H,CAAC;QACF,MAAM,MAAM,GAAG,cAAc,EAAE,gBAAgB,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC;QAChE,MAAM,UAAU,GAAmB,MAAM;YACvC,CAAC,CAAC;gBACE;oBACE,KAAK,EAAE,UAAU,MAAM,sIAAsI;oBAC7J,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,YAAY,CAAC;oBAChD,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;iBAC3B;aACF;YACH,CAAC,CAAC,EAAE,CAAC;QACP,OAAO,CAAC,GAAG,KAAK,EAAE,GAAG,UAAU,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAsB;IACrD,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACzB,MAAM,EAAE,cAAc,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IAChD,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,QAAQ,EAAE,CAAC;IACjD,IAAI,CAAC,cAAc,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO;QACL,MAAM,EAAE;YACN,GAAG,MAAM;YACT,cAAc,EAAE,IAAI,oBAAoB,CAAC,cAAc,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;SAC3E;QACD,QAAQ,EACN,KAAK,KAAK,CAAC,SAAS,mBAAmB,SAAS,CAAC,OAAO,CAAC,+BAA+B;YACxF,qFAAqF;YACrF,0FAA0F;YAC1F,sBAAsB;QACxB,QAAQ,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,GAAG,qBAAqB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;KAC7E,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAsB;IACrD,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACzB,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IACzC,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,QAAQ,EAAE,CAAC;IACjD,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;IACtE,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAClF,OAAO;QACL,MAAM,EAAE;YACN,GAAG,MAAM;YACT,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI;YACzD,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,iBAAiB,EAAE,KAAK,EAAE;SAC9C;QACD,QAAQ,EACN,KAAK,KAAK,CAAC,SAAS,cAAc,KAAK,qDAAqD;YAC5F,uFAAuF;YACvF,qCAAqC;QACvC,QAAQ,EAAE;YACR,eAAe,CAAC,KAAK,CAAC;YACtB,GAAG,OAAO,CACR,KAAK,EACL,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,iBAAiB,EAClD,gHAAgH,CACjH;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,KAAyB,EAAE,UAAyB;IAC3E,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,wBAAwB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpE,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,wBAAwB,CAAC,CAAC,CAAC,GAAG,OAAO,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;IACnF,OAAO,GAAG,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,IAAI,MAAM,EAAE,CAAC;AAC9D,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAsB;IACjD,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACzB,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IACzD,IACE,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC;QAC9B,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,WAAW,CAAC,aAAa;QACxD,KAAK,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC,EACpC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IAChC,MAAM,KAAK,GAAG,KAAK,CAAC,iBAAiB,CAAC,MAAM,CAAC;IAC7C,OAAO;QACL,aAAa,EAAE;YACb,MAAM,EAAE,gBAAgB;YACxB,UAAU,EAAE,UAAU;YACtB,OAAO,EACL,aAAa,KAAK,CAAC,SAAS,+DAA+D;gBAC3F,GAAG,KAAK,+EAA+E;gBACvF,wDAAwD,KAAK,gBAAgB;SAChF;QACD,MAAM;QACN,QAAQ,EACN,KAAK,KAAK,CAAC,SAAS,cAAc,KAAK,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,qBAAqB,KAAK,GAAG;YACtG,IAAI,eAAe,CAAC,KAAK,CAAC,iBAAiB,EAAE,UAAU,CAAC,mCAAmC;YAC3F,2EAA2E;QAC7E,QAAQ,EAAE;YACR,eAAe,CAAC,KAAK,CAAC;YACtB,GAAG,OAAO,CACR,KAAK,EACL,KAAK,CAAC,iBAAiB,EACvB,KAAK,KAAK,CAAC,SAAS,mJAAmJ,CACxK;SACF;KACF,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAsB;IACvD,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACzB,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IAC7C,MAAM,UAAU,GAAG,CAAC,GAAG,KAAK,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7D,IACE,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC;QAC9B,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,WAAW,CAAC,aAAa;QACxD,KAAK,CAAC,iBAAiB,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,KAAK,CAAC,EACxD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IAChC,MAAM,KAAK,GAAG,KAAK,CAAC,iBAAiB,CAAC,MAAM,CAAC;IAC7C,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,QAAQ,EAAE,CAAC;IACjD,MAAM,KAAK,GAAG;QACZ,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,gBAAgB,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE;QACzE,UAAU,CAAC,MAAM,GAAG,CAAC;YACnB,CAAC,CAAC,GAAG,UAAU,CAAC,MAAM,mBAAmB,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,OAAO,CAAC,GAAG;YAC7G,CAAC,CAAC,EAAE;KACP,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACpC,OAAO;QACL,aAAa,EAAE;YACb,MAAM,EAAE,gBAAgB;YACxB,UAAU,EAAE,UAAU;YACtB,OAAO,EACL,aAAa,KAAK,CAAC,SAAS,+DAA+D;gBAC3F,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,uEAAuE;gBAC7F,6EAA6E,KAAK,gBAAgB;SACrG;QACD,MAAM;QACN,QAAQ,EACN,KAAK,KAAK,CAAC,SAAS,oBAAoB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,KAAK,0BAA0B;YACjG,6FAA6F;YAC7F,iDAAiD;QACnD,QAAQ,EAAE;YACR,GAAG,OAAO,CACR,KAAK,EACL,KAAK,CAAC,iBAAiB,EACvB,KAAK,KAAK,CAAC,SAAS,mJAAmJ,CACxK;YACD,GAAG,OAAO,CACR,KAAK,EACL,UAAU,EACV,KAAK,KAAK,CAAC,SAAS,0JAA0J,CAC/K;SACF;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,GAAqD,IAAI,GAAG,CAAC;IAC3E,CAAC,4BAA4B,EAAE,0BAA0B,CAAC;IAC1D,CAAC,4BAA4B,EAAE,wBAAwB,CAAC;IACxD,CAAC,2BAA2B,EAAE,uBAAuB,CAAC;IACtD,CAAC,mCAAmC,EAAE,qBAAqB,CAAC;IAC5D,CAAC,yBAAyB,EAAE,uBAAuB,CAAC;IACpD,CAAC,2BAA2B,EAAE,uBAAuB,CAAC;IACtD,CAAC,qBAAqB,EAAE,mBAAmB,CAAC;CAC7C,CAAC,CAAC;AAEH,oFAAoF;AACpF,MAAM,UAAU,aAAa,CAAC,MAAwB,EAAE,KAAsB;IAC5E,OAAO,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC;AACjD,CAAC"}

package/dist/src/analysis/assumptions/ranked-questions.d.ts

@@ -0,0 +1,4 @@
+import type { HookFinding, RankedQuestion } from "../../core/types.js";
+/** Every question still awaiting an answer, including those whose answer went stale, highest expected render saving first. */
+export declare function rankedQuestions(findings: readonly HookFinding[]): RankedQuestion[];
+//# sourceMappingURL=ranked-questions.d.ts.map

package/dist/src/analysis/assumptions/ranked-questions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ranked-questions.d.ts","sourceRoot":"","sources":["../../../../src/analysis/assumptions/ranked-questions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAuCvE,8HAA8H;AAC9H,wBAAgB,eAAe,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,GAAG,cAAc,EAAE,CAiBlF"}

package/dist/src/analysis/assumptions/ranked-questions.js

@@ -0,0 +1,46 @@
+/** Render cost weighted by how often the state is written: the renders an answer would save. */
+function priorityOf(finding) {
+    const { assumption } = finding;
+    return assumption ? assumption.renderCost * Math.max(1, assumption.updateSites) : 0;
+}
+function compareQuestions(left, right) {
+    return (right.priority - left.priority ||
+        left.finding.location.file.localeCompare(right.finding.location.file) ||
+        left.finding.location.line - right.finding.location.line);
+}
+function isAwaitingAnswer(finding) {
+    const status = finding.assumption?.status;
+    return status === "open" || status === "stale";
+}
+/** Group questions share one id across their members; the first member in source order carries it. */
+function firstPerId(findings) {
+    const seen = new Set();
+    return findings.filter((finding) => {
+        const id = finding.assumption?.id;
+        if (id === undefined || seen.has(id)) {
+            return false;
+        }
+        seen.add(id);
+        return true;
+    });
+}
+/** Every question still awaiting an answer, including those whose answer went stale, highest expected render saving first. */
+export function rankedQuestions(findings) {
+    return firstPerId(findings.filter((finding) => isAwaitingAnswer(finding)))
+        .map((finding) => ({ finding, priority: priorityOf(finding) }))
+        .toSorted(compareQuestions)
+        .map(({ finding, priority }, index) => {
+        // SAFETY: the filter above keeps only findings whose assumption is present.
+        const assumption = finding.assumption;
+        return {
+            file: finding.location.file,
+            id: assumption.id,
+            ifConfirmed: assumption.ifConfirmed,
+            line: finding.location.line,
+            name: finding.name,
+            priority,
+            rank: index + 1,
+        };
+    });
+}
+//# sourceMappingURL=ranked-questions.js.map

package/dist/src/analysis/assumptions/ranked-questions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ranked-questions.js","sourceRoot":"","sources":["../../../../src/analysis/assumptions/ranked-questions.ts"],"names":[],"mappings":"AAOA,gGAAgG;AAChG,SAAS,UAAU,CAAC,OAAoB;IACtC,MAAM,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC;IAC/B,OAAO,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACtF,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAkB,EAAE,KAAmB;IAC/D,OAAO,CACL,KAAK,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ;QAC9B,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;QACrE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CACzD,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,OAAoB;IAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,EAAE,MAAM,CAAC;IAC1C,OAAO,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,OAAO,CAAC;AACjD,CAAC;AAED,sGAAsG;AACtG,SAAS,UAAU,CAAC,QAAgC;IAClD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE;QACjC,MAAM,EAAE,GAAG,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC;QAClC,IAAI,EAAE,KAAK,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACrC,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACb,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC;AAED,8HAA8H;AAC9H,MAAM,UAAU,eAAe,CAAC,QAAgC;IAC9D,OAAO,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC;SACvE,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;SAC9D,QAAQ,CAAC,gBAAgB,CAAC;SAC1B,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,EAAE;QACpC,4EAA4E;QAC5E,MAAM,UAAU,GAAG,OAAO,CAAC,UAAW,CAAC;QACvC,OAAO;YACL,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,IAAI;YAC3B,EAAE,EAAE,UAAU,CAAC,EAAE;YACjB,WAAW,EAAE,UAAU,CAAC,WAAW;YACnC,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,IAAI;YAC3B,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,QAAQ;YACR,IAAI,EAAE,KAAK,GAAG,CAAC;SAChB,CAAC;IACJ,CAAC,CAAC,CAAC;AACP,CAAC"}

package/dist/src/analysis/assumptions/report-confirmations.d.ts

@@ -0,0 +1,5 @@
+import type { HookFinding, ReportConfirmations } from "../../core/types.js";
+import type { ConfirmationSet } from "./confirmations.js";
+/** Summarizes how the supplied answers matched the assumptions this scan produced. */
+export declare function reportConfirmations(confirmations: ConfirmationSet, findings: readonly HookFinding[]): ReportConfirmations;
+//# sourceMappingURL=report-confirmations.d.ts.map

package/dist/src/analysis/assumptions/report-confirmations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"report-confirmations.d.ts","sourceRoot":"","sources":["../../../../src/analysis/assumptions/report-confirmations.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,mBAAmB,EAAmB,MAAM,qBAAqB,CAAC;AAC7F,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAM1D,sFAAsF;AACtF,wBAAgB,mBAAmB,CACjC,aAAa,EAAE,eAAe,EAC9B,QAAQ,EAAE,SAAS,WAAW,EAAE,GAC/B,mBAAmB,CAYrB"}

package/dist/src/analysis/assumptions/report-confirmations.js

@@ -0,0 +1,17 @@
+function assumptionsOf(findings) {
+    return findings.flatMap((finding) => (finding.assumption ? [finding.assumption] : []));
+}
+/** Summarizes how the supplied answers matched the assumptions this scan produced. */
+export function reportConfirmations(confirmations, findings) {
+    const assumptions = assumptionsOf(findings);
+    const seen = new Set(assumptions.map((assumption) => assumption.id));
+    const count = (status) => assumptions.filter((assumption) => assumption.status === status).length;
+    return {
+        applied: count("confirmed"),
+        rejected: count("rejected"),
+        source: confirmations.source,
+        stale: count("stale"),
+        unmatched: confirmations.ids.filter((id) => !seen.has(id)).toSorted(),
+    };
+}
+//# sourceMappingURL=report-confirmations.js.map

package/dist/src/analysis/assumptions/report-confirmations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"report-confirmations.js","sourceRoot":"","sources":["../../../../src/analysis/assumptions/report-confirmations.ts"],"names":[],"mappings":"AAGA,SAAS,aAAa,CAAC,QAAgC;IACrD,OAAO,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACzF,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,mBAAmB,CACjC,aAA8B,EAC9B,QAAgC;IAEhC,MAAM,WAAW,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC;IACrE,MAAM,KAAK,GAAG,CAAC,MAAiC,EAAU,EAAE,CAC1D,WAAW,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;IAC1E,OAAO;QACL,OAAO,EAAE,KAAK,CAAC,WAAW,CAAC;QAC3B,QAAQ,EAAE,KAAK,CAAC,UAAU,CAAC;QAC3B,MAAM,EAAE,aAAa,CAAC,MAAM;QAC5B,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC;QACrB,SAAS,EAAE,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE;KACtE,CAAC;AACJ,CAAC"}

package/dist/src/analysis/assumptions/review-assumptions.d.ts

@@ -0,0 +1,16 @@
+import type { ClassifiedState } from "../model.js";
+import type { HookFinding, StateAssumption } from "../../core/types.js";
+import type { FindingsScope } from "../finding-clusters.js";
+import type { StateClassificationInputs } from "../verdicts/classification-context.js";
+/** The verdict a state finding reports, and the review question it carries when one exists. */
+export interface ResolvedStateClassification {
+    readonly assumption: StateAssumption | null;
+    readonly classification: ClassifiedState;
+    /** Evidence lines recording every answer that shaped the verdict. */
+    readonly evidence: readonly string[];
+    /** A confirmed group answer clusters the converting members under one instruction. */
+    readonly group: NonNullable<HookFinding["group"]> | null;
+}
+/** A confirmed assumption replaces the review verdict with the conversion it justified. */
+export declare function resolveStateClassification(classified: ClassifiedState, inputs: StateClassificationInputs, result: FindingsScope): ResolvedStateClassification;
+//# sourceMappingURL=review-assumptions.d.ts.map

package/dist/src/analysis/assumptions/review-assumptions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"review-assumptions.d.ts","sourceRoot":"","sources":["../../../../src/analysis/assumptions/review-assumptions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAkB,MAAM,aAAa,CAAC;AACnE,OAAO,KAAK,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAExE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAE5D,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,uCAAuC,CAAC;AAIvF,+FAA+F;AAC/F,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,UAAU,EAAE,eAAe,GAAG,IAAI,CAAC;IAC5C,QAAQ,CAAC,cAAc,EAAE,eAAe,CAAC;IACzC,qEAAqE;IACrE,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,sFAAsF;IACtF,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC;CAC1D;AA4GD,2FAA2F;AAC3F,wBAAgB,0BAA0B,CACxC,UAAU,EAAE,eAAe,EAC3B,MAAM,EAAE,yBAAyB,EACjC,MAAM,EAAE,aAAa,GACpB,2BAA2B,CAQ7B"}

package/dist/src/analysis/assumptions/review-assumptions.js

@@ -0,0 +1,86 @@
+import { cowrittenGroup, groupAssumption } from "./group-assumptions.js";
+import path from "node:path";
+import { stateAssumption } from "./state-assumptions.js";
+function reportFileOf(result) {
+    return path.normalize(result.analysis.fileName);
+}
+function isReview(classified) {
+    return classified.action === "review-state";
+}
+function confirmedLine(assumption) {
+    return `assumption confirmed by ${assumption.id}: ${assumption.question}`;
+}
+function unchanged(classification) {
+    return { assumption: null, classification, evidence: [], group: null };
+}
+function singleAssumption({ classified, inputs, partners, result, }) {
+    const assumed = stateAssumption(classified, {
+        analysisRoot: result.analysis.analysisRoot,
+        confirmations: result.analysis.confirmations,
+        inputs,
+        partners,
+        reportFile: reportFileOf(result),
+    });
+    return {
+        assumption: assumed?.assumption ?? null,
+        classification: assumed?.confirmed ?? classified,
+        evidence: assumed?.confirmed ? [confirmedLine(assumed.assumption)] : [],
+        group: null,
+    };
+}
+/** After a confirmed group answer, a still-blocked member is asked about its next blocker at once. */
+function chainedAssumption(remaining, inputs, result) {
+    return singleAssumption({
+        classified: remaining,
+        inputs: { ...inputs, hasCompanionWrites: false, hasNonClosingCompanionWrites: false },
+        partners: [],
+        result,
+    });
+}
+/**
+ * A co-written group answers as one. Once confirmed, a member the group alone could not convert
+ * drops the co-write blocker and is asked about whatever blocks it next, in the same scan.
+ */
+function cowrittenAssumption(classified, inputs, result) {
+    const members = cowrittenGroup(inputs.state, result.ownership.companionWrites.partners);
+    const grouped = groupAssumption({
+        confirmations: result.analysis.confirmations,
+        inputs,
+        members,
+        reportFile: reportFileOf(result),
+        result,
+    });
+    if (!grouped) {
+        const partners = members.filter((member) => member !== inputs.state);
+        return singleAssumption({ classified, inputs, partners, result });
+    }
+    return grouped.confirmed
+        ? settledGroup(grouped, inputs, result)
+        : { ...unchanged(classified), assumption: grouped.assumption };
+}
+function settledGroup(grouped, inputs, result) {
+    // SAFETY: callers reach settledGroup only when the group answer is confirmed, so the verdict is set.
+    const confirmed = grouped.confirmed;
+    const evidence = [confirmedLine(grouped.assumption)];
+    if (!isReview(confirmed)) {
+        return {
+            assumption: grouped.assumption,
+            classification: confirmed,
+            evidence,
+            group: grouped.group,
+        };
+    }
+    const chained = chainedAssumption(confirmed, inputs, result);
+    return { ...chained, evidence: [...evidence, ...chained.evidence] };
+}
+/** A confirmed assumption replaces the review verdict with the conversion it justified. */
+export function resolveStateClassification(classified, inputs, result) {
+    if (!isReview(classified)) {
+        return unchanged(classified);
+    }
+    if (classified.abstentionReason === "atomic-transition-unproven") {
+        return cowrittenAssumption(classified, inputs, result);
+    }
+    return singleAssumption({ classified, inputs, partners: [], result });
+}
+//# sourceMappingURL=review-assumptions.js.map

package/dist/src/analysis/assumptions/review-assumptions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"review-assumptions.js","sourceRoot":"","sources":["../../../../src/analysis/assumptions/review-assumptions.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAIzE,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAqBzD,SAAS,YAAY,CAAC,MAAqB;IACzC,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,QAAQ,CAAC,UAA2B;IAC3C,OAAO,UAAU,CAAC,MAAM,KAAK,cAAc,CAAC;AAC9C,CAAC;AAED,SAAS,aAAa,CAAC,UAA2B;IAChD,OAAO,2BAA2B,UAAU,CAAC,EAAE,KAAK,UAAU,CAAC,QAAQ,EAAE,CAAC;AAC5E,CAAC;AAED,SAAS,SAAS,CAAC,cAA+B;IAChD,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,cAAc,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AACzE,CAAC;AAED,SAAS,gBAAgB,CAAC,EACxB,UAAU,EACV,MAAM,EACN,QAAQ,EACR,MAAM,GACgB;IACtB,MAAM,OAAO,GAAG,eAAe,CAAC,UAAU,EAAE;QAC1C,YAAY,EAAE,MAAM,CAAC,QAAQ,CAAC,YAAY;QAC1C,aAAa,EAAE,MAAM,CAAC,QAAQ,CAAC,aAAa;QAC5C,MAAM;QACN,QAAQ;QACR,UAAU,EAAE,YAAY,CAAC,MAAM,CAAC;KACjC,CAAC,CAAC;IACH,OAAO;QACL,UAAU,EAAE,OAAO,EAAE,UAAU,IAAI,IAAI;QACvC,cAAc,EAAE,OAAO,EAAE,SAAS,IAAI,UAAU;QAChD,QAAQ,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;QACvE,KAAK,EAAE,IAAI;KACZ,CAAC;AACJ,CAAC;AAED,sGAAsG;AACtG,SAAS,iBAAiB,CACxB,SAAsB,EACtB,MAAiC,EACjC,MAAqB;IAErB,OAAO,gBAAgB,CAAC;QACtB,UAAU,EAAE,SAAS;QACrB,MAAM,EAAE,EAAE,GAAG,MAAM,EAAE,kBAAkB,EAAE,KAAK,EAAE,4BAA4B,EAAE,KAAK,EAAE;QACrF,QAAQ,EAAE,EAAE;QACZ,MAAM;KACP,CAAC,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,SAAS,mBAAmB,CAC1B,UAAuB,EACvB,MAAiC,EACjC,MAAqB;IAErB,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,SAAS,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;IACxF,MAAM,OAAO,GAAG,eAAe,CAAC;QAC9B,aAAa,EAAE,MAAM,CAAC,QAAQ,CAAC,aAAa;QAC5C,MAAM;QACN,OAAO;QACP,UAAU,EAAE,YAAY,CAAC,MAAM,CAAC;QAChC,MAAM;KACP,CAAC,CAAC;IACH,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,KAAK,MAAM,CAAC,KAAK,CAAC,CAAC;QACrE,OAAO,gBAAgB,CAAC,EAAE,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,OAAO,CAAC,SAAS;QACtB,CAAC,CAAC,YAAY,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC;QACvC,CAAC,CAAC,EAAE,GAAG,SAAS,CAAC,UAAU,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC;AACnE,CAAC;AAED,SAAS,YAAY,CACnB,OAA8B,EAC9B,MAAiC,EACjC,MAAqB;IAErB,qGAAqG;IACrG,MAAM,SAAS,GAAG,OAAO,CAAC,SAAU,CAAC;IACrC,MAAM,QAAQ,GAAG,CAAC,aAAa,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;IACrD,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QACzB,OAAO;YACL,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,cAAc,EAAE,SAAS;YACzB,QAAQ;YACR,KAAK,EAAE,OAAO,CAAC,KAAK;SACrB,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,iBAAiB,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IAC7D,OAAO,EAAE,GAAG,OAAO,EAAE,QAAQ,EAAE,CAAC,GAAG,QAAQ,EAAE,GAAG,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;AACtE,CAAC;AAED,2FAA2F;AAC3F,MAAM,UAAU,0BAA0B,CACxC,UAA2B,EAC3B,MAAiC,EACjC,MAAqB;IAErB,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QAC1B,OAAO,SAAS,CAAC,UAAU,CAAC,CAAC;IAC/B,CAAC;IACD,IAAI,UAAU,CAAC,gBAAgB,KAAK,4BAA4B,EAAE,CAAC;QACjE,OAAO,mBAAmB,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,gBAAgB,CAAC,EAAE,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;AACxE,CAAC"}

package/dist/src/analysis/assumptions/state-assumptions.d.ts

@@ -0,0 +1,35 @@
+import type { AbstentionReason, AssumptionStatus, StateAssumption } from "../../core/types.js";
+import type { ClassifiedState, StateCandidate } from "../model.js";
+import type { Confirmation, ConfirmationSet } from "./confirmations.js";
+import type { StateClassificationInputs } from "../verdicts/classification-context.js";
+import type ts from "typescript";
+type ReviewState = Extract<ClassifiedState, {
+    action: "review-state";
+}>;
+export interface AssumptionScope {
+    readonly analysisRoot: string | null;
+    readonly confirmations: ConfirmationSet | null;
+    readonly inputs: StateClassificationInputs;
+    readonly partners: readonly StateCandidate[];
+    /** The report-relative file name, part of the stable assumption id. */
+    readonly reportFile: string;
+}
+/** A review finding's open question, and the verdict a confirmed answer replaces it with. */
+export interface StateAssumptionResult {
+    readonly assumption: StateAssumption;
+    readonly confirmed: ClassifiedState | null;
+}
+/**
+ * An answer is honoured only while the owner it was given for is unchanged: the fingerprint is a
+ * digest of the owner's source with whitespace collapsed, so reformatting does not invalidate it.
+ */
+export declare function ownerFingerprint(owner: ts.Node, sourceFile: ts.SourceFile): string;
+export declare function assumptionStatus(answer: Confirmation | null, fingerprint: string): AssumptionStatus;
+export declare function assumptionId(reportFile: string, inputs: StateClassificationInputs, facts: readonly AbstentionReason[]): string;
+/**
+ * Re-runs the verdict pipeline with the finding's blocker assumed away. A question is asked only
+ * when that hypothetical run yields a conversion, so every "yes" has a concrete instruction.
+ */
+export declare function stateAssumption(classified: ReviewState, scope: AssumptionScope): StateAssumptionResult | null;
+export {};
+//# sourceMappingURL=state-assumptions.d.ts.map

package/dist/src/analysis/assumptions/state-assumptions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"state-assumptions.d.ts","sourceRoot":"","sources":["../../../../src/analysis/assumptions/state-assumptions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,gBAAgB,EAChB,gBAAgB,EAEhB,eAAe,EAChB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AACnE,OAAO,KAAK,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAExE,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,uCAAuC,CAAC;AAKvF,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,KAAK,WAAW,GAAG,OAAO,CAAC,eAAe,EAAE;IAAE,MAAM,EAAE,cAAc,CAAA;CAAE,CAAC,CAAC;AAExE,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,QAAQ,CAAC,aAAa,EAAE,eAAe,GAAG,IAAI,CAAC;IAC/C,QAAQ,CAAC,MAAM,EAAE,yBAAyB,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,SAAS,cAAc,EAAE,CAAC;IAC7C,uEAAuE;IACvE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,6FAA6F;AAC7F,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IACrC,QAAQ,CAAC,SAAS,EAAE,eAAe,GAAG,IAAI,CAAC;CAC5C;AAoBD;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,MAAM,CAGlF;AAED,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,YAAY,GAAG,IAAI,EAC3B,WAAW,EAAE,MAAM,GAClB,gBAAgB,CAQlB;AAYD,wBAAgB,YAAY,CAC1B,UAAU,EAAE,MAAM,EAClB,MAAM,EAAE,yBAAyB,EACjC,KAAK,EAAE,SAAS,gBAAgB,EAAE,GACjC,MAAM,CAER;AA6HD;;;GAGG;AACH,wBAAgB,eAAe,CAC7B,UAAU,EAAE,WAAW,EACvB,KAAK,EAAE,eAAe,GACrB,qBAAqB,GAAG,IAAI,CAwB9B"}