legend-doctor 0.1.0

package/dist/src/practices/transaction-findings.js

@@ -0,0 +1,108 @@
+import { isEvaluationInert } from "../core/analysis-ast.js";
+import ts from "typescript";
+import { visit } from "../core/ast.js";
+function hasDistinctNonOverlappingPaths(writes) {
+    const paths = writes.map((write) => write.path);
+    if (new Set(paths).size !== paths.length) {
+        return false;
+    }
+    return paths.every((path, index) => paths.every((other, otherIndex) => {
+        if (index === otherIndex) {
+            return true;
+        }
+        return !path.startsWith(`${other}.`) && !other.startsWith(`${path}.`);
+    }));
+}
+function writeLocation(write, scan) {
+    const { character, line } = scan.sourceFile.getLineAndCharacterOfPosition(write.call.getStart(scan.sourceFile));
+    return { column: character + 1, file: scan.fileName, line: line + 1 };
+}
+export function transactionFinding(run, scan) {
+    const { conditionalWrites, writes } = run;
+    if (conditionalWrites.length > 0) {
+        return hasDistinctNonOverlappingPaths([...writes, ...conditionalWrites])
+            ? conditionalBatchFinding(run, scan)
+            : null;
+    }
+    if (!hasDistinctNonOverlappingPaths(writes)) {
+        return null;
+    }
+    const location = writeLocation(writes[0], scan);
+    const assignTarget = commonAssignTarget(writes);
+    if (assignTarget) {
+        return assignFieldsFinding(writes, assignTarget, location);
+    }
+    return batchWritesFinding(writes, location);
+}
+function assignFieldsFinding(writes, assignTarget, location) {
+    const fields = writes.map((write) => `\`${write.property}\``).join(", ");
+    return {
+        action: "assign-observable-fields",
+        confidence: "probable",
+        disposition: "change",
+        evidence: [
+            `${writes.length} consecutive writes target direct fields of ${assignTarget}`,
+            "each value is independent of the updated observable and no control-flow boundary splits the writes",
+        ],
+        location,
+        message: `Replace ${writes.length} \`.set()\` calls with one \`${assignTarget}.assign(...)\` for ${fields}; observers publish once.`,
+        practice: "assign",
+    };
+}
+function batchWritesFinding(writes, location) {
+    return {
+        action: "batch-observable-writes",
+        confidence: "probable",
+        disposition: "change",
+        evidence: [
+            `${writes.length} consecutive writes target distinct proven Legend observable paths`,
+            "no await, yield, control-flow boundary, or existing batch surrounds the writes",
+        ],
+        location,
+        message: `Wrap these ${writes.length} consecutive Legend observable writes in \`batch(() => { ... })\` so observers publish the transaction once.`,
+        practice: "batch",
+    };
+}
+function conditionalBatchFinding(run, scan) {
+    const { conditionalWrites, writes } = run;
+    const assignTarget = commonAssignTarget(writes);
+    const conditionalPaths = conditionalWrites.map((write) => `\`${write.path}\``).join(", ");
+    const assignHint = assignTarget
+        ? ` inside the batch, one \`${assignTarget}.assign(...)\` can replace the unconditional field writes;`
+        : "";
+    return {
+        action: "batch-observable-writes",
+        confidence: "probable",
+        disposition: "change",
+        evidence: [
+            `${writes.length} consecutive writes and a conditional write to ${conditionalPaths} target the same proven Legend observable`,
+            "replacing only the unconditional writes would still let the conditional write publish a separate, torn transaction",
+        ],
+        location: writeLocation(writes[0], scan),
+        message: `Wrap these ${writes.length} \`.set()\` calls and the conditional write to ${conditionalPaths} in one \`batch(() => { ... })\`;${assignHint} observers publish the transaction once.`,
+        practice: "batch",
+    };
+}
+function commonAssignTarget(writes) {
+    const target = writes[0]?.parentPath;
+    if (!target ||
+        writes.some((write) => write.parentPath !== target ||
+            write.property === null ||
+            ts.isArrowFunction(write.argument) ||
+            ts.isFunctionExpression(write.argument) ||
+            !isEvaluationInert(write.argument) ||
+            expressionReferencesIdentifier(write.argument, write.root))) {
+        return null;
+    }
+    return target;
+}
+function expressionReferencesIdentifier(expression, name) {
+    let found = false;
+    visit(expression, (node) => {
+        if (ts.isIdentifier(node) && node.text === name) {
+            found = true;
+        }
+    });
+    return found;
+}
+//# sourceMappingURL=transaction-findings.js.map

