@g1cloud/bpmn-modeler-next 5.0.0-alpha.9 → 5.0.0-alpha.91

package/dist/core/hints.d.ts

@@ -19,6 +19,26 @@ export interface BwlPlacement {
 }
 /** 밴드 지정 힌트 — 프로세스 내부 가로 밴드(주 흐름 / 보조 스트랜드) 순번 */
 export type BwlBand = number;
+/**
+ * 열 지목 힌트 — **그 노드보다 뒤(오른쪽) 열**에 둔다(표본 73 · 2026-09-22 신설).
+ *
+ * 🔴 **좌표가 아니라 관계다**(불변식 3) — `band` 가 행을 「가리키는 것」이지 y 가 아닌 것과 같은 성격이고,
+ * 실제 x 는 호스트가 산출한다(정렬·압축은 그 뒤에도 그대로 적용된다).
+ *
+ * **왜 필요한가** — 시퀀스 유입이 없는 수신 노드(메시지만 받는 노드)는 열을 정할 근거가 도구에 없다.
+ * 메시지 정렬(§4)은 송신자 열을 이어받고 블랙박스면 패스스루(B-36)로 **그 풀에 들어온** 메시지의
+ * 송신자 열을 쓰는데, 🔴 **보내기만 하는 블랙박스 풀에는 그 소스가 없다**(표본 73 실측: 그 문서의
+ * 시퀀스 유입 0 수신 노드 **5개 전부**가 이 형상). 그래서 시드가 고른 **풀 좌단**이 그대로 남고,
+ * 「시간축으로는 뒤쪽인 프로세스가 앞쪽에 놓여 선이 먼 거리를 돌아오는」 그림이 된다(사용자 증언).
+ *
+ * ⚠ **기계적 보완이 일반화되지 않는다** — 「형제 수신 노드의 열을 이어받는다」 같은 fallback 은 그
+ * 풀이 메시지를 **둘 이상 보낼 때만** 소스가 생기는데 실무 문서는 하나씩 보낸다(위 5/5). ⇒ 남는 길은
+ * **에이전트가 의미로 지목하는 것**이고 이 힌트가 그 채널이다.
+ *
+ * 값 = 기준 노드 id. ⚠ **참조가 깨져도 무해하다**(힌트 = 파생 정보 · 불변식 2) — 해소되지 않으면
+ * 힌트가 없는 것과 같이 동작한다.
+ */
+export type BwlAfterColumn = string;
 /** 풀 세로 순서 힌트 */
 export type BwlPoolOrder = number;
 /**
@@ -70,6 +90,14 @@ export declare const BWL_MODDLE_SCHEMA: {
             readonly isAttr: true;
             readonly type: "Integer";
         }];
+    }, {
+        readonly name: "AfterColumnHint";
+        readonly extends: readonly ["bpmn:FlowNode"];
+        readonly properties: readonly [{
+            readonly name: "afterColumn";
+            readonly isAttr: true;
+            readonly type: "String";
+        }];
     }, {
         readonly name: "PoolOrderHint";
         readonly extends: readonly ["bpmn:Participant"];

package/dist/core/ir.d.ts

@@ -6,13 +6,32 @@
  * 타입은 표준 BPMN 1:1 — AI 전용 타입 신설 금지(불변식 4).
  */
 /**
- * MVP 플로우 노드 타입 — 실운영 문서 실측 분포 기준(CLAUDE.md §A-1).
- * boundaryEvent · subProcess · intermediate 이벤트는 실파일 0건으로 후순위 강등
- * (스파이크 04·05 배치 실증이 있어 수요 발생 시 저비용 승격).
+ * **IR 이 표현하는 플로우 노드 타입** — `describeProcess` 가 노드로 내는 전량(read 집합).
+ *
+ * 🔴 `subProcess`·`boundaryEvent` 는 2026-09-21 승격됐다(B-87 ⓐ). 종전 강등 근거였던
+ * 「실파일 0건」은 **반품(고객측) 한 문서** 기준이었고, 코퍼스 26종 실측에서 무효화됐다
+ * (`subProcess` 22 · `boundaryEvent` 1 보유). 승격 전에는 그 타입이 든 문서에서 describe 가
+ * 끝점까지 지워 에이전트가 문서 절반을 못 봤다(실측 = `現行POS` 에서 메시지플로우 22건 소실).
+ *
+ * ⚠ **이 집합은 `ADDABLE_FLOW_NODE_TYPES` 의 상위집합이다** — 읽을 수 있다고 만들 수 있는 것이
+ * 아니다. 승격은 **불투명**이다: subProcess 를 노드로 내되 내부는 열지 않는다(내부 요소는
+ * `inside-container` 로 알린다). intermediate 계열(ⓑ)은 배치 실증이 없어 다음 단계다.
+ */
+export declare const IR_FLOW_NODE_TYPES: readonly ["startEvent", "endEvent", "userTask", "serviceTask", "task", "sendTask", "receiveTask", "exclusiveGateway", "parallelGateway", "subProcess", "boundaryEvent"];
+/**
+ * **op 가 새로 만들거나 타입 전환할 수 있는 집합**(write 집합) — 배치 하강이 실증된 것만.
+ *
+ * 🔴 read 와 갈라 둔 이유: 두 집합을 한 상수로 쓰면 승격이 `node.add`·`node.update` 어휘까지
+ * 함께 열어 **하강이 준비되지 않은 타입을 에이전트가 보낼 수 있게 된다**. `subProcess` 는 내부
+ * 좌표계를, `boundaryEvent` 는 `attachedToRef` 좌표 종속을 요구해 배치 축이 새로 생기는데
+ * (B-87 미측정 축 ①), 그 축은 이번 승격 범위 밖이다. 스키마 enum 이 1차 방어이고
+ * validator 의 `node-type-unsupported` 가 2차 방어다(Defense in Depth).
  */
