@shapeshift-labs/frontier-lang-compiler 0.2.2 → 0.2.4

package/dist/index.d.ts

@@ -75,6 +75,7 @@ export interface ImportNativeSourceOptions {
   readonly parserVersion?: string;
   readonly sourcePath?: string;
   readonly sourceHash?: string;
+  readonly sourceText?: string;
   readonly symbol?: string;
   readonly name?: string;
   readonly nativeAst?: NativeAstRecord;

package/dist/index.js

@@ -3,6 +3,7 @@ import {
   createImportResult,
   createNativeAstRecord,
   createPatch,
+  createSemanticIndexRecord,
   createUniversalAstEnvelope,
   hashDocumentBase,
   hashSemanticValue,
@@ -138,17 +139,26 @@ export function importNativeSource(input) {
   const language = input.language ?? input.nativeAst?.language;
   if (!language) throw new Error('importNativeSource requires a language or nativeAst.language');
   const sourcePath = input.sourcePath ?? input.nativeAst?.sourcePath;
-  const sourceHash = input.sourceHash ?? input.nativeAst?.sourceHash ?? hashSemanticValue(input.nativeAst?.nodes ?? input.nativeAst ?? {});
+  const sourceHash = input.sourceHash ?? input.nativeAst?.sourceHash ?? (input.sourceText ? hashSemanticValue(input.sourceText) : hashSemanticValue(input.nativeAst?.nodes ?? input.nativeAst ?? {}));
   const importIdPart = idFragment(input.id ?? input.nativeSourceId ?? sourcePath ?? language);
+  const lightweight = !input.nativeAst && !input.nodes && input.sourceText
+    ? createLightweightNativeImport({
+      language,
+      sourceText: input.sourceText,
+      sourcePath,
+      sourceHash,
+      parser: input.parser
+    })
+    : undefined;
   const nativeAst = input.nativeAst ?? createNativeAstRecord({
     id: input.nativeAstId ?? `native_ast_${importIdPart}`,
     language,
-    parser: input.parser,
+    parser: input.parser ?? lightweight?.parser,
     parserVersion: input.parserVersion,
     sourcePath,
     sourceHash,
-    rootId: input.rootId ?? 'native_root',
-    nodes: input.nodes ?? {
+    rootId: input.rootId ?? lightweight?.rootId ?? 'native_root',
+    nodes: input.nodes ?? lightweight?.nodes ?? {
       native_root: {
         id: 'native_root',
         kind: 'Unknown',
@@ -157,11 +167,15 @@ export function importNativeSource(input) {
         metadata: { reason: 'no-native-ast-nodes-provided' }
       }
     },
-    losses: input.losses,
-    metadata: input.nativeAstMetadata
+    losses: input.losses ?? lightweight?.losses,
+    metadata: {
+      ...(input.sourceText ? { sourceBytes: input.sourceText.length } : {}),
+      ...lightweight?.metadata,
+      ...input.nativeAstMetadata
+    }
   });
   const frontierNodeIds = input.frontierNodeIds ?? input.semanticNodes?.map((node) => node.id) ?? [];
-  const losses = input.losses ?? nativeAst.losses ?? [];
+  const losses = input.losses ?? nativeAst.losses ?? lightweight?.losses ?? [];
   const nativeSource = nativeSourceNode({
     id: input.nativeSourceId ?? `native_source_${importIdPart}`,
     name: input.name ?? sourcePath?.split(/[\\/]/).filter(Boolean).at(-1) ?? `${language}NativeSource`,
@@ -205,7 +219,7 @@ export function importNativeSource(input) {
       semanticStatus: input.semanticStatus ?? (semanticNodes.length ? 'mapped' : 'native-only')
     }
   }];
-  const semanticIndex = input.semanticIndex;
+  const semanticIndex = input.semanticIndex ?? lightweight?.semanticIndex;
   const universalAst = createUniversalAstEnvelope({
     id: input.universalAstId ?? `universal_ast_${importIdPart}`,
     document,
@@ -257,6 +271,303 @@ export function importNativeSource(input) {
   };
 }
 
+function createLightweightNativeImport(input) {
+  const parser = input.parser ?? `${input.language}.lightweight-declaration-scan`;
+  const rootId = 'native_root';
+  const nodes = {
+    [rootId]: {
+      id: rootId,
+      kind: 'Program',
+      languageKind: `${input.language}.program`,
+      children: [],
+      metadata: { parser, sourceHash: input.sourceHash }
+    }
+  };
+  const declarations = scanNativeDeclarations(input);
+  const losses = [];
+  const documentId = `doc_${idFragment(input.sourcePath ?? input.language)}`;
+  const symbols = [];
+  const occurrences = [];
+  const relations = [];
+  const facts = [];
+
+  for (const declaration of declarations) {
+    nodes[rootId].children.push(declaration.nodeId);
+    nodes[declaration.nodeId] = {
+      id: declaration.nodeId,
+      kind: declaration.kind,
+      languageKind: declaration.languageKind,
+      span: declaration.span,
+      value: declaration.name ?? declaration.importPath ?? null,
+      fields: declaration.fields,
+      metadata: declaration.metadata
+    };
+    if (declaration.symbolId) {
+      symbols.push({
+        id: declaration.symbolId,
+        scheme: 'frontier',
+        name: declaration.name,
+        kind: declaration.symbolKind,
+        language: input.language,
+        nativeAstNodeId: declaration.nodeId,
+        signatureHash: hashSemanticValue([input.language, declaration.kind, declaration.name, declaration.fields ?? {}]),
+        definitionSpan: declaration.span
+      });
+      occurrences.push({
+        id: `occ_${idFragment(declaration.nodeId)}_def`,
+        documentId,
+        symbolId: declaration.symbolId,
+        role: declaration.role ?? 'definition',
+        span: declaration.span,
+        nativeAstNodeId: declaration.nodeId
+      });
+      relations.push({
+        id: `rel_${idFragment(documentId)}_${idFragment(declaration.nodeId)}`,
+        sourceId: documentId,
+        predicate: declaration.role === 'import' ? 'imports' : 'defines',
+        targetId: declaration.symbolId
+      });
+      facts.push({
+        id: `fact_${idFragment(declaration.nodeId)}_kind`,
+        predicate: 'nativeKind',
+        subjectId: declaration.symbolId,
+        value: declaration.languageKind
+      });
+    }
+    if (declaration.loss) losses.push(declaration.loss);
+  }
+
+  const semanticIndex = createSemanticIndexRecord({
+    id: `index_${idFragment(input.sourcePath ?? input.language)}`,
+    documents: [{
+      id: documentId,
+      path: input.sourcePath ?? `${input.language}:memory`,
+      language: input.language,
+      sourceHash: input.sourceHash
+    }],
+    symbols,
+    occurrences,
+    relations,
+    facts,
+    evidence: [{
+      id: `evidence_${idFragment(input.sourcePath ?? input.language)}_lightweight_scan`,
+      kind: 'import',
+      status: 'passed',
+      path: input.sourcePath,
+      summary: `Lightweight declaration scan found ${symbols.length} symbol(s).`,
+      metadata: { parser }
+    }],
+    metadata: {
+      parser,
+      coverage: 'declarations-only',
+      unsupported: ['full expression AST', 'type checking', 'control flow', 'comments and formatting preservation']
+    }
+  });
+
+  return {
+    parser,
+    rootId,
+    nodes,
+    losses,
+    semanticIndex,
+    metadata: { parser, scanKind: 'lightweight-declaration-scan', declarationCount: declarations.length }
+  };
+}
+
+function scanNativeDeclarations(input) {
+  const language = String(input.language).toLowerCase();
+  if (language === 'javascript' || language === 'typescript') return scanJavaScriptLike(input);
+  if (language === 'python') return scanPython(input);
+  if (language === 'rust') return scanRust(input);
+  if (language === 'c' || language === 'cpp' || language === 'c++') return scanCLike(input);
+  return scanGenericDeclarations(input);
+}
+
+function scanJavaScriptLike(input) {
+  const declarations = [];
+  for (const { line, number } of sourceLines(input.sourceText)) {
+    const trimmed = line.trim();
+    let match;
+    if ((match = trimmed.match(/^(?:export\s+)?(?:async\s+)?function\s+([A-Za-z_$][\w$]*)\s*\(([^)]*)\)/))) {
+      declarations.push(nativeDeclaration(input, number, 'FunctionDeclaration', 'function', match[1], { parameters: splitParameters(match[2]) }, trimmed.includes('{')));
+    } else if ((match = trimmed.match(/^(?:export\s+)?class\s+([A-Za-z_$][\w$]*)/))) {
+      declarations.push(nativeDeclaration(input, number, 'ClassDeclaration', 'class', match[1], {}, trimmed.includes('{')));
+    } else if ((match = trimmed.match(/^(?:export\s+)?interface\s+([A-Za-z_$][\w$]*)/))) {
+      declarations.push(nativeDeclaration(input, number, 'InterfaceDeclaration', 'interface', match[1], {}, trimmed.includes('{')));
+    } else if ((match = trimmed.match(/^(?:export\s+)?type\s+([A-Za-z_$][\w$]*)\s*=/))) {
+      declarations.push(nativeDeclaration(input, number, 'TypeAliasDeclaration', 'type', match[1], {}, false));
+    } else if ((match = trimmed.match(/^(?:export\s+)?(?:const|let|var)\s+([A-Za-z_$][\w$]*)\s*=\s*(?:async\s*)?\(?([^=;]*)\)?\s*=>/))) {
+      declarations.push(nativeDeclaration(input, number, 'VariableFunctionDeclaration', 'function', match[1], { parameters: splitParameters(match[2]) }, true));
+    } else if ((match = trimmed.match(/^import\s+(?:.+?\s+from\s+)?['"]([^'"]+)['"]/))) {
+      declarations.push(nativeImportDeclaration(input, number, match[1], 'ImportDeclaration', 'module'));
+    } else if ((match = trimmed.match(/^export\s+\{[^}]*\}\s+from\s+['"]([^'"]+)['"]/))) {
+      declarations.push(nativeImportDeclaration(input, number, match[1], 'ExportFromDeclaration', 'module'));
+    }
+  }
+  return declarations;
+}
+
+function scanPython(input) {
+  const declarations = [];
+  for (const { line, number } of sourceLines(input.sourceText)) {
+    const trimmed = line.trim();
+    let match;
+    if ((match = trimmed.match(/^(?:async\s+)?def\s+([A-Za-z_]\w*)\s*\(([^)]*)\)\s*:/))) {
+      declarations.push(nativeDeclaration(input, number, 'FunctionDef', 'function', match[1], { parameters: splitParameters(match[2]) }, true));
+    } else if ((match = trimmed.match(/^class\s+([A-Za-z_]\w*)/))) {
+      declarations.push(nativeDeclaration(input, number, 'ClassDef', 'class', match[1], {}, true));
+    } else if ((match = trimmed.match(/^(?:from\s+([A-Za-z_][\w.]*)\s+import\s+.+|import\s+([A-Za-z_][\w.]*))/))) {
+      declarations.push(nativeImportDeclaration(input, number, match[1] ?? match[2], 'Import', 'module'));
+    }
+  }
+  return declarations;
+}
+
+function scanRust(input) {
+  const declarations = [];
+  for (const { line, number } of sourceLines(input.sourceText)) {
+    const trimmed = line.trim();
+    let match;
+    if ((match = trimmed.match(/^(?:pub(?:\([^)]*\))?\s+)?(?:async\s+)?fn\s+([A-Za-z_]\w*)\s*\(([^)]*)\)/))) {
+      declarations.push(nativeDeclaration(input, number, 'ItemFn', 'function', match[1], { parameters: splitParameters(match[2]) }, trimmed.includes('{')));
+    } else if ((match = trimmed.match(/^(?:pub(?:\([^)]*\))?\s+)?struct\s+([A-Za-z_]\w*)/))) {
+      declarations.push(nativeDeclaration(input, number, 'ItemStruct', 'type', match[1], {}, trimmed.includes('{')));
+    } else if ((match = trimmed.match(/^(?:pub(?:\([^)]*\))?\s+)?enum\s+([A-Za-z_]\w*)/))) {
+      declarations.push(nativeDeclaration(input, number, 'ItemEnum', 'type', match[1], {}, trimmed.includes('{')));
+    } else if ((match = trimmed.match(/^(?:pub(?:\([^)]*\))?\s+)?trait\s+([A-Za-z_]\w*)/))) {
+      declarations.push(nativeDeclaration(input, number, 'ItemTrait', 'trait', match[1], {}, trimmed.includes('{')));
+    } else if ((match = trimmed.match(/^impl(?:\s*<[^>]+>)?\s+(.+?)\s*\{/))) {
+      declarations.push(nativeDeclaration(input, number, 'ItemImpl', 'implementation', idFragment(match[1]), { target: match[1].trim() }, true));
+    } else if ((match = trimmed.match(/^(?:pub(?:\([^)]*\))?\s+)?mod\s+([A-Za-z_]\w*)/))) {
+      declarations.push(nativeDeclaration(input, number, 'ItemMod', 'module', match[1], {}, trimmed.includes('{')));
+    } else if ((match = trimmed.match(/^use\s+(.+?);/))) {
+      declarations.push(nativeImportDeclaration(input, number, match[1], 'ItemUse', 'module'));
+    } else if (/^[A-Za-z_]\w*!\s*[({[]/.test(trimmed)) {
+      declarations.push(nativeMacroLoss(input, number, trimmed, 'macroExpansion'));
+    }
+  }
+  return declarations;
+}
+
+function scanCLike(input) {
+  const declarations = [];
+  for (const { line, number } of sourceLines(input.sourceText)) {
+    const trimmed = line.trim();
+    let match;
+    if ((match = trimmed.match(/^#\s*include\s+[<"]([^>"]+)[>"]/))) {
+      declarations.push(nativeImportDeclaration(input, number, match[1], 'IncludeDirective', 'header'));
+    } else if ((match = trimmed.match(/^#\s*define\s+([A-Za-z_]\w*)/))) {
+      declarations.push(nativeMacroLoss(input, number, trimmed, 'preprocessor', match[1]));
+    } else if ((match = trimmed.match(/^typedef\s+struct(?:\s+([A-Za-z_]\w*))?/))) {
+      declarations.push(nativeDeclaration(input, number, 'TypedefStructDeclaration', 'type', match[1] ?? `anonymous_struct_${number}`, {}, trimmed.includes('{')));
+    } else if ((match = trimmed.match(/^(?:struct|enum)\s+([A-Za-z_]\w*)/))) {
+      declarations.push(nativeDeclaration(input, number, 'TagDeclaration', 'type', match[1], {}, trimmed.includes('{')));
+    } else if ((match = trimmed.match(/^(?:[A-Za-z_][\w\s*:&<>]+)\s+([A-Za-z_]\w*)\s*\(([^;{}]*)\)\s*(?:;|\{)?$/))) {
+      declarations.push(nativeDeclaration(input, number, 'FunctionDeclaration', 'function', match[1], { parameters: splitParameters(match[2]) }, trimmed.endsWith('{')));
+    }
+  }
+  return declarations;
+}
+
+function scanGenericDeclarations(input) {
+  return sourceLines(input.sourceText)
+    .filter(({ line }) => /\b(function|class|struct|enum|trait|interface|def)\b/.test(line))
+    .map(({ line, number }) => nativeDeclaration(input, number, 'NativeDeclaration', 'variable', idFragment(line.trim()).slice(0, 40), { source: line.trim() }, true));
+}
+
+function nativeDeclaration(input, lineNumber, languageKind, symbolKind, name, fields = {}, hasBody = false) {
+  const nodeId = `native_${idFragment(languageKind)}_${lineNumber}_${idFragment(name)}`;
+  return {
+    nodeId,
+    kind: languageKind,
+    languageKind: `${input.language}.${languageKind}`,
+    name,
+    symbolKind,
+    symbolId: `symbol:${input.language}:${idFragment(name)}`,
+    span: spanForLine(input, lineNumber),
+    fields,
+    metadata: { scan: 'lightweight-declaration', hasBody },
+    ...(hasBody ? { loss: opaqueBodyLoss(input, lineNumber, nodeId, name) } : {})
+  };
+}
+
+function nativeImportDeclaration(input, lineNumber, importPath, languageKind, symbolKind) {
+  const name = String(importPath);
+  const nodeId = `native_${idFragment(languageKind)}_${lineNumber}_${idFragment(name)}`;
+  return {
+    nodeId,
+    kind: languageKind,
+    languageKind: `${input.language}.${languageKind}`,
+    name,
+    symbolKind,
+    symbolId: `symbol:${input.language}:import:${idFragment(name)}`,
+    role: 'import',
+    importPath: name,
+    span: spanForLine(input, lineNumber),
+    fields: { importPath: name },
+    metadata: { scan: 'lightweight-import' }
+  };
+}
+
+function nativeMacroLoss(input, lineNumber, source, kind, name = idFragment(source).slice(0, 40)) {
+  const nodeId = `native_${kind}_${lineNumber}_${idFragment(name)}`;
+  return {
+    nodeId,
+    kind: kind === 'preprocessor' ? 'PreprocessorDirective' : 'MacroInvocation',
+    languageKind: `${input.language}.${kind}`,
+    name,
+    symbolKind: 'constant',
+    symbolId: `symbol:${input.language}:${kind}:${idFragment(name)}`,
+    span: spanForLine(input, lineNumber),
+    fields: { source },
+    metadata: { scan: 'lightweight-macro' },
+    loss: {
+      id: `loss_${idFragment(nodeId)}`,
+      severity: 'warning',
+      phase: 'read',
+      sourceFormat: input.language,
+      kind,
+      message: `${input.language} ${kind} retained as native source; expansion is not evaluated by the lightweight importer.`,
+      span: spanForLine(input, lineNumber),
+      nodeId
+    }
+  };
+}
+
+function opaqueBodyLoss(input, lineNumber, nodeId, name) {
+  return {
+    id: `loss_${idFragment(nodeId)}_body`,
+    severity: 'info',
+    phase: 'read',
+    sourceFormat: input.language,
+    kind: 'opaqueNative',
+    message: `Body for ${name} is retained as native source by the lightweight declaration importer.`,
+    span: spanForLine(input, lineNumber),
+    nodeId
+  };
+}
+
+function sourceLines(sourceText) {
+  return String(sourceText ?? '').split(/\r?\n/).map((line, index) => ({ line, number: index + 1 }));
+}
+
+function spanForLine(input, lineNumber) {
+  return {
+    sourceId: input.sourceHash,
+    path: input.sourcePath,
+    startLine: lineNumber,
+    endLine: lineNumber,
+    startColumn: 1
+  };
+}
+
+function splitParameters(raw) {
+  return String(raw ?? '')
+    .split(',')
+    .map((part) => part.trim())
+    .filter(Boolean);
+}
+
 export function createUniversalAstFromDocument(document, input = {}) {
   return createUniversalAstEnvelope({
     id: input.id ?? `universal_ast_${idFragment(document.id)}`,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@shapeshift-labs/frontier-lang-compiler",
-  "version": "0.2.2",
+  "version": "0.2.4",
   "description": "Compiler facade for Frontier Lang source documents and language projection adapters.",
   "type": "module",
   "main": "./dist/index.js",
@@ -56,14 +56,14 @@
     "access": "public"
   },
   "dependencies": {
-    "@shapeshift-labs/frontier-lang-c": "0.2.0",
-    "@shapeshift-labs/frontier-lang-checker": "0.3.0",
-    "@shapeshift-labs/frontier-lang-javascript": "0.2.0",
+    "@shapeshift-labs/frontier-lang-c": "0.2.1",
+    "@shapeshift-labs/frontier-lang-checker": "0.3.1",
+    "@shapeshift-labs/frontier-lang-javascript": "0.2.1",
     "@shapeshift-labs/frontier-lang-kernel": "0.3.1",
-    "@shapeshift-labs/frontier-lang-parser": "0.3.0",
-    "@shapeshift-labs/frontier-lang-python": "0.2.0",
-    "@shapeshift-labs/frontier-lang-rust": "0.2.0",
-    "@shapeshift-labs/frontier-lang-typescript": "0.3.0"
+    "@shapeshift-labs/frontier-lang-parser": "0.3.1",
+    "@shapeshift-labs/frontier-lang-python": "0.2.1",
+    "@shapeshift-labs/frontier-lang-rust": "0.2.1",
+    "@shapeshift-labs/frontier-lang-typescript": "0.3.1"
   },
   "devDependencies": {
     "typescript": "^5.9.3"