@g1cloud/bpmn-modeler-next 5.0.0-alpha.99 → 5.0.0-beta.10

package/README.md

@@ -4,7 +4,7 @@
 
 - **패키지**: `@g1cloud/bpmn-modeler-next`
 - **스택**: TypeScript · Vue 3 · Vite(library mode) · Vitest 4(browser mode) · 캔버스 = **bpmn-js 18 래핑**
-- **상태**: `5.0.0-alpha.1` (활발한 개발 중)
+- **상태**: beta (`5.0.0-beta.*`)
 
 ---
 
@@ -94,7 +94,9 @@ import {
   createHeadlessBpmnModeler,  // 에디터 없는 하강용 modeler (Node + jsdom)
   APPLY_BPMN_OPS_SCHEMA,      // applyOps 도구 input_schema (op 어휘의 JSON Schema 단일 출처)
   SYMBOLIC_OP_KINDS,          // op 종류 17
-  MVP_FLOW_NODE_TYPES,        // MVP 노드 타입 9
+  IR_FLOW_NODE_TYPES,         // describe 가 내는 노드 타입 12 (read)
+  ADDABLE_FLOW_NODE_TYPES,    // op 로 만들 수 있는 노드 타입 10 (write · read 의 부분집합)
+  IR_EVENT_DEFINITIONS,       // 이벤트 정의 — 'timer' (intermediateCatchEvent 전용)
   BWL_SIDES,                  // 주석 방위 8
 } from '@g1cloud/bpmn-modeler-next'
 ```

package/dist/adapter/i18n.d.ts

@@ -1,9 +1,41 @@
+export declare const I18N_NS = "http://www.omg.org/spec/BPMN/non-normative/extensions/i18n/1.0";
+export declare const I18N_PREFIX = "i18n";
+/** 번역 칸 moddle 타입. */
+export declare const I18N_TRANSLATION_TYPE = "i18n:Translation";
+type Any = any;
+/**
+ * 라벨 문구가 실제로 사는 (객체, 키) — bpmn-js `LabelUtil.getLabelAttr` 와 같은 판정.
+ * 주석은 `text`, 그룹은 `categoryValueRef.value`, 나머지는 `name`.
+ */
+export declare function labelSlot(bo: Any): {
+    target: Any;
+    key: string;
+} | undefined;
+/** 요소의 번역 칸 전부(`extensionElements` 안의 `i18n:Translation`). */
+export declare function translationsOf(bo: Any): Any[];
+/** 번역 칸의 로케일. */
+export declare function translationLocale(t: Any): string | undefined;
+/** 요소의 확인 요청 표식 전부(`bwl:ReviewRequest` — 상태 표식 · C-1). */
+export declare function reviewRequestsOf(bo: Any): Any[];
 /**
- * 레거시 bpmn-i18n-moddle 호환 (백로그 B-4).
+ * 문서 언어 설정(B-4) — 설계 언어(고객에게 전달하는 설계 문서의 언어 · `name` 이 따른다) + 병기 언어(함께 최신으로
+ * 유지할 언어들). 호스트 그룹 설정(`designLocale` · `companionLocales`)과 같은 이름이라 그대로 넘긴다.
+ * 미설정(`undefined`) = 기능 끔.
+ */
+export interface BpmnDocumentLocales {
+    designLocale: string;
+    companionLocales: string[];
+}
+/** 문서 언어 목록 — 설계 언어가 맨 앞 · 병기 언어에서 설계 언어와 중복은 뺀다. */
+export declare function documentLocalesOf(config: BpmnDocumentLocales): string[];
+/** 루트 `<bpmn:definitions xml:lang>` — 번역 칸으로 판정되지 않는 `name` 의 언어. */
+export declare function rootLangOf(definitions: Any): string | undefined;
+/**
+ * 요소 라벨의 문서 언어별 문구(B-4 ④) — 표시 판정(`view/i18nDisplay` `resolve`)과 **같은 규칙**이다:
+ * `name` 의 언어가 그 언어면 `name` → 아니면 그 언어의 번역 칸(`xml:lang` 있는 칸 · 문구 있음) → 없으면 빠진다
+ * (= 미번역). `name` 의 언어 = 같은 문구의 번역 칸 로케일 → 없으면 루트 `xml:lang` → 설계 언어.
  *
- * 스키마 자체는 유지한다 — 기존 운영 문서(실측 112곳 확장)와의 호환 필수.
- * 재설계 대상은 스키마가 아니라 적용 방식: 레거시 bpmnTranslationService 의
- * commandStack 우회 변조를 표시용/저장용 라벨 분리로 대체한다.
+ * 에이전트 대면 read(`describeProcess` 의 `names`/`texts`)와 에이전트 쓰기의 「바뀌었나」 판정이 같이 쓴다.
  */
-export declare const I18N_NS = "http://www.omg.org/spec/BPMN/non-normative/extensions/i18n/1.0";
-export declare const I18N_PREFIX = "i18n";
+export declare function localeTextsOf(bo: Any, config: BpmnDocumentLocales, rootLang?: string): Record<string, string>;
+export {};

package/dist/adapter/i18nBackfill.d.ts

@@ -0,0 +1,64 @@
+type Any = any;
+/** 문자 체계 — 판정에 쓰는 것은 한글 · 가나뿐이다. */
+export type ScriptKind = 'hangul' | 'kana' | 'mixed' | 'han' | 'other';
+export interface ScriptInference {
+    script: ScriptKind;
+    /** 문자 체계로 정해지는 언어 — 한글 = ko · 가나 = ja · 그 밖 = 없음. */
+    locale?: 'ko' | 'ja';
+}
+/** 문구의 문자 체계 판정. 한글과 가나가 함께 있으면 `mixed`(판정 불가). */
+export declare function inferScriptLocale(text: string): ScriptInference;
+/**
+ * 루트 판정의 근거.
+ * `kept` 이미 있다 · `matched` 번역 칸과 같은 이름들의 공통 언어 · `script` 문자 체계가 한 언어로 모인다 ·
+ * `ambiguous` 공통 언어가 여럿이고 문자 체계로도 못 고른다 · `mixed` 근거가 서로 다른 언어 · `no-evidence` 근거 없음
+ */
+export type RootLocaleReason = 'kept' | 'matched' | 'script' | 'ambiguous' | 'mixed' | 'no-evidence';
+/** 계획 항목이 가리키는 요소 — 미리보기 화면이 사람에게 보여 줄 최소 정보. */
+export interface LocaleBackfillElement {
+    id: string;
+    /** moddle 타입(`bpmn:Task` 등). */
+    type: string;
+    /** 계획 시점의 라벨 문구. 적용은 이 문구가 그대로일 때만 쓴다. */
+    name: string;
+}
+export interface LocaleBackfillPlan {
+    root: {
+        /** 지금 루트 `xml:lang`. */
+        current?: string;
+        /** 새로 쓸 값 — `current` 가 있거나 판정 불가면 없다. */
+        proposed?: string;
+        reason: RootLocaleReason;
+    };
+    /** 더할 번역 칸(본문 = 그 요소의 `name`). */
+    additions: Array<LocaleBackfillElement & {
+        locale: string;
+    }>;
+    /** 언어 기록이 없고 문자 체계로도 못 가르는 이름 — 루트를 따른다 · 사람 확인 대상. */
+    undecided: Array<LocaleBackfillElement & {
+        script: ScriptKind;
+    }>;
+    /** 이름이 언어 있는 칸 어느 것과도 다르다(칸은 있다) — 백필 대상 아님(별도 정리). */
+    drift: LocaleBackfillElement[];
+    /**
+     * 이름이 언어 있는 칸과 같은 요소의 분포 — 키 = 일치한 로케일(정렬 · `+` 연결, 예 `ja` · `ja+ko`).
+     * 루트 판정의 근거이고, 판정 불가 문서에서 사람이 루트를 고를 근거다.
+     */
+    matchedBy: Record<string, number>;
+    /**
+     * 칸 언어 ↔ 문자 체계 불일치(레거시 복사본 번역 흔적 · F8) — **기록 대상 아님**(별도 정리).
+     * `script` = `kana` · `hangul` 은 그 칸 언어가 아닌 문자 · `han` 은 ko 칸이 한자만이고 다른 칸과 같은 문구(참고값 · 사람 판단).
+     */
+    scriptMismatch: Array<LocaleBackfillElement & {
+        locale: string;
+        script: ScriptKind;
+    }>;
+}
+/** 언어 백필 계획 — 문서를 바꾸지 않는다. */
+export declare function planLocaleBackfill(definitions: Any): LocaleBackfillPlan;
+/**
+ * 계획을 문서에 쓴다 — 바꾼 곳 수를 돌려준다. **멱등**이고 계획 뒤 문서가 바뀌었어도 덮지 않는다:
+ * 루트가 이미 있으면 루트를 건너뛰고, 요소는 지금도 「언어 기록 없음 + 이름이 계획 때 그대로」일 때만 쓴다.
+ */
+export declare function applyLocaleBackfill(definitions: Any, plan: LocaleBackfillPlan): number;
+export {};

package/dist/agent/agentBatch.d.ts

@@ -2,6 +2,7 @@ import { BpmnDocumentModelerLike } from '../core/modelerLike';
 import { SymbolicOp } from './symbolicOp';
 import { ApplyBpmnOpsResult, ResolveIssue } from './resolver';
 import { GeometryFinding } from './geometryAudit';
+import { BpmnDocumentLocales } from '../adapter/i18n';
 /** op 출처 — 감사·정책 분기용. `gui` = 호스트 채팅 패널, `rest` = 외부 브리지. */
 export type BpmnOpOrigin = 'agent' | 'gui' | 'rest';
 export interface BpmnOpBatch {
@@ -54,6 +55,11 @@ export type ApplyBatchOutcome =
 export interface ApplyBpmnOpBatchOptions {
     /** 적용 시점의 권위 버전 — 호스트(영속 소유자)가 공급한다. */
     currentVersion: number;
+    /**
+     * 그 문서가 속한 그룹의 문서 언어 설정(B-4 ④) — 호스트가 공급한다(문서에 없다). 있으면 문구는 `names`/`texts`
+     * 로 문서 언어 전부를 받고, 없으면 평문만 받는다(`applyBpmnOps` 의 같은 옵션).
+     */
+    i18n?: BpmnDocumentLocales;
 }
 /**
  * 배치를 캔버스에 적용하고 영속 페이로드를 낸다.
@@ -64,4 +70,4 @@ export interface ApplyBpmnOpBatchOptions {
  * 적용은 단일 undo 에피소드다(`applyBpmnOps` → `command/undoEpisode`) — 배치 수십 op 가
  * 사용자 undo 1회로 되감긴다.
  */
-export declare function applyBpmnOpBatch(modeler: BpmnDocumentModelerLike, batch: BpmnOpBatch, { currentVersion }: ApplyBpmnOpBatchOptions): Promise<ApplyBatchOutcome>;
+export declare function applyBpmnOpBatch(modeler: BpmnDocumentModelerLike, batch: BpmnOpBatch, { currentVersion, i18n }: ApplyBpmnOpBatchOptions): Promise<ApplyBatchOutcome>;

package/dist/agent/describeProcess.d.ts

@@ -1,4 +1,6 @@
 import { ModdleElement, ParseWarning } from '../adapter/xml';
+import { BpmnDocumentLocales } from '../adapter/i18n';
+import { ReviewRequestValue } from '../command/setTranslations';
 import { BwlAfterColumn, BwlBand, BwlPlacement, BwlPoolOrder } from '../core/hints';
 import { IrDefinition } from '../core/ir';
 /** 파생 뷰가 표현하지 못한 요소 — 침묵 폐기 금지(에이전트가 미표현 존재를 알아야 안전). */
@@ -7,7 +9,11 @@ export interface IrOmission {
     /** bpmn $type 원형 (예: `bpmn:BoundaryEvent`) */
     type: string;
     reason: 
-    /** IR 타입 집합 밖 (intermediate 이벤트·dataObject 등 — 승격 시 자동 해소) */
+    /**
+     * IR 타입 집합 밖 (intermediateThrowEvent·dataObject 등 — 승격 시 자동 해소). 🔴 **어휘 밖 변형도
+     * 여기다** — `intermediateCatchEvent` 는 timer 만 표현하므로 message·signal·정의 없음·다중 정의는
+     * 타입이 집합 안이어도 이 사유로 나간다(B-87 ⓑ 부분 · 판정 = 타입 + eventDefinition).
+     */
     'type-outside-mvp'
     /**
      * 승격된 컨테이너(subProcess) **내부**라 표현하지 않음 (B-87 ⓐ = 불투명 승격).
@@ -37,15 +43,40 @@ export interface BwlHintView {
     /** 주석 id → 앵커 기준 방위 (앵커 부재분은 필터됨) */
     placements: Record<string, BwlPlacement>;
 }
+/** 확인 요청 표식 한 건(B-4 ④) — `id` 요소의 `locale` 칸에 걸렸다. `sourceLocale` 이 `previous` → 지금 문구로 고쳐졌다. */
+export interface ReviewRequestView extends ReviewRequestValue {
+    id: string;
+}
+/**
+ * 다국어 판독 결과(B-4 ④) — 문서 언어 설정이 있을 때만 낸다. IR 밖 채널(위 헤더 「다국어」).
+ * 에이전트는 이 값이 있으면 문구를 `names`/`texts` 로 문서 언어 전부를 써야 한다.
+ */
+export interface I18nView {
+    designLocale: string;
+    /** 병기 언어(설계 언어 제외 · 중복 제거). */
+    companionLocales: string[];
+    /**
+     * 정리할 확인 요청 — 문서 언어 칸에 걸린 것만. `previous`(고치기 전 원문) → 지금 `names[sourceLocale]` 를 대조해
+     * 오타 수준이면 `translation.confirm`, 내용이 바뀌었으면 그 요소 update 에 `names` 로 번역을 고친다.
+     */
+    reviewRequests: ReviewRequestView[];
+}
 export interface DescribeProcessResult {
     definition: IrDefinition;
     hints: BwlHintView;
     omitted: IrOmission[];
+    /** 문서 언어 설정이 있을 때만 있다(B-4 ④). */
+    i18n?: I18nView;
+}
+/** 판독 옵션 — 문서 밖에서만 알 수 있는 입력. */
+export interface DescribeProcessOptions {
+    /** 그룹의 문서 언어 설정(B-4 ④) — 문서에 없어 호스트가 공급한다. 없으면 다국어 판독을 하지 않는다. */
+    i18n?: BpmnDocumentLocales;
 }
 export interface DescribeProcessXmlResult extends DescribeProcessResult {
     /** 입력 XML 파싱 경고 — 실운영 문서는 빈 배열이어야 한다(M1 수용 기준 1). */
     warnings: ParseWarning[];
 }
-export declare function describeProcess(definitions: ModdleElement): DescribeProcessResult;
+export declare function describeProcess(definitions: ModdleElement, options?: DescribeProcessOptions): DescribeProcessResult;
 /** XML 문자열 입력 래퍼 — 헤드리스 read 경로(호스트 `describeProcess` API·테스트). */
-export declare function describeProcessXml(xml: string): Promise<DescribeProcessXmlResult>;
+export declare function describeProcessXml(xml: string, options?: DescribeProcessOptions): Promise<DescribeProcessXmlResult>;

package/dist/agent/resolver/documentIndex.d.ts

@@ -1,4 +1,5 @@
 import { default as ElementRegistry } from 'diagram-js/lib/core/ElementRegistry';
+import { IrEventDefinition } from '../../core/ir';
 /** 검증이 구분하는 요소 카테고리 — bpmn $type 을 참조 적합성 판단 단위로 접는다. */
 export type ElementCategory = 'participant' | 'lane' | 'flowNode' | 'sequenceFlow' | 'messageFlow' | 'dataStore' | 'dataAssociation' | 'annotation' | 'association' | 'group' | 'other';
 export interface DocumentIndex {
@@ -19,6 +20,17 @@ export interface DocumentIndex {
         source?: string;
         target?: string;
     } | undefined;
+    /**
+     * 플로우 노드의 IR 이벤트 정의 (B-87 ⓑ 부분) — 문서의 **기존** 타이머 catch 이벤트를 메시지 끝점으로
+     * 지목하는 op 를 거부하려면 정의를 알아야 한다(배치 노드는 op 선언으로 안다). 이벤트가 아니거나
+     * 어휘 밖 정의면 undefined.
+     */
+    eventDefinitionOf(nodeId: string): IrEventDefinition | undefined;
+    /**
+     * 요소에 확인 요청 표식(`bwl:reviewRequest`)이 걸린 언어들 (B-4 ④) — `translation.confirm` 이 없는 표식을
+     * 지목하면 거부한다(읽은 뒤 사람이 이미 정리했을 수 있다). 없으면 빈 배열.
+     */
+    reviewRequestLocalesOf(id: string): readonly string[];
 }
 /** elementRegistry 어댑터 — 하강 직전 실문서 상태를 대변한다. */
 export declare function buildRegistryIndex(registry: ElementRegistry): DocumentIndex;

package/dist/agent/resolver/index.d.ts

@@ -2,11 +2,12 @@ import { BpmnModelerLike } from '../../core/modelerLike';
 import { SymbolicOp } from '../symbolicOp';
 import { ResolveIssue } from './issues';
 import { GeometryFinding } from '../geometryAudit';
+import { BpmnDocumentLocales } from '../../adapter/i18n';
 import { lowerOps } from './lower';
 export type { ResolveIssue } from './issues';
 export type { DocumentIndex, ElementCategory } from './documentIndex';
 export { buildRegistryIndex } from './documentIndex';
-export { validateOps } from './validate';
+export { validateOps, type ValidateOpsOptions } from './validate';
 export { lowerOps, resolverServicesOf, type ResolverServices } from './lower';
 export { forwardThreePointCandidates, planCrossPoolRoute, planEdgeRepair, planLabelLineClearance, planLabelPlacement, planMiddleSegmentShifts, planOppositeOverlapRepair, planSegmentDetours, planBackEdgeBoundaryClearance, repairIntroducedBoundaryHugging, repairIntroducedCrossings, repairIntroducedEdgeCrossings, repairIntroducedFakeMerges, repairIntroducedOppositeOverlaps, repairIntroducedSharedSegmentLabels, followMovedEdgeLabels, redockIntroducedDetachedEndpoints, repairIntroducedLabelLines, repairIntroducedShapeLabelLines, planShapeLabelClearance, rerouteIntroducedCrossPoolEdges, } from './routeRepair';
 export interface ApplyBpmnOpsResult {
@@ -59,4 +60,15 @@ export interface ApplyBpmnOpsResult {
         };
     };
 }
-export declare function applyBpmnOps(modeler: BpmnModelerLike, ops: readonly SymbolicOp[], lower?: typeof lowerOps): ApplyBpmnOpsResult;
+/** 배치 적용 옵션 — 문서 밖에서만 알 수 있는 입력. */
+export interface ApplyBpmnOpsOptions {
+    /**
+     * 그룹의 문서 언어 설정(B-4 ④). 있으면 다국어 그룹이다 — 문구는 `names`/`texts` 로 문서 언어 전부를 받고
+     * (평문 거부) 하강 뒤 번역 칸을 같은 undo 에피소드에서 기록한다. 없으면 기능이 꺼진 그룹이다(평문만).
+     * 🔴 **문서에는 이 설정이 없다**(루트 `xml:lang` 은 만들 당시의 설계 언어일 뿐이다) — 호스트가 그룹 설정을 공급한다.
+     */
+    i18n?: BpmnDocumentLocales;
+    /** 테스트 시임 — 롤백 경로를 결정론적으로 검증하기 위한 하강 함수 주입점. 실사용은 기본값. */
+    lower?: typeof lowerOps;
+}
+export declare function applyBpmnOps(modeler: BpmnModelerLike, ops: readonly SymbolicOp[], options?: ApplyBpmnOpsOptions): ApplyBpmnOpsResult;

package/dist/agent/resolver/issues.d.ts

@@ -114,6 +114,31 @@ export type ResolveIssue =
     id: string;
     type: string;
 }
+/**
+ * `type` 과 `eventDefinition` 의 짝이 어긋남 (B-87 ⓑ 부분 · 2026-09-30) — `intermediateCatchEvent` 인데
+ * 정의가 없거나, 다른 타입에 정의를 줬다. 🔴 **앞쪽이 더 위험하다** — 정의 없는 중간 catch 이벤트는 read 가
+ * 표현하지 않는 변형이라, 만들면 **다음 describe 에서 그 노드와 붙은 간선이 사라진다**(`type-outside-mvp`
+ * · `endpoint-outside-mvp`). `node.update` 는 같은 op 안에서 type 과 함께 줄 때만 받는다.
+ */
+ | {
+    kind: 'event-definition-mismatch';
+    opIndex: number;
+    id: string;
+    type?: string;
+    eventDefinition?: string;
+}
+/**
+ * 메시지 플로우의 끝점이 **타이머 catch 이벤트** (B-87 ⓑ 부분). 타이머는 시간이 지나야 진행하는 대기라
+ * 메시지를 주고받지 않는다 — bpmn-js 규칙(`canConnectMessageFlow`)도 거부하는 형상이고, resolver 는
+ * `modeling.connect` 로 규칙을 거치지 않으므로 여기서 막지 않으면 **무효 BPMN 이 그대로 저장된다**.
+ * 메시지를 기다리는 자리는 `receiveTask` 로 그린다(playbook §3.5-1b-1).
+ */
+ | {
+    kind: 'message-flow-timer-endpoint';
+    opIndex: number;
+    id: string;
+    ref: string;
+}
 /** lanes 재선언이 기존 레인을 누락 — 레인 축소는 미실증 축(B-0)이라 거부 (세션 ②-b 판단) */
  | {
     kind: 'lane-shrink-unsupported';
@@ -127,6 +152,74 @@ export type ResolveIssue =
     opIndex: number;
     participant: string;
 }
+/**
+ * `node.update{type}` 전환이 **다른 요소를 지웠다** — 배치 전체를 롤백하고 거부한다 (B-128 · 2026-09-30).
+ * bpmn-js 는 새 타입이 못 가지는 연결(게이트웨이·종료 이벤트의 메시지 · 시작 이벤트의 시퀀스 유입 · 타이머의 메시지)과
+ * 붙은 경계 이벤트를 **알림 없이 지운다** — 막지 않으면 `ok: true` 인 채 문서가 잘려 나간다. `dropped` 가 지워질 뻔한
+ * 요소 id 다. 교정 = 그 연결을 먼저 옮기거나(재배선), 지워야 한다면 사람 승인을 받아 `element.remove` 로 명시하거나,
+ * 그것을 가질 수 있는 타입을 고른다. ⚠ validator 가 아니라 **하강에서** 낸다 — bpmn-js 규칙을 옮겨 적지 않고
+ * 실제로 지운 것을 대조하기 때문이다.
+ */
+ | {
+    kind: 'type-change-drops-elements';
+    opIndex: number;
+    id: string;
+    type: string;
+    dropped: string[];
+}
+/** 평문(`name`/`text`)과 로케일 맵(`names`/`texts`)을 함께 줬다 — 어느 쪽이 진실인지 모호하다(🔁 `condition-name-conflict`). */
+ | {
+    kind: 'locale-texts-conflict';
+    opIndex: number;
+    id: string;
+    field: string;
+}
+/**
+ * 다국어 그룹(문서 언어 설정 있음)에 평문을 줬다 — 언어를 모르는 문구는 설계 언어 칸에 다른 언어가 들어가는 경로다
+ * (켠 뒤의 에이전트 배치가 언어 기록 없는 이름 · drift 를 만드는 근인). `names`/`texts` 로 문서 언어 전부를 준다.
+ * 🔴 **조건 라벨(`condition`)도 여기다** — name 채널의 별칭(A-5)이라 다국어 그룹에선 그 플로우의 `names` 로 쓴다.
+ */
+ | {
+    kind: 'locale-texts-required';
+    opIndex: number;
+    id: string;
+    field: string;
+    locales: string[];
+}
+/** 기능이 꺼진 그룹(문서 언어 미설정)에 로케일 맵이나 `translation.confirm` 을 줬다 — 평문을 쓴다. */
+ | {
+    kind: 'locale-texts-not-enabled';
+    opIndex: number;
+    id: string;
+    field: string;
+}
+/** 로케일 맵에 문서 언어가 빠졌다 — 에이전트 쓰기는 문서 언어 **전부**를 함께 쓴다(그래야 표식이 안 생긴다). */
+ | {
+    kind: 'locale-texts-incomplete';
+    opIndex: number;
+    id: string;
+    field: string;
+    missing: string[];
+}
+/** 문서 언어(설계 + 병기) 밖의 언어 — 표시도 판정도 안 하는 칸이라 아무도 못 보고 못 고친다. */
+ | {
+    kind: 'locale-not-in-document';
+    opIndex: number;
+    id: string;
+    field: string;
+    locale: string;
+    locales: string[];
+}
+/**
+ * `translation.confirm` 의 대상 칸에 확인 요청 표식이 없다 — 읽은 뒤 사람이 이미 정리했거나 언어를 잘못 짚었다.
+ * 다시 읽어 `i18n.reviewRequests` 를 본다.
+ */
+ | {
+    kind: 'review-request-missing';
+    opIndex: number;
+    id: string;
+    locale: string;
+}
 /** 하강 실행 중 실패 — 실행분은 롤백됨(원자성 2차 방어) */
  | {
     kind: 'lower-failed';

package/dist/agent/resolver/localeTexts.d.ts

@@ -0,0 +1,24 @@
+import { BpmnDocumentLocales } from '../../adapter/i18n';
+import { SymbolicOp } from '../symbolicOp';
+import { DocumentIndex } from './documentIndex';
+import { ResolveIssue } from './issues';
+/** 하강 뒤 한 요소에 할 번역 쓰기 — 같은 요소를 여러 op 가 건드리면 합친다. */
+export interface LocaleWrite {
+    /** 문서 언어 전부의 문구. `null` = 라벨 제거(칸 · 표식 전부). 없으면 문구를 쓰지 않는다. */
+    texts?: Record<string, string> | null;
+    /** 문구를 바꾸지 않고 해소할 확인 요청의 언어들(`translation.confirm`). */
+    confirm?: string[];
+}
+/**
+ * 다국어 검증(순수). `config` = 그룹의 문서 언어 설정 — 없으면 기능이 꺼진 그룹이다.
+ * 페이로드 shape(맵이 객체인가 · 값이 비지 않은 문자열인가)도 여기서 본다 — 패스 0 은 kind 별 고정 자리만 안다.
+ */
+export declare function validateLocaleTexts(ops: readonly SymbolicOp[], index: DocumentIndex, config: BpmnDocumentLocales | undefined): ResolveIssue[];
+/**
+ * 하강 준비 — 검증 통과가 전제다. 반환 `ops` 는 평문만 남은 사본(설계 언어 문구 · `translation.confirm` 제외)이고,
+ * `writes` 는 하강 뒤 요소별로 할 번역 쓰기다. `config` 가 없으면(기능 끔) 입력을 그대로 돌려준다.
+ */
+export declare function localizeOps(ops: readonly SymbolicOp[], index: DocumentIndex, config: BpmnDocumentLocales | undefined): {
+    ops: SymbolicOp[];
+    writes: Map<string, LocaleWrite>;
+};

package/dist/agent/resolver/lower.d.ts

@@ -9,6 +9,7 @@ import { default as BpmnReplace } from 'bpmn-js/lib/features/replace/BpmnReplace
 import { default as SpaceTool } from 'diagram-js/lib/features/space-tool/SpaceTool';
 import { Shape } from 'bpmn-js/lib/model/Types';
 import { SymbolicOp } from '../symbolicOp';
+import { ResolveIssue } from './issues';
 import { BwlSide } from '../../core/hints';
 import { GeometryFinding, GeometryScene } from '../geometryAudit';
 /** resolver 가 대면하는 bpmn-js 서비스 표면 — 하강은 이 묶음만 사용한다. */
@@ -61,6 +62,14 @@ export declare function annotationSpot(elementRegistry: ElementRegistry, anchor:
     x: number;
     y: number;
 };
+/**
+ * 하강 중에야 드러나는 거부를 **구조화된 issue 로** 올린다 — `applyBpmnOps` 가 자유 문장 `lower-failed` 대신
+ * 이 issue 를 그대로 낸다(LLM 교정 루프가 읽을 수 있게). 롤백은 다른 throw 와 같다(undo 에피소드가 되감는다).
+ */
+export declare class LowerIssueError extends Error {
+    readonly issue: ResolveIssue;
+    constructor(issue: ResolveIssue);
+}
 /** 검증 통과가 전제 — 참조 해소 실패는 여기서 프로그래밍 오류로 throw 되고 applyBpmnOps 가 롤백한다. */
 export declare function lowerOps(ops: readonly SymbolicOp[], services: ResolverServices): void;
 /** 주석 도형이 소유자로 등장할 수 있는 finding 의 소유 도형 id. */

package/dist/agent/resolver/routeRepair.d.ts

@@ -300,8 +300,11 @@ export declare function planLabelBesideOwnLine(edge: GeometryEdge, scene: Geomet
  * — 공유 구간 검사 + 미끄럼 후보를 더한 판도 이득 0) · base 에서 이미 표류한 라벨(선 기하가 안 바뀌어 이 가지에 안 온다).
  */
 export declare function followMovedEdgeLabels(services: Pick<ResolverServices, 'elementRegistry' | 'modeling'>, before: ReadonlyMap<string, EdgeLabelSnapshot>): void;
-/** 이 배치가 **새로 만든** 간선의 라벨을 선·경계선에서 뗀다(맨 마지막 — 라벨 귀속 보정 뒤). 선재 라벨은 불가침. */
-export declare function repairIntroducedLabelLines(services: Pick<ResolverServices, 'elementRegistry' | 'modeling'>, beforeEdgeIds: ReadonlySet<string>): void;
+/**
+ * 이 배치가 **새로 만든** 간선의 라벨을 선·경계선에서 뗀다(맨 마지막 — 라벨 귀속 보정 뒤). 선재 라벨은 불가침 —
+ * 단 `reroutedEdgeIds`(이 배치가 끝점을 바꿔 경로를 다시 깐 선재 간선)는 대상이다(B-114 ⓔ ⓑ).
+ */
+export declare function repairIntroducedLabelLines(services: Pick<ResolverServices, 'elementRegistry' | 'modeling'>, beforeEdgeIds: ReadonlySet<string>, reroutedEdgeIds?: ReadonlySet<string>): void;
 /**
  * 이 배치가 **새로 만든** 간선의 라벨 귀속 문제를 고친다(하강 직후, undo 에피소드 안, 경로 보정들 뒤).
  * 선재 간선의 라벨은 사람이 놓았을 수 있어 손대지 않는다(안전 성질 2).

package/dist/agent/resolver/validate.d.ts

@@ -1,4 +1,13 @@
+import { BpmnDocumentLocales } from '../../adapter/i18n';
 import { SymbolicOp } from '../symbolicOp';
 import { DocumentIndex } from './documentIndex';
 import { ResolveIssue } from './issues';
-export declare function validateOps(ops: readonly SymbolicOp[], index: DocumentIndex): ResolveIssue[];
+/** 검증 옵션 — 문서 밖에서만 알 수 있는 입력. */
+export interface ValidateOpsOptions {
+    /**
+     * 그룹의 문서 언어 설정(B-4 ④) — 있으면 다국어 그룹이다(문구 = `names`/`texts` 로 문서 언어 전부 · 평문 거부).
+     * 없으면 기능이 꺼진 그룹이다(평문만 · 맵 거부). 그룹 설정은 문서에 없으므로 호스트가 공급한다.
+     */
+    i18n?: BpmnDocumentLocales;
+}
+export declare function validateOps(ops: readonly SymbolicOp[], index: DocumentIndex, options?: ValidateOpsOptions): ResolveIssue[];

package/dist/agent/symbolicOp.d.ts

@@ -1,5 +1,5 @@
 import { BwlAfterColumn, BwlBand, BwlPlacement, BwlPoolOrder } from '../core/hints';
-import { IrAssociation, IrDataAssociation, IrDataStore, AddableFlowNodeType, IrFlowCondition, IrGroup, IrLane, IrMessageFlow, IrNode, IrParticipant, IrSequenceFlow, IrTextAnnotation } from '../core/ir';
+import { IrLocaleTexts, IrAssociation, IrDataAssociation, IrDataStore, AddableFlowNodeType, IrEventDefinition, IrFlowCondition, IrGroup, IrLane, IrMessageFlow, IrNode, IrParticipant, IrSequenceFlow, IrTextAnnotation } from '../core/ir';
 /** LLM 이 산출하는 단일 심볼릭 op. `kind` 로 판별한다. */
 export type SymbolicOp = 
 /** 풀 추가. `order` = 풀 세로 순서 힌트(생략 시 op 순서가 곧 배치 순서). */
@@ -57,17 +57,21 @@ export type SymbolicOp =
     kind: 'participant.update';
     id: string;
     name?: string | null;
+    names?: IrLocaleTexts;
     lanes?: IrLane[];
 }
 /** `lane` = 레인 재배정(이동). `type` = 태스크/이벤트 타입 전환(bpmn-js replace 하강 — 외래 확장 속성 유실 가능성은 불변식 2 가 완충). */
 /** 노드 갱신. `band` = 기존 노드의 행 재지정(B-72 ⓐ 승격) — 기존 컨테이너에서 band 는 **행 identity** 다. */
-/** ⚠ `type` 은 **만들 수 있는 집합**으로 좁다 — read 집합(11)이 아니다(B-87 ⓐ). 타입이 0차 방어다. */
+/** ⚠ `type` 은 **만들 수 있는 집합**으로 좁다 — read 집합이 아니다(B-87 ⓐ). 타입이 0차 방어다. */
+/** `eventDefinition` = `type: 'intermediateCatchEvent'` 로 전환할 때 **함께 필수**다(`node.add` 의 `node.eventDefinition` 과 같은 짝 규칙). */
  | {
     kind: 'node.update';
     id: string;
     name?: string | null;
+    names?: IrLocaleTexts;
     lane?: string;
     type?: AddableFlowNodeType;
+    eventDefinition?: IrEventDefinition;
     band?: BwlBand;
 }
 /**
@@ -83,6 +87,7 @@ export type SymbolicOp =
     kind: 'sequenceFlow.update';
     id: string;
     name?: string | null;
+    names?: IrLocaleTexts;
     condition?: IrFlowCondition | null;
     source?: string;
     target?: string;
@@ -90,16 +95,19 @@ export type SymbolicOp =
     kind: 'messageFlow.update';
     id: string;
     name?: string | null;
+    names?: IrLocaleTexts;
 } | {
     kind: 'dataStore.update';
     id: string;
     name?: string | null;
+    names?: IrLocaleTexts;
 }
 /** `text` 는 주석의 본질이라 제거 불가(주석 삭제 = element.remove). `placement: null` = 힌트 제거(휴리스틱 복귀). */
  | {
     kind: 'annotation.update';
     id: string;
     text?: string;
+    texts?: IrLocaleTexts;
     placement?: BwlPlacement | null;
 }
 /** `members` 는 전체 재선언(생략 = 보존) — resolver 가 바운즈를 재산출한다. */
@@ -107,8 +115,20 @@ export type SymbolicOp =
     kind: 'group.update';
     id: string;
     name?: string | null;
+    names?: IrLocaleTexts;
     members?: string[];
 }
+/**
+ * **확인만** — 그 요소의 `locale` 칸에 걸린 확인 요청(`bwl:reviewRequest`)을 문구를 바꾸지 않고 해소한다.
+ * 다른 언어가 고쳐졌지만 이 칸의 번역은 여전히 맞을 때(오타 수준 수정) 쓴다. 번역을 고쳐야 하면 이것이 아니라
+ * 그 요소의 `*.update` 에 `names`/`texts` 를 준다 — 문구가 **실제로 바뀐 칸**의 표식만 해소된다.
+ * 다국어 그룹에서만 받는다 · 그 칸에 표식이 없으면 거부한다(읽은 뒤 사람이 이미 정리했을 수 있다).
+ */
+ | {
+    kind: 'translation.confirm';
+    id: string;
+    locale: string;
+}
 /** 요소 제거(카테고리 무관 — 도형·연결 균일, 부착 연결은 연쇄 제거). */
  | {
     kind: 'element.remove';
@@ -118,5 +138,5 @@ export type SymbolicOp =
  * 심볼릭 op 종류의 닫힌 집합(단일 출처). resolver·JSON Schema(`schema.ts`)가 공유한다.
  * 아래 컴파일타임 단언이 이 튜플과 `SymbolicOp['kind']` 의 일치를 강제 — 한쪽만 늘리면 타입 에러.
  */
-export declare const SYMBOLIC_OP_KINDS: readonly ["participant.add", "participant.update", "node.add", "node.update", "sequenceFlow.add", "sequenceFlow.update", "messageFlow.add", "messageFlow.update", "dataStore.add", "dataStore.update", "dataAssociation.add", "association.add", "annotation.add", "annotation.update", "group.add", "group.update", "element.remove"];
+export declare const SYMBOLIC_OP_KINDS: readonly ["participant.add", "participant.update", "node.add", "node.update", "sequenceFlow.add", "sequenceFlow.update", "messageFlow.add", "messageFlow.update", "dataStore.add", "dataStore.update", "dataAssociation.add", "association.add", "annotation.add", "annotation.update", "group.add", "group.update", "translation.confirm", "element.remove"];
 export type SymbolicOpKind = (typeof SYMBOLIC_OP_KINDS)[number];