legend-doctor 0.1.0

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

@@ -0,0 +1,91 @@
+import { ConfirmationFormatError } from "./confirmation-format-error.js";
+/** Every answer a scan honours, keyed by the stable assumption id. */
+export class ConfirmationSet {
+    #answers;
+    #source;
+    constructor(confirmations, source = null) {
+        this.#answers = new Map(confirmations.map((confirmation) => [confirmation.id, confirmation]));
+        this.#source = source;
+    }
+    answerFor(id) {
+        return this.#answers.get(id)?.answer ?? null;
+    }
+    confirmationFor(id) {
+        return this.#answers.get(id) ?? null;
+    }
+    get ids() {
+        return [...this.#answers.keys()];
+    }
+    get size() {
+        return this.#answers.size;
+    }
+    /** The file the answers came from, for the report. */
+    get source() {
+        return this.#source;
+    }
+}
+const ANSWERS = new Set(["no", "yes"]);
+function isJsonObject(value) {
+    return value instanceof Object && !Array.isArray(value);
+}
+function isJsonString(value) {
+    return value?.constructor === String;
+}
+function isAnswer(value) {
+    return ANSWERS.has(value);
+}
+function parseJson(text) {
+    try {
+        const parsed = JSON.parse(text);
+        return parsed;
+    }
+    catch (error) {
+        const detail = error instanceof Error ? error.message : "invalid JSON";
+        throw new ConfirmationFormatError(`confirmations file is not valid JSON: ${detail}`);
+    }
+}
+function optionalString(value, field, id) {
+    if (value !== undefined && !isJsonString(value)) {
+        throw new ConfirmationFormatError(`confirmations[].${field} must be a string for ${id}`);
+    }
+    return value;
+}
+function requiredFields(entry, index) {
+    const { answer, id } = entry;
+    if (!isJsonString(id) || id.length === 0) {
+        throw new ConfirmationFormatError(`confirmations[${index}].id must be a non-empty string`);
+    }
+    if (!isJsonString(answer) || !isAnswer(answer)) {
+        throw new ConfirmationFormatError(`confirmations[${index}].answer must be "yes" or "no" for ${id}`);
+    }
+    return { answer, id };
+}
+function withOptionalFields(draft, entry) {
+    const note = optionalString(entry["note"], "note", draft.id);
+    const fingerprint = optionalString(entry["fingerprint"], "fingerprint", draft.id);
+    if (note !== undefined) {
+        draft.note = note;
+    }
+    if (fingerprint !== undefined) {
+        draft.fingerprint = fingerprint;
+    }
+    return draft;
+}
+function parseConfirmation(entry, index) {
+    if (!isJsonObject(entry)) {
+        throw new ConfirmationFormatError(`confirmations[${index}] must be an object`);
+    }
+    return withOptionalFields({ ...requiredFields(entry, index) }, entry);
+}
+/**
+ * Parses `{ "confirmations": [{ "id", "answer": "yes" | "no", "fingerprint"?, "note"? }] }`.
+ * Duplicate ids keep the last answer, so an appended correction wins.
+ */
+export function parseConfirmations(text, source = null) {
+    const document = parseJson(text);
+    if (!isJsonObject(document) || !Array.isArray(document["confirmations"])) {
+        throw new ConfirmationFormatError('confirmations file must be an object with a "confirmations" array');
+    }
+    return new ConfirmationSet(document["confirmations"].map((entry, index) => parseConfirmation(entry, index)), source);
+}
+//# sourceMappingURL=confirmations.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"confirmations.js","sourceRoot":"","sources":["../../../../src/analysis/assumptions/confirmations.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAC;AAWzE,sEAAsE;AACtE,MAAM,OAAO,eAAe;IACjB,QAAQ,CAAoC;IAC5C,OAAO,CAAgB;IAEhC,YAAmB,aAAsC,EAAE,SAAwB,IAAI;QACrF,IAAI,CAAC,QAAQ,GAAG,IAAI,GAAG,CACrB,aAAa,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,EAAE,EAAE,YAAY,CAAU,CAAC,CAC9E,CAAC;QACF,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC;IACxB,CAAC;IAEM,SAAS,CAAC,EAAU;QACzB,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,MAAM,IAAI,IAAI,CAAC;IAC/C,CAAC;IAEM,eAAe,CAAC,EAAU;QAC/B,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC;IACvC,CAAC;IAED,IAAW,GAAG;QACZ,OAAO,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IACnC,CAAC;IAED,IAAW,IAAI;QACb,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC5B,CAAC;IAED,sDAAsD;IACtD,IAAW,MAAM;QACf,OAAO,IAAI,CAAC,OAAO,CAAC;IACtB,CAAC;CACF;AAQD,MAAM,OAAO,GAAwB,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;AAE5D,SAAS,YAAY,CAAC,KAA4B;IAChD,OAAO,KAAK,YAAY,MAAM,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,YAAY,CAAC,KAA4B;IAChD,OAAO,KAAK,EAAE,WAAW,KAAK,MAAM,CAAC;AACvC,CAAC;AAED,SAAS,QAAQ,CAAC,KAAa;IAC7B,OAAO,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AAC5B,CAAC;AAED,SAAS,SAAS,CAAC,IAAY;IAC7B,IAAI,CAAC;QACH,MAAM,MAAM,GAAc,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC3C,OAAO,MAAM,CAAC;IAChB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,MAAM,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,cAAc,CAAC;QACvE,MAAM,IAAI,uBAAuB,CAAC,yCAAyC,MAAM,EAAE,CAAC,CAAC;IACvF,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CACrB,KAA4B,EAC5B,KAAa,EACb,EAAU;IAEV,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;QAChD,MAAM,IAAI,uBAAuB,CAAC,mBAAmB,KAAK,yBAAyB,EAAE,EAAE,CAAC,CAAC;IAC3F,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAOD,SAAS,cAAc,CAAC,KAAiB,EAAE,KAAa;IACtD,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,KAAK,CAAC;IAC7B,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzC,MAAM,IAAI,uBAAuB,CAAC,iBAAiB,KAAK,iCAAiC,CAAC,CAAC;IAC7F,CAAC;IACD,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QAC/C,MAAM,IAAI,uBAAuB,CAC/B,iBAAiB,KAAK,sCAAsC,EAAE,EAAE,CACjE,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;AACxB,CAAC;AAUD,SAAS,kBAAkB,CAAC,KAAwB,EAAE,KAAiB;IACrE,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;IAC7D,MAAM,WAAW,GAAG,cAAc,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,aAAa,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;IAClF,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC;IACpB,CAAC;IACD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;QAC9B,KAAK,CAAC,WAAW,GAAG,WAAW,CAAC;IAClC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAgB,EAAE,KAAa;IACxD,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,uBAAuB,CAAC,iBAAiB,KAAK,qBAAqB,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,kBAAkB,CAAC,EAAE,GAAG,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;AACxE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAY,EAAE,SAAwB,IAAI;IAC3E,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IACjC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC;QACzE,MAAM,IAAI,uBAAuB,CAC/B,mEAAmE,CACpE,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,eAAe,CACxB,QAAQ,CAAC,eAAe,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,EAChF,MAAM,CACP,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,27 @@
+import type { ClassifiedEffect, EffectCandidate, StateCandidate } from "../model.js";
+import type { HookFinding, StateAssumption } from "../../core/types.js";
+import type { ConfirmationSet } from "./confirmations.js";
+import ts from "typescript";
+export interface EffectAssumptionScope {
+    readonly confirmations: ConfirmationSet | null;
+    readonly effect: EffectCandidate;
+    readonly reportFile: string;
+    readonly sourceFile: ts.SourceFile;
+}
+export interface EffectAssumptionResult {
+    readonly assumption: StateAssumption;
+    readonly confirmed: ClassifiedEffect | null;
+}
+/**
+ * An empty-dependency setup effect with no cleanup is `useMount` when suppressing Strict Mode's
+ * replay is intended, a fact only the code's author can confirm.
+ */
+export declare function effectAssumption(classification: ClassifiedEffect, scope: EffectAssumptionScope): EffectAssumptionResult | null;
+export interface EffectReview {
+    readonly assumed: EffectAssumptionResult | null;
+    readonly followed: ClassifiedEffect;
+    readonly stateFindings: ReadonlyMap<StateCandidate, HookFinding>;
+}
+/** A confirmed lifecycle answer makes `use-mount` actionable; a waiting effect names its questions. */
+export declare function applyEffectReview(finding: HookFinding, { assumed, followed, stateFindings }: EffectReview): HookFinding;
+//# sourceMappingURL=effect-assumptions.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-assumptions.d.ts","sourceRoot":"","sources":["../../../../src/analysis/assumptions/effect-assumptions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AACrF,OAAO,KAAK,EAAE,WAAW,EAAgB,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAEtF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAG1D,OAAO,EAAE,MAAM,YAAY,CAAC;AAI5B,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,aAAa,EAAE,eAAe,GAAG,IAAI,CAAC;IAC/C,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IACjC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;CACpC;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IACrC,QAAQ,CAAC,SAAS,EAAE,gBAAgB,GAAG,IAAI,CAAC;CAC7C;AAuCD;;;GAGG;AACH,wBAAgB,gBAAgB,CAC9B,cAAc,EAAE,gBAAgB,EAChC,KAAK,EAAE,qBAAqB,GAC3B,sBAAsB,GAAG,IAAI,CA4B/B;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,OAAO,EAAE,sBAAsB,GAAG,IAAI,CAAC;IAChD,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;IACpC,QAAQ,CAAC,aAAa,EAAE,WAAW,CAAC,cAAc,EAAE,WAAW,CAAC,CAAC;CAClE;AAED,uGAAuG;AACvG,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,WAAW,EACpB,EAAE,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,EAAE,YAAY,GACjD,WAAW,CAoBb"}

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

@@ -0,0 +1,96 @@
+import { assumptionStatus, ownerFingerprint } from "./state-assumptions.js";
+import { jsxElementCount } from "../../rules/state-proofs/jsx-subtrees.js";
+import { runtimeFunctionName } from "../ast-helpers.js";
+import ts from "typescript";
+import { useMountEffect } from "../../rules/effects/effect-verdicts.js";
+import { verificationFor } from "./verification.js";
+const LIFECYCLE_REASON = "lifecycle-equivalence-unproven";
+function lineOf(node, sourceFile) {
+    return sourceFile.getLineAndCharacterOfPosition(node.getStart(sourceFile)).line + 1;
+}
+function mountResearch(scope) {
+    const { effect, reportFile, sourceFile } = scope;
+    const externalCalls = [];
+    const visit = (node) => {
+        if (ts.isCallExpression(node)) {
+            externalCalls.push(node);
+        }
+        ts.forEachChild(node, visit);
+    };
+    if (effect.callback) {
+        visit(effect.callback.body);
+    }
+    const callLines = [...new Set(externalCalls.map((call) => lineOf(call, sourceFile)))].toSorted((left, right) => left - right);
+    return [
+        {
+            check: "this empty-dependency effect runs its setup once per mount and returns no cleanup; confirm the setup must not run twice under React Strict Mode's development replay and nothing expects it to re-run",
+            file: reportFile,
+            line: lineOf(effect.call, sourceFile),
+        },
+        ...callLines.map((line) => ({
+            check: "this call is part of the one-time setup; confirm it is idempotent or intentionally once-only, and that no other effect or handler undoes it",
+            file: reportFile,
+            line,
+        })),
+    ];
+}
+/**
+ * An empty-dependency setup effect with no cleanup is `useMount` when suppressing Strict Mode's
+ * replay is intended, a fact only the code's author can confirm.
+ */
+export function effectAssumption(classification, scope) {
+    const { confirmations, effect, reportFile, sourceFile } = scope;
+    if (classification.action !== "review-effect" ||
+        classification.abstentionReason !== LIFECYCLE_REASON ||
+        !effect.owner) {
+        return null;
+    }
+    const owner = runtimeFunctionName(effect.owner) ?? "anonymous";
+    const id = `${reportFile}::${owner}::useEffect@L${lineOf(effect.call, sourceFile)}::${LIFECYCLE_REASON}`;
+    const fingerprint = ownerFingerprint(effect.owner, sourceFile);
+    const status = assumptionStatus(confirmations?.confirmationFor(id) ?? null, fingerprint);
+    return {
+        assumption: {
+            facts: [LIFECYCLE_REASON],
+            fingerprint,
+            id,
+            ifConfirmed: "use-mount",
+            question: "this empty-dependency effect only sets things up and returns no cleanup; confirm it is meant to run exactly once per mount, so replacing it with `useMount` (which suppresses React Strict Mode's development replay) changes nothing the code relies on.",
+            renderCost: jsxElementCount(effect.owner),
+            research: mountResearch(scope),
+            status,
+            updateSites: 0,
+        },
+        confirmed: status === "confirmed" ? useMountEffect() : null,
+    };
+}
+/** A confirmed lifecycle answer makes `use-mount` actionable; a waiting effect names its questions. */
+export function applyEffectReview(finding, { assumed, followed, stateFindings }) {
+    if (assumed) {
+        finding.assumption = assumed.assumption;
+        if (assumed.confirmed) {
+            finding.disposition = "change";
+            finding.verification = verificationFor(assumed.assumption, "effect's owner", finding.location.file);
+        }
+    }
+    const waitsOn = followed.action === "review-effect"
+        ? waitsOnQuestions(followed.stateDependencies, stateFindings)
+        : [];
+    if (waitsOn.length > 0) {
+        finding.waitsOn = waitsOn;
+    }
+    return finding;
+}
+/**
+ * A review effect that waits on a state's verdict names the open questions that would settle it,
+ * so the agent answers the state instead of hunting for a fact about the effect.
+ */
+function waitsOnQuestions(dependencies, stateFindings) {
+    return [
+        ...new Set((dependencies ?? []).flatMap((state) => {
+            const assumption = stateFindings.get(state)?.assumption;
+            return assumption && assumption.status !== "confirmed" ? [assumption.id] : [];
+        })),
+    ].toSorted();
+}
+//# sourceMappingURL=effect-assumptions.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-assumptions.js","sourceRoot":"","sources":["../../../../src/analysis/assumptions/effect-assumptions.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAE5E,OAAO,EAAE,eAAe,EAAE,MAAM,0CAA0C,CAAC;AAC3E,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAC;AACxE,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAcpD,MAAM,gBAAgB,GAAG,gCAAgC,CAAC;AAE1D,SAAS,MAAM,CAAC,IAAa,EAAE,UAAyB;IACtD,OAAO,UAAU,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;AACtF,CAAC;AAED,SAAS,aAAa,CAAC,KAA4B;IACjD,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;IACjD,MAAM,aAAa,GAAc,EAAE,CAAC;IACpC,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACpB,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;IACD,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAC5F,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,GAAG,KAAK,CAC9B,CAAC;IACF,OAAO;QACL;YACE,KAAK,EACH,uMAAuM;YACzM,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC;SACtC;QACD,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC1B,KAAK,EACH,6IAA6I;YAC/I,IAAI,EAAE,UAAU;YAChB,IAAI;SACL,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAC9B,cAAgC,EAChC,KAA4B;IAE5B,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;IAChE,IACE,cAAc,CAAC,MAAM,KAAK,eAAe;QACzC,cAAc,CAAC,gBAAgB,KAAK,gBAAgB;QACpD,CAAC,MAAM,CAAC,KAAK,EACb,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,mBAAmB,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,WAAW,CAAC;IAC/D,MAAM,EAAE,GAAG,GAAG,UAAU,KAAK,KAAK,gBAAgB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,gBAAgB,EAAE,CAAC;IACzG,MAAM,WAAW,GAAG,gBAAgB,CAAC,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IAC/D,MAAM,MAAM,GAAG,gBAAgB,CAAC,aAAa,EAAE,eAAe,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,WAAW,CAAC,CAAC;IACzF,OAAO;QACL,UAAU,EAAE;YACV,KAAK,EAAE,CAAC,gBAAgB,CAAC;YACzB,WAAW;YACX,EAAE;YACF,WAAW,EAAE,WAAW;YACxB,QAAQ,EACN,2PAA2P;YAC7P,UAAU,EAAE,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC;YACzC,QAAQ,EAAE,aAAa,CAAC,KAAK,CAAC;YAC9B,MAAM;YACN,WAAW,EAAE,CAAC;SACf;QACD,SAAS,EAAE,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,IAAI;KAC5D,CAAC;AACJ,CAAC;AAQD,uGAAuG;AACvG,MAAM,UAAU,iBAAiB,CAC/B,OAAoB,EACpB,EAAE,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAgB;IAElD,IAAI,OAAO,EAAE,CAAC;QACZ,OAAO,CAAC,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC;QACxC,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;YACtB,OAAO,CAAC,WAAW,GAAG,QAAQ,CAAC;YAC/B,OAAO,CAAC,YAAY,GAAG,eAAe,CACpC,OAAO,CAAC,UAAU,EAClB,gBAAgB,EAChB,OAAO,CAAC,QAAQ,CAAC,IAAI,CACtB,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GACX,QAAQ,CAAC,MAAM,KAAK,eAAe;QACjC,CAAC,CAAC,gBAAgB,CAAC,QAAQ,CAAC,iBAAiB,EAAE,aAAa,CAAC;QAC7D,CAAC,CAAC,EAAE,CAAC;IACT,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC;IAC5B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;GAGG;AACH,SAAS,gBAAgB,CACvB,YAAmD,EACnD,aAAuD;IAEvD,OAAO;QACL,GAAG,IAAI,GAAG,CACR,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;YACrC,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC;YACxD,OAAO,UAAU,IAAI,UAAU,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAChF,CAAC,CAAC,CACH;KACF,CAAC,QAAQ,EAAE,CAAC;AACf,CAAC"}

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

@@ -0,0 +1,27 @@
+import type { HookFinding, StateAssumption } from "../../core/types.js";
+import type { ClassifiedState, StateCandidate } from "../model.js";
+import type { ConfirmationSet } from "./confirmations.js";
+import type { FindingsScope } from "../finding-clusters.js";
+import type { StateClassificationInputs } from "../verdicts/classification-context.js";
+/** Every state reachable from one member through the co-write relation, in source order. */
+export declare function cowrittenGroup(state: StateCandidate, partners: ReadonlyMap<StateCandidate, ReadonlySet<StateCandidate>>): readonly StateCandidate[];
+export interface GroupAssumptionScope {
+    readonly confirmations: ConfirmationSet | null;
+    readonly inputs: StateClassificationInputs;
+    readonly members: readonly StateCandidate[];
+    readonly reportFile: string;
+    readonly result: FindingsScope;
+}
+export interface GroupAssumptionResult {
+    readonly assumption: StateAssumption;
+    /** The verdict this member takes once the group is confirmed, or null while the question is open. */
+    readonly confirmed: ClassifiedState | null;
+    readonly group: NonNullable<HookFinding["group"]> | null;
+}
+export declare function groupId(reportFile: string, owner: string, members: readonly StateCandidate[]): string;
+/**
+ * One question for a whole co-written group. Members whose standalone proof already passes convert
+ * together with a cluster instruction; the rest drop the co-write blocker and surface their next one.
+ */
+export declare function groupAssumption(scope: GroupAssumptionScope): GroupAssumptionResult | null;
+//# sourceMappingURL=group-assumptions.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"group-assumptions.d.ts","sourceRoot":"","sources":["../../../../src/analysis/assumptions/group-assumptions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAEV,WAAW,EAGX,eAAe,EAChB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAGnE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,uCAAuC,CAAC;AAKvF,4FAA4F;AAC5F,wBAAgB,cAAc,CAC5B,KAAK,EAAE,cAAc,EACrB,QAAQ,EAAE,WAAW,CAAC,cAAc,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC,GACjE,SAAS,cAAc,EAAE,CAY3B;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,aAAa,EAAE,eAAe,GAAG,IAAI,CAAC;IAC/C,QAAQ,CAAC,MAAM,EAAE,yBAAyB,CAAC;IAC3C,QAAQ,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;IAC5C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;CAChC;AAQD,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IACrC,qGAAqG;IACrG,QAAQ,CAAC,SAAS,EAAE,eAAe,GAAG,IAAI,CAAC;IAC3C,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC;CAC1D;AAqDD,wBAAgB,OAAO,CACrB,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,SAAS,cAAc,EAAE,GACjC,MAAM,CAGR;AA2GD;;;GAGG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,oBAAoB,GAAG,qBAAqB,GAAG,IAAI,CA0BzF"}

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

@@ -0,0 +1,160 @@
+import { assumptionStatus, ownerFingerprint } from "./state-assumptions.js";
+import { isCustomHookOwner, runtimeFunctionName } from "../ast-helpers.js";
+import { cowrittenGroupIntro } from "../clusters/cowritten-clusters.js";
+import { jsxElementCount } from "../../rules/state-proofs/jsx-subtrees.js";
+/** Every state reachable from one member through the co-write relation, in source order. */
+export function cowrittenGroup(state, partners) {
+    const members = new Set([state]);
+    const queue = [state];
+    for (let next = queue.shift(); next; next = queue.shift()) {
+        for (const partner of partners.get(next) ?? []) {
+            if (!members.has(partner)) {
+                members.add(partner);
+                queue.push(partner);
+            }
+        }
+    }
+    return [...members].toSorted((left, right) => left.call.getStart() - right.call.getStart());
+}
+const GROUP_REASON = "atomic-transition-unproven";
+function lineOf(node, sourceFile) {
+    return sourceFile.getLineAndCharacterOfPosition(node.getStart(sourceFile)).line + 1;
+}
+function quotedList(names) {
+    const quoted = names.map((name) => `\`${name}\``);
+    return quoted.length <= 1
+        ? quoted.join("")
+        : `${quoted.slice(0, -1).join(", ")} and ${quoted.at(-1)}`;
+}
+/** A group answer can move or rehome a member; it never deletes one or overrides a keep. */
+function groupConversion(alone) {
+    const { action } = alone;
+    if (action === "delete-derived-state" ||
+        action === "delete-unused-state" ||
+        action === "keep-state" ||
+        action === "review-state") {
+        return null;
+    }
+    return action;
+}
+function convertingOutcomes(outcomes) {
+    return outcomes.filter((outcome) => groupConversion(outcome.alone) !== null);
+}
+function remainingLabel(alone) {
+    return alone.action === "review-state" ? alone.abstentionReason : alone.action;
+}
+function outcomeLabel(outcome) {
+    const { alone, member } = outcome;
+    const conversion = groupConversion(alone);
+    if (conversion !== null) {
+        return { name: member.valueName, outcome: conversion };
+    }
+    return alone.action === "review-state"
+        ? { name: member.valueName, nextBlocker: alone.abstentionReason, outcome: "review-state" }
+        : { name: member.valueName, outcome: "review-state" };
+}
+export function groupId(reportFile, owner, members) {
+    const names = members.map((member) => member.valueName).join(",");
+    return `${reportFile}::${owner}::{${names}}::${GROUP_REASON}`;
+}
+function memberResearch(scope, { alone, member }) {
+    const { sourceFile } = scope.inputs;
+    const names = quotedList(scope.members.map((candidate) => candidate.valueName));
+    const remaining = groupConversion(alone) === null
+        ? `; on its own it stays under review for ${remainingLabel(alone)}`
+        : `; on its own it would become ${alone.action}`;
+    const writes = scope.result.analysis.usageByState.get(member)?.setterCallNodes ?? [];
+    const lines = [...new Set(writes.map((call) => lineOf(call, sourceFile)))].toSorted((left, right) => left - right);
+    return [
+        {
+            check: `\`${member.valueName}\` is declared here and written together with the group${remaining}`,
+            file: scope.reportFile,
+            line: lineOf(member.call, sourceFile),
+        },
+        ...lines.map((line) => ({
+            check: `this write to \`${member.valueName}\` runs in a handler that also writes other members of ${names}; confirm a render could never observe one member updated without the others`,
+            file: scope.reportFile,
+            line,
+        })),
+    ];
+}
+function groupQuestion(owner, outcomes) {
+    const names = quotedList(outcomes.map(({ member }) => member.valueName));
+    const converting = convertingOutcomes(outcomes);
+    const blocked = outcomes.filter((outcome) => groupConversion(outcome.alone) === null);
+    const converts = converting.length > 0
+        ? ` A "yes" converts ${quotedList(converting.map(({ member }) => member.valueName))} into one observable object written with a single \`assign\`.`
+        : "";
+    const reasons = [...new Set(blocked.map(({ alone }) => remainingLabel(alone)))].join(", ");
+    const remains = blocked.length > 0
+        ? ` ${quotedList(blocked.map(({ member }) => member.valueName))} ${blocked.length === 1 ? "is" : "are"} not converted by this answer (${reasons}); a remaining blocker gets its own question next.`
+        : "";
+    return `${names} are written together in ${owner}'s handlers; confirm they change as one atomic transition that no render may observe half-applied.${converts}${remains}`;
+}
+function confirmedVerdict(outcome, converting, hookOwned) {
+    const { alone } = outcome;
+    if (groupConversion(alone) === null) {
+        return alone;
+    }
+    const intro = cowrittenGroupIntro(converting.map((member) => member.valueName), hookOwned);
+    return { ...alone, message: `${intro} For \`${outcome.member.valueName}\`: ${alone.message}` };
+}
+function confirmedGroup(scope, own, outcomes) {
+    const converting = convertingOutcomes(outcomes).map(({ member }) => member);
+    const [primary] = converting;
+    const { owner } = scope.inputs.state;
+    const id = groupId(scope.reportFile, runtimeFunctionName(owner) ?? "this owner", scope.members);
+    return {
+        confirmed: confirmedVerdict(own, converting, isCustomHookOwner(owner)),
+        group: groupConversion(own.alone) !== null && primary
+            ? {
+                id,
+                kind: "state-cluster",
+                members: converting.map((member) => member.valueName),
+                primary: primary === own.member,
+            }
+            : null,
+    };
+}
+function groupIdentity(scope, owner) {
+    const { confirmations, inputs, members, reportFile } = scope;
+    const id = groupId(reportFile, owner, members);
+    const fingerprint = ownerFingerprint(inputs.state.owner, inputs.sourceFile);
+    return {
+        fingerprint,
+        id,
+        status: assumptionStatus(confirmations?.confirmationFor(id) ?? null, fingerprint),
+    };
+}
+/**
+ * One question for a whole co-written group. Members whose standalone proof already passes convert
+ * together with a cluster instruction; the rest drop the co-write blocker and surface their next one.
+ */
+export function groupAssumption(scope) {
+    const { inputs, members, result } = scope;
+    const outcomes = members.map((member) => ({ alone: result.classifyAlone(member), member }));
+    const own = outcomes.find(({ member }) => member === inputs.state);
+    if (!own || convertingOutcomes(outcomes).length === 0) {
+        return null;
+    }
+    const owner = runtimeFunctionName(inputs.state.owner) ?? "this owner";
+    const { fingerprint, id, status } = groupIdentity(scope, owner);
+    const settled = status === "confirmed" ? confirmedGroup(scope, own, outcomes) : null;
+    return {
+        assumption: {
+            facts: [GROUP_REASON],
+            fingerprint,
+            id,
+            ifConfirmed: groupConversion(own.alone) ?? "review-state",
+            members: outcomes.map((outcome) => outcomeLabel(outcome)),
+            question: groupQuestion(owner, outcomes),
+            renderCost: jsxElementCount(inputs.state.owner),
+            research: outcomes.flatMap((outcome) => memberResearch(scope, outcome)),
+            status,
+            updateSites: inputs.usage.setterCalls,
+        },
+        confirmed: settled?.confirmed ?? null,
+        group: settled?.group ?? null,
+    };
+}
+//# sourceMappingURL=group-assumptions.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"group-assumptions.js","sourceRoot":"","sources":["../../../../src/analysis/assumptions/group-assumptions.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC5E,OAAO,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAI3E,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,EAAE,eAAe,EAAE,MAAM,0CAA0C,CAAC;AAG3E,4FAA4F;AAC5F,MAAM,UAAU,cAAc,CAC5B,KAAqB,EACrB,QAAkE;IAElE,MAAM,OAAO,GAAG,IAAI,GAAG,CAAiB,CAAC,KAAK,CAAC,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC;IACtB,KAAK,IAAI,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;QAC1D,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YAC/C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC1B,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBACrB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACtB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;AAC9F,CAAC;AA4BD,MAAM,YAAY,GAAG,4BAA4B,CAAC;AAElD,SAAS,MAAM,CAAC,IAAa,EAAE,UAAyB;IACtD,OAAO,UAAU,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;AACtF,CAAC;AAED,SAAS,UAAU,CAAC,KAAwB;IAC1C,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC;IAClD,OAAO,MAAM,CAAC,MAAM,IAAI,CAAC;QACvB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACjB,CAAC,CAAC,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;AAC/D,CAAC;AAED,4FAA4F;AAC5F,SAAS,eAAe,CAAC,KAAsB;IAC7C,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACzB,IACE,MAAM,KAAK,sBAAsB;QACjC,MAAM,KAAK,qBAAqB;QAChC,MAAM,KAAK,YAAY;QACvB,MAAM,KAAK,cAAc,EACzB,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,kBAAkB,CAAC,QAAiC;IAC3D,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC;AAC/E,CAAC;AAED,SAAS,cAAc,CAAC,KAAsB;IAC5C,OAAO,KAAK,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC;AACjF,CAAC;AAED,SAAS,YAAY,CAAC,OAAqB;IACzC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;IAClC,MAAM,UAAU,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;IAC1C,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QACxB,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;IACzD,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,KAAK,cAAc;QACpC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,SAAS,EAAE,WAAW,EAAE,KAAK,CAAC,gBAAgB,EAAE,OAAO,EAAE,cAAc,EAAE;QAC1F,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,SAAS,EAAE,OAAO,EAAE,cAAc,EAAE,CAAC;AAC1D,CAAC;AAED,MAAM,UAAU,OAAO,CACrB,UAAkB,EAClB,KAAa,EACb,OAAkC;IAElC,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClE,OAAO,GAAG,UAAU,KAAK,KAAK,MAAM,KAAK,MAAM,YAAY,EAAE,CAAC;AAChE,CAAC;AAED,SAAS,cAAc,CACrB,KAA2B,EAC3B,EAAE,KAAK,EAAE,MAAM,EAAgB;IAE/B,MAAM,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC;IACpC,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC;IAChF,MAAM,SAAS,GACb,eAAe,CAAC,KAAK,CAAC,KAAK,IAAI;QAC7B,CAAC,CAAC,0CAA0C,cAAc,CAAC,KAAK,CAAC,EAAE;QACnE,CAAC,CAAC,gCAAgC,KAAK,CAAC,MAAM,EAAE,CAAC;IACrD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,eAAe,IAAI,EAAE,CAAC;IACrF,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CACjF,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,GAAG,KAAK,CAC9B,CAAC;IACF,OAAO;QACL;YACE,KAAK,EAAE,KAAK,MAAM,CAAC,SAAS,0DAA0D,SAAS,EAAE;YACjG,IAAI,EAAE,KAAK,CAAC,UAAU;YACtB,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC;SACtC;QACD,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACtB,KAAK,EAAE,mBAAmB,MAAM,CAAC,SAAS,0DAA0D,KAAK,8EAA8E;YACvL,IAAI,EAAE,KAAK,CAAC,UAAU;YACtB,IAAI;SACL,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,KAAa,EAAE,QAAiC;IACrE,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;IACzE,MAAM,UAAU,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IAChD,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC;IACtF,MAAM,QAAQ,GACZ,UAAU,CAAC,MAAM,GAAG,CAAC;QACnB,CAAC,CAAC,qBAAqB,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,+DAA+D;QAClJ,CAAC,CAAC,EAAE,CAAC;IACT,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3F,MAAM,OAAO,GACX,OAAO,CAAC,MAAM,GAAG,CAAC;QAChB,CAAC,CAAC,IAAI,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,kCAAkC,OAAO,oDAAoD;QACnM,CAAC,CAAC,EAAE,CAAC;IACT,OAAO,GAAG,KAAK,4BAA4B,KAAK,qGAAqG,QAAQ,GAAG,OAAO,EAAE,CAAC;AAC5K,CAAC;AAED,SAAS,gBAAgB,CACvB,OAAqB,EACrB,UAAqC,EACrC,SAAkB;IAElB,MAAM,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IAC1B,IAAI,eAAe,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC;QACpC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,KAAK,GAAG,mBAAmB,CAC/B,UAAU,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,EAC5C,SAAS,CACV,CAAC;IACF,OAAO,EAAE,GAAG,KAAK,EAAE,OAAO,EAAE,GAAG,KAAK,UAAU,OAAO,CAAC,MAAM,CAAC,SAAS,OAAO,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;AACjG,CAAC;AAOD,SAAS,cAAc,CACrB,KAA2B,EAC3B,GAAiB,EACjB,QAAiC;IAEjC,MAAM,UAAU,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;IAC5E,MAAM,CAAC,OAAO,CAAC,GAAG,UAAU,CAAC;IAC7B,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC;IACrC,MAAM,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,UAAU,EAAE,mBAAmB,CAAC,KAAK,CAAC,IAAI,YAAY,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;IAChG,OAAO;QACL,SAAS,EAAE,gBAAgB,CAAC,GAAG,EAAE,UAAU,EAAE,iBAAiB,CAAC,KAAK,CAAC,CAAC;QACtE,KAAK,EACH,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,IAAI,IAAI,OAAO;YAC5C,CAAC,CAAC;gBACE,EAAE;gBACF,IAAI,EAAE,eAAe;gBACrB,OAAO,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC;gBACrD,OAAO,EAAE,OAAO,KAAK,GAAG,CAAC,MAAM;aAChC;YACH,CAAC,CAAC,IAAI;KACX,CAAC;AACJ,CAAC;AAQD,SAAS,aAAa,CAAC,KAA2B,EAAE,KAAa;IAC/D,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;IAC7D,MAAM,EAAE,GAAG,OAAO,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAC/C,MAAM,WAAW,GAAG,gBAAgB,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IAC5E,OAAO;QACL,WAAW;QACX,EAAE;QACF,MAAM,EAAE,gBAAgB,CAAC,aAAa,EAAE,eAAe,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,WAAW,CAAC;KAClF,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,KAA2B;IACzD,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IAC1C,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IAC5F,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,KAAK,MAAM,CAAC,KAAK,CAAC,CAAC;IACnE,IAAI,CAAC,GAAG,IAAI,kBAAkB,CAAC,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,mBAAmB,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,YAAY,CAAC;IACtE,MAAM,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAChE,MAAM,OAAO,GAAG,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACrF,OAAO;QACL,UAAU,EAAE;YACV,KAAK,EAAE,CAAC,YAAY,CAAC;YACrB,WAAW;YACX,EAAE;YACF,WAAW,EAAE,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,cAAc;YACzD,OAAO,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;YACzD,QAAQ,EAAE,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC;YACxC,UAAU,EAAE,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;YAC/C,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YACvE,MAAM;YACN,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,WAAW;SACtC;QACD,SAAS,EAAE,OAAO,EAAE,SAAS,IAAI,IAAI;QACrC,KAAK,EAAE,OAAO,EAAE,KAAK,IAAI,IAAI;KAC9B,CAAC;AACJ,CAAC"}

package/dist/src/analysis/assumptions/hypotheses.d.ts

@@ -0,0 +1,29 @@
+import type { AbstentionReason, ResearchStep } from "../../core/types.js";
+import type { ClassifiedState, StateCandidate } from "../model.js";
+import type { StateClassificationInputs } from "../verdicts/classification-context.js";
+/** The facts a review finding needs before its blocker can be assumed away. */
+export interface HypothesisScope {
+    /** Directory report file names are relative to; null when only one file was analyzed. */
+    readonly analysisRoot: string | null;
+    readonly inputs: StateClassificationInputs;
+    /** Sibling states written alongside this one, when the blocker is a co-write. */
+    readonly partners: readonly StateCandidate[];
+    readonly reportFile: string;
+}
+/** One blocker switched off, the question whose "yes" justifies it, and where to look to answer. */
+export interface Hypothesis {
+    /** A verdict that needs no re-classification, for blockers the pipeline cannot express as an input. */
+    readonly directVerdict?: ClassifiedState;
+    readonly inputs: StateClassificationInputs;
+    readonly question: string;
+    readonly research: readonly ResearchStep[];
+}
+/**
+ * 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 declare function leafWrapHypothesis(scope: HypothesisScope): Hypothesis | null;
+/** The hypothesis for one blocker, or null when no yes/no fact would unblock it. */
+export declare function hypothesisFor(reason: AbstentionReason, scope: HypothesisScope): Hypothesis | null;
+//# sourceMappingURL=hypotheses.d.ts.map

package/dist/src/analysis/assumptions/hypotheses.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hypotheses.d.ts","sourceRoot":"","sources":["../../../../src/analysis/assumptions/hypotheses.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAC1E,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAGnE,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,uCAAuC,CAAC;AAMvF,+EAA+E;AAC/E,MAAM,WAAW,eAAe;IAC9B,yFAAyF;IACzF,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,QAAQ,CAAC,MAAM,EAAE,yBAAyB,CAAC;IAC3C,iFAAiF;IACjF,QAAQ,CAAC,QAAQ,EAAE,SAAS,cAAc,EAAE,CAAC;IAC7C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,oGAAoG;AACpG,MAAM,WAAW,UAAU;IACzB,uGAAuG;IACvG,QAAQ,CAAC,aAAa,CAAC,EAAE,eAAe,CAAC;IACzC,QAAQ,CAAC,MAAM,EAAE,yBAAyB,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,SAAS,YAAY,EAAE,CAAC;CAC5C;AAsSD;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,eAAe,GAAG,UAAU,GAAG,IAAI,CA+C5E;AAYD,oFAAoF;AACpF,wBAAgB,aAAa,CAAC,MAAM,EAAE,gBAAgB,EAAE,KAAK,EAAE,eAAe,GAAG,UAAU,GAAG,IAAI,CAEjG"}