@g1cloud/bpmn-modeler-next 5.0.0-alpha.65 → 5.0.0-alpha.67

package/dist/agent/geometryAudit.d.ts

@@ -406,6 +406,39 @@ export type GeometryFinding =
     kind: 'pool-name-over-label';
     pool: string;
     label: string;
+}
+/**
+ * 🔴 **풀이 다른 풀과 겹친다 — 「가려짐」축**(B-91 · 표본 67). 한 풀이 다른 풀 위에 얹히면
+ * 아래 풀의 내용이 배경에 묻혀 **읽을 수 없다**. 근인은 배치의 **비대칭**이다 — 풀이 세로로
+ * 자랄 때는 `pushRootBelow` 가 아래를 밀지만 **가로로 자랄 때는 오른쪽을 안 민다**.
+ *
+ * ⚠ **관통 축으로는 못 잡는다** — `auditTargetsOf` 가 컨테이너를 전부 빼므로(`!s.container`)
+ * 풀은 애초에 관통·겹침 판정의 대상이 아니다. 그래서 표본 67 에서 POS 풀이 레전드 풀을
+ * **100% 덮었는데 문서 전체 판정이 0건**이었고, 사용자가 풀 3개를 손으로 드래그해 뺐다
+ * (증언: *"레전드 카드가 도형에 가려서 밖으로 뺀거야"*) — 🔁 **조용한 결함**(B-51·B-74 클래스).
+ *
+ * 🔴 **양을 재지 않는다 — 겹치는가만 본다.** 오탐 기저가 **0/97**(실무 0/26 · 저장본 0/74)이라
+ * 임계가 필요 없다. `contained` = 한쪽이 다른 쪽을 통째로 덮었다(가림이 가장 심한 형상).
+ */
+ | {
+    kind: 'pool-overlap';
+    pools: [string, string];
+    contained: boolean;
+}
+/**
+ * 🔴 **간선이 남의 서브프로세스를 관통한다**(B-91 ⓑ). `edge-crosses-shape` 가 이것을 못 보는
+ * 이유는 같다 — subProcess 가 `container` 라 대상에서 빠진다. 그런데 **사람 눈에는 도형**이고,
+ * 표본 67 에서 신규 간선 3건이 레전드 카드 안의 subProcess 를 가로질렀다.
+ *
+ * ⚠ **컨테이너 종류를 가르는 것이 판별자다**(🔁 B-65 「양이 안 가르면 대상을 갈라라」) —
+ * participant·lane·group 관통은 **정상 형상**이라 같이 잡으면 저장본에서만 **718건**이 터진다
+ * (실측: Participant 410 · Group 210 · Lane 98). subProcess 만 **0/97** 이다.
+ * ⚠ **collapsed 여부로는 못 가른다** — 표본 67 의 그 subProcess 들은 **expanded** 였다.
+ */
+ | {
+    kind: 'edge-crosses-subprocess';
+    edge: string;
+    subProcess: string;
 };
 /** 발견을 전후 비교(배치가 새로 만든 것 가려내기)할 수 있게 하는 안정 키. */
 export declare function geometryFindingKey(finding: GeometryFinding): string;

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

@@ -9,7 +9,7 @@ import { default as BpmnReplace } from 'bpmn-js/lib/features/replace/BpmnReplace
 import { Shape } from 'bpmn-js/lib/model/Types';
 import { SymbolicOp } from '../symbolicOp';
 import { BwlSide } from '../../core/hints';
