@g1cloud/bpmn-modeler-next 5.0.0-beta.9 → 5.0.0-beta.90

package/dist/adapter/annotationImportDocking.d.ts

@@ -0,0 +1,28 @@
+/**
+ * 주석 연관선의 가져오기 도킹 원점 (B-139) — 주석 쪽 끝점의 `original` 이 **주석 밖**이면 주석 중심으로 옮긴다.
+ *
+ * bpmn-js `ImportDockingFix` 는 가져올 때 연결선 끝점마다 `original`(도형이 움직일 때 끝점이 따라갈 기준)을
+ * 「끝 구간 연장선 × 도형 중심 십자선」 교점 중 중심에 가까운 쪽으로 잡는다. 납작한 주석(높이 30 안팎)에 얕은
+ * 사선 연관이 닿으면 그 교점이 **주석 밖**이고(이관 레거시 연관 끝점 ≈ 25%), 주석이나 앵커를 옮기면 끝점이 그
+ * 상대 위치를 따라가 주석 밖에 남는다 = 연관선이 주석에서 떨어진다(`edge-endpoint-detached`).
+ *
+ * 🔴 **resolver 가 아니라 가져오기에 건다** — 에이전트 하강의 안전망(B-98 재도킹)은 반려될 수 있고, **GUI 이동에는
+ * 안전망이 아예 없다**(표본 125 = 도구가 주석을 옮겨 연관이 얕아진 문서를 사람이 GUI 로 옮기다 끊었다). 캔버스 ·
+ * 헤드리스 양쪽 가져오기에 등록한다. 중심으로 두면 bpmn-js 의 의도(「중심 쪽 원점 → 앵커를 향한 면에 붙는다」)가
+ * 살아난다. 주석 안 원점 · 주석이 아닌 끝 · 연관이 아닌 연결선은 건드리지 않는다. 저장되는 DI 는 바뀌지 않는다
+ * (`original` 은 직렬화되지 않는다 — 다음 이동부터 다르다).
+ *
+ * ⚠ **bpmn-js 내부 이벤트(`bpmnElement.added`)와 `ImportDockingFix` 의 원점 규칙에 기댄다** — pin 상향 게이트 =
+ * `annotationImportDocking.browser.test.ts`(`translationLocaleCopy` 와 같은 처지).
+ */
+type Any = any;
+export declare class AnnotationImportDocking {
+    static $inject: string[];
+    constructor(eventBus: Any);
+}
+/** bpmn-js 모듈 — 서비스 이름 = `annotationImportDocking`. 헤드리스 기본 셋과 `BpmnModelerView` 가 붙인다. */
+export declare const AnnotationImportDockingModule: {
+    __init__: string[];
+    annotationImportDocking: (string | typeof AnnotationImportDocking)[];
+};
+export {};

package/dist/adapter/i18nBackfill.d.ts

@@ -11,9 +11,17 @@ export declare function inferScriptLocale(text: string): ScriptInference;
 /**
  * 루트 판정의 근거.
  * `kept` 이미 있다 · `matched` 번역 칸과 같은 이름들의 공통 언어 · `script` 문자 체계가 한 언어로 모인다 ·
- * `ambiguous` 공통 언어가 여럿이고 문자 체계로도 못 고른다 · `mixed` 근거가 서로 다른 언어 · `no-evidence` 근거 없음
+ * `ambiguous` 공통 언어가 여럿이고 문자 체계로도 못 고른다 · `mixed` 근거가 서로 다른 언어 · `no-evidence` 근거 없음 ·
+ * `non-design` 근거가 설계 언어 아닌 언어를 가리킨다 — 루트로 쓰지 않는다(그 언어 이름은 요소 칸으로 · B-177)
  */
-export type RootLocaleReason = 'kept' | 'matched' | 'script' | 'ambiguous' | 'mixed' | 'no-evidence';
+export type RootLocaleReason = 'kept' | 'matched' | 'script' | 'ambiguous' | 'mixed' | 'no-evidence' | 'non-design';
+export interface LocaleBackfillOptions {
+    /**
+     * 그룹의 설계 언어 — 주면 그와 다른 루트는 쓰지 않는다(`non-design`). 없으면 종전 판정 그대로.
+     * 루트가 없으면 표시 판정이 이름을 설계 언어로 읽으므로, 루트는 설계 언어일 때만 말할 것이 있다.
+     */
+    designLocale?: string;
+}
 /** 계획 항목이 가리키는 요소 — 미리보기 화면이 사람에게 보여 줄 최소 정보. */
 export interface LocaleBackfillElement {
     id: string;
@@ -55,7 +63,7 @@ export interface LocaleBackfillPlan {
     }>;
 }
 /** 언어 백필 계획 — 문서를 바꾸지 않는다. */
-export declare function planLocaleBackfill(definitions: Any): LocaleBackfillPlan;
+export declare function planLocaleBackfill(definitions: Any, options?: LocaleBackfillOptions): LocaleBackfillPlan;
 /**
  * 계획을 문서에 쓴다 — 바꾼 곳 수를 돌려준다. **멱등**이고 계획 뒤 문서가 바뀌었어도 덮지 않는다:
  * 루트가 이미 있으면 루트를 건너뛰고, 요소는 지금도 「언어 기록 없음 + 이름이 계획 때 그대로」일 때만 쓴다.

package/dist/adapter/translationLocaleCopy.d.ts

@@ -0,0 +1,11 @@
+type Any = any;
+export declare class TranslationLocaleCopy {
+    static $inject: string[];
+    constructor(eventBus: Any);
+}
+/** bpmn-js 모듈 — 서비스 이름 = `translationLocaleCopy`. 헤드리스 기본 셋과 `BpmnModelerView` 가 붙인다. */
+export declare const TranslationLocaleCopyModule: {
+    __init__: string[];
+    translationLocaleCopy: (string | typeof TranslationLocaleCopy)[];
+};
+export {};

package/dist/adapter/translationLocaleRestore.d.ts

