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

package/dist/score.js

@@ -0,0 +1,219 @@
+import fs from 'node:fs/promises';
+import os from 'node:os';
+import path from 'node:path';
+import { matchesGlob } from '@shapeshift-labs/frontier-swarm';
+import { FRONTIER_SWARM_CODEX_PATCH_SCORE_KIND, FRONTIER_SWARM_CODEX_PATCH_SCORE_VERSION } from './constants.js';
+import { copyWorkspacePath, findFilesByName, pathExists, pathHasIgnoredSegment, resolveBundlePatchPath, runLoggedProcess, slug, uniqueStrings, uniqueWorkspacePaths } from './common.js';
+import { collectCodexSwarmRun } from './collect.js';
+import { summarizePatchScoreSemanticEvidence } from './patch-score-semantic.js';
+export async function scoreCodexSwarmPatches(input) {
+    const generatedAt = Date.now();
+    const cwd = path.resolve(input.cwd ?? process.cwd());
+    if (!input.collection && !input.run)
+        throw new Error('score requires --collection <dir> or --run <run-dir>');
+    const collectionDir = input.collection
+        ? path.resolve(cwd, input.collection)
+        : (await collectCodexSwarmRun({ run: String(input.run ?? ''), cwd, outDir: input.outDir })).outDir;
+    const outDir = path.resolve(cwd, input.outDir ?? path.join(collectionDir, 'patch-scores'));
+    const bucket = input.bucket ?? 'all';
+    const roots = bucket === 'all'
+        ? collectBuckets().map((entry) => path.join(collectionDir, entry))
+        : [path.join(collectionDir, bucket)];
+    const wanted = new Set(input.jobIds ?? []);
+    const mergePaths = await scoreMergePaths(collectionDir, roots, bucket);
+    const entries = [];
+    for (const mergePath of mergePaths.slice(0, input.limit ? Math.max(0, Math.floor(input.limit)) : undefined)) {
+        const bundle = JSON.parse(await fs.readFile(mergePath, 'utf8'));
+        if (wanted.size && !wanted.has(bundle.jobId))
+            continue;
+        entries.push(await scoreCodexMergeBundle({ cwd, mergePath, bundle, outDir, input }));
+    }
+    const statuses = ['accepted-clean', 'accepted-needs-port', 'conflict', 'test-fail', 'stale', 'evidence-only'];
+    const summary = Object.fromEntries(statuses.map((status) => [status, entries.filter((entry) => entry.status === status).length]));
+    const result = {
+        kind: FRONTIER_SWARM_CODEX_PATCH_SCORE_KIND,
+        version: FRONTIER_SWARM_CODEX_PATCH_SCORE_VERSION,
+        ok: entries.every((entry) => entry.status === 'accepted-clean' || entry.status === 'accepted-needs-port' || entry.status === 'evidence-only'),
+        cwd,
+        collectionDir,
+        outDir,
+        generatedAt,
+        entries: entries.sort((left, right) => right.score - left.score || left.jobId.localeCompare(right.jobId)),
+        summary: { ...summary, total: entries.length }
+    };
+    await fs.mkdir(outDir, { recursive: true });
+    await fs.writeFile(path.join(outDir, 'patch-score.json'), JSON.stringify(result, null, 2) + '\n');
+    return result;
+}
+async function scoreMergePaths(collectionDir, roots, bucket) {
+    const paths = new Set();
+    for (const mergePath of (await Promise.all(roots.map((root) => findFilesByName(root, 'merge.json')))).flat()) {
+        paths.add(mergePath);
+    }
+    const indexed = await readCollectionMergePaths(collectionDir, bucket ?? 'all');
+    for (const mergePath of indexed)
+        paths.add(mergePath);
+    return Array.from(paths).sort();
+}
+async function readCollectionMergePaths(collectionDir, bucket) {
+    const file = path.join(collectionDir, 'collection.json');
+    const parsed = await fs.readFile(file, 'utf8')
+        .then((text) => JSON.parse(text))
+        .catch(() => undefined);
+    if (!parsed?.buckets)
+        return [];
+    const buckets = bucket === 'all' ? collectBuckets() : [bucket];
+    const out = [];
+    for (const name of buckets) {
+        for (const entry of parsed.buckets[name] ?? []) {
+            const mergePath = path.isAbsolute(entry.mergePath) ? entry.mergePath : path.resolve(collectionDir, entry.mergePath);
+            if (await pathExists(mergePath))
+                out.push(mergePath);
+            else {
+                const fallback = path.join(path.isAbsolute(entry.outputDir) ? entry.outputDir : path.resolve(collectionDir, entry.outputDir), 'merge.json');
+                if (await pathExists(fallback))
+                    out.push(fallback);
+            }
+        }
+    }
+    return out;
+}
+function collectBuckets() {
+    return ['ready-to-apply', 'needs-human-port', 'failed-evidence', 'stale-against-head'];
+}
+async function scoreCodexMergeBundle(input) {
+    const commands = [];
+    const patchPath = await resolveApplyPatchPath(input.bundle, input.mergePath);
+    const semanticEvidence = summarizePatchScoreSemanticEvidence(input.bundle);
+    const base = {
+        jobId: input.bundle.jobId,
+        bundlePath: input.mergePath,
+        ...(patchPath ? { patchPath } : {}),
+        changedPaths: [...input.bundle.changedPaths],
+        semanticEvidence,
+        commands
+    };
+    if (!patchPath || input.bundle.disposition === 'discovery-only' || input.bundle.changedPaths.length === 0) {
+        return {
+            ...base,
+            status: 'evidence-only',
+            score: clampPatchScore(20 + Math.min(0, semanticEvidence.scoreAdjustment)),
+            reasons: uniqueStrings(['no patch to apply', ...semanticEvidence.reasons])
+        };
+    }
+    if (input.bundle.staleAgainstHead || input.bundle.disposition === 'stale-against-head') {
+        return { ...base, status: 'stale', score: 0, reasons: uniqueStrings(['stale-against-head', ...semanticEvidence.reasons]) };
+    }
+    const workspacePath = await createScoreWorkspace(input.cwd, input.bundle.jobId, input.input);
+    try {
+        const check = await runLoggedProcess('git', ['apply', '--check', patchPath], workspacePath);
+        commands.push(check);
+        if (check.status !== 0) {
+            return { ...base, workspacePath, status: 'conflict', score: 0, reasons: uniqueStrings(['git apply --check failed', ...semanticEvidence.reasons]) };
+        }
+        const apply = await runLoggedProcess('git', ['apply', patchPath], workspacePath);
+        commands.push(apply);
+        if (apply.status !== 0)
+            return { ...base, workspacePath, status: 'conflict', score: 0, reasons: uniqueStrings(['git apply failed', ...semanticEvidence.reasons]) };
+        const gates = scoreCommands(input.bundle, input.input);
+        for (const gate of gates) {
+            const run = await runLoggedProcess(gate.command, gate.args, gate.cwd ? path.resolve(workspacePath, gate.cwd) : workspacePath);
+            commands.push(run);
+            if (run.status !== 0 && gate.required !== false) {
+                return {
+                    ...base,
+                    workspacePath,
+                    status: 'test-fail',
+                    score: clampPatchScore(10 + Math.min(0, semanticEvidence.scoreAdjustment)),
+                    reasons: uniqueStrings([`gate failed: ${gate.name}`, ...semanticEvidence.reasons])
+                };
+            }
+        }
+        const clean = input.bundle.disposition === 'auto-mergeable' && input.bundle.autoMergeable && semanticEvidence.cleanEligible;
+        const reasons = uniqueStrings([
+            ...(input.bundle.disposition === 'auto-mergeable' && input.bundle.autoMergeable ? [] : ['patch applies but bundle is not auto-mergeable']),
+            ...semanticEvidence.reasons
+        ]);
+        return {
+            ...base,
+            workspacePath,
+            status: clean ? 'accepted-clean' : 'accepted-needs-port',
+            score: clampPatchScore((clean ? 100 : 70) + semanticEvidence.scoreAdjustment),
+            reasons
+        };
+    }
+    finally {
+        if (!input.input.keepWorkspaces)
+            await fs.rm(workspacePath, { recursive: true, force: true }).catch(() => { });
+    }
+}
+function clampPatchScore(score) {
+    if (!Number.isFinite(score))
+        return 0;
+    return Math.max(0, Math.min(100, Math.round(score)));
+}
+async function createScoreWorkspace(cwd, jobId, input) {
+    const workspacePath = await fs.mkdtemp(path.join(os.tmpdir(), `frontier-swarm-score-${slug(jobId)}-`));
+    const excludes = uniqueWorkspacePaths([
+        '.git',
+        'node_modules',
+        'dist',
+        'coverage',
+        'agent-runs',
+        '.frontier-framework',
+        ...(input.workspaceExcludes ?? [])
+    ]);
+    const includes = uniqueWorkspacePaths(input.workspaceIncludes ?? []);
+    if (includes.length) {
+        for (const include of includes)
+            await copyWorkspacePath(cwd, workspacePath, include, excludes);
+    }
+    else {
+        await fs.cp(cwd, workspacePath, {
+            recursive: true,
+            force: true,
+            filter: (source) => {
+                if (source === cwd)
+                    return true;
+                const relative = path.relative(cwd, source).replace(/\\/g, '/');
+                if (!relative)
+                    return true;
+                if (pathHasIgnoredSegment(relative, excludes))
+                    return false;
+                return !excludes.some((entry) => relative === entry || relative.startsWith(entry.replace(/\/$/, '') + '/'));
+            }
+        });
+    }
+    return workspacePath;
+}
+function scoreCommands(bundle, input) {
+    const focused = normalizeScoreCommands(input.focusedCommands ?? []);
+    const global = bundle.changedPaths.some((file) => (input.globalGlobs ?? []).some((glob) => matchesGlob(file, glob)))
+        ? normalizeScoreCommands(input.globalCommands ?? [])
+        : [];
+    return [...focused, ...global];
+}
+function normalizeScoreCommands(input) {
+    return input.map((entry) => {
+        if (typeof entry === 'string')
+            return { name: entry, command: 'sh', args: ['-c', entry], required: true };
+        return {
+            name: entry.name,
+            command: entry.command,
+            args: [...entry.args],
+            required: entry.required,
+            ...(entry.cwd ? { cwd: entry.cwd } : {}),
+            ...(entry.metadata ? { metadata: entry.metadata } : {})
+        };
+    }).filter((entry) => entry.command.length > 0);
+}
+async function resolveApplyPatchPath(bundle, mergePath) {
+    const sibling = path.join(path.dirname(mergePath), 'changes.patch');
+    if (await pathExists(sibling))
+        return sibling;
+    const patchPath = resolveBundlePatchPath(bundle, mergePath);
+    if (patchPath && await pathExists(patchPath))
+        return patchPath;
+    return undefined;
+}
+//# sourceMappingURL=score.js.map