-export declare const MVP_FLOW_NODE_TYPES: readonly ["startEvent", "endEvent", "userTask", "serviceTask", "task", "sendTask", "receiveTask", "exclusiveGateway", "parallelGateway"];
-export type IrFlowNodeType = (typeof MVP_FLOW_NODE_TYPES)[number];
-export declare function isMvpFlowNodeType(type: string): type is IrFlowNodeType;
+export declare const ADDABLE_FLOW_NODE_TYPES: readonly ["startEvent", "endEvent", "userTask", "serviceTask", "task", "sendTask", "receiveTask", "exclusiveGateway", "parallelGateway"];
+export type IrFlowNodeType = (typeof IR_FLOW_NODE_TYPES)[number];
+export type AddableFlowNodeType = (typeof ADDABLE_FLOW_NODE_TYPES)[number];
+export declare function isIrFlowNodeType(type: string): type is IrFlowNodeType;
+export declare function isAddableFlowNodeType(type: string): type is AddableFlowNodeType;
 export interface IrLane {
     id: string;
     name?: string;
@@ -36,6 +55,13 @@ export interface IrNode {
     participant?: string;
     /** 소속 레인 (A-3) */
     lane?: string;
+    /**
+     * `boundaryEvent` 의 부착 대상 (B-87 ⓐ). **eventDefinition 과 다른 축이다** — 어떤 이벤트인지는
+     * 열지 않았지만(코퍼스 실측 1건) 부착 대상은 구조적 필수다: BPMN 에서 `attachedToRef` 없는
+     * boundaryEvent 는 무효이고, 이것이 없으면 에이전트에게 떠 있는 노드로 읽혀 탈출 흐름의 의미를
+     * 잃는다(실측 = `出荷_BNKR` 의 error 경계 이벤트가 subProcess 에 붙어 탈출 간선을 낸다).
+     */
+    attachedTo?: string;
 }
 /**
  * 조건은 게이트웨이가 아닌 플로우에 붙인다.

package/dist/editor/controller.d.ts

@@ -2,6 +2,25 @@ import { InjectionKey, Ref } from 'vue';
 import { default as Modeler } from 'bpmn-js/lib/Modeler';
 import { CommandSeam } from '../command/commandSeam';
 import { ApplyBatchOutcome, BpmnOpBatch } from '../agent/agentBatch';
+import { GeometryFinding } from '../agent/geometryAudit';
+import { SemanticIssue } from '../agent/semanticAudit';
+/**
+ * 판정 2종의 **현재 캔버스 결과** — 하단 검증 패널(B-103 ⓑ · B-105 ⓑ)의 단일 출처.
+ *
+ * 🔴 **두 축을 합치지 않고 원형 그대로 낸다.** 형태가 다르고(`GeometryFinding{kind}` ↔
+ * `SemanticIssue{ruleId,severity}`) 심각도 축도 한쪽에만 있다 — 합치려면 매핑이 필요한데
+ * 그 매핑은 **표시 결정**이라 뷰 계층 소유다(`view/validationDisplay`). 컨트롤러가 합치면
+ * 표시 어휘가 문서 상태 계층으로 새고, 배치 응답 계약(`ApplyBpmnOpsResult.findings`)과도
+ * 형태가 갈린다.
+ *
+ * ⚠ **배치 응답 `findings` 와 지위가 다르다** — 그쪽은 *"이 배치가 새로 만든 것"* 만 내고,
+ * 이쪽은 **그 문서에 있는 전부**(선재 포함)다. 패널의 수신자는 사람이고, 사람이 고칠 것에는
+ * 자기가 물려받은 base 의 결함이 포함된다(B-103 실측: 고립 노드 17건이 **전부** base 유래).
+ */
+export interface BpmnDocumentIssues {
+    geometry: GeometryFinding[];
+    semantic: SemanticIssue[];
+}
 export interface ImportXmlResult {
     /** import 경고(표시용 메시지) — 수용 기준상 실운영 문서는 빈 배열이어야 한다. */
     warnings: string[];
@@ -37,6 +56,52 @@ export interface BpmnEditorController extends CommandSeam {
     readonly editable: Readonly<Ref<boolean>>;
     /** 배치 적용이 진행 중인 구간 — 호스트 UI 의 "AI 반영 중" 표시용. */
     readonly agentBusy: Readonly<Ref<boolean>>;
+    /**
+     * 현재 캔버스의 판정 결과 — `attach`·`importXml`·모든 모델 변경 뒤 자동 갱신된다.
+     * 🔴 **`editable` 과 무관하게 유지된다** — 조회 전용이어도 경고는 보여야 고친다(시블링 원칙).
+     */
+    readonly issues: Readonly<Ref<BpmnDocumentIssues>>;
+    /** 수동 재판정 — 자동 트리거(커맨드·임포트) 밖에서 상태를 다시 읽어야 할 때. */
+    revalidate(): void;
+    /**
+     * 「이번 작업분」 — 패널이 판정 항목을 **이번 회차의 것**과 **base 기저**로 가르는 범위 축(B-109 ⓑ).
+     *
+     * 🔴 **왜 컨트롤러가 못 구하고 주입받는가** — 판정은 *지금 문서*만 보므로 「이번」의 기준이
+     * 문서 안에 없다. 기준선(그 배치 직전 버전)을 아는 것은 호스트이고, 산출기는 `diffBpmnElements`
+     * 다. 그래서 여기는 **받아서 들고 있기만** 한다.
+     *
+     * 🔴 **N20 이 집합의 내용을 정했다**(2026-09-26 · 배치 회차 82 · 패널 항목 621) — 「배치 op 이
+     * **만든** id」만 넣으면 사람이 실제로 고친 항목의 **34%** 밖에 못 지킨다. update 회차 결함의
+     * 대부분이 *만든 것*이 아니라 ***민 것***이기 때문이다. `touchedElements(diff)`(만든 것 ∪ 만진 것)를
+     * 넣으면 **94%** 를 지킨다.
+     *
+     * `undefined` = 축 없음(현행 동작 그대로 — 태그도 정렬 변경도 없다).
+     */
+    setChangeScope(ids: Iterable<string> | undefined): void;
+    /** 주입된 「이번 작업분」 집합. 패널이 읽는다. */
+    readonly changeScope: Readonly<Ref<ReadonlySet<string> | undefined>>;
+    /**
+     * 요소를 화면 중앙으로 끌어오고 선택한다 — 패널 항목 클릭의 착지점.
+     * 없는 id(이미 지워진 요소)는 **조용히 무시**한다: 패널은 판정 시점의 스냅샷이라
+     * 그 사이 사라질 수 있고, 그것이 예외로 올라오면 클릭 한 번이 화면을 깬다.
+     */
+    requestFocus(elementId: string): void;
+    /**
+     * 요소를 사람이 읽을 말로 바꾸기 위한 단서 — 패널이 판정 결과의 id 를 문장으로 풀 때 쓴다.
+     *
+     * 🔴 **이름만으로는 부족하다** — 실문서(표본 73 base)에서 겹친 두 요소가 **둘 다 무명**이라
+     * "이름 없는 요소와 이름 없는 요소가 겹칩니다"가 나왔다(실측 2건). 종류가 함께 와야 문장이
+     * 갈린다("게이트웨이와 주석이 겹칩니다"). 종류 **어휘**는 표시 결정이라 뷰가 소유하고, 여기서는
+     * moddle `$type` 원본만 넘긴다.
+     */
+    describeElement(elementId: string): ElementDescription | undefined;
+}
+/** `describeElement` 의 반환 — 표시 문장을 만들기 위한 최소 단서. */
+export interface ElementDescription {
+    /** 사람이 붙인 이름. 주석은 `name` 이 아니라 `text` 를 쓰므로 둘을 한 자리로 접는다. */
+    name?: string;
+    /** moddle 타입 리터럴(`bpmn:ExclusiveGateway` 등). 종류 명사로의 번역은 소비측 몫이다. */
+    type: string;
 }
 export declare const EDITOR: InjectionKey<BpmnEditorController>;
 export declare function createBpmnEditorController(): BpmnEditorController;

package/dist/index.d.ts

@@ -8,10 +8,14 @@ export * from './agent/schema';
 export * from './agent/resolver';
 export * from './agent/describeProcess';
 export * from './agent/geometryAudit';
+export * from './agent/semanticAudit';
+export * from './agent/elementDiff';
 export * from './agent/agentBatch';
 export * from './editor/controller';
 export * from './adapter/i18n';
 export * from './adapter/extensions';
 export * from './adapter/xml';
 export * from './headless';
+export * from './view/validationDisplay';
 export { default as BpmnModelerView } from './view/BpmnModelerView.vue';
+export { default as BpmnValidationPanel } from './view/BpmnValidationPanel.vue';

package/dist/view/BpmnValidationPanel.vue.d.ts

@@ -0,0 +1,6 @@
+import { BpmnEditorController } from '../editor/controller';
+type __VLS_Props = {
+    controller: BpmnEditorController;
+};
+declare const _default: import('vue').DefineComponent<__VLS_Props, {}, {}, {}, {}, import('vue').ComponentOptionsMixin, import('vue').ComponentOptionsMixin, {}, string, import('vue').PublicProps, Readonly<__VLS_Props> & Readonly<{}>, {}, {}, {}, {}, string, import('vue').ComponentProvideOptions, false, {}, any>;
+export default _default;

package/dist/view/validationDisplay.d.ts

@@ -0,0 +1,34 @@
+import { BpmnDocumentIssues, ElementDescription } from '../editor/controller';
+import { IssueSeverity } from '../agent/semanticAudit';
+/** 요소 id → 표시 단서. 없으면 `undefined`(이미 지워진 요소). `controller.describeElement` 를 받는다. */
+export type ElementDescriber = (elementId: string) => ElementDescription | undefined;
+export interface PanelIssue {
+    /** 목록 키 겸 중복 판별 — 기하는 `geometryFindingKey`(배치 diff 와 같은 키), 의미론은 규칙+대상. */
+    key: string;
+    source: 'geometry' | 'semantic';
+    /** 원 코드(`kind` 또는 `ruleId`) — 툴팁으로 보존한다(사용자에겐 분류 라벨만 보인다). */
+    code: string;
+    severity: IssueSeverity;
+    /** 포커스 대상 — 첫 항목이 주 대상이다. 빈 배열이면 클릭 불가(문서 전체 이슈). */
+    targetRefs: string[];
+    category: string;
+    message: string;
+}
+/** 정렬 우선순위 — 심각도 순. 같은 심각도 안에서는 판정이 낸 순서를 유지한다(문서 순). */
+export declare const SEVERITY_ORDER: Record<IssueSeverity, number>;
+/**
+ * 판정 2종 → 패널 항목. 순수 함수 — `describe` 주입으로 캔버스 의존을 밖에 둔다(테스트 가능).
+ * 기하가 앞, 의미론이 뒤이지만 패널이 심각도로 다시 정렬하므로 순서 자체는 계약이 아니다.
+ */
+export declare function toPanelIssues(issues: BpmnDocumentIssues, describe: ElementDescriber): PanelIssue[];
+/** 심각도별 건수 — 패널 헤더의 카운트 바(접힘 상태에서도 상시 보인다). */
+export declare function countBySeverity(issues: readonly PanelIssue[]): Record<IssueSeverity, number>;
+/** 이 항목이 「이번 작업분」인가. 범위 축이 없으면(`undefined`) 언제나 false 다. */
+export declare function isInChangeScope(issue: PanelIssue, scope: ReadonlySet<string> | undefined): boolean;
+/** 범위 축을 **노출할 가치가 있는가** = 이번 것과 base 기저가 섞여 있는가(채택 조건 ②). */
+export declare function isChangeScopeMixed(issues: readonly PanelIssue[], scope: ReadonlySet<string> | undefined): boolean;
+/**
+ * 표시 순서 — 섞여 있을 때만 「이번 작업분」을 위로 올리고, 그 안에서는 심각도 순이다.
+ * ⚠ **거르지 않는다**(채택 조건 ①) — 반환 길이는 입력과 같다.
+ */
+export declare function sortPanelIssues(issues: readonly PanelIssue[], scope: ReadonlySet<string> | undefined): PanelIssue[];

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@g1cloud/bpmn-modeler-next",
   "private": false,
-  "version": "5.0.0-alpha.9",
+  "version": "5.0.0-alpha.91",
   "description": "Vue 3 BPMN document authoring editor (bpmn-js based) with AI agent authoring",
   "type": "module",
   "files": [
@@ -54,6 +54,7 @@
     "test": "vitest run",
     "test:watch": "vitest",
     "typecheck": "vue-tsc --noEmit",
+    "docs:size": "node scripts/check-docs-size.mjs",
     "check": "pnpm run test && pnpm run build"
   }
 }