@codeledger/engine 0.7.1 → 0.7.3

package/dist/layer-d/conflict-detector.js

@@ -0,0 +1,150 @@
+/** Detect signature changes between two surfaces of the same file */
+export function detectSignatureChanges(previous, current) {
+    const changes = [];
+    const prevMap = new Map();
+    for (const entry of previous) {
+        prevMap.set(`${entry.file}::${entry.symbol}`, entry);
+    }
+    const currMap = new Map();
+    for (const entry of current) {
+        currMap.set(`${entry.file}::${entry.symbol}`, entry);
+    }
+    // Check for removals and changes
+    for (const [key, prev] of prevMap) {
+        const curr = currMap.get(key);
+        if (!curr) {
+            // Symbol removed
+            changes.push({
+                symbol: prev.symbol,
+                file: prev.file,
+                kind: prev.kind,
+                previousSignature: prev.signature,
+                newSignature: '<removed>',
+                changeType: 'removal',
+                breaking: true,
+            });
+            continue;
+        }
+        if (prev.signature !== curr.signature) {
+            const changeType = classifyChange(prev, curr);
+            changes.push({
+                symbol: prev.symbol,
+                file: prev.file,
+                kind: prev.kind,
+                previousSignature: prev.signature,
+                newSignature: curr.signature,
+                changeType,
+                breaking: changeType !== 'type_change', // type changes may be non-breaking
+            });
+        }
+    }
+    return changes;
+}
+/** Classify the nature of a signature change */
+function classifyChange(prev, curr) {
+    if (prev.kind === 'function' && curr.kind === 'function') {
+        // Compare parameter counts
+        const prevArity = countParams(prev.signature);
+        const currArity = countParams(curr.signature);
+        if (prevArity !== currArity)
+            return 'arity_change';
+        return 'parameter_change';
+    }
+    if (prev.symbol !== curr.symbol)
+        return 'rename';
+    return 'type_change';
+}
+/** Count parameters in a function signature */
+function countParams(sig) {
+    const match = sig.match(/^\(([^)]*)\)/);
+    const params = match?.[1];
+    if (!params || !params.trim())
+        return 0;
+    return params.split(',').length;
+}
+/** Detect Layer D conflicts across multiple sessions */
+export function detectLayerDConflicts(sessions, dependencySurfaces) {
+    const conflicts = [];
+    // For each pair of sessions, check if one's changes affect the other's dependencies
+    for (let i = 0; i < sessions.length; i++) {
+        for (let j = 0; j < sessions.length; j++) {
+            if (i === j)
+                continue;
+            const producer = sessions[i];
+            const consumer = sessions[j];
+            if (!producer || !consumer)
+                continue;
+            const consumerDeps = dependencySurfaces.get(consumer.sessionId) ?? [];
+            // Check if producer's files overlap with consumer's dependency surface
+            const producerFiles = new Set(producer.entries.map((e) => e.file));
+            const overlappingFiles = consumerDeps.filter((dep) => producerFiles.has(dep));
+            if (overlappingFiles.length === 0)
+                continue;
+            // For overlapping files, check for signature changes
+            for (const file of overlappingFiles) {
+                const producerEntries = producer.entries.filter((e) => e.file === file);
+                const consumerEntries = consumer.entries.filter((e) => e.file === file);
+                // Detect actual changes between the two surfaces
+                const changes = detectSignatureChanges(consumerEntries, producerEntries);
+                for (const change of changes) {
+                    conflicts.push({
+                        affectedSymbol: change.symbol,
+                        file: change.file,
+                        producerSession: producer.sessionId,
+                        consumerSessions: [consumer.sessionId],
+                        change,
+                        severity: change.breaking ? 0.9 : 0.5,
+                        description: formatConflictDescription(change, producer.sessionId, consumer.sessionId),
+                    });
+                }
+            }
+        }
+    }
+    // Deduplicate: merge conflicts on same symbol
+    const merged = deduplicateConflicts(conflicts);
+    return {
+        conflicts: merged,
+        surfacesAnalyzed: sessions.length,
+        timestamp: new Date().toISOString(),
+    };
+}
+/** Format a human-readable conflict description */
+function formatConflictDescription(change, producer, consumer) {
+    switch (change.changeType) {
+        case 'removal':
+            return `Session ${producer} removed exported ${change.kind} '${change.symbol}' from ${change.file}, which session ${consumer} depends on`;
+        case 'arity_change':
+            return `Session ${producer} changed arity of '${change.symbol}' in ${change.file}: ${change.previousSignature} → ${change.newSignature}`;
+        case 'parameter_change':
+            return `Session ${producer} changed parameters of '${change.symbol}' in ${change.file}`;
+        case 'rename':
+            return `Session ${producer} renamed '${change.symbol}' in ${change.file}`;
+        case 'type_change':
+            return `Session ${producer} changed type of '${change.symbol}' in ${change.file}`;
+        default:
+            return `Session ${producer} modified '${change.symbol}' in ${change.file}`;
+    }
+}
+/** Merge conflicts on the same symbol to avoid duplicates */
+function deduplicateConflicts(conflicts) {
+    const map = new Map();
+    for (const c of conflicts) {
+        const key = `${c.affectedSymbol}::${c.file}::${c.producerSession}`;
+        const existing = map.get(key);
+        if (existing) {
+            // Merge consumer sessions
+            for (const s of c.consumerSessions) {
+                if (!existing.consumerSessions.includes(s)) {
+                    existing.consumerSessions.push(s);
+                }
+            }
+            // Keep highest severity
+            existing.severity = Math.max(existing.severity, c.severity);
+        }
+        else {
+            map.set(key, { ...c });
+        }
+    }
+    return [...map.values()];
+}
+//# sourceMappingURL=conflict-detector.js.map

