legend-doctor 0.1.0

package/dist/src/project/analyze-path/analysis-context.js

@@ -0,0 +1,69 @@
+import { AnalysisProject, isSupportedAnalysisFile } from "../analysis-project.js";
+import { readFile, readdir } from "node:fs/promises";
+import { buildSourceIndexFromFiles } from "../source-components/source-components.js";
+import { createSemanticContext } from "../semantic-context/semantic-context.js";
+import path from "node:path";
+import { resolveInstalledLegendState } from "../legend-state-package.js";
+const IGNORED_DIRECTORIES = new Set([
+    ".git",
+    ".next",
+    ".turbo",
+    "build",
+    "coverage",
+    "dist",
+    "node_modules",
+    "vendor",
+]);
+const SOURCE_READ_BATCH_SIZE = 64;
+export async function createAnalysisContext(rootPath, options = {}) {
+    const root = path.resolve(rootPath);
+    const files = await collectSourceFiles(root);
+    return createAnalysisContextFromFiles(root, files, options);
+}
+export async function createAnalysisContextFromFiles(root, files, options) {
+    const sources = new Map();
+    await readSourceBatch(files, 0, sources);
+    const project = new AnalysisProject(sources);
+    const semantic = options.configFilePath
+        ? createSemanticContext(project, { configFilePath: options.configFilePath })
+        : { context: null, diagnostics: [] };
+    return {
+        installedLegendState: await resolveInstalledLegendState(root),
+        project,
+        root,
+        semanticContext: semantic.context,
+        semanticDiagnostics: semantic.diagnostics,
+        sourceIndex: buildSourceIndexFromFiles(root, project.files),
+    };
+}
+async function readSourceBatch(files, start, sources) {
+    if (start >= files.length) {
+        return;
+    }
+    const batch = files.slice(start, start + SOURCE_READ_BATCH_SIZE);
+    const results = await Promise.allSettled(batch.map((file) => readFile(file, "utf8")));
+    for (const [index, result] of results.entries()) {
+        if (result.status === "rejected") {
+            throw result.reason;
+        }
+        sources.set(batch[index], result.value);
+    }
+    await readSourceBatch(files, start + SOURCE_READ_BATCH_SIZE, sources);
+}
+export async function collectSourceFiles(directory) {
+    const entries = await readdir(directory, { withFileTypes: true });
+    const collected = await Promise.all(entries
+        .toSorted((left, right) => left.name.localeCompare(right.name))
+        .map(async (entry) => {
+        if (entry.isSymbolicLink()) {
+            return [];
+        }
+        const entryPath = path.join(directory, entry.name);
+        if (entry.isDirectory()) {
+            return IGNORED_DIRECTORIES.has(entry.name) ? [] : await collectSourceFiles(entryPath);
+        }
+        return entry.isFile() && isSupportedAnalysisFile(entry.name) ? [entryPath] : [];
+    }));
+    return collected.flat();
+}
+//# sourceMappingURL=analysis-context.js.map

package/dist/src/project/analyze-path/analysis-context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"analysis-context.js","sourceRoot":"","sources":["../../../../src/project/analyze-path/analysis-context.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AAElF,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAGrD,OAAO,EAAE,yBAAyB,EAAE,MAAM,2CAA2C,CAAC;AACtF,OAAO,EAAE,qBAAqB,EAAE,MAAM,yCAAyC,CAAC;AAChF,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AAEzE,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC;IAClC,MAAM;IACN,OAAO;IACP,QAAQ;IACR,OAAO;IACP,UAAU;IACV,MAAM;IACN,cAAc;IACd,QAAQ;CACT,CAAC,CAAC;AAEH,MAAM,sBAAsB,GAAG,EAAE,CAAC;AAgBlC,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,QAAgB,EAChB,UAAkC,EAAE;IAEpC,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACpC,MAAM,KAAK,GAAG,MAAM,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAC7C,OAAO,8BAA8B,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;AAC9D,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,8BAA8B,CAClD,IAAY,EACZ,KAAwB,EACxB,OAA+B;IAE/B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,MAAM,eAAe,CAAC,KAAK,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;IACzC,MAAM,OAAO,GAAG,IAAI,eAAe,CAAC,OAAO,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAG,OAAO,CAAC,cAAc;QACrC,CAAC,CAAC,qBAAqB,CAAC,OAAO,EAAE,EAAE,cAAc,EAAE,OAAO,CAAC,cAAc,EAAE,CAAC;QAC5E,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;IACvC,OAAO;QACL,oBAAoB,EAAE,MAAM,2BAA2B,CAAC,IAAI,CAAC;QAC7D,OAAO;QACP,IAAI;QACJ,eAAe,EAAE,QAAQ,CAAC,OAAO;QACjC,mBAAmB,EAAE,QAAQ,CAAC,WAAW;QACzC,WAAW,EAAE,yBAAyB,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC;KAC5D,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,eAAe,CAC5B,KAAwB,EACxB,KAAa,EACb,OAA4B;IAE5B,IAAI,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QAC1B,OAAO;IACT,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,sBAAsB,CAAC,CAAC;IACjE,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACtF,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;QAChD,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;YACjC,MAAM,MAAM,CAAC,MAAM,CAAC;QACtB,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAE,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAC3C,CAAC;IACD,MAAM,eAAe,CAAC,KAAK,EAAE,KAAK,GAAG,sBAAsB,EAAE,OAAO,CAAC,CAAC;AACxE,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,SAAiB;IACxD,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,SAAS,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;IAClE,MAAM,SAAS,GAAG,MAAM,OAAO,CAAC,GAAG,CACjC,OAAO;SACJ,QAAQ,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;SAC9D,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QACnB,IAAI,KAAK,CAAC,cAAc,EAAE,EAAE,CAAC;YAC3B,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACnD,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;YACxB,OAAO,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,kBAAkB,CAAC,SAAS,CAAC,CAAC;QACxF,CAAC;QACD,OAAO,KAAK,CAAC,MAAM,EAAE,IAAI,uBAAuB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAClF,CAAC,CAAC,CACL,CAAC;IACF,OAAO,SAAS,CAAC,IAAI,EAAE,CAAC;AAC1B,CAAC"}

