legend-doctor 0.1.0

package/README.md

@@ -0,0 +1,228 @@
+# Legend Doctor
+
+Your React app renders more than it needs to. Legend Doctor proves where, and shows the exact edit that cuts it.
+
+It is a read-only scanner for TypeScript and JavaScript. It reads your `useState`, `useEffect`, and
+[Legend State](https://legendapp.com/open-source/state/) code and reports:
+
+- proven edits that remove a render or an effect
+- edits that need one more fact before they are safe
+- code that is already right and should stay as it is
+
+It never edits files. It never guesses. It emits `change` only when the TypeScript structure proves the edit.
+
+## Why fewer renders
+
+Most React apps re-render whole trees when one value changes. Legend State fixes this by letting each leaf subscribe
+to exactly the value it renders. Jay Meistrich, who built Legend State, explains the idea and the numbers in his
+App.js Conf 2026 talk:
+
+[![How to Build the Fastest Apps: Break the Rules](https://i.ytimg.com/vi/K3flMIHS-cI/hqdefault.jpg)](https://youtu.be/K3flMIHS-cI)
+
+Legend Doctor is the tool that finds those cuts in an existing codebase, and holds every one of them to a proof.
+
+## Quick start
+
+Requires Node.js 22 or newer.
+
+```bash
+npx legend-doctor /absolute/path/to/app --actionable
+```
+
+Or install it once and call `legend-doctor` directly:
+
+```bash
+npm install --save-dev legend-doctor
+```
+
+Scan the smallest folder that contains the related components, hooks, and observables together. One file rarely
+holds enough proof.
+
+## Use it with a coding agent
+
+Copy the skill into your project, then the agent scans before and after every state or effect edit.
+
+```bash
+cp -r node_modules/legend-doctor/skills/legend-doctor /path/to/app/.claude/skills/
+```
+
+The report JSON is stable and versioned. Agents apply `change` findings, read the named source for `candidate`
+findings, and rescan.
+
+To see the effect at runtime, pair it with [genie-react](https://github.com/Genie-sa/genie-react). Genie counts real
+renders in the running app, so the agent can record a render count before the edit and check it dropped after.
+
+## Run in CI
+
+The GitHub Action reviews every pull request and reports only the findings the change introduced, not the existing
+backlog. It posts one sticky summary comment, inline review comments on the changed lines, and a commit status. It is
+advisory by default. Add `.github/workflows/legend-doctor.yml`:
+
+```yaml
+name: Legend Doctor
+on:
+  pull_request:
+    types: [opened, synchronize, reopened, ready_for_review]
+  push:
+    branches: [main]
+permissions:
+  contents: read
+  pull-requests: write
+  issues: write
+  statuses: write
+concurrency:
+  group: legend-doctor-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+jobs:
+  legend-doctor:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@fbc6f3992d24b796d5a048ff273f7fcc4a7b6c09 # v5
+        with:
+          fetch-depth: 0
+      - uses: Genie-sa/legend-doctor@v1
+        with:
+          directory: src
+```
+
+Keep `fetch-depth: 0`. The action diffs the pull request against its base branch and needs the history.
+
+Or paste this to your coding agent:
+
+> Add Legend Doctor to this repository so it reviews every pull request. Create a branch, add the workflow file shown
+> in the "Run in CI" section of https://github.com/Genie-sa/legend-doctor exactly as written, set `directory` to the
+> folder that holds our React components, commit only that file, and open a pull request titled "Add Legend Doctor
+> CI". Do not change application code.
+
+| Input            | Default   | Meaning                                                                                  |
+| ---------------- | --------- | ---------------------------------------------------------------------------------------- |
+| `directory`      | `.`       | Folder to scan                                                                           |
+| `scope`          | `changed` | `changed` reports what the PR introduced, `files` every finding in changed files, `full` |
+| `blocking`       | `none`    | Fail the check on `change`, `candidate`, or `style` findings                             |
+| `materiality`    | config    | `compact` also reports render cuts in components with 8 to 11 JSX elements               |
+| `ignore-actions` | config    | Comma-separated actions to hide, added to the config file's list                         |
+
+The action skips pull requests that change no React files. [action.yml](action.yml) lists every input and output.
+
+## Configure
+
+Put `legend-doctor.config.json` at the repository root, or anywhere above the folder you scan. The nearest one wins.
+
+```json
+{
+  "ignoreActions": ["use-ref", "toggle-observable"],
+  "materiality": "compact"
+}
+```
+
+| Key             | Values                                     | Effect                                                    |
+| --------------- | ------------------------------------------ | --------------------------------------------------------- |
+| `ignoreActions` | Action names from [ACTIONS.md](ACTIONS.md) | Hide those findings. They count under `hidden`.           |
+| `materiality`   | `broad` or `compact`                       | Minimum component size for a render cut, 12 or 8 elements |
+
+Flags override the file. `--ignore-action a,b` adds to the list and `--materiality` replaces the tier. An unknown key
+or action name fails the scan with exit code 2, so a typo never silently hides findings.
+
+To keep one effect on purpose, put this comment above it instead of hiding the whole action:
+
+```tsx
+// legend-doctor keep-react-effect
+useEffect(() => syncWithExternalSystem(), []);
+```
+
+## What a finding says
+
+Every finding has a disposition:
+
+| Disposition | Meaning                                                                   |
+| ----------- | ------------------------------------------------------------------------- |
+| `change`    | Proven. Apply the instruction as written.                                 |
+| `candidate` | One fact is missing. The finding names the source to read.                |
+| `keep`      | Correct as is. Leave the React or lifecycle boundary alone.               |
+| `style`     | Cleaner form. Apply only when the installed Legend State API supports it. |
+
+Stdout is always one JSON document and stays valid JSON when the scan fails, so a caller parses a single channel and
+never prose. Nothing is written to stderr.
+
+`legend-doctor --help` documents every report field. [REPORT.md](REPORT.md) goes further: the `assumption` a
+`review-state` finding carries when one yes/no fact would turn it into a `change`, and how to record the answer.
+
+## The loop
+
+1. Scan.
+2. Apply one group of `change` findings.
+3. Read the source for each `candidate`. Edit only when the missing fact is proven.
+4. Run your formatter, typecheck, and tests.
+5. Scan again. Stop when every remaining finding is `keep` or an understood `candidate`.
+
+Check [EXAMPLES.md](EXAMPLES.md) before applying an action you have not seen before.
+
+## What it cuts
+
+| Cost                                               | Typical action                                         |
+| -------------------------------------------------- | ------------------------------------------------------ |
+| A parent render caused by one child's local state  | `move-state-down`, `use-observable`                    |
+| A render for a value only commands or cleanup read | `use-ref`                                              |
+| Derived state kept in sync by an effect            | `delete-derived-state`, `delete-effect`                |
+| An effect that runs after an event it could join   | `move-to-event`                                        |
+| A render used only to run an external reaction     | `use-observe-effect`                                   |
+| A subscription wider than the value rendered       | `narrow-use-value-subscription`, `move-use-value-down` |
+| A render read that never subscribes                | `use-value-for-render-read`                            |
+| A parent clone where one path changed              | `narrow-observable-write`, `assign-observable-fields`  |
+
+[EXAMPLES.md](EXAMPLES.md) has one worked example per action.
+
+## Commands
+
+```bash
+legend-doctor <root> --disposition change      # proven edits only
+legend-doctor <root> --disposition candidate   # needs a human or agent to read more
+legend-doctor <root> --actionable              # one entry per edit, keep findings hidden
+legend-doctor <root> --fail-on change          # CI: exit 3 while a proven edit remains
+legend-doctor <root> --coverage                # parser and analysis coverage
+legend-doctor <root> --ignore-action use-ref   # hide one action for this run
+legend-doctor <root> --answer "<id>=yes"       # record an answer to a review question
+```
+
+Scope a rescan to the files you touched. The whole root still loads, so proofs stay complete.
+
+```bash
+legend-doctor <root> --actionable --changed             # uncommitted files
+legend-doctor <root> --actionable --staged              # staged files
+legend-doctor <root> --actionable --since origin/main   # this branch
+```
+
+By default it reports a render cut only in components with 12 or more JSX elements. `--materiality compact` lowers
+that to 8. Run `--help` for every flag and exit code.
+
+## Safety rules
+
+- One owner per value. Do not mirror React state and an observable.
+- `useObservable` for state tied to a component's lifetime.
+- `useValue` at the smallest stable leaf that renders the value.
+- `.peek()` only in a proven non-tracking command.
+- `.assign()` or `batch()` when several writes are one update.
+- Keep small, one-control state in React when an observable removes no render.
+- Keep an effect when its timing, replay, or cleanup is not proven equivalent.
+- Apply grouped findings together.
+- Check the installed `@legendapp/state` version before changing an API.
+
+Under `@legendapp/state` 2.x the tracking rule is off, because `enableReactTracking({ auto: true })` can make render
+reads track app-wide. In React Compiler projects, keep clone writes unless the report proves the in-place write safe.
+
+These rules follow the [Legend State React API](https://legendapp.com/open-source/state/v3/react/react-api/), the
+[reactivity guide](https://legendapp.com/open-source/state/v3/usage/reactivity/), and the
+[Legend State best-practices skill](https://github.com/LegendApp/legend-skills/tree/main/legend-state-best-practices).
+
+## Develop
+
+```bash
+npm run typecheck
+npm test
+npm run eval
+```
+
+Read [evals/README.md](evals/README.md) before changing corpus targets, labels, or scoring. `npm run bench` times
+the analysis pipeline on a checkout you point it at.
+
+MIT licensed.

package/dist/src/analysis/analyze-source.d.ts

@@ -0,0 +1,32 @@
+import type { HookFinding, InstalledLegendState } from "../core/types.js";
+import type { AnalysisFile } from "../project/analysis-project.js";
+import type { ChildContractResolver } from "../rules/child-contract/model.js";
+import type { ConfirmationSet } from "./assumptions/confirmations.js";
+import type { HookImports } from "../core/imports.js";
+import type { MaterialityPolicy } from "./constants.js";
+import { StateFlowIndex } from "../project/state-flow/state-flow.js";
+export declare function analyzeSource(sourceText: string, fileName: string, sourceComponents?: ReadonlySet<string>): HookFinding[];
+export interface SourceTextAnalysisOptions {
+    readonly confirmations?: ConfirmationSet | null;
+    readonly legendState?: InstalledLegendState | null;
+    readonly materiality?: MaterialityPolicy;
+    readonly sourceComponents?: ReadonlySet<string>;
+}
+export declare function analyzeSourceWith(sourceText: string, fileName: string, { confirmations, legendState, materiality, sourceComponents, }: SourceTextAnalysisOptions): HookFinding[];
+export interface SourceAnalysisRequest {
+    readonly analysisRoot?: string | null;
+    readonly childContracts?: ChildContractResolver | null;
+    readonly confirmations?: ConfirmationSet | null;
+    readonly deferredCallbackHooks?: ReadonlyMap<string, ReadonlySet<number>>;
+    readonly file: AnalysisFile;
+    readonly hookImports?: HookImports | null;
+    readonly legendState?: InstalledLegendState | null;
+    readonly legendValueBridges?: ReadonlyMap<string, ReadonlySet<string>>;
+    readonly materiality?: MaterialityPolicy;
+    readonly reportFileName: string;
+    readonly sourceComponents?: ReadonlySet<string>;
+    readonly stateFlow?: StateFlowIndex;
+}
+export declare function analyzeSourceFile({ analysisRoot, childContracts, confirmations, deferredCallbackHooks, file, hookImports, legendState, legendValueBridges, materiality, reportFileName, sourceComponents, stateFlow, }: SourceAnalysisRequest): HookFinding[];
+export declare function findingHookImports(file: AnalysisFile): HookImports | null;
+//# sourceMappingURL=analyze-source.d.ts.map

package/dist/src/analysis/analyze-source.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"analyze-source.d.ts","sourceRoot":"","sources":["../../../src/analysis/analyze-source.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,WAAW,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAa1E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AAC9E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AACtE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAGxD,OAAO,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AAcrE,wBAAgB,aAAa,CAC3B,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,gBAAgB,GAAE,WAAW,CAAC,MAAM,CAAa,GAChD,WAAW,EAAE,CAEf;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,aAAa,CAAC,EAAE,eAAe,GAAG,IAAI,CAAC;IAChD,QAAQ,CAAC,WAAW,CAAC,EAAE,oBAAoB,GAAG,IAAI,CAAC;IACnD,QAAQ,CAAC,WAAW,CAAC,EAAE,iBAAiB,CAAC;IACzC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACjD;AAED,wBAAgB,iBAAiB,CAC/B,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,EACE,aAAoB,EACpB,WAAkB,EAClB,WAAiC,EACjC,gBAA4B,GAC7B,EAAE,yBAAyB,GAC3B,WAAW,EAAE,CAkBf;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACtC,QAAQ,CAAC,cAAc,CAAC,EAAE,qBAAqB,GAAG,IAAI,CAAC;IACvD,QAAQ,CAAC,aAAa,CAAC,EAAE,eAAe,GAAG,IAAI,CAAC;IAChD,QAAQ,CAAC,qBAAqB,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IAC1E,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,WAAW,CAAC,EAAE,WAAW,GAAG,IAAI,CAAC;IAC1C,QAAQ,CAAC,WAAW,CAAC,EAAE,oBAAoB,GAAG,IAAI,CAAC;IACnD,QAAQ,CAAC,kBAAkB,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IACvE,QAAQ,CAAC,WAAW,CAAC,EAAE,iBAAiB,CAAC;IACzC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAChD,QAAQ,CAAC,SAAS,CAAC,EAAE,cAAc,CAAC;CACrC;AAED,wBAAgB,iBAAiB,CAAC,EAChC,YAAmB,EACnB,cAAqB,EACrB,aAAoB,EACpB,qBAAiC,EACjC,IAAI,EACJ,WAAW,EACX,WAAkB,EAClB,kBAA8B,EAC9B,WAAiC,EACjC,cAAc,EACd,gBAA4B,EAC5B,SAAgC,GACjC,EAAE,qBAAqB,GAAG,WAAW,EAAE,CAavC;AAED,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,YAAY,GAAG,WAAW,GAAG,IAAI,CAGzE"}

package/dist/src/analysis/analyze-source.js

@@ -0,0 +1,184 @@
+import { DEFAULT_MATERIALITY, EMPTY_BINDINGS } from "./constants.js";
+import { collectHookImports, isImportedHookCall } from "../core/imports.js";
+import { collectLocalComponents, collectPureProjectionImports } from "./owner-scan.js";
+import { collectModuleScopeBindings, collectObservableSubscriptionCounts, collectReactiveMutationBindings, collectStableUseObservableBindings, collectUseValueBindings, } from "./owner-bindings.js";
+import { effectCandidate, stateCandidate } from "./candidates.js";
+import { isNonProductionHarness, scriptKindForFile, visit } from "../core/ast.js";
+import { StateFlowIndex } from "../project/state-flow/state-flow.js";
+import { buildFindings } from "./findings.js";
+import { collectClusterProofs } from "./proofs/cluster-proofs.js";
+import { collectCommandProofs } from "./proofs/command-proofs.js";
+import { collectEffectProofs } from "./proofs/effect-proofs.js";
+import { collectLeafConsumerProofs } from "./proofs/leaf-consumer-proofs.js";
+import { collectOwnerEventCallbacks } from "./proofs/event-callbacks.js";
+import { collectOwnershipProofs } from "./proofs/ownership-proofs.js";
+import { collectReactCommitContext } from "../rules/react-commit-sensitivity/react-commit-sensitivity.js";
+import { collectStateUsage } from "./state-usage.js";
+import { persistenceSinkEffects } from "../rules/effects/browser-storage-persistence.js";
+import ts from "typescript";
+export function analyzeSource(sourceText, fileName, sourceComponents = new Set()) {
+    return analyzeSourceWith(sourceText, fileName, { sourceComponents });
+}
+export function analyzeSourceWith(sourceText, fileName, { confirmations = null, legendState = null, materiality = DEFAULT_MATERIALITY, sourceComponents = new Set(), }) {
+    const sourceFile = ts.createSourceFile(fileName, sourceText, ts.ScriptTarget.Latest, true, scriptKindForFile(fileName));
+    return analyzeParsedSource(sourceFile, fileName, {
+        childContracts: null,
+        confirmations,
+        deferredCallbackHooks: new Map(),
+        legendState,
+        legendValueBridges: new Map(),
+        materiality,
+        sourceComponents,
+        stateFlow: new StateFlowIndex(),
+    });
+}
+export function analyzeSourceFile({ analysisRoot = null, childContracts = null, confirmations = null, deferredCallbackHooks = new Map(), file, hookImports, legendState = null, legendValueBridges = new Map(), materiality = DEFAULT_MATERIALITY, reportFileName, sourceComponents = new Set(), stateFlow = new StateFlowIndex(), }) {
+    return analyzeParsedSource(file.sourceFile, reportFileName, {
+        analysisRoot,
+        childContracts,
+        confirmations,
+        deferredCallbackHooks,
+        imports: hookImports ?? collectHookImports(file.sourceFile),
+        legendState,
+        legendValueBridges,
+        materiality,
+        sourceComponents,
+        stateFlow,
+    });
+}
+export function findingHookImports(file) {
+    const imports = collectHookImports(file.sourceFile);
+    return containsFindingHookCall(file.sourceFile, imports) ? imports : null;
+}
+function containsFindingHookCall(node, imports) {
+    if (ts.isCallExpression(node) &&
+        (isImportedHookCall({
+            call: node,
+            localNames: imports.useState,
+            namespaceNames: imports.reactNamespaces,
+            canonicalName: "useState",
+        }) ||
+            isImportedHookCall({
+                call: node,
+                localNames: imports.useEffect,
+                namespaceNames: imports.reactNamespaces,
+                canonicalName: "useEffect",
+            }))) {
+        return true;
+    }
+    return (node.forEachChild((child) => containsFindingHookCall(child, imports) || undefined) === true);
+}
+function sourceAnalysisBase(sourceFile, fileName, options) {
+    const { analysisRoot = null, childContracts, confirmations = null, deferredCallbackHooks, imports = collectHookImports(sourceFile), legendState, legendValueBridges, materiality = DEFAULT_MATERIALITY, sourceComponents, stateFlow, } = options;
+    const { effects, localComponents, reactCommit, states, unmatchedStateCalls, usageByState } = hookInventory(sourceFile, imports, legendState);
+    return {
+        ...ownerBindingIndexes(sourceFile, imports),
+        ...commitScopedIndexes(reactCommit, effects),
+        analysisRoot,
+        childContracts,
+        confirmations,
+        deferredCallbackHooks,
+        effects,
+        fileName,
+        imports,
+        knownComponents: new Set([...localComponents, ...sourceComponents]),
+        legendState,
+        legendValueBridges,
+        localComponents,
+        materiality,
+        nonProductionHarness: isNonProductionHarness(fileName),
+        pureProjectionImports: new Set([
+            ...collectPureProjectionImports(sourceFile),
+            ...(childContracts?.pureProjectionBindings() ?? EMPTY_BINDINGS),
+        ]),
+        reactCommit,
+        sourceComponents,
+        sourceFile,
+        stateFlow,
+        states,
+        unmatchedStateCalls,
+        usageByState,
+    };
+}
+/** Every hook call in the file with its usage, the raw material every proof reads. */
+function hookInventory(sourceFile, imports, legendState) {
+    const reactCommit = collectReactCommitContext(sourceFile, imports);
+    const effects = reactCommit.effectCalls.map((call) => effectCandidate(call, imports));
+    const { states, unmatchedStateCalls } = collectStateCandidates(sourceFile, imports);
+    const usageScope = stateUsageScope({ effects, imports, legendState, reactCommit });
+    return {
+        effects,
+        localComponents: collectLocalComponents(sourceFile, imports),
+        reactCommit,
+        states,
+        unmatchedStateCalls,
+        usageByState: new Map(states.map((state) => [state, collectStateUsage(state, usageScope)])),
+    };
+}
+function stateUsageScope({ effects, imports, legendState, reactCommit, }) {
+    return {
+        effectNodes: reactCommit.lifecycleRegions,
+        imports,
+        persistenceSinks: persistenceSinkEffects(effects, legendState),
+    };
+}
+function commitScopedIndexes(reactCommit, effects) {
+    return {
+        commitSensitiveOwners: reactCommit.sensitiveOwners,
+        directEffectCallbacks: new Set(effects.flatMap((effect) => (effect.callback ? [effect.callback] : []))),
+        directEffectCalls: new Set(reactCommit.effectCalls),
+        lifecycleRegions: reactCommit.lifecycleRegions,
+    };
+}
+function collectStateCandidates(sourceFile, imports) {
+    const states = [];
+    const unmatchedStateCalls = [];
+    visit(sourceFile, (node) => {
+        if (!ts.isCallExpression(node) ||
+            !isImportedHookCall({
+                call: node,
+                localNames: imports.useState,
+                namespaceNames: imports.reactNamespaces,
+                canonicalName: "useState",
+            })) {
+            return;
+        }
+        const state = stateCandidate(node);
+        if (state) {
+            states.push(state);
+        }
+        else {
+            unmatchedStateCalls.push(node);
+        }
+    });
+    return { states, unmatchedStateCalls };
+}
+function ownerBindingIndexes(sourceFile, imports) {
+    return {
+        moduleScopeBindings: collectModuleScopeBindings(sourceFile),
+        observableSubscriptionsByOwner: collectObservableSubscriptionCounts(sourceFile, imports),
+        reactiveMutationsByOwner: collectReactiveMutationBindings(sourceFile),
+        useObservableBindingsByOwner: collectStableUseObservableBindings(sourceFile, imports),
+        useValueBindingsByOwner: collectUseValueBindings(sourceFile, imports),
+    };
+}
+function analyzeParsedSource(sourceFile, fileName, options) {
+    const analysis = sourceAnalysisBase(sourceFile, fileName, options);
+    const callbacks = collectOwnerEventCallbacks(analysis);
+    const commands = collectCommandProofs(analysis);
+    const ownership = collectOwnershipProofs(analysis, callbacks, commands);
+    const proofs = { ...commands, ...ownership };
+    const leaves = collectLeafConsumerProofs(analysis, callbacks, proofs);
+    const clusters = collectClusterProofs(analysis, proofs);
+    const effectProofs = collectEffectProofs(analysis, ownership);
+    return buildFindings({
+        analysis,
+        callbacks,
+        clusters,
+        commands,
+        effectProofs,
+        leaves,
+        ownership,
+    });
+}
+//# sourceMappingURL=analyze-source.js.map

package/dist/src/analysis/analyze-source.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"analyze-source.js","sourceRoot":"","sources":["../../../src/analysis/analyze-source.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAIrE,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAC5E,OAAO,EAAE,sBAAsB,EAAE,4BAA4B,EAAE,MAAM,iBAAiB,CAAC;AACvF,OAAO,EACL,0BAA0B,EAC1B,mCAAmC,EACnC,+BAA+B,EAC/B,kCAAkC,EAClC,uBAAuB,GACxB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAQlF,OAAO,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AAErE,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAClE,OAAO,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAClE,OAAO,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAChE,OAAO,EAAE,yBAAyB,EAAE,MAAM,kCAAkC,CAAC;AAC7E,OAAO,EAAE,0BAA0B,EAAE,MAAM,6BAA6B,CAAC;AACzE,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AACtE,OAAO,EAAE,yBAAyB,EAAE,MAAM,+DAA+D,CAAC;AAC1G,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,sBAAsB,EAAE,MAAM,iDAAiD,CAAC;AACzF,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,aAAa,CAC3B,UAAkB,EAClB,QAAgB,EAChB,mBAAwC,IAAI,GAAG,EAAE;IAEjD,OAAO,iBAAiB,CAAC,UAAU,EAAE,QAAQ,EAAE,EAAE,gBAAgB,EAAE,CAAC,CAAC;AACvE,CAAC;AASD,MAAM,UAAU,iBAAiB,CAC/B,UAAkB,EAClB,QAAgB,EAChB,EACE,aAAa,GAAG,IAAI,EACpB,WAAW,GAAG,IAAI,EAClB,WAAW,GAAG,mBAAmB,EACjC,gBAAgB,GAAG,IAAI,GAAG,EAAE,GACF;IAE5B,MAAM,UAAU,GAAG,EAAE,CAAC,gBAAgB,CACpC,QAAQ,EACR,UAAU,EACV,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,iBAAiB,CAAC,QAAQ,CAAC,CAC5B,CAAC;IACF,OAAO,mBAAmB,CAAC,UAAU,EAAE,QAAQ,EAAE;QAC/C,cAAc,EAAE,IAAI;QACpB,aAAa;QACb,qBAAqB,EAAE,IAAI,GAAG,EAAE;QAChC,WAAW;QACX,kBAAkB,EAAE,IAAI,GAAG,EAAE;QAC7B,WAAW;QACX,gBAAgB;QAChB,SAAS,EAAE,IAAI,cAAc,EAAE;KAChC,CAAC,CAAC;AACL,CAAC;AAiBD,MAAM,UAAU,iBAAiB,CAAC,EAChC,YAAY,GAAG,IAAI,EACnB,cAAc,GAAG,IAAI,EACrB,aAAa,GAAG,IAAI,EACpB,qBAAqB,GAAG,IAAI,GAAG,EAAE,EACjC,IAAI,EACJ,WAAW,EACX,WAAW,GAAG,IAAI,EAClB,kBAAkB,GAAG,IAAI,GAAG,EAAE,EAC9B,WAAW,GAAG,mBAAmB,EACjC,cAAc,EACd,gBAAgB,GAAG,IAAI,GAAG,EAAE,EAC5B,SAAS,GAAG,IAAI,cAAc,EAAE,GACV;IACtB,OAAO,mBAAmB,CAAC,IAAI,CAAC,UAAU,EAAE,cAAc,EAAE;QAC1D,YAAY;QACZ,cAAc;QACd,aAAa;QACb,qBAAqB;QACrB,OAAO,EAAE,WAAW,IAAI,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC;QAC3D,WAAW;QACX,kBAAkB;QAClB,WAAW;QACX,gBAAgB;QAChB,SAAS;KACV,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAkB;IACnD,MAAM,OAAO,GAAG,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACpD,OAAO,uBAAuB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5E,CAAC;AAED,SAAS,uBAAuB,CAAC,IAAa,EAAE,OAAoB;IAClE,IACE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACzB,CAAC,kBAAkB,CAAC;YAClB,IAAI,EAAE,IAAI;YACV,UAAU,EAAE,OAAO,CAAC,QAAQ;YAC5B,cAAc,EAAE,OAAO,CAAC,eAAe;YACvC,aAAa,EAAE,UAAU;SAC1B,CAAC;YACA,kBAAkB,CAAC;gBACjB,IAAI,EAAE,IAAI;gBACV,UAAU,EAAE,OAAO,CAAC,SAAS;gBAC7B,cAAc,EAAE,OAAO,CAAC,eAAe;gBACvC,aAAa,EAAE,WAAW;aAC3B,CAAC,CAAC,EACL,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,CACL,IAAI,CAAC,YAAY,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,uBAAuB,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,SAAS,CAAC,KAAK,IAAI,CAC5F,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,UAAyB,EACzB,QAAgB,EAChB,OAAoC;IAEpC,MAAM,EACJ,YAAY,GAAG,IAAI,EACnB,cAAc,EACd,aAAa,GAAG,IAAI,EACpB,qBAAqB,EACrB,OAAO,GAAG,kBAAkB,CAAC,UAAU,CAAC,EACxC,WAAW,EACX,kBAAkB,EAClB,WAAW,GAAG,mBAAmB,EACjC,gBAAgB,EAChB,SAAS,GACV,GAAG,OAAO,CAAC;IACZ,MAAM,EAAE,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,EAAE,mBAAmB,EAAE,YAAY,EAAE,GACxF,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;IAClD,OAAO;QACL,GAAG,mBAAmB,CAAC,UAAU,EAAE,OAAO,CAAC;QAC3C,GAAG,mBAAmB,CAAC,WAAW,EAAE,OAAO,CAAC;QAC5C,YAAY;QACZ,cAAc;QACd,aAAa;QACb,qBAAqB;QACrB,OAAO;QACP,QAAQ;QACR,OAAO;QACP,eAAe,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,eAAe,EAAE,GAAG,gBAAgB,CAAC,CAAC;QACnE,WAAW;QACX,kBAAkB;QAClB,eAAe;QACf,WAAW;QACX,oBAAoB,EAAE,sBAAsB,CAAC,QAAQ,CAAC;QACtD,qBAAqB,EAAE,IAAI,GAAG,CAAC;YAC7B,GAAG,4BAA4B,CAAC,UAAU,CAAC;YAC3C,GAAG,CAAC,cAAc,EAAE,sBAAsB,EAAE,IAAI,cAAc,CAAC;SAChE,CAAC;QACF,WAAW;QACX,gBAAgB;QAChB,UAAU;QACV,SAAS;QACT,MAAM;QACN,mBAAmB;QACnB,YAAY;KACb,CAAC;AACJ,CAAC;AAWD,sFAAsF;AACtF,SAAS,aAAa,CACpB,UAAyB,EACzB,OAAoB,EACpB,WAAwC;IAExC,MAAM,WAAW,GAAG,yBAAyB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACnE,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IACtF,MAAM,EAAE,MAAM,EAAE,mBAAmB,EAAE,GAAG,sBAAsB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACpF,MAAM,UAAU,GAAG,eAAe,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC;IACnF,OAAO;QACL,OAAO;QACP,eAAe,EAAE,sBAAsB,CAAC,UAAU,EAAE,OAAO,CAAC;QAC5D,WAAW;QACX,MAAM;QACN,mBAAmB;QACnB,YAAY,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,iBAAiB,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;KAC5F,CAAC;AACJ,CAAC;AASD,SAAS,eAAe,CAAC,EACvB,OAAO,EACP,OAAO,EACP,WAAW,EACX,WAAW,GACM;IACjB,OAAO;QACL,WAAW,EAAE,WAAW,CAAC,gBAAgB;QACzC,OAAO;QACP,gBAAgB,EAAE,sBAAsB,CAAC,OAAO,EAAE,WAAW,CAAC;KAC/D,CAAC;AACJ,CAAC;AASD,SAAS,mBAAmB,CAC1B,WAA+B,EAC/B,OAAmC;IAEnC,OAAO;QACL,qBAAqB,EAAE,WAAW,CAAC,eAAe;QAClD,qBAAqB,EAAE,IAAI,GAAG,CAC5B,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CACxE;QACD,iBAAiB,EAAE,IAAI,GAAG,CAAC,WAAW,CAAC,WAAW,CAAC;QACnD,gBAAgB,EAAE,WAAW,CAAC,gBAAgB;KAC/C,CAAC;AACJ,CAAC;AAOD,SAAS,sBAAsB,CAC7B,UAAyB,EACzB,OAAoB;IAEpB,MAAM,MAAM,GAAqB,EAAE,CAAC;IACpC,MAAM,mBAAmB,GAAwB,EAAE,CAAC;IACpD,KAAK,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IACE,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YAC1B,CAAC,kBAAkB,CAAC;gBAClB,IAAI,EAAE,IAAI;gBACV,UAAU,EAAE,OAAO,CAAC,QAAQ;gBAC5B,cAAc,EAAE,OAAO,CAAC,eAAe;gBACvC,aAAa,EAAE,UAAU;aAC1B,CAAC,EACF,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrB,CAAC;aAAM,CAAC;YACN,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,MAAM,EAAE,mBAAmB,EAAE,CAAC;AACzC,CAAC;AAUD,SAAS,mBAAmB,CAAC,UAAyB,EAAE,OAAoB;IAC1E,OAAO;QACL,mBAAmB,EAAE,0BAA0B,CAAC,UAAU,CAAC;QAC3D,8BAA8B,EAAE,mCAAmC,CAAC,UAAU,EAAE,OAAO,CAAC;QACxF,wBAAwB,EAAE,+BAA+B,CAAC,UAAU,CAAC;QACrE,4BAA4B,EAAE,kCAAkC,CAAC,UAAU,EAAE,OAAO,CAAC;QACrF,uBAAuB,EAAE,uBAAuB,CAAC,UAAU,EAAE,OAAO,CAAC;KACtE,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAC1B,UAAyB,EACzB,QAAgB,EAChB,OAAoC;IAEpC,MAAM,QAAQ,GAAG,kBAAkB,CAAC,UAAU,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACnE,MAAM,SAAS,GAAG,0BAA0B,CAAC,QAAQ,CAAC,CAAC;IACvD,MAAM,QAAQ,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;IAChD,MAAM,SAAS,GAAG,sBAAsB,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;IACxE,MAAM,MAAM,GAAG,EAAE,GAAG,QAAQ,EAAE,GAAG,SAAS,EAAE,CAAC;IAC7C,MAAM,MAAM,GAAG,yBAAyB,CAAC,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;IACtE,MAAM,QAAQ,GAAG,oBAAoB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACxD,MAAM,YAAY,GAAG,mBAAmB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAC9D,OAAO,aAAa,CAAC;QACnB,QAAQ;QACR,SAAS;QACT,QAAQ;QACR,QAAQ;QACR,YAAY;QACZ,MAAM;QACN,SAAS;KACV,CAAC,CAAC;AACL,CAAC"}

package/dist/src/analysis/assumptions/assumed-leaf-contracts.d.ts

@@ -0,0 +1,28 @@
+import type { ChildComponentSource, ChildContractResolver, ContextConsumerSource, HookPresentationConsumer, HookReturnMembers } from "../../rules/child-contract/model.js";
+import type ts from "typescript";
+/**
+ * The project's child-contract resolver with one hypothesis layered on top: the named components
+ * render the prop they receive directly. Every other question still goes to the real resolver.
+ */
+export declare class AssumedLeafContracts implements ChildContractResolver {
+    #private;
+    constructor(base: ChildContractResolver, assumedLeaves: ReadonlySet<string>);
+    componentPropIsLeafRenderConsumer(componentName: string, propName: string): boolean;
+    componentArrayItemCallbackIsDeferred(componentName: string, propName: string, callbackProperty: string): boolean;
+    callbackRegistrationIsDeferred(ownerBinding: string, method: string, argumentIndex: number): boolean;
+    callbackPropertyIsDeferred(hookName: string, argumentIndex: number, property: string): boolean;
+    hookStateHasKeyedRowConsumer(hookName: string, stateProperty: string, setterProperty: string): boolean;
+    hookStateHasSingleLeafConsumer(hookName: string, members: HookReturnMembers): boolean;
+    hookStatePresentationConsumer(hookName: string, members: HookReturnMembers, broadOwnerJsx: number): HookPresentationConsumer | null;
+    componentPropCallbackIsDeferred(componentName: string, propName: string, callbackProperty: string): boolean;
+    componentCallbackPropIsDeferred(componentName: string, propName: string): boolean;
+    componentCallbackPropIsDeferredAtInvocation(componentName: string, propName: string, invocation: ts.JsxOpeningElement | ts.JsxSelfClosingElement): boolean;
+    componentCallbackPropRunsOnlyInReactEffect(componentName: string, propName: string): boolean;
+    contextConsumers(contextName: string): readonly ContextConsumerSource[];
+    contextProviderSites(contextName: string): number;
+    hasPlatformVariant(): boolean;
+    frameworkEventComponent(componentName: string): boolean;
+    pureProjectionBindings(): ReadonlySet<string>;
+    resolveComponent(name: string): ChildComponentSource | null;
+}
+//# sourceMappingURL=assumed-leaf-contracts.d.ts.map

package/dist/src/analysis/assumptions/assumed-leaf-contracts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"assumed-leaf-contracts.d.ts","sourceRoot":"","sources":["../../../../src/analysis/assumptions/assumed-leaf-contracts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,oBAAoB,EACpB,qBAAqB,EACrB,qBAAqB,EACrB,wBAAwB,EACxB,iBAAiB,EAClB,MAAM,qCAAqC,CAAC;AAC7C,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC;;;GAGG;AACH,qBAAa,oBAAqB,YAAW,qBAAqB;;gBAI7C,IAAI,EAAE,qBAAqB,EAAE,aAAa,EAAE,WAAW,CAAC,MAAM,CAAC;IAK3E,iCAAiC,CAAC,aAAa,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO;IAOnF,oCAAoC,CACzC,aAAa,EAAE,MAAM,EACrB,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,GACvB,OAAO;IAQH,8BAA8B,CACnC,YAAY,EAAE,MAAM,EACpB,MAAM,EAAE,MAAM,EACd,aAAa,EAAE,MAAM,GACpB,OAAO;IAIH,0BAA0B,CAC/B,QAAQ,EAAE,MAAM,EAChB,aAAa,EAAE,MAAM,EACrB,QAAQ,EAAE,MAAM,GACf,OAAO;IAIH,4BAA4B,CACjC,QAAQ,EAAE,MAAM,EAChB,aAAa,EAAE,MAAM,EACrB,cAAc,EAAE,MAAM,GACrB,OAAO;IAIH,8BAA8B,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,iBAAiB,GAAG,OAAO;IAIrF,6BAA6B,CAClC,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,iBAAiB,EAC1B,aAAa,EAAE,MAAM,GACpB,wBAAwB,GAAG,IAAI;IAI3B,+BAA+B,CACpC,aAAa,EAAE,MAAM,EACrB,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,GACvB,OAAO;IAIH,+BAA+B,CAAC,aAAa,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO;IAIjF,2CAA2C,CAChD,aAAa,EAAE,MAAM,EACrB,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,EAAE,CAAC,iBAAiB,GAAG,EAAE,CAAC,qBAAqB,GAC1D,OAAO;IAQH,0CAA0C,CAC/C,aAAa,EAAE,MAAM,EACrB,QAAQ,EAAE,MAAM,GACf,OAAO;IAIH,gBAAgB,CAAC,WAAW,EAAE,MAAM,GAAG,SAAS,qBAAqB,EAAE;IAIvE,oBAAoB,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM;IAIjD,kBAAkB,IAAI,OAAO;IAI7B,uBAAuB,CAAC,aAAa,EAAE,MAAM,GAAG,OAAO;IAIvD,sBAAsB,IAAI,WAAW,CAAC,MAAM,CAAC;IAI7C,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,oBAAoB,GAAG,IAAI;CAGnE"}

package/dist/src/analysis/assumptions/assumed-leaf-contracts.js

@@ -0,0 +1,65 @@
+/**
+ * The project's child-contract resolver with one hypothesis layered on top: the named components
+ * render the prop they receive directly. Every other question still goes to the real resolver.
+ */
+export class AssumedLeafContracts {
+    #assumedLeaves;
+    #base;
+    constructor(base, assumedLeaves) {
+        this.#assumedLeaves = assumedLeaves;
+        this.#base = base;
+    }
+    componentPropIsLeafRenderConsumer(componentName, propName) {
+        return (this.#assumedLeaves.has(componentName) ||
+            this.#base.componentPropIsLeafRenderConsumer(componentName, propName));
+    }
+    componentArrayItemCallbackIsDeferred(componentName, propName, callbackProperty) {
+        return this.#base.componentArrayItemCallbackIsDeferred(componentName, propName, callbackProperty);
+    }
+    callbackRegistrationIsDeferred(ownerBinding, method, argumentIndex) {
+        return this.#base.callbackRegistrationIsDeferred(ownerBinding, method, argumentIndex);
+    }
+    callbackPropertyIsDeferred(hookName, argumentIndex, property) {
+        return this.#base.callbackPropertyIsDeferred(hookName, argumentIndex, property);
+    }
+    hookStateHasKeyedRowConsumer(hookName, stateProperty, setterProperty) {
+        return this.#base.hookStateHasKeyedRowConsumer(hookName, stateProperty, setterProperty);
+    }
+    hookStateHasSingleLeafConsumer(hookName, members) {
+        return this.#base.hookStateHasSingleLeafConsumer(hookName, members);
+    }
+    hookStatePresentationConsumer(hookName, members, broadOwnerJsx) {
+        return this.#base.hookStatePresentationConsumer(hookName, members, broadOwnerJsx);
+    }
+    componentPropCallbackIsDeferred(componentName, propName, callbackProperty) {
+        return this.#base.componentPropCallbackIsDeferred(componentName, propName, callbackProperty);
+    }
+    componentCallbackPropIsDeferred(componentName, propName) {
+        return this.#base.componentCallbackPropIsDeferred(componentName, propName);
+    }
+    componentCallbackPropIsDeferredAtInvocation(componentName, propName, invocation) {
+        return this.#base.componentCallbackPropIsDeferredAtInvocation(componentName, propName, invocation);
+    }
+    componentCallbackPropRunsOnlyInReactEffect(componentName, propName) {
+        return this.#base.componentCallbackPropRunsOnlyInReactEffect(componentName, propName);
+    }
+    contextConsumers(contextName) {
+        return this.#base.contextConsumers(contextName);
+    }
+    contextProviderSites(contextName) {
+        return this.#base.contextProviderSites(contextName);
+    }
+    hasPlatformVariant() {
+        return this.#base.hasPlatformVariant();
+    }
+    frameworkEventComponent(componentName) {
+        return this.#base.frameworkEventComponent(componentName);
+    }
+    pureProjectionBindings() {
+        return this.#base.pureProjectionBindings();
+    }
+    resolveComponent(name) {
+        return this.#base.resolveComponent(name);
+    }
+}
+//# sourceMappingURL=assumed-leaf-contracts.js.map

package/dist/src/analysis/assumptions/assumed-leaf-contracts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"assumed-leaf-contracts.js","sourceRoot":"","sources":["../../../../src/analysis/assumptions/assumed-leaf-contracts.ts"],"names":[],"mappings":"AASA;;;GAGG;AACH,MAAM,OAAO,oBAAoB;IACtB,cAAc,CAAsB;IACpC,KAAK,CAAwB;IAEtC,YAAmB,IAA2B,EAAE,aAAkC;QAChF,IAAI,CAAC,cAAc,GAAG,aAAa,CAAC;QACpC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;IACpB,CAAC;IAEM,iCAAiC,CAAC,aAAqB,EAAE,QAAgB;QAC9E,OAAO,CACL,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,aAAa,CAAC;YACtC,IAAI,CAAC,KAAK,CAAC,iCAAiC,CAAC,aAAa,EAAE,QAAQ,CAAC,CACtE,CAAC;IACJ,CAAC;IAEM,oCAAoC,CACzC,aAAqB,EACrB,QAAgB,EAChB,gBAAwB;QAExB,OAAO,IAAI,CAAC,KAAK,CAAC,oCAAoC,CACpD,aAAa,EACb,QAAQ,EACR,gBAAgB,CACjB,CAAC;IACJ,CAAC;IAEM,8BAA8B,CACnC,YAAoB,EACpB,MAAc,EACd,aAAqB;QAErB,OAAO,IAAI,CAAC,KAAK,CAAC,8BAA8B,CAAC,YAAY,EAAE,MAAM,EAAE,aAAa,CAAC,CAAC;IACxF,CAAC;IAEM,0BAA0B,CAC/B,QAAgB,EAChB,aAAqB,EACrB,QAAgB;QAEhB,OAAO,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC,QAAQ,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAC;IAClF,CAAC;IAEM,4BAA4B,CACjC,QAAgB,EAChB,aAAqB,EACrB,cAAsB;QAEtB,OAAO,IAAI,CAAC,KAAK,CAAC,4BAA4B,CAAC,QAAQ,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC;IAC1F,CAAC;IAEM,8BAA8B,CAAC,QAAgB,EAAE,OAA0B;QAChF,OAAO,IAAI,CAAC,KAAK,CAAC,8BAA8B,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACtE,CAAC;IAEM,6BAA6B,CAClC,QAAgB,EAChB,OAA0B,EAC1B,aAAqB;QAErB,OAAO,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC,QAAQ,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;IACpF,CAAC;IAEM,+BAA+B,CACpC,aAAqB,EACrB,QAAgB,EAChB,gBAAwB;QAExB,OAAO,IAAI,CAAC,KAAK,CAAC,+BAA+B,CAAC,aAAa,EAAE,QAAQ,EAAE,gBAAgB,CAAC,CAAC;IAC/F,CAAC;IAEM,+BAA+B,CAAC,aAAqB,EAAE,QAAgB;QAC5E,OAAO,IAAI,CAAC,KAAK,CAAC,+BAA+B,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;IAC7E,CAAC;IAEM,2CAA2C,CAChD,aAAqB,EACrB,QAAgB,EAChB,UAA2D;QAE3D,OAAO,IAAI,CAAC,KAAK,CAAC,2CAA2C,CAC3D,aAAa,EACb,QAAQ,EACR,UAAU,CACX,CAAC;IACJ,CAAC;IAEM,0CAA0C,CAC/C,aAAqB,EACrB,QAAgB;QAEhB,OAAO,IAAI,CAAC,KAAK,CAAC,0CAA0C,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;IACxF,CAAC;IAEM,gBAAgB,CAAC,WAAmB;QACzC,OAAO,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,WAAW,CAAC,CAAC;IAClD,CAAC;IAEM,oBAAoB,CAAC,WAAmB;QAC7C,OAAO,IAAI,CAAC,KAAK,CAAC,oBAAoB,CAAC,WAAW,CAAC,CAAC;IACtD,CAAC;IAEM,kBAAkB;QACvB,OAAO,IAAI,CAAC,KAAK,CAAC,kBAAkB,EAAE,CAAC;IACzC,CAAC;IAEM,uBAAuB,CAAC,aAAqB;QAClD,OAAO,IAAI,CAAC,KAAK,CAAC,uBAAuB,CAAC,aAAa,CAAC,CAAC;IAC3D,CAAC;IAEM,sBAAsB;QAC3B,OAAO,IAAI,CAAC,KAAK,CAAC,sBAAsB,EAAE,CAAC;IAC7C,CAAC;IAEM,gBAAgB,CAAC,IAAY;QAClC,OAAO,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC;CACF"}

package/dist/src/analysis/assumptions/confirmation-format-error.d.ts

@@ -0,0 +1,5 @@
+/** A confirmations file that does not match the documented `{ "confirmations": [...] }` shape. */
+export declare class ConfirmationFormatError extends Error {
+    constructor(message: string);
+}
+//# sourceMappingURL=confirmation-format-error.d.ts.map

package/dist/src/analysis/assumptions/confirmation-format-error.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"confirmation-format-error.d.ts","sourceRoot":"","sources":["../../../../src/analysis/assumptions/confirmation-format-error.ts"],"names":[],"mappings":"AAAA,kGAAkG;AAClG,qBAAa,uBAAwB,SAAQ,KAAK;gBAC7B,OAAO,EAAE,MAAM;CAInC"}

package/dist/src/analysis/assumptions/confirmation-format-error.js

@@ -0,0 +1,8 @@
+/** A confirmations file that does not match the documented `{ "confirmations": [...] }` shape. */
+export class ConfirmationFormatError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = "ConfirmationFormatError";
+    }
+}
+//# sourceMappingURL=confirmation-format-error.js.map

package/dist/src/analysis/assumptions/confirmation-format-error.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"confirmation-format-error.js","sourceRoot":"","sources":["../../../../src/analysis/assumptions/confirmation-format-error.ts"],"names":[],"mappings":"AAAA,kGAAkG;AAClG,MAAM,OAAO,uBAAwB,SAAQ,KAAK;IAChD,YAAmB,OAAe;QAChC,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,yBAAyB,CAAC;IACxC,CAAC;CACF"}

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

@@ -0,0 +1,26 @@
+import type { AssumptionAnswer } from "../../core/types.js";
+/** One answered review question, as written in a confirmations file. */
+export interface Confirmation {
+    readonly answer: AssumptionAnswer;
+    /** The owner fingerprint the answer was given for; a changed owner makes the answer stale. */
+    readonly fingerprint?: string;
+    readonly id: string;
+    readonly note?: string;
+}
+/** Every answer a scan honours, keyed by the stable assumption id. */
+export declare class ConfirmationSet {
+    #private;
+    constructor(confirmations: readonly Confirmation[], source?: string | null);
+    answerFor(id: string): AssumptionAnswer | null;
+    confirmationFor(id: string): Confirmation | null;
+    get ids(): readonly string[];
+    get size(): number;
+    /** The file the answers came from, for the report. */
+    get source(): string | null;
+}
+/**
+ * Parses `{ "confirmations": [{ "id", "answer": "yes" | "no", "fingerprint"?, "note"? }] }`.
+ * Duplicate ids keep the last answer, so an appended correction wins.
+ */
+export declare function parseConfirmations(text: string, source?: string | null): ConfirmationSet;
+//# sourceMappingURL=confirmations.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"confirmations.d.ts","sourceRoot":"","sources":["../../../../src/analysis/assumptions/confirmations.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAG5D,wEAAwE;AACxE,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAClC,8FAA8F;IAC9F,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,sEAAsE;AACtE,qBAAa,eAAe;;gBAIP,aAAa,EAAE,SAAS,YAAY,EAAE,EAAE,MAAM,GAAE,MAAM,GAAG,IAAW;IAOhF,SAAS,CAAC,EAAE,EAAE,MAAM,GAAG,gBAAgB,GAAG,IAAI;IAI9C,eAAe,CAAC,EAAE,EAAE,MAAM,GAAG,YAAY,GAAG,IAAI;IAIvD,IAAW,GAAG,IAAI,SAAS,MAAM,EAAE,CAElC;IAED,IAAW,IAAI,IAAI,MAAM,CAExB;IAED,sDAAsD;IACtD,IAAW,MAAM,IAAI,MAAM,GAAG,IAAI,CAEjC;CACF;AAwFD;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,GAAE,MAAM,GAAG,IAAW,GAAG,eAAe,CAW9F"}