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

package/README.md

@@ -242,6 +242,8 @@ 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.
 
 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 {
@@ -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,6 +1,7 @@
 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{publicContractRegionRecord}from'./projectSymbolGraphPublicContracts.js';
 import{isReExportImportEdge,reExportIdentityInputFromEdge,reExportIdentityRecord}from'./projectSymbolGraphReExports.js';
 export function createNativeProjectImportResult(input, imports) {
   const idPart = idFragment(input.id ?? input.projectRoot ?? 'native_project');
@@ -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) {
@@ -182,7 +180,7 @@ function createProjectSymbolGraphSummary(semanticIndex, imports, input) {
   ]);
   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

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/package.json

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