@shapeshift-labs/frontier-swarm-codex 0.5.117 → 0.5.119

package/dist/semantic-import-lineage-signals.js

@@ -0,0 +1,126 @@
+import { isObject, nonNegativeNumber, readStringArray } from './common.js';
+export function inferredLineageSignalCounts(value, summary) {
+    const counts = emptyLineageSignalCounts();
+    const sources = summary === value ? [value] : [value, summary];
+    for (const source of sources) {
+        for (const event of lineageEventSignals(source))
+            addLineageSignal(counts, event);
+        for (const code of [...readStringArray(source.reasonCodes), ...readStringArray(source.reasons)]) {
+            addLineageSignal(counts, code);
+        }
+        for (const symbol of readChangedSymbols(source))
+            addChangedSymbolSignal(counts, symbol);
+    }
+    return counts;
+}
+export function lineageEventSignals(value) {
+    return [
+        ...readStringArray(value.eventKinds),
+        ...readEventObjects(value.events).map((event) => String(event.eventKind ?? event.kind ?? event.changeKind ?? event.status ?? ''))
+    ];
+}
+export function readEventObjects(value) {
+    return Array.isArray(value) ? value.filter(isObject) : [];
+}
+export function hasLineageSignalToken(value) {
+    const token = normalizeLineageToken(value);
+    return Boolean(token) && (token.includes('moved') ||
+        token === 'move' ||
+        token.startsWith('move-') ||
+        token.endsWith('-move') ||
+        token.includes('renamed') ||
+        token.includes('rename') ||
+        token.includes('deleted') ||
+        token.includes('delete') ||
+        token.includes('removed') ||
+        token.includes('remove') ||
+        token.includes('ambiguous') ||
+        token.includes('unmatched-added') ||
+        token.includes('added-unmatched') ||
+        token.includes('unmatched-added-anchor') ||
+        token.includes('unmatched') && token.includes('add') ||
+        token.includes('inferred') ||
+        token.includes('recreated'));
+}
+function emptyLineageSignalCounts() {
+    return {
+        inferredEvents: 0,
+        moved: 0,
+        renamed: 0,
+        deleted: 0,
+        ambiguous: 0,
+        unmatchedAdded: 0
+    };
+}
+function readChangedSymbols(value) {
+    return Array.isArray(value.changedSymbols) ? value.changedSymbols.filter(isObject) : [];
+}
+function addLineageSignal(counts, value) {
+    const token = normalizeLineageToken(value);
+    if (!token)
+        return;
+    let matched = false;
+    if (token.includes('moved') || token === 'move' || token.startsWith('move-') || token.endsWith('-move')) {
+        counts.moved = Math.max(counts.moved, 1);
+        matched = true;
+    }
+    if (token.includes('renamed') || token.includes('rename')) {
+        counts.renamed = Math.max(counts.renamed, 1);
+        matched = true;
+    }
+    if (token.includes('deleted') || token.includes('delete') || token.includes('removed') || token.includes('remove')) {
+        counts.deleted = Math.max(counts.deleted, 1);
+        matched = true;
+    }
+    if (token.includes('ambiguous')) {
+        counts.ambiguous = Math.max(counts.ambiguous, 1);
+        matched = true;
+    }
+    if (token.includes('unmatched-added') ||
+        token.includes('added-unmatched') ||
+        token.includes('unmatched-added-anchor') ||
+        token.includes('unmatched') && token.includes('add')) {
+        counts.unmatchedAdded = Math.max(counts.unmatchedAdded, 1);
+        matched = true;
+    }
+    if (matched || token.includes('inferred') || token.includes('recreated')) {
+        counts.inferredEvents = Math.max(counts.inferredEvents, 1);
+    }
+}
+function addChangedSymbolSignal(counts, symbol) {
+    const changeKind = normalizeLineageToken(symbol.changeKind);
+    const status = normalizeLineageToken([
+        symbol.status,
+        symbol.readiness,
+        symbol.lineageStatus,
+        symbol.matchStatus,
+        symbol.reason,
+        symbol.reasonCode
+    ].filter((entry) => entry !== undefined).join(' '));
+    let matched = false;
+    let inferred = false;
+    if (changeKind.includes('removed') || changeKind.includes('remove') || changeKind.includes('deleted') || changeKind.includes('delete')) {
+        counts.deleted += 1;
+        matched = true;
+    }
+    if (status.includes('ambiguous') || nonNegativeNumber(symbol.candidateCount) > 1 || readArrayLength(symbol.candidates) > 1) {
+        counts.ambiguous += 1;
+        matched = true;
+        inferred = true;
+    }
+    if ((changeKind.includes('added') || changeKind.includes('add')) &&
+        (status.includes('unmatched') || status.includes('no-match') || status.includes('unresolved'))) {
+        counts.unmatchedAdded += 1;
+        matched = true;
+        inferred = true;
+    }
+    if (matched && (inferred || status.includes('inferred')))
+        counts.inferredEvents += 1;
+}
+function normalizeLineageToken(value) {
+    return String(value ?? '').trim().toLowerCase().replace(/[_\s]+/g, '-');
+}
+function readArrayLength(value) {
+    return Array.isArray(value) ? value.length : 0;
+}
+//# sourceMappingURL=semantic-import-lineage-signals.js.map

package/dist/semantic-import-lineage-signals.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-import-lineage-signals.js","sourceRoot":"","sources":["../src/semantic-import-lineage-signals.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAE3E,MAAM,UAAU,2BAA2B,CACzC,KAA8B,EAC9B,OAAgC;IAEhC,MAAM,MAAM,GAAG,wBAAwB,EAAE,CAAC;IAC1C,MAAM,OAAO,GAAG,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC/D,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,MAAM,KAAK,IAAI,mBAAmB,CAAC,MAAM,CAAC;YAAE,gBAAgB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACjF,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,eAAe,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,GAAG,eAAe,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;YAChG,gBAAgB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACjC,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,kBAAkB,CAAC,MAAM,CAAC;YAAE,sBAAsB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAA8B;IAChE,OAAO;QACL,GAAG,eAAe,CAAC,KAAK,CAAC,UAAU,CAAC;QACpC,GAAG,gBAAgB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;KAClI,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,KAAc;IAC7C,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAA8B,CAAC,CAAC,CAAC,EAAE,CAAC;AACzF,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,KAAa;IACjD,MAAM,KAAK,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;IAC3C,OAAO,OAAO,CAAC,KAAK,CAAC,IAAI,CACvB,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC;QACvB,KAAK,KAAK,MAAM;QAChB,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC;QACzB,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC;QACvB,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC;QACzB,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC;QACxB,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC;QACzB,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC;QACxB,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC;QACzB,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC;QACxB,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC;QAC3B,KAAK,CAAC,QAAQ,CAAC,iBAAiB,CAAC;QACjC,KAAK,CAAC,QAAQ,CAAC,iBAAiB,CAAC;QACjC,KAAK,CAAC,QAAQ,CAAC,wBAAwB,CAAC;QACxC,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC;QACpD,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC;QAC1B,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,CAC5B,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB;IAC/B,OAAO;QACL,cAAc,EAAE,CAAC;QACjB,KAAK,EAAE,CAAC;QACR,OAAO,EAAE,CAAC;QACV,OAAO,EAAE,CAAC;QACV,SAAS,EAAE,CAAC;QACZ,cAAc,EAAE,CAAC;KAClB,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,KAA8B;IACxD,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,CAAC,QAAQ,CAA8B,CAAC,CAAC,CAAC,EAAE,CAAC;AACvH,CAAC;AAED,SAAS,gBAAgB,CACvB,MAA8H,EAC9H,KAAa;IAEb,MAAM,KAAK,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;IAC3C,IAAI,CAAC,KAAK;QAAE,OAAO;IACnB,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,KAAK,MAAM,IAAI,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QACxG,MAAM,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACzC,OAAO,GAAG,IAAI,CAAC;IACjB,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1D,MAAM,CAAC,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QAC7C,OAAO,GAAG,IAAI,CAAC;IACjB,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QACnH,MAAM,CAAC,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QAC7C,OAAO,GAAG,IAAI,CAAC;IACjB,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QAChC,MAAM,CAAC,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;QACjD,OAAO,GAAG,IAAI,CAAC;IACjB,CAAC;IACD,IACE,KAAK,CAAC,QAAQ,CAAC,iBAAiB,CAAC;QACjC,KAAK,CAAC,QAAQ,CAAC,iBAAiB,CAAC;QACjC,KAAK,CAAC,QAAQ,CAAC,wBAAwB,CAAC;QACxC,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,EACpD,CAAC;QACD,MAAM,CAAC,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC;QAC3D,OAAO,GAAG,IAAI,CAAC;IACjB,CAAC;IACD,IAAI,OAAO,IAAI,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QACzE,MAAM,CAAC,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC;IAC7D,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAC7B,MAA8H,EAC9H,MAA+B;IAE/B,MAAM,UAAU,GAAG,qBAAqB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAC5D,MAAM,MAAM,GAAG,qBAAqB,CAAC;QACnC,MAAM,CAAC,MAAM;QACb,MAAM,CAAC,SAAS;QAChB,MAAM,CAAC,aAAa;QACpB,MAAM,CAAC,WAAW;QAClB,MAAM,CAAC,MAAM;QACb,MAAM,CAAC,UAAU;KAClB,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACpD,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,IAAI,UAAU,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvI,MAAM,CAAC,OAAO,IAAI,CAAC,CAAC;QACpB,OAAO,GAAG,IAAI,CAAC;IACjB,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,iBAAiB,CAAC,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,eAAe,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3H,MAAM,CAAC,SAAS,IAAI,CAAC,CAAC;QACtB,OAAO,GAAG,IAAI,CAAC;QACf,QAAQ,GAAG,IAAI,CAAC;IAClB,CAAC;IACD,IACE,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC5D,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,EAC9F,CAAC;QACD,MAAM,CAAC,cAAc,IAAI,CAAC,CAAC;QAC3B,OAAO,GAAG,IAAI,CAAC;QACf,QAAQ,GAAG,IAAI,CAAC;IAClB,CAAC;IACD,IAAI,OAAO,IAAI,CAAC,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QAAE,MAAM,CAAC,cAAc,IAAI,CAAC,CAAC;AACvF,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAc;IAC3C,OAAO,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;AAC1E,CAAC;AAED,SAAS,eAAe,CAAC,KAAc;IACrC,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AACjD,CAAC"}

