@shapeshift-labs/frontier-swarm-codex 0.5.41 → 0.5.42

package/dist/semantic-import-proof.js

@@ -0,0 +1,142 @@
+import { isObject, nonNegativeNumber, numberRecord, uniqueStrings } from './common.js';
+export function semanticImportProofSpecSummary(summary) {
+    const input = isObject(summary) && isObject(summary.proofSpec) ? summary.proofSpec : undefined;
+    return input ? normalizeProofSpecSummary(input) : emptyProofSpecSummary();
+}
+export function summarizeSemanticImportProofSpec(records) {
+    const summary = emptyProofSpecSummary();
+    for (const record of records) {
+        mergeProofSpecSummary(summary, record.proofSpec);
+    }
+    summary.empty = summary.total === 0;
+    return summary;
+}
+export function summarizeProofSpec(proof, semanticSidecar) {
+    const sidecarProof = semanticSidecar?.proofSpec ?? semanticSidecar?.summary?.proofSpec;
+    if (sidecarProof && typeof sidecarProof === 'object' && hasProofSpecSummaryShape(sidecarProof)) {
+        return normalizeProofSpecSummary(sidecarProof);
+    }
+    const raw = proof && typeof proof === 'object' ? proof : {};
+    const contracts = Array.isArray(raw.contracts) ? raw.contracts : [];
+    const refinements = Array.isArray(raw.refinements) ? raw.refinements : [];
+    const invariants = Array.isArray(raw.invariants) ? raw.invariants : [];
+    const termination = Array.isArray(raw.termination) ? raw.termination : [];
+    const temporal = Array.isArray(raw.temporal) ? raw.temporal : [];
+    const obligations = Array.isArray(raw.obligations) ? raw.obligations : [];
+    const artifacts = Array.isArray(raw.artifacts) ? raw.artifacts : [];
+    const assumptions = Array.isArray(raw.assumptions) ? raw.assumptions : [];
+    const evidence = Array.isArray(raw.evidence) ? raw.evidence : [];
+    const allContracts = [...contracts, ...refinements, ...invariants, ...termination, ...temporal];
+    const byStatus = {};
+    const byContractKind = {};
+    const byArtifactKind = {};
+    for (const obligation of obligations) {
+        const status = String(obligation?.status ?? 'unknown');
+        byStatus[status] = (byStatus[status] ?? 0) + 1;
+    }
+    for (const contract of allContracts) {
+        const kind = String(contract?.kind ?? 'unknown');
+        byContractKind[kind] = (byContractKind[kind] ?? 0) + 1;
+    }
+    for (const artifact of artifacts) {
+        const kind = String(artifact?.kind ?? 'unknown');
+        byArtifactKind[kind] = (byArtifactKind[kind] ?? 0) + 1;
+    }
+    const total = allContracts.length + obligations.length + artifacts.length + assumptions.length;
+    return {
+        total,
+        ids: uniqueStrings([
+            raw.id,
+            ...allContracts.map((record) => record?.id),
+            ...obligations.map((record) => record?.id),
+            ...artifacts.map((record) => record?.id),
+            ...assumptions.map((record) => record?.id),
+            ...evidence.map((record) => record?.id)
+        ].filter(Boolean).map(String)),
+        contracts: contracts.length,
+        refinements: refinements.length,
+        invariants: invariants.length,
+        termination: termination.length,
+        temporal: temporal.length,
+        obligations: obligations.length,
+        artifacts: artifacts.length,
+        assumptions: assumptions.length,
+        evidence: evidence.length,
+        discharged: byStatus.discharged ?? 0,
+        failed: byStatus.failed ?? 0,
+        open: byStatus.open ?? 0,
+        unknown: byStatus.unknown ?? 0,
+        stale: byStatus.stale ?? 0,
+        assumed: byStatus.assumed ?? 0,
+        contractKinds: uniqueStrings(Object.keys(byContractKind)),
+        artifactKinds: uniqueStrings(Object.keys(byArtifactKind)),
+        byStatus,
+        byContractKind,
+        byArtifactKind,
+        empty: total === 0
+    };
+}
+function hasProofSpecSummaryShape(value) {
+    return typeof value.total === 'number' ||
+        typeof value.obligations === 'number' ||
+        typeof value.contracts === 'number' ||
+        typeof value.failed === 'number';
+}
+export function normalizeProofSpecSummary(value) {
+    const summary = emptyProofSpecSummary();
+    mergeProofSpecSummary(summary, value);
+    summary.empty = summary.total === 0;
+    return summary;
+}
+function emptyProofSpecSummary() {
+    return {
+        total: 0,
+        ids: [],
+        contracts: 0,
+        refinements: 0,
+        invariants: 0,
+        termination: 0,
+        temporal: 0,
+        obligations: 0,
+        artifacts: 0,
+        assumptions: 0,
+        evidence: 0,
+        discharged: 0,
+        failed: 0,
+        open: 0,
+        unknown: 0,
+        stale: 0,
+        assumed: 0,
+        contractKinds: [],
+        artifactKinds: [],
+        byStatus: {},
+        byContractKind: {},
+        byArtifactKind: {},
+        empty: true
+    };
+}
+function mergeProofSpecSummary(target, input) {
+    if (!input || typeof input !== 'object')
+        return;
+    for (const key of ['total', 'contracts', 'refinements', 'invariants', 'termination', 'temporal', 'obligations', 'artifacts', 'assumptions', 'evidence', 'discharged', 'failed', 'open', 'unknown', 'stale', 'assumed']) {
+        target[key] += nonNegativeNumber(input[key]);
+    }
+    target.ids = uniqueStrings([...target.ids, ...proofStringList(input.ids)]);
+    target.contractKinds = uniqueStrings([...target.contractKinds, ...proofStringList(input.contractKinds)]);
+    target.artifactKinds = uniqueStrings([...target.artifactKinds, ...proofStringList(input.artifactKinds)]);
+    for (const [status, count] of Object.entries(numberRecord(input.byStatus))) {
+        target.byStatus[status] = (target.byStatus[status] ?? 0) + count;
+    }
+    for (const [kind, count] of Object.entries(numberRecord(input.byContractKind))) {
+        target.byContractKind[kind] = (target.byContractKind[kind] ?? 0) + count;
+    }
+    for (const [kind, count] of Object.entries(numberRecord(input.byArtifactKind))) {
+        target.byArtifactKind[kind] = (target.byArtifactKind[kind] ?? 0) + count;
+    }
+}
+export function proofStringList(value) {
+    if (!Array.isArray(value))
+        return [];
+    return value.map((entry) => String(entry)).filter(Boolean);
+}
+//# sourceMappingURL=semantic-import-proof.js.map

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

