logicstamp-context 0.1.0

package/dist/core/pack.js

@@ -0,0 +1,438 @@
+/**
+ * @uif Contract 0.3
+ *
+ * Description: pack - Presentational component
+ *
+ * Version (Component Composition):
+ *   variables: []
+ *   hooks: []
+ *   components: []
+ *   functions: ["buildEdges","collectDependencies","computeBundleHash","extractCodeHeader","findComponentByName","formatBundle","loadContract","loadManifest","pack","readSourceCode","resolveDependency","resolveKey","stableSort","validateHashLock"]
+ *   imports: ["../types/UIFContract.js","../utils/fsx.js","../utils/hash.js","./manifest.js","node:fs/promises","node:path"]
+ *
+ * Logic Signature:
+ *   props: {}
+ *   events: {}
+ *   state: {}
+ *
+ * Predictions:
+ *   Includes form validation logic, Fetches or mutates external data
+ *
+ * Hashes (informational only - authoritative values in .uif.json):
+ *   semantic: uif:70da3ed90cc7516abcbbf13b (informational)
+ *   file: uif:a70a7b698f5520bf49d74a91
+ */
+/**
+ * Pack module - Generate LLM-ready context bundles for components
+ * Creates compact, hash-locked bundles with dependency graphs
+ */
+import { readFile } from 'node:fs/promises';
+import { join, resolve, isAbsolute } from 'node:path';
+import { normalizeEntryId } from '../utils/fsx.js';
+import { bundleHash as computeBundleHashStable } from '../utils/hash.js';
+import { createRequire } from 'node:module';
+// Load package.json to get version
+const require = createRequire(import.meta.url);
+const pkg = require('../../package.json');
+const PACKAGE_VERSION = `${pkg.name}@${pkg.version}`;
+/**
+ * Load manifest from file
+ */
+export async function loadManifest(basePath) {
+    const manifestPath = join(basePath, 'logicstamp.manifest.json');
+    try {
+        const content = await readFile(manifestPath, 'utf8');
+        return JSON.parse(content);
+    }
+    catch (error) {
+        throw new Error(`Failed to load manifest at ${manifestPath}: ${error.message}`);
+    }
+}
+/**
+ * Load a sidecar contract file
+ * Sidecar path is computed from the manifest key (project-relative): resolved from projectRoot + key + '.uif.json'
+ */
+export async function loadContract(entryId, projectRoot) {
+    // Resolve relative path from project root
+    const absolutePath = isAbsolute(entryId) ? entryId : resolve(projectRoot, entryId);
+    const sidecarPath = `${absolutePath}.uif.json`;
+    try {
+        const content = await readFile(sidecarPath, 'utf8');
+        return JSON.parse(content);
+    }
+    catch (error) {
+        // Sidecar file doesn't exist or can't be read
+        return null;
+    }
+}
+/**
+ * Normalize a file path for cross-platform consistency
+ * Re-exports the canonical normalizeEntryId from utils/fsx
+ * This ensures all path normalization uses the same function
+ */
+export { normalizeEntryId } from '../utils/fsx.js';
+/**
+ * Resolve input (path or name) to a manifest key
+ * This is the canonical resolution used by both pack and similar commands
+ */
+export function resolveKey(manifest, input) {
+    const normalized = normalizeEntryId(input);
+    // Try exact match first (normalized key match)
+    if (manifest.components[normalized]) {
+        return normalized;
+    }
+    // Try to find by normalized key match
+    const entries = Object.entries(manifest.components);
+    for (const [key, node] of entries) {
+        if (normalizeEntryId(key) === normalized || normalizeEntryId(node.entryId) === normalized) {
+            return key; // Return the manifest key, not the node's entryId
+        }
+    }
+    // Look for name match (Button, LoginForm, etc.)
+    // Build name → [keys] index for ambiguous cases
+    const nameMatches = [];
+    for (const [key] of entries) {
+        const fileName = key.split(/[/\\]/).pop()?.replace(/\.(tsx?|jsx?)$/, '');
+        if (fileName === input || fileName === input.replace(/\.(tsx?|jsx?)$/, '')) {
+            nameMatches.push(key);
+        }
+    }
+    if (nameMatches.length === 1) {
+        return nameMatches[0];
+    }
+    else if (nameMatches.length > 1) {
+        // Ambiguous - return first match but this should be handled by caller
+        return nameMatches[0];
+    }
+    return null;
+}
+/**
+ * Find a component node by name or path
+ * Returns the component node and the manifest key it was found under
+ */
+export function findComponentByName(manifest, nameOrPath) {
+    const key = resolveKey(manifest, nameOrPath);
+    return key ? manifest.components[key] : null;
+}
+/**
+ * Resolve a dependency name to a manifest key
+ * Uses the canonical resolveKey() function for consistent resolution
+ * Prioritizes relative paths to avoid cross-directory conflicts
+ */
+export function resolveDependency(manifest, depName, parentId) {
+    // parentId is a manifest key (canonical identifier)
+    // First, try relative path resolution based on parent directory
+    // This ensures we resolve to components in the same directory tree first
+    // parentId is a manifest key (normalized path), extract directory
+    const parentDir = parentId.substring(0, parentId.lastIndexOf('/'));
+    const possiblePaths = [
+        `${parentDir}/${depName}.tsx`,
+        `${parentDir}/${depName}.ts`,
+        `${parentDir}/${depName}/index.tsx`,
+        `${parentDir}/${depName}/index.ts`,
+    ];
+    for (const path of possiblePaths) {
+        const key = resolveKey(manifest, path);
+        if (key) {
+            return key; // Return manifest key (canonical identifier)
+        }
+    }
+    // Only fall back to global name search if relative paths didn't work
+    // This prevents cross-directory conflicts (e.g., tests/fixtures vs examples)
+    const key = resolveKey(manifest, depName);
+    if (key) {
+        return key; // Return manifest key (canonical identifier)
+    }
+    return null;
+}
+/**
+ * Perform BFS traversal to collect dependencies
+ */
+export function collectDependencies(entryId, manifest, depth, maxNodes) {
+    const visited = new Set();
+    const missing = [];
+    const queue = [{ id: entryId, level: 0 }];
+    while (queue.length > 0) {
+        const current = queue.shift();
+        // Normalize the ID for lookup
+        const normalizedId = normalizeEntryId(current.id);
+        // Try to find component by normalized ID
+        let node = manifest.components[normalizedId];
+        let componentKey = normalizedId;
+        // If not found, try to find by matching normalized entryIds
+        if (!node) {
+            for (const [key, comp] of Object.entries(manifest.components)) {
+                if (normalizeEntryId(key) === normalizedId || normalizeEntryId(comp.entryId) === normalizedId) {
+                    node = comp;
+                    componentKey = key;
+                    break;
+                }
+            }
+        }
+        // Skip if already visited or exceeded depth
+        if (visited.has(componentKey) || current.level > depth) {
+            continue;
+        }
+        // Check max nodes limit
+        if (visited.size >= maxNodes) {
+            break;
+        }
+        if (!node) {
+            missing.push({
+                name: current.id,
+                reason: 'Component not found in manifest',
+            });
+            continue;
+        }
+        visited.add(componentKey);
+        // Only traverse deeper if we haven't reached depth limit
+        if (current.level < depth) {
+            // Add dependencies to queue
+            for (const dep of node.dependencies) {
+                const resolvedId = resolveDependency(manifest, dep, componentKey);
+                if (resolvedId) {
+                    if (!visited.has(resolvedId)) {
+                        queue.push({ id: resolvedId, level: current.level + 1 });
+                    }
+                }
+                else {
+                    // Track missing dependency
+                    if (!missing.some((m) => m.name === dep)) {
+                        missing.push({
+                            name: dep,
+                            reason: 'No contract found (third-party or not scanned)',
+                            referencedBy: componentKey, // Use manifest key, not current.id
+                        });
+                    }
+                }
+            }
+        }
+    }
+    return { visited, missing };
+}
+/**
+ * Extract code header (JSDoc @uif block) from source file
+ */
+export async function extractCodeHeader(entryId, projectRoot) {
+    try {
+        const absolutePath = isAbsolute(entryId) ? entryId : resolve(projectRoot, entryId);
+        const content = await readFile(absolutePath, 'utf8');
+        // Look for @uif JSDoc block
+        const headerMatch = content.match(/\/\*\*[\s\S]*?@uif[\s\S]*?\*\//);
+        if (headerMatch) {
+            return headerMatch[0];
+        }
+        return null;
+    }
+    catch (error) {
+        return null;
+    }
+}
+/**
+ * Read full source code
+ */
+export async function readSourceCode(entryId, projectRoot) {
+    try {
+        const absolutePath = isAbsolute(entryId) ? entryId : resolve(projectRoot, entryId);
+        return await readFile(absolutePath, 'utf8');
+    }
+    catch (error) {
+        return null;
+    }
+}
+/**
+ * Build edges from nodes based on dependencies
+ */
+export function buildEdges(nodes, manifest) {
+    const edges = [];
+    const nodeIds = new Set(nodes.map((n) => n.entryId));
+    for (const node of nodes) {
+        const componentNode = manifest.components[node.entryId];
+        if (!componentNode)
+            continue;
+        for (const dep of componentNode.dependencies) {
+            const resolvedId = resolveDependency(manifest, dep, node.entryId);
+            // Only add edge if both nodes are in the bundle
+            if (resolvedId && nodeIds.has(resolvedId)) {
+                edges.push([node.entryId, resolvedId]);
+            }
+        }
+    }
+    return edges;
+}
+/**
+ * Sort nodes deterministically for stable bundle hashes
+ */
+export function stableSort(nodes) {
+    return [...nodes].sort((a, b) => {
+        // Sort by entryId for determinism
+        return a.entryId.localeCompare(b.entryId);
+    });
+}
+/**
+ * Compute bundle hash from nodes using stable hashing
+ */
+export function computeBundleHash(nodes, depth) {
+    // Use the stable bundleHash function from utils/hash
+    const nodeData = nodes.map(n => ({
+        entryId: n.entryId,
+        semanticHash: n.contract.semanticHash,
+    }));
+    return computeBundleHashStable(nodeData, depth, '0.1');
+}
+/**
+ * Validate hash-lock: ensure contract hashes match current state
+ *
+ * Recomputes file hash from source and compares to contract.fileHash from sidecar
+ * (authoritative, not from header). fileHash() automatically strips @uif header block
+ * before hashing, so header updates won't cause hash churn.
+ */
+export async function validateHashLock(contract, entryId, projectRoot) {
+    try {
+        // Read the actual source file
+        const absolutePath = isAbsolute(entryId) ? entryId : resolve(projectRoot, entryId);
+        const sourceContent = await readFile(absolutePath, 'utf8');
+        // Recompute file hash (strips @uif header block automatically)
+        const { fileHash: computedFileHash } = await import('../utils/hash.js');
+        const actualFileHash = computedFileHash(sourceContent);
+        // Compare to sidecar contract.fileHash (authoritative, not header)
+        if (actualFileHash !== contract.fileHash) {
+            return false;
+        }
+        // Semantic hash should match (derived from structure + signature)
+        // If fileHash matches, semantic hash should also match since it's derived from the AST
+        return true;
+    }
+    catch (error) {
+        // If we can't read/parse the file, fail validation
+        return false;
+    }
+}
+/**
+ * Main pack function - generates a bundle for a component
+ */
+export async function pack(entryId, manifest, options, projectRoot) {
+    // Normalize entry ID
+    const normalizedEntry = normalizeEntryId(entryId);
+    // Find the entry component using canonical resolution
+    const manifestKey = resolveKey(manifest, normalizedEntry);
+    if (!manifestKey) {
+        const componentKeys = Object.keys(manifest.components).slice(0, 5);
+        const suggestions = componentKeys.length > 0
+            ? `\nAvailable components:\n${componentKeys.map(k => `  - ${k}`).join('\n')}${componentKeys.length < manifest.totalComponents ? `\n  ... and ${manifest.totalComponents - componentKeys.length} more` : ''}`
+            : '';
+        throw new Error(`Component not found: ${entryId} (normalized: ${normalizedEntry}).` +
+            suggestions);
+    }
+    // Use manifest key as the canonical identifier (not entryComponent.entryId)
+    const actualEntryId = manifestKey;
+    // Collect dependencies via BFS
+    const { visited, missing } = collectDependencies(actualEntryId, manifest, options.depth, options.maxNodes);
+    // Load contracts for all visited nodes
+    // visited contains manifest keys (canonical identifiers, now project-relative)
+    const nodes = [];
+    for (const manifestKey of Array.from(visited)) {
+        // Try to get contract from in-memory map first (standalone mode), then from sidecar file
+        const contract = options.contractsMap?.get(manifestKey) || await loadContract(manifestKey, projectRoot);
+        if (!contract) {
+            const absolutePath = isAbsolute(manifestKey) ? manifestKey : resolve(projectRoot, manifestKey);
+            const sidecarPath = `${absolutePath}.uif.json`;
+            if (options.strict) {
+                throw new Error(`Missing contract for ${manifestKey} (strict mode enabled). ` +
+                    `Expected sidecar at: ${sidecarPath}`);
+            }
+            if (!options.allowMissing) {
+                missing.push({
+                    name: manifestKey,
+                    reason: `Contract file not found at ${sidecarPath}`,
+                });
+                continue;
+            }
+        }
+        // Validate hash lock if enabled
+        if (options.hashLock && contract) {
+            const isValid = await validateHashLock(contract, manifestKey, projectRoot);
+            if (!isValid) {
+                throw new Error(`Hash lock validation failed for ${manifestKey}. ` +
+                    `The file has been modified since the contract was generated. ` +
+                    `Run 'logicstamp compile' to regenerate contracts.`);
+            }
+        }
+        // Get code/header based on options
+        // Use manifestKey with projectRoot for file operations
+        let codeHeader = undefined;
+        let code = undefined;
+        if (options.includeCode === 'header') {
+            codeHeader = await extractCodeHeader(manifestKey, projectRoot);
+        }
+        else if (options.includeCode === 'full') {
+            code = await readSourceCode(manifestKey, projectRoot);
+            codeHeader = await extractCodeHeader(manifestKey, projectRoot);
+        }
+        if (contract) {
+            nodes.push({
+                entryId: manifestKey, // Use manifest key as the canonical identifier
+                contract,
+                ...(codeHeader !== undefined && { codeHeader }),
+                ...(code !== undefined && { code }),
+            });
+        }
+    }
+    // DX & guardrails: If no nodes were packed, provide helpful error
+    if (nodes.length === 0) {
+        throw new Error(`No nodes packed. ` +
+            `Entry component '${actualEntryId}' was found in manifest, but no contracts could be loaded. ` +
+            `Run 'logicstamp compile' to generate sidecar files, or check that path/name matches manifest keys.`);
+    }
+    // Build edges
+    const edges = buildEdges(nodes, manifest);
+    // Sort nodes for deterministic output
+    const sortedNodes = stableSort(nodes);
+    // Sort edges for deterministic output
+    const sortedEdges = edges.sort((a, b) => {
+        const fromCompare = a[0].localeCompare(b[0]);
+        return fromCompare !== 0 ? fromCompare : a[1].localeCompare(b[1]);
+    });
+    // Compute bundle hash
+    const bundleHash = computeBundleHash(sortedNodes, options.depth);
+    // Create bundle
+    const bundle = {
+        type: 'LogicStampBundle',
+        schemaVersion: '0.1',
+        entryId: actualEntryId,
+        depth: options.depth,
+        createdAt: new Date().toISOString(),
+        bundleHash,
+        graph: {
+            nodes: sortedNodes,
+            edges: sortedEdges,
+        },
+        meta: {
+            missing,
+            source: PACKAGE_VERSION,
+        },
+    };
+    // Final check: bundle should have at least the entry node
+    if (bundle.graph.nodes.length === 0) {
+        throw new Error(`No nodes packed. ` +
+            `Run 'logicstamp compile' to generate contracts, or check path/name against manifest keys.`);
+    }
+    return bundle;
+}
+/**
+ * Format bundle for output
+ */
+export function formatBundle(bundle, format) {
+    switch (format) {
+        case 'json':
+            return JSON.stringify(bundle);
+        case 'pretty':
+            return JSON.stringify(bundle, null, 2);
+        case 'ndjson':
+            // Each node as a separate line
+            return bundle.graph.nodes.map((node) => JSON.stringify(node)).join('\n');
+        default:
+            return JSON.stringify(bundle, null, 2);
+    }
+}
+//# sourceMappingURL=pack.js.map

package/dist/core/pack.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pack.js","sourceRoot":"","sources":["../../src/core/pack.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH;;;GAGG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACtD,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAGnD,OAAO,EAAE,UAAU,IAAI,uBAAuB,EAAE,MAAM,kBAAkB,CAAC;AACzE,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAE5C,mCAAmC;AACnC,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC/C,MAAM,GAAG,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAAC;AAC1C,MAAM,eAAe,GAAG,GAAG,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;AAmGrD;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,QAAgB;IACjD,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,EAAE,0BAA0B,CAAC,CAAC;IAChE,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;QACrD,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAoB,CAAC;IAChD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CACb,8BAA8B,YAAY,KAAM,KAAe,CAAC,OAAO,EAAE,CAC1E,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,OAAe,EAAE,WAAmB;IACrE,0CAA0C;IAC1C,MAAM,YAAY,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IACnF,MAAM,WAAW,GAAG,GAAG,YAAY,WAAW,CAAC;IAE/C,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;QACpD,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAgB,CAAC;IAC5C,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,8CAA8C;QAC9C,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAEnD;;;GAGG;AACH,MAAM,UAAU,UAAU,CACxB,QAAyB,EACzB,KAAa;IAEb,MAAM,UAAU,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IAE3C,+CAA+C;IAC/C,IAAI,QAAQ,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QACpC,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,sCAAsC;IACtC,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IACpD,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,OAAO,EAAE,CAAC;QAClC,IAAI,gBAAgB,CAAC,GAAG,CAAC,KAAK,UAAU,IAAI,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,UAAU,EAAE,CAAC;YAC1F,OAAO,GAAG,CAAC,CAAC,kDAAkD;QAChE,CAAC;IACH,CAAC;IAED,gDAAgD;IAChD,gDAAgD;IAChD,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,KAAK,MAAM,CAAC,GAAG,CAAC,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;QACzE,IAAI,QAAQ,KAAK,KAAK,IAAI,QAAQ,KAAK,KAAK,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,CAAC,EAAE,CAAC;YAC3E,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;IAED,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,WAAW,CAAC,CAAC,CAAC,CAAC;IACxB,CAAC;SAAM,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,sEAAsE;QACtE,OAAO,WAAW,CAAC,CAAC,CAAC,CAAC;IACxB,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CACjC,QAAyB,EACzB,UAAkB;IAElB,MAAM,GAAG,GAAG,UAAU,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC7C,OAAO,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/C,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAC/B,QAAyB,EACzB,OAAe,EACf,QAAgB;IAEhB,oDAAoD;IAEpD,gEAAgE;IAChE,yEAAyE;IACzE,kEAAkE;IAClE,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,EAAE,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;IACnE,MAAM,aAAa,GAAG;QACpB,GAAG,SAAS,IAAI,OAAO,MAAM;QAC7B,GAAG,SAAS,IAAI,OAAO,KAAK;QAC5B,GAAG,SAAS,IAAI,OAAO,YAAY;QACnC,GAAG,SAAS,IAAI,OAAO,WAAW;KACnC,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QACvC,IAAI,GAAG,EAAE,CAAC;YACR,OAAO,GAAG,CAAC,CAAC,6CAA6C;QAC3D,CAAC;IACH,CAAC;IAED,qEAAqE;IACrE,6EAA6E;IAC7E,MAAM,GAAG,GAAG,UAAU,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC1C,IAAI,GAAG,EAAE,CAAC;QACR,OAAO,GAAG,CAAC,CAAC,6CAA6C;IAC3D,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,mBAAmB,CACjC,OAAe,EACf,QAAyB,EACzB,KAAa,EACb,QAAgB;IAEhB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,OAAO,GAAwB,EAAE,CAAC;IACxC,MAAM,KAAK,GAAyC,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAEhF,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAE/B,8BAA8B;QAC9B,MAAM,YAAY,GAAG,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAElD,yCAAyC;QACzC,IAAI,IAAI,GAAG,QAAQ,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;QAC7C,IAAI,YAAY,GAAG,YAAY,CAAC;QAEhC,4DAA4D;QAC5D,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC9D,IAAI,gBAAgB,CAAC,GAAG,CAAC,KAAK,YAAY,IAAI,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,YAAY,EAAE,CAAC;oBAC9F,IAAI,GAAG,IAAI,CAAC;oBACZ,YAAY,GAAG,GAAG,CAAC;oBACnB,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;QAED,4CAA4C;QAC5C,IAAI,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,OAAO,CAAC,KAAK,GAAG,KAAK,EAAE,CAAC;YACvD,SAAS;QACX,CAAC;QAED,wBAAwB;QACxB,IAAI,OAAO,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC7B,MAAM;QACR,CAAC;QAED,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,OAAO,CAAC,EAAE;gBAChB,MAAM,EAAE,iCAAiC;aAC1C,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAE1B,yDAAyD;QACzD,IAAI,OAAO,CAAC,KAAK,GAAG,KAAK,EAAE,CAAC;YAC1B,4BAA4B;YAC5B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACpC,MAAM,UAAU,GAAG,iBAAiB,CAAC,QAAQ,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;gBAElE,IAAI,UAAU,EAAE,CAAC;oBACf,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;wBAC7B,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;oBAC3D,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,2BAA2B;oBAC3B,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;wBACzC,OAAO,CAAC,IAAI,CAAC;4BACX,IAAI,EAAE,GAAG;4BACT,MAAM,EAAE,gDAAgD;4BACxD,YAAY,EAAE,YAAY,EAAE,mCAAmC;yBAChE,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AAC9B,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,OAAe,EAAE,WAAmB;IAC1E,IAAI,CAAC;QACH,MAAM,YAAY,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;QACnF,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;QAErD,4BAA4B;QAC5B,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,gCAAgC,CAAC,CAAC;QACpE,IAAI,WAAW,EAAE,CAAC;YAChB,OAAO,WAAW,CAAC,CAAC,CAAC,CAAC;QACxB,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,OAAe,EAAE,WAAmB;IACvE,IAAI,CAAC;QACH,MAAM,YAAY,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;QACnF,OAAO,MAAM,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IAC9C,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,UAAU,CAAC,KAAmB,EAAE,QAAyB;IACvE,MAAM,KAAK,GAAuB,EAAE,CAAC;IACrC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAErD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,aAAa,GAAG,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACxD,IAAI,CAAC,aAAa;YAAE,SAAS;QAE7B,KAAK,MAAM,GAAG,IAAI,aAAa,CAAC,YAAY,EAAE,CAAC;YAC7C,MAAM,UAAU,GAAG,iBAAiB,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;YAElE,gDAAgD;YAChD,IAAI,UAAU,IAAI,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC1C,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;YACzC,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,UAAU,CAAC,KAAmB;IAC5C,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC9B,kCAAkC;QAClC,OAAO,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAmB,EAAE,KAAa;IAClE,qDAAqD;IACrD,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/B,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,YAAY,EAAE,CAAC,CAAC,QAAQ,CAAC,YAAY;KACtC,CAAC,CAAC,CAAC;IAEJ,OAAO,uBAAuB,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;AACzD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,QAAqB,EAAE,OAAe,EAAE,WAAmB;IAChG,IAAI,CAAC;QACH,8BAA8B;QAC9B,MAAM,YAAY,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;QACnF,MAAM,aAAa,GAAG,MAAM,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;QAE3D,+DAA+D;QAC/D,MAAM,EAAE,QAAQ,EAAE,gBAAgB,EAAE,GAAG,MAAM,MAAM,CAAC,kBAAkB,CAAC,CAAC;QACxE,MAAM,cAAc,GAAG,gBAAgB,CAAC,aAAa,CAAC,CAAC;QAEvD,mEAAmE;QACnE,IAAI,cAAc,KAAK,QAAQ,CAAC,QAAQ,EAAE,CAAC;YACzC,OAAO,KAAK,CAAC;QACf,CAAC;QAED,kEAAkE;QAClE,uFAAuF;QACvF,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,mDAAmD;QACnD,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,IAAI,CACxB,OAAe,EACf,QAAyB,EACzB,OAAoB,EACpB,WAAmB;IAEnB,qBAAqB;IACrB,MAAM,eAAe,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;IAElD,sDAAsD;IACtD,MAAM,WAAW,GAAG,UAAU,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC;IAC1D,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,MAAM,aAAa,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACnE,MAAM,WAAW,GAAG,aAAa,CAAC,MAAM,GAAG,CAAC;YAC1C,CAAC,CAAC,4BAA4B,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,MAAM,GAAG,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,eAAe,QAAQ,CAAC,eAAe,GAAG,aAAa,CAAC,MAAM,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;YAC5M,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,IAAI,KAAK,CACb,wBAAwB,OAAO,iBAAiB,eAAe,IAAI;YACnE,WAAW,CACZ,CAAC;IACJ,CAAC;IAED,4EAA4E;IAC5E,MAAM,aAAa,GAAG,WAAW,CAAC;IAElC,+BAA+B;IAC/B,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,mBAAmB,CAC9C,aAAa,EACb,QAAQ,EACR,OAAO,CAAC,KAAK,EACb,OAAO,CAAC,QAAQ,CACjB,CAAC;IAEF,uCAAuC;IACvC,+EAA+E;IAC/E,MAAM,KAAK,GAAiB,EAAE,CAAC;IAE/B,KAAK,MAAM,WAAW,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9C,yFAAyF;QACzF,MAAM,QAAQ,GAAG,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,WAAW,CAAC,IAAI,MAAM,YAAY,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;QAExG,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,MAAM,YAAY,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;YAC/F,MAAM,WAAW,GAAG,GAAG,YAAY,WAAW,CAAC;YAC/C,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;gBACnB,MAAM,IAAI,KAAK,CACb,wBAAwB,WAAW,0BAA0B;oBAC7D,wBAAwB,WAAW,EAAE,CACtC,CAAC;YACJ,CAAC;YAED,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC;gBAC1B,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,WAAW;oBACjB,MAAM,EAAE,8BAA8B,WAAW,EAAE;iBACpD,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;QACH,CAAC;QAED,gCAAgC;QAChC,IAAI,OAAO,CAAC,QAAQ,IAAI,QAAQ,EAAE,CAAC;YACjC,MAAM,OAAO,GAAG,MAAM,gBAAgB,CAAC,QAAQ,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;YAC3E,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,MAAM,IAAI,KAAK,CACb,mCAAmC,WAAW,IAAI;oBAClD,+DAA+D;oBAC/D,mDAAmD,CACpD,CAAC;YACJ,CAAC;QACH,CAAC;QAED,mCAAmC;QACnC,uDAAuD;QACvD,IAAI,UAAU,GAA8B,SAAS,CAAC;QACtD,IAAI,IAAI,GAA8B,SAAS,CAAC;QAEhD,IAAI,OAAO,CAAC,WAAW,KAAK,QAAQ,EAAE,CAAC;YACrC,UAAU,GAAG,MAAM,iBAAiB,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;QACjE,CAAC;aAAM,IAAI,OAAO,CAAC,WAAW,KAAK,MAAM,EAAE,CAAC;YAC1C,IAAI,GAAG,MAAM,cAAc,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;YACtD,UAAU,GAAG,MAAM,iBAAiB,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;QACjE,CAAC;QAED,IAAI,QAAQ,EAAE,CAAC;YACb,KAAK,CAAC,IAAI,CAAC;gBACT,OAAO,EAAE,WAAW,EAAE,+CAA+C;gBACrE,QAAQ;gBACR,GAAG,CAAC,UAAU,KAAK,SAAS,IAAI,EAAE,UAAU,EAAE,CAAC;gBAC/C,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,IAAI,EAAE,CAAC;aACpC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,kEAAkE;IAClE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CACb,mBAAmB;YACnB,oBAAoB,aAAa,6DAA6D;YAC9F,oGAAoG,CACrG,CAAC;IACJ,CAAC;IAED,cAAc;IACd,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAE1C,sCAAsC;IACtC,MAAM,WAAW,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IAEtC,sCAAsC;IACtC,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACtC,MAAM,WAAW,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7C,OAAO,WAAW,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,sBAAsB;IACtB,MAAM,UAAU,GAAG,iBAAiB,CAAC,WAAW,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAEjE,gBAAgB;IAChB,MAAM,MAAM,GAAqB;QAC/B,IAAI,EAAE,kBAAkB;QACxB,aAAa,EAAE,KAAK;QACpB,OAAO,EAAE,aAAa;QACtB,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACnC,UAAU;QACV,KAAK,EAAE;YACL,KAAK,EAAE,WAAW;YAClB,KAAK,EAAE,WAAW;SACnB;QACD,IAAI,EAAE;YACJ,OAAO;YACP,MAAM,EAAE,eAAe;SACxB;KACF,CAAC;IAEF,0DAA0D;IAC1D,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CACb,mBAAmB;YACnB,2FAA2F,CAC5F,CAAC;IACJ,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,YAAY,CAAC,MAAwB,EAAE,MAAoB;IACzE,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,MAAM;YACT,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QAChC,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QACzC,KAAK,QAAQ;YACX,+BAA+B;YAC/B,OAAO,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3E;YACE,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAC3C,CAAC;AACH,CAAC"}

package/dist/core/signature.d.ts

@@ -0,0 +1,47 @@
+/**
+ * @uif Contract 0.3
+ *
+ * Description: signature - Presentational component
+ *
+ * Version (Component Composition):
+ *   variables: []
+ *   hooks: []
+ *   components: []
+ *   functions: ["applyDisplayOnlyPreset","applyNavOnlyPreset","applySubmitOnlyPreset","buildLogicSignature","generateBehavioralPredictions","inferDescription"]
+ *   imports: ["../types/UIFContract.js","./astParser.js"]
+ *
+ * Logic Signature:
+ *   props: {}
+ *   emits: {}
+ *   state: {}
+ *
+ * Predictions:
+ *   (none)
+ *
+ * Hashes (informational only - authoritative values in .uif.json):
+ *   semantic: uif:9a5a412d07f6985e03fda241 (informational)
+ *   file: uif:64d7d3b1474878658358e5a8
+ */
+/**
+ * Logic Signature Builder - Applies contract presets and generates predictions
+ */
+import type { AstExtract } from './astParser.js';
+import type { ContractPreset, LogicSignature } from '../types/UIFContract.js';
+export interface SignatureResult {
+    signature: LogicSignature;
+    prediction: string[];
+    violations: string[];
+}
+/**
+ * Build logic signature with preset validation
+ */
+export declare function buildLogicSignature(ast: AstExtract, preset: ContractPreset): SignatureResult;
+/**
+ * Generate additional behavioral predictions based on common patterns
+ */
+export declare function generateBehavioralPredictions(ast: AstExtract): string[];
+/**
+ * Infer component description from file name and structure
+ */
+export declare function inferDescription(filePath: string, ast: AstExtract): string;
+//# sourceMappingURL=signature.d.ts.map

package/dist/core/signature.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"signature.d.ts","sourceRoot":"","sources":["../../src/core/signature.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH;;GAEG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,KAAK,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAE9E,MAAM,WAAW,eAAe;IAC9B,SAAS,EAAE,cAAc,CAAC;IAC1B,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CACjC,GAAG,EAAE,UAAU,EACf,MAAM,EAAE,cAAc,GACrB,eAAe,CA2BjB;AA2FD;;GAEG;AACH,wBAAgB,6BAA6B,CAAC,GAAG,EAAE,UAAU,GAAG,MAAM,EAAE,CAgDvE;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,UAAU,GAAG,MAAM,CAsD1E"}