@g1cloud/bpmn-modeler-next 5.0.0-beta.11 → 5.0.0-beta.110

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,45 @@ 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-243** — 이미 놓인 주석 하나의 자리를 **지금 장면**에서 다시 산출한다(중심 좌표). 반대 중첩 보정이 이 배치 주석에 막힌
+ * 채널을 쓸 때 부른다(`routeRepair` `BatchAnnotationRespot`) — 그 경로를 먼저 깔고 부르면 자리 산출이 그 경로를 피한다.
+ * 앵커 = 연관선의 반대 끝 · 방위 = placement 힌트(없으면 앵커 대비 위/아래) · 클램프 = 앵커의 풀. 앵커가 연결이거나 풀을
+ * 못 찾으면 `undefined`(호출자가 종전 계획을 쓴다).
+ */
+export declare function respotAnnotation(elementRegistry: ElementRegistry, annotationId: string): {
+    x: number;
+    y: number;
+} | undefined;
+/**
+ * **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 +106,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 +165,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 우변 아래로는 **안 줄인다**.
@@ -124,6 +201,31 @@ export declare function repairIntroducedPoolOverlaps(services: Pick<ResolverServ
  * 전제 위에 남는다」 — B-51·B-58·B-71·B-88). 라우팅·라벨 보정보다도 앞이라 그쪽은 새 경계를 본다.
  */
 export declare function restorePoolRightAlignment(services: Pick<ResolverServices, 'elementRegistry' | 'modeling'>, sceneBefore: GeometryScene): void;
+/**
+ * 🔴 **B-228 — 이 배치가 만든 내용 풀이 시드 폭에 머물러 오른쪽이 비면 「내용 우단 + 150」 으로 줄인다(바닥 1200 · 배치 맨 끝).**
+ *
+ * 시드 폭 `max(1200, 노드 수 × 160 + 300)`(1단계 풀 생성)은 노드마다 한 열을 잡는다 — band 행이 열을 나눠 쓰면 과대인데, 배치의
+ * 폭 경로는 늘리기만 한다(`shiftGroups` 내용 + 150 · `needRight` 짝 열 + 100 · `refitPoolsToPartnerColumns`) · 위 B-120 은 배치 전
+ * 풀만 본다. 원격 Codex 새 문서 넷 = 주 풀 여백 869 ~ 1,504(최종 폭 = 시드 폭). N20 = 사람 실무 26 의 주 풀 여백 중앙 100 · 우변
+ * 정렬 없이 500 이상 **0/26** ↔ 우리 새 문서 33 중 **22** · 사람은 그 여백을 줄였다(원격 8 = 두 내용 풀 우변을 맞추며 · 1/1).
+ *
+ * ⚠ **시드는 건드리지 않는다**(B-3 ⓐⓑ — 시드 폭을 전 배치에 바꿨다가 `--check` 6지표 악화). 배치 끝에서 **줄이기만** 한다.
+ * 대상 = 이 배치가 만든 풀(배치 전 장면에 없음) 중 내용 있는 풀 — 블랙박스 폭은 짝 열이 정한다(B-25 ⓑ1). 배치 전 풀은 확정 7 ③
+ * 그대로 안 줄인다. 내용 우단 = 자손 도형(레인 제외) · 그 외부 라벨 · 풀 안 간선의 웨이포인트와 라벨 + 🔴 **풀 영역에 겹치는 남의 도형 ·
+ * 라벨**(메시지 라벨 등 — 새 경계선이 아무것도 가로지르지 않게 · 아래 「맨 끝」 의 대가를 막는다). 레인은 `resizePoolWidthOf`
+ * 가 함께 줄인다(B-115). 연결은 다시 그리지 않고(`layout: false`), 풀에 도킹한 연결 끝점이 새 우변에 걸리면 그 풀은 건너뛴다.
+ * ⚠ **같은 배치 풀끼리 우변을 맞추지는 않는다** — 맞추려고 넓힌 풀이 뒤 라우팅의 입력을 바꿨다(시제품 b · 코퍼스 1 배치의 메시지
+ * 경로가 갈렸다 — 이번엔 이득이었지만 예측할 수 없다). 시제품 a = 코퍼스 326 배치 중 163 이 풀 · 레인 폭만 바뀌고 그 밖
+ * 기하 · 판정 · 교차 · DI 밖 XML 변화 0 · 호스트 `--check` 1047/1047.
+ *
+ * 🔴 **바닥 1200 아래로는 안 줄인다** — 시제품 a(바닥 없음)는 바닥값에 서 있던 작은 풀까지 줄여 ① 우연히 한 우변이던 풀 무리를
+ * 갈라 다음 배치의 B-120 이 그 무리를 못 보게 했고(재배선 회귀선 1300 ≠ 846) ② 골든 DI 를 바꿨다. K3 의 증거는 「노드 수 × 160」
+ * 과대분이지 바닥값이 아니다.
+ * 🔴 **배치 맨 끝이다**(B-99 `followMovedEdgeLabels` 뒤) — B-120 자리(라우팅 · 주석 보정 앞)에 두면 뒤 주석 보정이 주석을 새 우변 밖으로
+ * 옮겼다(회귀선 둘 · `shape-outside-container`). 끝에서 재면 내용이 최종이다. 줄이는 띠는 내용 우단 + 150 밖이고 연결을 다시 그리지
+ * 않으므로 하류가 없다(B-120 처럼 앞에 둘 이유 = 「뒤 패스가 새 경계를 본다」 가 넓히지 않는 이 패스엔 없다).
+ */
+export declare function trimBatchContentPools(services: Pick<ResolverServices, 'elementRegistry' | 'modeling'>, sceneBefore: GeometryScene): void;
 /**
  * **B-83 ⓐ** — 기존 그룹 상자가 **크기 변화**를 따라가지 못하는 것을 고친다.
  *