package/dist/score.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"score.js","sourceRoot":"","sources":["../src/score.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAClC,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,WAAW,EAA4D,MAAM,iCAAiC,CAAC;AACxH,OAAO,EAAE,qCAAqC,EAAE,wCAAwC,EAAE,MAAM,gBAAgB,CAAC;AAEjH,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,UAAU,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,IAAI,EAAE,aAAa,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AACzL,OAAO,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC;AACpD,OAAO,EAAE,mCAAmC,EAAE,MAAM,2BAA2B,CAAC;AAGhF,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAAC,KAAmC;IAC9E,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;IACrD,IAAI,CAAC,KAAK,CAAC,UAAU,IAAI,CAAC,KAAK,CAAC,GAAG;QAAE,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAC7G,MAAM,aAAa,GAAG,KAAK,CAAC,UAAU;QACpC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,UAAU,CAAC;QACrC,CAAC,CAAC,CAAC,MAAM,oBAAoB,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;IACrG,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,cAAc,CAAC,CAAC,CAAC;IAC3F,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC;IACrC,MAAM,KAAK,GAAG,MAAM,KAAK,KAAK;QAC5B,CAAC,CAAC,cAAc,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC;QAClE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;IAC3C,MAAM,UAAU,GAAG,MAAM,eAAe,CAAC,aAAa,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IACvE,MAAM,OAAO,GAAmC,EAAE,CAAC;IACnD,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC;QAC5G,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,CAA6B,CAAC;QAC5F,IAAI,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC;YAAE,SAAS;QACvD,OAAO,CAAC,IAAI,CAAC,MAAM,qBAAqB,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IACvF,CAAC;IACD,MAAM,QAAQ,GAAoC,CAAC,gBAAgB,EAAE,qBAAqB,EAAE,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE,eAAe,CAAC,CAAC;IAC/I,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAkD,CAAC;IACnL,MAAM,MAAM,GAAkC;QAC5C,IAAI,EAAE,qCAAqC;QAC3C,OAAO,EAAE,wCAAwC;QACjD,EAAE,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,gBAAgB,IAAI,KAAK,CAAC,MAAM,KAAK,qBAAqB,IAAI,KAAK,CAAC,MAAM,KAAK,eAAe,CAAC;QAC7I,GAAG;QACH,aAAa;QACb,MAAM;QACN,WAAW;QACX,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACzG,OAAO,EAAE,EAAE,GAAG,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE;KAC/C,CAAC;IACF,MAAM,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5C,MAAM,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,kBAAkB,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;IAClG,OAAO,MAAM,CAAC;AAChB,CAAC;AAGD,KAAK,UAAU,eAAe,CAAC,aAAqB,EAAE,KAAe,EAAE,MAA8C;IACnH,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,SAAS,IAAI,CAAC,MAAM,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC7G,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACvB,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,wBAAwB,CAAC,aAAa,EAAE,MAAM,IAAI,KAAK,CAAC,CAAC;IAC/E,KAAK,MAAM,SAAS,IAAI,OAAO;QAAE,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACtD,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;AAClC,CAAC;AAGD,KAAK,UAAU,wBAAwB,CAAC,aAAqB,EAAE,MAA0C;IACvG,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,iBAAiB,CAAC,CAAC;IACzD,MAAM,MAAM,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;SAC3C,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAA+B,CAAC;SAC9D,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IAC1B,IAAI,CAAC,MAAM,EAAE,OAAO;QAAE,OAAO,EAAE,CAAC;IAChC,MAAM,OAAO,GAAG,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAC/D,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QAC3B,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YAC/C,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;YACpH,IAAI,MAAM,UAAU,CAAC,SAAS,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;iBAChD,CAAC;gBACJ,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,KAAK,CAAC,SAAS,CAAC,EAAE,YAAY,CAAC,CAAC;gBAC5I,IAAI,MAAM,UAAU,CAAC,QAAQ,CAAC;oBAAE,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACrD,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAGD,SAAS,cAAc;IACrB,OAAO,CAAC,gBAAgB,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,oBAAoB,CAAC,CAAC;AACzF,CAAC;AAGD,KAAK,UAAU,qBAAqB,CAAC,KAMpC;IACC,MAAM,QAAQ,GAA6C,EAAE,CAAC;IAC9D,MAAM,SAAS,GAAG,MAAM,qBAAqB,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IAC7E,MAAM,gBAAgB,GAAG,mCAAmC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC3E,MAAM,IAAI,GAAG;QACX,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK;QACzB,UAAU,EAAE,KAAK,CAAC,SAAS;QAC3B,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnC,YAAY,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,YAAY,CAAC;QAC5C,gBAAgB;QAChB,QAAQ;KACT,CAAC;IACF,IAAI,CAAC,SAAS,IAAI,KAAK,CAAC,MAAM,CAAC,WAAW,KAAK,gBAAgB,IAAI,KAAK,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1G,OAAO;YACL,GAAG,IAAI;YACP,MAAM,EAAE,eAAe;YACvB,KAAK,EAAE,eAAe,CAAC,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,gBAAgB,CAAC,eAAe,CAAC,CAAC;YAC1E,OAAO,EAAE,aAAa,CAAC,CAAC,mBAAmB,EAAE,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;SAC3E,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,CAAC,gBAAgB,IAAI,KAAK,CAAC,MAAM,CAAC,WAAW,KAAK,oBAAoB,EAAE,CAAC;QACvF,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC,oBAAoB,EAAE,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;IAC7H,CAAC;IACD,MAAM,aAAa,GAAG,MAAM,oBAAoB,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC7F,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,gBAAgB,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,EAAE,aAAa,CAAC,CAAC;QAC5F,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,OAAO,EAAE,GAAG,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC,0BAA0B,EAAE,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QACrJ,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,gBAAgB,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,aAAa,CAAC,CAAC;QACjF,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,GAAG,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC,kBAAkB,EAAE,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QACnK,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACvD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,GAAG,GAAG,MAAM,gBAAgB,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;YAC9H,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACnB,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;gBAChD,OAAO;oBACL,GAAG,IAAI;oBACP,aAAa;oBACb,MAAM,EAAE,WAAW;oBACnB,KAAK,EAAE,eAAe,CAAC,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,gBAAgB,CAAC,eAAe,CAAC,CAAC;oBAC1E,OAAO,EAAE,aAAa,CAAC,CAAC,gBAAgB,IAAI,CAAC,IAAI,EAAE,EAAE,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;iBACnF,CAAC;YACJ,CAAC;QACH,CAAC;QACD,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,WAAW,KAAK,gBAAgB,IAAI,KAAK,CAAC,MAAM,CAAC,aAAa,IAAI,gBAAgB,CAAC,aAAa,CAAC;QAC5H,MAAM,OAAO,GAAG,aAAa,CAAC;YAC5B,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,KAAK,gBAAgB,IAAI,KAAK,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,gDAAgD,CAAC,CAAC;YAC1I,GAAG,gBAAgB,CAAC,OAAO;SAC5B,CAAC,CAAC;QACH,OAAO;YACL,GAAG,IAAI;YACP,aAAa;YACb,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,qBAAqB;YACxD,KAAK,EAAE,eAAe,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,gBAAgB,CAAC,eAAe,CAAC;YAC7E,OAAO;SACR,CAAC;IACJ,CAAC;YAAS,CAAC;QACT,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,cAAc;YAAE,MAAM,EAAE,CAAC,EAAE,CAAC,aAAa,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;IAChH,CAAC;AACH,CAAC;AAGD,SAAS,eAAe,CAAC,KAAa;IACpC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACtC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AACvD,CAAC;AAGD,KAAK,UAAU,oBAAoB,CAAC,GAAW,EAAE,KAAa,EAAE,KAAmC;IACjG,MAAM,aAAa,GAAG,MAAM,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,wBAAwB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IACvG,MAAM,QAAQ,GAAG,oBAAoB,CAAC;QACpC,MAAM;QACN,cAAc;QACd,MAAM;QACN,UAAU;QACV,YAAY;QACZ,qBAAqB;QACrB,GAAG,CAAC,KAAK,CAAC,iBAAiB,IAAI,EAAE,CAAC;KACnC,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,oBAAoB,CAAC,KAAK,CAAC,iBAAiB,IAAI,EAAE,CAAC,CAAC;IACrE,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpB,KAAK,MAAM,OAAO,IAAI,QAAQ;YAAE,MAAM,iBAAiB,CAAC,GAAG,EAAE,aAAa,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACjG,CAAC;SAAM,CAAC;QACN,MAAM,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,aAAa,EAAE;YAC9B,SAAS,EAAE,IAAI;YACf,KAAK,EAAE,IAAI;YACX,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE;gBACjB,IAAI,MAAM,KAAK,GAAG;oBAAE,OAAO,IAAI,CAAC;gBAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBAChE,IAAI,CAAC,QAAQ;oBAAE,OAAO,IAAI,CAAC;gBAC3B,IAAI,qBAAqB,CAAC,QAAQ,EAAE,QAAQ,CAAC;oBAAE,OAAO,KAAK,CAAC;gBAC5D,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,KAAK,KAAK,IAAI,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;YAC9G,CAAC;SACF,CAAC,CAAC;IACL,CAAC;IACD,OAAO,aAAa,CAAC;AACvB,CAAC;AAGD,SAAS,aAAa,CAAC,MAAgC,EAAE,KAAmC;IAC1F,MAAM,OAAO,GAAG,sBAAsB,CAAC,KAAK,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC;IACpE,MAAM,MAAM,GAAG,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAClH,CAAC,CAAC,sBAAsB,CAAC,KAAK,CAAC,cAAc,IAAI,EAAE,CAAC;QACpD,CAAC,CAAC,EAAE,CAAC;IACP,OAAO,CAAC,GAAG,OAAO,EAAE,GAAG,MAAM,CAAC,CAAC;AACjC,CAAC;AAGD,SAAS,sBAAsB,CAAC,KAAiD;IAC/E,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACzB,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;QAC1G,OAAO;YACL,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,IAAI,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC;YACrB,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACxC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACxD,CAAC;IACJ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AACjD,CAAC;AAGD,KAAK,UAAU,qBAAqB,CAAC,MAAgC,EAAE,SAAiB;IACtF,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,eAAe,CAAC,CAAC;IACpE,IAAI,MAAM,UAAU,CAAC,OAAO,CAAC;QAAE,OAAO,OAAO,CAAC;IAC9C,MAAM,SAAS,GAAG,sBAAsB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAC5D,IAAI,SAAS,IAAI,MAAM,UAAU,CAAC,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/D,OAAO,SAAS,CAAC;AACnB,CAAC"}

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

