@ecsplico/editor 2.0.0 → 2.1.0

package/dist/features/ai/protocol/agent-ops.js

@@ -1,3 +1,4 @@
+import { BLOCK_LINE_IDS_HINT, stripBlockLineEcho } from "./block-lines.js";
 //#region src/features/ai/protocol/agent-ops.ts
 /** Name of the tool the chat model calls to propose edits. */
 const AGENT_TOOL = "edit_document";
@@ -16,9 +17,9 @@ const AGENT_OP_TYPES = [
 ];
 /**
 * What became of an operation: decided in the review (`accepted`, `rejected`, `partial` for mixed hunks, `invalid`
-* when its text changed underneath), still `pending`, or never reviewed: the review found nothing to show
-* (`unchanged`, `missing` block, `overlap` with open AI changes, `empty` result), or the client refused it as out of
-* scope (`blocked`).
+* when its text changed underneath), still `pending`, or never reviewed: the client found its block deleted since the
+* document went to the model (`stale`) or refused it as out of scope (`blocked`), or the review found nothing to show
+* (`unchanged`, `missing` block, `overlap` with open AI changes, `empty` result).
 */
 const AGENT_OP_OUTCOMES = [
 	"accepted",
@@ -28,16 +29,11 @@ const AGENT_OP_OUTCOMES = [
 	"pending",
 	"unchanged",
 	"missing",
+	"stale",
 	"overlap",
 	"empty",
 	"blocked"
 ];
-/** Block IDs of the chat document text (`[<id>] …` per line, see documentChatText). */
-function documentBlockIds(document) {
-	const ids = /* @__PURE__ */ new Set();
-	for (const match of document.matchAll(/^\[([^\]\s]+)\] /gm)) ids.add(match[1]);
-	return ids;
-}
 /** The block an operation targets: `update`/`delete` its `id`, `add` its `afterId` (null: document start). */
 function agentOpTarget(op) {
 	return op.type === "add" ? op.afterId : op.id;
@@ -54,6 +50,7 @@ const AGENT_TEXTS = {
 			missing: "nicht angezeigt, weil der Block nicht mehr existiert",
 			overlap: "nicht angezeigt, weil an der Stelle noch andere KI-Änderungen offen sind",
 			empty: "nicht angezeigt, weil der Inhalt leer ist",
+			stale: "nicht angezeigt: Block wurde inzwischen gelöscht",
 			blocked: "blockiert, weil er außerhalb des erlaubten Bereichs liegt"
 		},
 		summary: {
@@ -75,15 +72,19 @@ const AGENT_TEXTS = {
 			markdownMissing: "markdown fehlt",
 			markdownMissingUpdate: "markdown fehlt (zum Entfernen „delete“ verwenden)",
 			markdownTooLong: (max) => `markdown ist länger als ${max} Zeichen`,
-			unreadable: "die Eingabe war kein Objekt mit der Liste „ops“"
+			unreadable: "die Eingabe war kein Objekt mit der Liste „ops“",
+			afterIdMissing: "afterId fehlt; für den Dokumentanfang ausdrücklich null schreiben",
+			afterIdMissingScoped: "afterId fehlt; es muss ein ausgewählter Block sein",
+			inside: (target, owner, ownerIndex, deletes) => `Block ${target} liegt in ${owner}, das Operation ${ownerIndex} ${deletes ? "löscht" : "ersetzt"}`
 		},
 		retry: {
 			failed: "Fehler: Die Operationen wurden nicht angewendet, weil einige ungültig sind.",
 			failedPartial: "Fehler: Einige Operationen sind ungültig und wurden verworfen; die übrigen werden zur Prüfung angezeigt.",
 			invalidIds: (ids) => `Ungültige IDs: ${ids}`,
 			operation: (index, type, detail) => `- Operation ${index}${type ? ` (${type})` : ""}: ${detail}`,
+			inside: "Eine Operation auf einen Block innerhalb eines ersetzten oder gelöschten Blocks entfällt: die Operation auf den äußeren Block gilt. Soll der innere Block mitgeändert werden, schreibe die Änderung in das Markdown der äußeren Operation.",
 			scoped: "Verwende nur IDs aus dem Bearbeitungsbereich (siehe Nachricht); erfinde keine IDs.",
-			unscoped: "Verwende nur IDs, die im Dokument in eckigen Klammern stehen; erfinde keine IDs.",
+			unscoped: BLOCK_LINE_IDS_HINT,
 			again: (tool) => `Rufe ${tool} erneut mit der vollständigen, korrigierten Liste aller Operationen auf. Lass Operationen weg, die sich nicht korrigieren lassen.`,
 			againPartial: (tool) => `Rufe ${tool} erneut nur mit den korrigierten Fassungen der oben genannten Operationen auf; wiederhole die angezeigten nicht. Lass Operationen weg, die sich nicht korrigieren lassen.`
 		},
@@ -106,6 +107,7 @@ const AGENT_TEXTS = {
 			missing: "not shown because the block no longer exists",
 			overlap: "not shown because other AI changes are still open at that place",
 			empty: "not shown because the content is empty",
+			stale: "not shown: the block was deleted in the meantime",
 			blocked: "blocked because it lies outside the allowed scope"
 		},
 		summary: {
@@ -127,13 +129,17 @@ const AGENT_TEXTS = {
 			markdownMissing: "markdown is missing",
 			markdownMissingUpdate: "markdown is missing (use \"delete\" to remove a block)",
 			markdownTooLong: (max) => `markdown is longer than ${max} characters`,
-			unreadable: "the input was not an object with the list \"ops\""
+			unreadable: "the input was not an object with the list \"ops\"",
+			afterIdMissing: "afterId is missing; write null explicitly for the start of the document",
+			afterIdMissingScoped: "afterId is missing; it must be a selected block",
+			inside: (target, owner, ownerIndex, deletes) => `block ${target} lies inside ${owner}, which operation ${ownerIndex} ${deletes ? "deletes" : "replaces"}`
 		},
 		retry: {
 			failed: "Error: The operations were not applied because some of them are invalid.",
 			failedPartial: "Error: Some operations are invalid and were dropped; the others are shown for review.",
 			invalidIds: (ids) => `Invalid IDs: ${ids}`,
 			operation: (index, type, detail) => `- Operation ${index}${type ? ` (${type})` : ""}: ${detail}`,
+			inside: "An operation on a block inside a replaced or deleted block is dropped: the operation on the outer block applies. To change the inner block as well, write the change into the Markdown of the outer operation.",
 			scoped: "Use only IDs from the editing scope (see message); do not invent IDs.",
 			unscoped: "Use only IDs that appear in square brackets in the document; do not invent IDs.",
 			again: (tool) => `Call ${tool} again with the complete, corrected list of all operations. Leave out operations that cannot be corrected.`,
@@ -160,30 +166,21 @@ function agentOpSummary(op, { locale = "de" } = {}) {
 	if (op.type !== "add") return text.block(op.type, op.target);
 	return op.target === null ? text.addStart : text.addAfter(op.target);
 }
-/** Removes an echoed `[<id>] ` line prefix of a known block from the model's Markdown. */
-function stripIdPrefixes(markdown, known) {
-	return markdown.replace(/^\[([^\]\s]+)\] ?/gm, (prefix, id) => known(id) ? "" : prefix);
-}
-/**
-* Drops the indentation all non-blank lines share: lines echoed from a composite's body carry its two-space indent
-* (see documentChatText), which would turn deeper nested lines into indented code.
-*/
-function dedent(markdown) {
-	const indents = markdown.split("\n").filter((line) => line.trim()).map((line) => /^[ \t]*/.exec(line)[0].length);
-	const common = indents.length ? Math.min(...indents) : 0;
-	return common ? markdown.replace(new RegExp(`^[ \\t]{0,${common}}`, "gm"), "") : markdown;
-}
 /**
-* Checks the raw `ops` of `edit_document` calls: every ID must exist and lie in the scope (`add` in a selection scope
-* needs an `afterId` from the selection), fields must be present, a `convert` target must be one of `targets`, and a
-* block is updated, converted or deleted at most once. Returns the valid operations in order and the problems of the others;
-* the problems' `detail` is written in `context.locale` (default `de`).
+* Checks the raw `ops` of `edit_document` calls: every ID must exist and lie in the scope (`add` needs its `afterId`
+* key, `null` for the document start, and in a selection scope an `afterId` from the selection), fields must be
+* present, a `convert` target must be one of `targets`, a block is updated, converted or deleted at most once, and no
+* operation may point into a block (`lines.below`) that another operation replaces (`update`) or deletes: the
+* operation on the outer block wins. Several `add`s after the same block are fine; the client inserts them in the
+* order they were written. Returns the valid operations in order and the problems of the others; the problems'
+* `detail` is written in `context.locale` (default `de`).
 */
 function checkAgentOps(raw, context) {
-	const valid = [];
+	const accepted = [];
 	const problems = [];
 	const edited = /* @__PURE__ */ new Set();
 	const text = AGENT_TEXTS[context.locale ?? "de"].problem;
+	const known = (id) => context.lines.ids.has(id);
 	raw.forEach((entry, i) => {
 		const index = i + 1;
 		const value = entry && typeof entry === "object" ? entry : {};
@@ -195,22 +192,27 @@ function checkAgentOps(raw, context) {
 			reason,
 			detail
 		});
+		const accept = (op) => accepted.push({
+			op,
+			index
+		});
 		if (index > AGENT_LIMITS.ops) return problem("limit", null, text.limit(AGENT_LIMITS.ops));
 		if (!type || !AGENT_OP_TYPES.includes(type)) return problem("field", null, text.type(AGENT_OP_TYPES.join(", ")));
 		const idField = type === "add" ? "afterId" : "id";
 		const rawId = value[idField];
-		if (type === "add" && (rawId === null || rawId === void 0)) {
+		if (type === "add" && rawId === void 0) return problem("field", null, context.allowed ? text.afterIdMissingScoped : text.afterIdMissing);
+		if (type === "add" && rawId === null) {
 			if (context.allowed) return problem("scope", null, text.addAtStart);
 		} else if (typeof rawId !== "string" || !rawId.trim()) return problem("field", null, text.idMissing(idField));
 		const id = typeof rawId === "string" ? rawId.trim() : null;
 		if (id !== null) {
-			if (!context.known(id)) return problem("unknown", id, text.unknownId(id));
+			if (!known(id)) return problem("unknown", id, text.unknownId(id));
 			if (context.allowed && !context.allowed.has(id)) return problem("scope", id, text.outsideScope(id));
 		}
 		if (type === "delete") {
 			if (edited.has(id)) return problem("duplicate", id, text.duplicate(id));
 			edited.add(id);
-			return valid.push({
+			return accept({
 				type,
 				id
 			});
@@ -221,28 +223,51 @@ function checkAgentOps(raw, context) {
 			if (!context.targets.has(to)) return problem("target", id, text.badTarget(to, [...context.targets].join(", ")));
 			if (edited.has(id)) return problem("duplicate", id, text.duplicate(id));
 			edited.add(id);
-			return valid.push({
+			return accept({
 				type,
 				id,
 				to
 			});
 		}
-		const markdown = typeof value.markdown === "string" ? dedent(stripIdPrefixes(value.markdown, context.known)).trim() : "";
+		const markdown = typeof value.markdown === "string" ? stripBlockLineEcho(value.markdown, known).trim() : "";
 		if (!markdown) return problem("field", id, type === "update" ? text.markdownMissingUpdate : text.markdownMissing);
 		if (markdown.length > AGENT_LIMITS.markdown) return problem("field", id, text.markdownTooLong(AGENT_LIMITS.markdown));
-		if (type === "add") return valid.push({
+		if (type === "add") return accept({
 			type,
 			afterId: id,
 			markdown
 		});
 		if (edited.has(id)) return problem("duplicate", id, text.duplicate(id));
 		edited.add(id);
-		valid.push({
+		accept({
 			type: "update",
 			id,
 			markdown
 		});
 	});
+	const owners = accepted.filter(({ op }) => op.type === "update" || op.type === "delete");
+	const covering = ({ op }) => {
+		const target = agentOpTarget(op);
+		return target === null ? [] : owners.filter((owner) => context.lines.below(agentOpTarget(owner.op)).has(target));
+	};
+	const valid = [];
+	for (const entry of accepted) {
+		const cover = covering(entry);
+		const owner = cover.find((candidate) => !covering(candidate).length) ?? cover[0];
+		if (!owner) {
+			valid.push(entry.op);
+			continue;
+		}
+		const target = agentOpTarget(entry.op);
+		problems.push({
+			index: entry.index,
+			type: entry.op.type,
+			id: target,
+			reason: "inside",
+			detail: text.inside(target, agentOpTarget(owner.op), owner.index, owner.op.type === "delete")
+		});
+	}
+	problems.sort((a, b) => a.index - b.index);
 	return {
 		valid,
 		problems
@@ -266,11 +291,12 @@ function agentUnreadableProblem({ locale = "de" } = {}) {
 */
 function agentRetryMessage(problems, scoped, { locale = "de", tool = AGENT_TOOL, partial = false } = {}) {
 	const text = AGENT_TEXTS[locale].retry;
-	const ids = [...new Set(problems.map((p) => p.id).filter((id) => !!id))];
+	const ids = [...new Set(problems.filter((p) => p.reason !== "inside").map((p) => p.id).filter((id) => !!id))];
 	return [
 		partial ? text.failedPartial : text.failed,
 		...ids.length ? [text.invalidIds(ids.join(", "))] : [],
 		...problems.map((p) => text.operation(p.index, p.type, p.detail)),
+		...problems.some((p) => p.reason === "inside") ? [text.inside] : [],
 		scoped ? text.scoped : text.unscoped,
 		partial ? text.againPartial(tool) : text.again(tool)
 	].join("\n");
@@ -293,6 +319,6 @@ function agentFeedbackText(feedback, { locale = "de" } = {}) {
 	return AGENT_TEXTS[locale].feedback(feedback.map((f) => `${f.op} (${agentOpSummary(f, { locale })}) ${outcome[f.outcome]}`).join("; "));
 }
 //#endregion
-export { AGENT_LIMITS, AGENT_OP_OUTCOMES, AGENT_OP_OUTCOME_TEXT, AGENT_OP_TYPES, AGENT_TOOL, agentFeedbackText, agentOpSummary, agentOpTarget, agentRetryMessage, agentShownMessage, agentUnreadableProblem, checkAgentOps, documentBlockIds };
+export { AGENT_LIMITS, AGENT_OP_OUTCOMES, AGENT_OP_OUTCOME_TEXT, AGENT_OP_TYPES, AGENT_TOOL, agentFeedbackText, agentOpSummary, agentOpTarget, agentRetryMessage, agentShownMessage, agentUnreadableProblem, checkAgentOps };
 
 //# sourceMappingURL=agent-ops.js.map

package/dist/features/ai/protocol/agent-ops.js.map

@@ -1 +1 @@
-{"version":3,"file":"agent-ops.js","names":[],"sources":["../../../../src/features/ai/protocol/agent-ops.ts"],"sourcesContent":["// i18n-ignore-file: model-facing tool results, operation checks and decision texts (German by default, English on request; the model's language is not the editor's)\n/**\n * Agent operations of the document chat: the model proposes block edits through the `edit_document` tool, the server\n * checks every block ID against the document and the scope, and the client shows the valid ones as in-document review.\n */\nimport type { Locale } from '../../../i18n'\n\n/** Name of the tool the chat model calls to propose edits. */\nexport const AGENT_TOOL = 'edit_document'\n\n/** Per-turn limits: operations, Markdown per operation, IDs in a selection scope; retries after invalid IDs. */\nexport const AGENT_LIMITS = { ops: 50, markdown: 8000, scope: 5000, retries: 2 } as const\n\nexport const AGENT_OP_TYPES = ['add', 'update', 'delete', 'convert'] as const\nexport type AgentOpType = typeof AGENT_OP_TYPES[number]\n\n/**\n * One proposed edit as the model writes it: `update` replaces block `id` by `markdown`, `delete` removes block `id`,\n * `add` inserts `markdown` (one or more blocks) after block `afterId` (`null`: at the start of the document), `convert`\n * turns block `id` into the block type `to` (a `CONVERT_TARGET_IDS` entry or `composite:<kind>`), keeping its content.\n */\nexport type ModelAgentOp =\n  | { type: 'update', id: string, markdown: string }\n  | { type: 'delete', id: string }\n  | { type: 'add', afterId: string | null, markdown: string }\n  | { type: 'convert', id: string, to: string }\n\n/** A checked operation with the conversation-wide ID (`op1`, `op2`, …) that decisions refer to. */\nexport type AgentOp = ModelAgentOp & { op: string }\n\n/**\n * What became of an operation: decided in the review (`accepted`, `rejected`, `partial` for mixed hunks, `invalid`\n * when its text changed underneath), still `pending`, or never reviewed: the review found nothing to show\n * (`unchanged`, `missing` block, `overlap` with open AI changes, `empty` result), or the client refused it as out of\n * scope (`blocked`).\n */\nexport const AGENT_OP_OUTCOMES = ['accepted', 'rejected', 'partial', 'invalid', 'pending', 'unchanged', 'missing', 'overlap', 'empty', 'blocked'] as const\nexport type AgentOpOutcome = typeof AGENT_OP_OUTCOMES[number]\n\n/** Decision state of an earlier operation, sent with the next user message. */\nexport interface AgentOpFeedback { op: string, type: AgentOpType, target: string | null, outcome: AgentOpOutcome }\n\n/**\n * Why an operation was dropped: unknown block ID, ID outside the scope, a missing/invalid field, a block edited twice,\n * too many ops, a `convert` target that is not offered.\n */\nexport type AgentOpProblemReason = 'unknown' | 'scope' | 'field' | 'duplicate' | 'limit' | 'target'\n\n/** A dropped operation: its 1-based position in the tool call, type and target as far as readable, and the offending ID. */\nexport interface AgentOpProblem { index: number, type: string | null, id: string | null, reason: AgentOpProblemReason, detail: string }\n\n/**\n * Where operations may point: `known` IDs of the document; `allowed` the selection scope (null: the whole document);\n * `targets` the block types `convert` may turn a block into; `locale` the language of the problem details (default `de`).\n */\nexport interface AgentOpContext { known: (id: string) => boolean, allowed: ReadonlySet<string> | null, targets: ReadonlySet<string>, locale?: Locale }\n\n/** Block IDs of the chat document text (`[<id>] …` per line, see documentChatText). */\nexport function documentBlockIds(document: string): Set<string> {\n  const ids = new Set<string>()\n  for (const match of document.matchAll(/^\\[([^\\]\\s]+)\\] /gm)) ids.add(match[1]!)\n  return ids\n}\n\n/** The block an operation targets: `update`/`delete` its `id`, `add` its `afterId` (null: document start). */\nexport function agentOpTarget(op: ModelAgentOp): string | null {\n  return op.type === 'add' ? op.afterId : op.id\n}\n\n/**\n * Every model-facing text of the agent protocol, per locale (the editor's own prompts in chat.ts stay German). Selected\n * by the `locale` option of the functions below; `de` is the default and what existing hosts receive.\n */\ninterface AgentTexts {\n  /** How an outcome reads for the model. */\n  outcome: Record<AgentOpOutcome, string>\n  summary: {\n    convert: (target: string | null, to: string) => string\n    block: (type: string, target: string | null) => string\n    addStart: string\n    addAfter: (target: string) => string\n  }\n  problem: {\n    limit: (max: number) => string\n    type: (allowed: string) => string\n    addAtStart: string\n    idMissing: (field: string) => string\n    unknownId: (id: string) => string\n    outsideScope: (id: string) => string\n    duplicate: (id: string) => string\n    toMissing: string\n    badTarget: (to: string, allowed: string) => string\n    markdownMissing: string\n    markdownMissingUpdate: string\n    markdownTooLong: (max: number) => string\n    unreadable: string\n  }\n  retry: {\n    failed: string\n    failedPartial: string\n    invalidIds: (ids: string) => string\n    operation: (index: number, type: string | null, detail: string) => string\n    scoped: string\n    unscoped: string\n    again: (tool: string) => string\n    againPartial: (tool: string) => string\n  }\n  shown: {\n    shown: (ops: string) => string\n    none: string\n    dropped: (count: number) => string\n    decisions: string\n  }\n  feedback: (decisions: string) => string\n}\n\nconst AGENT_TEXTS: Record<Locale, AgentTexts> = {\n  de: {\n    outcome: {\n      accepted: 'übernommen',\n      rejected: 'abgelehnt',\n      partial: 'teilweise übernommen',\n      invalid: 'verfallen, weil der Text inzwischen anders geändert wurde',\n      pending: 'noch nicht entschieden',\n      unchanged: 'nicht angezeigt, weil er dem vorhandenen Text entspricht',\n      missing: 'nicht angezeigt, weil der Block nicht mehr existiert',\n      overlap: 'nicht angezeigt, weil an der Stelle noch andere KI-Änderungen offen sind',\n      empty: 'nicht angezeigt, weil der Inhalt leer ist',\n      blocked: 'blockiert, weil er außerhalb des erlaubten Bereichs liegt',\n    },\n    summary: {\n      convert: (target, to) => `convert Block ${target} → ${to}`,\n      block: (type, target) => `${type} Block ${target}`,\n      addStart: 'add am Dokumentanfang',\n      addAfter: target => `add nach Block ${target}`,\n    },\n    problem: {\n      limit: max => `mehr als ${max} Operationen`,\n      type: allowed => `unbekannter oder fehlender Typ (erlaubt: ${allowed})`,\n      addAtStart: 'Einfügen am Dokumentanfang liegt außerhalb der Auswahl; afterId muss ein ausgewählter Block sein',\n      idMissing: field => `${field} fehlt`,\n      unknownId: id => `die ID „${id}“ gibt es im Dokument nicht`,\n      outsideScope: id => `die ID „${id}“ liegt außerhalb der Auswahl`,\n      duplicate: id => `der Block „${id}“ wird mehrfach geändert oder gelöscht`,\n      toMissing: 'to fehlt',\n      badTarget: (to, allowed) => `„${to}“ ist kein erlaubter Blocktyp für to (erlaubt: ${allowed})`,\n      markdownMissing: 'markdown fehlt',\n      markdownMissingUpdate: 'markdown fehlt (zum Entfernen „delete“ verwenden)',\n      markdownTooLong: max => `markdown ist länger als ${max} Zeichen`,\n      unreadable: 'die Eingabe war kein Objekt mit der Liste „ops“',\n    },\n    retry: {\n      failed: 'Fehler: Die Operationen wurden nicht angewendet, weil einige ungültig sind.',\n      failedPartial: 'Fehler: Einige Operationen sind ungültig und wurden verworfen; die übrigen werden zur Prüfung angezeigt.',\n      invalidIds: ids => `Ungültige IDs: ${ids}`,\n      operation: (index, type, detail) => `- Operation ${index}${type ? ` (${type})` : ''}: ${detail}`,\n      scoped: 'Verwende nur IDs aus dem Bearbeitungsbereich (siehe Nachricht); erfinde keine IDs.',\n      unscoped: 'Verwende nur IDs, die im Dokument in eckigen Klammern stehen; erfinde keine IDs.',\n      again: tool => `Rufe ${tool} erneut mit der vollständigen, korrigierten Liste aller Operationen auf. Lass Operationen weg, die sich nicht korrigieren lassen.`,\n      againPartial: tool => `Rufe ${tool} erneut nur mit den korrigierten Fassungen der oben genannten Operationen auf; wiederhole die angezeigten nicht. Lass Operationen weg, die sich nicht korrigieren lassen.`,\n    },\n    shown: {\n      shown: ops => `Zur Prüfung im Dokument angezeigt: ${ops}.`,\n      none: 'Keine der Operationen wurde angezeigt.',\n      dropped: count => `${count} Operation(en) mit ungültigen IDs wurden verworfen; die Nutzerin bzw. der Nutzer wurde darauf hingewiesen.`,\n      decisions: 'Die Nutzerin bzw. der Nutzer übernimmt oder verwirft jede Änderung im Dokument; die Entscheidungen folgen mit einer späteren Nachricht.',\n    },\n    feedback: decisions => `Entscheidungen zu deinen letzten Vorschlägen: ${decisions}.`,\n  },\n  en: {\n    outcome: {\n      accepted: 'accepted',\n      rejected: 'rejected',\n      partial: 'partially accepted',\n      invalid: 'lapsed because the text was changed in the meantime',\n      pending: 'not decided yet',\n      unchanged: 'not shown because it matches the existing text',\n      missing: 'not shown because the block no longer exists',\n      overlap: 'not shown because other AI changes are still open at that place',\n      empty: 'not shown because the content is empty',\n      blocked: 'blocked because it lies outside the allowed scope',\n    },\n    summary: {\n      convert: (target, to) => `convert block ${target} → ${to}`,\n      block: (type, target) => `${type} block ${target}`,\n      addStart: 'add at the start of the document',\n      addAfter: target => `add after block ${target}`,\n    },\n    problem: {\n      limit: max => `more than ${max} operations`,\n      type: allowed => `unknown or missing type (allowed: ${allowed})`,\n      addAtStart: 'inserting at the start of the document is outside the selection; afterId must be a selected block',\n      idMissing: field => `${field} is missing`,\n      unknownId: id => `the ID \"${id}\" does not exist in the document`,\n      outsideScope: id => `the ID \"${id}\" is outside the selection`,\n      duplicate: id => `the block \"${id}\" is changed or deleted more than once`,\n      toMissing: 'to is missing',\n      badTarget: (to, allowed) => `\"${to}\" is not an allowed block type for to (allowed: ${allowed})`,\n      markdownMissing: 'markdown is missing',\n      markdownMissingUpdate: 'markdown is missing (use \"delete\" to remove a block)',\n      markdownTooLong: max => `markdown is longer than ${max} characters`,\n      unreadable: 'the input was not an object with the list \"ops\"',\n    },\n    retry: {\n      failed: 'Error: The operations were not applied because some of them are invalid.',\n      failedPartial: 'Error: Some operations are invalid and were dropped; the others are shown for review.',\n      invalidIds: ids => `Invalid IDs: ${ids}`,\n      operation: (index, type, detail) => `- Operation ${index}${type ? ` (${type})` : ''}: ${detail}`,\n      scoped: 'Use only IDs from the editing scope (see message); do not invent IDs.',\n      unscoped: 'Use only IDs that appear in square brackets in the document; do not invent IDs.',\n      again: tool => `Call ${tool} again with the complete, corrected list of all operations. Leave out operations that cannot be corrected.`,\n      againPartial: tool => `Call ${tool} again with corrected versions of only the operations listed above; do not repeat the shown ones. Leave out operations that cannot be corrected.`,\n    },\n    shown: {\n      shown: ops => `Shown in the document for review: ${ops}.`,\n      none: 'None of the operations were shown.',\n      dropped: count => `${count} operation(s) with invalid IDs were dropped; the user has been notified.`,\n      decisions: 'The user accepts or rejects each change in the document; the decisions follow with a later message.',\n    },\n    feedback: decisions => `Decisions on your latest proposals: ${decisions}.`,\n  },\n}\n\n/** How an outcome reads for the model, per locale; the chat shows the catalog's `ai.opTitle.*` texts. */\nexport const AGENT_OP_OUTCOME_TEXT: Record<Locale, Record<AgentOpOutcome, string>> = {\n  de: AGENT_TEXTS.de.outcome,\n  en: AGENT_TEXTS.en.outcome,\n}\n\n/** Text options of the model-facing functions: `locale` selects the language (default `de`). */\nexport interface AgentTextOptions { locale?: Locale }\n\n/** `update Block X`, `add nach Block X`, `add am Dokumentanfang`, `convert Block X → composite:task` (`to` when known); English with `locale: 'en'`. */\nexport function agentOpSummary(op: { type: AgentOpType, target: string | null, to?: string }, { locale = 'de' }: AgentTextOptions = {}): string {\n  const text = AGENT_TEXTS[locale].summary\n  if (op.type === 'convert' && op.to) return text.convert(op.target, op.to)\n  if (op.type !== 'add') return text.block(op.type, op.target)\n  return op.target === null ? text.addStart : text.addAfter(op.target)\n}\n\n/** Removes an echoed `[<id>] ` line prefix of a known block from the model's Markdown. */\nfunction stripIdPrefixes(markdown: string, known: AgentOpContext['known']): string {\n  return markdown.replace(/^\\[([^\\]\\s]+)\\] ?/gm, (prefix, id: string) => known(id) ? '' : prefix)\n}\n\n/**\n * Drops the indentation all non-blank lines share: lines echoed from a composite's body carry its two-space indent\n * (see documentChatText), which would turn deeper nested lines into indented code.\n */\nfunction dedent(markdown: string): string {\n  const indents = markdown.split('\\n').filter(line => line.trim()).map(line => /^[ \\t]*/.exec(line)![0].length)\n  const common = indents.length ? Math.min(...indents) : 0\n  return common ? markdown.replace(new RegExp(`^[ \\\\t]{0,${common}}`, 'gm'), '') : markdown\n}\n\n/**\n * Checks the raw `ops` of `edit_document` calls: every ID must exist and lie in the scope (`add` in a selection scope\n * needs an `afterId` from the selection), fields must be present, a `convert` target must be one of `targets`, and a\n * block is updated, converted or deleted at most once. Returns the valid operations in order and the problems of the others;\n * the problems' `detail` is written in `context.locale` (default `de`).\n */\nexport function checkAgentOps(raw: readonly unknown[], context: AgentOpContext): { valid: ModelAgentOp[], problems: AgentOpProblem[] } {\n  const valid: ModelAgentOp[] = []\n  const problems: AgentOpProblem[] = []\n  const edited = new Set<string>()\n  const text = AGENT_TEXTS[context.locale ?? 'de'].problem\n\n  raw.forEach((entry, i) => {\n    const index = i + 1\n    const value = (entry && typeof entry === 'object' ? entry : {}) as Record<string, unknown>\n    const type = typeof value.type === 'string' ? value.type : null\n    const problem = (reason: AgentOpProblemReason, id: string | null, detail: string) => problems.push({ index, type, id, reason, detail })\n\n    if (index > AGENT_LIMITS.ops) return problem('limit', null, text.limit(AGENT_LIMITS.ops))\n    if (!type || !(AGENT_OP_TYPES as readonly string[]).includes(type)) return problem('field', null, text.type(AGENT_OP_TYPES.join(', ')))\n\n    const idField = type === 'add' ? 'afterId' : 'id'\n    const rawId = value[idField]\n    if (type === 'add' && (rawId === null || rawId === undefined)) {\n      if (context.allowed) return problem('scope', null, text.addAtStart)\n    }\n    else if (typeof rawId !== 'string' || !rawId.trim()) {\n      return problem('field', null, text.idMissing(idField))\n    }\n    const id = typeof rawId === 'string' ? rawId.trim() : null\n    if (id !== null) {\n      if (!context.known(id)) return problem('unknown', id, text.unknownId(id))\n      if (context.allowed && !context.allowed.has(id)) return problem('scope', id, text.outsideScope(id))\n    }\n\n    if (type === 'delete') {\n      if (edited.has(id!)) return problem('duplicate', id, text.duplicate(id!))\n      edited.add(id!)\n      return valid.push({ type, id: id! })\n    }\n\n    if (type === 'convert') {\n      const to = typeof value.to === 'string' ? value.to.trim() : ''\n      if (!to) return problem('field', id, text.toMissing)\n      if (!context.targets.has(to)) return problem('target', id, text.badTarget(to, [...context.targets].join(', ')))\n      if (edited.has(id!)) return problem('duplicate', id, text.duplicate(id!))\n      edited.add(id!)\n      return valid.push({ type, id: id!, to })\n    }\n\n    const markdown = typeof value.markdown === 'string' ? dedent(stripIdPrefixes(value.markdown, context.known)).trim() : ''\n    if (!markdown) return problem('field', id, type === 'update' ? text.markdownMissingUpdate : text.markdownMissing)\n    if (markdown.length > AGENT_LIMITS.markdown) return problem('field', id, text.markdownTooLong(AGENT_LIMITS.markdown))\n    if (type === 'add') return valid.push({ type, afterId: id, markdown })\n    if (edited.has(id!)) return problem('duplicate', id, text.duplicate(id!))\n    edited.add(id!)\n    valid.push({ type: 'update', id: id!, markdown })\n  })\n  return { valid, problems }\n}\n\n/** The problem for a tool call whose input was no object with the list `ops` (index 0), worded in `locale` (default `de`). */\nexport function agentUnreadableProblem({ locale = 'de' }: AgentTextOptions = {}): AgentOpProblem {\n  return { index: 0, type: null, id: null, reason: 'field', detail: AGENT_TEXTS[locale].problem.unreadable }\n}\n\n/**\n * Tool result asking the model to call `tool` (default `edit_document`, the host's own tool name when it exposes the\n * operations under another one) again without the invalid operations' mistakes; worded in `locale` (default `de`).\n * By default nothing was applied and the model resends the whole list; with `partial` the host already shows the\n * valid operations, so the model resends only corrected versions of the listed ones.\n */\nexport function agentRetryMessage(\n  problems: readonly AgentOpProblem[],\n  scoped: boolean,\n  { locale = 'de', tool = AGENT_TOOL, partial = false }: AgentTextOptions & { tool?: string, partial?: boolean } = {},\n): string {\n  const text = AGENT_TEXTS[locale].retry\n  const ids = [...new Set(problems.map(p => p.id).filter((id): id is string => !!id))]\n  return [\n    partial ? text.failedPartial : text.failed,\n    ...(ids.length ? [text.invalidIds(ids.join(', '))] : []),\n    ...problems.map(p => text.operation(p.index, p.type, p.detail)),\n    scoped ? text.scoped : text.unscoped,\n    partial ? text.againPartial(tool) : text.again(tool),\n  ].join('\\n')\n}\n\n/** Tool result of a past `edit_document` call: which operations were shown for review, and how many were dropped; worded in `locale` (default `de`). */\nexport function agentShownMessage(ops: readonly AgentOp[], dropped: number, { locale = 'de' }: AgentTextOptions = {}): string {\n  const text = AGENT_TEXTS[locale].shown\n  const lines = ops.length\n    ? [text.shown(ops.map(op => `${op.op} (${agentOpSummary({ ...op, target: agentOpTarget(op) }, { locale })})`).join(', '))]\n    : [text.none]\n  if (dropped) lines.push(text.dropped(dropped))\n  lines.push(text.decisions)\n  return lines.join(' ')\n}\n\n/** „Entscheidungen zu deinen letzten Vorschlägen: op1 (update Block X) abgelehnt; …“ (English with `locale: 'en'`), or '' without feedback. */\nexport function agentFeedbackText(feedback: readonly AgentOpFeedback[], { locale = 'de' }: AgentTextOptions = {}): string {\n  if (!feedback.length) return ''\n  const outcome = AGENT_TEXTS[locale].outcome\n  return AGENT_TEXTS[locale].feedback(feedback.map(f => `${f.op} (${agentOpSummary(f, { locale })}) ${outcome[f.outcome]}`).join('; '))\n}\n"],"mappings":";;AAQA,MAAa,aAAa;;AAG1B,MAAa,eAAe;CAAE,KAAK;CAAI,UAAU;CAAM,OAAO;CAAM,SAAS;AAAE;AAE/E,MAAa,iBAAiB;CAAC;CAAO;CAAU;CAAU;AAAS;;;;;;;AAuBnE,MAAa,oBAAoB;CAAC;CAAY;CAAY;CAAW;CAAW;CAAW;CAAa;CAAW;CAAW;CAAS;AAAS;;AAsBhJ,SAAgB,iBAAiB,UAA+B;CAC9D,MAAM,sBAAM,IAAI,IAAY;CAC5B,KAAK,MAAM,SAAS,SAAS,SAAS,oBAAoB,GAAG,IAAI,IAAI,MAAM,EAAG;CAC9E,OAAO;AACT;;AAGA,SAAgB,cAAc,IAAiC;CAC7D,OAAO,GAAG,SAAS,QAAQ,GAAG,UAAU,GAAG;AAC7C;AAiDA,MAAM,cAA0C;CAC9C,IAAI;EACF,SAAS;GACP,UAAU;GACV,UAAU;GACV,SAAS;GACT,SAAS;GACT,SAAS;GACT,WAAW;GACX,SAAS;GACT,SAAS;GACT,OAAO;GACP,SAAS;EACX;EACA,SAAS;GACP,UAAU,QAAQ,OAAO,iBAAiB,OAAO,KAAK;GACtD,QAAQ,MAAM,WAAW,GAAG,KAAK,SAAS;GAC1C,UAAU;GACV,WAAU,WAAU,kBAAkB;EACxC;EACA,SAAS;GACP,QAAO,QAAO,YAAY,IAAI;GAC9B,OAAM,YAAW,4CAA4C,QAAQ;GACrE,YAAY;GACZ,YAAW,UAAS,GAAG,MAAM;GAC7B,YAAW,OAAM,WAAW,GAAG;GAC/B,eAAc,OAAM,WAAW,GAAG;GAClC,YAAW,OAAM,cAAc,GAAG;GAClC,WAAW;GACX,YAAY,IAAI,YAAY,IAAI,GAAG,iDAAiD,QAAQ;GAC5F,iBAAiB;GACjB,uBAAuB;GACvB,kBAAiB,QAAO,2BAA2B,IAAI;GACvD,YAAY;EACd;EACA,OAAO;GACL,QAAQ;GACR,eAAe;GACf,aAAY,QAAO,kBAAkB;GACrC,YAAY,OAAO,MAAM,WAAW,eAAe,QAAQ,OAAO,KAAK,KAAK,KAAK,GAAG,IAAI;GACxF,QAAQ;GACR,UAAU;GACV,QAAO,SAAQ,QAAQ,KAAK;GAC5B,eAAc,SAAQ,QAAQ,KAAK;EACrC;EACA,OAAO;GACL,QAAO,QAAO,sCAAsC,IAAI;GACxD,MAAM;GACN,UAAS,UAAS,GAAG,MAAM;GAC3B,WAAW;EACb;EACA,WAAU,cAAa,iDAAiD,UAAU;CACpF;CACA,IAAI;EACF,SAAS;GACP,UAAU;GACV,UAAU;GACV,SAAS;GACT,SAAS;GACT,SAAS;GACT,WAAW;GACX,SAAS;GACT,SAAS;GACT,OAAO;GACP,SAAS;EACX;EACA,SAAS;GACP,UAAU,QAAQ,OAAO,iBAAiB,OAAO,KAAK;GACtD,QAAQ,MAAM,WAAW,GAAG,KAAK,SAAS;GAC1C,UAAU;GACV,WAAU,WAAU,mBAAmB;EACzC;EACA,SAAS;GACP,QAAO,QAAO,aAAa,IAAI;GAC/B,OAAM,YAAW,qCAAqC,QAAQ;GAC9D,YAAY;GACZ,YAAW,UAAS,GAAG,MAAM;GAC7B,YAAW,OAAM,WAAW,GAAG;GAC/B,eAAc,OAAM,WAAW,GAAG;GAClC,YAAW,OAAM,cAAc,GAAG;GAClC,WAAW;GACX,YAAY,IAAI,YAAY,IAAI,GAAG,kDAAkD,QAAQ;GAC7F,iBAAiB;GACjB,uBAAuB;GACvB,kBAAiB,QAAO,2BAA2B,IAAI;GACvD,YAAY;EACd;EACA,OAAO;GACL,QAAQ;GACR,eAAe;GACf,aAAY,QAAO,gBAAgB;GACnC,YAAY,OAAO,MAAM,WAAW,eAAe,QAAQ,OAAO,KAAK,KAAK,KAAK,GAAG,IAAI;GACxF,QAAQ;GACR,UAAU;GACV,QAAO,SAAQ,QAAQ,KAAK;GAC5B,eAAc,SAAQ,QAAQ,KAAK;EACrC;EACA,OAAO;GACL,QAAO,QAAO,qCAAqC,IAAI;GACvD,MAAM;GACN,UAAS,UAAS,GAAG,MAAM;GAC3B,WAAW;EACb;EACA,WAAU,cAAa,uCAAuC,UAAU;CAC1E;AACF;;AAGA,MAAa,wBAAwE;CACnF,IAAI,YAAY,GAAG;CACnB,IAAI,YAAY,GAAG;AACrB;;AAMA,SAAgB,eAAe,IAA+D,EAAE,SAAS,SAA2B,CAAC,GAAW;CAC9I,MAAM,OAAO,YAAY,OAAO,CAAC;CACjC,IAAI,GAAG,SAAS,aAAa,GAAG,IAAI,OAAO,KAAK,QAAQ,GAAG,QAAQ,GAAG,EAAE;CACxE,IAAI,GAAG,SAAS,OAAO,OAAO,KAAK,MAAM,GAAG,MAAM,GAAG,MAAM;CAC3D,OAAO,GAAG,WAAW,OAAO,KAAK,WAAW,KAAK,SAAS,GAAG,MAAM;AACrE;;AAGA,SAAS,gBAAgB,UAAkB,OAAwC;CACjF,OAAO,SAAS,QAAQ,wBAAwB,QAAQ,OAAe,MAAM,EAAE,IAAI,KAAK,MAAM;AAChG;;;;;AAMA,SAAS,OAAO,UAA0B;CACxC,MAAM,UAAU,SAAS,MAAM,IAAI,CAAC,CAAC,QAAO,SAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,KAAI,SAAQ,UAAU,KAAK,IAAI,CAAC,CAAE,EAAE,CAAC,MAAM;CAC5G,MAAM,SAAS,QAAQ,SAAS,KAAK,IAAI,GAAG,OAAO,IAAI;CACvD,OAAO,SAAS,SAAS,QAAQ,IAAI,OAAO,aAAa,OAAO,IAAI,IAAI,GAAG,EAAE,IAAI;AACnF;;;;;;;AAQA,SAAgB,cAAc,KAAyB,SAAgF;CACrI,MAAM,QAAwB,CAAC;CAC/B,MAAM,WAA6B,CAAC;CACpC,MAAM,yBAAS,IAAI,IAAY;CAC/B,MAAM,OAAO,YAAY,QAAQ,UAAU,KAAK,CAAC;CAEjD,IAAI,SAAS,OAAO,MAAM;EACxB,MAAM,QAAQ,IAAI;EAClB,MAAM,QAAS,SAAS,OAAO,UAAU,WAAW,QAAQ,CAAC;EAC7D,MAAM,OAAO,OAAO,MAAM,SAAS,WAAW,MAAM,OAAO;EAC3D,MAAM,WAAW,QAA8B,IAAmB,WAAmB,SAAS,KAAK;GAAE;GAAO;GAAM;GAAI;GAAQ;EAAO,CAAC;EAEtI,IAAI,QAAQ,aAAa,KAAK,OAAO,QAAQ,SAAS,MAAM,KAAK,MAAM,aAAa,GAAG,CAAC;EACxF,IAAI,CAAC,QAAQ,CAAE,eAAqC,SAAS,IAAI,GAAG,OAAO,QAAQ,SAAS,MAAM,KAAK,KAAK,eAAe,KAAK,IAAI,CAAC,CAAC;EAEtI,MAAM,UAAU,SAAS,QAAQ,YAAY;EAC7C,MAAM,QAAQ,MAAM;EACpB,IAAI,SAAS,UAAU,UAAU,QAAQ,UAAU,KAAA,IAC7C;OAAA,QAAQ,SAAS,OAAO,QAAQ,SAAS,MAAM,KAAK,UAAU;EAAA,OAE/D,IAAI,OAAO,UAAU,YAAY,CAAC,MAAM,KAAK,GAChD,OAAO,QAAQ,SAAS,MAAM,KAAK,UAAU,OAAO,CAAC;EAEvD,MAAM,KAAK,OAAO,UAAU,WAAW,MAAM,KAAK,IAAI;EACtD,IAAI,OAAO,MAAM;GACf,IAAI,CAAC,QAAQ,MAAM,EAAE,GAAG,OAAO,QAAQ,WAAW,IAAI,KAAK,UAAU,EAAE,CAAC;GACxE,IAAI,QAAQ,WAAW,CAAC,QAAQ,QAAQ,IAAI,EAAE,GAAG,OAAO,QAAQ,SAAS,IAAI,KAAK,aAAa,EAAE,CAAC;EACpG;EAEA,IAAI,SAAS,UAAU;GACrB,IAAI,OAAO,IAAI,EAAG,GAAG,OAAO,QAAQ,aAAa,IAAI,KAAK,UAAU,EAAG,CAAC;GACxE,OAAO,IAAI,EAAG;GACd,OAAO,MAAM,KAAK;IAAE;IAAU;GAAI,CAAC;EACrC;EAEA,IAAI,SAAS,WAAW;GACtB,MAAM,KAAK,OAAO,MAAM,OAAO,WAAW,MAAM,GAAG,KAAK,IAAI;GAC5D,IAAI,CAAC,IAAI,OAAO,QAAQ,SAAS,IAAI,KAAK,SAAS;GACnD,IAAI,CAAC,QAAQ,QAAQ,IAAI,EAAE,GAAG,OAAO,QAAQ,UAAU,IAAI,KAAK,UAAU,IAAI,CAAC,GAAG,QAAQ,OAAO,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;GAC9G,IAAI,OAAO,IAAI,EAAG,GAAG,OAAO,QAAQ,aAAa,IAAI,KAAK,UAAU,EAAG,CAAC;GACxE,OAAO,IAAI,EAAG;GACd,OAAO,MAAM,KAAK;IAAE;IAAU;IAAK;GAAG,CAAC;EACzC;EAEA,MAAM,WAAW,OAAO,MAAM,aAAa,WAAW,OAAO,gBAAgB,MAAM,UAAU,QAAQ,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI;EACtH,IAAI,CAAC,UAAU,OAAO,QAAQ,SAAS,IAAI,SAAS,WAAW,KAAK,wBAAwB,KAAK,eAAe;EAChH,IAAI,SAAS,SAAS,aAAa,UAAU,OAAO,QAAQ,SAAS,IAAI,KAAK,gBAAgB,aAAa,QAAQ,CAAC;EACpH,IAAI,SAAS,OAAO,OAAO,MAAM,KAAK;GAAE;GAAM,SAAS;GAAI;EAAS,CAAC;EACrE,IAAI,OAAO,IAAI,EAAG,GAAG,OAAO,QAAQ,aAAa,IAAI,KAAK,UAAU,EAAG,CAAC;EACxE,OAAO,IAAI,EAAG;EACd,MAAM,KAAK;GAAE,MAAM;GAAc;GAAK;EAAS,CAAC;CAClD,CAAC;CACD,OAAO;EAAE;EAAO;CAAS;AAC3B;;AAGA,SAAgB,uBAAuB,EAAE,SAAS,SAA2B,CAAC,GAAmB;CAC/F,OAAO;EAAE,OAAO;EAAG,MAAM;EAAM,IAAI;EAAM,QAAQ;EAAS,QAAQ,YAAY,OAAO,CAAC,QAAQ;CAAW;AAC3G;;;;;;;AAQA,SAAgB,kBACd,UACA,QACA,EAAE,SAAS,MAAM,OAAO,YAAY,UAAU,UAAmE,CAAC,GAC1G;CACR,MAAM,OAAO,YAAY,OAAO,CAAC;CACjC,MAAM,MAAM,CAAC,GAAG,IAAI,IAAI,SAAS,KAAI,MAAK,EAAE,EAAE,CAAC,CAAC,QAAQ,OAAqB,CAAC,CAAC,EAAE,CAAC,CAAC;CACnF,OAAO;EACL,UAAU,KAAK,gBAAgB,KAAK;EACpC,GAAI,IAAI,SAAS,CAAC,KAAK,WAAW,IAAI,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC;EACtD,GAAG,SAAS,KAAI,MAAK,KAAK,UAAU,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC;EAC9D,SAAS,KAAK,SAAS,KAAK;EAC5B,UAAU,KAAK,aAAa,IAAI,IAAI,KAAK,MAAM,IAAI;CACrD,CAAC,CAAC,KAAK,IAAI;AACb;;AAGA,SAAgB,kBAAkB,KAAyB,SAAiB,EAAE,SAAS,SAA2B,CAAC,GAAW;CAC5H,MAAM,OAAO,YAAY,OAAO,CAAC;CACjC,MAAM,QAAQ,IAAI,SACd,CAAC,KAAK,MAAM,IAAI,KAAI,OAAM,GAAG,GAAG,GAAG,IAAI,eAAe;EAAE,GAAG;EAAI,QAAQ,cAAc,EAAE;CAAE,GAAG,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IACvH,CAAC,KAAK,IAAI;CACd,IAAI,SAAS,MAAM,KAAK,KAAK,QAAQ,OAAO,CAAC;CAC7C,MAAM,KAAK,KAAK,SAAS;CACzB,OAAO,MAAM,KAAK,GAAG;AACvB;;AAGA,SAAgB,kBAAkB,UAAsC,EAAE,SAAS,SAA2B,CAAC,GAAW;CACxH,IAAI,CAAC,SAAS,QAAQ,OAAO;CAC7B,MAAM,UAAU,YAAY,OAAO,CAAC;CACpC,OAAO,YAAY,OAAO,CAAC,SAAS,SAAS,KAAI,MAAK,GAAG,EAAE,GAAG,IAAI,eAAe,GAAG,EAAE,OAAO,CAAC,EAAE,IAAI,QAAQ,EAAE,UAAU,CAAC,CAAC,KAAK,IAAI,CAAC;AACtI"}
+{"version":3,"file":"agent-ops.js","names":[],"sources":["../../../../src/features/ai/protocol/agent-ops.ts"],"sourcesContent":["// i18n-ignore-file: model-facing tool results, operation checks and decision texts (German by default, English on request; the model's language is not the editor's)\n/**\n * Agent operations of the document chat: the model proposes block edits through the `edit_document` tool, the server\n * checks every block ID against the document and the scope, and the client shows the valid ones as in-document review.\n */\nimport type { Locale } from '../../../i18n'\n\nimport { BLOCK_LINE_IDS_HINT, type BlockLines, stripBlockLineEcho } from './block-lines'\n\n/** Name of the tool the chat model calls to propose edits. */\nexport const AGENT_TOOL = 'edit_document'\n\n/** Per-turn limits: operations, Markdown per operation, IDs in a selection scope; retries after invalid IDs. */\nexport const AGENT_LIMITS = { ops: 50, markdown: 8000, scope: 5000, retries: 2 } as const\n\nexport const AGENT_OP_TYPES = ['add', 'update', 'delete', 'convert'] as const\nexport type AgentOpType = typeof AGENT_OP_TYPES[number]\n\n/**\n * One proposed edit as the model writes it: `update` replaces block `id` by `markdown`, `delete` removes block `id`,\n * `add` inserts `markdown` (one or more blocks) after block `afterId` (`null`: at the start of the document; the key\n * is required), `convert` turns block `id` into the block type `to` (a `CONVERT_TARGET_IDS` entry or\n * `composite:<kind>`), keeping its content.\n */\nexport type ModelAgentOp =\n  | { type: 'update', id: string, markdown: string }\n  | { type: 'delete', id: string }\n  | { type: 'add', afterId: string | null, markdown: string }\n  | { type: 'convert', id: string, to: string }\n\n/** A checked operation with the conversation-wide ID (`op1`, `op2`, …) that decisions refer to. */\nexport type AgentOp = ModelAgentOp & { op: string }\n\n/**\n * What became of an operation: decided in the review (`accepted`, `rejected`, `partial` for mixed hunks, `invalid`\n * when its text changed underneath), still `pending`, or never reviewed: the client found its block deleted since the\n * document went to the model (`stale`) or refused it as out of scope (`blocked`), or the review found nothing to show\n * (`unchanged`, `missing` block, `overlap` with open AI changes, `empty` result).\n */\nexport const AGENT_OP_OUTCOMES = ['accepted', 'rejected', 'partial', 'invalid', 'pending', 'unchanged', 'missing', 'stale', 'overlap', 'empty', 'blocked'] as const\nexport type AgentOpOutcome = typeof AGENT_OP_OUTCOMES[number]\n\n/** Decision state of an earlier operation, sent with the next user message. */\nexport interface AgentOpFeedback { op: string, type: AgentOpType, target: string | null, outcome: AgentOpOutcome }\n\n/**\n * Why an operation was dropped: unknown block ID, ID outside the scope, a missing/invalid field, a block edited twice,\n * too many ops, a `convert` target that is not offered, a block inside another block that an operation of the same\n * answer replaces or deletes (`inside`).\n */\nexport type AgentOpProblemReason = 'unknown' | 'scope' | 'field' | 'duplicate' | 'limit' | 'target' | 'inside'\n\n/** A dropped operation: its 1-based position in the tool call, type and target as far as readable, and the offending ID. */\nexport interface AgentOpProblem { index: number, type: string | null, id: string | null, reason: AgentOpProblemReason, detail: string }\n\n/**\n * Where operations may point: `lines` the block IDs of the document text and which blocks lie inside which (see\n * `readBlockLines`); `allowed` the selection scope (null: the whole document); `targets` the block types `convert`\n * may turn a block into; `locale` the language of the problem details (default `de`).\n */\nexport interface AgentOpContext { lines: BlockLines, allowed: ReadonlySet<string> | null, targets: ReadonlySet<string>, locale?: Locale }\n\n/** The block an operation targets: `update`/`delete` its `id`, `add` its `afterId` (null: document start). */\nexport function agentOpTarget(op: ModelAgentOp): string | null {\n  return op.type === 'add' ? op.afterId : op.id\n}\n\n/**\n * Every model-facing text of the agent protocol, per locale (the editor's own prompts in chat.ts stay German). Selected\n * by the `locale` option of the functions below; `de` is the default and what existing hosts receive.\n */\ninterface AgentTexts {\n  /** How an outcome reads for the model. */\n  outcome: Record<AgentOpOutcome, string>\n  summary: {\n    convert: (target: string | null, to: string) => string\n    block: (type: string, target: string | null) => string\n    addStart: string\n    addAfter: (target: string) => string\n  }\n  problem: {\n    limit: (max: number) => string\n    type: (allowed: string) => string\n    addAtStart: string\n    idMissing: (field: string) => string\n    unknownId: (id: string) => string\n    outsideScope: (id: string) => string\n    duplicate: (id: string) => string\n    toMissing: string\n    badTarget: (to: string, allowed: string) => string\n    markdownMissing: string\n    markdownMissingUpdate: string\n    markdownTooLong: (max: number) => string\n    unreadable: string\n    afterIdMissing: string\n    afterIdMissingScoped: string\n    inside: (target: string, owner: string, ownerIndex: number, deletes: boolean) => string\n  }\n  retry: {\n    failed: string\n    failedPartial: string\n    invalidIds: (ids: string) => string\n    operation: (index: number, type: string | null, detail: string) => string\n    scoped: string\n    unscoped: string\n    inside: string\n    again: (tool: string) => string\n    againPartial: (tool: string) => string\n  }\n  shown: {\n    shown: (ops: string) => string\n    none: string\n    dropped: (count: number) => string\n    decisions: string\n  }\n  feedback: (decisions: string) => string\n}\n\nconst AGENT_TEXTS: Record<Locale, AgentTexts> = {\n  de: {\n    outcome: {\n      accepted: 'übernommen',\n      rejected: 'abgelehnt',\n      partial: 'teilweise übernommen',\n      invalid: 'verfallen, weil der Text inzwischen anders geändert wurde',\n      pending: 'noch nicht entschieden',\n      unchanged: 'nicht angezeigt, weil er dem vorhandenen Text entspricht',\n      missing: 'nicht angezeigt, weil der Block nicht mehr existiert',\n      overlap: 'nicht angezeigt, weil an der Stelle noch andere KI-Änderungen offen sind',\n      empty: 'nicht angezeigt, weil der Inhalt leer ist',\n      stale: 'nicht angezeigt: Block wurde inzwischen gelöscht',\n      blocked: 'blockiert, weil er außerhalb des erlaubten Bereichs liegt',\n    },\n    summary: {\n      convert: (target, to) => `convert Block ${target} → ${to}`,\n      block: (type, target) => `${type} Block ${target}`,\n      addStart: 'add am Dokumentanfang',\n      addAfter: target => `add nach Block ${target}`,\n    },\n    problem: {\n      limit: max => `mehr als ${max} Operationen`,\n      type: allowed => `unbekannter oder fehlender Typ (erlaubt: ${allowed})`,\n      addAtStart: 'Einfügen am Dokumentanfang liegt außerhalb der Auswahl; afterId muss ein ausgewählter Block sein',\n      idMissing: field => `${field} fehlt`,\n      unknownId: id => `die ID „${id}“ gibt es im Dokument nicht`,\n      outsideScope: id => `die ID „${id}“ liegt außerhalb der Auswahl`,\n      duplicate: id => `der Block „${id}“ wird mehrfach geändert oder gelöscht`,\n      toMissing: 'to fehlt',\n      badTarget: (to, allowed) => `„${to}“ ist kein erlaubter Blocktyp für to (erlaubt: ${allowed})`,\n      markdownMissing: 'markdown fehlt',\n      markdownMissingUpdate: 'markdown fehlt (zum Entfernen „delete“ verwenden)',\n      markdownTooLong: max => `markdown ist länger als ${max} Zeichen`,\n      unreadable: 'die Eingabe war kein Objekt mit der Liste „ops“',\n      afterIdMissing: 'afterId fehlt; für den Dokumentanfang ausdrücklich null schreiben',\n      afterIdMissingScoped: 'afterId fehlt; es muss ein ausgewählter Block sein',\n      inside: (target, owner, ownerIndex, deletes) => `Block ${target} liegt in ${owner}, das Operation ${ownerIndex} ${deletes ? 'löscht' : 'ersetzt'}`,\n    },\n    retry: {\n      failed: 'Fehler: Die Operationen wurden nicht angewendet, weil einige ungültig sind.',\n      failedPartial: 'Fehler: Einige Operationen sind ungültig und wurden verworfen; die übrigen werden zur Prüfung angezeigt.',\n      invalidIds: ids => `Ungültige IDs: ${ids}`,\n      operation: (index, type, detail) => `- Operation ${index}${type ? ` (${type})` : ''}: ${detail}`,\n      inside: 'Eine Operation auf einen Block innerhalb eines ersetzten oder gelöschten Blocks entfällt: die Operation auf den äußeren Block gilt. Soll der innere Block mitgeändert werden, schreibe die Änderung in das Markdown der äußeren Operation.',\n      scoped: 'Verwende nur IDs aus dem Bearbeitungsbereich (siehe Nachricht); erfinde keine IDs.',\n      unscoped: BLOCK_LINE_IDS_HINT,\n      again: tool => `Rufe ${tool} erneut mit der vollständigen, korrigierten Liste aller Operationen auf. Lass Operationen weg, die sich nicht korrigieren lassen.`,\n      againPartial: tool => `Rufe ${tool} erneut nur mit den korrigierten Fassungen der oben genannten Operationen auf; wiederhole die angezeigten nicht. Lass Operationen weg, die sich nicht korrigieren lassen.`,\n    },\n    shown: {\n      shown: ops => `Zur Prüfung im Dokument angezeigt: ${ops}.`,\n      none: 'Keine der Operationen wurde angezeigt.',\n      dropped: count => `${count} Operation(en) mit ungültigen IDs wurden verworfen; die Nutzerin bzw. der Nutzer wurde darauf hingewiesen.`,\n      decisions: 'Die Nutzerin bzw. der Nutzer übernimmt oder verwirft jede Änderung im Dokument; die Entscheidungen folgen mit einer späteren Nachricht.',\n    },\n    feedback: decisions => `Entscheidungen zu deinen letzten Vorschlägen: ${decisions}.`,\n  },\n  en: {\n    outcome: {\n      accepted: 'accepted',\n      rejected: 'rejected',\n      partial: 'partially accepted',\n      invalid: 'lapsed because the text was changed in the meantime',\n      pending: 'not decided yet',\n      unchanged: 'not shown because it matches the existing text',\n      missing: 'not shown because the block no longer exists',\n      overlap: 'not shown because other AI changes are still open at that place',\n      empty: 'not shown because the content is empty',\n      stale: 'not shown: the block was deleted in the meantime',\n      blocked: 'blocked because it lies outside the allowed scope',\n    },\n    summary: {\n      convert: (target, to) => `convert block ${target} → ${to}`,\n      block: (type, target) => `${type} block ${target}`,\n      addStart: 'add at the start of the document',\n      addAfter: target => `add after block ${target}`,\n    },\n    problem: {\n      limit: max => `more than ${max} operations`,\n      type: allowed => `unknown or missing type (allowed: ${allowed})`,\n      addAtStart: 'inserting at the start of the document is outside the selection; afterId must be a selected block',\n      idMissing: field => `${field} is missing`,\n      unknownId: id => `the ID \"${id}\" does not exist in the document`,\n      outsideScope: id => `the ID \"${id}\" is outside the selection`,\n      duplicate: id => `the block \"${id}\" is changed or deleted more than once`,\n      toMissing: 'to is missing',\n      badTarget: (to, allowed) => `\"${to}\" is not an allowed block type for to (allowed: ${allowed})`,\n      markdownMissing: 'markdown is missing',\n      markdownMissingUpdate: 'markdown is missing (use \"delete\" to remove a block)',\n      markdownTooLong: max => `markdown is longer than ${max} characters`,\n      unreadable: 'the input was not an object with the list \"ops\"',\n      afterIdMissing: 'afterId is missing; write null explicitly for the start of the document',\n      afterIdMissingScoped: 'afterId is missing; it must be a selected block',\n      inside: (target, owner, ownerIndex, deletes) => `block ${target} lies inside ${owner}, which operation ${ownerIndex} ${deletes ? 'deletes' : 'replaces'}`,\n    },\n    retry: {\n      failed: 'Error: The operations were not applied because some of them are invalid.',\n      failedPartial: 'Error: Some operations are invalid and were dropped; the others are shown for review.',\n      invalidIds: ids => `Invalid IDs: ${ids}`,\n      operation: (index, type, detail) => `- Operation ${index}${type ? ` (${type})` : ''}: ${detail}`,\n      inside: 'An operation on a block inside a replaced or deleted block is dropped: the operation on the outer block applies. To change the inner block as well, write the change into the Markdown of the outer operation.',\n      scoped: 'Use only IDs from the editing scope (see message); do not invent IDs.',\n      unscoped: 'Use only IDs that appear in square brackets in the document; do not invent IDs.',\n      again: tool => `Call ${tool} again with the complete, corrected list of all operations. Leave out operations that cannot be corrected.`,\n      againPartial: tool => `Call ${tool} again with corrected versions of only the operations listed above; do not repeat the shown ones. Leave out operations that cannot be corrected.`,\n    },\n    shown: {\n      shown: ops => `Shown in the document for review: ${ops}.`,\n      none: 'None of the operations were shown.',\n      dropped: count => `${count} operation(s) with invalid IDs were dropped; the user has been notified.`,\n      decisions: 'The user accepts or rejects each change in the document; the decisions follow with a later message.',\n    },\n    feedback: decisions => `Decisions on your latest proposals: ${decisions}.`,\n  },\n}\n\n/** How an outcome reads for the model, per locale; the chat shows the catalog's `ai.opTitle.*` texts. */\nexport const AGENT_OP_OUTCOME_TEXT: Record<Locale, Record<AgentOpOutcome, string>> = {\n  de: AGENT_TEXTS.de.outcome,\n  en: AGENT_TEXTS.en.outcome,\n}\n\n/** Text options of the model-facing functions: `locale` selects the language (default `de`). */\nexport interface AgentTextOptions { locale?: Locale }\n\n/** `update Block X`, `add nach Block X`, `add am Dokumentanfang`, `convert Block X → composite:task` (`to` when known); English with `locale: 'en'`. */\nexport function agentOpSummary(op: { type: AgentOpType, target: string | null, to?: string }, { locale = 'de' }: AgentTextOptions = {}): string {\n  const text = AGENT_TEXTS[locale].summary\n  if (op.type === 'convert' && op.to) return text.convert(op.target, op.to)\n  if (op.type !== 'add') return text.block(op.type, op.target)\n  return op.target === null ? text.addStart : text.addAfter(op.target)\n}\n\n/**\n * Checks the raw `ops` of `edit_document` calls: every ID must exist and lie in the scope (`add` needs its `afterId`\n * key, `null` for the document start, and in a selection scope an `afterId` from the selection), fields must be\n * present, a `convert` target must be one of `targets`, a block is updated, converted or deleted at most once, and no\n * operation may point into a block (`lines.below`) that another operation replaces (`update`) or deletes: the\n * operation on the outer block wins. Several `add`s after the same block are fine; the client inserts them in the\n * order they were written. Returns the valid operations in order and the problems of the others; the problems'\n * `detail` is written in `context.locale` (default `de`).\n */\nexport function checkAgentOps(raw: readonly unknown[], context: AgentOpContext): { valid: ModelAgentOp[], problems: AgentOpProblem[] } {\n  const accepted: { op: ModelAgentOp, index: number }[] = []\n  const problems: AgentOpProblem[] = []\n  const edited = new Set<string>()\n  const text = AGENT_TEXTS[context.locale ?? 'de'].problem\n  const known = (id: string) => context.lines.ids.has(id)\n\n  raw.forEach((entry, i) => {\n    const index = i + 1\n    const value = (entry && typeof entry === 'object' ? entry : {}) as Record<string, unknown>\n    const type = typeof value.type === 'string' ? value.type : null\n    const problem = (reason: AgentOpProblemReason, id: string | null, detail: string) => problems.push({ index, type, id, reason, detail })\n    const accept = (op: ModelAgentOp) => accepted.push({ op, index })\n\n    if (index > AGENT_LIMITS.ops) return problem('limit', null, text.limit(AGENT_LIMITS.ops))\n    if (!type || !(AGENT_OP_TYPES as readonly string[]).includes(type)) return problem('field', null, text.type(AGENT_OP_TYPES.join(', ')))\n\n    const idField = type === 'add' ? 'afterId' : 'id'\n    const rawId = value[idField]\n    // `afterId: null` is the document start; a forgotten key must not become one.\n    if (type === 'add' && rawId === undefined) {\n      return problem('field', null, context.allowed ? text.afterIdMissingScoped : text.afterIdMissing)\n    }\n    if (type === 'add' && rawId === null) {\n      if (context.allowed) return problem('scope', null, text.addAtStart)\n    }\n    else if (typeof rawId !== 'string' || !rawId.trim()) {\n      return problem('field', null, text.idMissing(idField))\n    }\n    const id = typeof rawId === 'string' ? rawId.trim() : null\n    if (id !== null) {\n      if (!known(id)) return problem('unknown', id, text.unknownId(id))\n      if (context.allowed && !context.allowed.has(id)) return problem('scope', id, text.outsideScope(id))\n    }\n\n    if (type === 'delete') {\n      if (edited.has(id!)) return problem('duplicate', id, text.duplicate(id!))\n      edited.add(id!)\n      return accept({ type, id: id! })\n    }\n\n    if (type === 'convert') {\n      const to = typeof value.to === 'string' ? value.to.trim() : ''\n      if (!to) return problem('field', id, text.toMissing)\n      if (!context.targets.has(to)) return problem('target', id, text.badTarget(to, [...context.targets].join(', ')))\n      if (edited.has(id!)) return problem('duplicate', id, text.duplicate(id!))\n      edited.add(id!)\n      return accept({ type, id: id!, to })\n    }\n\n    const markdown = typeof value.markdown === 'string' ? stripBlockLineEcho(value.markdown, known).trim() : ''\n    if (!markdown) return problem('field', id, type === 'update' ? text.markdownMissingUpdate : text.markdownMissing)\n    if (markdown.length > AGENT_LIMITS.markdown) return problem('field', id, text.markdownTooLong(AGENT_LIMITS.markdown))\n    if (type === 'add') return accept({ type, afterId: id, markdown })\n    if (edited.has(id!)) return problem('duplicate', id, text.duplicate(id!))\n    edited.add(id!)\n    accept({ type: 'update', id: id!, markdown })\n  })\n\n  // An operation on a block inside another operation's block is dropped, naming the outermost operation that covers it.\n  const owners = accepted.filter(({ op }) => op.type === 'update' || op.type === 'delete')\n  const covering = ({ op }: typeof accepted[number]) => {\n    const target = agentOpTarget(op)\n    return target === null ? [] : owners.filter(owner => context.lines.below(agentOpTarget(owner.op)!).has(target))\n  }\n  const valid: ModelAgentOp[] = []\n  for (const entry of accepted) {\n    const cover = covering(entry)\n    const owner = cover.find(candidate => !covering(candidate).length) ?? cover[0]\n    if (!owner) {\n      valid.push(entry.op)\n      continue\n    }\n    const target = agentOpTarget(entry.op)!\n    problems.push({\n      index: entry.index,\n      type: entry.op.type,\n      id: target,\n      reason: 'inside',\n      detail: text.inside(target, agentOpTarget(owner.op)!, owner.index, owner.op.type === 'delete'),\n    })\n  }\n  problems.sort((a, b) => a.index - b.index)\n  return { valid, problems }\n}\n\n/** The problem for a tool call whose input was no object with the list `ops` (index 0), worded in `locale` (default `de`). */\nexport function agentUnreadableProblem({ locale = 'de' }: AgentTextOptions = {}): AgentOpProblem {\n  return { index: 0, type: null, id: null, reason: 'field', detail: AGENT_TEXTS[locale].problem.unreadable }\n}\n\n/**\n * Tool result asking the model to call `tool` (default `edit_document`, the host's own tool name when it exposes the\n * operations under another one) again without the invalid operations' mistakes; worded in `locale` (default `de`).\n * By default nothing was applied and the model resends the whole list; with `partial` the host already shows the\n * valid operations, so the model resends only corrected versions of the listed ones.\n */\nexport function agentRetryMessage(\n  problems: readonly AgentOpProblem[],\n  scoped: boolean,\n  { locale = 'de', tool = AGENT_TOOL, partial = false }: AgentTextOptions & { tool?: string, partial?: boolean } = {},\n): string {\n  const text = AGENT_TEXTS[locale].retry\n  const ids = [...new Set(problems.filter(p => p.reason !== 'inside').map(p => p.id).filter((id): id is string => !!id))]\n  return [\n    partial ? text.failedPartial : text.failed,\n    ...(ids.length ? [text.invalidIds(ids.join(', '))] : []),\n    ...problems.map(p => text.operation(p.index, p.type, p.detail)),\n    ...(problems.some(p => p.reason === 'inside') ? [text.inside] : []),\n    scoped ? text.scoped : text.unscoped,\n    partial ? text.againPartial(tool) : text.again(tool),\n  ].join('\\n')\n}\n\n/** Tool result of a past `edit_document` call: which operations were shown for review, and how many were dropped; worded in `locale` (default `de`). */\nexport function agentShownMessage(ops: readonly AgentOp[], dropped: number, { locale = 'de' }: AgentTextOptions = {}): string {\n  const text = AGENT_TEXTS[locale].shown\n  const lines = ops.length\n    ? [text.shown(ops.map(op => `${op.op} (${agentOpSummary({ ...op, target: agentOpTarget(op) }, { locale })})`).join(', '))]\n    : [text.none]\n  if (dropped) lines.push(text.dropped(dropped))\n  lines.push(text.decisions)\n  return lines.join(' ')\n}\n\n/** „Entscheidungen zu deinen letzten Vorschlägen: op1 (update Block X) abgelehnt; …“ (English with `locale: 'en'`), or '' without feedback. */\nexport function agentFeedbackText(feedback: readonly AgentOpFeedback[], { locale = 'de' }: AgentTextOptions = {}): string {\n  if (!feedback.length) return ''\n  const outcome = AGENT_TEXTS[locale].outcome\n  return AGENT_TEXTS[locale].feedback(feedback.map(f => `${f.op} (${agentOpSummary(f, { locale })}) ${outcome[f.outcome]}`).join('; '))\n}\n"],"mappings":";;;AAUA,MAAa,aAAa;;AAG1B,MAAa,eAAe;CAAE,KAAK;CAAI,UAAU;CAAM,OAAO;CAAM,SAAS;AAAE;AAE/E,MAAa,iBAAiB;CAAC;CAAO;CAAU;CAAU;AAAS;;;;;;;AAwBnE,MAAa,oBAAoB;CAAC;CAAY;CAAY;CAAW;CAAW;CAAW;CAAa;CAAW;CAAS;CAAW;CAAS;AAAS;;AAwBzJ,SAAgB,cAAc,IAAiC;CAC7D,OAAO,GAAG,SAAS,QAAQ,GAAG,UAAU,GAAG;AAC7C;AAqDA,MAAM,cAA0C;CAC9C,IAAI;EACF,SAAS;GACP,UAAU;GACV,UAAU;GACV,SAAS;GACT,SAAS;GACT,SAAS;GACT,WAAW;GACX,SAAS;GACT,SAAS;GACT,OAAO;GACP,OAAO;GACP,SAAS;EACX;EACA,SAAS;GACP,UAAU,QAAQ,OAAO,iBAAiB,OAAO,KAAK;GACtD,QAAQ,MAAM,WAAW,GAAG,KAAK,SAAS;GAC1C,UAAU;GACV,WAAU,WAAU,kBAAkB;EACxC;EACA,SAAS;GACP,QAAO,QAAO,YAAY,IAAI;GAC9B,OAAM,YAAW,4CAA4C,QAAQ;GACrE,YAAY;GACZ,YAAW,UAAS,GAAG,MAAM;GAC7B,YAAW,OAAM,WAAW,GAAG;GAC/B,eAAc,OAAM,WAAW,GAAG;GAClC,YAAW,OAAM,cAAc,GAAG;GAClC,WAAW;GACX,YAAY,IAAI,YAAY,IAAI,GAAG,iDAAiD,QAAQ;GAC5F,iBAAiB;GACjB,uBAAuB;GACvB,kBAAiB,QAAO,2BAA2B,IAAI;GACvD,YAAY;GACZ,gBAAgB;GAChB,sBAAsB;GACtB,SAAS,QAAQ,OAAO,YAAY,YAAY,SAAS,OAAO,YAAY,MAAM,kBAAkB,WAAW,GAAG,UAAU,WAAW;EACzI;EACA,OAAO;GACL,QAAQ;GACR,eAAe;GACf,aAAY,QAAO,kBAAkB;GACrC,YAAY,OAAO,MAAM,WAAW,eAAe,QAAQ,OAAO,KAAK,KAAK,KAAK,GAAG,IAAI;GACxF,QAAQ;GACR,QAAQ;GACR,UAAU;GACV,QAAO,SAAQ,QAAQ,KAAK;GAC5B,eAAc,SAAQ,QAAQ,KAAK;EACrC;EACA,OAAO;GACL,QAAO,QAAO,sCAAsC,IAAI;GACxD,MAAM;GACN,UAAS,UAAS,GAAG,MAAM;GAC3B,WAAW;EACb;EACA,WAAU,cAAa,iDAAiD,UAAU;CACpF;CACA,IAAI;EACF,SAAS;GACP,UAAU;GACV,UAAU;GACV,SAAS;GACT,SAAS;GACT,SAAS;GACT,WAAW;GACX,SAAS;GACT,SAAS;GACT,OAAO;GACP,OAAO;GACP,SAAS;EACX;EACA,SAAS;GACP,UAAU,QAAQ,OAAO,iBAAiB,OAAO,KAAK;GACtD,QAAQ,MAAM,WAAW,GAAG,KAAK,SAAS;GAC1C,UAAU;GACV,WAAU,WAAU,mBAAmB;EACzC;EACA,SAAS;GACP,QAAO,QAAO,aAAa,IAAI;GAC/B,OAAM,YAAW,qCAAqC,QAAQ;GAC9D,YAAY;GACZ,YAAW,UAAS,GAAG,MAAM;GAC7B,YAAW,OAAM,WAAW,GAAG;GAC/B,eAAc,OAAM,WAAW,GAAG;GAClC,YAAW,OAAM,cAAc,GAAG;GAClC,WAAW;GACX,YAAY,IAAI,YAAY,IAAI,GAAG,kDAAkD,QAAQ;GAC7F,iBAAiB;GACjB,uBAAuB;GACvB,kBAAiB,QAAO,2BAA2B,IAAI;GACvD,YAAY;GACZ,gBAAgB;GAChB,sBAAsB;GACtB,SAAS,QAAQ,OAAO,YAAY,YAAY,SAAS,OAAO,eAAe,MAAM,oBAAoB,WAAW,GAAG,UAAU,YAAY;EAC/I;EACA,OAAO;GACL,QAAQ;GACR,eAAe;GACf,aAAY,QAAO,gBAAgB;GACnC,YAAY,OAAO,MAAM,WAAW,eAAe,QAAQ,OAAO,KAAK,KAAK,KAAK,GAAG,IAAI;GACxF,QAAQ;GACR,QAAQ;GACR,UAAU;GACV,QAAO,SAAQ,QAAQ,KAAK;GAC5B,eAAc,SAAQ,QAAQ,KAAK;EACrC;EACA,OAAO;GACL,QAAO,QAAO,qCAAqC,IAAI;GACvD,MAAM;GACN,UAAS,UAAS,GAAG,MAAM;GAC3B,WAAW;EACb;EACA,WAAU,cAAa,uCAAuC,UAAU;CAC1E;AACF;;AAGA,MAAa,wBAAwE;CACnF,IAAI,YAAY,GAAG;CACnB,IAAI,YAAY,GAAG;AACrB;;AAMA,SAAgB,eAAe,IAA+D,EAAE,SAAS,SAA2B,CAAC,GAAW;CAC9I,MAAM,OAAO,YAAY,OAAO,CAAC;CACjC,IAAI,GAAG,SAAS,aAAa,GAAG,IAAI,OAAO,KAAK,QAAQ,GAAG,QAAQ,GAAG,EAAE;CACxE,IAAI,GAAG,SAAS,OAAO,OAAO,KAAK,MAAM,GAAG,MAAM,GAAG,MAAM;CAC3D,OAAO,GAAG,WAAW,OAAO,KAAK,WAAW,KAAK,SAAS,GAAG,MAAM;AACrE;;;;;;;;;;AAWA,SAAgB,cAAc,KAAyB,SAAgF;CACrI,MAAM,WAAkD,CAAC;CACzD,MAAM,WAA6B,CAAC;CACpC,MAAM,yBAAS,IAAI,IAAY;CAC/B,MAAM,OAAO,YAAY,QAAQ,UAAU,KAAK,CAAC;CACjD,MAAM,SAAS,OAAe,QAAQ,MAAM,IAAI,IAAI,EAAE;CAEtD,IAAI,SAAS,OAAO,MAAM;EACxB,MAAM,QAAQ,IAAI;EAClB,MAAM,QAAS,SAAS,OAAO,UAAU,WAAW,QAAQ,CAAC;EAC7D,MAAM,OAAO,OAAO,MAAM,SAAS,WAAW,MAAM,OAAO;EAC3D,MAAM,WAAW,QAA8B,IAAmB,WAAmB,SAAS,KAAK;GAAE;GAAO;GAAM;GAAI;GAAQ;EAAO,CAAC;EACtI,MAAM,UAAU,OAAqB,SAAS,KAAK;GAAE;GAAI;EAAM,CAAC;EAEhE,IAAI,QAAQ,aAAa,KAAK,OAAO,QAAQ,SAAS,MAAM,KAAK,MAAM,aAAa,GAAG,CAAC;EACxF,IAAI,CAAC,QAAQ,CAAE,eAAqC,SAAS,IAAI,GAAG,OAAO,QAAQ,SAAS,MAAM,KAAK,KAAK,eAAe,KAAK,IAAI,CAAC,CAAC;EAEtI,MAAM,UAAU,SAAS,QAAQ,YAAY;EAC7C,MAAM,QAAQ,MAAM;EAEpB,IAAI,SAAS,SAAS,UAAU,KAAA,GAC9B,OAAO,QAAQ,SAAS,MAAM,QAAQ,UAAU,KAAK,uBAAuB,KAAK,cAAc;EAEjG,IAAI,SAAS,SAAS,UAAU,MAC1B;OAAA,QAAQ,SAAS,OAAO,QAAQ,SAAS,MAAM,KAAK,UAAU;EAAA,OAE/D,IAAI,OAAO,UAAU,YAAY,CAAC,MAAM,KAAK,GAChD,OAAO,QAAQ,SAAS,MAAM,KAAK,UAAU,OAAO,CAAC;EAEvD,MAAM,KAAK,OAAO,UAAU,WAAW,MAAM,KAAK,IAAI;EACtD,IAAI,OAAO,MAAM;GACf,IAAI,CAAC,MAAM,EAAE,GAAG,OAAO,QAAQ,WAAW,IAAI,KAAK,UAAU,EAAE,CAAC;GAChE,IAAI,QAAQ,WAAW,CAAC,QAAQ,QAAQ,IAAI,EAAE,GAAG,OAAO,QAAQ,SAAS,IAAI,KAAK,aAAa,EAAE,CAAC;EACpG;EAEA,IAAI,SAAS,UAAU;GACrB,IAAI,OAAO,IAAI,EAAG,GAAG,OAAO,QAAQ,aAAa,IAAI,KAAK,UAAU,EAAG,CAAC;GACxE,OAAO,IAAI,EAAG;GACd,OAAO,OAAO;IAAE;IAAU;GAAI,CAAC;EACjC;EAEA,IAAI,SAAS,WAAW;GACtB,MAAM,KAAK,OAAO,MAAM,OAAO,WAAW,MAAM,GAAG,KAAK,IAAI;GAC5D,IAAI,CAAC,IAAI,OAAO,QAAQ,SAAS,IAAI,KAAK,SAAS;GACnD,IAAI,CAAC,QAAQ,QAAQ,IAAI,EAAE,GAAG,OAAO,QAAQ,UAAU,IAAI,KAAK,UAAU,IAAI,CAAC,GAAG,QAAQ,OAAO,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;GAC9G,IAAI,OAAO,IAAI,EAAG,GAAG,OAAO,QAAQ,aAAa,IAAI,KAAK,UAAU,EAAG,CAAC;GACxE,OAAO,IAAI,EAAG;GACd,OAAO,OAAO;IAAE;IAAU;IAAK;GAAG,CAAC;EACrC;EAEA,MAAM,WAAW,OAAO,MAAM,aAAa,WAAW,mBAAmB,MAAM,UAAU,KAAK,CAAC,CAAC,KAAK,IAAI;EACzG,IAAI,CAAC,UAAU,OAAO,QAAQ,SAAS,IAAI,SAAS,WAAW,KAAK,wBAAwB,KAAK,eAAe;EAChH,IAAI,SAAS,SAAS,aAAa,UAAU,OAAO,QAAQ,SAAS,IAAI,KAAK,gBAAgB,aAAa,QAAQ,CAAC;EACpH,IAAI,SAAS,OAAO,OAAO,OAAO;GAAE;GAAM,SAAS;GAAI;EAAS,CAAC;EACjE,IAAI,OAAO,IAAI,EAAG,GAAG,OAAO,QAAQ,aAAa,IAAI,KAAK,UAAU,EAAG,CAAC;EACxE,OAAO,IAAI,EAAG;EACd,OAAO;GAAE,MAAM;GAAc;GAAK;EAAS,CAAC;CAC9C,CAAC;CAGD,MAAM,SAAS,SAAS,QAAQ,EAAE,SAAS,GAAG,SAAS,YAAY,GAAG,SAAS,QAAQ;CACvF,MAAM,YAAY,EAAE,SAAkC;EACpD,MAAM,SAAS,cAAc,EAAE;EAC/B,OAAO,WAAW,OAAO,CAAC,IAAI,OAAO,QAAO,UAAS,QAAQ,MAAM,MAAM,cAAc,MAAM,EAAE,CAAE,CAAC,CAAC,IAAI,MAAM,CAAC;CAChH;CACA,MAAM,QAAwB,CAAC;CAC/B,KAAK,MAAM,SAAS,UAAU;EAC5B,MAAM,QAAQ,SAAS,KAAK;EAC5B,MAAM,QAAQ,MAAM,MAAK,cAAa,CAAC,SAAS,SAAS,CAAC,CAAC,MAAM,KAAK,MAAM;EAC5E,IAAI,CAAC,OAAO;GACV,MAAM,KAAK,MAAM,EAAE;GACnB;EACF;EACA,MAAM,SAAS,cAAc,MAAM,EAAE;EACrC,SAAS,KAAK;GACZ,OAAO,MAAM;GACb,MAAM,MAAM,GAAG;GACf,IAAI;GACJ,QAAQ;GACR,QAAQ,KAAK,OAAO,QAAQ,cAAc,MAAM,EAAE,GAAI,MAAM,OAAO,MAAM,GAAG,SAAS,QAAQ;EAC/F,CAAC;CACH;CACA,SAAS,MAAM,GAAG,MAAM,EAAE,QAAQ,EAAE,KAAK;CACzC,OAAO;EAAE;EAAO;CAAS;AAC3B;;AAGA,SAAgB,uBAAuB,EAAE,SAAS,SAA2B,CAAC,GAAmB;CAC/F,OAAO;EAAE,OAAO;EAAG,MAAM;EAAM,IAAI;EAAM,QAAQ;EAAS,QAAQ,YAAY,OAAO,CAAC,QAAQ;CAAW;AAC3G;;;;;;;AAQA,SAAgB,kBACd,UACA,QACA,EAAE,SAAS,MAAM,OAAO,YAAY,UAAU,UAAmE,CAAC,GAC1G;CACR,MAAM,OAAO,YAAY,OAAO,CAAC;CACjC,MAAM,MAAM,CAAC,GAAG,IAAI,IAAI,SAAS,QAAO,MAAK,EAAE,WAAW,QAAQ,CAAC,CAAC,KAAI,MAAK,EAAE,EAAE,CAAC,CAAC,QAAQ,OAAqB,CAAC,CAAC,EAAE,CAAC,CAAC;CACtH,OAAO;EACL,UAAU,KAAK,gBAAgB,KAAK;EACpC,GAAI,IAAI,SAAS,CAAC,KAAK,WAAW,IAAI,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC;EACtD,GAAG,SAAS,KAAI,MAAK,KAAK,UAAU,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC;EAC9D,GAAI,SAAS,MAAK,MAAK,EAAE,WAAW,QAAQ,IAAI,CAAC,KAAK,MAAM,IAAI,CAAC;EACjE,SAAS,KAAK,SAAS,KAAK;EAC5B,UAAU,KAAK,aAAa,IAAI,IAAI,KAAK,MAAM,IAAI;CACrD,CAAC,CAAC,KAAK,IAAI;AACb;;AAGA,SAAgB,kBAAkB,KAAyB,SAAiB,EAAE,SAAS,SAA2B,CAAC,GAAW;CAC5H,MAAM,OAAO,YAAY,OAAO,CAAC;CACjC,MAAM,QAAQ,IAAI,SACd,CAAC,KAAK,MAAM,IAAI,KAAI,OAAM,GAAG,GAAG,GAAG,IAAI,eAAe;EAAE,GAAG;EAAI,QAAQ,cAAc,EAAE;CAAE,GAAG,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IACvH,CAAC,KAAK,IAAI;CACd,IAAI,SAAS,MAAM,KAAK,KAAK,QAAQ,OAAO,CAAC;CAC7C,MAAM,KAAK,KAAK,SAAS;CACzB,OAAO,MAAM,KAAK,GAAG;AACvB;;AAGA,SAAgB,kBAAkB,UAAsC,EAAE,SAAS,SAA2B,CAAC,GAAW;CACxH,IAAI,CAAC,SAAS,QAAQ,OAAO;CAC7B,MAAM,UAAU,YAAY,OAAO,CAAC;CACpC,OAAO,YAAY,OAAO,CAAC,SAAS,SAAS,KAAI,MAAK,GAAG,EAAE,GAAG,IAAI,eAAe,GAAG,EAAE,OAAO,CAAC,EAAE,IAAI,QAAQ,EAAE,UAAU,CAAC,CAAC,KAAK,IAAI,CAAC;AACtI"}

package/dist/features/ai/protocol/block-lines.d.ts

@@ -0,0 +1,89 @@
+//#region src/features/ai/protocol/block-lines.d.ts
+/**
+ * The line format of the document as the chat model sees it, in one place: how the lines are written (the primitives
+ * `documentChatText` formats its lines with), how they are read back (the block IDs of a text and which blocks lie
+ * inside which, ignoring fenced code), how an echoed line prefix is removed from the model's Markdown, and how the
+ * prompt describes all of that. Framework-free and free of ProseMirror: the browser writes the text, the server reads it.
+ *
+ * A line is `[<block id>] <prefix><text>`. The prefix carries list items (`- `, `1. `), quotes (`> `) and the nesting
+ * of a block inside a Baustein or host block (two spaces per level). A Baustein is a header line, its body lines and a
+ * closing line `:::` without ID. Code blocks keep their own lines: the first one carries the ID, the others start at
+ * the left edge, so their content can look like anything.
+ */
+/** The line shown instead of the rest of a document that did not fit. */
+export declare const TRUNCATED_LINE = "[…] (Rest des Dokuments gekürzt)";
+/** A line of block `id` (none: an ID-less line), indented by `prefix`, holding `text`. */
+export declare function blockLine(id: string | null, prefix: string, text: string): string;
+/** `markdown` on one line: hard breaks and wrapped lines would start new "blocks". */
+export declare function singleBlockLine(markdown: string): string;
+/** The prefix of blocks inside the block whose lines carry `prefix` (the body of a Baustein or host block). */
+export declare function nestedLinePrefix(prefix: string): string;
+/** The prefix of the blocks of a quote. */
+export declare function quoteLinePrefix(prefix: string): string;
+/** The prefix of the blocks of list item `number` (1-based; ignored in a bullet list). */
+export declare function listLinePrefix(prefix: string, ordered: boolean, number: number): string;
+/** The prefix of the blocks of a list item after its first: they continue under its marker instead of repeating it. */
+export declare function continuedLinePrefix(prefix: string): string;
+/** One chrome row of a Baustein (`## title`, `> description`, `Tags: #a`) without its block marker, on one line. */
+export declare function compositeChromePart(markdown: string): string;
+/**
+ * The header text of a Baustein: `::: <kind> {meta}` (the meta as JSON only when it has entries), then every non-empty
+ * chrome part (title, description, tags) separated by ` | `.
+ */
+export declare function compositeLineHeader(kind: string, meta: unknown, chrome: readonly string[]): string;
+/** The closing line of a Baustein whose header line is indented by `prefix`: no ID. */
+export declare function compositeLineClose(prefix: string): string;
+/** The block IDs of a document text and which blocks lie inside which. */
+export interface BlockLines {
+  /** Every block ID that starts a line (lines inside fenced code do not count). */
+  ids: ReadonlySet<string>;
+  /** The IDs of all blocks nested below block `id`: the lines indented under its header line (empty for a block without nested blocks). */
+  below: (id: string) => ReadonlySet<string>;
+}
+/**
+ * Reads the lines of `text` (as `documentChatText` writes them). Lines inside a fenced code block are code, never
+ * block lines, so a code line like `[ghost] text` does not become an ID; only a line that carries an ID opens a fence
+ * (a stray line of backticks inside the code cannot swallow what follows).
+ *
+ * Nesting follows the indentation: the blocks on the lines under a header line that are indented further belong to its
+ * block. Lines of list items (their marker, and what continues under it) never head a block of their own: a paragraph
+ * and its nested list are siblings, nothing lies "inside" the paragraph. A block without lines of its own (a list, a
+ * quote) has no nested blocks; a block's own ID on a nested line (a child without an ID of its own) is not "inside".
+ */
+export declare function readBlockLines(text: string): BlockLines;
+/**
+ * Removes what a model echoes from the document lines into its Markdown: a `[<id>] ` prefix of a known block at the
+ * start of a line (not inside a fenced code block of its own Markdown, which keeps lines that look like one), and the
+ * indentation all non-blank lines share (lines echoed from a Baustein's body carry its indent, which would turn deeper
+ * nested lines into indented code).
+ */
+export declare function stripBlockLineEcho(markdown: string, known: (id: string) => boolean): string;
+/**
+ * Removes the list and quote markers (`- `, `1. `, `> `) a model echoes from the lines of list items and quotes at the
+ * start of each line of its Markdown.
+ */
+export declare function stripListMarkerEcho(markdown: string): string;
+/** The block ID of the prompt's example line (also the target of its citation example). */
+export declare const BLOCK_LINE_EXAMPLE_ID = "0f3c9a52-7d1e-4b8a-9c2f-5e6d7a8b9c0d";
+/** The text of the prompt's example line: a speaker line. */
+export declare const BLOCK_LINE_EXAMPLE_TEXT = "**Anna:** Wir starten im Mai.";
+/** The example line of the prompt, written by `blockLine` like every line of the document. */
+export declare const BLOCK_LINE_EXAMPLE: string;
+/** The label of the document in the user message. */
+export declare const BLOCK_LINES_LABEL = "Dokument (aktueller Stand, eine Zeile pro Block, beginnend mit der Block-ID)";
+/** What the first lines of the system prompt say about the document's lines. */
+export declare const BLOCK_LINE_INTRO: string;
+/** The list and quote blocks with the characters their lines carry. */
+export declare const BLOCK_LINE_MARKERS: string;
+/** What the prompt says about lists and quotes in the document. */
+export declare const BLOCK_LINE_LIST_TEXT = "Listenpunkte und Zitate stehen nach der ID mit ihrem Zeichen; jeder Absatz darin hat eine eigene ID.";
+/** What the prompt says about the lines of a host block with block content (a callout). */
+export declare const BLOCK_LINE_HOST_TEXT: string;
+/** What the prompt says about the lines of a Baustein. */
+export declare const BLOCK_LINE_COMPOSITE_TEXT: string;
+/** What the prompt says about the Markdown of an operation: no echo of the line prefix (`stripBlockLineEcho` removes it when it comes anyway). */
+export declare const BLOCK_LINE_ECHO_TEXT = "„markdown“ enthält nur den neuen Inhalt, ohne Block-ID und ohne das Listen- oder Zitatzeichen der Zeile.";
+/** What the retry message says about IDs. */
+export declare const BLOCK_LINE_IDS_HINT = "Verwende nur IDs, die im Dokument in eckigen Klammern stehen; erfinde keine IDs.";
+//#endregion
+//# sourceMappingURL=block-lines.d.ts.map