@@ -0,0 +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"}

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

@@ -0,0 +1,6 @@
+import type { FrontierSwarmJobResultInput, FrontierSwarmMergeBundle } from '@shapeshift-labs/frontier-swarm';
+import type { FrontierCodexSemanticImportOptions, FrontierCodexSemanticImportQuality, FrontierCodexSemanticImportSidecar } from './index.js';
+export declare function summarizeCodexSemanticImportQuality(summary: FrontierSwarmMergeBundle['semanticImport'] | FrontierCodexSemanticImportSidecar['summary'] | FrontierSwarmJobResultInput['semanticImport'] | undefined, expected?: boolean): FrontierCodexSemanticImportQuality;
+export declare function semanticImportSummaryFromBundle(bundle: FrontierSwarmMergeBundle): FrontierSwarmMergeBundle['semanticImport'] | undefined;
+export declare function semanticImportEnabled(input: boolean | FrontierCodexSemanticImportOptions | undefined): boolean;
+//# sourceMappingURL=semantic-import-quality.d.ts.map

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

@@ -0,0 +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;AAO7I,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,CAgDpC;AAiBD,wBAAgB,+BAA+B,CAAC,MAAM,EAAE,wBAAwB,GAAG,wBAAwB,CAAC,gBAAgB,CAAC,GAAG,SAAS,CAGxI;AA8BD,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,OAAO,GAAG,kCAAkC,GAAG,SAAS,GAAG,OAAO,CAI9G"}

package/dist/semantic-import-quality.js