@@ -0,0 +1,86 @@
+import { ScriptKind } from './i18nBackfill';
+type Any = any;
+/** 번역 칸 하나의 상태 — `locale` 없음 = `xml:lang` 이 없는 칸. */
+export interface TranslationCellState {
+    locale?: string;
+    body: string;
+}
+/** 요소 하나의 번역 칸 상태(문서 순서). */
+export interface TranslationElementState {
+    /** moddle 타입(`bpmn:Task` 등). */
+    type: string;
+    cells: TranslationCellState[];
+}
+/** 문서 한 판본의 번역 칸 상태 — 요소 id → 상태(번역 칸이 있는 DI 평면 요소만). */
+export type TranslationStates = Map<string, TranslationElementState>;
+/** 문서 한 판본의 번역 칸 상태를 뽑는다(문서 무변경). */
+export declare function collectTranslationStates(definitions: Any): TranslationStates;
+interface IndexedState {
+    doc: string;
+    version: number;
+    id: string;
+    state: TranslationElementState;
+}
+/**
+ * 근거 색인 — 그룹 문서 전부의 판본(현재본 · 이력)을 담는다. 언어 칸이 하나도 없는 상태는 근거가 될 수 없어 담지 않는다.
+ * `doc` = 문서 식별자(호스트 문서 id) · `version` = 판본 번호(`history` 단계가 최근 판본부터 본다).
+ */
+export declare class TranslationStateIndex {
+    private readonly byId;
+    private readonly byBodies;
+    add(doc: string, version: number, states: TranslationStates): void;
+    /** @internal */
+    sameId(id: string): IndexedState[];
+    /** @internal */
+    sameBodies(cells: TranslationCellState[]): IndexedState[];
+}
+/** 근거 단계 — `history` 같은 문서 이전 판본 · `lineage` 다른 문서 같은 요소 id · `bodies` id 무관 같은 본문 묶음. */
+export type TranslationLocaleRestoreSource = 'history' | 'lineage' | 'bodies';
+/** 계획 항목이 가리키는 요소. */
+export interface TranslationLocaleRestoreTarget {
+    id: string;
+    /** moddle 타입. */
+    type: string;
+}
+export interface TranslationLocaleRestorePlan {
+    /** 되살릴 칸 — 적용은 그 본문의 무언어 칸이 남아 있고 요소에 그 언어가 아직 없을 때만 쓴다. */
+    restores: Array<TranslationLocaleRestoreTarget & {
+        source: TranslationLocaleRestoreSource;
+        cells: Array<{
+            body: string;
+            locale: string;
+        }>;
+    }>;
+    /** 맞는 근거 상태들이 서로 다른 배정을 낸다 — 쓰지 않는다(사람 확인). */
+    ambiguous: Array<TranslationLocaleRestoreTarget & {
+        source: TranslationLocaleRestoreSource;
+    }>;
+    /** 근거 언어가 이미 요소에 있다 — 손실 뒤 그 언어를 다시 썼다 · 무언어 칸은 낡은 문구(되살리지 않는다). */
+    stale: Array<TranslationLocaleRestoreTarget & {
+        body: string;
+        locale: string;
+    }>;
+    /**
+     * 후보인데 근거 상태가 없다 — 쓰지 않는다. `script` = 문자 체계(사람 확인 · 문자 판정 쓰기는 범위 밖).
+     * 문서에 나오는 언어를 그 요소가 이미 다 가졌으면 되살릴 언어가 없으므로 싣지 않는다(언어 칸 옆의 잔재 칸 — 로컬 실측 7).
+     */
+    unresolved: Array<TranslationLocaleRestoreTarget & {
+        body: string;
+        script: ScriptKind;
+    }>;
+}
+export interface TranslationLocaleRestoreContext {
+    /** 이 문서의 식별자 — 색인의 `doc` 과 같은 값. */
+    doc: string;
+    index: TranslationStateIndex;
+    /** 문서 이력 첫 판본의 상태 — 그 뒤에 생긴 무언어 칸만 후보다. 없으면 칸 전부가 무언어인 요소만 본다. */
+    baseline?: TranslationStates;
+}
+/** 언어 복구 계획 — 문서를 바꾸지 않는다. */
+export declare function planTranslationLocaleRestore(definitions: Any, ctx: TranslationLocaleRestoreContext): TranslationLocaleRestorePlan;
+/**
+ * 계획을 문서에 쓴다 — 바꾼 칸 수를 돌려준다. **멱등**이고 계획 뒤 문서가 바뀌었어도 덮지 않는다: 그 본문의 무언어 칸이
+ * 남아 있고 요소에 그 언어가 아직 없을 때만 그 칸에 `xml:lang` 을 단다.
+ */
+export declare function applyTranslationLocaleRestore(definitions: Any, plan: TranslationLocaleRestorePlan): number;
+export {};

package/dist/agent/agentBatch.d.ts

@@ -44,6 +44,11 @@ export type ApplyBatchOutcome =
     findings: GeometryFinding[];
     /** 간선 교차 계측(B-14 ⓐ) — 문서 전체, 하강 전/후. finding 이 아니다. */
     stats: ApplyBpmnOpsResult['stats'];
