legend-doctor 0.1.0

package/dist/src/core/react-component-wrappers.js

@@ -0,0 +1,90 @@
+import ts from "typescript";
+import { unwrapTransparentExpression } from "./analysis-ast.js";
+export function collectReactComponentWrappers(sourceFile) {
+    const names = new Set();
+    const namespaces = new Set();
+    for (const statement of sourceFile.statements) {
+        const clause = reactImportClause(statement);
+        if (clause) {
+            collectWrapperBindings(clause, names, namespaces);
+        }
+    }
+    addConstAliases(sourceFile, names);
+    return { names, namespaces };
+}
+export function isReactComponentWrapper(expression, wrappers) {
+    return ts.isIdentifier(expression)
+        ? wrappers.names.has(expression.text)
+        : ts.isPropertyAccessExpression(expression) &&
+            ts.isIdentifier(expression.expression) &&
+            wrappers.namespaces.has(expression.expression.text) &&
+            (expression.name.text === "memo" || expression.name.text === "forwardRef");
+}
+function reactImportClause(statement) {
+    if (!ts.isImportDeclaration(statement) ||
+        !ts.isStringLiteral(statement.moduleSpecifier) ||
+        statement.moduleSpecifier.text !== "react") {
+        return null;
+    }
+    const clause = statement.importClause;
+    return clause && !clause.isTypeOnly ? clause : null;
+}
+function collectWrapperBindings(clause, names, namespaces) {
+    if (clause.name) {
+        namespaces.add(clause.name.text);
+    }
+    const { namedBindings } = clause;
+    if (!namedBindings) {
+        return;
+    }
+    if (ts.isNamespaceImport(namedBindings)) {
+        namespaces.add(namedBindings.name.text);
+        return;
+    }
+    collectWrapperNames(namedBindings, names);
+}
+function collectWrapperNames(namedImports, names) {
+    for (const element of namedImports.elements) {
+        if (element.isTypeOnly) {
+            continue;
+        }
+        const imported = element.propertyName?.text ?? element.name.text;
+        if (imported === "memo" || imported === "forwardRef") {
+            names.add(element.name.text);
+        }
+    }
+}
+function addConstAliases(sourceFile, wrappers) {
+    let changed = true;
+    while (changed) {
+        changed = false;
+        for (const statement of sourceFile.statements) {
+            if (!isConstVariableStatement(statement)) {
+                continue;
+            }
+            for (const declaration of statement.declarationList.declarations) {
+                if (addAliasForWrappedInitializer(declaration, wrappers)) {
+                    changed = true;
+                }
+            }
+        }
+    }
+}
+function isConstVariableStatement(statement) {
+    return (ts.isVariableStatement(statement) &&
+        (statement.declarationList.flags & ts.NodeFlags.Const) !== 0);
+}
+function addAliasForWrappedInitializer(declaration, wrappers) {
+    if (!ts.isIdentifier(declaration.name) || !declaration.initializer) {
+        return false;
+    }
+    const source = unwrapTransparentExpression(declaration.initializer);
+    if (!ts.isIdentifier(source) ||
+        !wrappers.has(source.text) ||
+        wrappers.has(declaration.name.text)) {
+        return false;
+    }
+    wrappers.add(declaration.name.text);
+    return true;
+}
+//# sourceMappingURL=react-component-wrappers.js.map

