@g1cloud/bpmn-modeler-next 5.0.0-alpha.54 → 5.0.0-alpha.55

package/dist/agent/geometryAudit.d.ts

@@ -127,6 +127,25 @@ export type GeometryFinding =
     axis: 'h' | 'v';
     length: number;
 }
+/**
+ * 두 간선이 같은 선 위를 **같은 방향·같은 종류**로 겹쳐 흐르는데 **끝점을 하나도 공유하지 않는다**
+ * (B-77) — 한 선으로 합쳐 보이는데 실은 만난 적이 없고, 공유 구간 끝에서 서로 다른 곳으로 갈라진다.
+ * 사용자 증언(재하강 대조, 2026-09-18): *"…본인확인수신에서 나온 선에 합류한다음에 결제실패 종료와
+ * 재고할당요청으로 들어가는데 이해가 안되는 상황"*.
+ *
+ * 🔴 **일곱 번째 표본의 "같은 방향이면 겹쳐도 좋다" 와 모순이 아니다 — 대상이 다르다.** 그때 수용한
+ * 것은 **진짜 합류·팬아웃**(소스 또는 타깃을 공유)이고 여기서 잡는 것은 **가짜 합류**다. 판별자는
+ * 길이가 아니라 **관계**다(🔁 「양이 안 가르면 대상을 갈라라」). 사람 실무 코퍼스 26종 기저 **0건**.
+ *
+ * ⚠ **양쪽 `source`·`target` 이 다 알려졌을 때만 판정한다** — 하나라도 모르면 합류와 가를 수 없으므로
+ * 침묵한다(오탐보다 침묵 · `throughpass` 와 같은 정책).
+ */
+ | {
+    kind: 'edge-overlap-unrelated';
+    edges: [string, string];
+    axis: 'h' | 'v';
+    length: number;
+}
 /**
  * 간선의 **라벨이 다른 간선과 공유하는 구간 위**에 놓여 어느 간선의 라벨인지 읽을 수 없다(확정 6
  * 다섯 번째 표본에서 사용자가 지목: "겹치는 선상에 있는 분기 문구가 어느 선에 해당하는지 애매").
@@ -417,8 +436,16 @@ export declare function axisSegmentsOf(edge: GeometryEdge): AxisSegment[];
 export declare function unreadableOverlapOf(a: GeometryEdge, b: GeometryEdge): {
     axis: 'h' | 'v';
     length: number;
-    kind: 'opposite' | 'mixed';
+    kind: 'opposite' | 'mixed' | 'unrelated';
 } | null;
+/**
+ * 읽을 수 없는 공선 중첩 **3종**(반대 방향 · 종류 다름 · 무관) 판정인가.
+ * 🔴 소비자가 `kind` 목록을 손으로 늘리게 두면 축을 하나 더할 때마다 **조건이 좁은 소비자**가 남는다
+ * (🔁 「기존 축의 조건이 좁았다」 — B-19·B-27·B-65·B-71 이 그 클래스다). 늘리는 자리는 여기 하나다.
+ */
+export declare function isEdgeOverlapFinding(f: GeometryFinding): f is Extract<GeometryFinding, {
+    kind: 'edge-overlap-opposite' | 'edge-overlap-mixed' | 'edge-overlap-unrelated';
+}>;
 /** 두 간선의 **반대 방향** 공선 중첩(종류 무관). `unreadableOverlapOf` 의 부분집합 — 기존 호출자 호환. */
 export declare function oppositeOverlapOf(a: GeometryEdge, b: GeometryEdge): {
     axis: 'h' | 'v';

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

@@ -8,7 +8,7 @@ export type { DocumentIndex, ElementCategory } from './documentIndex';
 export { buildRegistryIndex } from './documentIndex';
 export { validateOps } from './validate';
 export { lowerOps, resolverServicesOf, type ResolverServices } from './lower';
-export { forwardThreePointCandidates, planCrossPoolRoute, planEdgeRepair, planLabelLineClearance, planLabelPlacement, planMiddleSegmentShifts, planOppositeOverlapRepair, planSegmentDetours, planBackEdgeBoundaryClearance, repairIntroducedBoundaryHugging, repairIntroducedCrossings, repairIntroducedOppositeOverlaps, repairIntroducedSharedSegmentLabels, repairIntroducedLabelLines, repairIntroducedShapeLabelLines, planShapeLabelClearance, rerouteIntroducedCrossPoolEdges, } from './routeRepair';
+export { forwardThreePointCandidates, planCrossPoolRoute, planEdgeRepair, planLabelLineClearance, planLabelPlacement, planMiddleSegmentShifts, planOppositeOverlapRepair, planSegmentDetours, planBackEdgeBoundaryClearance, repairIntroducedBoundaryHugging, repairIntroducedCrossings, repairIntroducedFakeMerges, repairIntroducedOppositeOverlaps, repairIntroducedSharedSegmentLabels, repairIntroducedLabelLines, repairIntroducedShapeLabelLines, planShapeLabelClearance, rerouteIntroducedCrossPoolEdges, } from './routeRepair';
 export interface ApplyBpmnOpsResult {
     ok: boolean;
     issues: ResolveIssue[];

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

@@ -123,10 +123,24 @@ export declare function repairIntroducedBoundaryHugging(services: Pick<ResolverS
  */
 export declare function planOppositeOverlapRepair(edge: GeometryEdge, scene: GeometryScene): GeometryPoint[] | null;
 /**
- * 이 배치가 **새로 만든** 읽을 수 없는 중첩(반대 방향 · 종류 다름)을 고친다(하강 직후, undo 에피소드 안).
- * 짝 중 새 간선만 손댄다(안전 성질 2). 둘 다 새 것이면 **시퀀스 플로우부터** — 종류 다른 중첩에서 사용자는
- * 메시지플로우(중심 도킹)를 두고 시퀀스 쪽을 비켰다(표본 7).
+ * 이 간선의 **가짜 합류**(B-77)를 없애는 경로(순수). 못 찾으면 `null`.
+ *
+ * 🔴 **기존 중첩 보정(`planOppositeOverlapRepair`)과 예산이 다르고, 그래서 패스를 갈랐다.** 거기는
+ * 중첩 1 감소에 예산 1 인데 `crossingCost` 는 같은 종류 교차를 **2** 로 세므로(B-18 ⓑ) *"중첩 하나를
+ * 없애려고 같은 종류 교차 하나를 받는" 교환이 구조적으로 불가능*하다. 여기서는 그 교환을 허용한다 —
+ * 확정 6 이 *"간선 교차는 결함 축이 아니다"*(교차 5·10 반복 수용)인 반면 가짜 합류는 사용자가
+ * *"이해가 안되는 상황"* 으로 지목했다(재하강 대조 2026-09-18).
+ *
+ * ⚠ **이 예산을 기존 보정에 섞는 수단은 실측으로 기각됐다** — `--check` **46건**이 흔들리고
+ * g15-edit1 에서는 **없던 반대 중첩이 하나 생겼다**(🔁 「채택 조건에 대가가 없다」). 중간 단계마다
+ * 도는 보정에 예산을 주면 파급이 문서 전체로 간다. 🔴 **축이 다르면 조건도 다르다.**
+ */
+export declare function planFakeMergeRepair(edge: GeometryEdge, scene: GeometryScene): GeometryPoint[] | null;
+/**
+ * 이 배치가 **새로 만든** 가짜 합류(B-77)를 고친다 — 기존 중첩 보정과 **별도 패스**다(예산이 다르다).
+ * 짝 중 **새 간선만** 손댄다(안전 성질 2).
  */
+export declare function repairIntroducedFakeMerges(services: Pick<ResolverServices, 'elementRegistry' | 'modeling'>, beforeKeys: ReadonlySet<string>, beforeEdgeIds: ReadonlySet<string>): void;
 export declare function repairIntroducedOppositeOverlaps(services: Pick<ResolverServices, 'elementRegistry' | 'modeling'>, beforeKeys: ReadonlySet<string>, beforeEdgeIds: ReadonlySet<string>): void;
 /**
  * 라벨의 새 bounds(순수). 라벨이 공유 구간 위에 없으면 `null`(옮길 이유가 없다). 고유 구간을 못