+    /**
+     * 이 배치가 bpmn-js 에 **무작위로 만들게 한 id** — 생성 순서 그대로(`recordGeneratedIds` 옵션일 때만).
+     * 열린 에디터의 턴 끝 재실행(G4 B′ · `replayAgentTurn`)이 같은 순서로 받아 써야 산출이 바이트로 같아진다.
+     */
+    generatedIds?: string[];
 } | {
     status: 'conflict';
     baseVersion: number;
@@ -60,6 +65,11 @@ export interface ApplyBpmnOpBatchOptions {
      * 로 문서 언어 전부를 받고, 없으면 평문만 받는다(`applyBpmnOps` 의 같은 옵션).
      */
     i18n?: BpmnDocumentLocales;
+    /**
+     * 생성 id 를 순서대로 기록해 `applied.generatedIds` 로 낸다(G4 B′) — 생성 자체는 바꾸지 않는다(관찰만).
+     * 서버 집행 코어가 GUI 채팅 턴의 배치에 켠다. 기본 끔(응답 형태 종전 그대로).
+     */
+    recordGeneratedIds?: boolean;
 }
 /**
  * 배치를 캔버스에 적용하고 영속 페이로드를 낸다.
@@ -70,4 +80,4 @@ export interface ApplyBpmnOpBatchOptions {
  * 적용은 단일 undo 에피소드다(`applyBpmnOps` → `command/undoEpisode`) — 배치 수십 op 가
  * 사용자 undo 1회로 되감긴다.
  */
-export declare function applyBpmnOpBatch(modeler: BpmnDocumentModelerLike, batch: BpmnOpBatch, { currentVersion, i18n }: ApplyBpmnOpBatchOptions): Promise<ApplyBatchOutcome>;
+export declare function applyBpmnOpBatch(modeler: BpmnDocumentModelerLike, batch: BpmnOpBatch, { currentVersion, i18n, recordGeneratedIds: record }: ApplyBpmnOpBatchOptions): Promise<ApplyBatchOutcome>;

package/dist/agent/agentReplay.d.ts

@@ -0,0 +1,36 @@
+import { BpmnDocumentModelerLike } from '../core/modelerLike';
+import { BpmnDocumentLocales } from '../adapter/i18n';
+import { SymbolicOp } from './symbolicOp';
+/** 턴의 배치 하나 — 서버가 커밋한 순서대로. `generatedIds` = 서버 `applied.generatedIds`(`recordGeneratedIds`). */
+export interface BpmnReplayBatch {
+    ops: SymbolicOp[];
+    generatedIds: string[];
+}
+/**
+ * 재실행 결과. `diverged` 면 문서는 **재실행 전 상태로 되감겨 있다** — 호스트는 서버 XML 로 reload 한다.
+ *  - `unsupported` — 이 modeler 에 헤드리스 동등 실행 환경이 없다(`HeadlessReplayModule` 미탑재) · 배치가 없다
+ *  - `rejected`    — 배치가 검증 · 하강에서 거부됐다(서버에서는 통과한 배치다 — 시작 상태가 이미 달랐다)
+ *  - `ids`         — 생성 id 를 다 못 받아 썼다 · 남았다(하강 경로가 서버와 갈렸다)
+ *  - `xml`         — 끝까지 갔지만 바이트가 다르다
+ *  - `error`       — 예외
+ * `ms` = 재실행 소요(비교 포함) — 폴백률 · 비용 관측용(결정 §7).
+ */
+export type ReplayAgentTurnOutcome = {
+    status: 'replayed';
+    ms: number;
+} | {
+    status: 'diverged';
+    reason: 'unsupported' | 'rejected' | 'ids' | 'xml' | 'error';
+    /** 사람이 읽을 단서(거부 issue 요약 · 예외 문장 · id 수). */
+    detail?: string;
+    ms: number;
+};
+export interface ReplayAgentTurnOptions {
+    /** 서버가 이 턴 마지막 배치로 커밋한 XML — 판정 기준. */
+    expectedXml: string;
+    /** 그룹 문서 언어(B-4 ④) — 서버와 같은 값이어야 같은 검증 · 하강을 탄다. */
+    i18n?: BpmnDocumentLocales;
+}
+export declare function replayAgentTurn(modeler: BpmnDocumentModelerLike & {
+    get<T>(name: string, strict?: boolean): T;
+}, batches: readonly BpmnReplayBatch[], { expectedXml, i18n }: ReplayAgentTurnOptions): Promise<ReplayAgentTurnOutcome>;

package/dist/agent/generatedIds.d.ts

@@ -0,0 +1,18 @@
+import { BpmnModelerLike } from '../core/modelerLike';
+/** `run` 동안 생성된 id 를 순서대로 모은다 — 생성 자체는 바꾸지 않는다(관찰만). */
+export declare function recordGeneratedIds<T>(modeler: BpmnModelerLike, run: () => T): {
+    value: T;
+    generatedIds: string[];
+};
+/**
+ * `run` 동안 생성을 `generatedIds` 순서로 대신한다. 다음 id 가 없거나 · 접두가 다르거나 · 이미 쓰인 id 면
+ * **무작위 생성으로 떨어지고 `missed` 를 센다** — 하강을 멈추지 않는다(판정은 호출자가 바이트 비교로 한다).
+ *
+ * @returns `fed` = 주입한 수 · `missed` = 떨어진 수 · `remaining` = 쓰지 않고 남은 수(셋 다 0 · 0 · 0 이 아니면 갈렸다)
+ */
+export declare function feedGeneratedIds<T>(modeler: BpmnModelerLike, generatedIds: readonly string[], run: () => T): {
+    value: T;
+    fed: number;
+    missed: number;
+    remaining: number;
+};

package/dist/agent/geometryAudit.d.ts

@@ -514,6 +514,58 @@ export type GeometryFinding =
     edge: string;
     shape: string;
     distance: number;
+}
+/**
+ * 🔴 **다이아몬드 합류가 자기 선행보다 앞(왼쪽)에 그려져 그 선이 거꾸로 든다**(B-213 · 관측 전용). 합류 = 비루프
+ * 선행(합류에서 다시 닿지 않는 출발) 둘 이상 · 다이아몬드 = 그 선행들이 공통 조상을 가진다(같은 분기에서 갈라진
+ * 경로가 만난다) · 앞 = 합류 중심 x 가 **선행 상자의 왼쪽 끝보다 왼쪽** — 선행에서 합류로 가는 선이 **반드시** 왼쪽으로
+ * 간다. ⚠ 중심끼리 비교하면 합류가 선행 바로 위에 조금 비켜 있어 곧은 수직선으로 잇는 자리까지 잡는다(같은 열이다).
+ * `edge` = 그 선행에서 합류로 드는 시퀀스.
+ *
+ * 원인은 2단계 탐욕 배치가 합류를 **처음 처리된 유입의 다음 열**에 세운 것이었다(분기 → 합류 직결 출구를 긴 갈래보다
+ * 먼저 선언 — 원격 반품 문서 두 풀). 하강은 B-213 이 고쳤고 이 판정은 그 밖의 경로(사람 편집 · 외부 도구 · 다이아몬드가
+ * 아닌 갱신)를 보는 안전망이다.
+ *
+ * 🔴 **다이아몬드로 좁히는 것이 판별자다**(N20) — 사람 레거시 다이아몬드 합류 **0/133**(갈래 깊이 차 ≥ 2 가 39% 인데도)
+ * · 우리 산출 0/69 인데, 다이아몬드가 아닌 합류(메시지로 시작하는 수신 태스크가 왼쪽 합류로 드는 꼴 등)는 사람도
+ * 6/41 을 그렇게 둔다. ⚠ **관측 전용인 이유** — 채택 게이트에 넣으면 보정 단계의 제약이 되는데 게이트마다 반사실을
+ * 거치지 않았다(모듈 머리 주석).
+ */
+ | {
+    kind: 'merge-before-predecessor';
+    merge: string;
+    edge: string;
+}
+/**
+ * 🔴 **연결선이 자기 끝점 도형 안을 지난다**(B-189 · 관측 전용). `edge-crosses-shape` 는 끝점 도킹 때문에 끝점을 통째로
+ * 면책해 이 꼴이 침묵했다 — 원격 BSP `Flow_g17` 은 출발 게이트웨이를 세로로 꿰뚫는데 판정은 자기 라벨의 `label-over-line`
+ * 으로만 샜다. 술어 = `piercesOwnEndpoint`(실형상 · `CROSS_INSET` · 도킹점은 경계 위라 안 걸린다) · `shape` = 꿰뚫린 끝점.
+ * 시퀀스 · 메시지만 본다 — 연관선은 끝 도킹의 반올림으로 표본 하나가 걸린다(원격 실문서 1/23).
+ *
+ * 사람 문서 기저 **0/4,244**(레거시 이관 161 · 실무 26 · N20). 하강의 알려진 생성 경로(행 이동)는 B-189 ⓑ 가 다시 깔고,
+ * 이 판정은 그 밖의 경로(사람 편집 · 외부 도구 · 이전 판이 남긴 선)를 보는 안전망이다. ⚠ **관측 전용인 이유** — 채택
+ * 게이트에 넣으면 보정 단계의 제약이 되는데 게이트마다 반사실을 거치지 않았다(모듈 머리 주석).
+ */
+ | {
+    kind: 'edge-crosses-own-endpoint';
+    edge: string;
+    shape: string;
+}
+/**
+ * 🔴 **참여자 끝 메시지가 끝점 노드 열을 막은 자기 풀 도형을 피해 돌아간다**(B-226 · 관측 전용). 술어 = 메시지 한 끝이 참여자 ·
+ * 경로 4점 이상 · 그 참여자가 노드 중심 열을 덮는다 · 노드 중심의 수직선(노드 면 ↔ 참여자 면)을 노드와 **같은 풀**의 다른 도형이
+ * 막는다(`shape` = 노드에 가장 가까운 것). 갈래 band 행 · 다른 레인 노드가 같은 열에 쌓이면 보정이 6점 U 로 감싸는데 그 우회는
+ * 어느 kind 로도 안 잡혀 저작 에이전트가 **못 봤다**(원격 Codex 저작 넷 = 응답의 판정 · 교차는 정확히 옮기고 이 우회는 한 번도 말하지
+ * 않았다). 사람이 쓰는 수단 = 막는 노드를 다음 열로.
+ *
+ * 사람 문서 기저 **0**(레거시 이관 161 · 실무 26 문서 · N20). 하강은 B-226 이동이 고치고(재맞춤 뒤 막는 노드 + 하류를 다음 열로),
+ * 이 판정은 그 이동이 정당하게 반려한 나머지(한 열 셋 쌓임 · 교환)와 그 밖의 경로를 보인다. ⚠ **관측 전용인 이유** — 채택 게이트에
+ * 넣으면 보정 단계의 제약이 되는데 게이트마다 반사실을 거치지 않았다(모듈 머리 주석).
+ */
+ | {
+    kind: 'message-detours-own-pool-shape';
+    edge: string;
+    shape: string;
 };
 /** 발견을 전후 비교(배치가 새로 만든 것 가려내기)할 수 있게 하는 안정 키. */
 export declare function geometryFindingKey(finding: GeometryFinding): string;