package/dist/src/core/react-component-wrappers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"react-component-wrappers.js","sourceRoot":"","sources":["../../../src/core/react-component-wrappers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAAE,2BAA2B,EAAE,MAAM,mBAAmB,CAAC;AAOhE,MAAM,UAAU,6BAA6B,CAAC,UAAyB;IACrE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QAC9C,MAAM,MAAM,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAC;QAC5C,IAAI,MAAM,EAAE,CAAC;YACX,sBAAsB,CAAC,MAAM,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;QACpD,CAAC;IACH,CAAC;IACD,eAAe,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IACnC,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;AAC/B,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,UAAqC,EACrC,QAAgC;IAEhC,OAAO,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC;QAChC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC;QACrC,CAAC,CAAC,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC;YACvC,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,UAAU,CAAC;YACtC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC;YACnD,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;AACnF,CAAC;AAED,SAAS,iBAAiB,CAAC,SAAuB;IAChD,IACE,CAAC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC;QAClC,CAAC,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,eAAe,CAAC;QAC9C,SAAS,CAAC,eAAe,CAAC,IAAI,KAAK,OAAO,EAC1C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,SAAS,CAAC,YAAY,CAAC;IACtC,OAAO,MAAM,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;AACtD,CAAC;AAED,SAAS,sBAAsB,CAC7B,MAAuB,EACvB,KAAkB,EAClB,UAAuB;IAEvB,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAChB,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC;IACD,MAAM,EAAE,aAAa,EAAE,GAAG,MAAM,CAAC;IACjC,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO;IACT,CAAC;IACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,aAAa,CAAC,EAAE,CAAC;QACxC,UAAU,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,OAAO;IACT,CAAC;IACD,mBAAmB,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,mBAAmB,CAAC,YAA6B,EAAE,KAAkB;IAC5E,KAAK,MAAM,OAAO,IAAI,YAAY,CAAC,QAAQ,EAAE,CAAC;QAC5C,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;YACvB,SAAS;QACX,CAAC;QACD,MAAM,QAAQ,GAAG,OAAO,CAAC,YAAY,EAAE,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;QACjE,IAAI,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,YAAY,EAAE,CAAC;YACrD,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CAAC,UAAyB,EAAE,QAAqB;IACvE,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,OAAO,OAAO,EAAE,CAAC;QACf,OAAO,GAAG,KAAK,CAAC;QAChB,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;YAC9C,IAAI,CAAC,wBAAwB,CAAC,SAAS,CAAC,EAAE,CAAC;gBACzC,SAAS;YACX,CAAC;YACD,KAAK,MAAM,WAAW,IAAI,SAAS,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;gBACjE,IAAI,6BAA6B,CAAC,WAAW,EAAE,QAAQ,CAAC,EAAE,CAAC;oBACzD,OAAO,GAAG,IAAI,CAAC;gBACjB,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,wBAAwB,CAAC,SAAuB;IACvD,OAAO,CACL,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC;QACjC,CAAC,SAAS,CAAC,eAAe,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAC7D,CAAC;AACJ,CAAC;AAED,SAAS,6BAA6B,CACpC,WAAmC,EACnC,QAAqB;IAErB,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC;QACnE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,2BAA2B,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;IACpE,IACE,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;QACxB,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;QAC1B,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EACnC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/src/core/types.d.ts

@@ -0,0 +1,175 @@
+type Confidence = "certain" | "probable";
+declare const SCHEMA_VERSION: 3;
+type AbstentionReason = "atomic-transition-unproven" | "binding-shape-unsupported" | "callback-timing-unresolved" | "child-contract-unresolved" | "effect-callback-unresolved" | "effect-causal-owner-unresolved" | "effect-write-ownership-unresolved" | "lifecycle-equivalence-unproven" | "mount-identity-unproven" | "no-proven-optimization" | "ownership-flow-unresolved" | "paired-draft-effect-preserved" | "react-commit-sensitive" | "render-cut-unproven" | "state-type-unresolved";
+type AssumptionAnswer = "no" | "yes";
+type AssumptionStatus = "confirmed" | "open" | "rejected" | "stale";
+/** One place an agent must read to answer a review question, and what to verify there. */
+interface ResearchStep {
+    check: string;
+    file: string;
+    line: number;
+}
+/** An open review question ordered by the renders an answer is expected to save. */
+interface RankedQuestion {
+    file: string;
+    id: string;
+    ifConfirmed: StateAssumption["ifConfirmed"];
+    line: number;
+    name: string | null;
+    /** Render cost weighted by update sites; the sort key. */
+    priority: number;
+    rank: number;
+}
+/**
+ * What a confirmed answer turns a finding into. Deletions need a full proof and keeps need none;
+ * a group member another blocker still holds reports `review-state` with a `nextBlocker`.
+ */
+type AssumptionOutcome = Exclude<StateAction, "delete-derived-state" | "delete-unused-state" | "keep-state"> | "use-mount";
+/** One member of a co-written group and what confirming the group does to it. */
+interface AssumptionGroupMember {
+    name: string;
+    /** The blocker that still stands for this member once the group is confirmed. */
+    nextBlocker?: AbstentionReason;
+    outcome: AssumptionOutcome;
+}
+/** A yes/no fact that would turn a review finding into a conversion. */
+interface StateAssumption {
+    /** The blockers a "yes" assumes away, in the order they were removed; usually one, at most two. */
+    facts: AbstentionReason[];
+    /** Digest of the owner's source; an answer recorded for a different digest is stale. */
+    fingerprint: string;
+    /** Stable across line shifts: report file, owner name, state name, and blocker reasons. */
+    id: string;
+    /** The action this finding takes once the assumption is confirmed. */
+    ifConfirmed: AssumptionOutcome;
+    /** Present on co-written group questions: every member and its outcome once the group is confirmed. */
+    members?: AssumptionGroupMember[];
+    /** The concrete fact to confirm, phrased so "yes" justifies the conversion. */
+    question: string;
+    /** JSX elements the owner renders per update of this state; rank open questions by it. */
+    renderCost: number;
+    /** Exact places to read, in order, before answering. */
+    research: ResearchStep[];
+    status: AssumptionStatus;
+    /** Setter call sites, an update-frequency proxy for ranking. */
+    updateSites: number;
+}
+type StateAction = "keep-state" | "delete-unused-state" | "move-state-down" | "use-observable" | "use-value" | "delete-derived-state" | "use-ref" | "review-state";
+type EffectAction = "delete-effect" | "move-to-event" | "use-mount" | "use-unmount" | "use-observe-effect" | "persist-observable" | "keep-effect" | "review-effect";
+type HookAction = StateAction | EffectAction;
+type LegendPracticeAction = "assign-observable-fields" | "batch-observable-writes" | "derive-computed-observable" | "move-use-value-into-child" | "move-use-value-down" | "narrow-observable-write" | "narrow-use-value-subscription" | "pass-observable-to-reactive-input" | "pass-observable-to-use-value" | "replace-legacy-use-value" | "reuse-observable-reference" | "snapshot-computed-initializer" | "split-use-value-leaves" | "split-use-value-result" | "toggle-observable" | "use-peek-for-snapshot" | "use-value-for-render-read";
+interface SourceLocation {
+    column: number;
+    file: string;
+    line: number;
+}
+/** How to check a conversion that rests on a confirmed answer rather than a proof. */
+interface Verification {
+    /** The observable outcome that must hold for the answer to stand. */
+    expect: string;
+    /** The package export that provides the jsdom mount and render-count helpers. */
+    harness: string;
+    steps: string[];
+}
+interface HookFindingBase {
+    /** Present on review findings with a confirmable blocker, and on findings a confirmation converted. */
+    assumption?: StateAssumption;
+    /** Present on findings a confirmation converted: the runtime check that validates the answer. */
+    verification?: Verification;
+    /** Open question ids whose answers settle this review effect; answer those, not the effect. */
+    waitsOn?: string[];
+    confidence: Confidence;
+    disposition: "candidate" | "change" | "keep";
+    evidence: readonly string[];
+    hook: "useEffect" | "useState";
+    group?: {
+        id: string;
+        kind: "state-cluster";
+        members: readonly string[];
+        primary: boolean;
+    };
+    location: SourceLocation;
+    /** Present when the compact tier admitted an owner below the default broad-owner size. */
+    materiality?: "compact";
+    message: string;
+    name: string | null;
+    stateModel?: {
+        ownership: "delete" | "existing-observable" | "local-observable" | "react" | "ref" | "review";
+        subscription: "leaf-react" | "leaf-use-value" | "none" | "owner-react" | "owner-use-value" | "review";
+    };
+}
+type HookFinding = HookFindingBase & ({
+    abstentionReason: AbstentionReason;
+    action: "review-effect" | "review-state";
+} | {
+    abstentionReason?: never;
+    action: Exclude<HookAction, "review-effect" | "review-state">;
+});
+interface LegendPracticeFinding {
+    action: LegendPracticeAction;
+    confidence: Confidence;
+    disposition: "change" | "style";
+    evidence: readonly string[];
+    location: SourceLocation;
+    message: string;
+    practice: "assign" | "batch" | "ownership" | "reactivity";
+}
+/** How the confirmations file matched the scan's assumptions. */
+interface ReportConfirmations {
+    /** Confirmed assumptions that turned a review finding into a conversion. */
+    applied: number;
+    rejected: number;
+    /** The confirmations file that was read, or null when answers came from the API. */
+    source: string | null;
+    /** Answers whose owner fingerprint no longer matches; asked again, not applied. */
+    stale: number;
+    /** Confirmation ids no finding in this scan produced. */
+    unmatched: string[];
+}
+interface AnalysisReport {
+    /** Present when a confirmations file was supplied. */
+    confirmations?: ReportConfirmations;
+    files: number;
+    /** Open review questions, highest expected render saving first; present when any exist. */
+    questions?: RankedQuestion[];
+    findings: HookFinding[];
+    hooks: {
+        effects: number;
+        states: number;
+        total: number;
+    };
+    practices: LegendPracticeFinding[];
+    capabilities: ReportCapabilities;
+    schemaVersion: typeof SCHEMA_VERSION;
+    /** Present when a file filter narrowed the analyzed files below the loaded context. */
+    scope?: ReportScope;
+}
+type UseValueExport = "alias" | "distinct" | "missing" | "unknown";
+type SyncExport = "available" | "missing" | "unknown";
+interface InstalledLegendState {
+    /** Whether the installed package exposes the sync entry point that carries `synced` and `syncObservable`. */
+    syncExport: SyncExport;
+    /** How the installed react entry point exports useValue relative to useSelector. */
+    useValueExport: UseValueExport;
+    version: string;
+}
+interface DisabledRule {
+    detail: string;
+    /** Analyzed files in which the rule was skipped. */
+    files: number;
+    reason: string;
+    rule: string;
+}
+interface ReportCapabilities {
+    disabledRules: DisabledRule[];
+    legendState: InstalledLegendState | null;
+    /** The analysis root's package or bundler config enables the React Compiler. */
+    reactCompiler: boolean;
+}
+interface ReportScope {
+    /** Files loaded for cross-file proofs, including the ones the filter excluded from analysis. */
+    contextFiles: number;
+}
+export { SCHEMA_VERSION };
+export type { AbstentionReason, AssumptionAnswer, AssumptionGroupMember, AssumptionStatus, AnalysisReport, Confidence, DisabledRule, EffectAction, HookAction, HookFinding, InstalledLegendState, RankedQuestion, LegendPracticeAction, LegendPracticeFinding, ReportCapabilities, ReportConfirmations, ReportScope, ResearchStep, SourceLocation, StateAction, StateAssumption, SyncExport, UseValueExport, Verification, };
+//# sourceMappingURL=types.d.ts.map

package/dist/src/core/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/core/types.ts"],"names":[],"mappings":"AAAA,KAAK,UAAU,GAAG,SAAS,GAAG,UAAU,CAAC;AAGzC,QAAA,MAAM,cAAc,EAAG,CAAU,CAAC;AAElC,KAAK,gBAAgB,GACjB,4BAA4B,GAC5B,2BAA2B,GAC3B,4BAA4B,GAC5B,2BAA2B,GAC3B,4BAA4B,GAC5B,gCAAgC,GAChC,mCAAmC,GACnC,gCAAgC,GAChC,yBAAyB,GACzB,wBAAwB,GACxB,2BAA2B,GAC3B,+BAA+B,GAC/B,wBAAwB,GACxB,qBAAqB,GACrB,uBAAuB,CAAC;AAE5B,KAAK,gBAAgB,GAAG,IAAI,GAAG,KAAK,CAAC;AAErC,KAAK,gBAAgB,GAAG,WAAW,GAAG,MAAM,GAAG,UAAU,GAAG,OAAO,CAAC;AAEpE,0FAA0F;AAC1F,UAAU,YAAY;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;CACd;AAED,oFAAoF;AACpF,UAAU,cAAc;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,eAAe,CAAC,aAAa,CAAC,CAAC;IAC5C,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,0DAA0D;IAC1D,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;GAGG;AACH,KAAK,iBAAiB,GAClB,OAAO,CAAC,WAAW,EAAE,sBAAsB,GAAG,qBAAqB,GAAG,YAAY,CAAC,GACnF,WAAW,CAAC;AAEhB,iFAAiF;AACjF,UAAU,qBAAqB;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,iFAAiF;IACjF,WAAW,CAAC,EAAE,gBAAgB,CAAC;IAC/B,OAAO,EAAE,iBAAiB,CAAC;CAC5B;AAED,wEAAwE;AACxE,UAAU,eAAe;IACvB,mGAAmG;IACnG,KAAK,EAAE,gBAAgB,EAAE,CAAC;IAC1B,wFAAwF;IACxF,WAAW,EAAE,MAAM,CAAC;IACpB,2FAA2F;IAC3F,EAAE,EAAE,MAAM,CAAC;IACX,sEAAsE;IACtE,WAAW,EAAE,iBAAiB,CAAC;IAC/B,uGAAuG;IACvG,OAAO,CAAC,EAAE,qBAAqB,EAAE,CAAC;IAClC,+EAA+E;IAC/E,QAAQ,EAAE,MAAM,CAAC;IACjB,0FAA0F;IAC1F,UAAU,EAAE,MAAM,CAAC;IACnB,wDAAwD;IACxD,QAAQ,EAAE,YAAY,EAAE,CAAC;IACzB,MAAM,EAAE,gBAAgB,CAAC;IACzB,gEAAgE;IAChE,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,KAAK,WAAW,GACZ,YAAY,GACZ,qBAAqB,GACrB,iBAAiB,GACjB,gBAAgB,GAChB,WAAW,GACX,sBAAsB,GACtB,SAAS,GACT,cAAc,CAAC;AAEnB,KAAK,YAAY,GACb,eAAe,GACf,eAAe,GACf,WAAW,GACX,aAAa,GACb,oBAAoB,GACpB,oBAAoB,GACpB,aAAa,GACb,eAAe,CAAC;AAEpB,KAAK,UAAU,GAAG,WAAW,GAAG,YAAY,CAAC;AAE7C,KAAK,oBAAoB,GACrB,0BAA0B,GAC1B,yBAAyB,GACzB,4BAA4B,GAC5B,2BAA2B,GAC3B,qBAAqB,GACrB,yBAAyB,GACzB,+BAA+B,GAC/B,mCAAmC,GACnC,8BAA8B,GAC9B,0BAA0B,GAC1B,4BAA4B,GAC5B,+BAA+B,GAC/B,wBAAwB,GACxB,wBAAwB,GACxB,mBAAmB,GACnB,uBAAuB,GACvB,2BAA2B,CAAC;AAEhC,UAAU,cAAc;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;CACd;AAED,sFAAsF;AACtF,UAAU,YAAY;IACpB,qEAAqE;IACrE,MAAM,EAAE,MAAM,CAAC;IACf,iFAAiF;IACjF,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,UAAU,eAAe;IACvB,uGAAuG;IACvG,UAAU,CAAC,EAAE,eAAe,CAAC;IAC7B,iGAAiG;IACjG,YAAY,CAAC,EAAE,YAAY,CAAC;IAC5B,+FAA+F;IAC/F,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,UAAU,EAAE,UAAU,CAAC;IACvB,WAAW,EAAE,WAAW,GAAG,QAAQ,GAAG,MAAM,CAAC;IAC7C,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5B,IAAI,EAAE,WAAW,GAAG,UAAU,CAAC;IAC/B,KAAK,CAAC,EAAE;QACN,EAAE,EAAE,MAAM,CAAC;QACX,IAAI,EAAE,eAAe,CAAC;QACtB,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;QAC3B,OAAO,EAAE,OAAO,CAAC;KAClB,CAAC;IACF,QAAQ,EAAE,cAAc,CAAC;IACzB,0FAA0F;IAC1F,WAAW,CAAC,EAAE,SAAS,CAAC;IACxB,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,UAAU,CAAC,EAAE;QACX,SAAS,EAAE,QAAQ,GAAG,qBAAqB,GAAG,kBAAkB,GAAG,OAAO,GAAG,KAAK,GAAG,QAAQ,CAAC;QAC9F,YAAY,EACR,YAAY,GACZ,gBAAgB,GAChB,MAAM,GACN,aAAa,GACb,iBAAiB,GACjB,QAAQ,CAAC;KACd,CAAC;CACH;AAED,KAAK,WAAW,GAAG,eAAe,GAChC,CACI;IACE,gBAAgB,EAAE,gBAAgB,CAAC;IACnC,MAAM,EAAE,eAAe,GAAG,cAAc,CAAC;CAC1C,GACD;IACE,gBAAgB,CAAC,EAAE,KAAK,CAAC;IACzB,MAAM,EAAE,OAAO,CAAC,UAAU,EAAE,eAAe,GAAG,cAAc,CAAC,CAAC;CAC/D,CACJ,CAAC;AAEJ,UAAU,qBAAqB;IAC7B,MAAM,EAAE,oBAAoB,CAAC;IAC7B,UAAU,EAAE,UAAU,CAAC;IACvB,WAAW,EAAE,QAAQ,GAAG,OAAO,CAAC;IAChC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5B,QAAQ,EAAE,cAAc,CAAC;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,QAAQ,GAAG,OAAO,GAAG,WAAW,GAAG,YAAY,CAAC;CAC3D;AAED,iEAAiE;AACjE,UAAU,mBAAmB;IAC3B,4EAA4E;IAC5E,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,oFAAoF;IACpF,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,mFAAmF;IACnF,KAAK,EAAE,MAAM,CAAC;IACd,yDAAyD;IACzD,SAAS,EAAE,MAAM,EAAE,CAAC;CACrB;AAED,UAAU,cAAc;IACtB,sDAAsD;IACtD,aAAa,CAAC,EAAE,mBAAmB,CAAC;IACpC,KAAK,EAAE,MAAM,CAAC;IACd,2FAA2F;IAC3F,SAAS,CAAC,EAAE,cAAc,EAAE,CAAC;IAC7B,QAAQ,EAAE,WAAW,EAAE,CAAC;IACxB,KAAK,EAAE;QACL,OAAO,EAAE,MAAM,CAAC;QAChB,MAAM,EAAE,MAAM,CAAC;QACf,KAAK,EAAE,MAAM,CAAC;KACf,CAAC;IACF,SAAS,EAAE,qBAAqB,EAAE,CAAC;IACnC,YAAY,EAAE,kBAAkB,CAAC;IACjC,aAAa,EAAE,OAAO,cAAc,CAAC;IACrC,uFAAuF;IACvF,KAAK,CAAC,EAAE,WAAW,CAAC;CACrB;AAED,KAAK,cAAc,GAAG,OAAO,GAAG,UAAU,GAAG,SAAS,GAAG,SAAS,CAAC;AAEnE,KAAK,UAAU,GAAG,WAAW,GAAG,SAAS,GAAG,SAAS,CAAC;AAEtD,UAAU,oBAAoB;IAC5B,6GAA6G;IAC7G,UAAU,EAAE,UAAU,CAAC;IACvB,oFAAoF;IACpF,cAAc,EAAE,cAAc,CAAC;IAC/B,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,UAAU,YAAY;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,oDAAoD;IACpD,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;CACd;AAED,UAAU,kBAAkB;IAC1B,aAAa,EAAE,YAAY,EAAE,CAAC;IAC9B,WAAW,EAAE,oBAAoB,GAAG,IAAI,CAAC;IACzC,gFAAgF;IAChF,aAAa,EAAE,OAAO,CAAC;CACxB;AAED,UAAU,WAAW;IACnB,gGAAgG;IAChG,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,OAAO,EAAE,cAAc,EAAE,CAAC;AAC1B,YAAY,EACV,gBAAgB,EAChB,gBAAgB,EAChB,qBAAqB,EACrB,gBAAgB,EAChB,cAAc,EACd,UAAU,EACV,YAAY,EACZ,YAAY,EACZ,UAAU,EACV,WAAW,EACX,oBAAoB,EACpB,cAAc,EACd,oBAAoB,EACpB,qBAAqB,EACrB,kBAAkB,EAClB,mBAAmB,EACnB,WAAW,EACX,YAAY,EACZ,cAAc,EACd,WAAW,EACX,eAAe,EACf,UAAU,EACV,cAAc,EACd,YAAY,GACb,CAAC"}

package/dist/src/core/types.js

@@ -0,0 +1,4 @@
+// oxlint-disable-next-line eslint/no-magic-numbers -- Public JSON protocol version.
+const SCHEMA_VERSION = 3;
+export { SCHEMA_VERSION };
+//# sourceMappingURL=types.js.map

package/dist/src/core/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/core/types.ts"],"names":[],"mappings":"AAEA,oFAAoF;AACpF,MAAM,cAAc,GAAG,CAAU,CAAC;AAiQlC,OAAO,EAAE,cAAc,EAAE,CAAC"}

package/dist/src/index.d.ts

@@ -0,0 +1,19 @@
+export { createAnalysisContext } from "./project/analyze-path/analysis-context.js";
+export { analyzePath, analyzePathDetailed } from "./project/analyze-path/analyze-path.js";
+export { analyzeSource } from "./analysis/analyze-source.js";
+export { AnalysisProject, createAnalysisFile } from "./project/analysis-project.js";
+export { createSemanticContext } from "./project/semantic-context/semantic-context.js";
+export { resolveInstalledLegendState } from "./project/legend-state-package.js";
+export { GitScopeError, resolveScopedFiles } from "./project/git-scope.js";
+export { PRACTICE_RULES, disabledPracticeRules, enabledPracticeRules, } from "./practices/practice-rules.js";
+export { SCHEMA_VERSION } from "./core/types.js";
+export type { ScanScope, ScanScopeMode } from "./project/git-scope.js";
+export type { FileCapabilities } from "./project/capabilities.js";
+export type { DisabledPracticeRule, PracticeRule, PracticeRuleGate, PracticeRuleGateReason, PracticeRuleId, PracticeRuleInput, } from "./practices/practice-rules.js";
+export type { AnalysisContext, AnalysisContextOptions, } from "./project/analyze-path/analysis-context.js";
+export type { DetailedAnalysisResult } from "./project/analyze-path/analyze-path.js";
+export type { AnalysisCoverageOutcome, AnalysisCoverageEntry, AnalysisCoverageReport, AnalysisCoverageStage, AnalysisCoverageStages, AnalysisCoverageStatus, AnalysisCoverageTarget, } from "./project/analysis-coverage.js";
+export type { AnalysisDiagnostic, AnalysisDialect, AnalysisFile, } from "./project/analysis-project.js";
+export type { CreateSemanticContextOptions, ImportProvenance, SemanticContext, SemanticContextDiagnostic, SemanticContextResult, } from "./project/semantic-context/model.js";
+export type { AbstentionReason, AnalysisReport, Confidence, DisabledRule, EffectAction, HookAction, HookFinding, InstalledLegendState, LegendPracticeAction, LegendPracticeFinding, ReportCapabilities, ReportScope, StateAction, SyncExport, UseValueExport, } from "./core/types.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/src/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,4CAA4C,CAAC;AACnF,OAAO,EAAE,WAAW,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AAC1F,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AACpF,OAAO,EAAE,qBAAqB,EAAE,MAAM,gDAAgD,CAAC;AACvF,OAAO,EAAE,2BAA2B,EAAE,MAAM,mCAAmC,CAAC;AAChF,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC3E,OAAO,EACL,cAAc,EACd,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjD,YAAY,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AACvE,YAAY,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAClE,YAAY,EACV,oBAAoB,EACpB,YAAY,EACZ,gBAAgB,EAChB,sBAAsB,EACtB,cAAc,EACd,iBAAiB,GAClB,MAAM,+BAA+B,CAAC;AACvC,YAAY,EACV,eAAe,EACf,sBAAsB,GACvB,MAAM,4CAA4C,CAAC;AACpD,YAAY,EAAE,sBAAsB,EAAE,MAAM,wCAAwC,CAAC;AACrF,YAAY,EACV,uBAAuB,EACvB,qBAAqB,EACrB,sBAAsB,EACtB,qBAAqB,EACrB,sBAAsB,EACtB,sBAAsB,EACtB,sBAAsB,GACvB,MAAM,gCAAgC,CAAC;AACxC,YAAY,EACV,kBAAkB,EAClB,eAAe,EACf,YAAY,GACb,MAAM,+BAA+B,CAAC;AACvC,YAAY,EACV,4BAA4B,EAC5B,gBAAgB,EAChB,eAAe,EACf,yBAAyB,EACzB,qBAAqB,GACtB,MAAM,qCAAqC,CAAC;AAC7C,YAAY,EACV,gBAAgB,EAChB,cAAc,EACd,UAAU,EACV,YAAY,EACZ,YAAY,EACZ,UAAU,EACV,WAAW,EACX,oBAAoB,EACpB,oBAAoB,EACpB,qBAAqB,EACrB,kBAAkB,EAClB,WAAW,EACX,WAAW,EACX,UAAU,EACV,cAAc,GACf,MAAM,iBAAiB,CAAC"}