@@ -0,0 +1,9 @@
+import type { FrontierCodexSemanticImportRecord, FrontierCodexUniversalAstLayerSummary } from './index.js';
+export declare function semanticImportUniversalAstLayerSummary(summary: unknown): FrontierCodexUniversalAstLayerSummary;
+export declare function summarizeSemanticImportUniversalAstLayers(records: FrontierCodexSemanticImportRecord[]): FrontierCodexUniversalAstLayerSummary;
+export declare function summarizeUniversalAstLayers(universalAst: any, semanticSidecar: any): FrontierCodexUniversalAstLayerSummary;
+export declare function summarizeNativeSourceProjection(value: any): unknown;
+export declare function summarizeNativeSourceCompile(value: any): unknown;
+export declare function summarizeSemanticLosses(value: any): unknown;
+export declare function summarizeSemanticMergeCandidate(value: any): unknown;
+//# sourceMappingURL=semantic-import-layers.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-import-layers.d.ts","sourceRoot":"","sources":["../src/semantic-import-layers.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iCAAiC,EAAE,qCAAqC,EAAE,MAAM,YAAY,CAAC;AAI3G,wBAAgB,sCAAsC,CAAC,OAAO,EAAE,OAAO,GAAG,qCAAqC,CAiB9G;AAGD,wBAAgB,yCAAyC,CAAC,OAAO,EAAE,iCAAiC,EAAE,GAAG,qCAAqC,CAoB7I;AAGD,wBAAgB,2BAA2B,CAAC,YAAY,EAAE,GAAG,EAAE,eAAe,EAAE,GAAG,GAAG,qCAAqC,CA0B1H;AAWD,wBAAgB,+BAA+B,CAAC,KAAK,EAAE,GAAG,GAAG,OAAO,CAenE;AAGD,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,GAAG,GAAG,OAAO,CAoBhE;AAGD,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,GAAG,GAAG,OAAO,CAW3D;AAGD,wBAAgB,+BAA+B,CAAC,KAAK,EAAE,GAAG,GAAG,OAAO,CAWnE"}