package/dist/src/project/analyze-path/analysis-pass.d.ts

@@ -0,0 +1,43 @@
+import type { AnalysisCoverageLedger, AnalysisCoverageTarget } from "../analysis-coverage.js";
+import type { AnalysisDiagnostic, AnalysisFile } from "../analysis-project.js";
+import type { AnalysisReport, DisabledRule, HookFinding, LegendPracticeFinding, ReportScope } from "../../core/types.js";
+import type { AnalysisContext } from "./analysis-context.js";
+import type { ConfirmationSet } from "../../analysis/assumptions/confirmations.js";
+import type { FunctionCoverageEntry } from "./coverage-stages.js";
+import type { MaterialityPolicy } from "../../analysis/constants.js";
+interface AnalysisFileEntry {
+    analysisFile: AnalysisFile | null;
+    file: string;
+    functionEntries: FunctionCoverageEntry[];
+    reportFileName: string;
+}
+interface AnalysisFileEntryOptions {
+    analysisRoot: string;
+    context: AnalysisContext;
+    includeDetails: boolean;
+}
+interface AnalysisPassOptions {
+    analysisRoot: string;
+    confirmations: ConfirmationSet | null;
+    context: AnalysisContext;
+    coverage: AnalysisCoverageLedger | null;
+    includeDetails: boolean;
+    materiality: MaterialityPolicy;
+}
+interface AnalysisAccumulator {
+    diagnostics: AnalysisDiagnostic[];
+    disabledRules: Map<string, DisabledRule>;
+    findings: HookFinding[];
+    practices: LegendPracticeFinding[];
+}
+interface AnalysisPass extends AnalysisPassOptions {
+    accumulator: AnalysisAccumulator;
+    compiledFiles: ReadonlySet<string>;
+    rootCompiles: boolean;
+}
+export declare function analysisFileEntries(files: readonly string[], options: AnalysisFileEntryOptions): AnalysisFileEntry[];
+export declare function coverageTargets(entries: readonly AnalysisFileEntry[]): AnalysisCoverageTarget[];
+export declare function runAnalysisPass(entries: readonly AnalysisFileEntry[], options: AnalysisPassOptions): Promise<AnalysisPass>;
+export declare function analysisReport(fileCount: number, pass: AnalysisPass, scope?: ReportScope | null): AnalysisReport;
+export {};
+//# sourceMappingURL=analysis-pass.d.ts.map

package/dist/src/project/analyze-path/analysis-pass.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"analysis-pass.d.ts","sourceRoot":"","sources":["../../../../src/project/analyze-path/analysis-pass.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,sBAAsB,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AAC9F,OAAO,KAAK,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAC/E,OAAO,KAAK,EACV,cAAc,EACd,YAAY,EACZ,WAAW,EACX,qBAAqB,EACrB,WAAW,EACZ,MAAM,qBAAqB,CAAC;AAQ7B,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAE7D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,6CAA6C,CAAC;AAEnF,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAClE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAarE,UAAU,iBAAiB;IACzB,YAAY,EAAE,YAAY,GAAG,IAAI,CAAC;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,eAAe,EAAE,qBAAqB,EAAE,CAAC;IACzC,cAAc,EAAE,MAAM,CAAC;CACxB;AAMD,UAAU,wBAAwB;IAChC,YAAY,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,eAAe,CAAC;IACzB,cAAc,EAAE,OAAO,CAAC;CACzB;AAED,UAAU,mBAAmB;IAC3B,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,eAAe,GAAG,IAAI,CAAC;IACtC,OAAO,EAAE,eAAe,CAAC;IACzB,QAAQ,EAAE,sBAAsB,GAAG,IAAI,CAAC;IACxC,cAAc,EAAE,OAAO,CAAC;IACxB,WAAW,EAAE,iBAAiB,CAAC;CAChC;AAED,UAAU,mBAAmB;IAC3B,WAAW,EAAE,kBAAkB,EAAE,CAAC;IAClC,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACzC,QAAQ,EAAE,WAAW,EAAE,CAAC;IACxB,SAAS,EAAE,qBAAqB,EAAE,CAAC;CACpC;AAED,UAAU,YAAa,SAAQ,mBAAmB;IAChD,WAAW,EAAE,mBAAmB,CAAC;IACjC,aAAa,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACnC,YAAY,EAAE,OAAO,CAAC;CACvB;AAED,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,OAAO,EAAE,wBAAwB,GAChC,iBAAiB,EAAE,CAmBrB;AAED,wBAAgB,eAAe,CAAC,OAAO,EAAE,SAAS,iBAAiB,EAAE,GAAG,sBAAsB,EAAE,CAK/F;AAED,wBAAsB,eAAe,CACnC,OAAO,EAAE,SAAS,iBAAiB,EAAE,EACrC,OAAO,EAAE,mBAAmB,GAC3B,OAAO,CAAC,YAAY,CAAC,CAgBvB;AA2KD,wBAAgB,cAAc,CAC5B,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,YAAY,EAClB,KAAK,GAAE,WAAW,GAAG,IAAW,GAC/B,cAAc,CAmBhB"}

package/dist/src/project/analyze-path/analysis-pass.js