-import { GeometryFinding } from '../geometryAudit';
+import { GeometryFinding, GeometryScene } from '../geometryAudit';
 /** resolver 가 대면하는 bpmn-js 서비스 표면 — 하강은 이 묶음만 사용한다. */
 export interface ResolverServices {
     modeling: Modeling;
@@ -63,3 +63,43 @@ export declare function lowerOps(ops: readonly SymbolicOp[], services: ResolverS
 /** 주석 도형이 소유자로 등장할 수 있는 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-91 예방** — 이 배치가 만든 **풀 × 풀 겹침**을, 오른쪽 이웃을 밀어 해소한다.
+ *
+ * B-91 은 탐지만 했다(`pool-overlap` finding). 겹침 자체는 계속 생겼고 사람이 매번 손으로 뺐다 —
+ * 🔴 **표본 68 에서 재발이 3점 검정으로 확정돼**(base 0 / 산출 2 / 사람 최종 0) 예방 축 트리거가 발동했다.
+ *
+ * ⚠ **사람과 방향이 늘 같지는 않다** — 표본 67 은 겹친 풀을 **위로** 뺐고 표본 68 은 **옆 카드를 오른쪽으로**
+ * 옮겼다. 이 패스는 후자만 한다. 겹침은 막되 **사람과 다른 그림이 될 수 있다**는 것이 등록된 대가다.
+ *
+ * 🔴 **동반 범위는 「배치 전」 기하 포함으로 정한다 — 「배치 후」로 정하면 오염된다.** 표본 68 실측:
+ * 왼쪽 카드에서 **밀려 나간 노드 3개**(B-83 ⓑ 의 그 이탈)가 배치 후에는 **오른쪽 카드 상자 안**에 들어가
+ * 있어, 후 기준으로 카드를 모으면 밀 대상이 14 → **17** 로 부풀고 **남의 노드를 함께 밀어 버린다**.
+ * (루트 요소만 옮기므로 실제 이동에서는 걸러지지만, **폐포를 잇는 근거**가 오염되면 카드 판정 자체가 틀린다.)
+ *
+ * 🔁 **「앞 단계의 판단이 뒤 단계가 바꾼 전제 위에 남는다」의 거울상** — 여기서는 *뒤* 단계가 앞 상태를
+ * 근거로 삼아야 옳다(B-51·B-58·B-71·B-88 클래스와 반대 방향).
+ *
+ * **밀 거리 = 배치 전 틈의 복원**이다(고정 상수가 아니다 — 문서마다 카드 간격이 다르다). 표본 68 실측 =
+ * 틈 **60px** · 겹침 308·180 ⇒ dx **368**(사람은 +340 으로 틈 32 를 수용했다 — 같은 방향 28px 차).
+ */
+export declare function repairIntroducedPoolOverlaps(services: Pick<ResolverServices, 'elementRegistry' | 'modeling'>, beforeKeys: ReadonlySet<string>, sceneBefore: GeometryScene): void;
+/**
+ * **B-83 ⓐ** — 기존 그룹 상자가 **크기 변화**를 따라가지 못하는 것을 고친다.
+ *
+ * 표본 67 이 진단을 정밀화했다 — *"안 따라간다"* 가 아니라 **「크기 변화를 못 따라간다」**다(위치 이동은
+ * 이미 따라간다). 표본 68 에서 **증언 1순위**로 올라왔고 사람이 상자를 직접 키웠다(Δw+348 Δh+110).
+ *
+ * 🔴 **수단은 「재산출」이 아니라 「여백 보존」이다.** 5.7 패스(B-51)는 `groupBoundsOf`(멤버 bbox + PAD 40)로
+ * 다시 그리는데, 그 수단을 사람 그룹에 걸면 **36/36 이 전부 움직인다**(10px 이내 **0** · 중앙 **30px** ·
+ * 최대 **150px**) — 사람이 그린 여백이 상수 40 으로 교체되기 때문이다. 그래서 여기서는 **배치 전 여백을
+ * 네 변마다 그대로 유지**한다. 절대식이라 **멱등**이고, 상자가 이미 이동한 경우에도 이중 적용되지 않는다.
+ *
+ * 🔴 **멤버십은 「배치 전 기하 포함」으로 대신한다** — 사람 문서의 그룹은 **100% 가 `bwl:members` 미선언**
+ * 이라(B-83 N20 · 36/36) 5.7 의 `if (!members.length) continue` 게이트에서 통째로 빠진다. ⚠ **`members` 를
+ * 선언해 주는 것은 수단이 아니다** — 선언하는 순간 사람이 그린 상자가 멤버 bbox 로 **교체**된다.
+ *
+ * ⚠ **`repairIntroducedPoolOverlaps` 뒤여야 한다** — 키울 자리를 그 패스가 만든다(표본 68 실측: 자리 없이
+ * +368 키우면 이웃 상자 좌단을 **348px 침범**한다). 사람도 **둘 다** 했다(상자 +348 · 이웃 카드 +340).
+ */
+export declare function repairIntroducedGroupGrowth(services: Pick<ResolverServices, 'elementRegistry' | 'modeling'>, beforeKeys: ReadonlySet<string>, sceneBefore: GeometryScene): void;