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

package/README.md

@@ -242,6 +242,11 @@ Named re-export identities also include symbol links when the project graph has
 enough evidence. For `export { thing as renamedThing } from './thing.js'`,
 `reExportIdentities[]` records the source module, imported/exported names,
 `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

@@ -82,9 +82,6 @@ export type NativeProjectSymbolGraphRemainingField =
   | 'reExportIdentities[].originSymbolId'
   | 'reExportIdentities[].exportedSymbolId'
   | 'reExportIdentities[].localSymbolId'
-  | 'publicContractRegions[].apiSurfaceKind'
-  | 'publicContractRegions[].signatureHash'
-  | 'publicContractRegions[].contractHash'
   | string;
 
 export interface NativeProjectSymbolGraphFileHashRecord {
@@ -119,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[];
@@ -136,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;
@@ -158,6 +155,9 @@ export interface NativeProjectSymbolGraphPublicContractRegionRecord {
   readonly symbolId?: string;
   readonly symbolName?: string;
   readonly symbolKind?: string;
+  readonly apiSurfaceKind?: string;
+  readonly signatureHash?: string;
+  readonly contractHash?: string;
   readonly nativeAstNodeId?: string;
   readonly sourceSpan?: SourceSpan;
   readonly precision?: string;

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

@@ -1,7 +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{isReExportImportEdge,reExportIdentityInputFromEdge,reExportIdentityRecord}from'./projectSymbolGraphReExports.js';
+import{createProjectDocumentExportSymbolResolver,createProjectDocumentExportSymbolsResolver,createProjectModuleSymbolResolver,resolveProjectModule}from'./projectSymbolGraphModuleResolution.js';
+import{publicContractRegionRecord}from'./projectSymbolGraphPublicContracts.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 = {};
@@ -144,10 +145,7 @@ export function createNativeProjectImportResult(input, imports) {
 const PROJECT_SYMBOL_GRAPH_REMAINING_FIELDS = Object.freeze([
   'reExportIdentities[].originSymbolId',
   'reExportIdentities[].exportedSymbolId',
-  'reExportIdentities[].localSymbolId',
-  'publicContractRegions[].apiSurfaceKind',
-  'publicContractRegions[].signatureHash',
-  'publicContractRegions[].contractHash'
+  'reExportIdentities[].localSymbolId'
 ]);
 
 function createProjectSymbolGraphSummary(semanticIndex, imports, input) {
@@ -158,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]));
@@ -178,11 +177,13 @@ 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)
-    .map((fact) => ({ ...objectValue(fact.value), factId: fact.id, symbolId: fact.subjectId })));
+    .map((fact) => publicContractRegionRecord(objectValue(fact.value), fact, symbolsById.get(fact.subjectId))));
   const fileHashes = uniqueRecords([
     ...documents.map((document) => fileHashRecord(document)),
     ...facts
@@ -248,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/projectSymbolGraphPublicContracts.js

@@ -0,0 +1,41 @@
+import{hashSemanticValue}from'@shapeshift-labs/frontier-lang-kernel';
+
+export function publicContractRegionRecord(value, fact, symbol) {
+  const record = {
+    ...value,
+    factId: fact.id,
+    symbolId: fact.subjectId,
+    apiSurfaceKind: value.apiSurfaceKind ?? apiSurfaceKind(value, symbol),
+    signatureHash: value.signatureHash ?? symbol?.signatureHash
+  };
+  return compactRecord({
+    ...record,
+    contractHash: value.contractHash ?? publicContractHash(record)
+  });
+}
+
+function apiSurfaceKind(region, symbol) {
+  if (region.edgeKind === 're-export') return 'module-re-export';
+  if (region.edgeKind === 'export') return 'module-export';
+  if (symbol?.kind === 'export') return 'named-export';
+  return region.symbolKind ?? symbol?.kind ?? region.regionKind;
+}
+
+function publicContractHash(region) {
+  return hashSemanticValue({
+    kind: 'frontier.lang.publicContractRegionHash',
+    sourceHash: region.sourceHash,
+    symbolId: region.symbolId,
+    symbolName: region.symbolName,
+    symbolKind: region.symbolKind,
+    signatureHash: region.signatureHash,
+    moduleSpecifier: region.moduleSpecifier,
+    exportedName: region.exportedName,
+    edgeKind: region.edgeKind,
+    apiSurfaceKind: region.apiSurfaceKind
+  });
+}
+
+function compactRecord(record) {
+  return Object.fromEntries(Object.entries(record).filter(([, value]) => value !== undefined));
+}

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.114",
+  "version": "0.2.116",
   "description": "Compiler facade for Frontier Lang source documents and language projection adapters.",
   "type": "module",
   "main": "./dist/index.js",