@@ -0,0 +1,223 @@
+import { analyzeSourceFile, findingHookImports } from "../../analysis/analyze-source.js";
+import { analyzedFileCoverage, analyzedFunctionCoverage, functionCoverageEntries, unsupportedFileCoverage, } from "./coverage-stages.js";
+import { ReactCompilerResolver } from "../react-compiler-package.js";
+import { SCHEMA_VERSION } from "../../core/types.js";
+import { StateFlowIndex } from "../state-flow/state-flow.js";
+import { analyzeLegendPracticesFile } from "../../practices/analyze-legend-practices.js";
+import { createChildContractResolver } from "./child-contracts.js";
+import { disabledEffectRules } from "../../rules/effects/browser-storage-persistence.js";
+import { disabledPracticeRules } from "../../practices/practice-rules.js";
+import { isSupportedAnalysisFile } from "../analysis-project.js";
+import path from "node:path";
+import { rankedQuestions } from "../../analysis/assumptions/ranked-questions.js";
+import { reportConfirmations } from "../../analysis/assumptions/report-confirmations.js";
+export function analysisFileEntries(files, options) {
+    return files.map((file) => {
+        const reportFileName = path.relative(options.analysisRoot, file) || path.basename(file);
+        if (!isSupportedAnalysisFile(file)) {
+            return { analysisFile: null, file, functionEntries: [], reportFileName };
+        }
+        const analysisFile = options.context.project.getFile(file);
+        if (!analysisFile) {
+            throw new Error(`analysis context does not own target file: ${reportFileName}`);
+        }
+        return {
+            analysisFile,
+            file,
+            functionEntries: options.includeDetails
+                ? functionCoverageEntries(analysisFile, reportFileName)
+                : [],
+            reportFileName,
+        };
+    });
+}
+export function coverageTargets(entries) {
+    return entries.flatMap((entry) => [
+        { file: entry.reportFileName, kind: "file" },
+        ...entry.functionEntries.map((functionEntry) => functionEntry.target),
+    ]);
+}
+export async function runAnalysisPass(entries, options) {
+    const reactCompiler = new ReactCompilerResolver();
+    const [compiledFiles, rootCompiles] = await Promise.all([
+        reactCompiledFiles(reactCompiler, entries, options.includeDetails),
+        reactCompiler.compilesDirectory(options.context.root),
+    ]);
+    const pass = {
+        ...options,
+        accumulator: { diagnostics: [], disabledRules: new Map(), findings: [], practices: [] },
+        compiledFiles,
+        rootCompiles,
+    };
+    for (const entry of entries) {
+        analyzeFileEntry(entry, pass);
+    }
+    return pass;
+}
+async function reactCompiledFiles(reactCompiler, entries, includeDetails) {
+    const candidates = entries.filter((entry) => entry.analysisFile !== null &&
+        (includeDetails || mayContainLegendPractice(entry.analysisFile)));
+    const compiled = await Promise.all(candidates.map(async (entry) => ({
+        compiles: await reactCompiler.packageCompilesFile(entry.file),
+        file: entry.file,
+    })));
+    return new Set(compiled.filter((entry) => entry.compiles).map((entry) => entry.file));
+}
+function analyzeFileEntry(entry, pass) {
+    if (!isSupportedEntry(entry)) {
+        pass.coverage?.record({
+            stages: unsupportedFileCoverage(),
+            target: { file: entry.reportFileName, kind: "file" },
+        });
+        return;
+    }
+    if (pass.includeDetails) {
+        pass.accumulator.diagnostics.push(...entry.analysisFile.parserDiagnostics.map((diagnostic) => ({
+            ...diagnostic,
+            file: entry.reportFileName,
+        })));
+    }
+    analyzeSupportedFileEntry(entry, pass);
+}
+function isSupportedEntry(entry) {
+    return entry.analysisFile !== null;
+}
+function analyzeSupportedFileEntry(entry, pass) {
+    const stateFlow = new StateFlowIndex();
+    const hookImports = findingHookImports(entry.analysisFile);
+    const analyzeHooks = hookImports !== null || pass.includeDetails;
+    const analyzePractices = mayContainLegendPractice(entry.analysisFile) || pass.includeDetails;
+    const childContracts = analyzeHooks || analyzePractices ? createChildContractResolver(pass.context, entry.file) : null;
+    if (analyzeHooks) {
+        pass.accumulator.findings.push(...hookFindings(entry, pass, { childContracts, stateFlow }));
+    }
+    if (analyzePractices) {
+        pass.accumulator.practices.push(...legendPracticeFindings(entry, pass, childContracts));
+    }
+    recordEntryCoverage(entry, pass, stateFlow);
+}
+function hookFindings(entry, pass, { childContracts, stateFlow }) {
+    const { legendState } = fileCapabilities(entry, pass);
+    recordDisabledRules(pass.accumulator.disabledRules, disabledEffectRules(legendState));
+    return analyzeSourceFile({
+        file: entry.analysisFile,
+        legendState,
+        reportFileName: entry.reportFileName,
+        sourceComponents: pass.context.sourceIndex.componentsFor(entry.file),
+        stateFlow,
+        childContracts,
+        legendValueBridges: pass.context.sourceIndex.legendValueBridgesFor(entry.file),
+        deferredCallbackHooks: pass.context.sourceIndex.deferredCallbackHooksFor(entry.file),
+        hookImports: findingHookImports(entry.analysisFile),
+        materiality: pass.materiality,
+        confirmations: pass.confirmations,
+        analysisRoot: pass.analysisRoot,
+    });
+}
+function fileCapabilities(entry, pass) {
+    return {
+        legendState: pass.context.installedLegendState,
+        reactCompiler: pass.compiledFiles.has(entry.file),
+    };
+}
+function legendPracticeFindings(entry, pass, childContracts) {
+    const capabilities = fileCapabilities(entry, pass);
+    const { sourceIndex } = pass.context;
+    const importedObservables = new Set([
+        ...sourceIndex.observablesFor(entry.file),
+        ...sourceIndex.observablePathsFor(entry.file),
+    ]);
+    const importedObservableFactories = sourceIndex.observableFactoriesFor(entry.file);
+    const includeFindings = isLegendPracticeEligible(entry.analysisFile, importedObservables, importedObservableFactories);
+    if (includeFindings) {
+        recordDisabledRules(pass.accumulator.disabledRules, disabledPracticeRules(capabilities));
+    }
+    return analyzeLegendPracticesFile({
+        capabilities,
+        file: entry.analysisFile,
+        reportFileName: entry.reportFileName,
+        importedObservables,
+        importedObservableFactories,
+        includeFindings,
+        importedObservableArrayPaths: sourceIndex.observableArrayPathsFor(entry.file),
+        importedObservableKeys: sourceIndex.observableKeysFor(entry.file),
+        childContracts,
+    });
+}
+function recordDisabledRules(disabledRules, disabled) {
+    for (const rule of disabled) {
+        const key = `${rule.rule}\0${rule.reason}`;
+        const entry = disabledRules.get(key) ?? { ...rule, files: 0 };
+        disabledRules.set(key, { ...entry, files: entry.files + 1 });
+    }
+}
+function recordEntryCoverage(entry, pass, stateFlow) {
+    const { coverage } = pass;
+    if (!coverage) {
+        return;
+    }
+    coverage.record({
+        stages: analyzedFileCoverage({
+            context: pass.context,
+            file: entry.analysisFile,
+            functionEntries: entry.functionEntries,
+            stateFlow,
+        }),
+        target: { file: entry.reportFileName, kind: "file" },
+    });
+    for (const { node, target } of entry.functionEntries) {
+        coverage.record({
+            stages: analyzedFunctionCoverage({
+                context: pass.context,
+                file: entry.analysisFile,
+                node,
+                stateFlow,
+                target,
+            }),
+            target,
+        });
+    }
+}
+export function analysisReport(fileCount, pass, scope = null) {
+    const { disabledRules, findings, practices } = pass.accumulator;
+    const states = findings.filter((finding) => finding.hook === "useState").length;
+    const effects = findings.filter((finding) => finding.hook === "useEffect").length;
+    const report = {
+        files: fileCount,
+        findings,
+        hooks: { effects, states, total: states + effects },
+        practices,
+        capabilities: {
+            disabledRules: [...disabledRules.values()].toSorted((left, right) => left.rule.localeCompare(right.rule)),
+            legendState: pass.context.installedLegendState,
+            reactCompiler: pass.rootCompiles,
+        },
+        schemaVersion: SCHEMA_VERSION,
+    };
+    return withOptionalSections(report, { findings, pass, scope });
+}
+function withOptionalSections(report, { findings, pass, scope }) {
+    if (scope) {
+        report.scope = scope;
+    }
+    if (pass.confirmations) {
+        report.confirmations = reportConfirmations(pass.confirmations, findings);
+    }
+    const questions = rankedQuestions(findings);
+    if (questions.length > 0) {
+        report.questions = questions;
+    }
+    return report;
+}
+function isLegendPracticeEligible(file, importedObservables, importedObservableFactories) {
+    return (mayContainLegendPractice(file) &&
+        (file.sourceFile.text.includes("@legendapp/state") ||
+            importedObservables.size > 0 ||
+            importedObservableFactories.size > 0));
+}
+function mayContainLegendPractice(file) {
+    const sourceText = file.sourceFile.text;
+    return (/\.(?:get|set)\s*\(/u.test(sourceText) ||
+        /\b(?:useValue|useSelector|use\$)\s*\(/u.test(sourceText));
+}
+//# sourceMappingURL=analysis-pass.js.map

package/dist/src/project/analyze-path/analysis-pass.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"analysis-pass.js","sourceRoot":"","sources":["../../../../src/project/analyze-path/analysis-pass.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AACzF,OAAO,EACL,oBAAoB,EACpB,wBAAwB,EACxB,uBAAuB,EACvB,uBAAuB,GACxB,MAAM,sBAAsB,CAAC;AAO9B,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAC7D,OAAO,EAAE,0BAA0B,EAAE,MAAM,6CAA6C,CAAC;AACzF,OAAO,EAAE,2BAA2B,EAAE,MAAM,sBAAsB,CAAC;AACnE,OAAO,EAAE,mBAAmB,EAAE,MAAM,oDAAoD,CAAC;AACzF,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,OAAO,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,eAAe,EAAE,MAAM,gDAAgD,CAAC;AACjF,OAAO,EAAE,mBAAmB,EAAE,MAAM,oDAAoD,CAAC;AAyCzF,MAAM,UAAU,mBAAmB,CACjC,KAAwB,EACxB,OAAiC;IAEjC,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACxB,MAAM,cAAc,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,YAAY,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACxF,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,EAAE,cAAc,EAAE,CAAC;QAC3E,CAAC;QACD,MAAM,YAAY,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC3D,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,MAAM,IAAI,KAAK,CAAC,8CAA8C,cAAc,EAAE,CAAC,CAAC;QAClF,CAAC;QACD,OAAO;YACL,YAAY;YACZ,IAAI;YACJ,eAAe,EAAE,OAAO,CAAC,cAAc;gBACrC,CAAC,CAAC,uBAAuB,CAAC,YAAY,EAAE,cAAc,CAAC;gBACvD,CAAC,CAAC,EAAE;YACN,cAAc;SACf,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,OAAqC;IACnE,OAAO,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;QAChC,EAAE,IAAI,EAAE,KAAK,CAAC,cAAc,EAAE,IAAI,EAAE,MAAe,EAAE;QACrD,GAAG,KAAK,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,aAAa,EAAE,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC;KACtE,CAAC,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,OAAqC,EACrC,OAA4B;IAE5B,MAAM,aAAa,GAAG,IAAI,qBAAqB,EAAE,CAAC;IAClD,MAAM,CAAC,aAAa,EAAE,YAAY,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QACtD,kBAAkB,CAAC,aAAa,EAAE,OAAO,EAAE,OAAO,CAAC,cAAc,CAAC;QAClE,aAAa,CAAC,iBAAiB,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC;KACtD,CAAC,CAAC;IACH,MAAM,IAAI,GAAiB;QACzB,GAAG,OAAO;QACV,WAAW,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,GAAG,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;QACvF,aAAa;QACb,YAAY;KACb,CAAC;IACF,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,KAAK,UAAU,kBAAkB,CAC/B,aAAoC,EACpC,OAAqC,EACrC,cAAuB;IAEvB,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAC/B,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,YAAY,KAAK,IAAI;QAC3B,CAAC,cAAc,IAAI,wBAAwB,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CACnE,CAAC;IACF,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,GAAG,CAChC,UAAU,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QAC/B,QAAQ,EAAE,MAAM,aAAa,CAAC,mBAAmB,CAAC,KAAK,CAAC,IAAI,CAAC;QAC7D,IAAI,EAAE,KAAK,CAAC,IAAI;KACjB,CAAC,CAAC,CACJ,CAAC;IACF,OAAO,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;AACxF,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAwB,EAAE,IAAkB;IACpE,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC;YACpB,MAAM,EAAE,uBAAuB,EAAE;YACjC,MAAM,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,cAAc,EAAE,IAAI,EAAE,MAAM,EAAE;SACrD,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;QACxB,IAAI,CAAC,WAAW,CAAC,WAAW,CAAC,IAAI,CAC/B,GAAG,KAAK,CAAC,YAAY,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YAC3D,GAAG,UAAU;YACb,IAAI,EAAE,KAAK,CAAC,cAAc;SAC3B,CAAC,CAAC,CACJ,CAAC;IACJ,CAAC;IACD,yBAAyB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAwB;IAChD,OAAO,KAAK,CAAC,YAAY,KAAK,IAAI,CAAC;AACrC,CAAC;AAED,SAAS,yBAAyB,CAAC,KAAiC,EAAE,IAAkB;IACtF,MAAM,SAAS,GAAG,IAAI,cAAc,EAAE,CAAC;IACvC,MAAM,WAAW,GAAG,kBAAkB,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IAC3D,MAAM,YAAY,GAAG,WAAW,KAAK,IAAI,IAAI,IAAI,CAAC,cAAc,CAAC;IACjE,MAAM,gBAAgB,GAAG,wBAAwB,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,IAAI,CAAC,cAAc,CAAC;IAC7F,MAAM,cAAc,GAClB,YAAY,IAAI,gBAAgB,CAAC,CAAC,CAAC,2BAA2B,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAClG,IAAI,YAAY,EAAE,CAAC;QACjB,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,cAAc,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;IAC9F,CAAC;IACD,IAAI,gBAAgB,EAAE,CAAC;QACrB,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,sBAAsB,CAAC,KAAK,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC;IAC1F,CAAC;IACD,mBAAmB,CAAC,KAAK,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;AAC9C,CAAC;AAOD,SAAS,YAAY,CACnB,KAAiC,EACjC,IAAkB,EAClB,EAAE,cAAc,EAAE,SAAS,EAAoB;IAE/C,MAAM,EAAE,WAAW,EAAE,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACtD,mBAAmB,CAAC,IAAI,CAAC,WAAW,CAAC,aAAa,EAAE,mBAAmB,CAAC,WAAW,CAAC,CAAC,CAAC;IACtF,OAAO,iBAAiB,CAAC;QACvB,IAAI,EAAE,KAAK,CAAC,YAAY;QACxB,WAAW;QACX,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,gBAAgB,EAAE,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC;QACpE,SAAS;QACT,cAAc;QACd,kBAAkB,EAAE,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,qBAAqB,CAAC,KAAK,CAAC,IAAI,CAAC;QAC9E,qBAAqB,EAAE,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,wBAAwB,CAAC,KAAK,CAAC,IAAI,CAAC;QACpF,WAAW,EAAE,kBAAkB,CAAC,KAAK,CAAC,YAAY,CAAC;QACnD,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,aAAa,EAAE,IAAI,CAAC,aAAa;QACjC,YAAY,EAAE,IAAI,CAAC,YAAY;KAChC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAiC,EAAE,IAAkB;IAC7E,OAAO;QACL,WAAW,EAAE,IAAI,CAAC,OAAO,CAAC,oBAAoB;QAC9C,aAAa,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;KAClD,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAC7B,KAAiC,EACjC,IAAkB,EAClB,cAA4C;IAE5C,MAAM,YAAY,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACnD,MAAM,EAAE,WAAW,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC;IACrC,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC;QAClC,GAAG,WAAW,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC;QACzC,GAAG,WAAW,CAAC,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC;KAC9C,CAAC,CAAC;IACH,MAAM,2BAA2B,GAAG,WAAW,CAAC,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnF,MAAM,eAAe,GAAG,wBAAwB,CAC9C,KAAK,CAAC,YAAY,EAClB,mBAAmB,EACnB,2BAA2B,CAC5B,CAAC;IACF,IAAI,eAAe,EAAE,CAAC;QACpB,mBAAmB,CAAC,IAAI,CAAC,WAAW,CAAC,aAAa,EAAE,qBAAqB,CAAC,YAAY,CAAC,CAAC,CAAC;IAC3F,CAAC;IACD,OAAO,0BAA0B,CAAC;QAChC,YAAY;QACZ,IAAI,EAAE,KAAK,CAAC,YAAY;QACxB,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,mBAAmB;QACnB,2BAA2B;QAC3B,eAAe;QACf,4BAA4B,EAAE,WAAW,CAAC,uBAAuB,CAAC,KAAK,CAAC,IAAI,CAAC;QAC7E,sBAAsB,EAAE,WAAW,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC;QACjE,cAAc;KACf,CAAC,CAAC;AACL,CAAC;AAED,SAAS,mBAAmB,CAC1B,aAAwC,EACxC,QAAgD;IAEhD,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;QAC3C,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QAC9D,aAAa,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;IAC/D,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAAiC,EACjC,IAAkB,EAClB,SAAyB;IAEzB,MAAM,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC;IAC1B,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO;IACT,CAAC;IACD,QAAQ,CAAC,MAAM,CAAC;QACd,MAAM,EAAE,oBAAoB,CAAC;YAC3B,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,IAAI,EAAE,KAAK,CAAC,YAAY;YACxB,eAAe,EAAE,KAAK,CAAC,eAAe;YACtC,SAAS;SACV,CAAC;QACF,MAAM,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,cAAc,EAAE,IAAI,EAAE,MAAM,EAAE;KACrD,CAAC,CAAC;IACH,KAAK,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,KAAK,CAAC,eAAe,EAAE,CAAC;QACrD,QAAQ,CAAC,MAAM,CAAC;YACd,MAAM,EAAE,wBAAwB,CAAC;gBAC/B,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,IAAI,EAAE,KAAK,CAAC,YAAY;gBACxB,IAAI;gBACJ,SAAS;gBACT,MAAM;aACP,CAAC;YACF,MAAM;SACP,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,SAAiB,EACjB,IAAkB,EAClB,QAA4B,IAAI;IAEhC,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC;IAChE,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,MAAM,CAAC;IAChF,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,MAAM,CAAC;IAClF,MAAM,MAAM,GAAmB;QAC7B,KAAK,EAAE,SAAS;QAChB,QAAQ;QACR,KAAK,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,EAAE;QACnD,SAAS;QACT,YAAY,EAAE;YACZ,aAAa,EAAE,CAAC,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAClE,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CACpC;YACD,WAAW,EAAE,IAAI,CAAC,OAAO,CAAC,oBAAoB;YAC9C,aAAa,EAAE,IAAI,CAAC,YAAY;SACjC;QACD,aAAa,EAAE,cAAc;KAC9B,CAAC;IACF,OAAO,oBAAoB,CAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;AACjE,CAAC;AAQD,SAAS,oBAAoB,CAC3B,MAAsB,EACtB,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAA0B;IAEjD,IAAI,KAAK,EAAE,CAAC;QACV,MAAM,CAAC,KAAK,GAAG,KAAK,CAAC;IACvB,CAAC;IACD,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;QACvB,MAAM,CAAC,aAAa,GAAG,mBAAmB,CAAC,IAAI,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;IAC3E,CAAC;IACD,MAAM,SAAS,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;IAC5C,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,CAAC,SAAS,GAAG,SAAS,CAAC;IAC/B,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,wBAAwB,CAC/B,IAAkB,EAClB,mBAAwC,EACxC,2BAAgD;IAEhD,OAAO,CACL,wBAAwB,CAAC,IAAI,CAAC;QAC9B,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,kBAAkB,CAAC;YAChD,mBAAmB,CAAC,IAAI,GAAG,CAAC;YAC5B,2BAA2B,CAAC,IAAI,GAAG,CAAC,CAAC,CACxC,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAAC,IAAkB;IAClD,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;IACxC,OAAO,CACL,qBAAqB,CAAC,IAAI,CAAC,UAAU,CAAC;QACtC,wCAAwC,CAAC,IAAI,CAAC,UAAU,CAAC,CAC1D,CAAC;AACJ,CAAC"}

package/dist/src/project/analyze-path/analyze-path.d.ts

@@ -0,0 +1,29 @@
+import type { AnalysisDiagnostic } from "../analysis-project.js";
+import type { AnalysisContext } from "./analysis-context.js";
+import type { AnalysisCoverageReport } from "../analysis-coverage.js";
+import type { AnalysisReport } from "../../core/types.js";
+import type { ConfirmationSet } from "../../analysis/assumptions/confirmations.js";
+import type { MaterialityPolicy } from "../../analysis/constants.js";
+import type { SemanticContextDiagnostic } from "../semantic-context/model.js";
+export interface DetailedAnalysisResult {
+    coverage: AnalysisCoverageReport;
+    diagnostics: {
+        parser: readonly AnalysisDiagnostic[];
+        semantic: readonly SemanticContextDiagnostic[];
+    };
+    report: AnalysisReport;
+}
+export interface AnalyzePathOptions {
+    /** Answered review questions to honour; a confirmed id converts its review finding. */
+    readonly confirmations?: ConfirmationSet | null;
+    /**
+     * Analyze only the target files this predicate accepts. Every target file still loads into
+     * the cross-file context, so proofs for the accepted files see the whole program.
+     */
+    readonly fileFilter?: (absolutePath: string) => boolean;
+    readonly materiality?: MaterialityPolicy;
+    readonly sharedContext?: AnalysisContext | undefined;
+}
+export declare function analyzePath(targetPath: string, options?: AnalyzePathOptions): Promise<AnalysisReport>;
+export declare function analyzePathDetailed(targetPath: string, options?: AnalyzePathOptions): Promise<DetailedAnalysisResult>;
+//# sourceMappingURL=analyze-path.d.ts.map

package/dist/src/project/analyze-path/analyze-path.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"analyze-path.d.ts","sourceRoot":"","sources":["../../../../src/project/analyze-path/analyze-path.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAgB,MAAM,wBAAwB,CAAC;AAY/E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAE7D,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,6CAA6C,CAAC;AAEnF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AACrE,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AAK9E,MAAM,WAAW,sBAAsB;IACrC,QAAQ,EAAE,sBAAsB,CAAC;IACjC,WAAW,EAAE;QACX,MAAM,EAAE,SAAS,kBAAkB,EAAE,CAAC;QACtC,QAAQ,EAAE,SAAS,yBAAyB,EAAE,CAAC;KAChD,CAAC;IACF,MAAM,EAAE,cAAc,CAAC;CACxB;AAED,MAAM,WAAW,kBAAkB;IACjC,uFAAuF;IACvF,QAAQ,CAAC,aAAa,CAAC,EAAE,eAAe,GAAG,IAAI,CAAC;IAChD;;;OAGG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,YAAY,EAAE,MAAM,KAAK,OAAO,CAAC;IACxD,QAAQ,CAAC,WAAW,CAAC,EAAE,iBAAiB,CAAC;IACzC,QAAQ,CAAC,aAAa,CAAC,EAAE,eAAe,GAAG,SAAS,CAAC;CACtD;AAED,wBAAgB,WAAW,CACzB,UAAU,EAAE,MAAM,EAClB,OAAO,GAAE,kBAAuB,GAC/B,OAAO,CAAC,cAAc,CAAC,CAEzB;AAED,wBAAgB,mBAAmB,CACjC,UAAU,EAAE,MAAM,EAClB,OAAO,GAAE,kBAAuB,GAC/B,OAAO,CAAC,sBAAsB,CAAC,CAEjC"}

package/dist/src/project/analyze-path/analyze-path.js

@@ -0,0 +1,82 @@
+import { analysisFileEntries, analysisReport, coverageTargets, runAnalysisPass, } from "./analysis-pass.js";
+import { collectSourceFiles, createAnalysisContext, createAnalysisContextFromFiles, } from "./analysis-context.js";
+import { AnalysisCoverageLedger } from "../analysis-coverage.js";
+import { DEFAULT_MATERIALITY } from "../../analysis/constants.js";
+import path from "node:path";
+import { pathIdentityKey } from "../../core/path-identity.js";
+import { stat } from "node:fs/promises";
+export function analyzePath(targetPath, options = {}) {
+    return analyzePathInternal(targetPath, options, false);
+}
+export function analyzePathDetailed(targetPath, options = {}) {
+    return analyzePathInternal(targetPath, options, true);
+}
+async function analyzePathInternal(targetPath, { confirmations = null, fileFilter, materiality = DEFAULT_MATERIALITY, sharedContext, }, includeDetails) {
+    const target = await resolveAnalysisTarget(targetPath);
+    const context = sharedContext ?? (await createTargetContext(target));
+    const analyzedFiles = fileFilter ? target.files.filter(fileFilter) : target.files;
+    const entries = analysisFileEntries(analyzedFiles, {
+        analysisRoot: target.analysisRoot,
+        context,
+        includeDetails,
+    });
+    const coverage = includeDetails ? new AnalysisCoverageLedger(coverageTargets(entries)) : null;
+    const pass = await runAnalysisPass(entries, {
+        analysisRoot: target.analysisRoot,
+        confirmations,
+        context,
+        coverage,
+        includeDetails,
+        materiality,
+    });
+    const report = analysisReport(analyzedFiles.length, pass, fileFilter ? { contextFiles: target.files.length } : null);
+    if (!coverage) {
+        return report;
+    }
+    return {
+        coverage: coverage.report(),
+        diagnostics: {
+            parser: pass.accumulator.diagnostics,
+            semantic: displaySemanticDiagnostics(context.semanticDiagnostics, entries.flatMap((entry) => (entry.analysisFile ? [entry.analysisFile] : [])), target.analysisRoot),
+        },
+        report,
+    };
+}
+async function resolveAnalysisTarget(targetPath) {
+    const absoluteTarget = path.resolve(targetPath);
+    const targetStats = await stat(absoluteTarget);
+    const isDirectory = targetStats.isDirectory();
+    return {
+        analysisRoot: isDirectory ? absoluteTarget : path.dirname(absoluteTarget),
+        files: isDirectory ? await collectSourceFiles(absoluteTarget) : [absoluteTarget],
+        isDirectory,
+    };
+}
+function createTargetContext(target) {
+    return target.isDirectory
+        ? createAnalysisContextFromFiles(target.analysisRoot, target.files, {})
+        : createAnalysisContext(target.analysisRoot);
+}
+function displaySemanticDiagnostics(diagnostics, files, root) {
+    const fileKeys = new Set(files.map((file) => pathIdentityKey(file.identityPath)));
+    return diagnostics
+        .filter((diagnostic) => !diagnostic.fileName ||
+        diagnostic.code === "config-invalid" ||
+        diagnostic.code === "config-read-failed" ||
+        fileKeys.has(pathIdentityKey(diagnostic.fileName)))
+        .map((diagnostic) => {
+        if (!diagnostic.fileName) {
+            return { ...diagnostic, message: portableDiagnosticMessage(diagnostic.message, root) };
+        }
+        const fileName = path.relative(root, diagnostic.fileName) || path.basename(diagnostic.fileName);
+        return {
+            ...diagnostic,
+            fileName,
+            message: portableDiagnosticMessage(diagnostic.message.replaceAll(diagnostic.fileName, fileName), root),
+        };
+    });
+}
+function portableDiagnosticMessage(message, root) {
+    return message.replaceAll(`${path.resolve(root)}${path.sep}`, "");
+}
+//# sourceMappingURL=analyze-path.js.map

package/dist/src/project/analyze-path/analyze-path.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"analyze-path.js","sourceRoot":"","sources":["../../../../src/project/analyze-path/analyze-path.ts"],"names":[],"mappings":"AACA,OAAO,EACL,mBAAmB,EACnB,cAAc,EACd,eAAe,EACf,eAAe,GAChB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,kBAAkB,EAClB,qBAAqB,EACrB,8BAA8B,GAC/B,MAAM,uBAAuB,CAAC;AAE/B,OAAO,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AAIjE,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAGlE,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAC9D,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAuBxC,MAAM,UAAU,WAAW,CACzB,UAAkB,EAClB,UAA8B,EAAE;IAEhC,OAAO,mBAAmB,CAAC,UAAU,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;AACzD,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,UAAkB,EAClB,UAA8B,EAAE;IAEhC,OAAO,mBAAmB,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;AACxD,CAAC;AAcD,KAAK,UAAU,mBAAmB,CAChC,UAAkB,EAClB,EACE,aAAa,GAAG,IAAI,EACpB,UAAU,EACV,WAAW,GAAG,mBAAmB,EACjC,aAAa,GACM,EACrB,cAAuB;IAEvB,MAAM,MAAM,GAAG,MAAM,qBAAqB,CAAC,UAAU,CAAC,CAAC;IACvD,MAAM,OAAO,GAAG,aAAa,IAAI,CAAC,MAAM,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC;IACrE,MAAM,aAAa,GAAG,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;IAClF,MAAM,OAAO,GAAG,mBAAmB,CAAC,aAAa,EAAE;QACjD,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,OAAO;QACP,cAAc;KACf,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,cAAc,CAAC,CAAC,CAAC,IAAI,sBAAsB,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9F,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,OAAO,EAAE;QAC1C,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,aAAa;QACb,OAAO;QACP,QAAQ;QACR,cAAc;QACd,WAAW;KACZ,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,cAAc,CAC3B,aAAa,CAAC,MAAM,EACpB,IAAI,EACJ,UAAU,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAC1D,CAAC;IACF,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO;QACL,QAAQ,EAAE,QAAQ,CAAC,MAAM,EAAE;QAC3B,WAAW,EAAE;YACX,MAAM,EAAE,IAAI,CAAC,WAAW,CAAC,WAAW;YACpC,QAAQ,EAAE,0BAA0B,CAClC,OAAO,CAAC,mBAAmB,EAC3B,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAC5E,MAAM,CAAC,YAAY,CACpB;SACF;QACD,MAAM;KACP,CAAC;AACJ,CAAC;AAQD,KAAK,UAAU,qBAAqB,CAAC,UAAkB;IACrD,MAAM,cAAc,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAChD,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,cAAc,CAAC,CAAC;IAC/C,MAAM,WAAW,GAAG,WAAW,CAAC,WAAW,EAAE,CAAC;IAC9C,OAAO;QACL,YAAY,EAAE,WAAW,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC;QACzE,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,MAAM,kBAAkB,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC;QAChF,WAAW;KACZ,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,MAAsB;IACjD,OAAO,MAAM,CAAC,WAAW;QACvB,CAAC,CAAC,8BAA8B,CAAC,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC;QACvE,CAAC,CAAC,qBAAqB,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,0BAA0B,CACjC,WAAiD,EACjD,KAA8B,EAC9B,IAAY;IAEZ,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAClF,OAAO,WAAW;SACf,MAAM,CACL,CAAC,UAAU,EAAE,EAAE,CACb,CAAC,UAAU,CAAC,QAAQ;QACpB,UAAU,CAAC,IAAI,KAAK,gBAAgB;QACpC,UAAU,CAAC,IAAI,KAAK,oBAAoB;QACxC,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CACrD;SACA,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE;QAClB,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;YACzB,OAAO,EAAE,GAAG,UAAU,EAAE,OAAO,EAAE,yBAAyB,CAAC,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC;QACzF,CAAC;QACD,MAAM,QAAQ,GACZ,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QACjF,OAAO;YACL,GAAG,UAAU;YACb,QAAQ;YACR,OAAO,EAAE,yBAAyB,CAChC,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAC5D,IAAI,CACL;SACF,CAAC;IACJ,CAAC,CAAC,CAAC;AACP,CAAC;AAED,SAAS,yBAAyB,CAAC,OAAe,EAAE,IAAY;IAC9D,OAAO,OAAO,CAAC,UAAU,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;AACpE,CAAC"}

package/dist/src/project/analyze-path/child-contracts.d.ts

@@ -0,0 +1,4 @@
+import type { ChildContractResolver } from "../../rules/child-contract/model.js";
+import type { AnalysisContext } from "./analysis-context.js";
+export declare function createChildContractResolver(context: AnalysisContext, importerFile: string): ChildContractResolver;
+//# sourceMappingURL=child-contracts.d.ts.map

package/dist/src/project/analyze-path/child-contracts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"child-contracts.d.ts","sourceRoot":"","sources":["../../../../src/project/analyze-path/child-contracts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAGV,qBAAqB,EAItB,MAAM,qCAAqC,CAAC;AAc7C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AA4W7D,wBAAgB,2BAA2B,CACzC,OAAO,EAAE,eAAe,EACxB,YAAY,EAAE,MAAM,GACnB,qBAAqB,CAEvB"}