package/dist/semantic-import-layers.js

@@ -0,0 +1,143 @@
+import { isObject, nonNegativeNumber, numberRecord, uniqueStrings } from './common.js';
+export function semanticImportUniversalAstLayerSummary(summary) {
+    const input = isObject(summary) && isObject(summary.universalAstLayers) ? summary.universalAstLayers : undefined;
+    const names = Array.isArray(input?.names)
+        ? uniqueStrings(input.names.map((entry) => String(entry)).filter(Boolean))
+        : [];
+    const ids = Array.isArray(input?.ids)
+        ? uniqueStrings(input.ids.map((entry) => String(entry)).filter(Boolean))
+        : [];
+    const byName = isObject(input?.byName) ? numberRecord(input.byName) : {};
+    const total = nonNegativeNumber(input?.total ?? ids.length);
+    return {
+        total,
+        names,
+        ids,
+        byName,
+        empty: input?.empty === true || total === 0
+    };
+}
+export function summarizeSemanticImportUniversalAstLayers(records) {
+    const byName = {};
+    const names = [];
+    const ids = [];
+    for (const record of records) {
+        for (const name of record.universalAstLayers?.names ?? []) {
+            names.push(name);
+            byName[name] = (byName[name] ?? 0) + 1;
+        }
+        ids.push(...(record.universalAstLayers?.ids ?? []));
+    }
+    const uniqueNames = uniqueStrings(names);
+    const uniqueIds = uniqueStrings(ids);
+    return {
+        total: records.reduce((sum, record) => sum + (record.universalAstLayers?.total ?? 0), 0),
+        names: uniqueNames,
+        ids: uniqueIds,
+        byName,
+        empty: uniqueIds.length === 0
+    };
+}
+export function summarizeUniversalAstLayers(universalAst, semanticSidecar) {
+    const layers = collectUniversalAstLayerRecords(universalAst?.layers);
+    const sidecarNames = Array.isArray(semanticSidecar?.summary?.universalAstLayerNames)
+        ? semanticSidecar.summary.universalAstLayerNames
+        : Array.isArray(semanticSidecar?.universalAstLayers?.names)
+            ? semanticSidecar.universalAstLayers.names
+            : [];
+    const sidecarIds = Array.isArray(semanticSidecar?.universalAstLayers?.ids) ? semanticSidecar.universalAstLayers.ids : [];
+    const byName = {};
+    for (const layer of layers) {
+        if (!layer?.layer)
+            continue;
+        byName[String(layer.layer)] = (byName[String(layer.layer)] ?? 0) + 1;
+    }
+    for (const [name, count] of Object.entries(semanticSidecar?.universalAstLayers?.byName ?? {})) {
+        byName[name] = Math.max(byName[name] ?? 0, Number(count) || 0);
+    }
+    const names = uniqueStrings([
+        ...layers.map((layer) => String(layer?.layer ?? '')).filter(Boolean),
+        ...sidecarNames.map((name) => String(name)).filter(Boolean)
+    ]);
+    const ids = uniqueStrings([
+        ...layers.map((layer) => String(layer?.id ?? '')).filter(Boolean),
+        ...sidecarIds.map((id) => String(id)).filter(Boolean)
+    ]);
+    const total = Math.max(layers.length, Number(semanticSidecar?.universalAstLayers?.total ?? 0) || 0, ids.length);
+    return { total, names, ids, byName, empty: total === 0 };
+}
+function collectUniversalAstLayerRecords(layers) {
+    if (!layers)
+        return [];
+    if (Array.isArray(layers))
+        return layers.filter(Boolean);
+    if (typeof layers !== 'object')
+        return [];
+    return Object.values(layers).flatMap((value) => Array.isArray(value) ? value : [value]).filter(Boolean);
+}
+export function summarizeNativeSourceProjection(value) {
+    if (!value || typeof value !== 'object')
+        return undefined;
+    return {
+        kind: value.kind,
+        id: value.id,
+        language: value.language,
+        sourcePath: value.sourcePath,
+        mode: value.mode,
+        outputHash: value.outputHash,
+        declarationCount: Array.isArray(value.declarations) ? value.declarations.length : 0,
+        lossCount: Array.isArray(value.losses) ? value.losses.length : 0,
+        readiness: value.readiness?.readiness,
+        sourceHashVerified: value.metadata?.sourceHashVerified,
+        exactSourceAvailable: value.metadata?.exactSourceAvailable
+    };
+}
+export function summarizeNativeSourceCompile(value) {
+    if (!value || typeof value !== 'object')
+        return undefined;
+    return {
+        kind: value.kind,
+        id: value.id,
+        ok: value.ok,
+        language: value.language,
+        target: value.target,
+        sourcePath: value.sourcePath,
+        outputMode: value.outputMode,
+        outputHash: value.outputHash,
+        lossCount: Array.isArray(value.losses) ? value.losses.length : 0,
+        readiness: value.readiness?.readiness,
+        targetCoverage: value.targetCoverage ? {
+            target: value.targetCoverage.target,
+            lossClass: value.targetCoverage.lossClass,
+            supported: value.targetCoverage.supported,
+            readiness: value.targetCoverage.readiness
+        } : undefined
+    };
+}
+export function summarizeSemanticLosses(value) {
+    if (!Array.isArray(value) || value.length === 0)
+        return undefined;
+    return value.slice(0, 12).map((loss) => ({
+        id: loss?.id,
+        severity: loss?.severity,
+        phase: loss?.phase,
+        kind: loss?.kind,
+        message: loss?.message,
+        nodeId: loss?.nodeId,
+        span: loss?.span
+    }));
+}
+export function summarizeSemanticMergeCandidate(value) {
+    if (!value || typeof value !== 'object')
+        return undefined;
+    return {
+        kind: value.kind,
+        readiness: value.readiness,
+        touchedSymbols: Array.isArray(value.touchedSymbols) ? value.touchedSymbols.slice(0, 50) : [],
+        touchedSemanticNodes: Array.isArray(value.touchedSemanticNodes) ? value.touchedSemanticNodes.slice(0, 50) : [],
+        nativeSpans: Array.isArray(value.nativeSpans) ? value.nativeSpans.slice(0, 50) : [],
+        conflictKeys: Array.isArray(value.conflictKeys) ? value.conflictKeys.slice(0, 100) : [],
+        reasons: Array.isArray(value.reasons) ? value.reasons.slice(0, 50) : []
+    };
+}
+//# sourceMappingURL=semantic-import-layers.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-import-layers.js","sourceRoot":"","sources":["../src/semantic-import-layers.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAGvF,MAAM,UAAU,sCAAsC,CAAC,OAAgB;IACrE,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,QAAQ,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC,SAAS,CAAC;IACjH,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC;QACvC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC1E,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;QACnC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACxE,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACzE,MAAM,KAAK,GAAG,iBAAiB,CAAC,KAAK,EAAE,KAAK,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC;IAC5D,OAAO;QACL,KAAK;QACL,KAAK;QACL,GAAG;QACH,MAAM;QACN,KAAK,EAAE,KAAK,EAAE,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,CAAC;KAC5C,CAAC;AACJ,CAAC;AAGD,MAAM,UAAU,yCAAyC,CAAC,OAA4C;IACpG,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,kBAAkB,EAAE,KAAK,IAAI,EAAE,EAAE,CAAC;YAC1D,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjB,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QACzC,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,kBAAkB,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC;IACtD,CAAC;IACD,MAAM,WAAW,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACzC,MAAM,SAAS,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;IACrC,OAAO;QACL,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,kBAAkB,EAAE,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;QACxF,KAAK,EAAE,WAAW;QAClB,GAAG,EAAE,SAAS;QACd,MAAM;QACN,KAAK,EAAE,SAAS,CAAC,MAAM,KAAK,CAAC;KAC9B,CAAC;AACJ,CAAC;AAGD,MAAM,UAAU,2BAA2B,CAAC,YAAiB,EAAE,eAAoB;IACjF,MAAM,MAAM,GAAG,+BAA+B,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IACrE,MAAM,YAAY,GAAG,KAAK,CAAC,OAAO,CAAC,eAAe,EAAE,OAAO,EAAE,sBAAsB,CAAC;QAClF,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC,sBAAsB;QAChD,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,eAAe,EAAE,kBAAkB,EAAE,KAAK,CAAC;YACzD,CAAC,CAAC,eAAe,CAAC,kBAAkB,CAAC,KAAK;YAC1C,CAAC,CAAC,EAAE,CAAC;IACT,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,eAAe,EAAE,kBAAkB,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IACzH,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,KAAK,EAAE,KAAK;YAAE,SAAS;QAC5B,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IACvE,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,eAAe,EAAE,kBAAkB,EAAE,MAAM,IAAI,EAAE,CAAC,EAAE,CAAC;QAC9F,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IACjE,CAAC;IACD,MAAM,KAAK,GAAG,aAAa,CAAC;QAC1B,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;QACpE,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,IAAa,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;KACrE,CAAC,CAAC;IACH,MAAM,GAAG,GAAG,aAAa,CAAC;QACxB,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;QACjE,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,EAAW,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;KAC/D,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,eAAe,EAAE,kBAAkB,EAAE,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAChH,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,KAAK,CAAC,EAAE,CAAC;AAC3D,CAAC;AAGD,SAAS,+BAA+B,CAAC,MAAW;IAClD,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IACvB,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACzD,IAAI,OAAO,MAAM,KAAK,QAAQ;QAAE,OAAO,EAAE,CAAC;IAC1C,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AAC1G,CAAC;AAGD,MAAM,UAAU,+BAA+B,CAAC,KAAU;IACxD,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAC1D,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,gBAAgB,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACnF,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAChE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,SAAS;QACrC,kBAAkB,EAAE,KAAK,CAAC,QAAQ,EAAE,kBAAkB;QACtD,oBAAoB,EAAE,KAAK,CAAC,QAAQ,EAAE,oBAAoB;KAC3D,CAAC;AACJ,CAAC;AAGD,MAAM,UAAU,4BAA4B,CAAC,KAAU;IACrD,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAC1D,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAChE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,SAAS;QACrC,cAAc,EAAE,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC;YACrC,MAAM,EAAE,KAAK,CAAC,cAAc,CAAC,MAAM;YACnC,SAAS,EAAE,KAAK,CAAC,cAAc,CAAC,SAAS;YACzC,SAAS,EAAE,KAAK,CAAC,cAAc,CAAC,SAAS;YACzC,SAAS,EAAE,KAAK,CAAC,cAAc,CAAC,SAAS;SAC1C,CAAC,CAAC,CAAC,SAAS;KACd,CAAC;AACJ,CAAC;AAGD,MAAM,UAAU,uBAAuB,CAAC,KAAU;IAChD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAClE,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACvC,EAAE,EAAE,IAAI,EAAE,EAAE;QACZ,QAAQ,EAAE,IAAI,EAAE,QAAQ;QACxB,KAAK,EAAE,IAAI,EAAE,KAAK;QAClB,IAAI,EAAE,IAAI,EAAE,IAAI;QAChB,OAAO,EAAE,IAAI,EAAE,OAAO;QACtB,MAAM,EAAE,IAAI,EAAE,MAAM;QACpB,IAAI,EAAE,IAAI,EAAE,IAAI;KACjB,CAAC,CAAC,CAAC;AACN,CAAC;AAGD,MAAM,UAAU,+BAA+B,CAAC,KAAU;IACxD,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAC1D,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,cAAc,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE;QAC5F,oBAAoB,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE;QAC9G,WAAW,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE;QACnF,YAAY,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE;QACvF,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE;KACxE,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,6 @@
+import type { FrontierCodexParadigmSemanticsSummary, FrontierCodexSemanticImportRecord } from './index.js';
+export declare function semanticImportParadigmSemanticsSummary(summary: unknown): FrontierCodexParadigmSemanticsSummary;
+export declare function summarizeSemanticImportParadigmSemantics(records: FrontierCodexSemanticImportRecord[]): FrontierCodexParadigmSemanticsSummary;
+export declare function summarizeParadigmSemantics(paradigmSemantics?: any, semanticSidecar?: any): FrontierCodexParadigmSemanticsSummary;
+export declare function normalizeParadigmSemanticsSummary(input: any): FrontierCodexParadigmSemanticsSummary;
+//# sourceMappingURL=semantic-import-paradigm.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-import-paradigm.d.ts","sourceRoot":"","sources":["../src/semantic-import-paradigm.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,qCAAqC,EAAE,iCAAiC,EAAE,MAAM,YAAY,CAAC;AAI3G,wBAAgB,sCAAsC,CAAC,OAAO,EAAE,OAAO,GAAG,qCAAqC,CAK9G;AAyBD,wBAAgB,wCAAwC,CAAC,OAAO,EAAE,iCAAiC,EAAE,GAAG,qCAAqC,CAO5I;AAGD,wBAAgB,0BAA0B,CAAC,iBAAiB,CAAC,EAAE,GAAG,EAAE,eAAe,CAAC,EAAE,GAAG,GAAG,qCAAqC,CAgChI;AAGD,wBAAgB,iCAAiC,CAAC,KAAK,EAAE,GAAG,GAAG,qCAAqC,CAKnG"}