package/dist/src/index.js

@@ -0,0 +1,10 @@
+export { createAnalysisContext } from "./project/analyze-path/analysis-context.js";
+export { analyzePath, analyzePathDetailed } from "./project/analyze-path/analyze-path.js";
+export { analyzeSource } from "./analysis/analyze-source.js";
+export { AnalysisProject, createAnalysisFile } from "./project/analysis-project.js";
+export { createSemanticContext } from "./project/semantic-context/semantic-context.js";
+export { resolveInstalledLegendState } from "./project/legend-state-package.js";
+export { GitScopeError, resolveScopedFiles } from "./project/git-scope.js";
+export { PRACTICE_RULES, disabledPracticeRules, enabledPracticeRules, } from "./practices/practice-rules.js";
+export { SCHEMA_VERSION } from "./core/types.js";
+//# sourceMappingURL=index.js.map

package/dist/src/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,4CAA4C,CAAC;AACnF,OAAO,EAAE,WAAW,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AAC1F,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AACpF,OAAO,EAAE,qBAAqB,EAAE,MAAM,gDAAgD,CAAC;AACvF,OAAO,EAAE,2BAA2B,EAAE,MAAM,mCAAmC,CAAC;AAChF,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC3E,OAAO,EACL,cAAc,EACd,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC"}

