@g1cloud/bpmn-modeler-next 5.0.0-beta.71 → 5.0.0-beta.73

package/dist/agent/geometryAudit.d.ts

@@ -514,6 +514,27 @@ 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;
 };
 /** 발견을 전후 비교(배치가 새로 만든 것 가려내기)할 수 있게 하는 안정 키. */
 export declare function geometryFindingKey(finding: GeometryFinding): string;
@@ -710,7 +731,7 @@ export declare function poolOverlapsOf(shapes: readonly Pick<GeometryShape, 'id'
  */
 export interface AuditGeometryOptions {
     /**
-     * **관측 전용 kind** 까지 낸다(현재 = `edge-along-group-boundary` · `label-over-shape`) — 판정 표면(배치 응답 · 문서 전체 ·
+     * **관측 전용 kind** 까지 낸다(현재 = `edge-along-group-boundary` · `label-over-shape` · `merge-before-predecessor`) — 판정 표면(배치 응답 · 문서 전체 ·
      * GUI 패널)만 켠다. resolver 채택 게이트는 켜지 않는다(모듈 머리 주석 — 켜면 게이트 제약이 된다).
      */
     includeObservationOnly?: boolean;

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

@@ -10,6 +10,7 @@ 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';
@@ -79,6 +80,18 @@ export declare function annotationSpot(elementRegistry: ElementRegistry, anchor:
 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 에피소드가 되감는다).

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

@@ -67,6 +67,10 @@ export declare function planMergedSegmentDetour(a: GeometryPoint, b: GeometryPoi
  * 폭 안). 해법은 우회가 아니라 **중간 구간을 장애물 옆으로 옮기는 것** — 점 수는 그대로 4 다.
  * 두 후보(장애물 왼쪽/오른쪽 또는 위/아래)를 돌려주고 채택은 호출자가 판정기로 한다.
  *
+ * 🔴 **B-214 — 꺾임점이 장애물 밖이어도 이 후보를 구간 우회보다 먼저 본다**(`planEdgeRepair`). 종전엔 구간 우회가
+ * `null` 일 때만 도는 폴백이라, 라우터의 Z 가 가운데 x 로 도형 하나를 지나면 구간 우회가 줄 중간 덧댐(S자 8점)을
+ * 붙였다 — 사람 문서의 줄 중간 덧댐은 **0/4,244 흐름**이고 사람은 도구 덧댐 11 중 7 을 폈다.
+ *
  * `null` = 4점 직각 경로가 아니다.
  */
 export declare function planMiddleSegmentShifts(waypoints: readonly GeometryPoint[], rect: GeometryShape, margin?: number): [GeometryPoint[], GeometryPoint[]] | null;
@@ -93,6 +97,16 @@ export declare function forwardThreePointCandidates(edge: GeometryEdge, shapes:
  * 사람 문서 0/1040 · 사람은 6/7 을 고쳤다). 위 전례는 목표 열 ≠ 출발 열이었다 — 같은 열이면 ㄷ 우회(B-9 ②)로 넘긴다.
  */
 export declare function farSideChannelCandidates(edge: GeometryEdge, shapes: readonly GeometryShape[]): GeometryPoint[][];
+/** B-214. 다른 흐름의 화살표 끝에서 이 거리 안을 닿거나 건너면 「화살표 끝 곁」이다(덧댐 · 이동의 장애물 여백과 같은 축척). */
+export declare const ARROW_TIP_CLEARANCE = 25;
+/**
+ * B-214. 이 경로가 **다른 흐름의 화살표 끝 곁**(마지막 구간 위 · 끝점에서 `ARROW_TIP_CLEARANCE` 안)을 닿거나 건너는 흐름 수.
+ * 같은 목표로 드는 흐름은 뺀다 — 합류는 끝에서 모이는 것이 정상이다.
+ *
+ * 판정 kind 가 아니다 — 관통이 같은 후보 사이를 가르는 **순서 기준**으로만 쓴다(정방향 본선에서 장애물 왼쪽 = 본선이
+ * 들어오는 쪽이라, 고정 순서 [왼쪽, 오른쪽] 은 들어오는 화살표 끝 20px 에 선다 — 원격 C1 사전 실행 · 합성).
+ */
+export declare function arrowTipNearCount(points: readonly GeometryPoint[], edge: GeometryEdge, others: readonly GeometryEdge[]): number;
 /**
  * 한 간선의 관통을 없애는 웨이포인트를 찾는다(순수). 못 찾으면 `null`.
  *