package/dist/layer-d/conflict-detector.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"conflict-detector.js","sourceRoot":"","sources":["../../src/layer-d/conflict-detector.ts"],"names":[],"mappings":"AAeA,qEAAqE;AACrE,MAAM,UAAU,sBAAsB,CACpC,QAA8B,EAC9B,OAA6B;IAE7B,MAAM,OAAO,GAAsB,EAAE,CAAC;IACtC,MAAM,OAAO,GAAG,IAAI,GAAG,EAA8B,CAAC;IAEtD,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;QAC7B,OAAO,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,EAAE,EAAE,KAAK,CAAC,CAAC;IACvD,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,GAAG,EAA8B,CAAC;IACtD,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,OAAO,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,EAAE,EAAE,KAAK,CAAC,CAAC;IACvD,CAAC;IAED,iCAAiC;IACjC,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,OAAO,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAE9B,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,iBAAiB;YACjB,OAAO,CAAC,IAAI,CAAC;gBACX,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,iBAAiB,EAAE,IAAI,CAAC,SAAS;gBACjC,YAAY,EAAE,WAAW;gBACzB,UAAU,EAAE,SAAS;gBACrB,QAAQ,EAAE,IAAI;aACf,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,IAAI,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC,SAAS,EAAE,CAAC;YACtC,MAAM,UAAU,GAAG,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC9C,OAAO,CAAC,IAAI,CAAC;gBACX,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,iBAAiB,EAAE,IAAI,CAAC,SAAS;gBACjC,YAAY,EAAE,IAAI,CAAC,SAAS;gBAC5B,UAAU;gBACV,QAAQ,EAAE,UAAU,KAAK,aAAa,EAAE,mCAAmC;aAC5E,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,gDAAgD;AAChD,SAAS,cAAc,CACrB,IAAwB,EACxB,IAAwB;IAExB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACzD,2BAA2B;QAC3B,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC9C,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC9C,IAAI,SAAS,KAAK,SAAS;YAAE,OAAO,cAAc,CAAC;QACnD,OAAO,kBAAkB,CAAC;IAC5B,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM;QAAE,OAAO,QAAQ,CAAC;IACjD,OAAO,aAAsB,CAAC;AAChC,CAAC;AAGD,+CAA+C;AAC/C,SAAS,WAAW,CAAC,GAAW;IAC9B,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACxC,MAAM,MAAM,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1B,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE;QAAE,OAAO,CAAC,CAAC;IACxC,OAAO,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;AAClC,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,qBAAqB,CACnC,QAAgC,EAChC,kBAAyC;IAEzC,MAAM,SAAS,GAAqB,EAAE,CAAC;IAEvC,oFAAoF;IACpF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACzC,IAAI,CAAC,KAAK,CAAC;gBAAE,SAAS;YAEtB,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC7B,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAI,CAAC,QAAQ,IAAI,CAAC,QAAQ;gBAAE,SAAS;YACrC,MAAM,YAAY,GAAG,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;YAEtE,uEAAuE;YACvE,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAqB,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACvF,MAAM,gBAAgB,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,GAAW,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;YAEtF,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YAE5C,qDAAqD;YACrD,KAAK,MAAM,IAAI,IAAI,gBAAgB,EAAE,CAAC;gBACpC,MAAM,eAAe,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAqB,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;gBAC5F,MAAM,eAAe,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAqB,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;gBAE5F,iDAAiD;gBACjD,MAAM,OAAO,GAAG,sBAAsB,CAAC,eAAe,EAAE,eAAe,CAAC,CAAC;gBAEzE,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;oBAC7B,SAAS,CAAC,IAAI,CAAC;wBACb,cAAc,EAAE,MAAM,CAAC,MAAM;wBAC7B,IAAI,EAAE,MAAM,CAAC,IAAI;wBACjB,eAAe,EAAE,QAAQ,CAAC,SAAS;wBACnC,gBAAgB,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC;wBACtC,MAAM;wBACN,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG;wBACrC,WAAW,EAAE,yBAAyB,CAAC,MAAM,EAAE,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,SAAS,CAAC;qBACvF,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,8CAA8C;IAC9C,MAAM,MAAM,GAAG,oBAAoB,CAAC,SAAS,CAAC,CAAC;IAE/C,OAAO;QACL,SAAS,EAAE,MAAM;QACjB,gBAAgB,EAAE,QAAQ,CAAC,MAAM;QACjC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAiB;KACnD,CAAC;AACJ,CAAC;AAED,mDAAmD;AACnD,SAAS,yBAAyB,CAChC,MAAuB,EACvB,QAAgB,EAChB,QAAgB;IAEhB,QAAQ,MAAM,CAAC,UAAU,EAAE,CAAC;QAC1B,KAAK,SAAS;YACZ,OAAO,WAAW,QAAQ,qBAAqB,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM,UAAU,MAAM,CAAC,IAAI,mBAAmB,QAAQ,aAAa,CAAC;QAC5I,KAAK,cAAc;YACjB,OAAO,WAAW,QAAQ,sBAAsB,MAAM,CAAC,MAAM,QAAQ,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,iBAAiB,MAAM,MAAM,CAAC,YAAY,EAAE,CAAC;QAC3I,KAAK,kBAAkB;YACrB,OAAO,WAAW,QAAQ,2BAA2B,MAAM,CAAC,MAAM,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QAC1F,KAAK,QAAQ;YACX,OAAO,WAAW,QAAQ,aAAa,MAAM,CAAC,MAAM,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QAC5E,KAAK,aAAa;YAChB,OAAO,WAAW,QAAQ,qBAAqB,MAAM,CAAC,MAAM,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpF;YACE,OAAO,WAAW,QAAQ,cAAc,MAAM,CAAC,MAAM,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;IAC/E,CAAC;AACH,CAAC;AAED,6DAA6D;AAC7D,SAAS,oBAAoB,CAAC,SAA2B;IACvD,MAAM,GAAG,GAAG,IAAI,GAAG,EAA0B,CAAC;IAE9C,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,cAAc,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,eAAe,EAAE,CAAC;QACnE,MAAM,QAAQ,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,QAAQ,EAAE,CAAC;YACb,0BAA0B;YAC1B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,gBAAgB,EAAE,CAAC;gBACnC,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC3C,QAAQ,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACpC,CAAC;YACH,CAAC;YACD,wBAAwB;YACxB,QAAQ,CAAC,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;QAC9D,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IAED,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;AAC3B,CAAC"}

