dsh-hashline-edit 0.1.0 → 0.2.0

package/src/mutation-engine/edit-request.ts

@@ -0,0 +1,39 @@
+import type { EditPlacement } from "../hashline/resolve.js";
+
+/** The internal payload vocabulary the mutation engine consumes; no wire schema lives here. */
+type SpanRef = {
+  anchor_from: string;
+  anchor_to: string;
+  file?: string;
+  mode: "copy" | "cut";
+};
+
+type EditMode = "general" | "literal";
+
+type Placement = "in-place" | "before" | "after";
+
+export type DesiredContent =
+  | { kind: "literal"; text: string }
+  | { kind: "reference"; span: SpanRef; mode: "copy" | "cut" }
+  | { kind: "empty" };
+
+export type NormalizedEditItem = {
+  target: { anchor_from: string; anchor_to: string };
+  at: Placement;
+  payload: DesiredContent;
+  file?: string;
+};
+
+export type NormalizedEditRequest = {
+  file: string;
+  edits: NormalizedEditItem[];
+  mode?: EditMode;
+};
+
+// WHY: the engine seam's placement union must stay mutually assignable with the hashline resolver's
+// WHY: EditPlacement; this assertion fails typecheck if either side drifts.
+const _placementAgreement: [
+  Placement extends EditPlacement ? true : never,
+  EditPlacement extends Placement ? true : never,
+] = [true, true];
+void _placementAgreement;