@g1cloud/bpmn-modeler-next 5.0.0-alpha.3 → 5.0.0-alpha.5

package/dist/agent/agentBatch.d.ts

@@ -1,6 +1,7 @@
 import { BpmnDocumentModelerLike } from '../core/modelerLike';
 import { SymbolicOp } from './symbolicOp';
 import { ResolveIssue } from './resolver';
+import { GeometryFinding } from './geometryAudit';
 /** op 출처 — 감사·정책 분기용. `gui` = 호스트 채팅 패널, `rest` = 외부 브리지. */
 export type BpmnOpOrigin = 'agent' | 'gui' | 'rest';
 export interface BpmnOpBatch {
@@ -29,10 +30,17 @@ export declare function buildBpmnOpBatch(documentId: string, baseVersion: number
  *  - `conflict` → 에이전트가 read 부터 다시(재-ground 후 재생성). op 재전송은 무의미
  *  - `rejected` → 어휘·참조 문제라 op 를 고쳐 재전송
  */
-export type ApplyBatchOutcome = {
+export type ApplyBatchOutcome = 
+/**
+ * `findings` = 이 배치가 **새로 만든** 기하 결함(B-9). 거부가 아니라 품질 소견이라
+ * `rejected` 로 가지 않는다 — 문서는 이미 적용됐고 고칠지는 읽는 쪽이 정한다.
+ * 선재 결함은 담기지 않는다(하강 전후 diff). 문서 전체 감사는 `auditBpmnGeometry`.
+ */
+{
     status: 'applied';
     version: number;
     xml: string;
+    findings: GeometryFinding[];
 } | {
     status: 'conflict';
     baseVersion: number;

package/dist/agent/geometryAudit.d.ts

@@ -0,0 +1,87 @@
+import { default as ElementRegistry } from 'diagram-js/lib/core/ElementRegistry';
+import { ModdleElement, ParseWarning } from '../adapter/xml';
+export interface GeometryPoint {
+    x: number;
+    y: number;
+}
+export interface GeometryShape {
+    id: string;
+    /** bpmn 타입(`bpmn:Task` 등) — 판정 제외 규칙과 보고 맥락에 쓴다. */
+    type: string;
+    x: number;
+    y: number;
+    width: number;
+    height: number;
+    /** 다른 요소를 담는 도형(풀·레인·그룹·확장 서브프로세스) — 판정 대상에서 제외된다. */
+    container: boolean;
+    /** 경계 이벤트처럼 **호스트에 붙는 것이 정상**인 도형 — 겹침 판정에서 제외된다. */
+    attached: boolean;
+}
+export interface GeometryEdge {
+    id: string;
+    type: string;
+    waypoints: GeometryPoint[];
+    /** 이 간선이 자기 끝점으로 삼는 도형 id 들 — 그 도형과의 교차는 도킹이라 관통이 아니다. */
+    endpoints: readonly string[];
+}
+/** 판정기가 대면하는 최소 입력 — 좌표만 담는다(의미론 없음). */
+export interface GeometryScene {
+    shapes: GeometryShape[];
+    edges: GeometryEdge[];
+}
+export type GeometryFinding = 
+/**
+ * 간선이 자기 끝점이 아닌 도형을 관통한다. 원인은 대개 **라우팅**이지 힌트가 아니다 —
+ * bpmn-js 는 장애물을 회피하지 않으므로 두 노드가 같은 축에 놓이면 그 사이를 지나간다.
+ */
+{
+    kind: 'edge-crosses-shape';
+    edge: string;
+    shape: string;
+}
+/**
+ * 두 도형이 겹친다. `identical` = bounds 가 완전히 같다 — **사람 눈으로 볼 수 없는**
+ * 클래스라 따로 표시한다(하나가 다른 하나를 가린다).
+ */
+ | {
+    kind: 'shape-overlap';
+    shapes: [string, string];
+    identical: boolean;
+};
+/** 발견을 전후 비교(배치가 새로 만든 것 가려내기)할 수 있게 하는 안정 키. */
+export declare function geometryFindingKey(finding: GeometryFinding): string;
+/**
+ * 이 간선이 관통하는 도형들(자기 끝점 제외). 판정과 **우회 보정**(routeRepair)이 같은
+ * 술어를 써야 "고쳤다는데 판정은 그대로"가 나지 않는다.
+ *
+ * `targets` 는 컨테이너를 제외한 도형 목록 — 호출자가 한 번 걸러 넘긴다(반복 호출 비용).
+ */
+export declare function crossedShapesOf(edge: GeometryEdge, targets: readonly GeometryShape[]): GeometryShape[];
+/** 컨테이너를 뺀 판정 대상 도형 — 관통·겹침 양쪽의 공통 모집단. */
+export declare const auditTargetsOf: (scene: GeometryScene) => GeometryShape[];
+/**
+ * 기하 판정 (순수). 결과는 **결정론적 순서**로 정렬해 반환한다 — 전후 diff·골든 비교·회귀
+ * 고정이 전부 순서에 의존한다.
+ *
+ * 복잡도는 O(간선×구간×도형 + 도형²) 이고 공간 색인을 두지 않았다. 실측 규모(도형 23·간선 25)
+ * 에서 무시할 수준이고, 색인은 실제로 큰 문서가 관찰될 때 넣는다(조기 최적화 회피).
+ */
+export declare function auditGeometry(scene: GeometryScene): GeometryFinding[];
+/**
+ * moddle `definitions` → 장면. 입력은 `describeProcess` 와 같은 트리라 캔버스·헤드리스 양쪽
+ * 에서 같은 것을 준다(A-6 입력 계약 동형).
+ */
+export declare function sceneFromDefinitions(definitions: ModdleElement): GeometryScene;
+/** 저장 진실 기준 전수 판정 — 그 문서에 있는 **전부**(선재 결함 포함). */
+export declare function auditBpmnGeometry(definitions: ModdleElement): GeometryFinding[];
+export interface AuditBpmnGeometryXmlResult {
+    findings: GeometryFinding[];
+    warnings: ParseWarning[];
+}
+/** XML 문자열 입력 래퍼 (`describeProcessXml` 대칭) — 호스트가 저장본을 그대로 감사한다. */
+export declare function auditBpmnGeometryXml(xml: string): Promise<AuditBpmnGeometryXmlResult>;
+/**
+ * 하강 직후의 실제 상태. DI 는 `BpmnUpdater` 가 커맨드마다 동기화하지만, 하강 경로에서는
+ * **registry 가 1차 진실**이므로 그쪽을 읽는다(한 단계 덜 거친다).
+ */
+export declare function sceneFromRegistry(registry: ElementRegistry): GeometryScene;

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

@@ -10,6 +10,15 @@ export interface DocumentIndex {
     lanesOf(participantId: string): readonly string[];
     /** 플로우 노드가 속한 참여자 id (풀 없는 단일 프로세스 문서면 undefined) */
     participantOf(nodeId: string): string | undefined;
+    /**
+     * 연결의 현재 양 끝점 id — 끝점 재배선(`sequenceFlow.update` 의 source/target)에서
+     * **한쪽만 지정한 경우** 나머지 끝을 알아야 풀 정합을 검증할 수 있다.
+     * undefined = 그 id 가 문서에 없거나 연결이 아님. 끝점이 없는 연결은 필드가 undefined.
+     */
+    endpointsOf(connectionId: string): {
+        source?: string;
+        target?: string;
+    } | undefined;
 }
 /** elementRegistry 어댑터 — 하강 직전 실문서 상태를 대변한다. */
 export declare function buildRegistryIndex(registry: ElementRegistry): DocumentIndex;

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

@@ -1,14 +1,25 @@
 import { BpmnModelerLike } from '../../core/modelerLike';
 import { SymbolicOp } from '../symbolicOp';
 import { ResolveIssue } from './issues';
+import { GeometryFinding } from '../geometryAudit';
 import { lowerOps } from './lower';
 export type { ResolveIssue } from './issues';
 export type { DocumentIndex, ElementCategory } from './documentIndex';
 export { buildRegistryIndex } from './documentIndex';
 export { validateOps } from './validate';
 export { lowerOps, resolverServicesOf, type ResolverServices } from './lower';
+export { planEdgeRepair, planSegmentDetours, repairIntroducedCrossings } from './routeRepair';
 export interface ApplyBpmnOpsResult {
     ok: boolean;
     issues: ResolveIssue[];
+    /**
+     * 이 배치가 **새로 만든** 기하 결함(B-9). `issues` 와 채널이 다른 이유는 성격이 다르기
+     * 때문이다 — issue 는 "하강할 수 없다"(→ `ok: false` → 롤백)이고 finding 은 유효하게
+     * 적용된 뒤의 품질 소견이다. 여기 값이 있어도 `ok` 는 참이고 문서는 이미 바뀌었다.
+     *
+     * **전후 diff 라 선재 결함은 담기지 않는다** — 남의 결함까지 돌려주면 에이전트가 그것을
+     * 자기 배치 탓으로 읽고 무한 교정에 빠진다. 문서 전체 감사는 `auditBpmnGeometry`.
+     */
+    findings: GeometryFinding[];
 }
 export declare function applyBpmnOps(modeler: BpmnModelerLike, ops: readonly SymbolicOp[], lower?: typeof lowerOps): ApplyBpmnOpsResult;

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

@@ -0,0 +1,34 @@
+import { GeometryEdge, GeometryPoint, GeometryShape } from '../geometryAudit';
+import { ResolverServices } from './lower';
+/**
+ * 축 정렬 구간이 장애물을 **완전히 가로지를 때** 그것을 우회하는 4점을 만든다(순수).
+ *
+ * 반환은 `a`·`b` **사이에 끼워 넣을** 점들이다(양 끝점은 포함하지 않는다). 두 방향(위/아래
+ * 또는 좌/우)을 모두 돌려주고 어느 쪽이 나은지는 호출자가 판정기로 고른다.
+ *
+ * `null` = 이 구간은 다루지 않는다:
+ *  - 사선 구간(축 정렬이 아님) — 우회 형상이 자명하지 않다
+ *  - 장애물이 구간 끝에 걸쳐 있음 — 끝점 도킹과 얽혀 잘못 건드리면 연결이 떨어져 보인다
+ */
+export declare function planSegmentDetours(a: GeometryPoint, b: GeometryPoint, rect: GeometryShape, margin?: number): [GeometryPoint[], GeometryPoint[]] | null;
+/**
+ * 한 간선의 관통을 없애는 웨이포인트를 찾는다(순수). 못 찾으면 `null`.
+ *
+ * 장애물을 하나씩 처리하며 **매번 두 방향을 다 재보고 관통이 더 적은 쪽**을 고른다.
+ * 부모 컨테이너 바운즈를 알면 그 밖으로 나가는 우회를 후순위로 민다 — 풀 밖으로 튀어나간
+ * 선은 관통이 없어도 사람 눈에 결함이다(판정기가 못 보는 축이라 여기서 챙긴다).
+ */
+export declare function planEdgeRepair(edge: GeometryEdge, targets: readonly GeometryShape[], container?: {
+    x: number;
+    y: number;
+    width: number;
+    height: number;
+}): GeometryPoint[] | null;
+/**
+ * 이 배치가 **새로 만든** 관통을 고친다(하강 직후, undo 에피소드 안에서 호출된다).
+ *
+ * `beforeKeys` = 하강 전 판정 키 집합. 거기 없던 관통만 대상이다(안전 성질 2).
+ * 완전히 해소되는 우회만 채택하고, 아니면 손대지 않는다(안전 성질 1) — 부분 개선을 받으면
+ * "고쳤는데 여전히 깨져 있다"가 되어 보고와 실물이 어긋난다.
+ */
+export declare function repairIntroducedCrossings(services: Pick<ResolverServices, 'elementRegistry' | 'modeling'>, beforeKeys: ReadonlySet<string>): void;

package/dist/agent/symbolicOp.d.ts

@@ -62,11 +62,23 @@ export type SymbolicOp =
     name?: string | null;
     lane?: string;
     type?: IrFlowNodeType;
-} | {
+}
+/**
+ * `source`/`target` = 끝점 재배선(B-6 승격). 한쪽만 줘도 되고(나머지 보존) 새 끝점은
+ * **같은 배치에서 추가한 노드여도 된다** — 중간 삽입("A 다음에 X 를 넣어라")이 이것 하나로
+ * 표현되어 `element.remove` + 재연결 배치를 강요하지 않는다. resolver 는 `modeling.reconnect`
+ * 로 하강하고 경로는 라우터가 재산출한다(기존 벤드포인트는 버린다).
+ *
+ * ⚠ `messageFlow.update` 에는 아직 없다 — 끝점 이동 수요가 sequenceFlow 로만 관측됐고
+ * 어휘는 additive-only(불변식 5)라 나중에 붙이는 비용이 같다.
+ */
+ | {
     kind: 'sequenceFlow.update';
     id: string;
     name?: string | null;
     condition?: IrFlowCondition | null;
+    source?: string;
+    target?: string;
 } | {
     kind: 'messageFlow.update';
     id: string;