package/dist/layer-d/index.d.ts

@@ -0,0 +1,3 @@
+export { extractPublicSurface, extractSessionSurface } from './surface-extractor.js';
+export { detectSignatureChanges, detectLayerDConflicts, } from './conflict-detector.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/layer-d/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/layer-d/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AACrF,OAAO,EACL,sBAAsB,EACtB,qBAAqB,GACtB,MAAM,wBAAwB,CAAC"}

package/dist/layer-d/index.js

@@ -0,0 +1,3 @@
+export { extractPublicSurface, extractSessionSurface } from './surface-extractor.js';
+export { detectSignatureChanges, detectLayerDConflicts, } from './conflict-detector.js';
+//# sourceMappingURL=index.js.map

package/dist/layer-d/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/layer-d/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AACrF,OAAO,EACL,sBAAsB,EACtB,qBAAqB,GACtB,MAAM,wBAAwB,CAAC"}

package/dist/layer-d/surface-extractor.d.ts

@@ -0,0 +1,10 @@
+import type { PublicSurfaceEntry } from '@codeledger/types';
+/** Extract the public surface from a single file */
+export declare function extractPublicSurface(filePath: string, content?: string): PublicSurfaceEntry[];
+/** Extract public surface for multiple files */
+export declare function extractSessionSurface(sessionId: string, files: string[]): {
+    sessionId: string;
+    entries: PublicSurfaceEntry[];
+    extractedAt: string;
+};
+//# sourceMappingURL=surface-extractor.d.ts.map