@@ -605,6 +657,15 @@ export declare function lineThroughLabel(edge: GeometryEdge, scene: GeometryScen
  * `targets` 는 컨테이너를 제외한 도형 목록 — 호출자가 한 번 걸러 넘긴다(반복 호출 비용).
  */
 export declare function crossedShapesOf(edge: GeometryEdge, targets: readonly GeometryShape[]): GeometryShape[];
+/**
+ * ── B-189. 간선이 **자기 끝점** 안을 지나는가 ──
+ *
+ * `crossedShapesOf` 는 끝점 도킹이 경계에 붙어서 끝점을 **통째로** 건너뛴다 — 그 면책이 도킹 너머의 자기 관통까지 덮었다
+ * (B-141 · 원격 BSP `Flow_g17` = 출발 게이트웨이를 세로로 꿰뚫는데 판정은 자기 라벨로만 샜다). 여기서는 끝점을 **실형상**
+ * (게이트웨이 = 마름모 · 이벤트 = 원 · 그 밖 = 상자)을 `CROSS_INSET` 만큼 줄인 안쪽으로 재고 경로를 2px 간격으로 짚는다 —
+ * 도킹점은 경계 위라 안 걸린다. 사람 문서 기저 = **0/4,244**(레거시 이관 161 · 실무 26 · 시퀀스 + 메시지 · N20).
+ */
+export declare function piercesOwnEndpoint(waypoints: readonly GeometryPoint[], endpoints: ReadonlyArray<Pick<GeometryShape, 'type' | 'x' | 'y' | 'width' | 'height'> | undefined>): boolean;
 /**
  * 선분과 도형 **실형상**(게이트웨이 = 마름모 · 이벤트 = 원 · 그 밖 = 사각형) 사이 최소 거리. 겹치면 0.
  * N20 계측기 `n20-edge-graze.py` 와 같은 정의다 — 기저(사람 26종 · 수용 회차 최종 67)가 이 거리로 재였다.
@@ -613,6 +674,8 @@ export declare function segmentShapeClearance(a: GeometryPoint, b: GeometryPoint
 /**
  * 한 간선(또는 그 후보 경로)이 다른 간선들과 교차하는 수. **끝점을 공유하는 간선은 제외**한다 —
  * 같은 노드에서 나가는 팬아웃·같은 노드로 드는 합류는 꺾이는 자리가 겹쳐 보여도 교차가 아니다.
+ * ⚠ `segmentsCross` 가 이미 접촉을 안 세므로 이 제외가 실제로 막는 것은 **내부 진성 교차**뿐이다(B-146) —
+ * 그쪽은 `sharedEndpointCrossingPairsOf` 가 따로 센다. 이 제외를 풀지 말 것: 위에 라우팅 채택 게이트가 선다.
  */
 export declare function edgeCrossCount(edge: GeometryEdge, others: readonly GeometryEdge[]): number;
 /**
@@ -625,6 +688,18 @@ export declare function crossingCost(edge: GeometryEdge, others: readonly Geomet
 export declare function sceneCrossingCost(scene: GeometryScene): number;
 /** 장면 전체의 교차 쌍(id 오름차순 정렬, 결정론적). 길이가 곧 교차 수다. */
 export declare function edgeCrossingPairsOf(scene: GeometryScene): Array<[string, string]>;
+/**
+ * **끝점을 공유하는** 쌍의 진성 교차(B-146 ⓐ′ · 관측 전용) — `edgeCrossingPairsOf` 가 통째로 빼는 쌍 중
+ * 간선 **내부**에서 가로지르는 것. 둘을 합치면 장면의 진성 교차 전량이고 겹치는 쌍은 없다.
+ *
+ * 표본 98 에서 사람이 고친 교차가 이것이었다 — 게이트웨이 → 오류 노드 갈래와 오류 노드 → 상류 되돌아감이
+ * 오류 노드를 함께 끝점으로 가져 판정·계수가 모두 침묵했다(사람은 두 간선의 출입 변을 맞바꿨다).
+ * 🔴 **라우팅·채택 게이트의 입력이 아니다** — `edgeCrossCount` 의 제외를 바꾸면 그 위의 우회 채택·교차 보정과
+ * `--check` 기대값이 함께 움직인다. 이 함수는 보이게만 한다.
+ * ⚠ 「공유」는 각 어댑터의 `endpoints` 를 따른다 — 데이터 연관은 두 어댑터가 다르게 담는다(저장본 = 저장소만 ·
+ * 캔버스 = 활동 + 저장소).
+ */
+export declare function sharedEndpointCrossingPairsOf(scene: GeometryScene): Array<[string, string]>;
 /**
  * 교차 쌍을 **에이전트가 판단할 수 있는 재료로 분해**한다(B-43). 개수만으로는 "이 정도가 정상인가" 를
  * 가릴 수 없고, 지금까지 세 회차에서 같은 마찰이 났다(표본 34·36 은 재료 없이도 결론이 맞았으나
@@ -677,6 +752,16 @@ export declare function shapesUnderLabel(label: GeometryLabel, scene: GeometrySc
     shape: string;
     depth: number;
 }>;
+/**
+ * **B-91 ⓐ — 풀 × 풀 겹침 쌍.** 판정(`pool-overlap`)과 resolver 채택 게이트(B-174 ⓑ — ⓒ 막힌 열)가 **같은 정의**를 쓴다.
+ *
+ * 🔴 **양을 재지 않는다 — 겹치는가만 본다**(오탐 기저 0/97). 접촉(경계가 닿는 것)은 겹침이 아니다.
+ * `contained` = 한쪽이 다른 쪽을 통째로 덮었다.
+ */
+export declare function poolOverlapsOf(shapes: readonly Pick<GeometryShape, 'id' | 'type' | 'x' | 'y' | 'width' | 'height'>[]): Array<{
+    pools: [string, string];
+    contained: boolean;
+}>;
 /**
  * 기하 판정 (순수). 결과는 **결정론적 순서**로 정렬해 반환한다 — 전후 diff·골든 비교·회귀
  * 고정이 전부 순서에 의존한다.
@@ -686,7 +771,7 @@ export declare function shapesUnderLabel(label: GeometryLabel, scene: GeometrySc
  */
 export interface AuditGeometryOptions {
     /**
-     * **관측 전용 kind** 까지 낸다(현재 = `edge-along-group-boundary` · `label-over-shape`) — 판정 표면(배치 응답 · 문서 전체 ·
+     * **관측 전용 kind** 까지 낸다(현재 = `edge-along-group-boundary` · `label-over-shape` · `merge-before-predecessor` · `edge-crosses-own-endpoint` · `message-detours-own-pool-shape`) — 판정 표면(배치 응답 · 문서 전체 ·
      * GUI 패널)만 켠다. resolver 채택 게이트는 켜지 않는다(모듈 머리 주석 — 켜면 게이트 제약이 된다).
      */
     includeObservationOnly?: boolean;

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

@@ -0,0 +1,12 @@
+/** 주석 글자 폭 근사(12px) — 위 ①. */
+export declare function annotationTextWidth(text: string): number;
+/** `maxWidth`(여백을 뺀 글자 칸)에서 diagram-js 가 낼 줄들. */
+export declare function wrapAnnotationText(text: string, maxWidth: number, measure?: (text: string) => number): string[];
+/**
+ * 주석 상자 크기 — `texts` = 그 주석이 그려질 문구 전부(다국어 그룹 = 문서 언어마다 · 그 밖 = 평문 하나). 폭은 가장 긴
+ * 줄 + 1px(근사가 칸과 같으면 엄격 비교가 줄을 바꾼다) 을 상한까지, 넘으면 줄바꿈 수로 높이를 늘린다.
+ */
+export declare function annotationBoxSize(texts: readonly string[]): {
+    width: number;
+    height: number;
+};

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

@@ -9,6 +9,13 @@ export interface DocumentIndex {
     categoryOf(id: string): ElementCategory | undefined;
     /** 참여자에 속한 레인 id 목록 — **y순(위→아래)** 계약. lanes 재선언 diff 의 순서 비교 기준 */
     lanesOf(participantId: string): readonly string[];
+    /**
+     * 참여자에 속한 레인 id 목록 — **선언순**(laneSet 순서 = `describe` 가 내는 순서 · A-6). lanes 재선언은 이 순서도
+     * 받는다(B-153 — 선언순 ≠ y순 풀에서 `describe` 순서를 그대로 쓴 재선언이 거부됐다 · 레거시 레인 풀 19/50).
+     * 중첩 레인(`childLaneSet`)은 부모 뒤에 깊이 우선으로 잇는다(`lanesOf` 와 같은 집합).
+     * 선택 — 공개 타입이라 외부 구현을 깨지 않으려고 둔다(없으면 y순만 받는 종전 동작).
+     */
+    laneDeclarationOrderOf?(participantId: string): readonly string[];
     /** 플로우 노드가 속한 참여자 id (풀 없는 단일 프로세스 문서면 undefined) */
     participantOf(nodeId: string): string | undefined;
     /**

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

@@ -20,6 +20,9 @@ export interface ApplyBpmnOpsResult {
      *
      * **전후 diff 라 선재 결함은 담기지 않는다** — 남의 결함까지 돌려주면 에이전트가 그것을
      * 자기 배치 탓으로 읽고 무한 교정에 빠진다. 문서 전체 감사는 `auditBpmnGeometry`.
+     * 🔴 **예외 하나(B-219) — 이 배치가 앵커 대비 옮긴 주석이 가진 판정은 선재 키여도 담는다.** 판정 키에 위치가 없어
+     * 옮긴 주석이 같은 이름표 · 같은 주석 위에 남으면 「선재」로 걸러졌다 — 에이전트가 고치려고 옮긴 결과를 응답으로 못 봤다
+     * (원격 e92509 = 좌표를 손으로 쟀다 · fixture g12-12 = 두 번 연속 옮겼는데 둘 다 침묵). 그 관계는 이 배치가 만든 것이다.
      */
     findings: GeometryFinding[];
     /**
@@ -58,6 +61,17 @@ export interface ApplyBpmnOpsResult {
              */
             crossPoolMessages: number;
         };
+        /**
+         * **끝점을 공유하는** 간선끼리의 내부 진성 교차(B-146 ⓐ′) — 위 `edgeCrossings` 가 세지 않는 쌍이다(둘을 합치면
+         * 진성 교차 전량 · 겹치는 쌍 없음). 표본 98 에서 사람이 고친 교차가 이것이었다(게이트웨이 → 오류 노드 갈래 ×
+         * 오류 노드 → 상류 되돌아감). **관측 전용** — 보정 단계의 채택 게이트는 이 값을 보지 않는다.
+         */
+        sharedEndpointCrossings: {
+            before: number;
+            after: number;
+            /** 하강 뒤 남은 쌍(간선 id, 오름차순). */
+            pairs: Array<[string, string]>;
+        };
     };
 }
 /** 배치 적용 옵션 — 문서 밖에서만 알 수 있는 입력. */

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