@@ -0,0 +1,108 @@
+import { nonNegativeNumber, uniqueStrings } from './common.js';
+import { semanticImportUniversalAstLayerSummary } from './semantic-import-layers.js';
+import { semanticImportParadigmSemanticsSummary } from './semantic-import-paradigm.js';
+import { semanticImportProofSpecSummary } from './semantic-import-proof.js';
+export function summarizeCodexSemanticImportQuality(summary, expected = false) {
+    const selected = nonNegativeNumber(summary?.selected);
+    const eligible = nonNegativeNumber(summary?.eligible);
+    const imported = nonNegativeNumber(summary?.imported);
+    const symbols = nonNegativeNumber(summary?.semanticIndex?.symbols);
+    const ownershipRegions = nonNegativeNumber(summary?.semanticSidecars?.ownershipRegions);
+    const patchHints = nonNegativeNumber(summary?.semanticSidecars?.patchHints);
+    const sourceMapMappings = nonNegativeNumber(summary?.sourceMapMappingCount);
+    const universalAstLayerSummary = semanticImportUniversalAstLayerSummary(summary);
+    const universalAstLayers = universalAstLayerSummary.total;
+    const universalAstLayerNames = universalAstLayerSummary.names;
+    const proofSpec = semanticImportProofSpecSummary(summary);
+    const paradigmSemantics = semanticImportParadigmSemanticsSummary(summary);
+    const selection = semanticSelectionSummary(summary);
+    const present = !!summary;
+    const empty = present && (nonNegativeNumber(summary?.total) === 0 || selected === 0 && eligible === 0 && imported === 0 && symbols === 0);
+    const warnings = [];
+    if (expected && !present)
+        warnings.push('semantic import expected but missing');
+    if (expected && empty)
+        warnings.push('semantic import expected but empty');
+    if (present && imported === 0)
+        warnings.push('semantic import imported no files');
+    if (present && selected === 0 && selection.includeFiltered > 0)
+        warnings.push('semantic import include filters selected no files');
+    if (present && selected === 0 && selection.unsupportedLanguage > 0)
+        warnings.push('semantic import candidates had unsupported languages');
+    if (present && selected > 0 && symbols === 0)
+        warnings.push('semantic import has no symbols');
+    if (present && selected > 0 && ownershipRegions === 0)
+        warnings.push('semantic import has no ownership regions');
+    if (present && selected > 0 && sourceMapMappings === 0)
+        warnings.push('semantic import has no source-map mappings');
+    if (present && selected > 0 && universalAstLayers === 0)
+        warnings.push('semantic import has no universal AST layers');
+    if (present && proofSpec.failed > 0)
+        warnings.push('semantic import has failed proof obligations');
+    if (present && proofSpec.stale > 0)
+        warnings.push('semantic import has stale proof obligations');
+    return {
+        expected,
+        present,
+        empty,
+        selected,
+        eligible,
+        imported,
+        symbols,
+        ownershipRegions,
+        patchHints,
+        sourceMapMappings,
+        universalAstLayers,
+        universalAstLayerNames,
+        proofSpecObligations: proofSpec.obligations,
+        proofSpecFailedObligations: proofSpec.failed,
+        paradigmSemanticsRecords: paradigmSemantics.total,
+        paradigmSemanticsGroups: paradigmSemantics.groups.length,
+        paradigmSemanticsLoweringRecords: paradigmSemantics.loweringRecords,
+        warnings: uniqueStrings(warnings)
+    };
+}
+function semanticSelectionSummary(summary) {
+    const selection = summary && typeof summary === 'object'
+        ? summary.selection
+        : undefined;
+    return {
+        includeFiltered: nonNegativeNumber(selection?.includeFiltered),
+        unsupportedLanguage: nonNegativeNumber(selection?.unsupportedLanguage)
+    };
+}
+export function semanticImportSummaryFromBundle(bundle) {
+    const metadata = bundle.metadata;
+    return richerSemanticImportSummary(bundle.semanticImport, metadata?.semanticImport);
+}
+function richerSemanticImportSummary(first, second) {
+    if (!first)
+        return second;
+    if (!second)
+        return first;
+    return semanticImportSummaryRichness(second) > semanticImportSummaryRichness(first) ? second : first;
+}
+function semanticImportSummaryRichness(summary) {
+    if (!summary)
+        return 0;
+    return [
+        summary.total,
+        summary.selected,
+        summary.imported,
+        summary.sourceMapMappingCount,
+        summary.semanticIndex?.symbols,
+        summary.semanticSidecars?.ownershipRegions,
+        summary.semanticSidecars?.patchHints,
+        semanticImportUniversalAstLayerSummary(summary).total,
+        semanticImportProofSpecSummary(summary).total,
+        semanticImportParadigmSemanticsSummary(summary).total
+    ].reduce((sum, value) => sum + nonNegativeNumber(value), 0);
+}
+export function semanticImportEnabled(input) {
+    if (input === true)
+        return true;
+    if (!input)
+        return false;
+    return input.enabled !== false;
+}
+//# sourceMappingURL=semantic-import-quality.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-import-quality.js","sourceRoot":"","sources":["../src/semantic-import-quality.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC/D,OAAO,EAAE,sCAAsC,EAAE,MAAM,6BAA6B,CAAC;AACrF,OAAO,EAAE,sCAAsC,EAAE,MAAM,+BAA+B,CAAC;AACvF,OAAO,EAAE,8BAA8B,EAAE,MAAM,4BAA4B,CAAC;AAG5E,MAAM,UAAU,mCAAmC,CACjD,OAA+J,EAC/J,QAAQ,GAAG,KAAK;IAEhB,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,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,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,SAAS,GAAG,wBAAwB,CAAC,OAAO,CAAC,CAAC;IACpD,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC;IAC1B,MAAM,KAAK,GAAG,OAAO,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,QAAQ,KAAK,CAAC,IAAI,QAAQ,KAAK,CAAC,IAAI,QAAQ,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,CAAC,CAAC;IAC1I,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,QAAQ,IAAI,CAAC,OAAO;QAAE,QAAQ,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;IAChF,IAAI,QAAQ,IAAI,KAAK;QAAE,QAAQ,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;IAC3E,IAAI,OAAO,IAAI,QAAQ,KAAK,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IAClF,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,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,OAAO;QACL,QAAQ;QACR,OAAO;QACP,KAAK;QACL,QAAQ;QACR,QAAQ;QACR,QAAQ;QACR,OAAO;QACP,gBAAgB;QAChB,UAAU;QACV,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,QAAQ,EAAE,aAAa,CAAC,QAAQ,CAAC;KAClC,CAAC;AACJ,CAAC;AAGD,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;AAGD,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;AAGD,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;AAGD,SAAS,6BAA6B,CAAC,OAA+D;IACpG,IAAI,CAAC,OAAO;QAAE,OAAO,CAAC,CAAC;IACvB,OAAO;QACL,OAAO,CAAC,KAAK;QACb,OAAO,CAAC,QAAQ;QAChB,OAAO,CAAC,QAAQ;QAChB,OAAO,CAAC,qBAAqB;QAC7B,OAAO,CAAC,aAAa,EAAE,OAAO;QAC9B,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;KACtD,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,GAAG,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;AAC9D,CAAC;AAGD,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-select.d.ts

