@shapeshift-labs/frontier-lang-compiler 0.2.101 → 0.2.102

package/dist/declarations/import-adapter-core.d.ts

@@ -98,6 +98,10 @@ export interface ImportNativeSourceOptions {
   readonly targetPath?: string;
   readonly targetHash?: string;
   readonly semanticIndex?: SemanticIndexRecord;
+  readonly ownershipRegions?: readonly SemanticImportOwnershipRegion[];
+  readonly semanticOwnershipRegions?: readonly SemanticImportOwnershipRegion[];
+  readonly patchHints?: readonly SemanticImportPatchHint[];
+  readonly semanticPatchHints?: readonly SemanticImportPatchHint[];
   readonly sourceMapId?: string;
   readonly sourceMaps?: readonly SourceMapRecord[];
   readonly universalAstId?: string;
@@ -112,6 +116,8 @@ export interface ImportNativeSourceOptions {
 export type NativeSourceImportResult = Omit<LanguageImportResult, 'metadata'> & {
   readonly nativeSource: NativeSourceNode;
   readonly semanticIndex?: SemanticIndexRecord;
+  readonly ownershipRegions: readonly SemanticImportOwnershipRegion[];
+  readonly patchHints: readonly SemanticImportPatchHint[];
   readonly universalAst: FrontierUniversalAstEnvelope;
   readonly metadata?: Record<string, unknown> & {
     readonly sourcePreservationRecords?: readonly SourcePreservationRecord[];

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

@@ -1,4 +1,4 @@
-import{idFragment}from'../../native-import-utils.js';import{lightweightDependencyRelations}from'../../lightweight-dependency-relations.js';import{lightweightCoverageLosses,scanNativeDeclarations}from'../../native-region-scanner.js';import{semanticOwnershipRegionForDeclaration}from'../../semantic-import-regions.js';import{createSemanticIndexRecord,hashSemanticValue}from'@shapeshift-labs/frontier-lang-kernel';
+import{idFragment,uniqueRecordsById}from'../../native-import-utils.js';import{lightweightDependencyRelations}from'../../lightweight-dependency-relations.js';import{lightweightCoverageLosses,scanNativeDeclarations}from'../../native-region-scanner.js';import{semanticOwnershipRegionForDeclaration,semanticPatchHintForRegion}from'../../semantic-import-regions.js';import{createSemanticIndexRecord,hashSemanticValue}from'@shapeshift-labs/frontier-lang-kernel';
 export function createLightweightNativeImport(input) {
   const parser = input.parser ?? `${input.language}.lightweight-declaration-scan`;
   const rootId = 'native_root';
@@ -19,11 +19,13 @@ export function createLightweightNativeImport(input) {
   const relations = [];
   const facts = [];
   const mappings = [];
+  const ownershipRegions = [];
   const evidenceId = `evidence_${idFragment(input.sourcePath ?? input.language)}_lightweight_scan`;
   const dependencies = lightweightDependencyRelations(input, declarations, documentId);
 
   for (const declaration of declarations) {
     const ownershipRegion = semanticOwnershipRegionForDeclaration(input, declaration, documentId);
+    ownershipRegions.push(ownershipRegion);
     nodes[rootId].children.push(declaration.nodeId);
     nodes[declaration.nodeId] = {
       id: declaration.nodeId,
@@ -122,6 +124,8 @@ export function createLightweightNativeImport(input) {
     });
   }
   losses.push(...lightweightCoverageLosses(input, declarations, input.sourcePreservation));
+  const semanticOwnershipRegions = uniqueRecordsById(ownershipRegions);
+  const semanticPatchHints = semanticOwnershipRegions.map((region) => semanticPatchHintForRegion(region, 'needs-review'));
 
   const semanticIndex = createSemanticIndexRecord({
     id: `index_${idFragment(input.sourcePath ?? input.language)}`,
@@ -135,6 +139,8 @@ export function createLightweightNativeImport(input) {
     occurrences,
     relations,
     facts,
+    ownershipRegions: semanticOwnershipRegions,
+    patchHints: semanticPatchHints,
     evidence: [{
       id: evidenceId,
       kind: 'import',
@@ -162,6 +168,8 @@ export function createLightweightNativeImport(input) {
     losses,
     semanticIndex,
     mappings,
+    ownershipRegions: semanticOwnershipRegions,
+    patchHints: semanticPatchHints,
     metadata: {
       parser,
       scanKind: 'lightweight-declaration-scan',

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

@@ -1,17 +1,14 @@
 import{commonGeneratedTargetPath,idFragment}from'../../native-import-utils.js';import{inferSourceMapMappings,normalizeSourceMapMappings,normalizeSourceMaps}from'../../native-source-maps.js';import{createKernelSourcePreservationRecords,summarizeKernelSourcePreservationRecords}from'../../semantic-import-source-preservation.js';import{createDocument,createImportResult,createNativeAstRecord,createPatch,createSourceMapRecord,createUniversalAstEnvelope,hashSemanticValue,nativeSourceNode}from'@shapeshift-labs/frontier-lang-kernel';
 import{attachInputUniversalDialectRegistry}from'../../universal-dialect-registry.js';
 import{createLightweightSemanticLayers}from'./createLightweightSemanticLayers.js';
-import{attachNativeImportLossSummary}from'./attachNativeImportLossSummary.js';import{createLightweightNativeImport}from'./createLightweightNativeImport.js';import{createNativeSourcePreservation}from'./createNativeSourcePreservation.js';import{hasNativeExactAstEvidence}from'./hasNativeExactAstEvidence.js';import{normalizeNativeLossRecords}from'./normalizeNativeLossRecords.js';import{summarizeNativeImportLosses}from'./summarizeNativeImportLosses.js';import{unverifiedNativeAstLosses}from'./unverifiedNativeAstLosses.js';import{withNativeImportReadiness}from'./withNativeImportReadiness.js';
+import{attachNativeImportLossSummary}from'./attachNativeImportLossSummary.js';import{createLightweightNativeImport}from'./createLightweightNativeImport.js';import{createNativeSourcePreservation}from'./createNativeSourcePreservation.js';import{hasNativeExactAstEvidence}from'./hasNativeExactAstEvidence.js';import{createNativeImportSemanticIndex}from'./nativeImportSemanticIndex.js';import{normalizeNativeLossRecords}from'./normalizeNativeLossRecords.js';import{summarizeNativeImportLosses}from'./summarizeNativeImportLosses.js';import{unverifiedNativeAstLosses}from'./unverifiedNativeAstLosses.js';import{withNativeImportReadiness}from'./withNativeImportReadiness.js';
 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 declaredSourceHash = input.sourceHash ?? input.nativeAst?.sourceHash;
-  const sourceHash = typeof input.sourceText === 'string'
-    ? hashSemanticValue(input.sourceText)
-    : declaredSourceHash ?? hashSemanticValue(input.nativeAst?.nodes ?? input.nativeAst ?? {});
-  const targetPath = input.targetPath ?? input.target?.emitPath;
-  const targetHash = input.targetHash;
+  const sourceHash = typeof input.sourceText === 'string' ? hashSemanticValue(input.sourceText) : declaredSourceHash ?? hashSemanticValue(input.nativeAst?.nodes ?? input.nativeAst ?? {});
+  const targetPath = input.targetPath ?? input.target?.emitPath; const targetHash = input.targetHash;
   const importIdPart = idFragment(input.id ?? input.nativeSourceId ?? sourcePath ?? language);
   const sourcePreservation = input.sourcePreservation ?? (typeof input.sourceText === 'string'
     ? createNativeSourcePreservation({
@@ -146,6 +143,7 @@ export function importNativeSource(input) {
   });
   const evidence = attachNativeImportLossSummary(baseEvidence, lossSummary);
   const semanticIndex = input.semanticIndex ?? lightweight?.semanticIndex;
+  const { ownershipRegions, patchHints, semanticIndexForResult } = createNativeImportSemanticIndex(input, lightweight, semanticIndex);
   const sourceMapMappings = normalizeSourceMapMappings(
     input.mappings ?? lightweight?.mappings ?? inferSourceMapMappings({
       semanticIndex,
@@ -174,7 +172,7 @@ export function importNativeSource(input) {
       target: input.target,
       targetPath: inferredTargetPath,
       targetHash,
-      semanticIndexId: semanticIndex?.id,
+      semanticIndexId: semanticIndexForResult?.id,
       nativeAstId: nativeAst.id,
       nativeSourceId: nativeSource.id,
       mappings: sourceMapMappings,
@@ -191,7 +189,7 @@ export function importNativeSource(input) {
     nativeSources: [nativeSource],
     nativeAst,
     nativeSource,
-    semanticIndex,
+    semanticIndex: semanticIndexForResult,
     evidence,
     losses,
     sourcePreservation,
@@ -213,16 +211,16 @@ export function importNativeSource(input) {
     evidence,
     nativeSource,
     nativeAst,
-    semanticIndex
+    semanticIndex: semanticIndexForResult
   });
   const kernelSourcePreservationSummary = summarizeKernelSourcePreservationRecords(sourcePreservationRecords);
   const resultSourceMapMappings = sourceMaps.flatMap((sourceMap) => sourceMap.mappings ?? []);
-  const semanticLayers=input.semanticLayers??createLightweightSemanticLayers({importIdPart,language,sourcePath,sourceHash,nativeSource,nativeAst,semanticIndex,sourceMaps,losses,evidence,sourcePreservationRecords});
+  const semanticLayers=input.semanticLayers??createLightweightSemanticLayers({importIdPart,language,sourcePath,sourceHash,nativeSource,nativeAst,semanticIndex:semanticIndexForResult,sourceMaps,losses,evidence,sourcePreservationRecords});
   let universalAst = createUniversalAstEnvelope({
     id: input.universalAstId ?? `universal_ast_${importIdPart}`,
     document,
     nativeSources: [nativeSource],
-    semanticIndex,
+    semanticIndex: semanticIndexForResult,
     sourceMaps,
     losses,
     evidence,
@@ -262,7 +260,7 @@ export function importNativeSource(input) {
     metadata: {
       sourceLanguage: language,
       sourcePath,
-      semanticIndexId: semanticIndex?.id,
+      semanticIndexId: semanticIndexForResult?.id,
       universalAstId: universalAst.id,
       sourceMapIds: sourceMaps.map((sourceMap) => sourceMap.id),
       ...(sourcePreservation ? {
@@ -287,14 +285,16 @@ export function importNativeSource(input) {
     document,
     patch,
     nativeAst,
-    semanticIndex,
+    semanticIndex: semanticIndexForResult,
     universalAst,
     sourceMaps,
+    ownershipRegions,
+    patchHints: semanticIndexForResult?.patchHints ?? patchHints,
     losses,
     evidence,
     metadata: {
       nativeSourceId: nativeSource.id,
-      semanticIndexId: semanticIndex?.id,
+      semanticIndexId: semanticIndexForResult?.id,
       universalAstId: universalAst.id,
       sourceMapIds: sourceMaps.map((sourceMap) => sourceMap.id),
       semanticStatus,

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

@@ -0,0 +1,33 @@
+import{uniqueRecordsById}from'../../native-import-utils.js';
+import{semanticOwnershipRegionsFromSemanticIndex,semanticPatchHintForRegion}from'../../semantic-import-regions.js';
+
+export function createNativeImportSemanticIndex(input, lightweight, semanticIndex) {
+  const ownershipRegions = uniqueRecordsById([
+    ...(Array.isArray(input.ownershipRegions) ? input.ownershipRegions : []),
+    ...(Array.isArray(input.semanticOwnershipRegions) ? input.semanticOwnershipRegions : []),
+    ...(lightweight?.ownershipRegions ?? []),
+    ...semanticOwnershipRegionsFromSemanticIndex(semanticIndex),
+    ...(Array.isArray(input.universalAst?.ownershipRegions) ? input.universalAst.ownershipRegions : []),
+    ...(Array.isArray(input.metadata?.ownershipRegions) ? input.metadata.ownershipRegions : [])
+  ]);
+  const patchHints = uniqueRecordsById([
+    ...(Array.isArray(input.patchHints) ? input.patchHints : []),
+    ...(Array.isArray(input.semanticPatchHints) ? input.semanticPatchHints : []),
+    ...(lightweight?.patchHints ?? []),
+    ...(Array.isArray(semanticIndex?.patchHints) ? semanticIndex.patchHints : []),
+    ...(Array.isArray(input.universalAst?.patchHints) ? input.universalAst.patchHints : []),
+    ...(Array.isArray(input.metadata?.patchHints) ? input.metadata.patchHints : [])
+  ]);
+  const resultPatchHints = patchHints.length
+    ? patchHints
+    : ownershipRegions.map((region) => semanticPatchHintForRegion(region, 'needs-review'));
+  return {
+    ownershipRegions,
+    patchHints: resultPatchHints,
+    semanticIndexForResult: semanticIndex ? {
+      ...semanticIndex,
+      ownershipRegions,
+      patchHints: resultPatchHints
+    } : semanticIndex
+  };
+}

package/dist/semantic-import-regions.js

@@ -1,4 +1,4 @@
-import { caseSensitiveIdFragment, idFragment, uniqueStrings } from './native-import-utils.js';
+import { caseSensitiveIdFragment, idFragment, uniqueRecordsById, uniqueStrings } from './native-import-utils.js';
 
 const NativeImportRegionTaxonomyKinds = Object.freeze([
   'symbol',
@@ -172,9 +172,20 @@ function summarizeSemanticImportRegionTaxonomy(regions) {
   };
 }
 
+function semanticOwnershipRegionsFromSemanticIndex(semanticIndex) {
+  const factRegions = (semanticIndex?.facts ?? [])
+    .filter((fact) => fact?.predicate === 'semanticOwnershipRegion' && fact.value && typeof fact.value === 'object')
+    .map((fact) => fact.value);
+  return uniqueRecordsById([
+    ...(Array.isArray(semanticIndex?.ownershipRegions) ? semanticIndex.ownershipRegions : []),
+    ...factRegions
+  ]);
+}
+
 export {
   NativeImportRegionTaxonomyKinds,
   semanticOwnershipRegionForDeclaration,
+  semanticOwnershipRegionsFromSemanticIndex,
   semanticOwnershipRegionForSymbol,
   semanticPatchHintForRegion,
   semanticRegionKindForSymbol,

package/package.json

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