@@ -10,8 +10,10 @@ import { default as SpaceTool } from 'diagram-js/lib/features/space-tool/SpaceTo
 import { Shape } from 'bpmn-js/lib/model/Types';
 import { SymbolicOp } from '../symbolicOp';
 import { ResolveIssue } from './issues';
+import { IrSequenceFlow } from '../../core/ir';
 import { BwlSide } from '../../core/hints';
 import { GeometryFinding, GeometryScene } from '../geometryAudit';
+import { LocaleWrite } from './localeTexts';
 /** resolver 가 대면하는 bpmn-js 서비스 표면 — 하강은 이 묶음만 사용한다. */
 export interface ResolverServices {
     modeling: Modeling;
@@ -29,7 +31,7 @@ export declare function resolverServicesOf(modeler: BpmnModelerLike): ResolverSe
  * ── B-40. 주석 자리 산출 — **add·update·기존 주석 보정 공유** ──
  *
  * 선언 방위 → 실제 좌표(풀 안 클램프 B-20 ⓑ · 앵커 회피 · 형제·간선 B-21 · 외부 라벨 B-24 ⓑ 회피 ·
- * 대안 방위 좌 우선 B-26 ⓐ). 힌트가 없으면 휴리스틱 자리를 같은 규칙으로 클램프·비낀다.
+ * 대안 방위 좌 우선 B-26 ⓐ). 힌트가 없는 주석은 add 가 `top` 으로 정규화해 넘긴다(B-2 — 종전 휴리스틱 분기는 걷어냈다).
  *
  * 종전에는 이 전부가 `annotation.add` 루프 안에 인라인이었고 `annotation.update` 는 **원시 계산**만 했다.
  * 표본 34 실측: 에이전트가 `annotation-over-label` 을 playbook §6 대로 `annotation.update` 로 고치려 하자