package/dist/src/practices/transaction-findings.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"transaction-findings.js","sourceRoot":"","sources":["../../../src/practices/transaction-findings.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAEvC,SAAS,8BAA8B,CAAC,MAAkC;IACxE,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAChD,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QACzC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACjC,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE;QAChC,IAAI,KAAK,KAAK,UAAU,EAAE,CAAC;YACzB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,KAAK,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC;IACxE,CAAC,CAAC,CACH,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,KAAsB,EACtB,IAAqB;IAErB,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,6BAA6B,CACvE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CACrC,CAAC;IACF,OAAO,EAAE,MAAM,EAAE,SAAS,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,EAAE,CAAC;AACxE,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,GAAmB,EACnB,IAAqB;IAErB,MAAM,EAAE,iBAAiB,EAAE,MAAM,EAAE,GAAG,GAAG,CAAC;IAC1C,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,OAAO,8BAA8B,CAAC,CAAC,GAAG,MAAM,EAAE,GAAG,iBAAiB,CAAC,CAAC;YACtE,CAAC,CAAC,uBAAuB,CAAC,GAAG,EAAE,IAAI,CAAC;YACpC,CAAC,CAAC,IAAI,CAAC;IACX,CAAC;IACD,IAAI,CAAC,8BAA8B,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,IAAI,CAAC,CAAC;IACjD,MAAM,YAAY,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAChD,IAAI,YAAY,EAAE,CAAC;QACjB,OAAO,mBAAmB,CAAC,MAAM,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,kBAAkB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;AAC9C,CAAC;AAED,SAAS,mBAAmB,CAC1B,MAAkC,EAClC,YAAoB,EACpB,QAA2C;IAE3C,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,QAAQ,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzE,OAAO;QACL,MAAM,EAAE,0BAA0B;QAClC,UAAU,EAAE,UAAU;QACtB,WAAW,EAAE,QAAQ;QACrB,QAAQ,EAAE;YACR,GAAG,MAAM,CAAC,MAAM,+CAA+C,YAAY,EAAE;YAC7E,oGAAoG;SACrG;QACD,QAAQ;QACR,OAAO,EAAE,WAAW,MAAM,CAAC,MAAM,gCAAgC,YAAY,sBAAsB,MAAM,2BAA2B;QACpI,QAAQ,EAAE,QAAQ;KACnB,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,MAAkC,EAClC,QAA2C;IAE3C,OAAO;QACL,MAAM,EAAE,yBAAyB;QACjC,UAAU,EAAE,UAAU;QACtB,WAAW,EAAE,QAAQ;QACrB,QAAQ,EAAE;YACR,GAAG,MAAM,CAAC,MAAM,oEAAoE;YACpF,gFAAgF;SACjF;QACD,QAAQ;QACR,OAAO,EAAE,cAAc,MAAM,CAAC,MAAM,8GAA8G;QAClJ,QAAQ,EAAE,OAAO;KAClB,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAC9B,GAAmB,EACnB,IAAqB;IAErB,MAAM,EAAE,iBAAiB,EAAE,MAAM,EAAE,GAAG,GAAG,CAAC;IAC1C,MAAM,YAAY,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAChD,MAAM,gBAAgB,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1F,MAAM,UAAU,GAAG,YAAY;QAC7B,CAAC,CAAC,4BAA4B,YAAY,4DAA4D;QACtG,CAAC,CAAC,EAAE,CAAC;IACP,OAAO;QACL,MAAM,EAAE,yBAAyB;QACjC,UAAU,EAAE,UAAU;QACtB,WAAW,EAAE,QAAQ;QACrB,QAAQ,EAAE;YACR,GAAG,MAAM,CAAC,MAAM,kDAAkD,gBAAgB,2CAA2C;YAC7H,oHAAoH;SACrH;QACD,QAAQ,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,IAAI,CAAC;QACzC,OAAO,EAAE,cAAc,MAAM,CAAC,MAAM,kDAAkD,gBAAgB,oCAAoC,UAAU,0CAA0C;QAC9L,QAAQ,EAAE,OAAO;KAClB,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,MAAkC;IAC5D,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC;IACrC,IACE,CAAC,MAAM;QACP,MAAM,CAAC,IAAI,CACT,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,UAAU,KAAK,MAAM;YAC3B,KAAK,CAAC,QAAQ,KAAK,IAAI;YACvB,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,QAAQ,CAAC;YAClC,EAAE,CAAC,oBAAoB,CAAC,KAAK,CAAC,QAAQ,CAAC;YACvC,CAAC,iBAAiB,CAAC,KAAK,CAAC,QAAQ,CAAC;YAClC,8BAA8B,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,CAC7D,EACD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,8BAA8B,CAAC,UAAyB,EAAE,IAAY;IAC7E,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,KAAK,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAChD,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/src/practices/transaction-runs.d.ts

@@ -0,0 +1,4 @@
+import type { TransactionScan } from "./model.js";
+import type { LegendPracticeFinding } from "../core/types.js";
+export declare function collectTransactionFindings(scan: TransactionScan): LegendPracticeFinding[];
+//# sourceMappingURL=transaction-runs.d.ts.map

package/dist/src/practices/transaction-runs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"transaction-runs.d.ts","sourceRoot":"","sources":["../../../src/practices/transaction-runs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAmC,eAAe,EAAE,MAAM,YAAY,CAAC;AAGnF,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AAY9D,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,eAAe,GAAG,qBAAqB,EAAE,CAQzF"}

package/dist/src/practices/transaction-runs.js

@@ -0,0 +1,103 @@
+import { isEvaluationInert, unwrapTransparentExpression } from "../core/analysis-ast.js";
+import { isInsideBatch, observableWrite } from "./observable-writes.js";
+import { transactionFinding } from "./transaction-findings.js";
+import ts from "typescript";
+import { visit } from "../core/ast.js";
+const MINIMUM_BATCH_WRITES = 2;
+export function collectTransactionFindings(scan) {
+    const findings = [];
+    visit(scan.sourceFile, (node) => {
+        if (ts.isBlock(node) || ts.isSourceFile(node)) {
+            findings.push(...blockTransactionFindings(node, scan));
+        }
+    });
+    return findings;
+}
+function blockTransactionFindings(block, scan) {
+    const accumulator = {
+        conditionalWrites: [],
+        findings: [],
+        isComplete: true,
+        writes: [],
+    };
+    for (const statement of block.statements) {
+        applyStatementToRun(accumulator, statement, scan);
+    }
+    flushRun(accumulator, scan);
+    return accumulator.findings;
+}
+function applyStatementToRun(accumulator, statement, scan) {
+    const write = unbatchedWrite(statement, scan);
+    const branchWrites = conditionalObservableWrites(statement, scan);
+    if (write) {
+        accumulator.writes.push(write);
+    }
+    else if (branchWrites && continuesRun(accumulator.writes, branchWrites)) {
+        accumulator.conditionalWrites.push(...branchWrites);
+    }
+    else if (isSetStatement(statement)) {
+        accumulator.isComplete = false;
+    }
+    else {
+        flushRun(accumulator, scan);
+    }
+}
+function unbatchedWrite(statement, scan) {
+    const write = observableWrite(statement, scan.observableBindings, scan.sourceFile);
+    return write && !isInsideBatch(write.call, scan.imports) ? write : null;
+}
+function continuesRun(writes, branchWrites) {
+    return (writes.length > 0 &&
+        branchWrites.every((branchWrite) => writes.some((member) => member.root === branchWrite.root)));
+}
+function flushRun(accumulator, scan) {
+    if (accumulator.isComplete && accumulator.writes.length >= MINIMUM_BATCH_WRITES) {
+        const finding = transactionFinding(accumulator, scan);
+        if (finding) {
+            accumulator.findings.push(finding);
+        }
+    }
+    accumulator.writes = [];
+    accumulator.conditionalWrites = [];
+    accumulator.isComplete = true;
+}
+function isSetStatement(statement) {
+    if (!ts.isExpressionStatement(statement)) {
+        return false;
+    }
+    const expression = unwrapTransparentExpression(statement.expression);
+    return (ts.isCallExpression(expression) &&
+        ts.isPropertyAccessExpression(expression.expression) &&
+        expression.expression.name.text === "set");
+}
+function conditionalObservableWrites(statement, scan) {
+    if (!ts.isIfStatement(statement) || !isEvaluationInert(statement.expression)) {
+        return null;
+    }
+    const branches = [
+        statement.thenStatement,
+        ...(statement.elseStatement ? [statement.elseStatement] : []),
+    ];
+    const writes = [];
+    for (const branch of branches) {
+        const branchWrites = branchObservableWrites(branch, scan);
+        if (!branchWrites) {
+            return null;
+        }
+        writes.push(...branchWrites);
+    }
+    return writes.length > 0 ? writes : null;
+}
+function branchObservableWrites(branch, scan) {
+    const statements = ts.isBlock(branch) ? branch.statements : [branch];
+    const writes = [];
+    for (const statement of statements) {
+        const write = unbatchedWrite(statement, scan);
+        if (!write) {
+            return null;
+        }
+        writes.push(write);
+    }
+    return writes;
+}
+//# sourceMappingURL=transaction-runs.js.map

package/dist/src/practices/transaction-runs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"transaction-runs.js","sourceRoot":"","sources":["../../../src/practices/transaction-runs.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iBAAiB,EAAE,2BAA2B,EAAE,MAAM,yBAAyB,CAAC;AACzF,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAExE,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAEvC,MAAM,oBAAoB,GAAG,CAAC,CAAC;AAO/B,MAAM,UAAU,0BAA0B,CAAC,IAAqB;IAC9D,MAAM,QAAQ,GAA4B,EAAE,CAAC;IAC7C,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QAC9B,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9C,QAAQ,CAAC,IAAI,CAAC,GAAG,wBAAwB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QACzD,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,wBAAwB,CAC/B,KAA+B,EAC/B,IAAqB;IAErB,MAAM,WAAW,GAAmB;QAClC,iBAAiB,EAAE,EAAE;QACrB,QAAQ,EAAE,EAAE;QACZ,UAAU,EAAE,IAAI;QAChB,MAAM,EAAE,EAAE;KACX,CAAC;IACF,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACzC,mBAAmB,CAAC,WAAW,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;IACpD,CAAC;IACD,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IAC5B,OAAO,WAAW,CAAC,QAAQ,CAAC;AAC9B,CAAC;AAED,SAAS,mBAAmB,CAC1B,WAA2B,EAC3B,SAAuB,EACvB,IAAqB;IAErB,MAAM,KAAK,GAAG,cAAc,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;IAC9C,MAAM,YAAY,GAAG,2BAA2B,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;IAClE,IAAI,KAAK,EAAE,CAAC;QACV,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC;SAAM,IAAI,YAAY,IAAI,YAAY,CAAC,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,EAAE,CAAC;QAC1E,WAAW,CAAC,iBAAiB,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,CAAC;IACtD,CAAC;SAAM,IAAI,cAAc,CAAC,SAAS,CAAC,EAAE,CAAC;QACrC,WAAW,CAAC,UAAU,GAAG,KAAK,CAAC;IACjC,CAAC;SAAM,CAAC;QACN,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IAC9B,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,SAAuB,EAAE,IAAqB;IACpE,MAAM,KAAK,GAAG,eAAe,CAAC,SAAS,EAAE,IAAI,CAAC,kBAAkB,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IACnF,OAAO,KAAK,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAC1E,CAAC;AAED,SAAS,YAAY,CACnB,MAAkC,EAClC,YAAwC;IAExC,OAAO,CACL,MAAM,CAAC,MAAM,GAAG,CAAC;QACjB,YAAY,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW,CAAC,IAAI,CAAC,CAAC,CAC/F,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,WAA2B,EAAE,IAAqB;IAClE,IAAI,WAAW,CAAC,UAAU,IAAI,WAAW,CAAC,MAAM,CAAC,MAAM,IAAI,oBAAoB,EAAE,CAAC;QAChF,MAAM,OAAO,GAAG,kBAAkB,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QACtD,IAAI,OAAO,EAAE,CAAC;YACZ,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;IACD,WAAW,CAAC,MAAM,GAAG,EAAE,CAAC;IACxB,WAAW,CAAC,iBAAiB,GAAG,EAAE,CAAC;IACnC,WAAW,CAAC,UAAU,GAAG,IAAI,CAAC;AAChC,CAAC;AAED,SAAS,cAAc,CAAC,SAAuB;IAC7C,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC,EAAE,CAAC;QACzC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,UAAU,GAAG,2BAA2B,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IACrE,OAAO,CACL,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC;QAC/B,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC,UAAU,CAAC;QACpD,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAC1C,CAAC;AACJ,CAAC;AAED,SAAS,2BAA2B,CAClC,SAAuB,EACvB,IAAqB;IAErB,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,IAAI,CAAC,iBAAiB,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;QAC7E,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG;QACf,SAAS,CAAC,aAAa;QACvB,GAAG,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KAC9D,CAAC;IACF,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;QAC9B,MAAM,YAAY,GAAG,sBAAsB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC1D,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3C,CAAC;AAED,SAAS,sBAAsB,CAC7B,MAAoB,EACpB,IAAqB;IAErB,MAAM,UAAU,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACrE,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,KAAK,GAAG,cAAc,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QAC9C,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/src/project/analysis-coverage.d.ts

@@ -0,0 +1,44 @@
+export declare const ANALYSIS_COVERAGE_STAGES: readonly ["parser", "lowering", "semantic", "detector"];
+export type AnalysisCoverageStage = (typeof ANALYSIS_COVERAGE_STAGES)[number];
+export type AnalysisCoverageStatus = "analyzed" | "skipped" | "unknown" | "unsupported";
+export interface AnalysisCoverageReason {
+    readonly code: string;
+    readonly message: string;
+}
+export interface AnalysisCoverageOutcome {
+    readonly status: AnalysisCoverageStatus;
+    readonly reason: AnalysisCoverageReason;
+}
+export interface AnalysisCoverageStages {
+    readonly parser: AnalysisCoverageOutcome;
+    readonly lowering: AnalysisCoverageOutcome;
+    readonly semantic: AnalysisCoverageOutcome;
+    readonly detector: AnalysisCoverageOutcome;
+}
+export type AnalysisCoverageTarget = {
+    readonly kind: "file";
+    readonly file: string;
+} | {
+    readonly kind: "function";
+    readonly file: string;
+    readonly name: string | null;
+    readonly start: number;
+    readonly end: number;
+};
+export interface AnalysisCoverageEntry {
+    readonly target: AnalysisCoverageTarget;
+    readonly stages: AnalysisCoverageStages;
+}
+export interface AnalysisCoverageReport {
+    readonly schemaVersion: 1;
+    /** An empty list means that no targets were registered, never unknown coverage. */
+    readonly entries: readonly AnalysisCoverageEntry[];
+}
+export declare class AnalysisCoverageLedger {
+    #private;
+    constructor(expectedTargets?: readonly AnalysisCoverageTarget[]);
+    record(entry: AnalysisCoverageEntry): void;
+    report(): AnalysisCoverageReport;
+    toJSON(): AnalysisCoverageReport;
+}
+//# sourceMappingURL=analysis-coverage.d.ts.map

package/dist/src/project/analysis-coverage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"analysis-coverage.d.ts","sourceRoot":"","sources":["../../../src/project/analysis-coverage.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,wBAAwB,yDAA0D,CAAC;AAEhG,MAAM,MAAM,qBAAqB,GAAG,CAAC,OAAO,wBAAwB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE9E,MAAM,MAAM,sBAAsB,GAAG,UAAU,GAAG,SAAS,GAAG,SAAS,GAAG,aAAa,CAAC;AAExF,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAC;IACxC,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAC;CACzC;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC;IACzC,QAAQ,CAAC,QAAQ,EAAE,uBAAuB,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,uBAAuB,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,uBAAuB,CAAC;CAC5C;AAED,MAAM,MAAM,sBAAsB,GAC9B;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB,CAAC;AAEN,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAC;IACxC,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAC;CACzC;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,mFAAmF;IACnF,QAAQ,CAAC,OAAO,EAAE,SAAS,qBAAqB,EAAE,CAAC;CACpD;AAsID,qBAAa,sBAAsB;;gBAId,eAAe,GAAE,SAAS,sBAAsB,EAAO;IAanE,MAAM,CAAC,KAAK,EAAE,qBAAqB,GAAG,IAAI;IAqB1C,MAAM,IAAI,sBAAsB;IAuBhC,MAAM,IAAI,sBAAsB;CAGxC"}

package/dist/src/project/analysis-coverage.js

@@ -0,0 +1,161 @@
+export const ANALYSIS_COVERAGE_STAGES = ["parser", "lowering", "semantic", "detector"];
+const COVERAGE_STATUSES = new Set([
+    "analyzed",
+    "skipped",
+    "unknown",
+    "unsupported",
+]);
+function compareText(left, right) {
+    if (left < right) {
+        return -1;
+    }
+    return left > right ? 1 : 0;
+}
+function compareFunctionSpans(left, right) {
+    const startOrder = left.start - right.start;
+    if (startOrder !== 0) {
+        return startOrder;
+    }
+    const endOrder = left.end - right.end;
+    if (endOrder !== 0) {
+        return endOrder;
+    }
+    return compareText(left.name ?? "", right.name ?? "");
+}
+function compareTargets(left, right) {
+    const fileOrder = compareText(left.file, right.file);
+    if (fileOrder !== 0) {
+        return fileOrder;
+    }
+    if (left.kind !== right.kind) {
+        return left.kind === "file" ? -1 : 1;
+    }
+    if (left.kind === "file" || right.kind === "file") {
+        return 0;
+    }
+    return compareFunctionSpans(left, right);
+}
+function requireNonBlank(value, field) {
+    if (value.trim().length === 0) {
+        throw new TypeError(`${field} must not be empty`);
+    }
+    return value;
+}
+function requireFunctionSpan(target) {
+    if (target.name !== null) {
+        requireNonBlank(target.name, "function target name");
+    }
+    if (!Number.isSafeInteger(target.start) || target.start < 0) {
+        throw new TypeError("function target start must be a non-negative safe integer");
+    }
+    if (!Number.isSafeInteger(target.end) || target.end <= target.start) {
+        throw new TypeError("function target end must be a safe integer after start");
+    }
+}
+function normalizeTarget(target) {
+    const file = requireNonBlank(target.file, "coverage target file");
+    if (target.kind === "file") {
+        return { file, kind: "file" };
+    }
+    if (target.kind !== "function") {
+        throw new TypeError("coverage target kind must be file or function");
+    }
+    requireFunctionSpan(target);
+    return {
+        end: target.end,
+        file,
+        kind: "function",
+        name: target.name,
+        start: target.start,
+    };
+}
+function normalizeOutcome(stage, outcome) {
+    if (!COVERAGE_STATUSES.has(outcome.status)) {
+        throw new TypeError(`coverage stage ${stage} has an invalid status`);
+    }
+    return {
+        reason: {
+            code: requireNonBlank(outcome.reason.code, `coverage stage ${stage} reason code`),
+            message: requireNonBlank(outcome.reason.message, `coverage stage ${stage} reason message`),
+        },
+        status: outcome.status,
+    };
+}
+function normalizeStages(stages) {
+    const suppliedStages = Object.keys(stages);
+    // SAFETY: ANALYSIS_COVERAGE_STAGES is a readonly tuple of string literals.
+    // Widening its element type to string only loosens what `includes` accepts.
+    if (suppliedStages.length !== ANALYSIS_COVERAGE_STAGES.length ||
+        suppliedStages.some((stage) => !ANALYSIS_COVERAGE_STAGES.includes(stage))) {
+        throw new TypeError("coverage must explicitly report parser, lowering, semantic, and detector stages");
+    }
+    return {
+        detector: normalizeOutcome("detector", stages.detector),
+        lowering: normalizeOutcome("lowering", stages.lowering),
+        parser: normalizeOutcome("parser", stages.parser),
+        semantic: normalizeOutcome("semantic", stages.semantic),
+    };
+}
+function targetKey(target) {
+    return target.kind === "file"
+        ? `file\0${target.file}`
+        : `function\0${target.file}\0${target.start}\0${target.end}`;
+}
+export class AnalysisCoverageLedger {
+    #entries = new Map();
+    #expectedTargets;
+    constructor(expectedTargets = []) {
+        const expected = new Map();
+        for (const candidate of expectedTargets) {
+            const target = normalizeTarget(candidate);
+            const key = targetKey(target);
+            if (expected.has(key)) {
+                throw new Error(`duplicate expected coverage target: ${key}`);
+            }
+            expected.set(key, target);
+        }
+        this.#expectedTargets = expected;
+    }
+    record(entry) {
+        const normalized = {
+            stages: normalizeStages(entry.stages),
+            target: normalizeTarget(entry.target),
+        };
+        const key = targetKey(normalized.target);
+        if (this.#expectedTargets.size > 0 && !this.#expectedTargets.has(key)) {
+            throw new Error(`unexpected coverage target: ${key}`);
+        }
+        if (this.#entries.has(key)) {
+            throw new Error(`coverage target already recorded: ${key}`);
+        }
+        if (normalized.stages.parser.status !== "analyzed" &&
+            normalized.stages.detector.status === "analyzed") {
+            throw new Error("detector cannot be analyzed when parser coverage is not analyzed");
+        }
+        this.#entries.set(key, normalized);
+    }
+    report() {
+        const missing = [...this.#expectedTargets].filter(([key]) => !this.#entries.has(key));
+        if (missing.length > 0) {
+            throw new Error(`coverage targets were not recorded: ${missing.map(([key]) => key).join(", ")}`);
+        }
+        return {
+            entries: [...this.#entries.values()]
+                .toSorted((left, right) => compareTargets(left.target, right.target))
+                .map((entry) => ({
+                stages: {
+                    parser: normalizeOutcome("parser", entry.stages.parser),
+                    lowering: normalizeOutcome("lowering", entry.stages.lowering),
+                    semantic: normalizeOutcome("semantic", entry.stages.semantic),
+                    detector: normalizeOutcome("detector", entry.stages.detector),
+                },
+                target: { ...entry.target },
+            })),
+            schemaVersion: 1,
+        };
+    }
+    toJSON() {
+        return this.report();
+    }
+}
+//# sourceMappingURL=analysis-coverage.js.map

package/dist/src/project/analysis-coverage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"analysis-coverage.js","sourceRoot":"","sources":["../../../src/project/analysis-coverage.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,CAAU,CAAC;AA+ChG,MAAM,iBAAiB,GAAwC,IAAI,GAAG,CAAC;IACrE,UAAU;IACV,SAAS;IACT,SAAS;IACT,aAAa;CACd,CAAC,CAAC;AAIH,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC9C,IAAI,IAAI,GAAG,KAAK,EAAE,CAAC;QACjB,OAAO,CAAC,CAAC,CAAC;IACZ,CAAC;IACD,OAAO,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC9B,CAAC;AAED,SAAS,oBAAoB,CAC3B,IAAoC,EACpC,KAAqC;IAErC,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAC5C,IAAI,UAAU,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;IACtC,IAAI,QAAQ,KAAK,CAAC,EAAE,CAAC;QACnB,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,OAAO,WAAW,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,EAAE,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;AACxD,CAAC;AAED,SAAS,cAAc,CAAC,IAA4B,EAAE,KAA6B;IACjF,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IACrD,IAAI,SAAS,KAAK,CAAC,EAAE,CAAC;QACpB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAClD,OAAO,CAAC,CAAC;IACX,CAAC;IAED,OAAO,oBAAoB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,eAAe,CAAC,KAAa,EAAE,KAAa;IACnD,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,oBAAoB,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,mBAAmB,CAAC,MAAsC;IACjE,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACzB,eAAe,CAAC,MAAM,CAAC,IAAI,EAAE,sBAAsB,CAAC,CAAC;IACvD,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;QAC5D,MAAM,IAAI,SAAS,CAAC,2DAA2D,CAAC,CAAC;IACnF,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,GAAG,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACpE,MAAM,IAAI,SAAS,CAAC,wDAAwD,CAAC,CAAC;IAChF,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CAAC,MAA8B;IACrD,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,CAAC,IAAI,EAAE,sBAAsB,CAAC,CAAC;IAClE,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC3B,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAChC,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC/B,MAAM,IAAI,SAAS,CAAC,+CAA+C,CAAC,CAAC;IACvE,CAAC;IAED,mBAAmB,CAAC,MAAM,CAAC,CAAC;IAE5B,OAAO;QACL,GAAG,EAAE,MAAM,CAAC,GAAG;QACf,IAAI;QACJ,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,KAAK,EAAE,MAAM,CAAC,KAAK;KACpB,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,KAA4B,EAC5B,OAAgC;IAEhC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3C,MAAM,IAAI,SAAS,CAAC,kBAAkB,KAAK,wBAAwB,CAAC,CAAC;IACvE,CAAC;IAED,OAAO;QACL,MAAM,EAAE;YACN,IAAI,EAAE,eAAe,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,kBAAkB,KAAK,cAAc,CAAC;YACjF,OAAO,EAAE,eAAe,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,EAAE,kBAAkB,KAAK,iBAAiB,CAAC;SAC3F;QACD,MAAM,EAAE,OAAO,CAAC,MAAM;KACvB,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,MAA8B;IACrD,MAAM,cAAc,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC3C,2EAA2E;IAC3E,4EAA4E;IAC5E,IACE,cAAc,CAAC,MAAM,KAAK,wBAAwB,CAAC,MAAM;QACzD,cAAc,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAE,wBAA8C,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAChG,CAAC;QACD,MAAM,IAAI,SAAS,CACjB,iFAAiF,CAClF,CAAC;IACJ,CAAC;IAED,OAAO;QACL,QAAQ,EAAE,gBAAgB,CAAC,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC;QACvD,QAAQ,EAAE,gBAAgB,CAAC,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC;QACvD,MAAM,EAAE,gBAAgB,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC;QACjD,QAAQ,EAAE,gBAAgB,CAAC,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC;KACxD,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,MAA8B;IAC/C,OAAO,MAAM,CAAC,IAAI,KAAK,MAAM;QAC3B,CAAC,CAAC,SAAS,MAAM,CAAC,IAAI,EAAE;QACxB,CAAC,CAAC,aAAa,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,KAAK,KAAK,MAAM,CAAC,GAAG,EAAE,CAAC;AACjE,CAAC;AAED,MAAM,OAAO,sBAAsB;IACxB,QAAQ,GAAG,IAAI,GAAG,EAAiC,CAAC;IACpD,gBAAgB,CAA8C;IAEvE,YAAmB,kBAAqD,EAAE;QACxE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkC,CAAC;QAC3D,KAAK,MAAM,SAAS,IAAI,eAAe,EAAE,CAAC;YACxC,MAAM,MAAM,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC;YAC1C,MAAM,GAAG,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;YAC9B,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACtB,MAAM,IAAI,KAAK,CAAC,uCAAuC,GAAG,EAAE,CAAC,CAAC;YAChE,CAAC;YACD,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC5B,CAAC;QACD,IAAI,CAAC,gBAAgB,GAAG,QAAQ,CAAC;IACnC,CAAC;IAEM,MAAM,CAAC,KAA4B;QACxC,MAAM,UAAU,GAA0B;YACxC,MAAM,EAAE,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC;YACrC,MAAM,EAAE,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC;SACtC,CAAC;QACF,MAAM,GAAG,GAAG,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QACzC,IAAI,IAAI,CAAC,gBAAgB,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACtE,MAAM,IAAI,KAAK,CAAC,+BAA+B,GAAG,EAAE,CAAC,CAAC;QACxD,CAAC;QACD,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,KAAK,CAAC,qCAAqC,GAAG,EAAE,CAAC,CAAC;QAC9D,CAAC;QACD,IACE,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,UAAU;YAC9C,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,UAAU,EAChD,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,kEAAkE,CAAC,CAAC;QACtF,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IACrC,CAAC;IAEM,MAAM;QACX,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,CAAC,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QACtF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CACb,uCAAuC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAChF,CAAC;QACJ,CAAC;QACD,OAAO;YACL,OAAO,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;iBACjC,QAAQ,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;iBACpE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBACf,MAAM,EAAE;oBACN,MAAM,EAAE,gBAAgB,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;oBACvD,QAAQ,EAAE,gBAAgB,CAAC,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC;oBAC7D,QAAQ,EAAE,gBAAgB,CAAC,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC;oBAC7D,QAAQ,EAAE,gBAAgB,CAAC,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC;iBAC9D;gBACD,MAAM,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE;aAC5B,CAAC,CAAC;YACL,aAAa,EAAE,CAAC;SACjB,CAAC;IACJ,CAAC;IAEM,MAAM;QACX,OAAO,IAAI,CAAC,MAAM,EAAE,CAAC;IACvB,CAAC;CACF"}

package/dist/src/project/analysis-project.d.ts

@@ -0,0 +1,21 @@
+import type { AnalysisDiagnostic } from "../core/parser-diagnostics.js";
+import ts from "typescript";
+export type AnalysisDialect = "javascript" | "javascript-jsx" | "typescript" | "typescript-jsx";
+export interface AnalysisFile {
+    readonly dialect: AnalysisDialect;
+    readonly identityPath: string;
+    readonly originalPath: string;
+    readonly parserDiagnostics: readonly AnalysisDiagnostic[];
+    readonly scriptKind: ts.ScriptKind;
+    readonly sourceFile: ts.SourceFile;
+}
+export declare class AnalysisProject {
+    #private;
+    readonly files: readonly AnalysisFile[];
+    constructor(sources: ReadonlyMap<string, string>);
+    getFile(fileName: string): AnalysisFile | undefined;
+}
+export declare function createAnalysisFile(fileName: string, sourceText: string): AnalysisFile;
+export declare function isSupportedAnalysisFile(fileName: string): boolean;
+export type { AnalysisDiagnostic } from "../core/parser-diagnostics.js";
+//# sourceMappingURL=analysis-project.d.ts.map

package/dist/src/project/analysis-project.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"analysis-project.d.ts","sourceRoot":"","sources":["../../../src/project/analysis-project.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AAIxE,OAAO,EAAE,MAAM,YAAY,CAAC;AAa5B,MAAM,MAAM,eAAe,GAAG,YAAY,GAAG,gBAAgB,GAAG,YAAY,GAAG,gBAAgB,CAAC;AAEhG,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;IAClC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,iBAAiB,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAC1D,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;IACnC,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;CACpC;AAED,qBAAa,eAAe;;IAC1B,SAAgB,KAAK,EAAE,SAAS,YAAY,EAAE,CAAC;gBAI5B,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC;IAmBhD,OAAO,CAAC,QAAQ,EAAE,MAAM,GAAG,YAAY,GAAG,SAAS;CAG3D;AAED,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,YAAY,CAqBrF;AAED,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAEjE;AAmBD,YAAY,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC"}

package/dist/src/project/analysis-project.js

@@ -0,0 +1,70 @@
+import { canonicalPath, pathIdentityKey } from "../core/path-identity.js";
+import { parserDiagnosticsOf } from "../core/parser-diagnostics.js";
+import path from "node:path";
+import { scriptKindForFile } from "../core/ast.js";
+import ts from "typescript";
+const SOURCE_EXTENSIONS = new Set([
+    ".cjs",
+    ".cts",
+    ".js",
+    ".jsx",
+    ".mjs",
+    ".mts",
+    ".ts",
+    ".tsx",
+]);
+export class AnalysisProject {
+    files;
+    #filesByIdentity;
+    constructor(sources) {
+        const filesByIdentity = new Map();
+        for (const [fileName, sourceText] of sources) {
+            const file = createAnalysisFile(fileName, sourceText);
+            const key = pathIdentityKey(file.identityPath);
+            const existing = filesByIdentity.get(key);
+            if (existing) {
+                throw new Error(`duplicate analysis file identity: ${existing.originalPath} and ${file.originalPath}`);
+            }
+            filesByIdentity.set(key, file);
+        }
+        this.files = [...filesByIdentity.values()].toSorted((left, right) => compareText(left.identityPath, right.identityPath));
+        this.#filesByIdentity = filesByIdentity;
+    }
+    getFile(fileName) {
+        return this.#filesByIdentity.get(pathIdentityKey(fileName));
+    }
+}
+export function createAnalysisFile(fileName, sourceText) {
+    if (!isSupportedAnalysisFile(fileName)) {
+        throw new Error(`unsupported analysis file extension: ${fileName}`);
+    }
+    const identityPath = canonicalPath(fileName);
+    const scriptKind = scriptKindForFile(identityPath);
+    const sourceFile = ts.createSourceFile(identityPath, sourceText, ts.ScriptTarget.Latest, true, scriptKind);
+    return {
+        dialect: dialectForScriptKind(scriptKind),
+        identityPath,
+        originalPath: fileName,
+        parserDiagnostics: parserDiagnosticsOf(sourceFile),
+        scriptKind,
+        sourceFile,
+    };
+}
+export function isSupportedAnalysisFile(fileName) {
+    return SOURCE_EXTENSIONS.has(path.extname(fileName).toLowerCase());
+}
+function compareText(left, right) {
+    if (left < right) {
+        return -1;
+    }
+    return left > right ? 1 : 0;
+}
+const DIALECT_BY_SCRIPT_KIND = new Map([
+    [ts.ScriptKind.JS, "javascript"],
+    [ts.ScriptKind.JSX, "javascript-jsx"],
+    [ts.ScriptKind.TSX, "typescript-jsx"],
+]);
+function dialectForScriptKind(scriptKind) {
+    return DIALECT_BY_SCRIPT_KIND.get(scriptKind) ?? "typescript";
+}
+//# sourceMappingURL=analysis-project.js.map

package/dist/src/project/analysis-project.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"analysis-project.js","sourceRoot":"","sources":["../../../src/project/analysis-project.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAG1E,OAAO,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AACpE,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,iBAAiB,GAAwB,IAAI,GAAG,CAAC;IACrD,MAAM;IACN,MAAM;IACN,KAAK;IACL,MAAM;IACN,MAAM;IACN,MAAM;IACN,KAAK;IACL,MAAM;CACP,CAAC,CAAC;AAaH,MAAM,OAAO,eAAe;IACV,KAAK,CAA0B;IAEtC,gBAAgB,CAAoC;IAE7D,YAAmB,OAAoC;QACrD,MAAM,eAAe,GAAG,IAAI,GAAG,EAAwB,CAAC;QACxD,KAAK,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,OAAO,EAAE,CAAC;YAC7C,MAAM,IAAI,GAAG,kBAAkB,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;YACtD,MAAM,GAAG,GAAG,eAAe,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;YAC/C,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC1C,IAAI,QAAQ,EAAE,CAAC;gBACb,MAAM,IAAI,KAAK,CACb,qCAAqC,QAAQ,CAAC,YAAY,QAAQ,IAAI,CAAC,YAAY,EAAE,CACtF,CAAC;YACJ,CAAC;YACD,eAAe,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACjC,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,CAAC,GAAG,eAAe,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAClE,WAAW,CAAC,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,YAAY,CAAC,CACnD,CAAC;QACF,IAAI,CAAC,gBAAgB,GAAG,eAAe,CAAC;IAC1C,CAAC;IAEM,OAAO,CAAC,QAAgB;QAC7B,OAAO,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC9D,CAAC;CACF;AAED,MAAM,UAAU,kBAAkB,CAAC,QAAgB,EAAE,UAAkB;IACrE,IAAI,CAAC,uBAAuB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvC,MAAM,IAAI,KAAK,CAAC,wCAAwC,QAAQ,EAAE,CAAC,CAAC;IACtE,CAAC;IACD,MAAM,YAAY,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IAC7C,MAAM,UAAU,GAAG,iBAAiB,CAAC,YAAY,CAAC,CAAC;IACnD,MAAM,UAAU,GAAG,EAAE,CAAC,gBAAgB,CACpC,YAAY,EACZ,UAAU,EACV,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,UAAU,CACX,CAAC;IACF,OAAO;QACL,OAAO,EAAE,oBAAoB,CAAC,UAAU,CAAC;QACzC,YAAY;QACZ,YAAY,EAAE,QAAQ;QACtB,iBAAiB,EAAE,mBAAmB,CAAC,UAAU,CAAC;QAClD,UAAU;QACV,UAAU;KACX,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,QAAgB;IACtD,OAAO,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC9C,IAAI,IAAI,GAAG,KAAK,EAAE,CAAC;QACjB,OAAO,CAAC,CAAC,CAAC;IACZ,CAAC;IACD,OAAO,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC9B,CAAC;AAED,MAAM,sBAAsB,GAAG,IAAI,GAAG,CAAiC;IACrE,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,EAAE,YAAY,CAAC;IAChC,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,gBAAgB,CAAC;IACrC,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,gBAAgB,CAAC;CACtC,CAAC,CAAC;AAEH,SAAS,oBAAoB,CAAC,UAAyB;IACrD,OAAO,sBAAsB,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,YAAY,CAAC;AAChE,CAAC"}

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

@@ -0,0 +1,20 @@
+import { AnalysisProject } from "../analysis-project.js";
+import type { SemanticContext, SemanticContextDiagnostic } from "../semantic-context/model.js";
+import type { InstalledLegendState } from "../legend-state-package.js";
+import type { SourceIndex } from "../source-components/source-components.js";
+export interface AnalysisContext {
+    installedLegendState: InstalledLegendState | null;
+    project: AnalysisProject;
+    semanticContext: SemanticContext | null;
+    semanticDiagnostics: readonly SemanticContextDiagnostic[];
+    sourceIndex: SourceIndex;
+    root: string;
+}
+export interface AnalysisContextOptions {
+    /** Build one fail-closed semantic shard from this explicit tsconfig. */
+    configFilePath?: string;
+}
+export declare function createAnalysisContext(rootPath: string, options?: AnalysisContextOptions): Promise<AnalysisContext>;
+export declare function createAnalysisContextFromFiles(root: string, files: readonly string[], options: AnalysisContextOptions): Promise<AnalysisContext>;
+export declare function collectSourceFiles(directory: string): Promise<string[]>;
+//# sourceMappingURL=analysis-context.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"analysis-context.d.ts","sourceRoot":"","sources":["../../../../src/project/analyze-path/analysis-context.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAA2B,MAAM,wBAAwB,CAAC;AAClF,OAAO,KAAK,EAAE,eAAe,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AAE/F,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AACvE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,2CAA2C,CAAC;AAmB7E,MAAM,WAAW,eAAe;IAC9B,oBAAoB,EAAE,oBAAoB,GAAG,IAAI,CAAC;IAClD,OAAO,EAAE,eAAe,CAAC;IACzB,eAAe,EAAE,eAAe,GAAG,IAAI,CAAC;IACxC,mBAAmB,EAAE,SAAS,yBAAyB,EAAE,CAAC;IAC1D,WAAW,EAAE,WAAW,CAAC;IACzB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,sBAAsB;IACrC,wEAAwE;IACxE,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,wBAAsB,qBAAqB,CACzC,QAAQ,EAAE,MAAM,EAChB,OAAO,GAAE,sBAA2B,GACnC,OAAO,CAAC,eAAe,CAAC,CAI1B;AAED,wBAAsB,8BAA8B,CAClD,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,OAAO,EAAE,sBAAsB,GAC9B,OAAO,CAAC,eAAe,CAAC,CAe1B;AAqBD,wBAAsB,kBAAkB,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAiB7E"}