package/dist/src/practices/analyze-legend-practices.d.ts

@@ -0,0 +1,28 @@
+import type { AnalysisFile } from "../project/analysis-project.js";
+import type { ChildContractResolver } from "../rules/child-contract/model.js";
+import type { FileCapabilities } from "../project/capabilities.js";
+import type { InstalledLegendState } from "../project/legend-state-package.js";
+import type { LegendPracticeFinding } from "../core/types.js";
+export interface LegendPracticesSourceRequest {
+    readonly fileName: string;
+    readonly importedObservableArrayPaths?: ReadonlySet<string>;
+    readonly importedObservableFactories?: ReadonlySet<string>;
+    readonly importedObservableKeys?: ReadonlyMap<string, ReadonlySet<string>>;
+    readonly importedObservables?: ReadonlySet<string>;
+    readonly installedLegendState?: InstalledLegendState | null;
+    readonly sourceText: string;
+}
+export declare function analyzeLegendPractices({ fileName, importedObservableArrayPaths, importedObservableFactories, importedObservableKeys, importedObservables, installedLegendState, sourceText, }: LegendPracticesSourceRequest): LegendPracticeFinding[];
+export interface LegendPracticesFileRequest {
+    readonly capabilities?: FileCapabilities;
+    readonly childContracts?: ChildContractResolver | null;
+    readonly file: AnalysisFile;
+    readonly importedObservableArrayPaths?: ReadonlySet<string>;
+    readonly importedObservableFactories?: ReadonlySet<string>;
+    readonly importedObservableKeys?: ReadonlyMap<string, ReadonlySet<string>>;
+    readonly importedObservables?: ReadonlySet<string>;
+    readonly includeFindings?: boolean;
+    readonly reportFileName: string;
+}
+export declare function analyzeLegendPracticesFile({ capabilities, childContracts, file, importedObservableArrayPaths, importedObservableFactories, importedObservableKeys, importedObservables, includeFindings, reportFileName, }: LegendPracticesFileRequest): LegendPracticeFinding[];
+//# sourceMappingURL=analyze-legend-practices.d.ts.map