@@ -0,0 +1,36 @@
+import { type FrontierSwarmJob } from '@shapeshift-labs/frontier-swarm';
+import type { FrontierCodexSemanticImportOptions } from './index.js';
+export type SemanticImportSelectedPath = {
+    path: string;
+    language: string;
+};
+export type SemanticImportSelection = {
+    selected: SemanticImportSelectedPath[];
+    candidateCount: number;
+    eligibleCount: number;
+    omittedCount: number;
+    ignoredCount: number;
+    includeFilteredCount: number;
+    excludeFilteredCount: number;
+    unsupportedLanguageCount: number;
+    maxFiles: number;
+};
+export type FrontierLangSemanticImportApi = {
+    ok: true;
+    importNativeSource(input: Record<string, unknown>): any;
+    createSemanticMergeCandidateFromImport(input: Record<string, unknown>): any;
+    createSemanticImportSidecar?(importResult: unknown, options?: Record<string, unknown>): any;
+    projectNativeImportToSource?(importResult: unknown, options?: Record<string, unknown>): any;
+    compileNativeSource?(importResult: unknown, options?: Record<string, unknown>): any;
+    hashUniversalAstEnvelope?(input: unknown): string;
+} | {
+    ok: false;
+    error: string;
+};
+export declare function normalizeSemanticImportOptions(input: boolean | FrontierCodexSemanticImportOptions | undefined): Required<Pick<FrontierCodexSemanticImportOptions, 'maxFiles' | 'maxBytes'>> & FrontierCodexSemanticImportOptions | undefined;
+export declare function selectSemanticImportPaths(changedPaths: readonly string[], options: Required<Pick<FrontierCodexSemanticImportOptions, 'maxFiles' | 'maxBytes'>> & FrontierCodexSemanticImportOptions): SemanticImportSelection;
+export declare function matchesSemanticImportGlob(file: string, glob: string): boolean;
+export declare function semanticImportCandidatePaths(job: FrontierSwarmJob, changedPaths: readonly string[]): string[];
+export declare function inferSemanticImportLanguage(file: string, overrides?: Readonly<Record<string, string>>): string | undefined;
+export declare function loadFrontierLangForSemanticImport(): Promise<FrontierLangSemanticImportApi>;
+//# sourceMappingURL=semantic-import-select.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-import-select.d.ts","sourceRoot":"","sources":["../src/semantic-import-select.ts"],"names":[],"mappings":"AACA,OAAO,EAAe,KAAK,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACrF,OAAO,KAAK,EAAE,kCAAkC,EAAE,MAAM,YAAY,CAAC;AAKrE,MAAM,MAAM,0BAA0B,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC;AAG5E,MAAM,MAAM,uBAAuB,GAAG;IACpC,QAAQ,EAAE,0BAA0B,EAAE,CAAC;IACvC,cAAc,EAAE,MAAM,CAAC;IACvB,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,EAAE,MAAM,CAAC;IACrB,YAAY,EAAE,MAAM,CAAC;IACrB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,oBAAoB,EAAE,MAAM,CAAC;IAC7B,wBAAwB,EAAE,MAAM,CAAC;IACjC,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC;AAIF,MAAM,MAAM,6BAA6B,GAAG;IAC1C,EAAE,EAAE,IAAI,CAAC;IACT,kBAAkB,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,GAAG,CAAC;IACxD,sCAAsC,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,GAAG,CAAC;IAC5E,2BAA2B,CAAC,CAAC,YAAY,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,GAAG,CAAC;IAC5F,2BAA2B,CAAC,CAAC,YAAY,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,GAAG,CAAC;IAC5F,mBAAmB,CAAC,CAAC,YAAY,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,GAAG,CAAC;IACpF,wBAAwB,CAAC,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAAC;CACnD,GAAG;IACF,EAAE,EAAE,KAAK,CAAC;IACV,KAAK,EAAE,MAAM,CAAC;CACf,CAAC;AAIF,wBAAgB,8BAA8B,CAAC,KAAK,EAAE,OAAO,GAAG,kCAAkC,GAAG,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,kCAAkC,EAAE,UAAU,GAAG,UAAU,CAAC,CAAC,GAAG,kCAAkC,GAAG,SAAS,CAU5O;AAID,wBAAgB,yBAAyB,CACvC,YAAY,EAAE,SAAS,MAAM,EAAE,EAC/B,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,kCAAkC,EAAE,UAAU,GAAG,UAAU,CAAC,CAAC,GAAG,kCAAkC,GACxH,uBAAuB,CAwCzB;AAID,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAI7E;AAID,wBAAgB,4BAA4B,CAAC,GAAG,EAAE,gBAAgB,EAAE,YAAY,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,EAAE,CAQ7G;AAID,wBAAgB,2BAA2B,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,MAAM,GAAG,SAAS,CA6B1H;AAID,wBAAsB,iCAAiC,IAAI,OAAO,CAAC,6BAA6B,CAAC,CAmBhG"}

