@shapeshift-labs/frontier-lang-compiler 0.2.50 → 0.2.51

package/README.md

@@ -183,6 +183,8 @@ console.log(pythonToRust.mergeScore.value); // sortable merge-review score, not
 const conversionArtifacts = createUniversalConversionArtifacts(conversionPlan);
 console.log(conversionArtifacts.historyRecords[0].kind); // "frontier.lang.semanticHistoryRecord"
 console.log(conversionArtifacts.patchBundleRecords[0].admission.autoMergeClaim); // false
+console.log(conversionArtifacts.index.semanticOperationKinds); // sourcePreservation/projection/merge
+console.log(conversionArtifacts.routeArtifacts[0].semanticOperations.summary.conflictKeys);
 ```
 
 The projection target matrix separates five runtime/API classes:
@@ -197,7 +199,7 @@ The projection target matrix separates five runtime/API classes:
 
 `createUniversalConversionPlan` turns that capability evidence into coordinator tasks: preserve exact source, run a target adapter, emit stubs, attach semantic-index evidence, or block the route until missing parser/adapter/proof evidence exists. Every route carries `autoMergeClaim: false`, `semanticEquivalenceClaim: false`, missing evidence, task hints, and a `frontier.lang.semanticMergeScore.v1` score for swarm merge admission.
 
-`createUniversalConversionArtifacts` materializes those route refs into compact `SemanticHistoryRecord` and `SemanticPatchBundleRecord` artifacts that swarm collectors can index by route, history ID, patch-bundle ID, source path, ownership key, conflict key, evidence, proof, readiness, and admission status. It is still review evidence, not target-code proof: blocked and semantic-index-only routes stay blocked/needs-review, and every artifact keeps `autoMergeClaim: false` plus `semanticEquivalenceClaim: false`.
+`createUniversalConversionArtifacts` materializes those route refs into compact `SemanticHistoryRecord`, `SemanticPatchBundleRecord`, and semantic-operation artifacts that swarm collectors can index by route, history ID, patch-bundle ID, operation kind, source path, ownership key, conflict key, evidence, proof, readiness, and admission status. It is still review evidence, not target-code proof: blocked and semantic-index-only routes stay blocked/needs-review, and every artifact keeps `autoMergeClaim: false` plus `semanticEquivalenceClaim: false`.
 
 Preserve exact native source text, token/trivia hashes, comments, whitespace, and source directives as evidence. This does not claim full semantic understanding; it keeps round-trip material available while exact parser adapters catch up:
 

package/dist/declarations/semantic-patch-bundle.d.ts

@@ -101,6 +101,7 @@ export interface SemanticPatchBundleRecordIndex {
   readonly evidenceIds: readonly string[];
   readonly proofIds: readonly string[];
   readonly historyIds: readonly string[];
+  readonly semanticOperationIds: readonly string[];
   readonly patchIds: readonly string[];
   readonly mergeCandidateIds: readonly string[];
   readonly readinesses: readonly string[];
@@ -125,6 +126,7 @@ export interface SemanticPatchBundleRecord {
   readonly evidenceIds: readonly string[];
   readonly proofIds: readonly string[];
   readonly historyIds: readonly string[];
+  readonly semanticOperationIds: readonly string[];
   readonly admission: SemanticPatchBundleAdmission;
   readonly index: SemanticPatchBundleRecordIndex;
   readonly summary: {
@@ -133,6 +135,7 @@ export interface SemanticPatchBundleRecord {
     readonly evidenceIds: number;
     readonly proofIds: number;
     readonly historyIds: number;
+    readonly semanticOperations: number;
     readonly reviewRequired: boolean;
     readonly autoMergeClaim: false;
   };
@@ -159,6 +162,8 @@ export interface CreateSemanticPatchBundleRecordOptions {
   readonly proofIds?: readonly string[] | string;
   readonly historyId?: string;
   readonly historyIds?: readonly string[] | string;
+  readonly semanticOperationId?: string;
+  readonly semanticOperationIds?: readonly string[] | string;
   readonly conflictKeys?: readonly string[] | string;
   readonly admission?: Partial<SemanticPatchBundleAdmission>;
   readonly metadata?: Record<string, unknown>;
@@ -199,6 +204,8 @@ export interface SemanticPatchBundleRecordQuery {
   readonly proofIds?: readonly string[];
   readonly historyId?: string | readonly string[];
   readonly historyIds?: readonly string[];
+  readonly semanticOperationId?: string | readonly string[];
+  readonly semanticOperationIds?: readonly string[];
   readonly readiness?: SemanticMergeReadiness | string | readonly string[];
   readonly readinesses?: readonly string[];
   readonly admissionStatus?: SemanticPatchBundleAdmissionStatus | readonly string[];

package/dist/declarations/universal-conversion-artifacts.d.ts

@@ -1,5 +1,6 @@
 import type {
   FrontierSourceLanguage,
+  SemanticOperationSet,
   SemanticMergeReadiness
 } from '@shapeshift-labs/frontier-lang-kernel';
 import type { FrontierCompileTarget } from './compile.js';
@@ -25,6 +26,7 @@ export interface UniversalConversionArtifactMaterialization {
   readonly materializedHistoryIds: readonly string[];
   readonly patchBundleIds: readonly string[];
   readonly sourceMapLinkIds: readonly string[];
+  readonly semanticOperationIds: readonly string[];
   readonly evidenceIds: readonly string[];
   readonly proofIds: readonly string[];
   readonly autoMergeClaim: false;
@@ -48,6 +50,7 @@ export interface UniversalConversionRouteArtifact {
   readonly reviewRequired: true;
   readonly history: SemanticHistoryRecord;
   readonly patchBundle: SemanticPatchBundleRecord;
+  readonly semanticOperations: SemanticOperationSet;
   readonly materialization: UniversalConversionArtifactMaterialization;
   readonly mergeScore?: UniversalConversionMergeScore;
   readonly autoMergeClaim: false;
@@ -70,6 +73,8 @@ export interface UniversalConversionArtifactIndex {
   readonly conflictKeys: readonly string[];
   readonly evidenceIds: readonly string[];
   readonly proofIds: readonly string[];
+  readonly semanticOperationIds: readonly string[];
+  readonly semanticOperationKinds: readonly string[];
 }
 
 export interface UniversalConversionArtifacts {
@@ -87,6 +92,7 @@ export interface UniversalConversionArtifacts {
     readonly routes: number;
     readonly histories: number;
     readonly patchBundles: number;
+    readonly semanticOperations: number;
     readonly reviewRequired: number;
     readonly blocked: number;
     readonly autoMergeClaims: 0;
@@ -136,6 +142,8 @@ export interface UniversalConversionArtifactQuery {
   readonly conflictKey?: string | readonly string[];
   readonly evidenceId?: string | readonly string[];
   readonly proofId?: string | readonly string[];
+  readonly semanticOperationId?: string | readonly string[];
+  readonly semanticOperationKind?: string | readonly string[];
 }
 
 export declare function createUniversalConversionArtifacts(

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

@@ -27,6 +27,7 @@ export function createSemanticPatchBundleRecord(input={},options={}){
   const evidenceIds=uniqueStrings([...strings(options.evidenceIds),...strings(source.evidenceIds),...evidenceRecords.map((record)=>record?.id),...strings(mergeCandidate?.evidenceIds)]);
   const proofIds=uniqueStrings([...strings(options.proofIds),...strings(source.proofIds),...evidenceRecords.filter((record)=>record?.kind==='proof').map((record)=>record.id),...strings(mergeCandidate?.proofIds)]);
   const historyIds=uniqueStrings([...strings(options.historyIds),...strings(options.historyId),...strings(source.historyIds),...strings(source.historyId)]);
+  const semanticOperationIds=uniqueStrings([...strings(options.semanticOperationIds),...strings(options.semanticOperationId),...strings(source.semanticOperationIds),...strings(source.semanticOperationId),...strings(patch?.semanticOperationIds),...strings(mergeCandidate?.semanticOperationIds)]);
   const conflictKeys=uniqueStrings([
     ...strings(options.conflictKeys),
     ...strings(source.conflictKeys),
@@ -39,7 +40,7 @@ export function createSemanticPatchBundleRecord(input={},options={}){
     ??`semantic_patch_bundle_${idFragment(firstString(source.id,patchId,mergeCandidateId,source.sourcePath,source.language,'record'))}`;
   const language=options.language??source.language??mergeCandidate?.language??sources.find((item)=>item.language)?.language;
   const sourcePath=options.sourcePath??source.sourcePath??mergeCandidate?.sourcePath??sources.find((item)=>item.sourcePath)?.sourcePath;
-  const index=recordIndex({baseHash,targetHash,sources,changedRegions,sourceMapLinks,evidenceIds,proofIds,historyIds,patchId,mergeCandidateId,admission});
+  const index=recordIndex({baseHash,targetHash,sources,changedRegions,sourceMapLinks,evidenceIds,proofIds,historyIds,semanticOperationIds,patchId,mergeCandidateId,admission});
   return{
     kind:'frontier.lang.semanticPatchBundleRecord',
     version:1,
@@ -58,9 +59,10 @@ export function createSemanticPatchBundleRecord(input={},options={}){
     evidenceIds,
     proofIds,
     historyIds,
+    semanticOperationIds,
     admission,
     index,
-    summary:{changedRegions:changedRegions.length,sourceMapLinks:sourceMapLinks.length,evidenceIds:evidenceIds.length,proofIds:proofIds.length,historyIds:historyIds.length,reviewRequired:admission.reviewRequired,autoMergeClaim:admission.autoMergeClaim},
+    summary:{changedRegions:changedRegions.length,sourceMapLinks:sourceMapLinks.length,evidenceIds:evidenceIds.length,proofIds:proofIds.length,historyIds:historyIds.length,semanticOperations:semanticOperationIds.length,reviewRequired:admission.reviewRequired,autoMergeClaim:admission.autoMergeClaim},
     metadata:compactRecord({
       sourceChangeSetId:source.kind==='frontier.lang.nativeSourceChangeSet'?source.id:undefined,
       patchRisk:patch?.risk,
@@ -202,6 +204,7 @@ function recordIndex(parts){
     evidenceIds:parts.evidenceIds,
     proofIds:parts.proofIds,
     historyIds:parts.historyIds,
+    semanticOperationIds:uniqueStrings(parts.semanticOperationIds),
     patchIds:uniqueStrings([parts.patchId]),
     mergeCandidateIds:uniqueStrings([parts.mergeCandidateId]),
     readinesses:uniqueStrings([parts.admission.readiness,...parts.changedRegions.map((region)=>region.admission?.readiness)]),
@@ -210,7 +213,7 @@ function recordIndex(parts){
 }
 
 function matchesRecord(record,query){
-  const index=record.index??recordIndex({...record,baseHash:record.baseHash,targetHash:record.targetHash,sources:record.sources??[],changedRegions:record.changedRegions??[],sourceMapLinks:record.sourceMapLinks??[],evidenceIds:record.evidenceIds??[],proofIds:record.proofIds??[],historyIds:record.historyIds??[],patchId:record.patchId,mergeCandidateId:record.mergeCandidateId,admission:record.admission??{}});
+  const index=record.index??recordIndex({...record,baseHash:record.baseHash,targetHash:record.targetHash,sources:record.sources??[],changedRegions:record.changedRegions??[],sourceMapLinks:record.sourceMapLinks??[],evidenceIds:record.evidenceIds??[],proofIds:record.proofIds??[],historyIds:record.historyIds??[],semanticOperationIds:record.semanticOperationIds??[],patchId:record.patchId,mergeCandidateId:record.mergeCandidateId,admission:record.admission??{}});
   return matchAny(queryValues(query.id,query.ids),[record.id])
     &&matchAny(queryValues(query.patchId,query.patchIds),index.patchIds)
     &&matchAny(queryValues(query.mergeCandidateId,query.mergeCandidateIds),index.mergeCandidateIds)
@@ -227,6 +230,7 @@ function matchesRecord(record,query){
     &&matchAny(queryValues(query.evidenceId,query.evidenceIds),index.evidenceIds)
     &&matchAny(queryValues(query.proofId,query.proofIds),index.proofIds)
     &&matchAny(queryValues(query.historyId,query.historyIds),index.historyIds)
+    &&matchAny(queryValues(query.semanticOperationId,query.semanticOperationIds),index.semanticOperationIds)
     &&matchAny(queryValues(query.readiness,query.readinesses),index.readinesses)
     &&matchAny(queryValues(query.admissionStatus,query.admissionStatuses),index.admissionStatuses);
 }

package/dist/universal-conversion-artifact-query.js

@@ -22,7 +22,9 @@ export function artifactIndex(routeArtifacts) {
     ownershipKeys: uniqueStrings(routeArtifacts.flatMap((artifact) => artifact.history.index.ownershipKeys)),
     conflictKeys: uniqueStrings(routeArtifacts.flatMap((artifact) => artifact.history.index.conflictKeys)),
     evidenceIds: uniqueStrings(routeArtifacts.flatMap((artifact) => artifact.history.evidenceIds)),
-    proofIds: uniqueStrings(routeArtifacts.flatMap((artifact) => artifact.history.proofIds))
+    proofIds: uniqueStrings(routeArtifacts.flatMap((artifact) => artifact.history.proofIds)),
+    semanticOperationIds: uniqueStrings(routeArtifacts.flatMap((artifact) => artifact.semanticOperations?.operations ?? []).map((operation) => operation.id)),
+    semanticOperationKinds: uniqueStrings(routeArtifacts.flatMap((artifact) => artifact.semanticOperations?.operations ?? []).map((operation) => operation.operationKind))
   };
 }
 
@@ -49,7 +51,9 @@ function matchesArtifact(record, query) {
     && match(query.ownershipKey, record.history.index.ownershipKeys)
     && match(query.conflictKey, record.history.index.conflictKeys)
     && match(query.evidenceId, record.history.evidenceIds)
-    && match(query.proofId, record.history.proofIds);
+    && match(query.proofId, record.history.proofIds)
+    && match(query.semanticOperationId, (record.semanticOperations?.operations ?? []).map((operation) => operation.id))
+    && match(query.semanticOperationKind, (record.semanticOperations?.operations ?? []).map((operation) => operation.operationKind));
 }
 
 function match(filter, values) {

package/dist/universal-conversion-artifacts.js

@@ -1,6 +1,7 @@
 import { idFragment, uniqueStrings } from './native-import-utils.js';
 import { createUniversalConversionPlan } from './universal-conversion-plan.js';
 import { artifactIndex } from './universal-conversion-artifact-query.js';
+import { routeSemanticOperations } from './universal-conversion-route-operations.js';
 import { createSemanticHistoryRecord } from './internal/index-impl/semanticHistoryRecords.js';
 import { createSemanticPatchBundleRecord } from './internal/index-impl/semanticPatchBundleRecords.js';
 
@@ -37,6 +38,7 @@ export function createUniversalConversionArtifacts(input = {}, options = {}) {
       routes: routeArtifacts.length,
       histories: historyRecords.length,
       patchBundles: patchBundleRecords.length,
+      semanticOperations: routeArtifacts.reduce((sum, artifact) => sum + artifact.semanticOperations.operations.length, 0),
       reviewRequired: routeArtifacts.filter((artifact) => artifact.reviewRequired).length,
       blocked: routeArtifacts.filter((artifact) => artifact.admissionStatus === 'blocked').length,
       autoMergeClaims: 0,
@@ -57,6 +59,7 @@ function createRouteArtifact(route, options) {
   const sources = normalizeSources(refs.sources, route);
   const regions = routeRegions(route, refs, sources);
   const sourceMapLinks = routeSourceMapLinks(route, refs, sources, regions);
+  const semanticOperations = routeSemanticOperations(route, refs, sources, regions, sourceMapLinks);
   const admissionStatus = routeAdmissionStatus(route);
   const reasonCodes = routeReasonCodes(route);
   const historyId = refs.historyIds?.[0] ?? `history_${route.id}`;
@@ -88,6 +91,7 @@ function createRouteArtifact(route, options) {
     sources,
     changedRegions: regions,
     sourceMapLinks,
+    semanticOperationIds: semanticOperations.operations.map((operation) => operation.id),
     evidenceIds: refs.evidenceIds,
     proofIds: refs.proofIds,
     historyIds: [history.id],
@@ -110,6 +114,7 @@ function createRouteArtifact(route, options) {
     materializedHistoryIds: [history.id],
     patchBundleIds: [patchBundle.id],
     sourceMapLinkIds: patchBundle.index.sourceMapLinkIds,
+    semanticOperationIds: semanticOperations.operations.map((operation) => operation.id),
     evidenceIds: history.evidenceIds,
     proofIds: history.proofIds,
     autoMergeClaim: false,
@@ -132,6 +137,7 @@ function createRouteArtifact(route, options) {
     reviewRequired: true,
     history,
     patchBundle,
+    semanticOperations,
     materialization,
     mergeScore: route.mergeScore,
     autoMergeClaim: false,

package/dist/universal-conversion-route-operations.js

@@ -0,0 +1,57 @@
+import { createSemanticOperationSet } from '@shapeshift-labs/frontier-lang-kernel';
+import { uniqueStrings } from './native-import-utils.js';
+
+export function routeSemanticOperations(route, refs, sources, regions, sourceMapLinks) {
+  const source = sources[0] ?? {};
+  return createSemanticOperationSet({
+    id: `semantic_operations_${route.id}`,
+    operations: [{
+      id: `semantic_operation_${route.id}`,
+      operationKind: routeOperationKind(route),
+      language: route.sourceLanguage,
+      name: route.routeAction,
+      target: typeof route.target === 'string' ? { language: route.target } : route.target,
+      nativeSourceId: source.id,
+      sourceMapIds: refs.sourceMapIds,
+      sourceMapMappingIds: refs.sourceMapMappingIds,
+      evidenceIds: refs.evidenceIds,
+      proofArtifactIds: refs.proofIds,
+      resources: routeOperationResources(route),
+      ownershipKeys: regions.map((region) => region.key),
+      conflictKeys: refs.conflictKeys,
+      readiness: route.readiness,
+      dynamic: route.mode === 'target-adapter' && route.readiness !== 'ready',
+      opaque: route.readiness === 'blocked' || route.mode === 'semantic-index-only',
+      metadata: routeOperationMetadata(route, source, sourceMapLinks)
+    }]
+  });
+}
+
+function routeOperationKind(route) {
+  if (route.mode === 'preserve-source') return 'sourcePreservation';
+  if (route.mode === 'target-adapter' || route.mode === 'stub-only') return 'projection';
+  if (route.mode === 'semantic-index-only') return 'merge';
+  return 'opaque';
+}
+
+function routeOperationResources(route) {
+  return uniqueStrings([route.adapter, route.adapterKind, route.target].filter(Boolean).map(String));
+}
+
+function routeOperationMetadata(route, source, sourceMapLinks) {
+  return {
+    routeId: route.id,
+    routeAction: route.routeAction,
+    admissionAction: route.admissionAction,
+    priority: route.priority,
+    sourcePath: source.sourcePath,
+    sourceHash: source.sourceHash,
+    sourceMapLinkIds: sourceMapLinks.map((link) => link.id),
+    targetLossKinds: route.evidence?.targetLossKinds ?? [],
+    missingEvidence: route.missingEvidence ?? [],
+    blockers: route.blockers ?? [],
+    review: route.review ?? [],
+    autoMergeClaim: false,
+    semanticEquivalenceClaim: false
+  };
+}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@shapeshift-labs/frontier-lang-compiler",
-  "version": "0.2.50",
+  "version": "0.2.51",
   "description": "Compiler facade for Frontier Lang source documents and language projection adapters.",
   "type": "module",
   "main": "./dist/index.js",
@@ -60,7 +60,7 @@
     "@shapeshift-labs/frontier-lang-c": "0.2.8",
     "@shapeshift-labs/frontier-lang-checker": "0.3.7",
     "@shapeshift-labs/frontier-lang-javascript": "0.2.8",
-    "@shapeshift-labs/frontier-lang-kernel": "0.3.11",
+    "@shapeshift-labs/frontier-lang-kernel": "0.3.12",
     "@shapeshift-labs/frontier-lang-parser": "0.3.7",
     "@shapeshift-labs/frontier-lang-python": "0.2.8",
     "@shapeshift-labs/frontier-lang-rust": "0.2.8",