@@ -39,6 +41,14 @@ export declare function resolverServicesOf(modeler: BpmnModelerLike): ResolverSe
  * B-33 → B-34 ⓐ 가 그룹 경계 보정에서 닫은 것과 같은 클래스다.
  *
  * `selfId` = 이미 존재하는 주석(update)의 자기 도형·자기 연관을 장애물에서 뺀다 — 안 빼면 늘 "막힘"이다.
+ *
+ * **B-144** — 앵커가 레인 안이면 클램프 상자와 대안 방위의 `inside` 를 **앵커 레인 대역**으로 좁힌다(풀 클램프와
+ * 같은 규칙 — 레인 경계에서 클램프하고 앵커와 겹치면 오른쪽으로 비낀다). 🔴 **레인 안에 막히지 않은 자리가 없으면
+ * 종전대로 풀 안 빈 자리(이웃 레인일 수 있다)로 간다** — 레인 소속을 막힌 자리(겹침·관통)와 바꾸지 않는다
+ * (반사실: 레인 안 막힌 자리로 두는 안은 findings 가 는 케이스가 두 배였다 · 66 vs 33 / 방위 합성 6,208).
+ * 그것도 없으면 레인 안 선언 자리(막힘 — 판정기가 보고한다). ⚠ 잔존 대가 = 그 폴백의 이웃 레인 착지(방위 합성
+ * 0.6% — 사람 기저 0.4~1.0% 수준) · 레인 클램프가 오른쪽 비끼기를 더 자주 발동시켜 **가로로 풀 밖** 착지가
+ * 12 → 16(그 분기가 풀 우변을 넘는 것은 이 축 이전부터다 — 원장 B-144 곁).
  */
 export declare function annotationSpot(elementRegistry: ElementRegistry, anchor: {
     x: number;
@@ -49,19 +59,35 @@ export declare function annotationSpot(elementRegistry: ElementRegistry, anchor:
     width: number;
     height: number;
 }, box: Shape, opts: {
-    placement?: {
+    placement: {
         side: BwlSide;
         offset?: number | null;
-    } | null;
-    from?: {
-        x: number;
-        y: number;
     };
     selfId?: string;
 }): {
     x: number;
     y: number;
 };
+/**
+ * **B-168** — source 꼴 직접 끼우기 감지(하강 **전** 문서 기준). 키 = F id · 값 = 7단계까지 미룰 신규 유입(`A → X`) op.
+ * 조건 = X 로의 target 재배선이 없다 · X 가 F 의 옛 출발 A 에서 신규 유입을 받는다 · X 마다 첫 F 하나 · 그 신규 유입을
+ * 다른 op 가 참조하지 않는다(7단계 앞 단계 — 주석 연관 · 그룹 멤버 — 에서 아직 없다). 뒤 보정(`index.ts`)도 같은 판정을 쓴다.
+ */
+export declare function sourceFormInsertsOf(ops: readonly SymbolicOp[], oldSourceOf: (flowId: string) => string | undefined): Map<string, Extract<SymbolicOp, {
+    kind: 'sequenceFlow.add';
+}>>;
+/**
+ * **B-213** — 2단계 플로우 반복(탐욕 배치)에서 **합류를 놓지 못하게 미룰 출구** id. 다이아몬드 합류 M 으로 드는 출구
+ * s → M 중 **출발 s 가 M 의 다른 비루프 선행 q 에 닿고 q 가 s 보다 2 이상 깊은** 것이다 — 그 출구가 먼저 M 을 놓으면
+ * M 이 s 바로 다음 열에 서고 긴 갈래 끝 q 가 M 으로 거꾸로 든다(원격 반품 v1). 깊이 = 이 시퀀스들의 비루프 최장 경로
+ * (되돌아가는 간선 = DFS 스택 위로 가는 간선 · 뿌리 = 유입 없는 출발 → 배치 노드 → 나머지 출발 순). 선언 순서와 무관하다.
+ *
+ * 🔴 **좁힌 조건 둘 다 실측이 정했다**(원장 `B-213(N20)`) — ⓐ 깊이 차 1 은 미루지 않는다: 낙하(게이트웨이 열) ·
+ * `freeSpot` 비켜 놓기가 이미 받치는 자리인데 미루면 배치 경로가 바뀌어 fixture 3건이 나빠졌다(교차 66 → 73 등).
+ * ⓑ **s 가 q 에 닿을 때만** 미룬다: 갱신 배치에서 기존 노드는 깊이 0 으로 잡히는데 실제로는 오른쪽 멀리 있을 수 있어,
+ * 닿지 않는 기존 선행의 출구를 미루면 멀쩡하던 합류가 거꾸로 선다(합성 갱신 사례).
+ */
+export declare function diamondShortcutExitsOf(flows: readonly Pick<IrSequenceFlow, 'id' | 'source' | 'target'>[], nodeIds: readonly string[], isBatchNode: (id: string) => boolean): Set<string>;
 /**
  * 하강 중에야 드러나는 거부를 **구조화된 issue 로** 올린다 — `applyBpmnOps` 가 자유 문장 `lower-failed` 대신
  * 이 issue 를 그대로 낸다(LLM 교정 루프가 읽을 수 있게). 롤백은 다른 throw 와 같다(undo 에피소드가 되감는다).
@@ -70,11 +96,43 @@ export declare class LowerIssueError extends Error {
     readonly issue: ResolveIssue;
     constructor(issue: ResolveIssue);
 }
+/** B-119 ⓒ′ — 위 집합을 읽는다(주입한 `lower` 가 쓰지 않았으면 빈 집합). */
+export declare function labelLandingFlowIdsOf(services: object): ReadonlySet<string>;
+/** B-209 — 위 맵을 이 배치의 서비스 객체에 건다(`applyBpmnOps` 가 하강 직전에). */
+export declare function provideLowerLocaleTexts(services: object, writes: ReadonlyMap<string, LocaleWrite>): void;
+/**
+ * B-188 ⓑ — 이 배치의 7단계 행 이동(`node.update{band|lane}`)이 **떠난 자리**(이동 직전 bbox · id = 옮긴 노드). 그 자리를
+ * 감싸던 이어지지 않은 선의 ⊓ 를 `foldVacatedDetours` 가 접는다(관통 보정 1차 뒤). 넘기는 길은 B-119 ⓒ′ 와 같다.
+ */
+export interface VacatedBox {
+    id: string;
+    x: number;
+    y: number;
+    width: number;
+    height: number;
+}
+/** B-188 ⓑ — 위 목록을 읽는다(주입한 `lower` 가 쓰지 않았으면 빈 목록). */
+export declare function vacatedBoxesOf(services: object): readonly VacatedBox[];
+/** B-189 — 위 목록을 읽는다(주입한 `lower` 가 쓰지 않았으면 빈 집합). */
+export declare function ownEndpointRelaidIdsOf(services: object): ReadonlySet<string>;
+/** B-196 — 위 목록을 읽는다(주입한 `lower` 가 쓰지 않았으면 빈 집합). */
+export declare function leftPassedMessageIdsOf(services: object): ReadonlySet<string>;
 /** 검증 통과가 전제 — 참조 해소 실패는 여기서 프로그래밍 오류로 throw 되고 applyBpmnOps 가 롤백한다. */
 export declare function lowerOps(ops: readonly SymbolicOp[], services: ResolverServices): void;
 /** 주석 도형이 소유자로 등장할 수 있는 finding 의 소유 도형 id. */
 export declare function annotationOwnersOf(finding: GeometryFinding): readonly string[];
-export declare function repairIntroducedAnnotationOverlaps(services: Pick<ResolverServices, 'elementRegistry' | 'modeling'>, beforeKeys: ReadonlySet<string>, beforeShapeIds: ReadonlySet<string>): void;
+/**
+ * **B-219** — 이 배치가 **앵커 대비** 옮긴 주석(중심 2px 넘게 움직였고 앵커와 같은 델타로 함께 옮겨진 승객이 아닌 것).
+ * placement 이동 · 주석 보정(B-56) · 문구 변경의 상자 크기 변화가 여기 든다 — 그 주석이 지금 가진 판정은 이 배치가 만든
+ * 관계라 선재 키여도 응답에 싣는다. 앵커만 움직이고 주석이 제자리면 들지 않는다(그 주석의 관계는 그대로다).
+ * `anchorOf` = 연관선 반대 끝(없으면 앵커 비교 없이 이동만 본다). 앵커가 연결이면 가운데 waypoint 로 잰다.
+ */
+export declare function repositionedAnnotationIdsOf(before: GeometryScene, after: GeometryScene, anchorOf: (annotationId: string) => string | undefined): Set<string>;
+export declare function repairIntroducedAnnotationOverlaps(services: Pick<ResolverServices, 'elementRegistry' | 'modeling'>, beforeKeys: ReadonlySet<string>, beforeShapeIds: ReadonlySet<string>, 
+/** B-210 — 1차 관통 보정이 미룬 간선(B-142). 그 간선이 지나는 **새** 주석도 이 패스가 맡는다. */
+deferredEdgeIds?: ReadonlySet<string>, 
+/** B-219 — 이 배치의 `annotation.update` 가 placement 로 둔 주석. 이것만 옮겨 본 자리의 선재 키 판정을 종전대로 거른다. */
+placedAnnotationIds?: ReadonlySet<string>): void;
 /**
  * **B-91 예방** — 이 배치가 만든 **풀 × 풀 겹침**을, 오른쪽 이웃을 밀어 해소한다.
  *
@@ -97,13 +155,22 @@ export declare function repairIntroducedAnnotationOverlaps(services: Pick<Resolv
  */
 export declare function repairIntroducedPoolOverlaps(services: Pick<ResolverServices, 'elementRegistry' | 'modeling'>, beforeKeys: ReadonlySet<string>, sceneBefore: GeometryScene): void;
 /**
- * 🔴 **B-120 — 문서 전체가 한 우변에 맞춰져 있던 풀들을 배치 뒤에도 한 우변으로 되돌린다.**
+ * 🔴 **B-120 — 배치 전 한 우변에 맞춰져 있던 풀 무리를 배치 뒤에도 한 우변으로 되돌린다.**
  *
  * 증언(표본 86) = *"레인 끝부분이 걸린건 위쪽의 세개의 레인이 정렬되있어서야"*. 배치는 두 풀만 늘렸고 **늘리는 경로가 둘인데
  * 기준이 다르다**(`shiftGroups` = 내용 우단 +150 · `createSpace` = 밀기 폭) — 한 우변이 셋으로 갈렸다.
- * 🔴 **판별자는 「양」이 아니라 「대상」이다** — 우변이 같은 풀이 몇 개인가가 아니라 **문서 전체가 한 우변이었나**. N20 전이 =
- * 전체 정렬 무리는 사람이 **3/3 반응** · 부분 무리는 **0/5**. 부분 일치는 도구 문서에서도 우연히 생긴다(저장본 부분 무리 19/69 ↔
- * 전체 정렬 0/69). ⇒ 발동은 **배치 전 모든 풀(≥2)의 우변이 같을 때만**이다.
+ *
+ * 무리 = 배치 전 우변이 허용 오차 안에서 같은 풀들(크기 ≥2). 범위는 두 단계로 넓어졌다:
+ * - **ⓐ 문서 전체가 한 우변**(2026-09-28) — N20 전이 = 전체 정렬 무리는 사람이 **3/3 반응** · 부분 무리는 **0/5**.
+ * - **ⓓ 부분 무리 — 블랙박스 멤버가 없을 때만**(2026-10-06 · 표본 99) — 증언 = *"끝부분이 어긋난건 보였는데 … 맞추는게
+ *   맞아보이긴해"*. N20 = 사람 문서(풀 ≥2) 98 중 **부분 무리 문서 25** · ⓐ 뒤 현행이 깨는 무리는 **부분 무리뿐**(계보 7/23) ·
+ *   합성 재고(블랙박스 없는 부분 무리 1,899) = 깨짐 376 → 복원 **312** · 판정 키 · 교차 · 끝점 공유 교차 · 흐름 간선 변화 **0**.
+ *   🔴 **블랙박스 멤버가 있는 부분 무리는 뺀다** — 계보 반사실에서 블랙박스 풀이 **570 → 2155** 로 늘고 그 우변에 붙던 메시지가
+ *   다시 그려져 끝점 공유 교차가 **1 → 3** 이 됐다(그 회차의 사람은 맞추지 않았다). ⚠ 아래 가드 ②는 그 메시지를 못 막았다 —
+ *   이 패스 시점엔 우변에 안 붙어 있었고 뒤 라우팅이 붙인다(추정). ⚠ 판별은 **이 패스 시점**의 모델이다(배치가 빈 풀에 노드를
+ *   넣었으면 더는 블랙박스가 아니다).
+ * ⚠ 부분 일치는 도구 문서에서도 우연히 생긴다(저장본 19/69) — 그런 무리는 대개 처음부터 같은 폭이라 되돌려도 원래 모양이다
+ * (계보 102 재하강에서 기하가 바뀐 문서 = 표본 99 하나).
  *
  * **목표 우변 = max(base 우변, 각 풀의 산출 내용 우단 + 150)** — 사람 값이 있는 회차(표본 85 = 2338)를 **정확히** 낸 규칙은
  * 이것 하나였다(무리 최댓값 · 풀별 base 여백 보존은 둘 다 2473). base 우변 아래로는 **안 줄인다**.