package/dist/src/practices/analyze-legend-practices.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"analyze-legend-practices.d.ts","sourceRoot":"","sources":["../../../src/practices/analyze-legend-practices.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AAC9E,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAEnE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAC;AAC/E,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AAU9D,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,4BAA4B,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC5D,QAAQ,CAAC,2BAA2B,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC3D,QAAQ,CAAC,sBAAsB,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IAC3E,QAAQ,CAAC,mBAAmB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACnD,QAAQ,CAAC,oBAAoB,CAAC,EAAE,oBAAoB,GAAG,IAAI,CAAC;IAC5D,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,wBAAgB,sBAAsB,CAAC,EACrC,QAAQ,EACR,4BAAwC,EACxC,2BAAuC,EACvC,sBAAkC,EAClC,mBAA+B,EAC/B,oBAA2B,EAC3B,UAAU,GACX,EAAE,4BAA4B,GAAG,qBAAqB,EAAE,CAkBxD;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,YAAY,CAAC,EAAE,gBAAgB,CAAC;IACzC,QAAQ,CAAC,cAAc,CAAC,EAAE,qBAAqB,GAAG,IAAI,CAAC;IACvD,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,4BAA4B,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC5D,QAAQ,CAAC,2BAA2B,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC3D,QAAQ,CAAC,sBAAsB,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IAC3E,QAAQ,CAAC,mBAAmB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACnD,QAAQ,CAAC,eAAe,CAAC,EAAE,OAAO,CAAC;IACnC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACjC;AAED,wBAAgB,0BAA0B,CAAC,EACzC,YAA8B,EAC9B,cAAqB,EACrB,IAAI,EACJ,4BAAwC,EACxC,2BAAuC,EACvC,sBAAkC,EAClC,mBAA+B,EAC/B,eAAsB,EACtB,cAAc,GACf,EAAE,0BAA0B,GAAG,qBAAqB,EAAE,CAYtD"}

