@shapeshift-labs/frontier-lang-compiler 0.2.115 → 0.2.116

package/README.md

@@ -244,6 +244,9 @@ enough evidence. For `export { thing as renamedThing } from './thing.js'`,
 `originSymbolId`, `exportedSymbolId`, and `localSymbolId`.
 Public contract regions include `apiSurfaceKind`, `signatureHash`, and
 `contractHash`, giving merge admission a stable API surface fingerprint.
+For `export * from './module.js'`, project graphs fan out re-export identities
+for each named export in the resolved target document and omit `default`, which
+matches JavaScript module semantics.
 
 High-risk native features also have explicit evidence policies. These policies are advisory in this package: they tell a swarm or admission queue what evidence is missing without silently changing the existing readiness classification.
 

package/dist/declarations/native-project.d.ts

@@ -116,7 +116,7 @@ export interface NativeProjectSymbolGraphModuleEdgeRecord {
   readonly importedName?: string;
   readonly exportedName?: string;
   readonly localName?: string; readonly namespace?: string;
-  readonly isTypeOnly?: boolean;
+  readonly exportStar?: boolean; readonly isTypeOnly?: boolean;
   readonly isReExport?: boolean;
   readonly publicContract?: boolean;
   readonly evidenceIds?: readonly string[];
@@ -133,8 +133,8 @@ export interface NativeProjectSymbolGraphReExportIdentityRecord {
   readonly exportedName?: string;
   readonly importedName?: string;
   readonly localName?: string;
-  readonly namespace?: string;
-  readonly isTypeOnly?: boolean;
+  readonly namespace?: string; readonly isTypeOnly?: boolean;
+  readonly isExportStar?: boolean;
   readonly symbolId?: string; readonly originSymbolId?: string;
   readonly exportedSymbolId?: string; readonly localSymbolId?: string;
   readonly relationId?: string;

package/dist/internal/index-impl/createNativeProjectImportResult.js

@@ -1,8 +1,8 @@
 import{idFragment,uniqueByEvidenceId,uniqueByLossId,uniqueStrings}from'../../native-import-utils.js';import{createDocument,createPatch,createUniversalAstEnvelope}from'@shapeshift-labs/frontier-lang-kernel';
 import{createNativeImportResultContract}from'./createNativeImportResultContract.js';import{createProjectImportAdmissionRecord}from'./createProjectImportAdmissionRecord.js';import{mergeSemanticIndexes}from'./mergeSemanticIndexes.js';import{summarizeNativeImportLosses}from'./summarizeNativeImportLosses.js';import{summarizeProjectSourcePreservation}from'./summarizeProjectSourcePreservation.js';
-import{createProjectDocumentExportSymbolResolver,createProjectModuleSymbolResolver,resolveProjectModule}from'./projectSymbolGraphModuleResolution.js';
+import{createProjectDocumentExportSymbolResolver,createProjectDocumentExportSymbolsResolver,createProjectModuleSymbolResolver,resolveProjectModule}from'./projectSymbolGraphModuleResolution.js';
 import{publicContractRegionRecord}from'./projectSymbolGraphPublicContracts.js';
-import{isReExportImportEdge,reExportIdentityInputFromEdge,reExportIdentityRecord}from'./projectSymbolGraphReExports.js';
+import{exportStarReExportIdentityRecords,isReExportImportEdge,reExportIdentityInputFromEdge,reExportIdentityRecord}from'./projectSymbolGraphReExports.js';
 export function createNativeProjectImportResult(input, imports) {
   const idPart = idFragment(input.id ?? input.projectRoot ?? 'native_project');
   const nodes = {};
@@ -156,6 +156,7 @@ function createProjectSymbolGraphSummary(semanticIndex, imports, input) {
   const moduleResolution = input.moduleResolution ?? input.tsconfig;
   const resolveTargetSymbolId = createProjectModuleSymbolResolver(semanticIndex?.symbols ?? [], documents);
   const resolveDocumentExportSymbolId = createProjectDocumentExportSymbolResolver(semanticIndex?.symbols ?? [], documents);
+  const resolveDocumentExportSymbols = createProjectDocumentExportSymbolsResolver(semanticIndex?.symbols ?? [], documents);
   const facts = semanticIndex?.facts ?? [];
   const moduleEdgeFacts = facts.filter((fact) => fact.predicate === 'moduleEdge');
   const moduleEdgeByRelation = new Map(moduleEdgeFacts.map((fact) => [fact.subjectId, fact]));
@@ -176,7 +177,9 @@ function createProjectSymbolGraphSummary(semanticIndex, imports, input) {
       .map((edge) => reExportIdentityRecord(reExportIdentityInputFromEdge(edge, `reexport_${idFragment(edge.id)}`), edge, resolveDocumentExportSymbolId)),
     ...importEdges
       .filter((edge) => isReExportImportEdge(edge))
-      .map((edge) => reExportIdentityRecord(reExportIdentityInputFromEdge(edge, `reexport_${idFragment(edge.id)}`), edge, resolveDocumentExportSymbolId))
+      .flatMap((edge) => edge.exportStar
+        ? exportStarReExportIdentityRecords(edge, resolveDocumentExportSymbols(edge.targetDocumentId))
+        : [reExportIdentityRecord(reExportIdentityInputFromEdge(edge, `reexport_${idFragment(edge.id)}`), edge, resolveDocumentExportSymbolId)])
   ]);
   const publicContractRegions = uniqueRecords(facts
     .filter((fact) => fact.predicate === 'publicContractRegion' && fact.value)
@@ -246,8 +249,9 @@ function moduleEdgeRecord(relation, moduleEdgeByRelation, symbolsById, documents
     exportedName: firstString(moduleEdge.exportedName, value.exportedName, symbolMetadata.exportedName),
     localName: firstString(moduleEdge.localName, value.localName, symbolMetadata.localName),
     namespace: firstString(moduleEdge.namespace, value.namespace, symbolMetadata.namespace),
+    exportStar: firstBoolean(moduleEdge.exportStar, value.exportStar, symbolMetadata.exportStar),
     isTypeOnly: firstBoolean(moduleEdge.isTypeOnly, value.isTypeOnly),
-    isReExport: firstBoolean(moduleEdge.isReExport, value.isReExport) ?? (relation.predicate === 'exports' && Boolean(moduleSpecifier)),
+    isReExport: firstBoolean(moduleEdge.isReExport, value.isReExport, symbolMetadata.reexport) ?? (relation.predicate === 'exports' && Boolean(moduleSpecifier)),
     publicContract: firstBoolean(moduleEdge.publicContract, value.publicContract, metadata.publicContract),
     evidenceIds: uniqueStrings([...(relation.evidenceIds ?? []), ...(fact?.evidenceIds ?? [])])
   };

package/dist/internal/index-impl/projectSymbolGraphModuleResolution.js

@@ -34,6 +34,22 @@ export function createProjectDocumentExportSymbolResolver(symbols, documents) {
   };
 }
 
+export function createProjectDocumentExportSymbolsResolver(symbols, documents) {
+  const documentsByPath = new Map(documents.filter((document) => document.path).map((document) => [document.path, document]));
+  const exportsByDocumentId = new Map();
+  for (const symbol of symbols ?? []) {
+    if (symbol?.kind !== 'export' || !symbol.name) continue;
+    const document = documentsByPath.get(symbol.definitionSpan?.path);
+    if (!document) continue;
+    const exports = exportsByDocumentId.get(document.id) ?? [];
+    exports.push(symbol);
+    exportsByDocumentId.set(document.id, exports);
+  }
+  return function resolveDocumentExports(documentId) {
+    return exportsByDocumentId.get(documentId) ?? [];
+  };
+}
+
 function projectExportSymbolMap(symbols, documents) {
   const documentsByPath = new Map(documents.filter((document) => document.path).map((document) => [document.path, document]));
   const exportedByDocumentAndName = new Map();

package/dist/internal/index-impl/projectSymbolGraphReExports.js

@@ -15,7 +15,7 @@ export function reExportIdentityRecord(identity, edge, resolveDocumentExportSymb
 }
 
 export function isReExportImportEdge(edge) {
-  return edge.importKind === 'reexport' || edge.importKind === 'namespace-reexport';
+  return edge.importKind === 'reexport' || edge.importKind === 'namespace-reexport' || edge.exportStar === true;
 }
 
 export function reExportIdentityInputFromEdge(edge, id) {
@@ -31,6 +31,32 @@ export function reExportIdentityInputFromEdge(edge, id) {
   });
 }
 
+export function exportStarReExportIdentityRecords(edge, targetExports) {
+  if (!edge?.exportStar || !edge.targetDocumentId) return [];
+  return targetExports
+    .filter((symbol) => symbol.name && symbol.name !== 'default')
+    .map((symbol) => compactRecord({
+      id: `reexport_star_${idFragment(edge.id)}_${idFragment(symbol.id)}`,
+      sourceDocumentId: edge.sourceDocumentId,
+      sourcePath: edge.sourcePath,
+      sourceHash: edge.sourceHash,
+      moduleSpecifier: edge.moduleSpecifier,
+      symbolId: edge.targetSymbolId,
+      relationId: edge.id,
+      importedName: symbol.name,
+      exportedName: symbol.name,
+      originSymbolId: symbol.id,
+      exportedSymbolId: symbol.id,
+      localSymbolId: edge.targetSymbolId,
+      isExportStar: true,
+      publicContract: edge.publicContract
+    }));
+}
+
+function idFragment(value) {
+  return String(value ?? '').toLowerCase().replace(/[^a-z0-9]+/g, '_').replace(/^_+|_+$/g, '').slice(0, 80) || 'id';
+}
+
 function compactRecord(record) {
   return Object.fromEntries(Object.entries(record).filter(([, value]) => value !== undefined));
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@shapeshift-labs/frontier-lang-compiler",
-  "version": "0.2.115",
+  "version": "0.2.116",
   "description": "Compiler facade for Frontier Lang source documents and language projection adapters.",
   "type": "module",
   "main": "./dist/index.js",