package/dist/semantic-import-lineage.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"semantic-import-lineage.d.ts","sourceRoot":"","sources":["../src/semantic-import-lineage.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iCAAiC,EAAE,mCAAmC,EAAE,MAAM,qBAAqB,CAAC;AAGlH,wBAAgB,4BAA4B,CAAC,OAAO,EAAE,OAAO,GAAG,mCAAmC,CAElG;AAED,wBAAgB,8BAA8B,CAAC,OAAO,EAAE,iCAAiC,EAAE,GAAG,mCAAmC,CAKhI;AAED,wBAAgB,gCAAgC,CAAC,KAAK,EAAE,OAAO,GAAG,mCAAmC,CAIpG"}
+{"version":3,"file":"semantic-import-lineage.d.ts","sourceRoot":"","sources":["../src/semantic-import-lineage.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iCAAiC,EAAE,mCAAmC,EAAE,MAAM,qBAAqB,CAAC;AASlH,wBAAgB,4BAA4B,CAAC,OAAO,EAAE,OAAO,GAAG,mCAAmC,CAElG;AAED,wBAAgB,8BAA8B,CAAC,OAAO,EAAE,iCAAiC,EAAE,GAAG,mCAAmC,CAKhI;AAED,wBAAgB,gCAAgC,CAAC,KAAK,EAAE,OAAO,GAAG,mCAAmC,CAIpG"}

package/dist/semantic-import-lineage.js

@@ -1,4 +1,5 @@
 import { isObject, nonNegativeNumber, numberRecord, readStringArray, uniqueStrings } from './common.js';
+import { hasLineageSignalToken, inferredLineageSignalCounts, lineageEventSignals, readEventObjects } from './semantic-import-lineage-signals.js';
 export function semanticImportLineageSummary(summary) {
     return summarizeSemanticLineageEvidence(summary);
 }
@@ -18,16 +19,32 @@ function lineageCandidates(value) {
     const record = isObject(value) ? value : undefined;
     if (!record)
         return [];
-    const direct = record.kind === 'frontier.lang.semanticLineageInference' ? [record] : [];
-    return [
-        ...direct,
+    if (record.kind === 'frontier.lang.semanticLineageInference')
+        return [record];
+    const primary = [
         ...readCandidate(record.semanticLineage),
         ...readCandidate(record.semanticLineageInference),
         ...readCandidate(record.lineageInference),
-        ...readCandidate(record.summary),
-        ...readCandidate(record.metadata?.semanticLineageInferenceSummary),
         ...readCandidate(record.diff?.lineageInference)
     ];
+    const summaryOnly = primary.length === 0
+        ? [
+            ...readCandidate(record.summary),
+            ...readCandidate(record.metadata?.semanticLineageInferenceSummary)
+        ]
+        : [];
+    const directFallback = primary.length === 0 && summaryOnly.length === 0 && hasLineageCandidateShape(record)
+        ? [record]
+        : [];
+    const nativeFallback = primary.length === 0 && summaryOnly.length === 0 && directFallback.length === 0 && record.kind === 'frontier.lang.nativeSourceChangeSet'
+        ? [record]
+        : [];
+    return [
+        ...primary,
+        ...summaryOnly,
+        ...directFallback,
+        ...nativeFallback
+    ];
 }
 function readCandidate(value) {
     const record = isObject(value) ? value : undefined;
@@ -42,9 +59,39 @@ function readCandidate(value) {
     ].filter(isObject);
     return [record, ...nested];
 }
+function hasLineageCandidateShape(record) {
+    return record.inferredEvents !== undefined ||
+        record.moved !== undefined ||
+        record.renamed !== undefined ||
+        record.deleted !== undefined ||
+        record.ambiguous !== undefined ||
+        record.unmatchedAdded !== undefined ||
+        record.unchangedAnchors !== undefined ||
+        record.beforeSymbols !== undefined ||
+        record.afterSymbols !== undefined ||
+        record.needsReview !== undefined ||
+        record.reviewRequired !== undefined ||
+        readStringArray(record.eventKinds).some(hasLineageSignalToken) ||
+        readStringArray(record.reasonCodes).some(hasLineageSignalToken) ||
+        readStringArray(record.reasons).some(hasLineageSignalToken) ||
+        lineageEventSignals(record).some(hasLineageSignalToken) ||
+        Array.isArray(record.changedSymbols);
+}
 function normalizeLineageCandidate(value) {
     const summary = isObject(value.summary) ? value.summary : value;
-    const eventKinds = eventKindList(value);
+    const signalCounts = inferredLineageSignalCounts(value, summary);
+    const deleted = Math.max(nonNegativeNumber(summary.deleted), nonNegativeNumber(value.deleted), signalCounts.deleted);
+    const ambiguous = Math.max(nonNegativeNumber(summary.ambiguous), nonNegativeNumber(value.ambiguous), signalCounts.ambiguous);
+    const unmatchedAdded = Math.max(nonNegativeNumber(summary.unmatchedAdded), nonNegativeNumber(value.unmatchedAdded), signalCounts.unmatchedAdded);
+    const moved = Math.max(nonNegativeNumber(summary.moved), nonNegativeNumber(value.moved), signalCounts.moved);
+    const renamed = Math.max(nonNegativeNumber(summary.renamed), nonNegativeNumber(value.renamed), signalCounts.renamed);
+    const eventKinds = eventKindList(value, summary, {
+        moved,
+        renamed,
+        deleted,
+        ambiguous,
+        unmatchedAdded
+    });
     const readinessKey = typeof value.readiness === 'string'
         ? value.readiness
         : typeof summary.readiness === 'string'
@@ -54,34 +101,55 @@ function normalizeLineageCandidate(value) {
         ...numberRecord(summary.readiness),
         ...(readinessKey ? { [readinessKey]: 1 } : {})
     };
-    const inferredEvents = nonNegativeNumber(summary.inferredEvents ?? summary.events ?? summary.total);
+    const inferredEvents = Math.max(readInferredEventCount(value, summary), signalCounts.inferredEvents);
     const total = Math.max(inferredEvents, eventKinds.length, nonNegativeNumber(summary.total));
     const reasonCodes = uniqueStrings([
         ...readStringArray(value.reasons),
         ...readStringArray(summary.reasons),
         ...readStringArray(value.reasonCodes),
-        ...readStringArray(summary.reasonCodes)
+        ...readStringArray(summary.reasonCodes),
+        ...inferredLineageReasonCodes({
+            moved,
+            renamed,
+            deleted,
+            ambiguous,
+            unmatchedAdded
+        })
     ]);
     const beforeSymbols = nonNegativeNumber(summary.beforeSymbols);
     const afterSymbols = nonNegativeNumber(summary.afterSymbols);
     const blocked = nonNegativeNumber(readiness.blocked);
-    const needsReview = nonNegativeNumber(readiness['needs-review']);
+    const explicitNeedsReview = Math.max(nonNegativeNumber(value.needsReview), nonNegativeNumber(summary.needsReview));
+    const readinessNeedsReview = nonNegativeNumber(readiness['needs-review']);
+    const reviewRequired = readReviewRequired(value, summary) || inferredLineageNeedsReview({
+        inferredEvents,
+        moved,
+        renamed,
+        deleted,
+        ambiguous,
+        unmatchedAdded
+    }) ||
+        explicitNeedsReview > 0 ||
+        readinessNeedsReview > 0;
+    const needsReview = Math.max(readinessNeedsReview, explicitNeedsReview, reviewRequired && blocked === 0 ? 1 : 0);
+    if (needsReview > 0 && readinessNeedsReview === 0)
+        readiness['needs-review'] = needsReview;
     const ready = nonNegativeNumber(readiness.ready);
     return {
         total,
         inferredEvents,
-        moved: nonNegativeNumber(summary.moved),
-        renamed: nonNegativeNumber(summary.renamed),
-        deleted: nonNegativeNumber(summary.deleted),
-        ambiguous: nonNegativeNumber(summary.ambiguous),
-        unmatchedAdded: nonNegativeNumber(summary.unmatchedAdded),
+        moved,
+        renamed,
+        deleted,
+        ambiguous,
+        unmatchedAdded,
         unchangedAnchors: nonNegativeNumber(summary.unchangedAnchors),
         beforeSymbols,
         afterSymbols,
         blocked,
         needsReview,
         ready,
-        reviewRequired: readReviewRequired(value, summary),
+        reviewRequired,
         readiness,
         eventKinds,
         reasonCodes,
@@ -94,11 +162,17 @@ function normalizeLineageCandidate(value) {
             reasonCodes.length === 0
     };
 }
-function eventKindList(value) {
-    const events = Array.isArray(value.events) ? value.events : [];
+function eventKindList(value, summary, counts) {
+    const events = [...readEventObjects(value.events), ...readEventObjects(summary.events)];
     return uniqueStrings([
         ...readStringArray(value.eventKinds),
-        ...events.map((event) => isObject(event) ? event.eventKind ?? event.kind : undefined).filter(Boolean).map(String)
+        ...readStringArray(summary.eventKinds),
+        ...events.map((event) => isObject(event) ? event.eventKind ?? event.kind : undefined).filter(Boolean).map(String),
+        ...(counts.moved > 0 ? ['moved'] : []),
+        ...(counts.renamed > 0 ? ['renamed'] : []),
+        ...(counts.deleted > 0 ? ['deleted'] : []),
+        ...(counts.ambiguous > 0 ? ['ambiguous'] : []),
+        ...(counts.unmatchedAdded > 0 ? ['unmatched-added'] : [])
     ]);
 }
 function readReviewRequired(value, summary) {
@@ -109,6 +183,34 @@ function readReviewRequired(value, summary) {
         metadata.semanticEquivalenceClaim === false ||
         metadata.autoMergeClaim === false;
 }
+function inferredLineageNeedsReview(input) {
+    return input.inferredEvents > 0 ||
+        input.moved > 0 ||
+        input.renamed > 0 ||
+        input.deleted > 0 ||
+        input.ambiguous > 0 ||
+        input.unmatchedAdded > 0;
+}
+function inferredLineageReasonCodes(input) {
+    return [
+        input.moved > 0 ? 'moved-anchor-lineage-inferred' : undefined,
+        input.renamed > 0 ? 'renamed-anchor-lineage-inferred' : undefined,
+        input.deleted > 0 ? 'deleted-anchor-lineage-inferred' : undefined,
+        input.ambiguous > 0 ? 'ambiguous-lineage-candidates' : undefined,
+        input.unmatchedAdded > 0 ? 'unmatched-added-anchor-review' : undefined
+    ].filter((entry) => Boolean(entry));
+}
+function readInferredEventCount(value, summary) {
+    return Math.max(readInferredEventCountFrom(summary), summary === value ? 0 : readInferredEventCountFrom(value));
+}
+function readInferredEventCountFrom(value) {
+    const direct = Math.max(nonNegativeNumber(value.inferredEvents), nonNegativeNumber(value.events));
+    if (direct > 0)
+        return direct;
+    if (Array.isArray(value.events) && value.events.length > 0)
+        return value.events.length;
+    return nonNegativeNumber(value.total);
+}
 function mergeSemanticLineageSummaries(entries) {
     const merged = emptySemanticLineageSummary();
     for (const entry of entries) {

package/dist/semantic-import-lineage.js.map

@@ -1 +1 @@
-{"version":3,"file":"semantic-import-lineage.js","sourceRoot":"","sources":["../src/semantic-import-lineage.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,YAAY,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAExG,MAAM,UAAU,4BAA4B,CAAC,OAAgB;IAC3D,OAAO,gCAAgC,CAAC,OAAO,CAAC,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,8BAA8B,CAAC,OAA4C;IACzF,OAAO,6BAA6B,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QAC/D,MAAM,CAAC,eAAe;QACtB,gCAAgC,CAAC,MAAM,CAAC,eAAe,CAAC;KACzD,CAAC,CAAC,CAAC;AACN,CAAC;AAED,MAAM,UAAU,gCAAgC,CAAC,KAAc;IAC7D,MAAM,UAAU,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;IAC5C,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,2BAA2B,EAAE,CAAC;IAClE,OAAO,6BAA6B,CAAC,UAAU,CAAC,GAAG,CAAC,yBAAyB,CAAC,CAAC,CAAC;AAClF,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAc;IACvC,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IACnD,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IACvB,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,KAAK,wCAAwC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACxF,OAAO;QACL,GAAG,MAAM;QACT,GAAG,aAAa,CAAC,MAAM,CAAC,eAAe,CAAC;QACxC,GAAG,aAAa,CAAC,MAAM,CAAC,wBAAwB,CAAC;QACjD,GAAG,aAAa,CAAC,MAAM,CAAC,gBAAgB,CAAC;QACzC,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC;QAChC,GAAG,aAAa,CAAE,MAAM,CAAC,QAAgD,EAAE,+BAA+B,CAAC;QAC3G,GAAG,aAAa,CAAE,MAAM,CAAC,IAA4C,EAAE,gBAAgB,CAAC;KACzF,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IACnD,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IACvB,MAAM,MAAM,GAAG;QACb,MAAM,CAAC,eAAe;QACtB,MAAM,CAAC,wBAAwB;QAC/B,MAAM,CAAC,+BAA+B;QACtC,MAAM,CAAC,gBAAgB;QACvB,MAAM,CAAC,uBAAuB;KAC/B,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACnB,OAAO,CAAC,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC;AAC7B,CAAC;AAED,SAAS,yBAAyB,CAAC,KAA8B;IAC/D,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;IAChE,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACxC,MAAM,YAAY,GAAG,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ;QACtD,CAAC,CAAC,KAAK,CAAC,SAAS;QACjB,CAAC,CAAC,OAAO,OAAO,CAAC,SAAS,KAAK,QAAQ;YACrC,CAAC,CAAC,OAAO,CAAC,SAAS;YACnB,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,SAAS,GAAG;QAChB,GAAG,YAAY,CAAC,OAAO,CAAC,SAAS,CAAC;QAClC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC/C,CAAC;IACF,MAAM,cAAc,GAAG,iBAAiB,CAAC,OAAO,CAAC,cAAc,IAAI,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC;IACpG,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,cAAc,EAAE,UAAU,CAAC,MAAM,EAAE,iBAAiB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;IAC5F,MAAM,WAAW,GAAG,aAAa,CAAC;QAChC,GAAG,eAAe,CAAC,KAAK,CAAC,OAAO,CAAC;QACjC,GAAG,eAAe,CAAC,OAAO,CAAC,OAAO,CAAC;QACnC,GAAG,eAAe,CAAC,KAAK,CAAC,WAAW,CAAC;QACrC,GAAG,eAAe,CAAC,OAAO,CAAC,WAAW,CAAC;KACxC,CAAC,CAAC;IACH,MAAM,aAAa,GAAG,iBAAiB,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IAC/D,MAAM,YAAY,GAAG,iBAAiB,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IAC7D,MAAM,OAAO,GAAG,iBAAiB,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACrD,MAAM,WAAW,GAAG,iBAAiB,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC,CAAC;IACjE,MAAM,KAAK,GAAG,iBAAiB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACjD,OAAO;QACL,KAAK;QACL,cAAc;QACd,KAAK,EAAE,iBAAiB,CAAC,OAAO,CAAC,KAAK,CAAC;QACvC,OAAO,EAAE,iBAAiB,CAAC,OAAO,CAAC,OAAO,CAAC;QAC3C,OAAO,EAAE,iBAAiB,CAAC,OAAO,CAAC,OAAO,CAAC;QAC3C,SAAS,EAAE,iBAAiB,CAAC,OAAO,CAAC,SAAS,CAAC;QAC/C,cAAc,EAAE,iBAAiB,CAAC,OAAO,CAAC,cAAc,CAAC;QACzD,gBAAgB,EAAE,iBAAiB,CAAC,OAAO,CAAC,gBAAgB,CAAC;QAC7D,aAAa;QACb,YAAY;QACZ,OAAO;QACP,WAAW;QACX,KAAK;QACL,cAAc,EAAE,kBAAkB,CAAC,KAAK,EAAE,OAAO,CAAC;QAClD,SAAS;QACT,UAAU;QACV,WAAW;QACX,KAAK,EAAE,KAAK,KAAK,CAAC;YAChB,aAAa,KAAK,CAAC;YACnB,YAAY,KAAK,CAAC;YAClB,OAAO,KAAK,CAAC;YACb,WAAW,KAAK,CAAC;YACjB,KAAK,KAAK,CAAC;YACX,WAAW,CAAC,MAAM,KAAK,CAAC;KAC3B,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,KAA8B;IACnD,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/D,OAAO,aAAa,CAAC;QACnB,GAAG,eAAe,CAAC,KAAK,CAAC,UAAU,CAAC;QACpC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC;KAClH,CAAC,CAAC;AACL,CAAC;AAED,SAAS,kBAAkB,CAAC,KAA8B,EAAE,OAAgC;IAC1F,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;IAChE,OAAO,KAAK,CAAC,cAAc,KAAK,IAAI;QAClC,OAAO,CAAC,cAAc,KAAK,IAAI;QAC/B,QAAQ,CAAC,cAAc,KAAK,IAAI;QAChC,QAAQ,CAAC,wBAAwB,KAAK,KAAK;QAC3C,QAAQ,CAAC,cAAc,KAAK,KAAK,CAAC;AACtC,CAAC;AAED,SAAS,6BAA6B,CACpC,OAAqE;IAErE,MAAM,MAAM,GAAG,2BAA2B,EAAE,CAAC;IAC7C,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,KAAK,CAAC;YAAE,SAAS;QACzD,KAAK,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,gBAAgB,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,eAAe,EAAE,cAAc,EAAE,SAAS,EAAE,aAAa,EAAE,OAAO,CAAU,EAAE,CAAC;YAC7M,MAAM,CAAC,GAAG,CAAC,IAAI,iBAAiB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/C,CAAC;QACD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;YAC3D,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;QAClF,CAAC;QACD,MAAM,CAAC,UAAU,GAAG,aAAa,CAAC,CAAC,GAAG,MAAM,CAAC,UAAU,EAAE,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;QAC/E,MAAM,CAAC,WAAW,GAAG,aAAa,CAAC,CAAC,GAAG,MAAM,CAAC,WAAW,EAAE,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC;QAClF,MAAM,CAAC,cAAc,GAAG,MAAM,CAAC,cAAc,IAAI,KAAK,CAAC,cAAc,CAAC;IACxE,CAAC;IACD,MAAM,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,KAAK,CAAC;QAC/B,MAAM,CAAC,cAAc,KAAK,CAAC;QAC3B,MAAM,CAAC,aAAa,KAAK,CAAC;QAC1B,MAAM,CAAC,YAAY,KAAK,CAAC;QACzB,MAAM,CAAC,OAAO,KAAK,CAAC;QACpB,MAAM,CAAC,WAAW,KAAK,CAAC;QACxB,MAAM,CAAC,KAAK,KAAK,CAAC;QAClB,MAAM,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC;IAClC,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,2BAA2B;IAClC,OAAO;QACL,KAAK,EAAE,CAAC;QACR,cAAc,EAAE,CAAC;QACjB,KAAK,EAAE,CAAC;QACR,OAAO,EAAE,CAAC;QACV,OAAO,EAAE,CAAC;QACV,SAAS,EAAE,CAAC;QACZ,cAAc,EAAE,CAAC;QACjB,gBAAgB,EAAE,CAAC;QACnB,aAAa,EAAE,CAAC;QAChB,YAAY,EAAE,CAAC;QACf,OAAO,EAAE,CAAC;QACV,WAAW,EAAE,CAAC;QACd,KAAK,EAAE,CAAC;QACR,cAAc,EAAE,KAAK;QACrB,SAAS,EAAE,EAAE;QACb,UAAU,EAAE,EAAE;QACd,WAAW,EAAE,EAAE;QACf,KAAK,EAAE,IAAI;KACZ,CAAC;AACJ,CAAC"}
+{"version":3,"file":"semantic-import-lineage.js","sourceRoot":"","sources":["../src/semantic-import-lineage.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,YAAY,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AACxG,OAAO,EACL,qBAAqB,EACrB,2BAA2B,EAC3B,mBAAmB,EACnB,gBAAgB,EACjB,MAAM,sCAAsC,CAAC;AAE9C,MAAM,UAAU,4BAA4B,CAAC,OAAgB;IAC3D,OAAO,gCAAgC,CAAC,OAAO,CAAC,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,8BAA8B,CAAC,OAA4C;IACzF,OAAO,6BAA6B,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QAC/D,MAAM,CAAC,eAAe;QACtB,gCAAgC,CAAC,MAAM,CAAC,eAAe,CAAC;KACzD,CAAC,CAAC,CAAC;AACN,CAAC;AAED,MAAM,UAAU,gCAAgC,CAAC,KAAc;IAC7D,MAAM,UAAU,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;IAC5C,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,2BAA2B,EAAE,CAAC;IAClE,OAAO,6BAA6B,CAAC,UAAU,CAAC,GAAG,CAAC,yBAAyB,CAAC,CAAC,CAAC;AAClF,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAc;IACvC,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IACnD,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IACvB,IAAI,MAAM,CAAC,IAAI,KAAK,wCAAwC;QAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAC9E,MAAM,OAAO,GAAG;QACd,GAAG,aAAa,CAAC,MAAM,CAAC,eAAe,CAAC;QACxC,GAAG,aAAa,CAAC,MAAM,CAAC,wBAAwB,CAAC;QACjD,GAAG,aAAa,CAAC,MAAM,CAAC,gBAAgB,CAAC;QACzC,GAAG,aAAa,CAAE,MAAM,CAAC,IAA4C,EAAE,gBAAgB,CAAC;KACzF,CAAC;IACF,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC;QACtC,CAAC,CAAC;YACE,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC;YAChC,GAAG,aAAa,CAAE,MAAM,CAAC,QAAgD,EAAE,+BAA+B,CAAC;SAC5G;QACH,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,cAAc,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,IAAI,wBAAwB,CAAC,MAAM,CAAC;QACzG,CAAC,CAAC,CAAC,MAAM,CAAC;QACV,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,cAAc,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,qCAAqC;QAC7J,CAAC,CAAC,CAAC,MAAM,CAAC;QACV,CAAC,CAAC,EAAE,CAAC;IACP,OAAO;QACL,GAAG,OAAO;QACV,GAAG,WAAW;QACd,GAAG,cAAc;QACjB,GAAG,cAAc;KAClB,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IACnD,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IACvB,MAAM,MAAM,GAAG;QACb,MAAM,CAAC,eAAe;QACtB,MAAM,CAAC,wBAAwB;QAC/B,MAAM,CAAC,+BAA+B;QACtC,MAAM,CAAC,gBAAgB;QACvB,MAAM,CAAC,uBAAuB;KAC/B,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACnB,OAAO,CAAC,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC;AAC7B,CAAC;AAED,SAAS,wBAAwB,CAAC,MAA+B;IAC/D,OAAO,MAAM,CAAC,cAAc,KAAK,SAAS;QACxC,MAAM,CAAC,KAAK,KAAK,SAAS;QAC1B,MAAM,CAAC,OAAO,KAAK,SAAS;QAC5B,MAAM,CAAC,OAAO,KAAK,SAAS;QAC5B,MAAM,CAAC,SAAS,KAAK,SAAS;QAC9B,MAAM,CAAC,cAAc,KAAK,SAAS;QACnC,MAAM,CAAC,gBAAgB,KAAK,SAAS;QACrC,MAAM,CAAC,aAAa,KAAK,SAAS;QAClC,MAAM,CAAC,YAAY,KAAK,SAAS;QACjC,MAAM,CAAC,WAAW,KAAK,SAAS;QAChC,MAAM,CAAC,cAAc,KAAK,SAAS;QACnC,eAAe,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC;QAC9D,eAAe,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC;QAC/D,eAAe,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC;QAC3D,mBAAmB,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC;QACvD,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,yBAAyB,CAAC,KAA8B;IAC/D,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;IAChE,MAAM,YAAY,GAAG,2BAA2B,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACjE,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,iBAAiB,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC;IACrH,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,iBAAiB,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,YAAY,CAAC,SAAS,CAAC,CAAC;IAC7H,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,iBAAiB,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,YAAY,CAAC,cAAc,CAAC,CAAC;IACjJ,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC;IAC7G,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,iBAAiB,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC;IACrH,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,EAAE,OAAO,EAAE;QAC/C,KAAK;QACL,OAAO;QACP,OAAO;QACP,SAAS;QACT,cAAc;KACf,CAAC,CAAC;IACH,MAAM,YAAY,GAAG,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ;QACtD,CAAC,CAAC,KAAK,CAAC,SAAS;QACjB,CAAC,CAAC,OAAO,OAAO,CAAC,SAAS,KAAK,QAAQ;YACrC,CAAC,CAAC,OAAO,CAAC,SAAS;YACnB,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,SAAS,GAAG;QAChB,GAAG,YAAY,CAAC,OAAO,CAAC,SAAS,CAAC;QAClC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC/C,CAAC;IACF,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,sBAAsB,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,YAAY,CAAC,cAAc,CAAC,CAAC;IACrG,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,cAAc,EAAE,UAAU,CAAC,MAAM,EAAE,iBAAiB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;IAC5F,MAAM,WAAW,GAAG,aAAa,CAAC;QAChC,GAAG,eAAe,CAAC,KAAK,CAAC,OAAO,CAAC;QACjC,GAAG,eAAe,CAAC,OAAO,CAAC,OAAO,CAAC;QACnC,GAAG,eAAe,CAAC,KAAK,CAAC,WAAW,CAAC;QACrC,GAAG,eAAe,CAAC,OAAO,CAAC,WAAW,CAAC;QACvC,GAAG,0BAA0B,CAAC;YAC5B,KAAK;YACL,OAAO;YACP,OAAO;YACP,SAAS;YACT,cAAc;SACf,CAAC;KACH,CAAC,CAAC;IACH,MAAM,aAAa,GAAG,iBAAiB,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IAC/D,MAAM,YAAY,GAAG,iBAAiB,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IAC7D,MAAM,OAAO,GAAG,iBAAiB,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACrD,MAAM,mBAAmB,GAAG,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,iBAAiB,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC;IACnH,MAAM,oBAAoB,GAAG,iBAAiB,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC,CAAC;IAC1E,MAAM,cAAc,GAAG,kBAAkB,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,0BAA0B,CAAC;QACtF,cAAc;QACd,KAAK;QACL,OAAO;QACP,OAAO;QACP,SAAS;QACT,cAAc;KACf,CAAC;QACA,mBAAmB,GAAG,CAAC;QACvB,oBAAoB,GAAG,CAAC,CAAC;IAC3B,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAC1B,oBAAoB,EACpB,mBAAmB,EACnB,cAAc,IAAI,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CACxC,CAAC;IACF,IAAI,WAAW,GAAG,CAAC,IAAI,oBAAoB,KAAK,CAAC;QAAE,SAAS,CAAC,cAAc,CAAC,GAAG,WAAW,CAAC;IAC3F,MAAM,KAAK,GAAG,iBAAiB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACjD,OAAO;QACL,KAAK;QACL,cAAc;QACd,KAAK;QACL,OAAO;QACP,OAAO;QACP,SAAS;QACT,cAAc;QACd,gBAAgB,EAAE,iBAAiB,CAAC,OAAO,CAAC,gBAAgB,CAAC;QAC7D,aAAa;QACb,YAAY;QACZ,OAAO;QACP,WAAW;QACX,KAAK;QACL,cAAc;QACd,SAAS;QACT,UAAU;QACV,WAAW;QACX,KAAK,EAAE,KAAK,KAAK,CAAC;YAChB,aAAa,KAAK,CAAC;YACnB,YAAY,KAAK,CAAC;YAClB,OAAO,KAAK,CAAC;YACb,WAAW,KAAK,CAAC;YACjB,KAAK,KAAK,CAAC;YACX,WAAW,CAAC,MAAM,KAAK,CAAC;KAC3B,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,KAA8B,EAC9B,OAAgC,EAChC,MAAsG;IAEtG,MAAM,MAAM,GAAG,CAAC,GAAG,gBAAgB,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,GAAG,gBAAgB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;IACxF,OAAO,aAAa,CAAC;QACnB,GAAG,eAAe,CAAC,KAAK,CAAC,UAAU,CAAC;QACpC,GAAG,eAAe,CAAC,OAAO,CAAC,UAAU,CAAC;QACtC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC;QACjH,GAAG,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACtC,GAAG,CAAC,MAAM,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1C,GAAG,CAAC,MAAM,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1C,GAAG,CAAC,MAAM,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9C,GAAG,CAAC,MAAM,CAAC,cAAc,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1D,CAAC,CAAC;AACL,CAAC;AAED,SAAS,kBAAkB,CAAC,KAA8B,EAAE,OAAgC;IAC1F,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;IAChE,OAAO,KAAK,CAAC,cAAc,KAAK,IAAI;QAClC,OAAO,CAAC,cAAc,KAAK,IAAI;QAC/B,QAAQ,CAAC,cAAc,KAAK,IAAI;QAChC,QAAQ,CAAC,wBAAwB,KAAK,KAAK;QAC3C,QAAQ,CAAC,cAAc,KAAK,KAAK,CAAC;AACtC,CAAC;AAED,SAAS,0BAA0B,CAAC,KAOnC;IACC,OAAO,KAAK,CAAC,cAAc,GAAG,CAAC;QAC7B,KAAK,CAAC,KAAK,GAAG,CAAC;QACf,KAAK,CAAC,OAAO,GAAG,CAAC;QACjB,KAAK,CAAC,OAAO,GAAG,CAAC;QACjB,KAAK,CAAC,SAAS,GAAG,CAAC;QACnB,KAAK,CAAC,cAAc,GAAG,CAAC,CAAC;AAC7B,CAAC;AAED,SAAS,0BAA0B,CAAC,KAMnC;IACC,OAAO;QACL,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC,CAAC,SAAS;QAC7D,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAC,CAAC,SAAS;QACjE,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAC,CAAC,SAAS;QACjE,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,8BAA8B,CAAC,CAAC,CAAC,SAAS;QAChE,KAAK,CAAC,cAAc,GAAG,CAAC,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC,CAAC,SAAS;KACvE,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;AACvD,CAAC;AAED,SAAS,sBAAsB,CAAC,KAA8B,EAAE,OAAgC;IAC9F,OAAO,IAAI,CAAC,GAAG,CACb,0BAA0B,CAAC,OAAO,CAAC,EACnC,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,0BAA0B,CAAC,KAAK,CAAC,CAC1D,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CAAC,KAA8B;IAChE,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,iBAAiB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAClG,IAAI,MAAM,GAAG,CAAC;QAAE,OAAO,MAAM,CAAC;IAC9B,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IACvF,OAAO,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AACxC,CAAC;AAED,SAAS,6BAA6B,CACpC,OAAqE;IAErE,MAAM,MAAM,GAAG,2BAA2B,EAAE,CAAC;IAC7C,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,KAAK,CAAC;YAAE,SAAS;QACzD,KAAK,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,gBAAgB,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,eAAe,EAAE,cAAc,EAAE,SAAS,EAAE,aAAa,EAAE,OAAO,CAAU,EAAE,CAAC;YAC7M,MAAM,CAAC,GAAG,CAAC,IAAI,iBAAiB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/C,CAAC;QACD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;YAC3D,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;QAClF,CAAC;QACD,MAAM,CAAC,UAAU,GAAG,aAAa,CAAC,CAAC,GAAG,MAAM,CAAC,UAAU,EAAE,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;QAC/E,MAAM,CAAC,WAAW,GAAG,aAAa,CAAC,CAAC,GAAG,MAAM,CAAC,WAAW,EAAE,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC;QAClF,MAAM,CAAC,cAAc,GAAG,MAAM,CAAC,cAAc,IAAI,KAAK,CAAC,cAAc,CAAC;IACxE,CAAC;IACD,MAAM,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,KAAK,CAAC;QAC/B,MAAM,CAAC,cAAc,KAAK,CAAC;QAC3B,MAAM,CAAC,aAAa,KAAK,CAAC;QAC1B,MAAM,CAAC,YAAY,KAAK,CAAC;QACzB,MAAM,CAAC,OAAO,KAAK,CAAC;QACpB,MAAM,CAAC,WAAW,KAAK,CAAC;QACxB,MAAM,CAAC,KAAK,KAAK,CAAC;QAClB,MAAM,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC;IAClC,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,2BAA2B;IAClC,OAAO;QACL,KAAK,EAAE,CAAC;QACR,cAAc,EAAE,CAAC;QACjB,KAAK,EAAE,CAAC;QACR,OAAO,EAAE,CAAC;QACV,OAAO,EAAE,CAAC;QACV,SAAS,EAAE,CAAC;QACZ,cAAc,EAAE,CAAC;QACjB,gBAAgB,EAAE,CAAC;QACnB,aAAa,EAAE,CAAC;QAChB,YAAY,EAAE,CAAC;QACf,OAAO,EAAE,CAAC;QACV,WAAW,EAAE,CAAC;QACd,KAAK,EAAE,CAAC;QACR,cAAc,EAAE,KAAK;QACrB,SAAS,EAAE,EAAE;QACb,UAAU,EAAE,EAAE;QACd,WAAW,EAAE,EAAE;QACf,KAAK,EAAE,IAAI;KACZ,CAAC;AACJ,CAAC"}

package/dist/semantic-import-proof.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"semantic-import-proof.d.ts","sourceRoot":"","sources":["../src/semantic-import-proof.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,6BAA6B,EAAE,iCAAiC,EAAE,MAAM,YAAY,CAAC;AAGnG,wBAAgB,8BAA8B,CAAC,OAAO,EAAE,OAAO,GAAG,6BAA6B,CAG9F;AAED,wBAAgB,gCAAgC,CAAC,OAAO,EAAE,iCAAiC,EAAE,GAAG,6BAA6B,CAO5H;AAGD,wBAAgB,kBAAkB,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,eAAe,CAAC,EAAE,GAAG,GAAG,6BAA6B,CAgEpG;AAWD,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,6BAA6B,CAKvG;AAoDD,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,EAAE,CAGxD"}
+{"version":3,"file":"semantic-import-proof.d.ts","sourceRoot":"","sources":["../src/semantic-import-proof.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,6BAA6B,EAAE,iCAAiC,EAAE,MAAM,YAAY,CAAC;AAGnG,wBAAgB,8BAA8B,CAAC,OAAO,EAAE,OAAO,GAAG,6BAA6B,CAG9F;AAED,wBAAgB,gCAAgC,CAAC,OAAO,EAAE,iCAAiC,EAAE,GAAG,6BAA6B,CAQ5H;AAGD,wBAAgB,kBAAkB,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,eAAe,CAAC,EAAE,GAAG,GAAG,6BAA6B,CAgEpG;AAWD,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,6BAA6B,CAMvG;AAqED,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,EAAE,CAGxD"}

package/dist/semantic-import-proof.js

@@ -8,6 +8,7 @@ export function summarizeSemanticImportProofSpec(records) {
     for (const record of records) {
         mergeProofSpecSummary(summary, record.proofSpec);
     }
+    summary.total = Math.max(summary.total, inferredProofSpecTotal(summary));
     summary.empty = summary.total === 0;
     return summary;
 }
@@ -85,6 +86,7 @@ function hasProofSpecSummaryShape(value) {
 export function normalizeProofSpecSummary(value) {
     const summary = emptyProofSpecSummary();
     mergeProofSpecSummary(summary, value);
+    summary.total = Math.max(summary.total, inferredProofSpecTotal(summary));
     summary.empty = summary.total === 0;
     return summary;
 }
@@ -134,6 +136,20 @@ function mergeProofSpecSummary(target, input) {
         target.byArtifactKind[kind] = (target.byArtifactKind[kind] ?? 0) + count;
     }
 }
+function inferredProofSpecTotal(summary) {
+    const structuralTotal = summary.contracts +
+        summary.refinements +
+        summary.invariants +
+        summary.termination +
+        summary.temporal +
+        summary.obligations +
+        summary.artifacts +
+        summary.assumptions;
+    const statusTotal = Object.values(summary.byStatus).reduce((sum, count) => sum + nonNegativeNumber(count), 0);
+    const contractKindTotal = Object.values(summary.byContractKind).reduce((sum, count) => sum + nonNegativeNumber(count), 0);
+    const artifactKindTotal = Object.values(summary.byArtifactKind).reduce((sum, count) => sum + nonNegativeNumber(count), 0);
+    return Math.max(structuralTotal, statusTotal, contractKindTotal + artifactKindTotal);
+}
 export function proofStringList(value) {
     if (!Array.isArray(value))
         return [];

package/dist/semantic-import-proof.js.map

@@ -1 +1 @@
-{"version":3,"file":"semantic-import-proof.js","sourceRoot":"","sources":["../src/semantic-import-proof.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAEvF,MAAM,UAAU,8BAA8B,CAAC,OAAgB;IAC7D,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;IAC/F,OAAO,KAAK,CAAC,CAAC,CAAC,yBAAyB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,qBAAqB,EAAE,CAAC;AAC5E,CAAC;AAED,MAAM,UAAU,gCAAgC,CAAC,OAA4C;IAC3F,MAAM,OAAO,GAAG,qBAAqB,EAAE,CAAC;IACxC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,qBAAqB,CAAC,OAAO,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,CAAC,KAAK,GAAG,OAAO,CAAC,KAAK,KAAK,CAAC,CAAC;IACpC,OAAO,OAAO,CAAC;AACjB,CAAC;AAGD,MAAM,UAAU,kBAAkB,CAAC,KAAW,EAAE,eAAqB;IACnE,MAAM,YAAY,GAAG,eAAe,EAAE,SAAS,IAAI,eAAe,EAAE,OAAO,EAAE,SAAS,CAAC;IACvF,IAAI,YAAY,IAAI,OAAO,YAAY,KAAK,QAAQ,IAAI,wBAAwB,CAAC,YAAY,CAAC,EAAE,CAAC;QAC/F,OAAO,yBAAyB,CAAC,YAAY,CAAC,CAAC;IACjD,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5D,MAAM,SAAS,GAAU,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3E,MAAM,WAAW,GAAU,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;IACjF,MAAM,UAAU,GAAU,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9E,MAAM,WAAW,GAAU,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;IACjF,MAAM,QAAQ,GAAU,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;IACxE,MAAM,WAAW,GAAU,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;IACjF,MAAM,SAAS,GAAU,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3E,MAAM,WAAW,GAAU,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;IACjF,MAAM,QAAQ,GAAU,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;IACxE,MAAM,YAAY,GAAG,CAAC,GAAG,SAAS,EAAE,GAAG,WAAW,EAAE,GAAG,UAAU,EAAE,GAAG,WAAW,EAAE,GAAG,QAAQ,CAAC,CAAC;IAChG,MAAM,QAAQ,GAA2B,EAAE,CAAC;IAC5C,MAAM,cAAc,GAA2B,EAAE,CAAC;IAClD,MAAM,cAAc,GAA2B,EAAE,CAAC;IAClD,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,EAAE,MAAM,IAAI,SAAS,CAAC,CAAC;QACvD,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IACjD,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,YAAY,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,EAAE,IAAI,IAAI,SAAS,CAAC,CAAC;QACjD,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IACzD,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,EAAE,IAAI,IAAI,SAAS,CAAC,CAAC;QACjD,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IACzD,CAAC;IACD,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,GAAG,SAAS,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC;IAC/F,OAAO;QACL,KAAK;QACL,GAAG,EAAE,aAAa,CAAC;YACjB,GAAG,CAAC,EAAE;YACN,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC;YAC3C,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC;YAC1C,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC;YACxC,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC;YAC1C,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC;SACxC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC9B,SAAS,EAAE,SAAS,CAAC,MAAM;QAC3B,WAAW,EAAE,WAAW,CAAC,MAAM;QAC/B,UAAU,EAAE,UAAU,CAAC,MAAM;QAC7B,WAAW,EAAE,WAAW,CAAC,MAAM;QAC/B,QAAQ,EAAE,QAAQ,CAAC,MAAM;QACzB,WAAW,EAAE,WAAW,CAAC,MAAM;QAC/B,SAAS,EAAE,SAAS,CAAC,MAAM;QAC3B,WAAW,EAAE,WAAW,CAAC,MAAM;QAC/B,QAAQ,EAAE,QAAQ,CAAC,MAAM;QACzB,UAAU,EAAE,QAAQ,CAAC,UAAU,IAAI,CAAC;QACpC,MAAM,EAAE,QAAQ,CAAC,MAAM,IAAI,CAAC;QAC5B,IAAI,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC;QACxB,OAAO,EAAE,QAAQ,CAAC,OAAO,IAAI,CAAC;QAC9B,KAAK,EAAE,QAAQ,CAAC,KAAK,IAAI,CAAC;QAC1B,OAAO,EAAE,QAAQ,CAAC,OAAO,IAAI,CAAC;QAC9B,aAAa,EAAE,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACzD,aAAa,EAAE,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACzD,QAAQ;QACR,cAAc;QACd,cAAc;QACd,KAAK,EAAE,KAAK,KAAK,CAAC;KACnB,CAAC;AACJ,CAAC;AAGD,SAAS,wBAAwB,CAAC,KAA8B;IAC9D,OAAO,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;QACpC,OAAO,KAAK,CAAC,WAAW,KAAK,QAAQ;QACrC,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ;QACnC,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC;AACrC,CAAC;AAGD,MAAM,UAAU,yBAAyB,CAAC,KAA8B;IACtE,MAAM,OAAO,GAAG,qBAAqB,EAAE,CAAC;IACxC,qBAAqB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACtC,OAAO,CAAC,KAAK,GAAG,OAAO,CAAC,KAAK,KAAK,CAAC,CAAC;IACpC,OAAO,OAAO,CAAC;AACjB,CAAC;AAGD,SAAS,qBAAqB;IAC5B,OAAO;QACL,KAAK,EAAE,CAAC;QACR,GAAG,EAAE,EAAE;QACP,SAAS,EAAE,CAAC;QACZ,WAAW,EAAE,CAAC;QACd,UAAU,EAAE,CAAC;QACb,WAAW,EAAE,CAAC;QACd,QAAQ,EAAE,CAAC;QACX,WAAW,EAAE,CAAC;QACd,SAAS,EAAE,CAAC;QACZ,WAAW,EAAE,CAAC;QACd,QAAQ,EAAE,CAAC;QACX,UAAU,EAAE,CAAC;QACb,MAAM,EAAE,CAAC;QACT,IAAI,EAAE,CAAC;QACP,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,CAAC;QACR,OAAO,EAAE,CAAC;QACV,aAAa,EAAE,EAAE;QACjB,aAAa,EAAE,EAAE;QACjB,QAAQ,EAAE,EAAE;QACZ,cAAc,EAAE,EAAE;QAClB,cAAc,EAAE,EAAE;QAClB,KAAK,EAAE,IAAI;KACZ,CAAC;AACJ,CAAC;AAGD,SAAS,qBAAqB,CAAC,MAAqC,EAAE,KAAU;IAC9E,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO;IAChD,KAAK,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,YAAY,EAAE,aAAa,EAAE,UAAU,EAAE,aAAa,EAAE,WAAW,EAAE,aAAa,EAAE,UAAU,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,CAAU,EAAE,CAAC;QAChO,MAAM,CAAC,GAAG,CAAC,IAAI,iBAAiB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/C,CAAC;IACD,MAAM,CAAC,GAAG,GAAG,aAAa,CAAC,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,GAAG,eAAe,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC3E,MAAM,CAAC,aAAa,GAAG,aAAa,CAAC,CAAC,GAAG,MAAM,CAAC,aAAa,EAAE,GAAG,eAAe,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IACzG,MAAM,CAAC,aAAa,GAAG,aAAa,CAAC,CAAC,GAAG,MAAM,CAAC,aAAa,EAAE,GAAG,eAAe,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IACzG,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;QAC3E,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC;IACnE,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC;QAC/E,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC;IAC3E,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC;QAC/E,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC;IAC3E,CAAC;AACH,CAAC;AAGD,MAAM,UAAU,eAAe,CAAC,KAAc;IAC5C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACrC,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AAC7D,CAAC"}
+{"version":3,"file":"semantic-import-proof.js","sourceRoot":"","sources":["../src/semantic-import-proof.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAEvF,MAAM,UAAU,8BAA8B,CAAC,OAAgB;IAC7D,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;IAC/F,OAAO,KAAK,CAAC,CAAC,CAAC,yBAAyB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,qBAAqB,EAAE,CAAC;AAC5E,CAAC;AAED,MAAM,UAAU,gCAAgC,CAAC,OAA4C;IAC3F,MAAM,OAAO,GAAG,qBAAqB,EAAE,CAAC;IACxC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,qBAAqB,CAAC,OAAO,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,sBAAsB,CAAC,OAAO,CAAC,CAAC,CAAC;IACzE,OAAO,CAAC,KAAK,GAAG,OAAO,CAAC,KAAK,KAAK,CAAC,CAAC;IACpC,OAAO,OAAO,CAAC;AACjB,CAAC;AAGD,MAAM,UAAU,kBAAkB,CAAC,KAAW,EAAE,eAAqB;IACnE,MAAM,YAAY,GAAG,eAAe,EAAE,SAAS,IAAI,eAAe,EAAE,OAAO,EAAE,SAAS,CAAC;IACvF,IAAI,YAAY,IAAI,OAAO,YAAY,KAAK,QAAQ,IAAI,wBAAwB,CAAC,YAAY,CAAC,EAAE,CAAC;QAC/F,OAAO,yBAAyB,CAAC,YAAY,CAAC,CAAC;IACjD,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5D,MAAM,SAAS,GAAU,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3E,MAAM,WAAW,GAAU,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;IACjF,MAAM,UAAU,GAAU,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9E,MAAM,WAAW,GAAU,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;IACjF,MAAM,QAAQ,GAAU,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;IACxE,MAAM,WAAW,GAAU,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;IACjF,MAAM,SAAS,GAAU,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3E,MAAM,WAAW,GAAU,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;IACjF,MAAM,QAAQ,GAAU,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;IACxE,MAAM,YAAY,GAAG,CAAC,GAAG,SAAS,EAAE,GAAG,WAAW,EAAE,GAAG,UAAU,EAAE,GAAG,WAAW,EAAE,GAAG,QAAQ,CAAC,CAAC;IAChG,MAAM,QAAQ,GAA2B,EAAE,CAAC;IAC5C,MAAM,cAAc,GAA2B,EAAE,CAAC;IAClD,MAAM,cAAc,GAA2B,EAAE,CAAC;IAClD,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,EAAE,MAAM,IAAI,SAAS,CAAC,CAAC;QACvD,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IACjD,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,YAAY,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,EAAE,IAAI,IAAI,SAAS,CAAC,CAAC;QACjD,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IACzD,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,EAAE,IAAI,IAAI,SAAS,CAAC,CAAC;QACjD,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IACzD,CAAC;IACD,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,GAAG,SAAS,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC;IAC/F,OAAO;QACL,KAAK;QACL,GAAG,EAAE,aAAa,CAAC;YACjB,GAAG,CAAC,EAAE;YACN,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC;YAC3C,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC;YAC1C,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC;YACxC,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC;YAC1C,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC;SACxC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC9B,SAAS,EAAE,SAAS,CAAC,MAAM;QAC3B,WAAW,EAAE,WAAW,CAAC,MAAM;QAC/B,UAAU,EAAE,UAAU,CAAC,MAAM;QAC7B,WAAW,EAAE,WAAW,CAAC,MAAM;QAC/B,QAAQ,EAAE,QAAQ,CAAC,MAAM;QACzB,WAAW,EAAE,WAAW,CAAC,MAAM;QAC/B,SAAS,EAAE,SAAS,CAAC,MAAM;QAC3B,WAAW,EAAE,WAAW,CAAC,MAAM;QAC/B,QAAQ,EAAE,QAAQ,CAAC,MAAM;QACzB,UAAU,EAAE,QAAQ,CAAC,UAAU,IAAI,CAAC;QACpC,MAAM,EAAE,QAAQ,CAAC,MAAM,IAAI,CAAC;QAC5B,IAAI,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC;QACxB,OAAO,EAAE,QAAQ,CAAC,OAAO,IAAI,CAAC;QAC9B,KAAK,EAAE,QAAQ,CAAC,KAAK,IAAI,CAAC;QAC1B,OAAO,EAAE,QAAQ,CAAC,OAAO,IAAI,CAAC;QAC9B,aAAa,EAAE,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACzD,aAAa,EAAE,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACzD,QAAQ;QACR,cAAc;QACd,cAAc;QACd,KAAK,EAAE,KAAK,KAAK,CAAC;KACnB,CAAC;AACJ,CAAC;AAGD,SAAS,wBAAwB,CAAC,KAA8B;IAC9D,OAAO,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;QACpC,OAAO,KAAK,CAAC,WAAW,KAAK,QAAQ;QACrC,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ;QACnC,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC;AACrC,CAAC;AAGD,MAAM,UAAU,yBAAyB,CAAC,KAA8B;IACtE,MAAM,OAAO,GAAG,qBAAqB,EAAE,CAAC;IACxC,qBAAqB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACtC,OAAO,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,sBAAsB,CAAC,OAAO,CAAC,CAAC,CAAC;IACzE,OAAO,CAAC,KAAK,GAAG,OAAO,CAAC,KAAK,KAAK,CAAC,CAAC;IACpC,OAAO,OAAO,CAAC;AACjB,CAAC;AAGD,SAAS,qBAAqB;IAC5B,OAAO;QACL,KAAK,EAAE,CAAC;QACR,GAAG,EAAE,EAAE;QACP,SAAS,EAAE,CAAC;QACZ,WAAW,EAAE,CAAC;QACd,UAAU,EAAE,CAAC;QACb,WAAW,EAAE,CAAC;QACd,QAAQ,EAAE,CAAC;QACX,WAAW,EAAE,CAAC;QACd,SAAS,EAAE,CAAC;QACZ,WAAW,EAAE,CAAC;QACd,QAAQ,EAAE,CAAC;QACX,UAAU,EAAE,CAAC;QACb,MAAM,EAAE,CAAC;QACT,IAAI,EAAE,CAAC;QACP,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,CAAC;QACR,OAAO,EAAE,CAAC;QACV,aAAa,EAAE,EAAE;QACjB,aAAa,EAAE,EAAE;QACjB,QAAQ,EAAE,EAAE;QACZ,cAAc,EAAE,EAAE;QAClB,cAAc,EAAE,EAAE;QAClB,KAAK,EAAE,IAAI;KACZ,CAAC;AACJ,CAAC;AAGD,SAAS,qBAAqB,CAAC,MAAqC,EAAE,KAAU;IAC9E,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO;IAChD,KAAK,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,YAAY,EAAE,aAAa,EAAE,UAAU,EAAE,aAAa,EAAE,WAAW,EAAE,aAAa,EAAE,UAAU,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,CAAU,EAAE,CAAC;QAChO,MAAM,CAAC,GAAG,CAAC,IAAI,iBAAiB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/C,CAAC;IACD,MAAM,CAAC,GAAG,GAAG,aAAa,CAAC,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,GAAG,eAAe,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC3E,MAAM,CAAC,aAAa,GAAG,aAAa,CAAC,CAAC,GAAG,MAAM,CAAC,aAAa,EAAE,GAAG,eAAe,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IACzG,MAAM,CAAC,aAAa,GAAG,aAAa,CAAC,CAAC,GAAG,MAAM,CAAC,aAAa,EAAE,GAAG,eAAe,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IACzG,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;QAC3E,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC;IACnE,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC;QAC/E,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC;IAC3E,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC;QAC/E,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC;IAC3E,CAAC;AACH,CAAC;AAGD,SAAS,sBAAsB,CAAC,OAAsC;IACpE,MAAM,eAAe,GACnB,OAAO,CAAC,SAAS;QACjB,OAAO,CAAC,WAAW;QACnB,OAAO,CAAC,UAAU;QAClB,OAAO,CAAC,WAAW;QACnB,OAAO,CAAC,QAAQ;QAChB,OAAO,CAAC,WAAW;QACnB,OAAO,CAAC,SAAS;QACjB,OAAO,CAAC,WAAW,CAAC;IACtB,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,GAAG,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9G,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,GAAG,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1H,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,GAAG,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1H,OAAO,IAAI,CAAC,GAAG,CAAC,eAAe,EAAE,WAAW,EAAE,iBAAiB,GAAG,iBAAiB,CAAC,CAAC;AACvF,CAAC;AAGD,MAAM,UAAU,eAAe,CAAC,KAAc;IAC5C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACrC,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AAC7D,CAAC"}

package/dist/semantic-import-quality.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"semantic-import-quality.d.ts","sourceRoot":"","sources":["../src/semantic-import-quality.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,2BAA2B,EAAE,wBAAwB,EAAE,MAAM,iCAAiC,CAAC;AAC7G,OAAO,KAAK,EAAE,kCAAkC,EAAE,kCAAkC,EAAE,kCAAkC,EAAE,MAAM,YAAY,CAAC;AAY7I,wBAAgB,mCAAmC,CACjD,OAAO,EAAE,wBAAwB,CAAC,gBAAgB,CAAC,GAAG,kCAAkC,CAAC,SAAS,CAAC,GAAG,2BAA2B,CAAC,gBAAgB,CAAC,GAAG,SAAS,EAC/J,QAAQ,UAAQ,GACf,kCAAkC,CAgIpC;AAwID,wBAAgB,+BAA+B,CAAC,MAAM,EAAE,wBAAwB,GAAG,wBAAwB,CAAC,gBAAgB,CAAC,GAAG,SAAS,CAGxI;AA+BD,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,OAAO,GAAG,kCAAkC,GAAG,SAAS,GAAG,OAAO,CAI9G"}
+{"version":3,"file":"semantic-import-quality.d.ts","sourceRoot":"","sources":["../src/semantic-import-quality.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,2BAA2B,EAAE,wBAAwB,EAAE,MAAM,iCAAiC,CAAC;AAC7G,OAAO,KAAK,EAAE,kCAAkC,EAAE,kCAAkC,EAAE,kCAAkC,EAAE,MAAM,YAAY,CAAC;AAe7I,wBAAgB,mCAAmC,CACjD,OAAO,EAAE,wBAAwB,CAAC,gBAAgB,CAAC,GAAG,kCAAkC,CAAC,SAAS,CAAC,GAAG,2BAA2B,CAAC,gBAAgB,CAAC,GAAG,SAAS,EAC/J,QAAQ,UAAQ,GACf,kCAAkC,CAwIpC;AAgHD,wBAAgB,+BAA+B,CAAC,MAAM,EAAE,wBAAwB,GAAG,wBAAwB,CAAC,gBAAgB,CAAC,GAAG,SAAS,CAGxI;AA+BD,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,OAAO,GAAG,kCAAkC,GAAG,SAAS,GAAG,OAAO,CAI9G"}

package/dist/semantic-import-quality.js

@@ -23,6 +23,12 @@ export function summarizeCodexSemanticImportQuality(summary, expected = false) {
     const dependencyPredicates = Array.isArray(summary?.dependencies?.predicates)
         ? uniqueStrings(summary.dependencies.predicates)
         : [];
+    const dependencyEdges = Array.isArray(summary?.dependencyEdges)
+        ? uniqueStrings(summary.dependencyEdges)
+        : [];
+    const dependencyEdgeHints = Array.isArray(summary?.dependencyEdgeHints)
+        ? uniqueStrings(summary.dependencyEdgeHints)
+        : [];
     const sourceMapMappings = nonNegativeNumber(summary?.sourceMapMappingCount);
     const universalAstLayerSummary = semanticImportUniversalAstLayerSummary(summary);
     const universalAstLayers = universalAstLayerSummary.total;
@@ -140,6 +146,8 @@ export function summarizeCodexSemanticImportQuality(summary, expected = false) {
         semanticFactSummary: semanticFacts.byPredicate,
         dependencyRelations,
         dependencyPredicates,
+        dependencyEdges,
+        dependencyEdgeHints,
         sourceMapMappings,
         universalAstLayers,
         universalAstLayerNames,

package/dist/semantic-import-quality.js.map

@@ -1 +1 @@
-{"version":3,"file":"semantic-import-quality.js","sourceRoot":"","sources":["../src/semantic-import-quality.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAChF,OAAO,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAC;AACvE,OAAO,EAAE,sCAAsC,EAAE,MAAM,6BAA6B,CAAC;AACrF,OAAO,EAAE,sCAAsC,EAAE,MAAM,+BAA+B,CAAC;AACvF,OAAO,EAAE,8BAA8B,EAAE,MAAM,4BAA4B,CAAC;AAC5E,OAAO,EAAE,4BAA4B,EAAE,MAAM,8BAA8B,CAAC;AAC5E,OAAO,EAAE,2BAA2B,EAAE,MAAM,2BAA2B,CAAC;AACxE,OAAO,EAAE,+BAA+B,EAAE,kCAAkC,EAAE,MAAM,+BAA+B,CAAC;AACpH,OAAO,EAAE,8BAA8B,EAAE,2BAA2B,EAAE,MAAM,2BAA2B,CAAC;AACxG,OAAO,EAAE,mCAAmC,EAAE,MAAM,8BAA8B,CAAC;AAEnF,MAAM,UAAU,mCAAmC,CACjD,OAA+J,EAC/J,QAAQ,GAAG,KAAK;IAEhB,MAAM,KAAK,GAAG,iBAAiB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAChD,MAAM,UAAU,GAAG,4BAA4B,CAAC,OAAO,CAAC,CAAC;IACzD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACtD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACtD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACtD,MAAM,MAAM,GAAG,iBAAiB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAClD,MAAM,OAAO,GAAG,iBAAiB,CAAC,OAAO,EAAE,aAAa,EAAE,OAAO,CAAC,CAAC;IACnE,MAAM,gBAAgB,GAAG,iBAAiB,CAAC,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,CAAC,CAAC;IACxF,MAAM,UAAU,GAAG,iBAAiB,CAAC,OAAO,EAAE,gBAAgB,EAAE,UAAU,CAAC,CAAC;IAC5E,MAAM,aAAa,GAAG,yBAAyB,CAAC,OAAO,CAAC,CAAC;IACzD,MAAM,mBAAmB,GAAG,iBAAiB,CAAE,OAA6D,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC;IACnI,MAAM,oBAAoB,GAAG,KAAK,CAAC,OAAO,CAAE,OAAmE,EAAE,YAAY,EAAE,UAAU,CAAC;QACxI,CAAC,CAAC,aAAa,CAAE,OAAsD,CAAC,YAAY,CAAC,UAAU,CAAC;QAChG,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,iBAAiB,GAAG,iBAAiB,CAAC,OAAO,EAAE,qBAAqB,CAAC,CAAC;IAC5E,MAAM,wBAAwB,GAAG,sCAAsC,CAAC,OAAO,CAAC,CAAC;IACjF,MAAM,kBAAkB,GAAG,wBAAwB,CAAC,KAAK,CAAC;IAC1D,MAAM,sBAAsB,GAAG,wBAAwB,CAAC,KAAK,CAAC;IAC9D,MAAM,SAAS,GAAG,8BAA8B,CAAC,OAAO,CAAC,CAAC;IAC1D,MAAM,iBAAiB,GAAG,sCAAsC,CAAC,OAAO,CAAC,CAAC;IAC1E,MAAM,eAAe,GAAG,4BAA4B,CAAC,OAAO,CAAC,CAAC;IAC9D,MAAM,kBAAkB,GAAG,2BAA2B,CAAC,OAAO,CAAC,IAAI,2BAA2B,CAAC,EAAE,mBAAmB,EAAG,OAAyD,EAAE,mBAAmB,EAAE,CAAE,CAAC;IAC1M,MAAM,sBAAsB,GAAG,+BAA+B,CAAC,OAAO,CAAC,IAAI,kCAAkC,EAAE,CAAC;IAChH,MAAM,kBAAkB,GAAG,2BAA2B,CAAC,OAAO,CAAC,IAAI,8BAA8B,EAAE,CAAC;IACpG,MAAM,qBAAqB,GAAG,mCAAmC,CAAC,kBAAkB,CAAC,CAAC;IACtF,MAAM,uBAAuB,GAAG,0CAA0C,CAAC,OAAO,EAAE,eAAe,CAAC,aAAa,CAAC,CAAC;IACnH,MAAM,SAAS,GAAG,wBAAwB,CAAC,OAAO,CAAC,CAAC;IACpD,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC;IAC1B,MAAM,KAAK,GAAG,OAAO,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,QAAQ,KAAK,CAAC,IAAI,QAAQ,KAAK,CAAC,IAAI,QAAQ,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,CAAC,CAAC;IAC9G,MAAM,iBAAiB,GAAG,sBAAsB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACpE,MAAM,0BAA0B,GAAG,wCAAwC,CAAC,OAAO,EAAE;QACnF,QAAQ,EAAE,iBAAiB;QAC3B,OAAO;QACP,KAAK;QACL,QAAQ;QACR,QAAQ;QACR,OAAO;QACP,gBAAgB;QAChB,UAAU;KACX,CAAC,CAAC;IACH,MAAM,iBAAiB,GAAG,+BAA+B,CAAC,OAAO,EAAE;QACjE,QAAQ,EAAE,iBAAiB;QAC3B,OAAO;QACP,KAAK;QACL,QAAQ;QACR,OAAO;QACP,gBAAgB;QAChB,UAAU;QACV,WAAW,EAAE,0BAA0B;KACxC,CAAC,CAAC;IACH,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,iBAAiB,IAAI,CAAC,OAAO;QAAE,QAAQ,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;IACzF,IAAI,iBAAiB,IAAI,KAAK;QAAE,QAAQ,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;IACpF,IAAI,iBAAiB,IAAI,CAAC,iBAAiB;QAAE,QAAQ,CAAC,IAAI,CAAC,qDAAqD,CAAC,CAAC;IAClH,IAAI,OAAO,IAAI,UAAU,KAAK,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IACpF,IAAI,OAAO,IAAI,QAAQ,KAAK,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IAClF,IAAI,OAAO,IAAI,MAAM,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;IACvE,IAAI,OAAO,IAAI,QAAQ,KAAK,CAAC,IAAI,SAAS,CAAC,eAAe,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC;IACnI,IAAI,OAAO,IAAI,QAAQ,KAAK,CAAC,IAAI,SAAS,CAAC,mBAAmB,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,sDAAsD,CAAC,CAAC;IAC1I,IAAI,OAAO,IAAI,QAAQ,GAAG,CAAC,IAAI,OAAO,KAAK,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;IAC9F,IAAI,OAAO,IAAI,QAAQ,GAAG,CAAC,IAAI,gBAAgB,KAAK,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,0CAA0C,CAAC,CAAC;IACjH,IAAI,OAAO,IAAI,QAAQ,GAAG,CAAC,IAAI,iBAAiB,KAAK,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,4CAA4C,CAAC,CAAC;IACpH,IAAI,OAAO,IAAI,QAAQ,GAAG,CAAC,IAAI,kBAAkB,KAAK,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;IACtH,IAAI,OAAO,IAAI,QAAQ,GAAG,CAAC,IAAI,OAAO,GAAG,CAAC,IAAI,mBAAmB,KAAK,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;IACtI,IAAI,OAAO,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC;IACnG,IAAI,OAAO,IAAI,SAAS,CAAC,KAAK,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;IACjG,IAAI,OAAO,IAAI,OAAO,GAAG,CAAC,IAAI,uBAAuB,IAAI,eAAe,CAAC,cAAc,KAAK,CAAC,EAAE,CAAC;QAC9F,QAAQ,CAAC,IAAI,CAAC,8FAA8F,CAAC,CAAC;IAChH,CAAC;IACD,IAAI,OAAO,IAAI,eAAe,CAAC,OAAO,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,uCAAuC,CAAC,CAAC;IACnG,IAAI,OAAO,IAAI,eAAe,CAAC,SAAS,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,kDAAkD,CAAC,CAAC;IAChH,IAAI,OAAO,IAAI,kBAAkB,CAAC,SAAS,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;IACrG,IAAI,OAAO,IAAI,kBAAkB,CAAC,KAAK,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,4CAA4C,CAAC,CAAC;IACzG,IAAI,OAAO,IAAI,kBAAkB,CAAC,OAAO,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IAChG,IAAI,OAAO,IAAI,kBAAkB,CAAC,mBAAmB,GAAG,CAAC,IAAI,sBAAsB,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC;QAChG,QAAQ,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;IACvD,CAAC;IACD,IAAI,OAAO,IAAI,sBAAsB,CAAC,OAAO,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;IACxG,IAAI,OAAO,IAAI,sBAAsB,CAAC,+BAA+B,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,uDAAuD,CAAC,CAAC;IAClJ,IAAI,OAAO,IAAI,sBAAsB,CAAC,2BAA2B,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,kDAAkD,CAAC,CAAC;IACzI,IAAI,OAAO,IAAI,kBAAkB,CAAC,SAAS,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;IACrG,IAAI,OAAO,IAAI,kBAAkB,CAAC,KAAK,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,sDAAsD,CAAC,CAAC;IACnH,IAAI,OAAO,IAAI,kBAAkB,CAAC,OAAO,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IAChG,IAAI,OAAO,IAAI,kBAAkB,CAAC,SAAS,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IAClG,OAAO;QACL,QAAQ,EAAE,iBAAiB;QAC3B,iBAAiB;QACjB,0BAA0B;QAC1B,OAAO;QACP,KAAK;QACL,KAAK;QACL,UAAU;QACV,QAAQ;QACR,QAAQ;QACR,QAAQ;QACR,MAAM;QACN,OAAO;QACP,gBAAgB;QAChB,UAAU;QACV,aAAa,EAAE,aAAa,CAAC,KAAK;QAClC,sBAAsB,EAAE,aAAa,CAAC,UAAU;QAChD,mBAAmB,EAAE,aAAa,CAAC,WAAW;QAC9C,mBAAmB;QACnB,oBAAoB;QACpB,iBAAiB;QACjB,kBAAkB;QAClB,sBAAsB;QACtB,oBAAoB,EAAE,SAAS,CAAC,WAAW;QAC3C,0BAA0B,EAAE,SAAS,CAAC,MAAM;QAC5C,wBAAwB,EAAE,iBAAiB,CAAC,KAAK;QACjD,uBAAuB,EAAE,iBAAiB,CAAC,MAAM,CAAC,MAAM;QACxD,gCAAgC,EAAE,iBAAiB,CAAC,eAAe;QACnE,qBAAqB,EAAE,eAAe,CAAC,cAAc;QACrD,oBAAoB,EAAE,eAAe,CAAC,KAAK;QAC3C,sBAAsB,EAAE,eAAe,CAAC,OAAO;QAC/C,sBAAsB,EAAE,eAAe,CAAC,OAAO;QAC/C,wBAAwB,EAAE,eAAe,CAAC,SAAS;QACnD,sBAAsB,EAAE,eAAe,CAAC,OAAO;QAC/C,0BAA0B,EAAE,eAAe,CAAC,WAAW;QACvD,yBAAyB,EAAE,eAAe,CAAC,UAAU;QACrD,0BAA0B,EAAE,eAAe,CAAC,WAAW;QACvD,kBAAkB;QAClB,sBAAsB;QACtB,kBAAkB;QAClB,qBAAqB;QACrB,QAAQ,EAAE,aAAa,CAAC,QAAQ,CAAC;KAClC,CAAC;AACJ,CAAC;AAED,SAAS,4BAA4B,CAAC,OAAgB;IACpD,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACtC,OAAO,iBAAiB,CAAE,MAAM,EAAE,SAAkD,EAAE,UAAU,IAAI,MAAM,EAAE,KAAK,CAAC,CAAC;AACrH,CAAC;AAED,SAAS,sBAAsB,CAAC,OAAgB,EAAE,QAAiB;IACjE,IAAI,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC1B,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACtC,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC1B,OAAO,MAAM,CAAC,sBAAsB,KAAK,IAAI;QAC3C,MAAM,CAAC,QAAQ,KAAK,IAAI;QACvB,MAAM,CAAC,OAA8C,EAAE,QAAQ,KAAK,IAAI;QACxE,MAAM,CAAC,SAAgD,EAAE,QAAQ,KAAK,IAAI,CAAC;AAChF,CAAC;AAED,SAAS,+BAA+B,CACtC,OAAgB,EAChB,KASC;IAED,IAAI,CAAC,KAAK,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IACjC,MAAM,QAAQ,GAAG,uCAAuC,CAAC,OAAO,CAAC,CAAC;IAClE,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,QAAQ,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC;IAC9E,OAAO,KAAK,CAAC,OAAO;QAClB,CAAC,KAAK,CAAC,KAAK;QACZ,KAAK,CAAC,QAAQ,GAAG,CAAC;QAClB,KAAK,CAAC,OAAO,GAAG,CAAC;QACjB,KAAK,CAAC,gBAAgB,GAAG,CAAC;QAC1B,KAAK,CAAC,UAAU,GAAG,CAAC;QACpB,KAAK,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC;AACnC,CAAC;AAED,SAAS,wCAAwC,CAC/C,OAAgB,EAChB,KASC;IAED,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACtC,MAAM,aAAa,GAAG,aAAa,CAAC;QAClC,GAAG,eAAe,CAAC,MAAM,EAAE,wCAAwC,CAAC;QACpE,GAAG,eAAe,CAAE,MAAM,EAAE,OAAgE,EAAE,0BAA0B,CAAC;QACzH,GAAG,eAAe,CAAE,MAAM,EAAE,SAAkE,EAAE,0BAA0B,CAAC;KAC5H,CAAC,CAAC;IACH,IAAI,CAAC,KAAK,CAAC,QAAQ;QAAE,OAAO,aAAa,CAAC;IAC1C,MAAM,aAAa,GAAa,EAAE,CAAC;IACnC,IAAI,CAAC,KAAK,CAAC,OAAO;QAAE,aAAa,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;IAC3E,IAAI,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,QAAQ,KAAK,CAAC;QAAE,aAAa,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;IAClG,IAAI,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,QAAQ,GAAG,CAAC,IAAI,KAAK,CAAC,QAAQ,KAAK,CAAC;QAAE,aAAa,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IACvG,IAAI,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,QAAQ,GAAG,CAAC,IAAI,KAAK,CAAC,OAAO,KAAK,CAAC,EAAE,CAAC;QAC/D,aAAa,CAAC,IAAI,CAAC,gCAAgC,EAAE,sBAAsB,CAAC,CAAC;IAC/E,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,QAAQ,GAAG,CAAC,IAAI,KAAK,CAAC,gBAAgB,KAAK,CAAC;QAAE,aAAa,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;IACzH,IAAI,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,QAAQ,GAAG,CAAC,IAAI,KAAK,CAAC,UAAU,KAAK,CAAC;QAAE,aAAa,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IAC7G,IAAI,KAAK,CAAC,KAAK,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,gCAAgC,CAAC,EAAE,CAAC;QAC7E,aAAa,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,aAAa,CAAC,CAAC,GAAG,aAAa,EAAE,GAAG,aAAa,CAAC,CAAC,CAAC;AAC7D,CAAC;AAED,SAAS,uCAAuC,CAAC,OAAgB;IAC/D,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACtC,MAAM,UAAU,GAAG;QACjB,MAAM,EAAE,+BAA+B;QACtC,MAAM,EAAE,OAAuD,EAAE,iBAAiB;QAClF,MAAM,EAAE,SAAyD,EAAE,iBAAiB;KACtF,CAAC;IACF,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;QAC/B,IAAI,OAAO,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;IAC/C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,0CAA0C,CAAC,OAAgB,EAAE,aAAqB;IACzF,IAAI,aAAa,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACtC,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC1B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAgG,CAAC;IACxH,MAAM,SAAS,GAAG,MAAM,CAAC,SAAkG,CAAC;IAC5H,MAAM,OAAO,GAAG,MAAM,CAAC,eAAyF,CAAC;IACjH,MAAM,SAAS,GAAG,MAAM,CAAC,wBAAkG,CAAC;IAC5H,MAAM,gBAAgB,GAAG,MAAM,CAAC,gBAA0F,CAAC;IAC3H,OAAO;QACL,MAAM,CAAC,uBAAuB;QAC9B,MAAM,CAAC,gCAAgC;QACvC,MAAM,CAAC,wBAAwB;QAC/B,MAAM,CAAC,oBAAoB;QAC3B,OAAO,EAAE,uBAAuB;QAChC,OAAO,EAAE,wBAAwB;QACjC,SAAS,EAAE,uBAAuB;QAClC,SAAS,EAAE,wBAAwB;QACnC,OAAO,EAAE,QAAQ;QACjB,OAAO,EAAE,wBAAwB;QACjC,SAAS,EAAE,QAAQ;QACnB,SAAS,EAAE,wBAAwB;QACnC,gBAAgB,EAAE,QAAQ;QAC1B,gBAAgB,EAAE,wBAAwB;KAC3C,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,aAAa,CAAC,OAAgB;IACrC,OAAO,OAAO,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QACtE,CAAC,CAAC,OAAkC;QACpC,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,SAAS,wBAAwB,CAAC,OAAgB;IAIhD,MAAM,SAAS,GAAG,OAAO,IAAI,OAAO,OAAO,KAAK,QAAQ;QACtD,CAAC,CAAE,OAAwF,CAAC,SAAS;QACrG,CAAC,CAAC,SAAS,CAAC;IACd,OAAO;QACL,eAAe,EAAE,iBAAiB,CAAC,SAAS,EAAE,eAAe,CAAC;QAC9D,mBAAmB,EAAE,iBAAiB,CAAC,SAAS,EAAE,mBAAmB,CAAC;KACvE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,+BAA+B,CAAC,MAAgC;IAC9E,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAuF,CAAC;IAChH,OAAO,2BAA2B,CAAC,MAAM,CAAC,cAAc,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC;AACtF,CAAC;AAED,SAAS,2BAA2B,CAClC,KAA6D,EAC7D,MAA8D;IAE9D,IAAI,CAAC,KAAK;QAAE,OAAO,MAAM,CAAC;IAC1B,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC1B,OAAO,6BAA6B,CAAC,MAAM,CAAC,GAAG,6BAA6B,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;AACvG,CAAC;AAED,SAAS,6BAA6B,CAAC,OAA+D;IACpG,IAAI,CAAC,OAAO;QAAE,OAAO,CAAC,CAAC;IACvB,MAAM,MAAM,GAAG;QACb,OAAO,CAAC,KAAK;QACb,OAAO,CAAC,QAAQ;QAChB,OAAO,CAAC,QAAQ;QAChB,OAAO,CAAC,qBAAqB;QAC7B,OAAO,CAAC,aAAa,EAAE,OAAO;QAC9B,yBAAyB,CAAC,OAAO,CAAC,CAAC,KAAK;QACvC,OAAiD,CAAC,YAAY,EAAE,KAAK;QACtE,OAAO,CAAC,gBAAgB,EAAE,gBAAgB;QAC1C,OAAO,CAAC,gBAAgB,EAAE,UAAU;QACpC,sCAAsC,CAAC,OAAO,CAAC,CAAC,KAAK;QACrD,8BAA8B,CAAC,OAAO,CAAC,CAAC,KAAK;QAC7C,sCAAsC,CAAC,OAAO,CAAC,CAAC,KAAK;QACrD,4BAA4B,CAAC,OAAO,CAAC,CAAC,cAAc;KACrD,CAAC;IACF,OAAO,MAAM,CAAC,MAAM,CAAS,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,GAAG,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;AAClF,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,KAA+D;IACnG,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACzB,OAAO,KAAK,CAAC,OAAO,KAAK,KAAK,CAAC;AACjC,CAAC"}
+{"version":3,"file":"semantic-import-quality.js","sourceRoot":"","sources":["../src/semantic-import-quality.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAChF,OAAO,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAC;AACvE,OAAO,EAAE,sCAAsC,EAAE,MAAM,6BAA6B,CAAC;AACrF,OAAO,EAAE,sCAAsC,EAAE,MAAM,+BAA+B,CAAC;AACvF,OAAO,EAAE,8BAA8B,EAAE,MAAM,4BAA4B,CAAC;AAC5E,OAAO,EAAE,4BAA4B,EAAE,MAAM,8BAA8B,CAAC;AAC5E,OAAO,EAAE,2BAA2B,EAAE,MAAM,2BAA2B,CAAC;AACxE,OAAO,EAAE,+BAA+B,EAAE,kCAAkC,EAAE,MAAM,+BAA+B,CAAC;AACpH,OAAO,EAAE,8BAA8B,EAAE,2BAA2B,EAAE,MAAM,2BAA2B,CAAC;AACxG,OAAO,EAAE,mCAAmC,EAAE,MAAM,8BAA8B,CAAC;AAKnF,MAAM,UAAU,mCAAmC,CACjD,OAA+J,EAC/J,QAAQ,GAAG,KAAK;IAEhB,MAAM,KAAK,GAAG,iBAAiB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAChD,MAAM,UAAU,GAAG,4BAA4B,CAAC,OAAO,CAAC,CAAC;IACzD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACtD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACtD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACtD,MAAM,MAAM,GAAG,iBAAiB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAClD,MAAM,OAAO,GAAG,iBAAiB,CAAC,OAAO,EAAE,aAAa,EAAE,OAAO,CAAC,CAAC;IACnE,MAAM,gBAAgB,GAAG,iBAAiB,CAAC,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,CAAC,CAAC;IACxF,MAAM,UAAU,GAAG,iBAAiB,CAAC,OAAO,EAAE,gBAAgB,EAAE,UAAU,CAAC,CAAC;IAC5E,MAAM,aAAa,GAAG,yBAAyB,CAAC,OAAO,CAAC,CAAC;IACzD,MAAM,mBAAmB,GAAG,iBAAiB,CAAE,OAA6D,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC;IACnI,MAAM,oBAAoB,GAAG,KAAK,CAAC,OAAO,CAAE,OAAmE,EAAE,YAAY,EAAE,UAAU,CAAC;QACxI,CAAC,CAAC,aAAa,CAAE,OAAsD,CAAC,YAAY,CAAC,UAAU,CAAC;QAChG,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,eAAe,GAAG,KAAK,CAAC,OAAO,CAAE,OAAqD,EAAE,eAAe,CAAC;QAC5G,CAAC,CAAC,aAAa,CAAE,OAAyC,CAAC,eAAe,CAAC;QAC3E,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,mBAAmB,GAAG,KAAK,CAAC,OAAO,CAAE,OAAyD,EAAE,mBAAmB,CAAC;QACxH,CAAC,CAAC,aAAa,CAAE,OAA6C,CAAC,mBAAmB,CAAC;QACnF,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,iBAAiB,GAAG,iBAAiB,CAAC,OAAO,EAAE,qBAAqB,CAAC,CAAC;IAC5E,MAAM,wBAAwB,GAAG,sCAAsC,CAAC,OAAO,CAAC,CAAC;IACjF,MAAM,kBAAkB,GAAG,wBAAwB,CAAC,KAAK,CAAC;IAC1D,MAAM,sBAAsB,GAAG,wBAAwB,CAAC,KAAK,CAAC;IAC9D,MAAM,SAAS,GAAG,8BAA8B,CAAC,OAAO,CAAC,CAAC;IAC1D,MAAM,iBAAiB,GAAG,sCAAsC,CAAC,OAAO,CAAC,CAAC;IAC1E,MAAM,eAAe,GAAG,4BAA4B,CAAC,OAAO,CAAC,CAAC;IAC9D,MAAM,kBAAkB,GAAG,2BAA2B,CAAC,OAAO,CAAC,IAAI,2BAA2B,CAAC,EAAE,mBAAmB,EAAG,OAAyD,EAAE,mBAAmB,EAAE,CAAE,CAAC;IAC1M,MAAM,sBAAsB,GAAG,+BAA+B,CAAC,OAAO,CAAC,IAAI,kCAAkC,EAAE,CAAC;IAChH,MAAM,kBAAkB,GAAG,2BAA2B,CAAC,OAAO,CAAC,IAAI,8BAA8B,EAAE,CAAC;IACpG,MAAM,qBAAqB,GAAG,mCAAmC,CAAC,kBAAkB,CAAC,CAAC;IACtF,MAAM,uBAAuB,GAAG,0CAA0C,CAAC,OAAO,EAAE,eAAe,CAAC,aAAa,CAAC,CAAC;IACnH,MAAM,SAAS,GAAG,wBAAwB,CAAC,OAAO,CAAC,CAAC;IACpD,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC;IAC1B,MAAM,KAAK,GAAG,OAAO,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,QAAQ,KAAK,CAAC,IAAI,QAAQ,KAAK,CAAC,IAAI,QAAQ,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,CAAC,CAAC;IAC9G,MAAM,iBAAiB,GAAG,sBAAsB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACpE,MAAM,0BAA0B,GAAG,wCAAwC,CAAC,OAAO,EAAE;QACnF,QAAQ,EAAE,iBAAiB;QAC3B,OAAO;QACP,KAAK;QACL,QAAQ;QACR,QAAQ;QACR,OAAO;QACP,gBAAgB;QAChB,UAAU;KACX,CAAC,CAAC;IACH,MAAM,iBAAiB,GAAG,+BAA+B,CAAC,OAAO,EAAE;QACjE,QAAQ,EAAE,iBAAiB;QAC3B,OAAO;QACP,KAAK;QACL,QAAQ;QACR,OAAO;QACP,gBAAgB;QAChB,UAAU;QACV,WAAW,EAAE,0BAA0B;KACxC,CAAC,CAAC;IACH,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,iBAAiB,IAAI,CAAC,OAAO;QAAE,QAAQ,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;IACzF,IAAI,iBAAiB,IAAI,KAAK;QAAE,QAAQ,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;IACpF,IAAI,iBAAiB,IAAI,CAAC,iBAAiB;QAAE,QAAQ,CAAC,IAAI,CAAC,qDAAqD,CAAC,CAAC;IAClH,IAAI,OAAO,IAAI,UAAU,KAAK,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IACpF,IAAI,OAAO,IAAI,QAAQ,KAAK,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IAClF,IAAI,OAAO,IAAI,MAAM,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;IACvE,IAAI,OAAO,IAAI,QAAQ,KAAK,CAAC,IAAI,SAAS,CAAC,eAAe,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC;IACnI,IAAI,OAAO,IAAI,QAAQ,KAAK,CAAC,IAAI,SAAS,CAAC,mBAAmB,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,sDAAsD,CAAC,CAAC;IAC1I,IAAI,OAAO,IAAI,QAAQ,GAAG,CAAC,IAAI,OAAO,KAAK,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;IAC9F,IAAI,OAAO,IAAI,QAAQ,GAAG,CAAC,IAAI,gBAAgB,KAAK,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,0CAA0C,CAAC,CAAC;IACjH,IAAI,OAAO,IAAI,QAAQ,GAAG,CAAC,IAAI,iBAAiB,KAAK,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,4CAA4C,CAAC,CAAC;IACpH,IAAI,OAAO,IAAI,QAAQ,GAAG,CAAC,IAAI,kBAAkB,KAAK,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;IACtH,IAAI,OAAO,IAAI,QAAQ,GAAG,CAAC,IAAI,OAAO,GAAG,CAAC,IAAI,mBAAmB,KAAK,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;IACtI,IAAI,OAAO,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC;IACnG,IAAI,OAAO,IAAI,SAAS,CAAC,KAAK,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;IACjG,IAAI,OAAO,IAAI,OAAO,GAAG,CAAC,IAAI,uBAAuB,IAAI,eAAe,CAAC,cAAc,KAAK,CAAC,EAAE,CAAC;QAC9F,QAAQ,CAAC,IAAI,CAAC,8FAA8F,CAAC,CAAC;IAChH,CAAC;IACD,IAAI,OAAO,IAAI,eAAe,CAAC,OAAO,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,uCAAuC,CAAC,CAAC;IACnG,IAAI,OAAO,IAAI,eAAe,CAAC,SAAS,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,kDAAkD,CAAC,CAAC;IAChH,IAAI,OAAO,IAAI,kBAAkB,CAAC,SAAS,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;IACrG,IAAI,OAAO,IAAI,kBAAkB,CAAC,KAAK,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,4CAA4C,CAAC,CAAC;IACzG,IAAI,OAAO,IAAI,kBAAkB,CAAC,OAAO,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IAChG,IAAI,OAAO,IAAI,kBAAkB,CAAC,mBAAmB,GAAG,CAAC,IAAI,sBAAsB,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC;QAChG,QAAQ,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;IACvD,CAAC;IACD,IAAI,OAAO,IAAI,sBAAsB,CAAC,OAAO,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;IACxG,IAAI,OAAO,IAAI,sBAAsB,CAAC,+BAA+B,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,uDAAuD,CAAC,CAAC;IAClJ,IAAI,OAAO,IAAI,sBAAsB,CAAC,2BAA2B,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,kDAAkD,CAAC,CAAC;IACzI,IAAI,OAAO,IAAI,kBAAkB,CAAC,SAAS,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;IACrG,IAAI,OAAO,IAAI,kBAAkB,CAAC,KAAK,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,sDAAsD,CAAC,CAAC;IACnH,IAAI,OAAO,IAAI,kBAAkB,CAAC,OAAO,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IAChG,IAAI,OAAO,IAAI,kBAAkB,CAAC,SAAS,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IAClG,OAAO;QACL,QAAQ,EAAE,iBAAiB;QAC3B,iBAAiB;QACjB,0BAA0B;QAC1B,OAAO;QACP,KAAK;QACL,KAAK;QACL,UAAU;QACV,QAAQ;QACR,QAAQ;QACR,QAAQ;QACR,MAAM;QACN,OAAO;QACP,gBAAgB;QAChB,UAAU;QACV,aAAa,EAAE,aAAa,CAAC,KAAK;QAClC,sBAAsB,EAAE,aAAa,CAAC,UAAU;QAChD,mBAAmB,EAAE,aAAa,CAAC,WAAW;QAC9C,mBAAmB;QACnB,oBAAoB;QACpB,eAAe;QACf,mBAAmB;QACnB,iBAAiB;QACjB,kBAAkB;QAClB,sBAAsB;QACtB,oBAAoB,EAAE,SAAS,CAAC,WAAW;QAC3C,0BAA0B,EAAE,SAAS,CAAC,MAAM;QAC5C,wBAAwB,EAAE,iBAAiB,CAAC,KAAK;QACjD,uBAAuB,EAAE,iBAAiB,CAAC,MAAM,CAAC,MAAM;QACxD,gCAAgC,EAAE,iBAAiB,CAAC,eAAe;QACnE,qBAAqB,EAAE,eAAe,CAAC,cAAc;QACrD,oBAAoB,EAAE,eAAe,CAAC,KAAK;QAC3C,sBAAsB,EAAE,eAAe,CAAC,OAAO;QAC/C,sBAAsB,EAAE,eAAe,CAAC,OAAO;QAC/C,wBAAwB,EAAE,eAAe,CAAC,SAAS;QACnD,sBAAsB,EAAE,eAAe,CAAC,OAAO;QAC/C,0BAA0B,EAAE,eAAe,CAAC,WAAW;QACvD,yBAAyB,EAAE,eAAe,CAAC,UAAU;QACrD,0BAA0B,EAAE,eAAe,CAAC,WAAW;QACvD,kBAAkB;QAClB,sBAAsB;QACtB,kBAAkB;QAClB,qBAAqB;QACrB,QAAQ,EAAE,aAAa,CAAC,QAAQ,CAAC;KAClC,CAAC;AACJ,CAAC;AAED,SAAS,4BAA4B,CAAC,OAAgB;IACpD,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACtC,OAAO,iBAAiB,CAAE,MAAM,EAAE,SAAkD,EAAE,UAAU,IAAI,MAAM,EAAE,KAAK,CAAC,CAAC;AACrH,CAAC;AAED,SAAS,sBAAsB,CAAC,OAAgB,EAAE,QAAiB;IACjE,IAAI,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC1B,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACtC,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC1B,OAAO,MAAM,CAAC,sBAAsB,KAAK,IAAI;QAC3C,MAAM,CAAC,QAAQ,KAAK,IAAI;QACvB,MAAM,CAAC,OAA8C,EAAE,QAAQ,KAAK,IAAI;QACxE,MAAM,CAAC,SAAgD,EAAE,QAAQ,KAAK,IAAI,CAAC;AAChF,CAAC;AAED,SAAS,+BAA+B,CAAC,OAAgB,EAAE,KAA2C;IACpG,IAAI,CAAC,KAAK,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IACjC,MAAM,QAAQ,GAAG,uCAAuC,CAAC,OAAO,CAAC,CAAC;IAClE,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,QAAQ,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC;IAC9E,OAAO,KAAK,CAAC,OAAO;QAClB,CAAC,KAAK,CAAC,KAAK;QACZ,KAAK,CAAC,QAAQ,GAAG,CAAC;QAClB,KAAK,CAAC,OAAO,GAAG,CAAC;QACjB,KAAK,CAAC,gBAAgB,GAAG,CAAC;QAC1B,KAAK,CAAC,UAAU,GAAG,CAAC;QACpB,KAAK,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC;AACnC,CAAC;AAED,SAAS,wCAAwC,CAAC,OAAgB,EAAE,KAAyC;IAC3G,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACtC,MAAM,aAAa,GAAG,aAAa,CAAC;QAClC,GAAG,eAAe,CAAC,MAAM,EAAE,wCAAwC,CAAC;QACpE,GAAG,eAAe,CAAE,MAAM,EAAE,OAAgE,EAAE,0BAA0B,CAAC;QACzH,GAAG,eAAe,CAAE,MAAM,EAAE,SAAkE,EAAE,0BAA0B,CAAC;KAC5H,CAAC,CAAC;IACH,IAAI,CAAC,KAAK,CAAC,QAAQ;QAAE,OAAO,aAAa,CAAC;IAC1C,MAAM,aAAa,GAAa,EAAE,CAAC;IACnC,IAAI,CAAC,KAAK,CAAC,OAAO;QAAE,aAAa,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;IAC3E,IAAI,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,QAAQ,KAAK,CAAC;QAAE,aAAa,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;IAClG,IAAI,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,QAAQ,GAAG,CAAC,IAAI,KAAK,CAAC,QAAQ,KAAK,CAAC;QAAE,aAAa,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IACvG,IAAI,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,QAAQ,GAAG,CAAC,IAAI,KAAK,CAAC,OAAO,KAAK,CAAC,EAAE,CAAC;QAC/D,aAAa,CAAC,IAAI,CAAC,gCAAgC,EAAE,sBAAsB,CAAC,CAAC;IAC/E,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,QAAQ,GAAG,CAAC,IAAI,KAAK,CAAC,gBAAgB,KAAK,CAAC;QAAE,aAAa,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;IACzH,IAAI,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,QAAQ,GAAG,CAAC,IAAI,KAAK,CAAC,UAAU,KAAK,CAAC;QAAE,aAAa,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IAC7G,IAAI,KAAK,CAAC,KAAK,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,gCAAgC,CAAC,EAAE,CAAC;QAC7E,aAAa,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,aAAa,CAAC,CAAC,GAAG,aAAa,EAAE,GAAG,aAAa,CAAC,CAAC,CAAC;AAC7D,CAAC;AAED,SAAS,uCAAuC,CAAC,OAAgB;IAC/D,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACtC,MAAM,UAAU,GAAG;QACjB,MAAM,EAAE,+BAA+B;QACtC,MAAM,EAAE,OAAuD,EAAE,iBAAiB;QAClF,MAAM,EAAE,SAAyD,EAAE,iBAAiB;KACtF,CAAC;IACF,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;QAC/B,IAAI,OAAO,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;IAC/C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,0CAA0C,CAAC,OAAgB,EAAE,aAAqB;IACzF,IAAI,aAAa,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACtC,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC1B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAgG,CAAC;IACxH,MAAM,SAAS,GAAG,MAAM,CAAC,SAAkG,CAAC;IAC5H,MAAM,OAAO,GAAG,MAAM,CAAC,eAAyF,CAAC;IACjH,MAAM,SAAS,GAAG,MAAM,CAAC,wBAAkG,CAAC;IAC5H,MAAM,gBAAgB,GAAG,MAAM,CAAC,gBAA0F,CAAC;IAC3H,OAAO;QACL,MAAM,CAAC,uBAAuB;QAC9B,MAAM,CAAC,gCAAgC;QACvC,MAAM,CAAC,wBAAwB;QAC/B,MAAM,CAAC,oBAAoB;QAC3B,OAAO,EAAE,uBAAuB;QAChC,OAAO,EAAE,wBAAwB;QACjC,SAAS,EAAE,uBAAuB;QAClC,SAAS,EAAE,wBAAwB;QACnC,OAAO,EAAE,QAAQ;QACjB,OAAO,EAAE,wBAAwB;QACjC,SAAS,EAAE,QAAQ;QACnB,SAAS,EAAE,wBAAwB;QACnC,gBAAgB,EAAE,QAAQ;QAC1B,gBAAgB,EAAE,wBAAwB;KAC3C,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,aAAa,CAAC,OAAgB;IACrC,OAAO,OAAO,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QACtE,CAAC,CAAC,OAAkC;QACpC,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,SAAS,wBAAwB,CAAC,OAAgB;IAIhD,MAAM,SAAS,GAAG,OAAO,IAAI,OAAO,OAAO,KAAK,QAAQ;QACtD,CAAC,CAAE,OAAwF,CAAC,SAAS;QACrG,CAAC,CAAC,SAAS,CAAC;IACd,OAAO;QACL,eAAe,EAAE,iBAAiB,CAAC,SAAS,EAAE,eAAe,CAAC;QAC9D,mBAAmB,EAAE,iBAAiB,CAAC,SAAS,EAAE,mBAAmB,CAAC;KACvE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,+BAA+B,CAAC,MAAgC;IAC9E,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAuF,CAAC;IAChH,OAAO,2BAA2B,CAAC,MAAM,CAAC,cAAc,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC;AACtF,CAAC;AAED,SAAS,2BAA2B,CAClC,KAA6D,EAC7D,MAA8D;IAE9D,IAAI,CAAC,KAAK;QAAE,OAAO,MAAM,CAAC;IAC1B,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC1B,OAAO,6BAA6B,CAAC,MAAM,CAAC,GAAG,6BAA6B,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;AACvG,CAAC;AAED,SAAS,6BAA6B,CAAC,OAA+D;IACpG,IAAI,CAAC,OAAO;QAAE,OAAO,CAAC,CAAC;IACvB,MAAM,MAAM,GAAG;QACb,OAAO,CAAC,KAAK;QACb,OAAO,CAAC,QAAQ;QAChB,OAAO,CAAC,QAAQ;QAChB,OAAO,CAAC,qBAAqB;QAC7B,OAAO,CAAC,aAAa,EAAE,OAAO;QAC9B,yBAAyB,CAAC,OAAO,CAAC,CAAC,KAAK;QACvC,OAAiD,CAAC,YAAY,EAAE,KAAK;QACtE,OAAO,CAAC,gBAAgB,EAAE,gBAAgB;QAC1C,OAAO,CAAC,gBAAgB,EAAE,UAAU;QACpC,sCAAsC,CAAC,OAAO,CAAC,CAAC,KAAK;QACrD,8BAA8B,CAAC,OAAO,CAAC,CAAC,KAAK;QAC7C,sCAAsC,CAAC,OAAO,CAAC,CAAC,KAAK;QACrD,4BAA4B,CAAC,OAAO,CAAC,CAAC,cAAc;KACrD,CAAC;IACF,OAAO,MAAM,CAAC,MAAM,CAAS,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,GAAG,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;AAClF,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,KAA+D;IACnG,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACzB,OAAO,KAAK,CAAC,OAAO,KAAK,KAAK,CAAC;AACjC,CAAC"}

package/dist/semantic-import-readiness.d.ts

@@ -0,0 +1,15 @@
+import type { FrontierCodexSemanticImportRecord } from './index.js';
+import type { SemanticImportSelection } from './semantic-import-select.js';
+export declare function semanticImportReadinessKeys(record: FrontierCodexSemanticImportRecord): string[];
+export declare function summarizeExpectedSemanticImport(records: FrontierCodexSemanticImportRecord[], selection: SemanticImportSelection | undefined, expected: boolean, totals: {
+    imported: number;
+    symbols: number;
+    ownershipRegions: number;
+    patchHints: number;
+    evidence: number;
+}): {
+    expected: boolean;
+    satisfied: boolean;
+    missingReasonCodes: string[];
+};
+//# sourceMappingURL=semantic-import-readiness.d.ts.map

package/dist/semantic-import-readiness.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-import-readiness.d.ts","sourceRoot":"","sources":["../src/semantic-import-readiness.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iCAAiC,EAAE,MAAM,YAAY,CAAC;AAEpE,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AAE3E,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,iCAAiC,GAAG,MAAM,EAAE,CAsB/F;AAED,wBAAgB,+BAA+B,CAC7C,OAAO,EAAE,iCAAiC,EAAE,EAC5C,SAAS,EAAE,uBAAuB,GAAG,SAAS,EAC9C,QAAQ,EAAE,OAAO,EACjB,MAAM,EAAE;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,gBAAgB,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GAC5G;IAAE,QAAQ,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,OAAO,CAAC;IAAC,kBAAkB,EAAE,MAAM,EAAE,CAAA;CAAE,CA2CzE"}