package/dist/src/practices/analyze-legend-practices.js

@@ -0,0 +1,76 @@
+import { exactObjectLiteralKeys, unwrapTransparentExpression } from "../core/analysis-ast.js";
+import { isNonProductionHarness, visit } from "../core/ast.js";
+import { NO_CAPABILITIES } from "../project/capabilities.js";
+import { collectHookImports } from "../core/imports.js";
+import { enabledPracticeRules } from "./practice-rules.js";
+import { isObservableFactoryCall } from "./observable-paths.js";
+import { observableInitialValue } from "../core/observable-initial-value.js";
+import { resolveObservableBindings } from "./observable-bindings.js";
+import ts from "typescript";
+export function analyzeLegendPractices({ fileName, importedObservableArrayPaths = new Set(), importedObservableFactories = new Set(), importedObservableKeys = new Map(), importedObservables = new Set(), installedLegendState = null, sourceText, }) {
+    const sourceFile = ts.createSourceFile(fileName, sourceText, ts.ScriptTarget.Latest, true, fileName.endsWith(".tsx") || fileName.endsWith(".jsx") ? ts.ScriptKind.TSX : ts.ScriptKind.TS);
+    return analyzeParsedLegendPractices({
+        capabilities: { ...NO_CAPABILITIES, legendState: installedLegendState },
+        childContracts: null,
+        fileName,
+        importedObservableArrayPaths,
+        importedObservableFactories,
+        importedObservableKeys,
+        importedObservables,
+        sourceFile,
+    });
+}
+export function analyzeLegendPracticesFile({ capabilities = NO_CAPABILITIES, childContracts = null, file, importedObservableArrayPaths = new Set(), importedObservableFactories = new Set(), importedObservableKeys = new Map(), importedObservables = new Set(), includeFindings = true, reportFileName, }) {
+    const findings = analyzeParsedLegendPractices({
+        capabilities,
+        childContracts,
+        fileName: reportFileName,
+        importedObservableArrayPaths,
+        importedObservableFactories,
+        importedObservableKeys,
+        importedObservables,
+        sourceFile: file.sourceFile,
+    });
+    return includeFindings ? findings : [];
+}
+function analyzeParsedLegendPractices(request) {
+    const { fileName, sourceFile } = request;
+    if (isNonProductionHarness(fileName)) {
+        return [];
+    }
+    const imports = collectHookImports(sourceFile);
+    const observableBindings = resolveObservableBindings(request, imports);
+    const rules = enabledPracticeRules(request.capabilities).filter((rule) => !rule.needsObservableBindings || observableBindings.size > 0);
+    const observableKeys = rules.some((rule) => rule.id === "observable-reads")
+        ? collectObservableKeys(request, imports, observableBindings)
+        : new Map();
+    return rules
+        .flatMap((rule) => rule.run({ imports, observableBindings, observableKeys, request }))
+        .toSorted(compareFindingLocation);
+}
+function compareFindingLocation(left, right) {
+    return left.location.line - right.location.line || left.location.column - right.location.column;
+}
+function collectObservableKeys(request, imports, observableBindings) {
+    const keys = new Map(request.importedObservableKeys);
+    visit(request.sourceFile, (node) => {
+        if (!ts.isVariableDeclaration(node) ||
+            !ts.isIdentifier(node.name) ||
+            !node.initializer ||
+            !observableBindings.has(node.name.text)) {
+            return;
+        }
+        const initializer = unwrapTransparentExpression(node.initializer);
+        if (!ts.isCallExpression(initializer) ||
+            !isObservableFactoryCall(initializer, imports, request.importedObservableFactories)) {
+            return;
+        }
+        const initial = observableInitialValue(initializer, imports);
+        const objectKeys = initial ? exactObjectLiteralKeys(initial) : null;
+        if (objectKeys) {
+            keys.set(node.name.text, objectKeys);
+        }
+    });
+    return keys;
+}
+//# sourceMappingURL=analyze-legend-practices.js.map