package/dist/layer-d/surface-extractor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"surface-extractor.d.ts","sourceRoot":"","sources":["../../src/layer-d/surface-extractor.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AA8B5D,oDAAoD;AACpD,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,kBAAkB,EAAE,CAwC7F;AAED,gDAAgD;AAChD,wBAAgB,qBAAqB,CACnC,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,MAAM,EAAE,GACd;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,kBAAkB,EAAE,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,CAkB3E"}

package/dist/layer-d/surface-extractor.js

@@ -0,0 +1,96 @@
+/**
+ * Layer D — Public Surface Extractor
+ *
+ * Extracts exported functions, types, interfaces, classes, consts, and enums
+ * from TypeScript/JavaScript files using pragmatic regex-based parsing.
+ *
+ * NOT a full type-checker — focuses on high-signal contract detection.
+ */
+import { readFileSync } from 'fs';
+/** Regex patterns for exported symbols */
+const PATTERNS = [
+    {
+        kind: 'function',
+        regex: /^export\s+(?:async\s+)?function\s+(\w+)\s*(?:<[^>]*>)?\s*\(([^)]*)\)(?:\s*:\s*([^\n{]+))?/gm,
+    },
+    {
+        kind: 'interface',
+        regex: /^export\s+interface\s+(\w+)(?:\s*<[^>]*>)?(?:\s+extends\s+[^\n{]+)?/gm,
+    },
+    {
+        kind: 'type',
+        regex: /^export\s+type\s+(\w+)(?:\s*<[^>]*>)?\s*=/gm,
+    },
+    {
+        kind: 'class',
+        regex: /^export\s+(?:abstract\s+)?class\s+(\w+)(?:\s*<[^>]*>)?(?:\s+(?:extends|implements)\s+[^\n{]+)?/gm,
+    },
+    {
+        kind: 'const',
+        regex: /^export\s+const\s+(\w+)(?:\s*:\s*([^\n=]+))?\s*=/gm,
+    },
+    {
+        kind: 'enum',
+        regex: /^export\s+(?:const\s+)?enum\s+(\w+)/gm,
+    },
+];
+/** Extract the public surface from a single file */
+export function extractPublicSurface(filePath, content) {
+    const source = content ?? readFileSync(filePath, 'utf-8');
+    const entries = [];
+    for (const { kind, regex } of PATTERNS) {
+        // Reset regex state
+        regex.lastIndex = 0;
+        let match;
+        while ((match = regex.exec(source)) !== null) {
+            const symbol = match[1];
+            if (!symbol)
+                continue;
+            const offset = match.index;
+            const lineNumber = source.slice(0, offset).split('\n').length;
+            // Build signature string
+            let signature;
+            if (kind === 'function') {
+                const params = match[2] || '';
+                const returnType = match[3]?.trim() || 'unknown';
+                signature = `(${params.trim()}) => ${returnType}`;
+            }
+            else if (kind === 'const') {
+                signature = match[2]?.trim() || 'unknown';
+            }
+            else {
+                // For types, interfaces, classes, enums — use the full match line
+                signature = match[0].replace(/^export\s+/, '').trim();
+            }
+            entries.push({
+                file: filePath,
+                symbol,
+                kind,
+                signature,
+                lineNumber,
+            });
+        }
+    }
+    return entries;
+}
+/** Extract public surface for multiple files */
+export function extractSessionSurface(sessionId, files) {
+    const entries = [];
+    for (const file of files) {
+        // Only process TS/JS files
+        if (!/\.[jt]sx?$/.test(file))
+            continue;
+        try {
+            entries.push(...extractPublicSurface(file));
+        }
+        catch {
+            // Skip unreadable files
+        }
+    }
+    return {
+        sessionId,
+        entries,
+        extractedAt: new Date().toISOString(),
+    };
+}
+//# sourceMappingURL=surface-extractor.js.map

package/dist/layer-d/surface-extractor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"surface-extractor.js","sourceRoot":"","sources":["../../src/layer-d/surface-extractor.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC;AAGlC,0CAA0C;AAC1C,MAAM,QAAQ,GAA+D;IAC3E;QACE,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE,6FAA6F;KACrG;IACD;QACE,IAAI,EAAE,WAAW;QACjB,KAAK,EAAE,uEAAuE;KAC/E;IACD;QACE,IAAI,EAAE,MAAM;QACZ,KAAK,EAAE,6CAA6C;KACrD;IACD;QACE,IAAI,EAAE,OAAO;QACb,KAAK,EAAE,kGAAkG;KAC1G;IACD;QACE,IAAI,EAAE,OAAO;QACb,KAAK,EAAE,oDAAoD;KAC5D;IACD;QACE,IAAI,EAAE,MAAM;QACZ,KAAK,EAAE,uCAAuC;KAC/C;CACF,CAAC;AAEF,oDAAoD;AACpD,MAAM,UAAU,oBAAoB,CAAC,QAAgB,EAAE,OAAgB;IACrE,MAAM,MAAM,GAAG,OAAO,IAAI,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC1D,MAAM,OAAO,GAAyB,EAAE,CAAC;IAEzC,KAAK,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,QAAQ,EAAE,CAAC;QACvC,oBAAoB;QACpB,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC;QACpB,IAAI,KAA6B,CAAC;QAElC,OAAO,CAAC,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YAC7C,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACxB,IAAI,CAAC,MAAM;gBAAE,SAAS;YAEtB,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC;YAC3B,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;YAE9D,yBAAyB;YACzB,IAAI,SAAiB,CAAC;YACtB,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;gBACxB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBAC9B,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,SAAS,CAAC;gBACjD,SAAS,GAAG,IAAI,MAAM,CAAC,IAAI,EAAE,QAAQ,UAAU,EAAE,CAAC;YACpD,CAAC;iBAAM,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC5B,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,SAAS,CAAC;YAC5C,CAAC;iBAAM,CAAC;gBACN,kEAAkE;gBAClE,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YACxD,CAAC;YAED,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,QAAQ;gBACd,MAAM;gBACN,IAAI;gBACJ,SAAS;gBACT,UAAU;aACX,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,gDAAgD;AAChD,MAAM,UAAU,qBAAqB,CACnC,SAAiB,EACjB,KAAe;IAEf,MAAM,OAAO,GAAyB,EAAE,CAAC;IAEzC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,2BAA2B;QAC3B,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,SAAS;QACvC,IAAI,CAAC;YACH,OAAO,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC;QAC9C,CAAC;QAAC,MAAM,CAAC;YACP,wBAAwB;QAC1B,CAAC;IACH,CAAC;IAED,OAAO;QACL,SAAS;QACT,OAAO;QACP,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KACtC,CAAC;AACJ,CAAC"}

package/dist/policy-domains/domains.d.ts

@@ -0,0 +1,31 @@
+/**
+ * Policy Domain Framework (System 6: Governance-as-Code)
+ *
+ * Formal domain registry covering 6 governance domains.
+ * Each domain has schema definition, defaults, validation, and resolution.
+ *
+ * Resolution rule: strictest-wins
+ *   - Booleans: true (enabled/required) wins
+ *   - Numbers (thresholds): lower value wins (tighter constraint)
+ *   - Numbers (limits): lower value wins (tighter constraint)
+ *   - Strings (severity): stricter severity wins (critical > high > medium > low)
+ *   - String arrays (deny_paths): union of all entries
+ */
+import type { PolicyDomain, PolicyDomainDefinition, PolicyValidationError } from '@codeledger/types';
+/** All 6 policy domain definitions. */
+export declare const POLICY_DOMAINS: ReadonlyMap<PolicyDomain, PolicyDomainDefinition>;
+/**
+ * Validate a config object against a specific domain's schema.
+ * Returns an array of validation errors (empty if valid).
+ */
+export declare function validateDomain(domain: string, config: unknown): PolicyValidationError[];
+/**
+ * Resolve multiple configs for a domain using strictest-wins logic.
+ * Returns the merged config with the strictest value for each field.
+ */
+export declare function resolveDomain(domain: string, configs: unknown[]): unknown;
+/**
+ * Get the default config for a domain.
+ */
+export declare function getDefaultDomain(domain: string): unknown;
+//# sourceMappingURL=domains.d.ts.map

package/dist/policy-domains/domains.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"domains.d.ts","sourceRoot":"","sources":["../../src/policy-domains/domains.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EACV,YAAY,EACZ,sBAAsB,EAEtB,qBAAqB,EACtB,MAAM,mBAAmB,CAAC;AAqO3B,uCAAuC;AACvC,eAAO,MAAM,cAAc,EAAE,WAAW,CAAC,YAAY,EAAE,sBAAsB,CAO3E,CAAC;AAIH;;;GAGG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,GAAG,qBAAqB,EAAE,CAiDvF;AA0FD;;;GAGG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,OAAO,CAqBzE;AAkDD;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAIxD"}