package/dist/semantic-import-select.js

@@ -0,0 +1,132 @@
+var __rewriteRelativeImportExtension = (this && this.__rewriteRelativeImportExtension) || function (path, preserveJsx) {
+    if (typeof path === "string" && /^\.\.?\//.test(path)) {
+        return path.replace(/\.(tsx)$|((?:\.d)?)((?:\.[^./]+?)?)\.([cm]?)ts$/i, function (m, tsx, d, ext, cm) {
+            return tsx ? preserveJsx ? ".jsx" : ".js" : d && (!ext || !cm) ? m : (d + ext + "." + cm.toLowerCase() + "js");
+        });
+    }
+    return path;
+};
+import path from 'node:path';
+import { matchesGlob } from '@shapeshift-labs/frontier-swarm';
+import { normalizeWorkspacePath, pathHasIgnoredSegment, uniqueWorkspacePaths } from './common.js';
+export function normalizeSemanticImportOptions(input) {
+    if (input === false || input === undefined)
+        return undefined;
+    const options = input === true ? {} : input;
+    if (options.enabled === false)
+        return undefined;
+    return {
+        ...options,
+        enabled: true,
+        maxFiles: Math.max(0, Math.floor(options.maxFiles ?? 24)),
+        maxBytes: Math.max(0, Math.floor(options.maxBytes ?? 512 * 1024))
+    };
+}
+export function selectSemanticImportPaths(changedPaths, options) {
+    const eligible = [];
+    let candidateCount = 0;
+    let ignoredCount = 0;
+    let includeFilteredCount = 0;
+    let excludeFilteredCount = 0;
+    let unsupportedLanguageCount = 0;
+    for (const file of uniqueWorkspacePaths(changedPaths)) {
+        candidateCount += 1;
+        if (pathHasIgnoredSegment(file, ['node_modules', 'dist', 'coverage', 'agent-runs', '.frontier-framework'])) {
+            ignoredCount += 1;
+            continue;
+        }
+        if (options.include?.length && !options.include.some((glob) => matchesSemanticImportGlob(file, glob))) {
+            includeFilteredCount += 1;
+            continue;
+        }
+        if (options.exclude?.some((glob) => matchesSemanticImportGlob(file, glob))) {
+            excludeFilteredCount += 1;
+            continue;
+        }
+        const language = inferSemanticImportLanguage(file, options.languages);
+        if (!language) {
+            unsupportedLanguageCount += 1;
+            continue;
+        }
+        eligible.push({ path: file, language });
+    }
+    const maxFiles = Math.max(0, options.maxFiles);
+    return {
+        selected: eligible.slice(0, maxFiles),
+        candidateCount,
+        eligibleCount: eligible.length,
+        omittedCount: Math.max(0, eligible.length - maxFiles),
+        ignoredCount,
+        includeFilteredCount,
+        excludeFilteredCount,
+        unsupportedLanguageCount,
+        maxFiles
+    };
+}
+export function matchesSemanticImportGlob(file, glob) {
+    if (matchesGlob(file, glob))
+        return true;
+    const zeroDepthGlob = glob.replace(/\/\*\*\//g, '/');
+    return zeroDepthGlob !== glob && matchesGlob(file, zeroDepthGlob);
+}
+export function semanticImportCandidatePaths(job, changedPaths) {
+    const concreteRefs = job.task.sourceRefs.concat(job.task.targetRefs).filter((file) => {
+        const normalized = normalizeWorkspacePath(file);
+        return normalized
+            && !normalized.includes('*')
+            && path.extname(normalized).length > 0;
+    });
+    return uniqueWorkspacePaths([...changedPaths, ...concreteRefs]);
+}
+export function inferSemanticImportLanguage(file, overrides) {
+    const ext = path.extname(file).toLowerCase();
+    return overrides?.[file] ?? overrides?.[ext] ?? {
+        '.ts': 'typescript',
+        '.tsx': 'typescript',
+        '.js': 'javascript',
+        '.jsx': 'javascript',
+        '.mjs': 'javascript',
+        '.cjs': 'javascript',
+        '.rs': 'rust',
+        '.py': 'python',
+        '.c': 'c',
+        '.h': 'c',
+        '.cc': 'cpp',
+        '.cpp': 'cpp',
+        '.hpp': 'cpp',
+        '.hh': 'cpp',
+        '.go': 'go',
+        '.java': 'java',
+        '.kt': 'kotlin',
+        '.kts': 'kotlin',
+        '.swift': 'swift',
+        '.cs': 'csharp',
+        '.wasm': 'wasm',
+        '.wat': 'wasm',
+        '.php': 'php',
+        '.rb': 'ruby',
+        '.rake': 'ruby'
+    }[ext];
+}
+export async function loadFrontierLangForSemanticImport() {
+    try {
+        const packageName = '@shapeshift-labs/frontier-lang';
+        const api = await import(__rewriteRelativeImportExtension(packageName));
+        if (typeof api.importNativeSource !== 'function' || typeof api.createSemanticMergeCandidateFromImport !== 'function') {
+            return { ok: false, error: 'frontier-lang missing importNativeSource/createSemanticMergeCandidateFromImport exports' };
+        }
+        return {
+            ok: true,
+            importNativeSource: api.importNativeSource,
+            createSemanticMergeCandidateFromImport: api.createSemanticMergeCandidateFromImport,
+            ...(typeof api.createSemanticImportSidecar === 'function' ? { createSemanticImportSidecar: api.createSemanticImportSidecar } : {}),
+            ...(typeof api.projectNativeImportToSource === 'function' ? { projectNativeImportToSource: api.projectNativeImportToSource } : {}),
+            ...(typeof api.compileNativeSource === 'function' ? { compileNativeSource: api.compileNativeSource } : {}),
+            ...(typeof api.hashUniversalAstEnvelope === 'function' ? { hashUniversalAstEnvelope: api.hashUniversalAstEnvelope } : {})
+        };
+    }
+    catch (error) {
+        return { ok: false, error: error instanceof Error ? error.message : String(error) };
+    }
+}
+//# sourceMappingURL=semantic-import-select.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-import-select.js","sourceRoot":"","sources":["../src/semantic-import-select.ts"],"names":[],"mappings":";;;;;;;;AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,WAAW,EAAyB,MAAM,iCAAiC,CAAC;AAErF,OAAO,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AAoClG,MAAM,UAAU,8BAA8B,CAAC,KAA+D;IAC5G,IAAI,KAAK,KAAK,KAAK,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7D,MAAM,OAAO,GAAG,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;IAC5C,IAAI,OAAO,CAAC,OAAO,KAAK,KAAK;QAAE,OAAO,SAAS,CAAC;IAChD,OAAO;QACL,GAAG,OAAO;QACV,OAAO,EAAE,IAAI;QACb,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;QACzD,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,IAAI,GAAG,GAAG,IAAI,CAAC,CAAC;KAClE,CAAC;AACJ,CAAC;AAID,MAAM,UAAU,yBAAyB,CACvC,YAA+B,EAC/B,OAAyH;IAEzH,MAAM,QAAQ,GAAiC,EAAE,CAAC;IAClD,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,oBAAoB,GAAG,CAAC,CAAC;IAC7B,IAAI,oBAAoB,GAAG,CAAC,CAAC;IAC7B,IAAI,wBAAwB,GAAG,CAAC,CAAC;IACjC,KAAK,MAAM,IAAI,IAAI,oBAAoB,CAAC,YAAY,CAAC,EAAE,CAAC;QACtD,cAAc,IAAI,CAAC,CAAC;QACpB,IAAI,qBAAqB,CAAC,IAAI,EAAE,CAAC,cAAc,EAAE,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,qBAAqB,CAAC,CAAC,EAAE,CAAC;YAC3G,YAAY,IAAI,CAAC,CAAC;YAClB,SAAS;QACX,CAAC;QACD,IAAI,OAAO,CAAC,OAAO,EAAE,MAAM,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,yBAAyB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;YACtG,oBAAoB,IAAI,CAAC,CAAC;YAC1B,SAAS;QACX,CAAC;QACD,IAAI,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,yBAAyB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;YAC3E,oBAAoB,IAAI,CAAC,CAAC;YAC1B,SAAS;QACX,CAAC;QACD,MAAM,QAAQ,GAAG,2BAA2B,CAAC,IAAI,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;QACtE,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,wBAAwB,IAAI,CAAC,CAAC;YAC9B,SAAS;QACX,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC1C,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC/C,OAAO;QACL,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC;QACrC,cAAc;QACd,aAAa,EAAE,QAAQ,CAAC,MAAM;QAC9B,YAAY,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,GAAG,QAAQ,CAAC;QACrD,YAAY;QACZ,oBAAoB;QACpB,oBAAoB;QACpB,wBAAwB;QACxB,QAAQ;KACT,CAAC;AACJ,CAAC;AAID,MAAM,UAAU,yBAAyB,CAAC,IAAY,EAAE,IAAY;IAClE,IAAI,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACzC,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;IACrD,OAAO,aAAa,KAAK,IAAI,IAAI,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;AACpE,CAAC;AAID,MAAM,UAAU,4BAA4B,CAAC,GAAqB,EAAE,YAA+B;IACjG,MAAM,YAAY,GAAG,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE;QACnF,MAAM,UAAU,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;QAChD,OAAO,UAAU;eACZ,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC;eACzB,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IACH,OAAO,oBAAoB,CAAC,CAAC,GAAG,YAAY,EAAE,GAAG,YAAY,CAAC,CAAC,CAAC;AAClE,CAAC;AAID,MAAM,UAAU,2BAA2B,CAAC,IAAY,EAAE,SAA4C;IACpG,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;IAC7C,OAAO,SAAS,EAAE,CAAC,IAAI,CAAC,IAAI,SAAS,EAAE,CAAC,GAAG,CAAC,IAAK;QAC/C,KAAK,EAAE,YAAY;QACnB,MAAM,EAAE,YAAY;QACpB,KAAK,EAAE,YAAY;QACnB,MAAM,EAAE,YAAY;QACpB,MAAM,EAAE,YAAY;QACpB,MAAM,EAAE,YAAY;QACpB,KAAK,EAAE,MAAM;QACb,KAAK,EAAE,QAAQ;QACf,IAAI,EAAE,GAAG;QACT,IAAI,EAAE,GAAG;QACT,KAAK,EAAE,KAAK;QACZ,MAAM,EAAE,KAAK;QACb,MAAM,EAAE,KAAK;QACb,KAAK,EAAE,KAAK;QACZ,KAAK,EAAE,IAAI;QACX,OAAO,EAAE,MAAM;QACf,KAAK,EAAE,QAAQ;QACf,MAAM,EAAE,QAAQ;QAChB,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,QAAQ;QACf,OAAO,EAAE,MAAM;QACf,MAAM,EAAE,MAAM;QACd,MAAM,EAAE,KAAK;QACb,KAAK,EAAE,MAAM;QACb,OAAO,EAAE,MAAM;KACuB,CAAC,GAAG,CAAC,CAAC;AAChD,CAAC;AAID,MAAM,CAAC,KAAK,UAAU,iCAAiC;IACrD,IAAI,CAAC;QACH,MAAM,WAAW,GAAG,gCAAgC,CAAC;QACrD,MAAM,GAAG,GAAG,MAAM,MAAM,kCAAC,WAAW,EAAQ,CAAC;QAC7C,IAAI,OAAO,GAAG,CAAC,kBAAkB,KAAK,UAAU,IAAI,OAAO,GAAG,CAAC,sCAAsC,KAAK,UAAU,EAAE,CAAC;YACrH,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,yFAAyF,EAAE,CAAC;QACzH,CAAC;QACD,OAAO;YACL,EAAE,EAAE,IAAI;YACR,kBAAkB,EAAE,GAAG,CAAC,kBAAkB;YAC1C,sCAAsC,EAAE,GAAG,CAAC,sCAAsC;YAClF,GAAG,CAAC,OAAO,GAAG,CAAC,2BAA2B,KAAK,UAAU,CAAC,CAAC,CAAC,EAAE,2BAA2B,EAAE,GAAG,CAAC,2BAA2B,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAClI,GAAG,CAAC,OAAO,GAAG,CAAC,2BAA2B,KAAK,UAAU,CAAC,CAAC,CAAC,EAAE,2BAA2B,EAAE,GAAG,CAAC,2BAA2B,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAClI,GAAG,CAAC,OAAO,GAAG,CAAC,mBAAmB,KAAK,UAAU,CAAC,CAAC,CAAC,EAAE,mBAAmB,EAAE,GAAG,CAAC,mBAAmB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1G,GAAG,CAAC,OAAO,GAAG,CAAC,wBAAwB,KAAK,UAAU,CAAC,CAAC,CAAC,EAAE,wBAAwB,EAAE,GAAG,CAAC,wBAAwB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC1H,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IACtF,CAAC;AACH,CAAC"}

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

@@ -0,0 +1,7 @@
+import { type FrontierSwarmJob } from '@shapeshift-labs/frontier-swarm';
+import type { FrontierCodexSemanticImportRecord, FrontierCodexSemanticImportSidecar } from './index.js';
+import type { SemanticImportSelection } from './semantic-import-select.js';
+export declare function createSemanticImportSidecar(job: FrontierSwarmJob, records: FrontierCodexSemanticImportRecord[], selection?: SemanticImportSelection): FrontierCodexSemanticImportSidecar;
+export declare function summarizeSemanticIndex(value: any): FrontierCodexSemanticImportRecord['semanticIndex'];
+export declare function summarizeLangSemanticImportSidecar(value: any): unknown;
+//# sourceMappingURL=semantic-import-sidecar.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-import-sidecar.d.ts","sourceRoot":"","sources":["../src/semantic-import-sidecar.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AAExE,OAAO,KAAK,EAAE,iCAAiC,EAAE,kCAAkC,EAAE,MAAM,YAAY,CAAC;AACxG,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AAO3E,wBAAgB,2BAA2B,CACzC,GAAG,EAAE,gBAAgB,EACrB,OAAO,EAAE,iCAAiC,EAAE,EAC5C,SAAS,CAAC,EAAE,uBAAuB,GAClC,kCAAkC,CAuGpC;AAID,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,GAAG,GAAG,iCAAiC,CAAC,eAAe,CAAC,CASrG;AAID,wBAAgB,kCAAkC,CAAC,KAAK,EAAE,GAAG,GAAG,OAAO,CAgCtE"}