package/dist/src/practices/analyze-legend-practices.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"analyze-legend-practices.js","sourceRoot":"","sources":["../../../src/practices/analyze-legend-practices.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,2BAA2B,EAAE,MAAM,yBAAyB,CAAC;AAC9F,OAAO,EAAE,sBAAsB,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAQ/D,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAC7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAChE,OAAO,EAAE,sBAAsB,EAAE,MAAM,qCAAqC,CAAC;AAC7E,OAAO,EAAE,yBAAyB,EAAE,MAAM,0BAA0B,CAAC;AACrE,OAAO,EAAE,MAAM,YAAY,CAAC;AAY5B,MAAM,UAAU,sBAAsB,CAAC,EACrC,QAAQ,EACR,4BAA4B,GAAG,IAAI,GAAG,EAAE,EACxC,2BAA2B,GAAG,IAAI,GAAG,EAAE,EACvC,sBAAsB,GAAG,IAAI,GAAG,EAAE,EAClC,mBAAmB,GAAG,IAAI,GAAG,EAAE,EAC/B,oBAAoB,GAAG,IAAI,EAC3B,UAAU,GACmB;IAC7B,MAAM,UAAU,GAAG,EAAE,CAAC,gBAAgB,CACpC,QAAQ,EACR,UAAU,EACV,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAC9F,CAAC;IACF,OAAO,4BAA4B,CAAC;QAClC,YAAY,EAAE,EAAE,GAAG,eAAe,EAAE,WAAW,EAAE,oBAAoB,EAAE;QACvE,cAAc,EAAE,IAAI;QACpB,QAAQ;QACR,4BAA4B;QAC5B,2BAA2B;QAC3B,sBAAsB;QACtB,mBAAmB;QACnB,UAAU;KACX,CAAC,CAAC;AACL,CAAC;AAcD,MAAM,UAAU,0BAA0B,CAAC,EACzC,YAAY,GAAG,eAAe,EAC9B,cAAc,GAAG,IAAI,EACrB,IAAI,EACJ,4BAA4B,GAAG,IAAI,GAAG,EAAE,EACxC,2BAA2B,GAAG,IAAI,GAAG,EAAE,EACvC,sBAAsB,GAAG,IAAI,GAAG,EAAE,EAClC,mBAAmB,GAAG,IAAI,GAAG,EAAE,EAC/B,eAAe,GAAG,IAAI,EACtB,cAAc,GACa;IAC3B,MAAM,QAAQ,GAAG,4BAA4B,CAAC;QAC5C,YAAY;QACZ,cAAc;QACd,QAAQ,EAAE,cAAc;QACxB,4BAA4B;QAC5B,2BAA2B;QAC3B,sBAAsB;QACtB,mBAAmB;QACnB,UAAU,EAAE,IAAI,CAAC,UAAU;KAC5B,CAAC,CAAC;IACH,OAAO,eAAe,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;AACzC,CAAC;AAED,SAAS,4BAA4B,CAAC,OAA+B;IACnE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC;IACzC,IAAI,sBAAsB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrC,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,OAAO,GAAG,kBAAkB,CAAC,UAAU,CAAC,CAAC;IAC/C,MAAM,kBAAkB,GAAG,yBAAyB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACvE,MAAM,KAAK,GAAG,oBAAoB,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,MAAM,CAC7D,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,uBAAuB,IAAI,kBAAkB,CAAC,IAAI,GAAG,CAAC,CACvE,CAAC;IACF,MAAM,cAAc,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,kBAAkB,CAAC;QACzE,CAAC,CAAC,qBAAqB,CAAC,OAAO,EAAE,OAAO,EAAE,kBAAkB,CAAC;QAC7D,CAAC,CAAC,IAAI,GAAG,EAA+B,CAAC;IAC3C,OAAO,KAAK;SACT,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,kBAAkB,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC,CAAC;SACrF,QAAQ,CAAC,sBAAsB,CAAC,CAAC;AACtC,CAAC;AAED,SAAS,sBAAsB,CAAC,IAA2B,EAAE,KAA4B;IACvF,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;AAClG,CAAC;AAED,SAAS,qBAAqB,CAC5B,OAA+B,EAC/B,OAAoB,EACpB,kBAAuC;IAEvC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;IACrD,KAAK,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACjC,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC/B,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAC3B,CAAC,IAAI,CAAC,WAAW;YACjB,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EACvC,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,WAAW,GAAG,2BAA2B,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAClE,IACE,CAAC,EAAE,CAAC,gBAAgB,CAAC,WAAW,CAAC;YACjC,CAAC,uBAAuB,CAAC,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,2BAA2B,CAAC,EACnF,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,OAAO,GAAG,sBAAsB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;QAC7D,MAAM,UAAU,GAAG,OAAO,CAAC,CAAC,CAAC,sBAAsB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACpE,IAAI,UAAU,EAAE,CAAC;YACf,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QACvC,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/src/practices/model.d.ts

@@ -0,0 +1,34 @@
+import type { ChildContractResolver } from "../rules/child-contract/model.js";
+import type { FileCapabilities } from "../project/capabilities.js";
+import type { HookImports } from "../core/imports.js";
+import type ts from "typescript";
+export interface ObservableWrite {
+    argument: ts.Expression;
+    call: ts.CallExpression;
+    parentPath: string | null;
+    path: string;
+    property: string | null;
+    root: string;
+}
+export interface LegendPracticesRequest {
+    capabilities: FileCapabilities;
+    childContracts: ChildContractResolver | null;
+    fileName: string;
+    /** Dotted paths of imported observables whose initial value is an array literal; a root array is its bare name. */
+    importedObservableArrayPaths: ReadonlySet<string>;
+    importedObservableFactories: ReadonlySet<string>;
+    importedObservableKeys: ReadonlyMap<string, ReadonlySet<string>>;
+    importedObservables: ReadonlySet<string>;
+    sourceFile: ts.SourceFile;
+}
+export interface TransactionScan {
+    fileName: string;
+    imports: HookImports;
+    observableBindings: ReadonlySet<string>;
+    sourceFile: ts.SourceFile;
+}
+export interface TransactionRun {
+    conditionalWrites: ObservableWrite[];
+    writes: ObservableWrite[];
+}
+//# sourceMappingURL=model.d.ts.map

package/dist/src/practices/model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../../src/practices/model.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AAC9E,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AACnE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC;IACxB,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC;IACxB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,sBAAsB;IACrC,YAAY,EAAE,gBAAgB,CAAC;IAC/B,cAAc,EAAE,qBAAqB,GAAG,IAAI,CAAC;IAC7C,QAAQ,EAAE,MAAM,CAAC;IACjB,mHAAmH;IACnH,4BAA4B,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAClD,2BAA2B,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACjD,sBAAsB,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IACjE,mBAAmB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACzC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;CAC3B;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,WAAW,CAAC;IACrB,kBAAkB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACxC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;CAC3B;AAED,MAAM,WAAW,cAAc;IAC7B,iBAAiB,EAAE,eAAe,EAAE,CAAC;IACrC,MAAM,EAAE,eAAe,EAAE,CAAC;CAC3B"}

package/dist/src/practices/model.js

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

package/dist/src/practices/model.js.map

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

package/dist/src/practices/observable-bindings.d.ts

@@ -0,0 +1,4 @@
+import type { HookImports } from "../core/imports.js";
+import type { LegendPracticesRequest } from "./model.js";
+export declare function resolveObservableBindings(request: LegendPracticesRequest, imports: HookImports): ReadonlySet<string>;
+//# sourceMappingURL=observable-bindings.d.ts.map

package/dist/src/practices/observable-bindings.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"observable-bindings.d.ts","sourceRoot":"","sources":["../../../src/practices/observable-bindings.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AA+BzD,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,sBAAsB,EAC/B,OAAO,EAAE,WAAW,GACnB,WAAW,CAAC,MAAM,CAAC,CAcrB"}