@shapeshift-labs/frontier-lang-compiler 0.2.91 → 0.2.93

package/README.md

@@ -933,6 +933,7 @@ The published Frontier package family is generated from one shared package catal
 - [`@shapeshift-labs/frontier-realtime-server`](https://www.npmjs.com/package/@shapeshift-labs/frontier-realtime-server): Authoritative realtime room, tick, command validation, rate-limit, session, and snapshot-history runtime.
 - [`@shapeshift-labs/frontier-realtime-websocket`](https://www.npmjs.com/package/@shapeshift-labs/frontier-realtime-websocket): WebSocket client, wire, and Node room-server transport for Frontier realtime.
 - [`@shapeshift-labs/frontier-game`](https://www.npmjs.com/package/@shapeshift-labs/frontier-game): Game-facing entity, component, player, room, ownership, spatial interest, rollback, physics, and replication helpers above realtime.
+- [`@shapeshift-labs/loom`](https://www.npmjs.com/package/@shapeshift-labs/loom): Repo-level semantic collaboration CLI for .loom workspaces, including init, scan, status, graph snapshots, projection plans, Frontier Lang delegation, Frontier Swarm delegation, and Frontier Framework delegation.
 
 Package source repositories:
 
@@ -1026,3 +1027,4 @@ Package source repositories:
 - [`siliconjungle/-shapeshift-labs-frontier-realtime-server`](https://github.com/siliconjungle/-shapeshift-labs-frontier-realtime-server)
 - [`siliconjungle/-shapeshift-labs-frontier-realtime-websocket`](https://github.com/siliconjungle/-shapeshift-labs-frontier-realtime-websocket)
 - [`siliconjungle/-shapeshift-labs-frontier-game`](https://github.com/siliconjungle/-shapeshift-labs-frontier-game)
+- [`siliconjungle/-shapeshift-labs-loom`](https://github.com/siliconjungle/-shapeshift-labs-loom)

package/dist/declarations/semantic-edit-script.d.ts

@@ -191,6 +191,71 @@ export interface SemanticEditProjection {
   readonly metadata?: Record<string, unknown>;
 }
 
+export type SemanticEditReplayStatus =
+  | 'accepted-clean'
+  | 'already-applied'
+  | 'conflict'
+  | 'stale'
+  | 'blocked'
+  | 'needs-port'
+  | 'evidence-only';
+
+export interface SemanticEditReplayEdit {
+  readonly operationId?: string;
+  readonly semanticKey?: string;
+  readonly semanticIdentityHash?: string;
+  readonly sourceIdentityHash?: string;
+  readonly editContentHash?: string;
+  readonly sourcePath?: string;
+  readonly symbolName?: string;
+  readonly symbolKind?: string;
+  readonly status: 'applied' | 'already-applied' | 'conflict' | 'stale' | 'blocked' | string;
+  readonly start?: number;
+  readonly end?: number;
+  readonly replacementBytes?: number;
+  readonly replacementText?: string;
+  readonly reasonCodes: readonly string[];
+}
+
+export interface SemanticEditReplay {
+  readonly kind: 'frontier.lang.semanticEditReplay';
+  readonly version: 1;
+  readonly schema: 'frontier.lang.semanticEditReplay.v1';
+  readonly id: string;
+  readonly hash: string;
+  readonly projectionId?: string;
+  readonly scriptId?: string;
+  readonly sourcePath?: string;
+  readonly language?: FrontierSourceLanguage | string;
+  readonly currentHash?: string;
+  readonly projectedHash?: string;
+  readonly outputHash?: string;
+  readonly status: SemanticEditReplayStatus;
+  readonly edits: readonly SemanticEditReplayEdit[];
+  readonly appliedOperations: readonly string[];
+  readonly skippedOperations: readonly string[];
+  readonly admission: {
+    readonly status: SemanticEditReplayStatus;
+    readonly action: 'apply' | 'skip' | 'rerun-semantic-import' | 'human-review' | 'block' | string;
+    readonly reviewRequired: boolean;
+    readonly autoApplyCandidate: boolean;
+    readonly autoMergeClaim: false;
+    readonly semanticEquivalenceClaim: false;
+    readonly reasonCodes: readonly string[];
+  };
+  readonly outputSourceText?: string;
+  readonly summary: {
+    readonly edits: number;
+    readonly applied: number;
+    readonly alreadyApplied: number;
+    readonly conflicts: number;
+    readonly stale: number;
+    readonly blocked: number;
+    readonly reasonCodes: readonly string[];
+  };
+  readonly metadata?: Record<string, unknown>;
+}
+
 export interface ProjectSemanticEditScriptToSourceOptions {
   readonly id?: string;
   readonly script: SemanticEditScript;
@@ -200,6 +265,17 @@ export interface ProjectSemanticEditScriptToSourceOptions {
   readonly metadata?: Record<string, unknown>;
 }
 
+export interface ReplaySemanticEditProjectionOptions {
+  readonly id?: string;
+  readonly projection: SemanticEditProjection;
+  readonly currentSourceText: string;
+  readonly currentSourcePath?: string;
+  readonly currentSourceHash?: string;
+  readonly language?: FrontierSourceLanguage | string;
+  readonly parser?: string;
+  readonly metadata?: Record<string, unknown>;
+}
+
 export interface CreateSemanticEditScriptOptions {
   readonly id?: string;
   readonly language?: FrontierSourceLanguage | string;
@@ -229,3 +305,4 @@ export interface CreateSemanticEditScriptOptions {
 export declare const SemanticEditScriptAdmissionStatuses: readonly SemanticEditScriptAdmissionStatus[];
 export declare function createSemanticEditScript(input?: CreateSemanticEditScriptOptions): SemanticEditScript;
 export declare function projectSemanticEditScriptToSource(input: ProjectSemanticEditScriptToSourceOptions): SemanticEditProjection;
+export declare function replaySemanticEditProjection(input: ReplaySemanticEditProjectionOptions): SemanticEditReplay;

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

@@ -0,0 +1,43 @@
+export interface SemanticPatchBundleRecordIndex {
+  readonly baseHashes: readonly string[];
+  readonly targetHashes: readonly string[];
+  readonly sourceHashes: readonly string[];
+  readonly sourcePaths: readonly string[];
+  readonly regionKeys: readonly string[];
+  readonly regionKinds: readonly string[];
+  readonly conflictKeys: readonly string[];
+  readonly sourceMapIds: readonly string[];
+  readonly sourceMapMappingIds: readonly string[];
+  readonly sourceMapLinkIds: readonly string[];
+  readonly evidenceIds: readonly string[];
+  readonly proofIds: readonly string[];
+  readonly historyIds: readonly string[];
+  readonly semanticOperationIds: readonly string[];
+  readonly semanticEditScriptIds: readonly string[];
+  readonly semanticEditProjectionIds: readonly string[];
+  readonly semanticEditReplayIds: readonly string[];
+  readonly semanticEditReplayStatuses: readonly string[];
+  readonly semanticEditReplayActions: readonly string[];
+  readonly semanticEditReplayCurrentHashes: readonly string[];
+  readonly semanticEditReplayOutputHashes: readonly string[];
+  readonly semanticEditKeys: readonly string[];
+  readonly semanticIdentityHashes: readonly string[];
+  readonly sourceIdentityHashes: readonly string[];
+  readonly operationContentHashes: readonly string[];
+  readonly editContentHashes: readonly string[];
+  readonly semanticTransformIds: readonly string[];
+  readonly semanticTransformKeys: readonly string[];
+  readonly semanticTransformIdentityHashes: readonly string[];
+  readonly semanticTransformContentHashes: readonly string[];
+  readonly projectionIdentityHashes: readonly string[];
+  readonly semanticTransformReadinesses: readonly string[];
+  readonly semanticTransformEvidenceIds: readonly string[];
+  readonly transformSourceLanguages: readonly string[];
+  readonly transformTargetLanguages: readonly string[];
+  readonly transformSourcePaths: readonly string[];
+  readonly transformTargetPaths: readonly string[];
+  readonly patchIds: readonly string[];
+  readonly mergeCandidateIds: readonly string[];
+  readonly readinesses: readonly string[];
+  readonly admissionStatuses: readonly string[];
+}

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

@@ -7,9 +7,12 @@ import type {
   SourceSpan
 } from '@shapeshift-labs/frontier-lang-kernel';
 import type { NativeSourceChangeKind, NativeSourceChangeSet } from './native-diff.js';
-import type { SemanticEditProjection, SemanticEditScript } from './semantic-edit-script.js';
+import type { SemanticEditProjection, SemanticEditReplay, SemanticEditScript } from './semantic-edit-script.js';
+import type { SemanticPatchBundleRecordIndex } from './semantic-patch-bundle-index.js';
 import type { SemanticTransformIdentityRecord } from './semantic-transform-identity.js';
 
+export type { SemanticPatchBundleRecordIndex } from './semantic-patch-bundle-index.js';
+
 export type SemanticPatchBundleAdmissionStatus = 'proposed' | 'queued' | 'admitted' | 'needs-review' | 'blocked' | 'rejected' | string;
 
 export interface SemanticPatchBundleSourceRef {
@@ -108,45 +111,6 @@ export interface SemanticPatchBundleTransformAdmission {
   readonly evidenceIds?: readonly string[];
 }
 
-export interface SemanticPatchBundleRecordIndex {
-  readonly baseHashes: readonly string[];
-  readonly targetHashes: readonly string[];
-  readonly sourceHashes: readonly string[];
-  readonly sourcePaths: readonly string[];
-  readonly regionKeys: readonly string[];
-  readonly regionKinds: readonly string[];
-  readonly conflictKeys: readonly string[];
-  readonly sourceMapIds: readonly string[];
-  readonly sourceMapMappingIds: readonly string[];
-  readonly sourceMapLinkIds: readonly string[];
-  readonly evidenceIds: readonly string[];
-  readonly proofIds: readonly string[];
-  readonly historyIds: readonly string[];
-  readonly semanticOperationIds: readonly string[];
-  readonly semanticEditScriptIds: readonly string[];
-  readonly semanticEditProjectionIds: readonly string[];
-  readonly semanticEditKeys: readonly string[];
-  readonly semanticIdentityHashes: readonly string[];
-  readonly sourceIdentityHashes: readonly string[];
-  readonly operationContentHashes: readonly string[];
-  readonly editContentHashes: readonly string[];
-  readonly semanticTransformIds: readonly string[];
-  readonly semanticTransformKeys: readonly string[];
-  readonly semanticTransformIdentityHashes: readonly string[];
-  readonly semanticTransformContentHashes: readonly string[];
-  readonly projectionIdentityHashes: readonly string[];
-  readonly semanticTransformReadinesses: readonly string[];
-  readonly semanticTransformEvidenceIds: readonly string[];
-  readonly transformSourceLanguages: readonly string[];
-  readonly transformTargetLanguages: readonly string[];
-  readonly transformSourcePaths: readonly string[];
-  readonly transformTargetPaths: readonly string[];
-  readonly patchIds: readonly string[];
-  readonly mergeCandidateIds: readonly string[];
-  readonly readinesses: readonly string[];
-  readonly admissionStatuses: readonly string[];
-}
-
 export interface SemanticPatchBundleRecord {
   readonly kind: 'frontier.lang.semanticPatchBundleRecord';
   readonly version: 1;
@@ -168,6 +132,7 @@ export interface SemanticPatchBundleRecord {
   readonly semanticOperationIds: readonly string[];
   readonly semanticEditScriptIds: readonly string[];
   readonly semanticEditProjectionIds: readonly string[];
+  readonly semanticEditReplayIds: readonly string[];
   readonly semanticTransformIdentityIds: readonly string[];
   readonly admission: SemanticPatchBundleAdmission;
   readonly index: SemanticPatchBundleRecordIndex;
@@ -180,7 +145,9 @@ export interface SemanticPatchBundleRecord {
     readonly semanticOperations: number;
     readonly semanticEditScripts: number;
     readonly semanticEditProjections: number;
+    readonly semanticEditReplays: number;
     readonly semanticEditProjectionEdits: number;
+    readonly semanticEditReplayEdits: number;
     readonly semanticTransformIdentities: number;
     readonly reviewRequired: boolean;
     readonly autoMergeClaim: false;
@@ -214,6 +181,8 @@ export interface CreateSemanticPatchBundleRecordOptions {
   readonly semanticEditScripts?: readonly SemanticEditScript[] | SemanticEditScript;
   readonly semanticEditProjection?: SemanticEditProjection;
   readonly semanticEditProjections?: readonly SemanticEditProjection[] | SemanticEditProjection;
+  readonly semanticEditReplay?: SemanticEditReplay;
+  readonly semanticEditReplays?: readonly SemanticEditReplay[] | SemanticEditReplay;
   readonly semanticTransformIdentity?: SemanticTransformIdentityRecord | Record<string, unknown>;
   readonly semanticTransformIdentities?: readonly (SemanticTransformIdentityRecord | Record<string, unknown>)[];
   readonly sourceLanguage?: FrontierSourceLanguage | string;
@@ -264,6 +233,16 @@ export interface SemanticPatchBundleRecordQuery {
   readonly semanticEditScriptIds?: readonly string[];
   readonly semanticEditProjectionId?: string | readonly string[];
   readonly semanticEditProjectionIds?: readonly string[];
+  readonly semanticEditReplayId?: string | readonly string[];
+  readonly semanticEditReplayIds?: readonly string[];
+  readonly semanticEditReplayStatus?: string | readonly string[];
+  readonly semanticEditReplayStatuses?: readonly string[];
+  readonly semanticEditReplayAction?: string | readonly string[];
+  readonly semanticEditReplayActions?: readonly string[];
+  readonly semanticEditReplayCurrentHash?: string | readonly string[];
+  readonly semanticEditReplayCurrentHashes?: readonly string[];
+  readonly semanticEditReplayOutputHash?: string | readonly string[];
+  readonly semanticEditReplayOutputHashes?: readonly string[];
   readonly semanticEditKey?: string | readonly string[];
   readonly semanticEditKeys?: readonly string[];
   readonly semanticIdentityHash?: string | readonly string[];

package/dist/index.d.ts

@@ -19,6 +19,7 @@ export * from './declarations/semantic-merge-conflicts.js';
 export * from './declarations/semantic-edit-script.js';
 export * from './declarations/semantic-lineage.js';
 export * from './declarations/semantic-history.js';
+export * from './declarations/semantic-patch-bundle-index.js';
 export * from './declarations/semantic-patch-bundle.js';
 export * from './declarations/semantic-patch-bundle-overlaps.js';
 export * from './declarations/semantic-transform-identity.js';

package/dist/index.js

@@ -73,6 +73,7 @@ export { createSemanticMergeCandidateAdmissionRecord, decorateSemanticMergeCandi
 export { querySemanticMergeConflictClasses, SemanticMergeConflictClasses, semanticMergeConflictRiskScore, sortSemanticMergeCandidatesByConflictRisk, summarizeSemanticMergeConflicts } from './internal/index-impl/semanticMergeConflicts.js';
 export { createSemanticEditScript, SemanticEditScriptAdmissionStatuses } from './internal/index-impl/semanticEditScripts.js';
 export { projectSemanticEditScriptToSource } from './internal/index-impl/projectSemanticEditScriptToSource.js';
+export { replaySemanticEditProjection } from './internal/index-impl/replaySemanticEditProjection.js';
 export { queryUniversalConversionPlan } from './internal/index-impl/queryUniversalConversionPlan.js';
 export { createSemanticAnchor, createSemanticLineageEvent, createSemanticLineageMap, querySemanticLineageEvents, SemanticLineageEventKinds } from './internal/index-impl/semanticLineageRecords.js';
 export { resolveSemanticLineage, resolveSemanticLineageBatch, SemanticLineageResolutionStatuses } from './internal/index-impl/semanticLineageResolutionRecords.js';

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

@@ -0,0 +1,191 @@
+import { hashSemanticValue } from '@shapeshift-labs/frontier-lang-kernel';
+import { idFragment, normalizeNativeLanguageId, uniqueStrings } from '../../native-import-utils.js';
+import { createSemanticImportSidecar } from './createSemanticImportSidecar.js';
+import { mapDiffSymbols } from './mapDiffSymbols.js';
+import { normalizeNativeDiffImport } from './normalizeNativeDiffImport.js';
+
+export function replaySemanticEditProjection(input = {}) {
+  const projection = input.projection ?? input.semanticEditProjection;
+  if (!projection) throw new Error('replaySemanticEditProjection requires a projection');
+  const currentSourceText = input.currentSourceText ?? input.headSourceText;
+  const sourcePath = input.currentSourcePath ?? input.headSourcePath ?? projection.sourcePath;
+  const language = normalizeNativeLanguageId(input.language ?? projection.language);
+  const reasonCodes = baseReasonCodes(projection, currentSourceText);
+  const currentHash = typeof currentSourceText === 'string' ? hashSemanticValue(currentSourceText) : undefined;
+  if (input.currentSourceHash && currentHash !== input.currentSourceHash) reasonCodes.push('current-source-hash-mismatch');
+  const currentSymbols = currentSourceText && isJavaScriptLike(language)
+    ? currentSymbolIndex({ currentSourceText, sourcePath, language, parser: input.parser })
+    : [];
+  const edits = projection.status === 'projected' && typeof currentSourceText === 'string'
+    ? (projection.edits ?? []).map((edit) => replayProjectionEdit(edit, { currentSourceText, currentSymbols }))
+    : [];
+  const status = replayStatus(reasonCodes, edits, projection);
+  const outputSourceText = replayOutputSource(status, currentSourceText, edits);
+  const core = {
+    kind: 'frontier.lang.semanticEditReplay',
+    version: 1,
+    schema: 'frontier.lang.semanticEditReplay.v1',
+    id: input.id ?? `semantic_edit_replay_${idFragment(projection.id ?? sourcePath ?? language ?? 'projection')}`,
+    projectionId: projection.id,
+    scriptId: projection.scriptId,
+    sourcePath,
+    language,
+    currentHash,
+    projectedHash: projection.projectedHash,
+    outputHash: outputSourceText === undefined ? undefined : hashSemanticValue(outputSourceText),
+    status,
+    edits,
+    appliedOperations: edits.filter((edit) => edit.status === 'applied').map((edit) => edit.operationId).filter(Boolean),
+    skippedOperations: edits.filter((edit) => edit.status !== 'applied').map((edit) => edit.operationId).filter(Boolean),
+    admission: replayAdmission(status, reasonCodes, edits),
+    outputSourceText,
+    summary: replaySummary(edits, reasonCodes),
+    metadata: compactRecord({
+      autoMergeClaim: false,
+      semanticEquivalenceClaim: false,
+      anchorMode: currentSymbols.length ? 'javascript-like-symbols' : 'offsets',
+      ...input.metadata
+    })
+  };
+  return { ...core, hash: hashSemanticValue(core) };
+}
+
+function replayProjectionEdit(edit, context) {
+  if (edit.status === 'already-applied') return replayEditRecord(edit, 'already-applied', undefined, ['projection-edit-already-applied']);
+  if (typeof edit.replacementText !== 'string') return replayEditRecord(edit, 'blocked', undefined, ['missing-replacement-text']);
+  const offset = checkRange(edit, { start: edit.headStart, end: edit.headEnd }, context.currentSourceText, 'head-offset');
+  if (offset) return replayEditRecord(edit, offset.status, offset.range, [offset.reason]);
+  const symbol = findCurrentSymbol(edit, context.currentSymbols);
+  const spanRange = spanOffsets(context.currentSourceText, symbol?.sourceSpan);
+  const anchored = checkRange(edit, spanRange, context.currentSourceText, 'current-symbol-anchor');
+  if (anchored) return replayEditRecord(edit, anchored.status, anchored.range, [anchored.reason, 'offset-reanchored-by-symbol']);
+  return replayEditRecord(edit, symbol ? 'conflict' : 'stale', spanRange, [
+    symbol ? 'current-symbol-anchor-content-mismatch' : 'current-symbol-anchor-missing'
+  ]);
+}
+
+function checkRange(edit, range, sourceText, label) {
+  if (!range || range.end < range.start) return undefined;
+  const current = sourceText.slice(range.start, range.end);
+  const currentHash = hashSemanticValue(current);
+  if (edit.deletedTextHash && currentHash === edit.deletedTextHash) return { status: 'applied', range, reason: `${label}-matches-deleted` };
+  if (edit.replacementTextHash && currentHash === edit.replacementTextHash) return { status: 'already-applied', range, reason: `${label}-matches-replacement` };
+  if (current === edit.replacementText) return { status: 'already-applied', range, reason: `${label}-matches-replacement-text` };
+  return undefined;
+}
+
+function replayEditRecord(edit, status, range, reasonCodes) {
+  return compactRecord({
+    operationId: edit.operationId,
+    semanticKey: edit.semanticKey,
+    semanticIdentityHash: edit.semanticIdentityHash,
+    sourceIdentityHash: edit.sourceIdentityHash,
+    editContentHash: edit.editContentHash,
+    sourcePath: edit.targetSourcePath ?? edit.sourcePath,
+    symbolName: edit.targetSymbolName ?? edit.symbolName,
+    symbolKind: edit.targetSymbolKind ?? edit.symbolKind,
+    status,
+    start: range?.start,
+    end: range?.end,
+    replacementBytes: edit.replacementBytes,
+    replacementText: edit.replacementText,
+    reasonCodes: reasonList(reasonCodes)
+  });
+}
+
+function currentSymbolIndex(input) {
+  const imported = normalizeNativeDiffImport({
+    language: input.language,
+    sourcePath: input.sourcePath,
+    sourceText: input.currentSourceText,
+    parser: input.parser
+  }, input, 'current');
+  return [...mapDiffSymbols(imported, createSemanticImportSidecar(imported)).values()];
+}
+
+function findCurrentSymbol(edit, symbols) {
+  const exact = symbols.find((symbol) => [symbol.ownershipKey, symbol.key, symbol.id].some((key) => key && [
+    edit.anchorKey,
+    edit.targetAnchorKey,
+    edit.symbolId
+  ].includes(key)));
+  if (exact) return exact;
+  const name = edit.targetSymbolName ?? edit.symbolName;
+  const kind = edit.targetSymbolKind ?? edit.symbolKind;
+  return symbols.find((symbol) => symbol.name === name && (!kind || symbol.kind === kind));
+}
+
+function replayStatus(reasonCodes, edits, projection) {
+  if (reasonCodes.some((reason) => reason !== 'current-source-hash-mismatch')) return 'blocked';
+  if (!edits.length && !(projection.edits ?? []).length) return 'evidence-only';
+  if (edits.some((edit) => edit.status === 'blocked')) return 'blocked';
+  if (edits.some((edit) => edit.status === 'conflict')) return 'conflict';
+  if (edits.some((edit) => edit.status === 'stale')) return 'stale';
+  if (edits.every((edit) => edit.status === 'already-applied')) return 'already-applied';
+  return edits.every((edit) => edit.status === 'applied' || edit.status === 'already-applied') ? 'accepted-clean' : 'needs-port';
+}
+
+function replayAdmission(status, reasonCodes, edits) {
+  const apply = status === 'accepted-clean';
+  return {
+    status,
+    action: apply ? 'apply' : status === 'already-applied' ? 'skip' : status === 'stale' ? 'rerun-semantic-import' : status === 'blocked' ? 'block' : 'human-review',
+    reviewRequired: !apply,
+    autoApplyCandidate: apply,
+    autoMergeClaim: false,
+    semanticEquivalenceClaim: false,
+    reasonCodes: reasonList([...reasonCodes, ...edits.flatMap((edit) => edit.reasonCodes ?? [])])
+  };
+}
+
+function replaySummary(edits, reasonCodes) {
+  return {
+    edits: edits.length,
+    applied: edits.filter((edit) => edit.status === 'applied').length,
+    alreadyApplied: edits.filter((edit) => edit.status === 'already-applied').length,
+    conflicts: edits.filter((edit) => edit.status === 'conflict').length,
+    stale: edits.filter((edit) => edit.status === 'stale').length,
+    blocked: edits.filter((edit) => edit.status === 'blocked').length,
+    reasonCodes: reasonList([...reasonCodes, ...edits.flatMap((edit) => edit.reasonCodes ?? [])])
+  };
+}
+
+function replayOutputSource(status, sourceText, edits) {
+  if (typeof sourceText !== 'string') return undefined;
+  if (status === 'already-applied') return sourceText;
+  if (status !== 'accepted-clean') return undefined;
+  return edits.filter((edit) => edit.status === 'applied')
+    .sort((left, right) => right.start - left.start)
+    .reduce((text, edit) => text.slice(0, edit.start) + editReplacement(edit, edits) + text.slice(edit.end), sourceText);
+}
+
+function editReplacement(edit, edits) {
+  return edits.find((candidate) => candidate.operationId === edit.operationId)?.replacementText ?? '';
+}
+
+function baseReasonCodes(projection, currentSourceText) {
+  return reasonList([
+    projection.status !== 'projected' ? 'projection-not-projected' : undefined,
+    projection.admission?.status !== 'auto-merge-candidate' ? 'projection-not-auto-merge-candidate' : undefined,
+    typeof currentSourceText !== 'string' ? 'missing-current-source-text' : undefined
+  ]);
+}
+
+function spanOffsets(sourceText, span) {
+  if (typeof sourceText !== 'string' || !span) return undefined;
+  if (typeof span.start === 'number' && typeof span.end === 'number' && span.end >= span.start) return { start: span.start, end: span.end };
+  if (typeof span.startLine !== 'number') return undefined;
+  const starts = [0];
+  for (let index = 0; index < sourceText.length; index += 1) if (sourceText[index] === '\n') starts.push(index + 1);
+  const startLine = Math.max(1, span.startLine);
+  const endLine = Math.max(startLine, typeof span.endLine === 'number' ? span.endLine : startLine);
+  const lineStart = starts[startLine - 1];
+  const endLineStart = starts[endLine - 1];
+  if (lineStart === undefined || endLineStart === undefined) return undefined;
+  const lineEnd = starts[endLine] === undefined ? sourceText.length : starts[endLine] - 1;
+  return { start: lineStart + Math.max(0, (span.startColumn ?? 1) - 1), end: endLineStart + (span.endColumn === undefined ? lineEnd - endLineStart : Math.max(0, span.endColumn - 1)) };
+}
+
+function isJavaScriptLike(language) { return language === 'javascript' || language === 'typescript'; }
+function reasonList(values) { return uniqueStrings((values ?? []).filter(Boolean)); }
+function compactRecord(value) { return Object.fromEntries(Object.entries(value ?? {}).filter(([, entry]) => entry !== undefined && (!Array.isArray(entry) || entry.length > 0))); }

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

@@ -0,0 +1,56 @@
+import { uniqueStrings } from '../../native-import-utils.js';
+
+export function semanticEditRecordIndex(scripts, projections, replays, source = {}) {
+  const operations = scripts.flatMap((script) => array(script.operations));
+  const edits = projections.flatMap((projection) => array(projection.edits));
+  const replayEdits = replays.flatMap((replay) => array(replay.edits));
+  const index = source.index ?? {};
+  const summary = source.metadata?.semanticEditSummary ?? {};
+  return {
+    semanticEditScriptIds: uniqueStrings([...strings(source.semanticEditScriptIds), ...strings(source.semanticEditScriptId), ...strings(index.semanticEditScriptIds), ...strings(summary.scriptIds), ...scripts.map((script) => script.id), ...replays.map((replay) => replay.scriptId)]),
+    semanticEditProjectionIds: uniqueStrings([...strings(source.semanticEditProjectionIds), ...strings(source.semanticEditProjectionId), ...strings(index.semanticEditProjectionIds), ...strings(summary.projectionIds), ...projections.map((projection) => projection.id), ...replays.map((replay) => replay.projectionId)]),
+    semanticEditReplayIds: uniqueStrings([...strings(source.semanticEditReplayIds), ...strings(source.semanticEditReplayId), ...strings(index.semanticEditReplayIds), ...strings(summary.replayIds), ...replays.map((replay) => replay.id)]),
+    semanticEditOperationIds: uniqueStrings([...strings(source.semanticOperationIds), ...strings(index.semanticOperationIds), ...operations.map((operation) => operation.id), ...replayOperationIds(replays)]),
+    semanticEditProjectionEditCount: edits.length,
+    semanticEditReplayEditCount: replayEdits.length,
+    semanticEditReplayStatuses: uniqueStrings([...strings(source.semanticEditReplayStatuses), ...strings(index.semanticEditReplayStatuses), ...strings(summary.replayStatuses), ...replays.map((replay) => replay.status)]),
+    semanticEditReplayActions: uniqueStrings([...strings(source.semanticEditReplayActions), ...strings(index.semanticEditReplayActions), ...strings(summary.replayActions), ...replays.map((replay) => replay.admission?.action)]),
+    semanticEditReplayCurrentHashes: uniqueStrings([...strings(source.semanticEditReplayCurrentHashes), ...strings(index.semanticEditReplayCurrentHashes), ...replays.map((replay) => replay.currentHash)]),
+    semanticEditReplayOutputHashes: uniqueStrings([...strings(source.semanticEditReplayOutputHashes), ...strings(index.semanticEditReplayOutputHashes), ...replays.map((replay) => replay.outputHash)]),
+    semanticEditKeys: uniqueStrings([...strings(source.semanticEditKeys), ...strings(index.semanticEditKeys), ...operations.map((operation) => operation.semanticKey), ...edits.map((edit) => edit.semanticKey), ...replayEdits.map((edit) => edit.semanticKey)]),
+    semanticIdentityHashes: uniqueStrings([...strings(source.semanticIdentityHashes), ...strings(index.semanticIdentityHashes), ...operations.map((operation) => operation.semanticIdentityHash), ...edits.map((edit) => edit.semanticIdentityHash), ...replayEdits.map((edit) => edit.semanticIdentityHash)]),
+    sourceIdentityHashes: uniqueStrings([...strings(source.sourceIdentityHashes), ...strings(index.sourceIdentityHashes), ...operations.map((operation) => operation.sourceIdentityHash), ...edits.map((edit) => edit.sourceIdentityHash), ...replayEdits.map((edit) => edit.sourceIdentityHash)]),
+    operationContentHashes: uniqueStrings([...strings(source.operationContentHashes), ...strings(index.operationContentHashes), ...operations.map((operation) => operation.operationContentHash), ...edits.map((edit) => edit.operationContentHash)]),
+    editContentHashes: uniqueStrings([...strings(source.editContentHashes), ...strings(index.editContentHashes), ...edits.map((edit) => edit.editContentHash), ...replayEdits.map((edit) => edit.editContentHash)]),
+    anchorKeys: uniqueStrings([...operations.map((operation) => operation.anchor?.key), ...edits.map((edit) => edit.anchorKey)]),
+    conflictKeys: uniqueStrings([...operations.map((operation) => operation.anchor?.conflictKey), ...edits.map((edit) => edit.conflictKey)]),
+    projectedSourcePaths: uniqueStrings([...projections.map((projection) => projection.sourcePath), ...edits.flatMap((edit) => [edit.sourcePath, edit.targetSourcePath]), ...replays.map((replay) => replay.sourcePath), ...replayEdits.map((edit) => edit.sourcePath)])
+  };
+}
+
+export function semanticEditSummary(index) {
+  if (!index.semanticEditScriptIds.length && !index.semanticEditProjectionIds.length && !index.semanticEditReplayIds.length) return undefined;
+  return compactRecord({
+    scriptIds: index.semanticEditScriptIds,
+    projectionIds: index.semanticEditProjectionIds,
+    replayIds: index.semanticEditReplayIds,
+    replayStatuses: index.semanticEditReplayStatuses,
+    replayActions: index.semanticEditReplayActions,
+    semanticEditKeys: index.semanticEditKeys,
+    operationContentHashes: index.operationContentHashes,
+    editContentHashes: index.editContentHashes,
+    projectedSourcePaths: index.projectedSourcePaths,
+    replayEditCount: index.semanticEditReplayEditCount
+  });
+}
+
+function replayOperationIds(replays) {
+  return replays.flatMap((replay) => [
+    ...array(replay.appliedOperations),
+    ...array(replay.skippedOperations),
+    ...array(replay.edits).map((edit) => edit.operationId)
+  ]);
+}
+function array(value) { if (value === undefined || value === null) return []; return Array.isArray(value) ? value : [value]; }
+function strings(value) { return array(value).map((entry) => String(entry ?? '')).filter(Boolean); }
+function compactRecord(value) { return Object.fromEntries(Object.entries(value ?? {}).filter(([, entry]) => entry !== undefined && (!Array.isArray(entry) || entry.length > 0))); }

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

@@ -1,5 +1,6 @@
 import{idFragment,normalizeSemanticMergeReadiness,uniqueStrings}from'../../native-import-utils.js';
 import{createSemanticPatchBundleAdmission}from'./semanticPatchBundleAdmission.js';
+import{semanticEditRecordIndex,semanticEditSummary}from'./semanticEditBundleIndex.js';
 import{normalizeSemanticTransformIdentityRecords,semanticTransformInputs,semanticTransformRecordIndex,semanticTransformSummary}from'./semanticTransformIdentityRecords.js';
 
 export const SemanticPatchBundleAdmissionStatuses=Object.freeze(['proposed','queued','admitted','needs-review','blocked','rejected']);
@@ -10,7 +11,8 @@ export function createSemanticPatchBundleRecord(input={},options={}){
   const mergeCandidate=options.mergeCandidate??source.mergeCandidate??source.candidate;
   const semanticEditScripts=array(options.semanticEditScripts??source.semanticEditScripts??source.semanticEditScript);
   const semanticEditProjections=array(options.semanticEditProjections??source.semanticEditProjections??source.semanticEditProjection);
-  const semanticEditIndex=semanticEditRecordIndex(semanticEditScripts,semanticEditProjections,source);
+  const semanticEditReplays=array(options.semanticEditReplays??source.semanticEditReplays??source.semanticEditReplay);
+  const semanticEditIndex=semanticEditRecordIndex(semanticEditScripts,semanticEditProjections,semanticEditReplays,source);
   const transformContext={sourceLanguage:options.sourceLanguage??source.sourceLanguage??source.language,targetLanguage:options.targetLanguage??source.targetLanguage};
   const semanticTransformIdentities=normalizeSemanticTransformIdentityRecords(semanticTransformInputs(source,options),transformContext);
   const semanticTransformIndex=semanticTransformRecordIndex(semanticTransformIdentities,source);
@@ -70,10 +72,11 @@ export function createSemanticPatchBundleRecord(input={},options={}){
     semanticOperationIds,
     semanticEditScriptIds:semanticEditIndex.semanticEditScriptIds,
     semanticEditProjectionIds:semanticEditIndex.semanticEditProjectionIds,
+    semanticEditReplayIds:semanticEditIndex.semanticEditReplayIds,
     semanticTransformIdentityIds:semanticTransformIndex.semanticTransformIds,
     admission,
     index,
-    summary:{changedRegions:changedRegions.length,sourceMapLinks:sourceMapLinks.length,evidenceIds:evidenceIds.length,proofIds:proofIds.length,historyIds:historyIds.length,semanticOperations:semanticOperationIds.length,semanticEditScripts:semanticEditScripts.length,semanticEditProjections:semanticEditProjections.length,semanticEditProjectionEdits:semanticEditIndex.semanticEditProjectionEditCount,semanticTransformIdentities:semanticTransformIdentities.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,semanticEditScripts:semanticEditScripts.length,semanticEditProjections:semanticEditProjections.length,semanticEditReplays:semanticEditReplays.length,semanticEditProjectionEdits:semanticEditIndex.semanticEditProjectionEditCount,semanticEditReplayEdits:semanticEditIndex.semanticEditReplayEditCount,semanticTransformIdentities:semanticTransformIdentities.length,reviewRequired:admission.reviewRequired,autoMergeClaim:admission.autoMergeClaim},
     metadata:compactRecord({
       sourceChangeSetId:source.kind==='frontier.lang.nativeSourceChangeSet'?source.id:undefined,
       patchRisk:patch?.risk,
@@ -186,7 +189,7 @@ function normalizeSourceMapLinks(links){
 }
 
 function recordIndex(parts){
-  const semanticEditIndex=parts.semanticEditIndex??semanticEditRecordIndex([],[]);
+  const semanticEditIndex=parts.semanticEditIndex??semanticEditRecordIndex([],[],[],parts);
   const semanticTransformIndex=parts.semanticTransformIndex??semanticTransformRecordIndex([],parts);
   return{
     baseHashes:uniqueStrings([parts.baseHash,...parts.sources.map((item)=>item.baseHash)]),
@@ -205,6 +208,11 @@ function recordIndex(parts){
     semanticOperationIds:uniqueStrings(parts.semanticOperationIds),
     semanticEditScriptIds:semanticEditIndex.semanticEditScriptIds,
     semanticEditProjectionIds:semanticEditIndex.semanticEditProjectionIds,
+    semanticEditReplayIds:semanticEditIndex.semanticEditReplayIds,
+    semanticEditReplayStatuses:semanticEditIndex.semanticEditReplayStatuses,
+    semanticEditReplayActions:semanticEditIndex.semanticEditReplayActions,
+    semanticEditReplayCurrentHashes:semanticEditIndex.semanticEditReplayCurrentHashes,
+    semanticEditReplayOutputHashes:semanticEditIndex.semanticEditReplayOutputHashes,
     semanticEditKeys:semanticEditIndex.semanticEditKeys,
     semanticIdentityHashes:semanticEditIndex.semanticIdentityHashes,
     sourceIdentityHashes:semanticEditIndex.sourceIdentityHashes,
@@ -249,6 +257,11 @@ function matchesRecord(record,query){
     &&matchAny(queryValues(query.semanticOperationId,query.semanticOperationIds),index.semanticOperationIds)
     &&matchAny(queryValues(query.semanticEditScriptId,query.semanticEditScriptIds),index.semanticEditScriptIds)
     &&matchAny(queryValues(query.semanticEditProjectionId,query.semanticEditProjectionIds),index.semanticEditProjectionIds)
+    &&matchAny(queryValues(query.semanticEditReplayId,query.semanticEditReplayIds),index.semanticEditReplayIds)
+    &&matchAny(queryValues(query.semanticEditReplayStatus,query.semanticEditReplayStatuses),index.semanticEditReplayStatuses)
+    &&matchAny(queryValues(query.semanticEditReplayAction,query.semanticEditReplayActions),index.semanticEditReplayActions)
+    &&matchAny(queryValues(query.semanticEditReplayCurrentHash,query.semanticEditReplayCurrentHashes),index.semanticEditReplayCurrentHashes)
+    &&matchAny(queryValues(query.semanticEditReplayOutputHash,query.semanticEditReplayOutputHashes),index.semanticEditReplayOutputHashes)
     &&matchAny(queryValues(query.semanticEditKey,query.semanticEditKeys),index.semanticEditKeys)
     &&matchAny(queryValues(query.semanticIdentityHash,query.semanticIdentityHashes),index.semanticIdentityHashes)
     &&matchAny(queryValues(query.sourceIdentityHash,query.sourceIdentityHashes),index.sourceIdentityHashes)
@@ -269,36 +282,6 @@ function matchesRecord(record,query){
     &&matchAny(queryValues(query.admissionStatus,query.admissionStatuses),index.admissionStatuses);
 }
 
-function semanticEditRecordIndex(scripts,projections,source={}){
-  const operations=scripts.flatMap((script)=>array(script.operations));
-  const edits=projections.flatMap((projection)=>array(projection.edits));
-  const index=source.index??{};
-  return{
-    semanticEditScriptIds:uniqueStrings([...strings(source.semanticEditScriptIds),...strings(source.semanticEditScriptId),...strings(index.semanticEditScriptIds),...scripts.map((script)=>script.id)]),
-    semanticEditProjectionIds:uniqueStrings([...strings(source.semanticEditProjectionIds),...strings(source.semanticEditProjectionId),...strings(index.semanticEditProjectionIds),...projections.map((projection)=>projection.id)]),
-    semanticEditOperationIds:uniqueStrings([...strings(source.semanticOperationIds),...strings(index.semanticOperationIds),...operations.map((operation)=>operation.id)]),
-    semanticEditProjectionEditCount:edits.length,
-    semanticEditKeys:uniqueStrings([...strings(source.semanticEditKeys),...strings(index.semanticEditKeys),...operations.map((operation)=>operation.semanticKey),...edits.map((edit)=>edit.semanticKey)]),
-    semanticIdentityHashes:uniqueStrings([...strings(source.semanticIdentityHashes),...strings(index.semanticIdentityHashes),...operations.map((operation)=>operation.semanticIdentityHash),...edits.map((edit)=>edit.semanticIdentityHash)]),
-    sourceIdentityHashes:uniqueStrings([...strings(source.sourceIdentityHashes),...strings(index.sourceIdentityHashes),...operations.map((operation)=>operation.sourceIdentityHash),...edits.map((edit)=>edit.sourceIdentityHash)]),
-    operationContentHashes:uniqueStrings([...strings(source.operationContentHashes),...strings(index.operationContentHashes),...operations.map((operation)=>operation.operationContentHash),...edits.map((edit)=>edit.operationContentHash)]),
-    editContentHashes:uniqueStrings([...strings(source.editContentHashes),...strings(index.editContentHashes),...edits.map((edit)=>edit.editContentHash)]),
-    anchorKeys:uniqueStrings([...operations.map((operation)=>operation.anchor?.key),...edits.map((edit)=>edit.anchorKey)]),
-    conflictKeys:uniqueStrings([...operations.map((operation)=>operation.anchor?.conflictKey),...edits.map((edit)=>edit.conflictKey)]),
-    projectedSourcePaths:uniqueStrings([...projections.map((projection)=>projection.sourcePath),...edits.flatMap((edit)=>[edit.sourcePath,edit.targetSourcePath])])
-  };
-}
-function semanticEditSummary(index){
-  if(!index.semanticEditScriptIds.length&&!index.semanticEditProjectionIds.length)return undefined;
-  return compactRecord({
-    scriptIds:index.semanticEditScriptIds,
-    projectionIds:index.semanticEditProjectionIds,
-    semanticEditKeys:index.semanticEditKeys,
-    operationContentHashes:index.operationContentHashes,
-    editContentHashes:index.editContentHashes,
-    projectedSourcePaths:index.projectedSourcePaths
-  });
-}
 function queryValues(...values){return uniqueStrings(values.flatMap((value)=>strings(value)));}
 function matchAny(filters,values){if(filters.length===0)return true;const valueSet=new Set(strings(values));return filters.some((filter)=>valueSet.has(filter));}
 function array(value){if(value===undefined||value===null)return[];return Array.isArray(value)?value:[value];}

package/package.json

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