@shapeshift-labs/frontier-lang-compiler 0.2.79 → 0.2.81

package/README.md

@@ -353,6 +353,27 @@ console.log(changeSet.mergeCandidate.readiness); // merge-admission classificati
 
 Use `diffNativeSourceImports` when the worker or runner already produced `importNativeSource` results. Changed regions include a `metadata.changedRegionProjection` envelope with before/after source hashes, source-map links, ownership keys, readiness, and `autoMergeClaim: false` so swarm admission tools can score or port patches without treating semantic metadata as proof. Body-only edits that the lightweight scanner cannot anchor to a symbol are still reported as file-level changed regions instead of being silently treated as safe.
 
+Build a three-way semantic edit script when a coordinator has base, worker, and current-head source text. This is the first deterministic bridge from semantic sidecars to automatic merge admission:
+
+```js
+import { createSemanticEditScript } from '@shapeshift-labs/frontier-lang-compiler';
+
+const script = createSemanticEditScript({
+  language: 'typescript',
+  sourcePath: 'src/runtime.ts',
+  baseSourceText: 'export function step(v) { return v + 1; }\n',
+  workerSourceText: 'export function step(v) { return v + 2; }\n',
+  headSourceText: 'export function step(v) { return v + 1; }\n'
+});
+
+console.log(script.operations[0].kind); // "replaceBody"
+console.log(script.operations[0].status); // "portable"
+console.log(script.admission.status); // "auto-merge-candidate"
+console.log(script.admission.autoMergeClaim); // false
+```
+
+If the current head already changed the same semantic anchor, the script reports `conflict`; if the anchor moved or was renamed, it reports `needs-port` with a `reanchor` target; if no current head is supplied, it reports a review-only candidate. The script is intentionally an edit/admission record, not a proof of semantic equivalence.
+
 Bundle a native diff into a compact semantic patch record when a coordinator needs hashes, changed semantic regions, source-map links, proof/history/evidence IDs, and merge-admission status without loading whole source files:
 
 ```js
@@ -912,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:
 
@@ -1005,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

@@ -0,0 +1,183 @@
+import type {
+  EvidenceRecord,
+  FrontierSourceLanguage,
+  SemanticMergeReadiness,
+  SourceSpan
+} from '@shapeshift-labs/frontier-lang-kernel';
+import type { ImportNativeSourceOptions, NativeSourceImportResult } from './import-adapter-core.js';
+
+export type SemanticEditScriptOperationStatus =
+  | 'candidate'
+  | 'portable'
+  | 'already-applied'
+  | 'needs-port'
+  | 'conflict'
+  | 'stale'
+  | 'blocked';
+
+export type SemanticEditScriptAdmissionStatus =
+  | 'auto-merge-candidate'
+  | 'needs-port'
+  | 'conflict'
+  | 'stale'
+  | 'blocked'
+  | 'evidence-only';
+
+export interface SemanticEditScriptOperation {
+  readonly id: string;
+  readonly kind: string;
+  readonly changeKind?: string;
+  readonly anchor: {
+    readonly key?: string;
+    readonly conflictKey?: string;
+    readonly regionId?: string;
+    readonly regionKind?: string;
+    readonly granularity?: string;
+    readonly language?: FrontierSourceLanguage | string;
+    readonly sourcePath?: string;
+    readonly symbolId?: string;
+    readonly symbolName?: string;
+    readonly symbolKind?: string;
+    readonly sourceSpan?: SourceSpan;
+  };
+  readonly spans?: {
+    readonly base?: SourceSpan;
+    readonly worker?: SourceSpan;
+    readonly head?: SourceSpan;
+  };
+  readonly hashes?: {
+    readonly baseSourceHash?: string;
+    readonly workerSourceHash?: string;
+    readonly headSourceHash?: string;
+    readonly baseSpanHash?: string;
+    readonly workerSpanHash?: string;
+    readonly headSpanHash?: string;
+    readonly baseTextHash?: string;
+    readonly workerTextHash?: string;
+    readonly headTextHash?: string;
+    readonly beforeSignatureHash?: string;
+    readonly afterSignatureHash?: string;
+  };
+  readonly status: SemanticEditScriptOperationStatus;
+  readonly reanchor?: {
+    readonly fromAnchorKey?: string;
+    readonly toAnchorKey?: string;
+    readonly lineageStatus?: string;
+    readonly traversedEventIds?: readonly string[];
+  };
+  readonly readiness: SemanticMergeReadiness | string;
+  readonly confidence: number;
+  readonly reasonCodes: readonly string[];
+  readonly evidenceIds?: readonly string[];
+  readonly metadata?: Record<string, unknown>;
+}
+
+export interface SemanticEditScriptSummary {
+  readonly operations: number;
+  readonly byStatus: Readonly<Record<string, number>>;
+  readonly byKind: Readonly<Record<string, number>>;
+  readonly portable: number;
+  readonly alreadyApplied: number;
+  readonly needsPort: number;
+  readonly conflicts: number;
+  readonly stale: number;
+  readonly blocked: number;
+  readonly candidates: number;
+  readonly autoMergeCandidates: number;
+}
+
+export interface SemanticEditScriptAdmission {
+  readonly status: SemanticEditScriptAdmissionStatus;
+  readonly action: 'run-gates-and-apply' | 'reanchor-or-human-port' | 'record-evidence' | 'block' | string;
+  readonly reviewRequired: boolean;
+  readonly autoApplyCandidate: boolean;
+  readonly autoMergeClaim: false;
+  readonly semanticEquivalenceClaim: false;
+  readonly reasonCodes: readonly string[];
+  readonly conflictKeys: readonly string[];
+  readonly evidenceIds: readonly string[];
+}
+
+export interface SemanticEditScript {
+  readonly kind: 'frontier.lang.semanticEditScript';
+  readonly version: 1;
+  readonly schema: 'frontier.lang.semanticEditScript.v1';
+  readonly id: string;
+  readonly stableId: string;
+  readonly hash: string;
+  readonly language?: FrontierSourceLanguage | string;
+  readonly sourcePath?: string;
+  readonly baseHash?: string;
+  readonly workerHash?: string;
+  readonly headHash?: string;
+  readonly workerChangeSetId: string;
+  readonly headChangeSetId?: string;
+  readonly lineageInferenceId?: string;
+  readonly operations: readonly SemanticEditScriptOperation[];
+  readonly summary: SemanticEditScriptSummary;
+  readonly admission: SemanticEditScriptAdmission;
+  readonly evidence: readonly EvidenceRecord[];
+  readonly metadata?: Record<string, unknown>;
+}
+
+export interface SemanticEditProjection {
+  readonly kind: 'frontier.lang.semanticEditProjection';
+  readonly version: 1;
+  readonly id: string;
+  readonly hash: string;
+  readonly scriptId?: string;
+  readonly status: 'projected' | 'blocked';
+  readonly sourcePath?: string;
+  readonly language?: FrontierSourceLanguage | string;
+  readonly baseHash?: string;
+  readonly workerHash?: string;
+  readonly headHash?: string;
+  readonly projectedHash?: string;
+  readonly appliedOperations: readonly string[];
+  readonly skippedOperations: readonly string[];
+  readonly sourceText?: string;
+  readonly admission: {
+    readonly status: 'auto-merge-candidate' | 'blocked';
+    readonly autoMergeClaim: false;
+    readonly semanticEquivalenceClaim: false;
+    readonly reasonCodes: readonly string[];
+  };
+  readonly metadata?: Record<string, unknown>;
+}
+
+export interface ProjectSemanticEditScriptToSourceOptions {
+  readonly id?: string;
+  readonly script: SemanticEditScript;
+  readonly workerSourceText: string;
+  readonly headSourceText: string;
+  readonly metadata?: Record<string, unknown>;
+}
+
+export interface CreateSemanticEditScriptOptions {
+  readonly id?: string;
+  readonly language?: FrontierSourceLanguage | string;
+  readonly sourcePath?: string;
+  readonly parser?: string;
+  readonly base?: NativeSourceImportResult | ImportNativeSourceOptions;
+  readonly before?: NativeSourceImportResult | ImportNativeSourceOptions;
+  readonly worker?: NativeSourceImportResult | ImportNativeSourceOptions;
+  readonly after?: NativeSourceImportResult | ImportNativeSourceOptions;
+  readonly head?: NativeSourceImportResult | ImportNativeSourceOptions;
+  readonly current?: NativeSourceImportResult | ImportNativeSourceOptions;
+  readonly baseSourceText?: string;
+  readonly beforeSourceText?: string;
+  readonly workerSourceText?: string;
+  readonly afterSourceText?: string;
+  readonly headSourceText?: string;
+  readonly currentSourceText?: string;
+  readonly baseSourceHash?: string;
+  readonly workerSourceHash?: string;
+  readonly headSourceHash?: string;
+  readonly generatedAt?: number;
+  readonly evidenceId?: string;
+  readonly metadata?: Record<string, unknown>;
+}
+
+export declare const SemanticEditScriptAdmissionStatuses: readonly SemanticEditScriptAdmissionStatus[];
+export declare function createSemanticEditScript(input?: CreateSemanticEditScriptOptions): SemanticEditScript;
+export declare function projectSemanticEditScriptToSource(input: ProjectSemanticEditScriptToSourceOptions): SemanticEditProjection;

package/dist/index.d.ts

@@ -16,6 +16,7 @@ export * from './declarations/source-preservation.js';
 export * from './declarations/semantic-sidecar-admission.js';
 export * from './declarations/semantic-merge-candidates.js';
 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.js';

package/dist/index.js

@@ -69,6 +69,8 @@ export { queryProjectionReadinessMatrix } from './internal/index-impl/queryProje
 export { createSemanticPatchBundleRecord, querySemanticPatchBundleRecords, SemanticPatchBundleAdmissionStatuses } from './internal/index-impl/semanticPatchBundleRecords.js';
 export { createSemanticMergeCandidateAdmissionRecord, decorateSemanticMergeCandidateForAdmission, querySemanticMergeCandidateAdmissionOverlaps, SemanticMergeCandidateProjectionRisks, semanticMergeCandidateReadinessSortKey, sortSemanticMergeCandidateAdmissionRecords } from './internal/index-impl/semanticMergeCandidateRecords.js';
 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 { 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/projectSemanticEditScriptToSource.js

@@ -0,0 +1,101 @@
+import { hashSemanticValue } from '@shapeshift-labs/frontier-lang-kernel';
+import { idFragment, uniqueStrings } from '../../native-import-utils.js';
+
+export function projectSemanticEditScriptToSource(input = {}) {
+  const script = input.script;
+  const workerSourceText = input.workerSourceText;
+  const headSourceText = input.headSourceText;
+  const reasonCodes = [];
+  if (!script) throw new Error('projectSemanticEditScriptToSource requires a script');
+  if (script.admission?.status !== 'auto-merge-candidate') reasonCodes.push('script-not-auto-merge-candidate');
+  if (typeof workerSourceText !== 'string') reasonCodes.push('missing-worker-source-text');
+  if (typeof headSourceText !== 'string') reasonCodes.push('missing-head-source-text');
+  const edits = [];
+  for (const operation of script.operations ?? []) {
+    const edit = sourceEditForOperation(operation, workerSourceText, headSourceText);
+    if (edit.ok) edits.push(edit.value);
+    else reasonCodes.push(...edit.reasonCodes);
+  }
+  const blocked = reasonCodes.length > 0;
+  const sourceText = blocked ? undefined : applySourceEdits(headSourceText, edits);
+  const core = {
+    kind: 'frontier.lang.semanticEditProjection',
+    version: 1,
+    id: input.id ?? `semantic_edit_projection_${idFragment(script.id ?? script.hash ?? 'script')}`,
+    scriptId: script.id,
+    status: blocked ? 'blocked' : 'projected',
+    sourcePath: script.sourcePath,
+    language: script.language,
+    baseHash: script.baseHash,
+    workerHash: script.workerHash,
+    headHash: script.headHash,
+    projectedHash: sourceText === undefined ? undefined : hashSemanticValue(sourceText),
+    appliedOperations: blocked ? [] : edits.map((edit) => edit.operationId),
+    skippedOperations: blocked ? (script.operations ?? []).map((operation) => operation.id) : [],
+    sourceText,
+    admission: {
+      status: blocked ? 'blocked' : 'auto-merge-candidate',
+      autoMergeClaim: false,
+      semanticEquivalenceClaim: false,
+      reasonCodes: uniqueStrings(reasonCodes)
+    },
+    metadata: compactRecord({
+      autoMergeClaim: false,
+      semanticEquivalenceClaim: false,
+      editCount: edits.length,
+      ...input.metadata
+    })
+  };
+  return { ...core, hash: hashSemanticValue(core) };
+}
+
+function sourceEditForOperation(operation, workerSourceText, headSourceText) {
+  if (operation.status === 'already-applied') {
+    return { ok: true, value: { operationId: operation.id, start: 0, end: 0, replacement: '', alreadyApplied: true } };
+  }
+  if (operation.status !== 'portable') return { ok: false, reasonCodes: [`operation-not-portable:${operation.id}`] };
+  const workerOffsets = spanOffsets(workerSourceText, operation.spans?.worker);
+  const headOffsets = spanOffsets(headSourceText, operation.spans?.head ?? operation.spans?.base ?? operation.anchor?.sourceSpan);
+  const reasons = [];
+  if (!workerOffsets) reasons.push(`worker-span-not-resolvable:${operation.id}`);
+  if (!headOffsets) reasons.push(`head-span-not-resolvable:${operation.id}`);
+  if (reasons.length) return { ok: false, reasonCodes: reasons };
+  const replacement = workerSourceText.slice(workerOffsets.start, workerOffsets.end);
+  const current = headSourceText.slice(headOffsets.start, headOffsets.end);
+  if (operation.hashes?.workerTextHash && hashSemanticValue(replacement) !== operation.hashes.workerTextHash) {
+    reasons.push(`worker-span-hash-mismatch:${operation.id}`);
+  }
+  const expectedHeadHash = operation.hashes?.headTextHash ?? operation.hashes?.baseTextHash;
+  if (expectedHeadHash && hashSemanticValue(current) !== expectedHeadHash) {
+    reasons.push(`head-span-hash-mismatch:${operation.id}`);
+  }
+  if (reasons.length) return { ok: false, reasonCodes: reasons };
+  return { ok: true, value: { operationId: operation.id, start: headOffsets.start, end: headOffsets.end, replacement } };
+}
+
+function applySourceEdits(sourceText, edits) {
+  return edits.filter((edit) => !edit.alreadyApplied)
+    .sort((left, right) => right.start - left.start)
+    .reduce((text, edit) => text.slice(0, edit.start) + edit.replacement + text.slice(edit.end), sourceText);
+}
+
+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 lineStarts = [0];
+  for (let index = 0; index < sourceText.length; index += 1) if (sourceText[index] === '\n') lineStarts.push(index + 1);
+  const startLine = Math.max(1, span.startLine);
+  const endLine = Math.max(startLine, typeof span.endLine === 'number' ? span.endLine : startLine);
+  const start = lineStarts[startLine - 1];
+  const endLineStart = lineStarts[endLine - 1];
+  if (start === undefined || endLineStart === undefined) return undefined;
+  const startColumn = Math.max(1, span.startColumn ?? 1) - 1;
+  const lineEnd = lineStarts[endLine] === undefined ? sourceText.length : lineStarts[endLine] - 1;
+  const endColumn = span.endColumn === undefined ? lineEnd - endLineStart : Math.max(1, span.endColumn) - 1;
+  return { start: start + startColumn, end: endLineStart + endColumn };
+}
+
+function compactRecord(value) {
+  return Object.fromEntries(Object.entries(value ?? {}).filter(([, entry]) => entry !== undefined && (!Array.isArray(entry) || entry.length > 0)));
+}

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

@@ -0,0 +1,135 @@
+import { uniqueStrings } from '../../native-import-utils.js';
+import { resolveSemanticLineage } from './semanticLineageResolutionRecords.js';
+
+export const SemanticEditScriptAdmissionStatuses = Object.freeze([
+  'auto-merge-candidate',
+  'needs-port',
+  'conflict',
+  'stale',
+  'blocked',
+  'evidence-only'
+]);
+
+export function classifySemanticEdit(input) {
+  if (!input.context.head) return editStatus('candidate', 'needs-review', 0.66, ['head-source-not-provided']);
+  if (!input.anchorKey) return editStatus('blocked', 'blocked', 0, ['missing-semantic-anchor']);
+  if (input.context.workerChangeSet.beforeHash &&
+    input.context.headChangeSet?.afterHash === input.context.workerChangeSet.beforeHash &&
+    sameSourcePath(input.context.base, input.context.head)) {
+    return editStatus('portable', 'ready', 0.95, ['head-source-matches-base']);
+  }
+  if (input.region.changeKind === 'added') return classifyAddedRegion(input);
+  if (!input.baseSymbol) return classifyMissingBaseAnchor(input);
+  if (!input.headSymbol) return classifyMissingHeadAnchor(input);
+  if (input.headSymbol.spanHash && input.baseSymbol.spanHash && input.headSymbol.spanHash === input.baseSymbol.spanHash) {
+    return editStatus('portable', 'ready', 0.9, ['head-anchor-matches-base']);
+  }
+  if (input.headSymbol.spanHash && input.workerSymbol?.spanHash && input.headSymbol.spanHash === input.workerSymbol.spanHash) {
+    return editStatus('already-applied', 'ready', 0.92, ['head-anchor-matches-worker']);
+  }
+  return editStatus('conflict', 'blocked', 0.2, ['head-anchor-changed-since-base']);
+}
+
+export function summarizeSemanticEditOperations(operations) {
+  const byStatus = countBy(operations.map((operation) => operation.status));
+  const byKind = countBy(operations.map((operation) => operation.kind));
+  return {
+    operations: operations.length,
+    byStatus,
+    byKind,
+    portable: byStatus.portable ?? 0,
+    alreadyApplied: byStatus['already-applied'] ?? 0,
+    needsPort: byStatus['needs-port'] ?? 0,
+    conflicts: byStatus.conflict ?? 0,
+    stale: byStatus.stale ?? 0,
+    blocked: byStatus.blocked ?? 0,
+    candidates: byStatus.candidate ?? 0,
+    autoMergeCandidates: (byStatus.portable ?? 0) + (byStatus['already-applied'] ?? 0)
+  };
+}
+
+export function semanticEditAdmission(input) {
+  const status = admissionStatus(input.summary);
+  return {
+    status,
+    action: admissionAction(status),
+    reviewRequired: status !== 'auto-merge-candidate',
+    autoApplyCandidate: status === 'auto-merge-candidate',
+    autoMergeClaim: false,
+    semanticEquivalenceClaim: false,
+    reasonCodes: uniqueStrings([
+      ...input.workerChangeSet.reasons,
+      ...(input.headChangeSet?.reasons ?? []),
+      ...input.operations.flatMap((operation) => operation.reasonCodes ?? [])
+    ]),
+    conflictKeys: uniqueStrings(input.operations.map((operation) => operation.anchor?.conflictKey).filter(Boolean)),
+    evidenceIds: uniqueStrings(input.operations.flatMap((operation) => operation.evidenceIds ?? []))
+  };
+}
+
+function classifyAddedRegion(input) {
+  if (!input.headSymbol) return editStatus('portable', 'ready', 0.86, ['added-anchor-absent-from-head']);
+  if (input.headSymbol.spanHash && input.workerSymbol?.spanHash && input.headSymbol.spanHash === input.workerSymbol.spanHash) {
+    return editStatus('already-applied', 'ready', 0.88, ['added-anchor-already-present-in-head']);
+  }
+  return editStatus('conflict', 'blocked', 0.25, ['added-anchor-already-exists-in-head']);
+}
+
+function classifyMissingBaseAnchor(input) {
+  const conflictKey = input.region.conflictKey ?? `region:${input.anchorKey}`;
+  if (input.context.headChangedConflictKeys.has(conflictKey)) {
+    return editStatus('conflict', 'blocked', 0.18, ['base-anchor-missing-and-head-changed-same-region']);
+  }
+  return editStatus('stale', 'needs-review', 0.25, ['base-anchor-missing']);
+}
+
+function classifyMissingHeadAnchor(input) {
+  const resolved = input.context.headLineage
+    ? resolveSemanticLineage(input.context.headLineage.lineageMap, { anchorKey: input.anchorKey })
+    : undefined;
+  if (resolved?.status === 'resolved' && resolved.currentAnchors.length === 1) {
+    return editStatus('needs-port', 'needs-review', 0.72, ['anchor-moved-or-renamed'], {
+      fromAnchorKey: input.anchorKey,
+      toAnchorKey: resolved.currentAnchors[0].key,
+      lineageStatus: resolved.status,
+      traversedEventIds: resolved.traversedEventIds
+    }, resolved.evidenceIds);
+  }
+  if (resolved?.status === 'ambiguous') {
+    return editStatus('blocked', 'blocked', 0.1, ['anchor-lineage-ambiguous'], { fromAnchorKey: input.anchorKey, lineageStatus: resolved.status }, resolved.evidenceIds);
+  }
+  if (resolved?.status === 'deleted') {
+    return editStatus('blocked', 'blocked', 0.1, ['anchor-deleted-in-head'], { fromAnchorKey: input.anchorKey, lineageStatus: resolved.status }, resolved.evidenceIds);
+  }
+  return editStatus('stale', 'needs-review', 0.25, ['head-anchor-missing']);
+}
+
+function editStatus(status, readiness, confidence, reasonCodes, reanchor, evidenceIds = []) {
+  return { status, readiness, confidence, reasonCodes, reanchor, evidenceIds };
+}
+
+function admissionStatus(summary) {
+  if (summary.operations === 0) return 'evidence-only';
+  if (summary.blocked > 0) return 'blocked';
+  if (summary.conflicts > 0) return 'conflict';
+  if (summary.stale > 0) return 'stale';
+  if (summary.needsPort > 0 || summary.candidates > 0) return 'needs-port';
+  return 'auto-merge-candidate';
+}
+
+function admissionAction(status) {
+  if (status === 'auto-merge-candidate') return 'run-gates-and-apply';
+  if (status === 'needs-port') return 'reanchor-or-human-port';
+  if (status === 'evidence-only') return 'record-evidence';
+  return 'block';
+}
+
+function countBy(values) {
+  const result = {};
+  for (const value of values.filter(Boolean)) result[value] = (result[value] ?? 0) + 1;
+  return result;
+}
+
+function sameSourcePath(left, right) {
+  return (left?.sourcePath ?? left?.nativeSource?.sourcePath) === (right?.sourcePath ?? right?.nativeSource?.sourcePath);
+}

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

@@ -0,0 +1,227 @@
+import { hashSemanticValue } from '@shapeshift-labs/frontier-lang-kernel';
+import { idFragment, uniqueStrings } from '../../native-import-utils.js';
+import { createSemanticImportSidecar } from './createSemanticImportSidecar.js';
+import { diffNativeSourceImports } from './diffNativeSourceImports.js';
+import { inferSemanticLineageEvents } from './inferSemanticLineageEvents.js';
+import { mapDiffSymbols } from './mapDiffSymbols.js';
+import { nativeImportSourceText } from './nativeImportSourceText.js';
+import { normalizeNativeDiffImport } from './normalizeNativeDiffImport.js';
+import {
+  classifySemanticEdit,
+  SemanticEditScriptAdmissionStatuses,
+  semanticEditAdmission,
+  summarizeSemanticEditOperations
+} from './semanticEditScriptClassification.js';
+import { sourceTextForSpan } from './sourceTextForSpan.js';
+
+export { SemanticEditScriptAdmissionStatuses };
+
+export function createSemanticEditScript(input = {}, options = {}) {
+  const language = input.language ?? input.worker?.language ?? input.after?.language ?? input.base?.language ?? input.before?.language;
+  if (!language) throw new Error('createSemanticEditScript requires a language');
+  const sourcePath = input.sourcePath ?? input.worker?.sourcePath ?? input.after?.sourcePath ?? input.base?.sourcePath ?? input.before?.sourcePath;
+  const base = normalizeNativeDiffImport(sourceInput(input, 'base'), { ...input, language, sourcePath }, 'base');
+  const worker = normalizeNativeDiffImport(sourceInput(input, 'worker'), { ...input, language, sourcePath }, 'worker');
+  if (!base || !worker) throw new Error('createSemanticEditScript requires base and worker source inputs');
+  const head = normalizeNativeDiffImport(sourceInput(input, 'head'), { ...input, language, sourcePath }, 'head');
+  const workerChangeSet = diffNativeSourceImports({
+    ...input,
+    language,
+    sourcePath,
+    before: base,
+    after: worker,
+    id: input.workerChangeSetId ?? `${input.id ?? 'semantic_edit'}_worker`
+  });
+  const headChangeSet = head ? diffNativeSourceImports({
+    ...input,
+    language,
+    sourcePath,
+    before: base,
+    after: head,
+    id: input.headChangeSetId ?? `${input.id ?? 'semantic_edit'}_head`
+  }) : undefined;
+  const headLineage = head ? inferSemanticLineageEvents({
+    before: base,
+    after: head,
+    id: input.lineageInferenceId ?? `${input.id ?? 'semantic_edit'}_head_lineage`,
+    language,
+    sourcePath,
+    generatedAt: input.generatedAt,
+    metadata: { source: 'createSemanticEditScript' }
+  }) : undefined;
+  const context = createEditContext({ base, worker, head, workerChangeSet, headChangeSet, headLineage });
+  const operations = workerChangeSet.changedRegions.map((region, index) => semanticEditOperation(region, index, context, input));
+  const summary = summarizeSemanticEditOperations(operations);
+  const admission = semanticEditAdmission({ operations, summary, head, workerChangeSet, headChangeSet, input });
+  const evidence = semanticEditEvidence({ input, language, sourcePath, workerChangeSet, headChangeSet, headLineage, summary, admission });
+  const core = {
+    kind: 'frontier.lang.semanticEditScript',
+    version: 1,
+    schema: 'frontier.lang.semanticEditScript.v1',
+    language,
+    sourcePath,
+    baseHash: workerChangeSet.beforeHash,
+    workerHash: workerChangeSet.afterHash,
+    headHash: headChangeSet?.afterHash,
+    workerChangeSetId: workerChangeSet.id,
+    headChangeSetId: headChangeSet?.id,
+    lineageInferenceId: headLineage?.id,
+    operations,
+    summary,
+    admission,
+    evidence,
+    metadata: compactRecord({
+      autoMergeClaim: false,
+      semanticEquivalenceClaim: false,
+      workerReadiness: workerChangeSet.readiness,
+      headReadiness: headChangeSet?.readiness,
+      workerReasons: workerChangeSet.reasons,
+      headReasons: headChangeSet?.reasons,
+      ...input.metadata,
+      ...options.metadata
+    })
+  };
+  const hash = hashSemanticValue(core);
+  const id = input.id ?? `semantic_edit_script_${idFragment(firstString(sourcePath, language, hash))}`;
+  return { ...core, id, stableId: `semantic_edit_script_${idFragment(hash)}`, hash };
+}
+
+function sourceInput(input, side) {
+  if (side === 'base') return input.base ?? input.before ?? sourceTextInput(input, 'base') ?? sourceTextInput(input, 'before');
+  if (side === 'worker') return input.worker ?? input.after ?? sourceTextInput(input, 'worker') ?? sourceTextInput(input, 'after');
+  return input.head ?? input.current ?? sourceTextInput(input, 'head') ?? sourceTextInput(input, 'current');
+}
+
+function sourceTextInput(input, side) {
+  const sourceText = input[`${side}SourceText`];
+  if (sourceText === undefined) return undefined;
+  return {
+    language: input.language,
+    sourcePath: input[`${side}SourcePath`] ?? input.sourcePath,
+    sourceText,
+    sourceHash: input[`${side}SourceHash`],
+    parser: input.parser,
+    metadata: input[`${side}Metadata`]
+  };
+}
+
+function createEditContext(input) {
+  return {
+    ...input,
+    baseSymbols: symbolsByAnchor(input.base),
+    workerSymbols: symbolsByAnchor(input.worker),
+    headSymbols: symbolsByAnchor(input.head),
+    headChangedConflictKeys: new Set(input.headChangeSet?.conflictKeys ?? [])
+  };
+}
+
+function symbolsByAnchor(imported) {
+  if (!imported) return new Map();
+  const sidecar = createSemanticImportSidecar(imported, { id: `semantic_edit_sidecar_${idFragment(imported.id ?? imported.sourcePath ?? 'source')}` });
+  const result = new Map();
+  for (const symbol of mapDiffSymbols(imported, sidecar).values()) {
+    for (const key of uniqueStrings([symbol.ownershipKey, symbol.key, symbol.id])) {
+      result.set(key, symbol);
+    }
+  }
+  return result;
+}
+
+function semanticEditOperation(region, index, context, input) {
+  const anchorKey = region.key ?? region.conflictKey ?? region.id;
+  const baseSymbol = context.baseSymbols.get(anchorKey);
+  const workerSymbol = context.workerSymbols.get(anchorKey);
+  const headSymbol = context.headSymbols.get(anchorKey);
+  const classification = classifySemanticEdit({ region, anchorKey, baseSymbol, workerSymbol, headSymbol, context });
+  const kind = semanticEditOperationKind(region);
+  const baseText = spanText(context.base, baseSymbol?.sourceSpan ?? region.metadata?.changedRegionProjection?.before?.sourceSpan ?? region.sourceSpan);
+  const workerText = spanText(context.worker, workerSymbol?.sourceSpan ?? region.metadata?.changedRegionProjection?.after?.sourceSpan ?? region.sourceSpan);
+  const headText = spanText(context.head, headSymbol?.sourceSpan ?? region.metadata?.changedRegionProjection?.head?.sourceSpan ?? baseSymbol?.sourceSpan);
+  return compactRecord({
+    id: `semantic_edit_op_${idFragment(firstString(input.id, anchorKey, index))}`,
+    kind,
+    changeKind: region.changeKind,
+    anchor: compactRecord({
+      key: anchorKey,
+      conflictKey: region.conflictKey ?? `region:${anchorKey}`,
+      regionId: region.id,
+      regionKind: region.regionKind,
+      granularity: region.granularity,
+      language: region.language ?? context.workerChangeSet.language,
+      sourcePath: region.sourcePath ?? context.workerChangeSet.sourcePath,
+      symbolId: region.symbolId ?? workerSymbol?.id ?? baseSymbol?.id,
+      symbolName: region.symbolName ?? workerSymbol?.name ?? baseSymbol?.name,
+      symbolKind: region.symbolKind ?? workerSymbol?.kind ?? baseSymbol?.kind,
+      sourceSpan: workerSymbol?.sourceSpan ?? region.sourceSpan
+    }),
+    spans: compactRecord({
+      base: baseSymbol?.sourceSpan ?? region.metadata?.changedRegionProjection?.before?.sourceSpan,
+      worker: workerSymbol?.sourceSpan ?? region.metadata?.changedRegionProjection?.after?.sourceSpan ?? region.sourceSpan,
+      head: headSymbol?.sourceSpan
+    }),
+    hashes: compactRecord({
+      baseSourceHash: context.workerChangeSet.beforeHash,
+      workerSourceHash: context.workerChangeSet.afterHash,
+      headSourceHash: context.headChangeSet?.afterHash,
+      baseSpanHash: baseSymbol?.spanHash,
+      workerSpanHash: workerSymbol?.spanHash,
+      headSpanHash: headSymbol?.spanHash,
+      baseTextHash: baseText === undefined ? undefined : hashSemanticValue(baseText),
+      workerTextHash: workerText === undefined ? undefined : hashSemanticValue(workerText),
+      headTextHash: headText === undefined ? undefined : hashSemanticValue(headText),
+      beforeSignatureHash: workerSymbol?.beforeSignatureHash ?? baseSymbol?.signatureHash,
+      afterSignatureHash: workerSymbol?.afterSignatureHash ?? workerSymbol?.signatureHash
+    }),
+    status: classification.status,
+    reanchor: classification.reanchor,
+    readiness: classification.readiness,
+    confidence: classification.confidence,
+    reasonCodes: classification.reasonCodes,
+    evidenceIds: classification.evidenceIds,
+    metadata: {
+      autoMergeClaim: false,
+      semanticEquivalenceClaim: false
+    }
+  });
+}
+
+function semanticEditOperationKind(region) {
+  const prefix = region.changeKind === 'added' ? 'add' : region.changeKind === 'removed' ? 'remove' : 'replace';
+  const kind = String(region.regionKind ?? region.granularity ?? 'region');
+  if (kind === 'body') return `${prefix}Body`;
+  if (kind === 'import') return `${prefix}Import`;
+  if (kind === 'type') return `${prefix}TypeDeclaration`;
+  if (kind === 'property') return `${prefix}Property`;
+  return `${prefix}Region`;
+}
+
+function spanText(imported, span) {
+  return sourceTextForSpan(nativeImportSourceText(imported), span);
+}
+
+function semanticEditEvidence(input) {
+  return [{
+    id: input.input.evidenceId ?? `evidence_${idFragment(input.input.id ?? input.sourcePath ?? 'semantic_edit')}_semantic_edit_script`,
+    kind: 'semantic-edit-script',
+    status: input.admission.status === 'blocked' || input.admission.status === 'conflict' ? 'needs-review' : 'passed',
+    path: input.sourcePath,
+    summary: `Created semantic edit script with ${input.summary.operations} operation(s): ${input.admission.status}.`,
+    metadata: {
+      workerChangeSetId: input.workerChangeSet.id,
+      headChangeSetId: input.headChangeSet?.id,
+      lineageInferenceId: input.headLineage?.id,
+      summary: input.summary,
+      admissionStatus: input.admission.status,
+      autoMergeClaim: false,
+      semanticEquivalenceClaim: false
+    }
+  }];
+}
+
+function firstString(...values) {
+  return values.map((value) => value === undefined || value === null ? '' : String(value)).find(Boolean);
+}
+
+function compactRecord(value) {
+  return Object.fromEntries(Object.entries(value ?? {}).filter(([, entry]) => entry !== undefined && (!Array.isArray(entry) || entry.length > 0)));
+}

package/package.json

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