package/dist/semantic-import-paradigm.js

@@ -0,0 +1,159 @@
+import { isObject, nonNegativeNumber, numberRecord, uniqueStrings } from './common.js';
+import { proofStringList } from './semantic-import-proof.js';
+export function semanticImportParadigmSemanticsSummary(summary) {
+    const input = isObject(summary) && isObject(summary.paradigmSemantics)
+        ? summary.paradigmSemantics
+        : undefined;
+    return input ? normalizeParadigmSemanticsSummary(input) : emptyParadigmSemanticsSummary();
+}
+const paradigmSemanticsSummaryGroups = [
+    'bindingScopes',
+    'bindings',
+    'patterns',
+    'typeConstraints',
+    'evaluationModels',
+    'memoryLocations',
+    'effectRegions',
+    'controlRegions',
+    'logicPrograms',
+    'actorSystems',
+    'stackEffects',
+    'arrayShapes',
+    'numericKernels',
+    'dataflowNetworks',
+    'clockModels',
+    'objectModels',
+    'macroExpansions',
+    'reflectionBoundaries',
+    'loweringRecords'
+];
+export function summarizeSemanticImportParadigmSemantics(records) {
+    const summary = emptyParadigmSemanticsSummary();
+    for (const record of records) {
+        mergeParadigmSemanticsSummary(summary, record.paradigmSemantics);
+    }
+    summary.empty = summary.total === 0;
+    return summary;
+}
+export function summarizeParadigmSemantics(paradigmSemantics, semanticSidecar) {
+    const sidecarSummary = semanticSidecar?.paradigmSemantics ?? semanticSidecar?.summary?.paradigmSemantics;
+    if (sidecarSummary && typeof sidecarSummary === 'object' && hasParadigmSemanticsSummaryShape(sidecarSummary)) {
+        return normalizeParadigmSemanticsSummary(sidecarSummary);
+    }
+    const raw = paradigmSemantics && typeof paradigmSemantics === 'object' ? paradigmSemantics : {};
+    const summary = emptyParadigmSemanticsSummary();
+    summary.ids = uniqueStrings([raw.id].filter(Boolean).map(String));
+    for (const group of paradigmSemanticsSummaryGroups) {
+        const records = Array.isArray(raw[group]) ? raw[group] : [];
+        summary[group] += records.length;
+        summary.total += records.length;
+        if (records.length > 0)
+            summary.byGroup[group] = (summary.byGroup[group] ?? 0) + records.length;
+        for (const record of records) {
+            if (record?.id)
+                summary.ids.push(String(record.id));
+            if (record?.kind) {
+                const kind = String(record.kind);
+                summary.kinds.push(kind);
+                summary.byKind[kind] = (summary.byKind[kind] ?? 0) + 1;
+            }
+        }
+    }
+    summary.evidence = Array.isArray(raw.evidence) ? raw.evidence.length : 0;
+    summary.ids = uniqueStrings([
+        ...summary.ids,
+        ...(Array.isArray(raw.evidence) ? raw.evidence.map((record) => record?.id).filter(Boolean).map(String) : [])
+    ]);
+    summary.groups = uniqueStrings(Object.keys(summary.byGroup));
+    summary.kinds = uniqueStrings(summary.kinds);
+    fillParadigmSemanticsBooleans(summary);
+    summary.empty = summary.total === 0;
+    return summary;
+}
+export function normalizeParadigmSemanticsSummary(input) {
+    const summary = emptyParadigmSemanticsSummary();
+    mergeParadigmSemanticsSummary(summary, input);
+    summary.empty = summary.total === 0;
+    return summary;
+}
+function hasParadigmSemanticsSummaryShape(value) {
+    return typeof value.total === 'number' ||
+        typeof value.loweringRecords === 'number' ||
+        typeof value.logicPrograms === 'number' ||
+        typeof value.stackEffects === 'number';
+}
+function emptyParadigmSemanticsSummary() {
+    return {
+        total: 0,
+        ids: [],
+        groups: [],
+        kinds: [],
+        evidence: 0,
+        bindingScopes: 0,
+        bindings: 0,
+        patterns: 0,
+        typeConstraints: 0,
+        evaluationModels: 0,
+        memoryLocations: 0,
+        effectRegions: 0,
+        controlRegions: 0,
+        logicPrograms: 0,
+        actorSystems: 0,
+        stackEffects: 0,
+        arrayShapes: 0,
+        numericKernels: 0,
+        dataflowNetworks: 0,
+        clockModels: 0,
+        objectModels: 0,
+        macroExpansions: 0,
+        reflectionBoundaries: 0,
+        loweringRecords: 0,
+        byGroup: {},
+        byKind: {},
+        hasRuntimeSemantics: false,
+        hasLogicSemantics: false,
+        hasStackSemantics: false,
+        hasArraySemantics: false,
+        hasMacroOrReflection: false,
+        hasLowering: false,
+        empty: true
+    };
+}
+function mergeParadigmSemanticsSummary(target, input) {
+    if (!input || typeof input !== 'object')
+        return;
+    const declaredTotal = nonNegativeNumber(input.total);
+    let groupedTotal = 0;
+    target.evidence += nonNegativeNumber(input.evidence);
+    for (const group of paradigmSemanticsSummaryGroups) {
+        const count = nonNegativeNumber(input[group]);
+        target[group] += count;
+        groupedTotal += count;
+    }
+    target.total += declaredTotal || groupedTotal;
+    target.ids = uniqueStrings([...target.ids, ...proofStringList(input.ids)]);
+    target.groups = uniqueStrings([...target.groups, ...proofStringList(input.groups)]);
+    target.kinds = uniqueStrings([...target.kinds, ...proofStringList(input.kinds)]);
+    for (const [group, count] of Object.entries(numberRecord(input.byGroup))) {
+        target.byGroup[group] = (target.byGroup[group] ?? 0) + count;
+    }
+    for (const [kind, count] of Object.entries(numberRecord(input.byKind))) {
+        target.byKind[kind] = (target.byKind[kind] ?? 0) + count;
+    }
+    target.hasRuntimeSemantics ||= input.hasRuntimeSemantics === true;
+    target.hasLogicSemantics ||= input.hasLogicSemantics === true;
+    target.hasStackSemantics ||= input.hasStackSemantics === true;
+    target.hasArraySemantics ||= input.hasArraySemantics === true;
+    target.hasMacroOrReflection ||= input.hasMacroOrReflection === true;
+    target.hasLowering ||= input.hasLowering === true;
+    fillParadigmSemanticsBooleans(target);
+}
+function fillParadigmSemanticsBooleans(summary) {
+    summary.hasRuntimeSemantics ||= summary.evaluationModels > 0 || summary.memoryLocations > 0 || summary.effectRegions > 0 || summary.controlRegions > 0 || summary.actorSystems > 0 || summary.clockModels > 0;
+    summary.hasLogicSemantics ||= summary.logicPrograms > 0;
+    summary.hasStackSemantics ||= summary.stackEffects > 0;
+    summary.hasArraySemantics ||= summary.arrayShapes > 0 || summary.numericKernels > 0;
+    summary.hasMacroOrReflection ||= summary.macroExpansions > 0 || summary.reflectionBoundaries > 0;
+    summary.hasLowering ||= summary.loweringRecords > 0;
+}
+//# sourceMappingURL=semantic-import-paradigm.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-import-paradigm.js","sourceRoot":"","sources":["../src/semantic-import-paradigm.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AACvF,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAE7D,MAAM,UAAU,sCAAsC,CAAC,OAAgB;IACrE,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,QAAQ,CAAE,OAA2C,CAAC,iBAAiB,CAAC;QACzG,CAAC,CAAE,OAA2C,CAAC,iBAAiB;QAChE,CAAC,CAAC,SAAS,CAAC;IACd,OAAO,KAAK,CAAC,CAAC,CAAC,iCAAiC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,6BAA6B,EAAE,CAAC;AAC5F,CAAC;AAED,MAAM,8BAA8B,GAAG;IACrC,eAAe;IACf,UAAU;IACV,UAAU;IACV,iBAAiB;IACjB,kBAAkB;IAClB,iBAAiB;IACjB,eAAe;IACf,gBAAgB;IAChB,eAAe;IACf,cAAc;IACd,cAAc;IACd,aAAa;IACb,gBAAgB;IAChB,kBAAkB;IAClB,aAAa;IACb,cAAc;IACd,iBAAiB;IACjB,sBAAsB;IACtB,iBAAiB;CACT,CAAC;AAGX,MAAM,UAAU,wCAAwC,CAAC,OAA4C;IACnG,MAAM,OAAO,GAAG,6BAA6B,EAAE,CAAC;IAChD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,6BAA6B,CAAC,OAAO,EAAE,MAAM,CAAC,iBAAiB,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,CAAC,KAAK,GAAG,OAAO,CAAC,KAAK,KAAK,CAAC,CAAC;IACpC,OAAO,OAAO,CAAC;AACjB,CAAC;AAGD,MAAM,UAAU,0BAA0B,CAAC,iBAAuB,EAAE,eAAqB;IACvF,MAAM,cAAc,GAAG,eAAe,EAAE,iBAAiB,IAAI,eAAe,EAAE,OAAO,EAAE,iBAAiB,CAAC;IACzG,IAAI,cAAc,IAAI,OAAO,cAAc,KAAK,QAAQ,IAAI,gCAAgC,CAAC,cAAc,CAAC,EAAE,CAAC;QAC7G,OAAO,iCAAiC,CAAC,cAAc,CAAC,CAAC;IAC3D,CAAC;IACD,MAAM,GAAG,GAAG,iBAAiB,IAAI,OAAO,iBAAiB,KAAK,QAAQ,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;IAChG,MAAM,OAAO,GAAG,6BAA6B,EAAE,CAAC;IAChD,OAAO,CAAC,GAAG,GAAG,aAAa,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IAClE,KAAK,MAAM,KAAK,IAAI,8BAA8B,EAAE,CAAC;QACnD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5D,OAAO,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC;QACjC,OAAO,CAAC,KAAK,IAAI,OAAO,CAAC,MAAM,CAAC;QAChC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC;QAChG,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,MAAM,EAAE,EAAE;gBAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;YACpD,IAAI,MAAM,EAAE,IAAI,EAAE,CAAC;gBACjB,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBACjC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACzB,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;YACzD,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,CAAC,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACzE,OAAO,CAAC,GAAG,GAAG,aAAa,CAAC;QAC1B,GAAG,OAAO,CAAC,GAAG;QACd,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,MAAW,EAAE,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KAClH,CAAC,CAAC;IACH,OAAO,CAAC,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;IAC7D,OAAO,CAAC,KAAK,GAAG,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7C,6BAA6B,CAAC,OAAO,CAAC,CAAC;IACvC,OAAO,CAAC,KAAK,GAAG,OAAO,CAAC,KAAK,KAAK,CAAC,CAAC;IACpC,OAAO,OAAO,CAAC;AACjB,CAAC;AAGD,MAAM,UAAU,iCAAiC,CAAC,KAAU;IAC1D,MAAM,OAAO,GAAG,6BAA6B,EAAE,CAAC;IAChD,6BAA6B,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAC9C,OAAO,CAAC,KAAK,GAAG,OAAO,CAAC,KAAK,KAAK,CAAC,CAAC;IACpC,OAAO,OAAO,CAAC;AACjB,CAAC;AAGD,SAAS,gCAAgC,CAAC,KAA8B;IACtE,OAAO,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;QACpC,OAAO,KAAK,CAAC,eAAe,KAAK,QAAQ;QACzC,OAAO,KAAK,CAAC,aAAa,KAAK,QAAQ;QACvC,OAAO,KAAK,CAAC,YAAY,KAAK,QAAQ,CAAC;AAC3C,CAAC;AAGD,SAAS,6BAA6B;IACpC,OAAO;QACL,KAAK,EAAE,CAAC;QACR,GAAG,EAAE,EAAE;QACP,MAAM,EAAE,EAAE;QACV,KAAK,EAAE,EAAE;QACT,QAAQ,EAAE,CAAC;QACX,aAAa,EAAE,CAAC;QAChB,QAAQ,EAAE,CAAC;QACX,QAAQ,EAAE,CAAC;QACX,eAAe,EAAE,CAAC;QAClB,gBAAgB,EAAE,CAAC;QACnB,eAAe,EAAE,CAAC;QAClB,aAAa,EAAE,CAAC;QAChB,cAAc,EAAE,CAAC;QACjB,aAAa,EAAE,CAAC;QAChB,YAAY,EAAE,CAAC;QACf,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,CAAC;QACd,cAAc,EAAE,CAAC;QACjB,gBAAgB,EAAE,CAAC;QACnB,WAAW,EAAE,CAAC;QACd,YAAY,EAAE,CAAC;QACf,eAAe,EAAE,CAAC;QAClB,oBAAoB,EAAE,CAAC;QACvB,eAAe,EAAE,CAAC;QAClB,OAAO,EAAE,EAAE;QACX,MAAM,EAAE,EAAE;QACV,mBAAmB,EAAE,KAAK;QAC1B,iBAAiB,EAAE,KAAK;QACxB,iBAAiB,EAAE,KAAK;QACxB,iBAAiB,EAAE,KAAK;QACxB,oBAAoB,EAAE,KAAK;QAC3B,WAAW,EAAE,KAAK;QAClB,KAAK,EAAE,IAAI;KACZ,CAAC;AACJ,CAAC;AAGD,SAAS,6BAA6B,CAAC,MAA6C,EAAE,KAAU;IAC9F,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO;IAChD,MAAM,aAAa,GAAG,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACrD,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,MAAM,CAAC,QAAQ,IAAI,iBAAiB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACrD,KAAK,MAAM,KAAK,IAAI,8BAA8B,EAAE,CAAC;QACnD,MAAM,KAAK,GAAG,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QAC9C,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC;QACvB,YAAY,IAAI,KAAK,CAAC;IACxB,CAAC;IACD,MAAM,CAAC,KAAK,IAAI,aAAa,IAAI,YAAY,CAAC;IAC9C,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,MAAM,GAAG,aAAa,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,GAAG,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACpF,MAAM,CAAC,KAAK,GAAG,aAAa,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACjF,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QACzE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC;IAC/D,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;QACvE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC;IAC3D,CAAC;IACD,MAAM,CAAC,mBAAmB,KAAK,KAAK,CAAC,mBAAmB,KAAK,IAAI,CAAC;IAClE,MAAM,CAAC,iBAAiB,KAAK,KAAK,CAAC,iBAAiB,KAAK,IAAI,CAAC;IAC9D,MAAM,CAAC,iBAAiB,KAAK,KAAK,CAAC,iBAAiB,KAAK,IAAI,CAAC;IAC9D,MAAM,CAAC,iBAAiB,KAAK,KAAK,CAAC,iBAAiB,KAAK,IAAI,CAAC;IAC9D,MAAM,CAAC,oBAAoB,KAAK,KAAK,CAAC,oBAAoB,KAAK,IAAI,CAAC;IACpE,MAAM,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW,KAAK,IAAI,CAAC;IAClD,6BAA6B,CAAC,MAAM,CAAC,CAAC;AACxC,CAAC;AAGD,SAAS,6BAA6B,CAAC,OAA8C;IACnF,OAAO,CAAC,mBAAmB,KAAK,OAAO,CAAC,gBAAgB,GAAG,CAAC,IAAI,OAAO,CAAC,eAAe,GAAG,CAAC,IAAI,OAAO,CAAC,aAAa,GAAG,CAAC,IAAI,OAAO,CAAC,cAAc,GAAG,CAAC,IAAI,OAAO,CAAC,YAAY,GAAG,CAAC,IAAI,OAAO,CAAC,WAAW,GAAG,CAAC,CAAC;IAC9M,OAAO,CAAC,iBAAiB,KAAK,OAAO,CAAC,aAAa,GAAG,CAAC,CAAC;IACxD,OAAO,CAAC,iBAAiB,KAAK,OAAO,CAAC,YAAY,GAAG,CAAC,CAAC;IACvD,OAAO,CAAC,iBAAiB,KAAK,OAAO,CAAC,WAAW,GAAG,CAAC,IAAI,OAAO,CAAC,cAAc,GAAG,CAAC,CAAC;IACpF,OAAO,CAAC,oBAAoB,KAAK,OAAO,CAAC,eAAe,GAAG,CAAC,IAAI,OAAO,CAAC,oBAAoB,GAAG,CAAC,CAAC;IACjG,OAAO,CAAC,WAAW,KAAK,OAAO,CAAC,eAAe,GAAG,CAAC,CAAC;AACtD,CAAC"}

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

@@ -0,0 +1,7 @@
+import type { FrontierCodexProofSpecSummary, FrontierCodexSemanticImportRecord } from './index.js';
+export declare function semanticImportProofSpecSummary(summary: unknown): FrontierCodexProofSpecSummary;
+export declare function summarizeSemanticImportProofSpec(records: FrontierCodexSemanticImportRecord[]): FrontierCodexProofSpecSummary;
+export declare function summarizeProofSpec(proof?: any, semanticSidecar?: any): FrontierCodexProofSpecSummary;
+export declare function normalizeProofSpecSummary(value: Record<string, unknown>): FrontierCodexProofSpecSummary;
+export declare function proofStringList(value: unknown): string[];
+//# sourceMappingURL=semantic-import-proof.d.ts.map

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

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