@g1cloud/entity-modeler-next 5.0.0-beta.2 → 5.0.0-beta.20

package/dist/adapter/diagramAdapter.d.ts

@@ -27,6 +27,12 @@ export interface DiagramMeta {
 /**
  * 마커 분기 파서 — `schemaVersion`을 보고 v1(legacy flat) vs v2(logical/layout) 경로 선택(B-0).
  * reload(프리즈 후 재적재)도 이 진입점을 경유해 동일 분기를 탄다.
+ *
+ * 산출 state는 입력 doc과 **참조 비공유**(계약) — 진입 시 deep-clone한다. 로드 자가치유
+ * (heal/normalize)와 이후 편집(commands의 in-place 변형)이 모두 사본 위에서 일어나므로,
+ * 호출자 소유 객체(호스트 useFetch payload 등 리액티브 소스)를 오염시키지 않는다.
+ * reactive proxy에 structuredClone은 throw할 수 있어 JSON deep-clone(controller 클립보드와
+ * 동일 패턴). undefined 값 키는 탈락하나 부재와 의미 동치.
  */
 export declare function fromPersisted(doc: PDiagram | PDiagramV2): {
     state: EditorState;

package/dist/adapter/healBackfill.d.ts

@@ -0,0 +1,20 @@
+import { ModelId } from '../core/types';
+import { OpShape } from '../command/op';
+import { PDiagram, PDiagramV2 } from './persisted';
+export interface HealBackfillPlan {
+    /** backfill op 배치 (비면 치유 대상 없음 — 문서 skip). */
+    ops: OpShape[];
+    /** raw doc의 컨테이너 rev 스냅샷 — `buildAgentBatch(diagramId, revs, ops)` CAS base. */
+    revs: Record<ModelId, number>;
+    /** dry-run 리포트용 집계. */
+    summary: {
+        navAdds: number;
+        navRefPatches: number;
+        identifyingPatches: number;
+    };
+}
+/**
+ * v2 doc 하나에 대한 heal backfill 계획을 산출한다. v1 doc(마이그레이션이 hydration에서
+ * 치유하므로 스윕 비대상)이면 빈 계획을 반환한다.
+ */
+export declare function planHealBackfillOps(doc: PDiagram | PDiagramV2): HealBackfillPlan;

package/dist/agent/resolver.d.ts

@@ -84,6 +84,28 @@ export type ResolveError = {
     handle: Handle;
     matches: ModelId[];
 }
+/** reorder order 목록의 핸들이 엔티티 내 속성/메서드와 0개 매칭(D7 — 부분 재배치 안 함, 전체 거부). */
+ | {
+    code: 'reorder-handle-not-found';
+    opIndex: number;
+    entity: Handle;
+    handle: Handle;
+}
+/** reorder order 목록의 핸들이 복수 매칭(모호). */
+ | {
+    code: 'reorder-handle-ambiguous';
+    opIndex: number;
+    entity: Handle;
+    handle: Handle;
+    matches: ModelId[];
+}
+/** reorder order 목록에 같은 요소가 두 번(중복 핸들) — 배열 재배치 모호. */
+ | {
+    code: 'reorder-handle-duplicate';
+    opIndex: number;
+    entity: Handle;
+    handle: Handle;
+}
 /**
  * index.update patch에 `columns` 키 — columnRef(dbAttr modelId)는 사람 핸들로 표현 불가라 패스스루 시
  * 깨진 인덱스가 된다. 컬럼 변경은 index.remove + index.add(컬럼 핸들 해소 구현)로 유도(거부 권고안).
@@ -129,6 +151,56 @@ export type ResolveError = {
     entity: Handle;
     handle: Handle;
     matches: ModelId[];
+}
+/**
+ * attribute.update patch의 평탄 dbAttr 키를 스칼라 단일 컬럼으로 매핑할 수 없음. 스칼라(NORMAL·단일 dbAttr)면
+ * `dbAttrs[0]`로 자동 매핑되지만, 모호/불가한 대상은 거부한다: EMBED_PREDEF/다중 dbAttr(어느 컬럼인지 모호 →
+ * `embeddableOverrides`), dbAttrs 0개/transient(머지할 컬럼 없음), `sharedColumnRef` 평탄(opaque modelId),
+ * flat + dotted-dbAttrs 혼용($set 충돌). 통과 시 논리 노드 blind-write로 orphan 오염이라 거부.
+ */
+ | {
+    code: 'attribute-patch-dbattr-flat-key';
+    opIndex: number;
+    entity: Handle;
+    handle: Handle;
+    keys: string[];
+}
+/**
+ * attribute.update patch에 Attribute 논리 노드에 실재하지 않는 미지 키 — 통과 시 orphan blind-write.
+ * 오탈자/스키마 밖 키를 조용히 흡수하지 않고 명시 거부(자기증식 오염 원천 차단).
+ */
+ | {
+    code: 'attribute-patch-unknown-key';
+    opIndex: number;
+    entity: Handle;
+    handle: Handle;
+    keys: string[];
+}
+/**
+ * associationEnd.update patch의 `navigable`(양 end) — end1(from): inverse nav 실체화/철거는
+ * RELATION_REF 속성 생성·삭제가 동반되는 GUI 토글 소유(통과 시 "navigable=true ⟺ RELATION_REF 존재"
+ * 불변식이 깨져 로드 자가치유가 비결정 실체화를 반복). end2(to): JPA 소유측 참조는 관계 존재와
+ * 동치라 고정 true — 참조 없는 FK는 관계가 아니라 일반 컬럼으로 모델링.
+ */
+ | {
+    code: 'navigable-toggle-unsupported';
+    opIndex: number;
+    handle: AssocHandle;
+}
+/**
+ * FK 파생 속성(RELATION* + 물리 컬럼) 직접 삭제 — 관계가 소유하는 파생물이라 직접 지우면 관계
+ * end.attributeRef가 끊긴다(GUI removeAttribute 가드 동형, Option B). `association`(양 끝 엔티티명)의
+ * 관계를 association.remove로 삭제하도록 유도.
+ */
+ | {
+    code: 'attribute-fk-managed';
+    opIndex: number;
+    entity: Handle;
+    handle: Handle;
+    association: {
+        from: string;
+        to: string;
+    };
 };
 export type ResolveResult = {
     ok: true;
@@ -147,8 +219,4 @@ export interface ResolverOptions {
      */
     embeddableCatalog?: EmbeddableCatalog;
 }
-/**
- * 심볼릭 op 배치를 OpShape 배치로 해소한다.
- * 전부 해소되면 `{ok:true, ops}`, 하나라도 실패하면 `{ok:false, errors}`(모든 실패 누적 — 에이전트가 한 번에 재질의).
- */
 export declare function resolveSymbolicOps(model: LogicalModel, ops: SymbolicOp[], options?: ResolverOptions): ResolveResult;

package/dist/agent/symbolicOp.d.ts

@@ -231,6 +231,10 @@ export type SymbolicOp = {
     kind: 'attribute.remove';
     entity: Handle;
     attribute: Handle;
+} | {
+    kind: 'attribute.reorder';
+    entity: Handle;
+    order: Handle[];
 } | {
     kind: 'association.add';
     spec: AssocSpec;
@@ -272,6 +276,10 @@ export type SymbolicOp = {
     kind: 'operation.remove';
     entity: Handle;
     operation: Handle;
+} | {
+    kind: 'operation.reorder';
+    entity: Handle;
+    operations: Handle[];
 } | {
     kind: 'group.add';
     spec: GroupSpec;
@@ -280,5 +288,5 @@ export type SymbolicOp = {
  * v1이 다루는 심볼릭 op 종류의 닫힌 집합(단일 출처). resolver·JSON Schema(`schema.ts`)가 공유한다.
  * 아래 컴파일타임 단언이 이 튜플과 `SymbolicOp['kind']`의 일치를 강제 — 한쪽만 늘리면 타입 에러.
  */
-export declare const SYMBOLIC_OP_KINDS: readonly ["entity.add", "entity.update", "entity.remove", "attribute.add", "attribute.update", "attribute.remove", "association.add", "association.remove", "association.update", "associationEnd.update", "index.add", "index.update", "index.remove", "operation.add", "operation.update", "operation.remove", "group.add"];
+export declare const SYMBOLIC_OP_KINDS: readonly ["entity.add", "entity.update", "entity.remove", "attribute.add", "attribute.update", "attribute.remove", "association.add", "association.remove", "association.update", "associationEnd.update", "index.add", "index.update", "index.remove", "operation.add", "operation.update", "operation.remove", "attribute.reorder", "operation.reorder", "group.add"];
 export type SymbolicOpKind = (typeof SYMBOLIC_OP_KINDS)[number];

package/dist/command/commands.d.ts

@@ -60,10 +60,11 @@ export declare function updateAttribute(entityId: ModelId, attributeId: ModelId,
 export declare function removeAttribute(entityId: ModelId, attributeId: ModelId): Command;
 /**
  * 속성 재정렬 — 대상(attrIds)을 현재 표시 순서를 유지한 채 toIndex로 이동.
- * 표시 순서 = attributes 배열 순서가 SoT이므로 배열을 splice 이동하고, 저장·range선택이
- * 의존하는 order 필드를 0..n-1로 전체 재인덱싱한다(중간 삭제로 생긴 기존 갭도 함께 치유).
- * toIndex = 대상을 모두 제거한 뒤의 배열(rest) 기준 삽입 위치.
+ * 표시 순서 SoT는 `order` 필드다(S1 이후 전 뷰가 order sort). 배열도 splice로 함께 맞춰 두 표현을
+ * 일관 유지하고(캔버스 노드가 배열도 참조하는 전환기 안전), order 필드를 0..n-1로 전체 재인덱싱한다
+ * (중간 삭제로 생긴 기존 갭도 함께 치유). toIndex = 대상을 모두 제거한 뒤의 배열(rest) 기준 삽입 위치.
  * invert는 변경 전 배열 스냅샷(order 포함 얕은 복사)으로 통째 복원 → 재인덱싱 손실 없이 원자 원복.
+ * emit은 order 패치(S3, orderPatchEmission) — 배열 $set 아님.
  */
 export declare function reorderAttributes(entityId: ModelId, attrIds: ModelId[], toIndex: number): Command;
 export declare function addOperation(entityId: ModelId, operation: Operation): Command;

package/dist/core/associationNav.d.ts

@@ -1,6 +1,12 @@
 import { Multiplicity } from './types';
 /** end2 multiplicity가 컬렉션(0..* / 1..*)인가 — 코드젠의 @OneToMany vs @OneToOne 분기와 동일 기준. */
 export declare function isCollectionMultiplicity(m: Multiplicity): boolean;
+/**
+ * 다중성 표시 기호(0..1 / 1 / 0..* / 1..*) — 영속용 enum(`*_INSTANCE(S)`)의 단일 표시 SoT.
+ * 기호는 언어 무관 UML 표기라 i18n 대상이 아니다. 캔버스 관계선 라벨·인스펙터 select·mermaid
+ * 라벨이 모두 이 함수로 위임한다(과거 multSymbol/multHuman으로 중복 정의되던 것 통합).
+ */
+export declare function multiplicityLabel(m: Multiplicity): string;
 /**
  * inverse nav 기본 이름: 자식 엔티티명(camel). 컬렉션이면 복수형.
  * 예: Order→OrderItem 컬렉션 → `orderItems`, 단일 → `orderItem`.

package/dist/core/attributeOrder.d.ts

@@ -1,4 +1,13 @@
 import { Attribute, Entity } from './types';
+/**
+ * 다음 표시 순서 값 = 현재 최대 `order` + 1(비어 있으면 0). 표시 순서가 `order` 필드 단일 SoT이므로
+ * add-side는 반드시 이 값을 써야 order가 항상 distinct하다. 배열 `.length`를 쓰면
+ * `removeAttribute`/`removeOperation`가 재인덱싱하지 않아(splice만) 남은 order와 length가 충돌할 수
+ * 있다(order [0,2] + length 2 → 신규 order 2 = 중복). [[attribute-display-order-array-vs-order-field]]
+ */
+export declare function nextOrder(items: readonly {
+    order: number;
+}[]): number;
 /** 물리 FK 컬럼을 가진 FK 여부 — derivedFrom(관계 파생) + dbAttrs(물리 컬럼) 보유. */
 export declare function isPhysicalFk(a: Attribute): boolean;
 /**

package/dist/core/fkDerived.d.ts

@@ -0,0 +1,17 @@
+import { Association, Attribute, DbColumn, Entity } from './types';
+/**
+ * FK 유래 컬럼 = 물리 컬럼을 보유한 관계 속성(RELATION* + dbAttrs). 형상(dataType/length/scale/
+ * physicalName/notNull 등)은 부모 식별자(PK) + 관계 identifying에서 파생된다.
+ * derivedFrom이 아니라 이 불변식을 쓰는 이유: derivedFrom은 세션 중 live propagation으로 만든 FK에만
+ * 붙고 어댑터가 로드 시 복원하지 않아(영속 데이터엔 0건) 로드된 다이어그램에선 FK 판정에서 통째로 누락된다.
+ * RELATION_REF(inverse nav, dbAttrs=0)는 물리 컬럼이 없어 제외.
+ */
+export declare function isFkDerivedColumn(attr: Attribute): boolean;
+/**
+ * FK 유래 컬럼 i의 원본(부모 식별자) 컬럼 — 물리명·타입·길이·스케일이 여기서 파생된다. FK 컬럼 자신의
+ * dbAttrs가 비어 있을 때(v1→v2 로드/레거시 데이터, 어댑터가 재전파를 하지 않음) placeholder·캔버스
+ * 표시에 쓴다(레거시 getForeignDatabaseAttributePlaceholder 동형). 1순위 derivedFrom.sourceAttributeRef
+ * (전파가 심은 권위), 2순위 관계 역참조로 부모 식별자 컬럼(derivedFrom 부재하는 레거시 v1 로드 FK 폴백).
+ * 못 찾으면 undefined.
+ */
+export declare function resolveFkOriginColumn(attr: Attribute, childEntity: Entity | null | undefined, entities: readonly Entity[], associations: readonly Association[], i?: number): DbColumn | undefined;

package/dist/core/projectSeqDiff.d.ts

@@ -0,0 +1,41 @@
+import { ModelId } from './types';
+import { FieldAuditRecord } from './projectFieldAudit';
+import { ActionFieldChange, ActionSubject } from './projectActionLog';
+/** 한 대상의 구간 net 결과 — verb + net 필드 변경(최초 old→최종 new). */
+export interface SeqDiffEntry {
+    subject: ActionSubject;
+    /** added=구간 내 생성되어 B에 존재 / removed=A에 존재했고 구간 내 삭제 / modified=양쪽 존재+내용 변경. */
+    verb: 'added' | 'modified' | 'removed';
+    /** net 필드 변경. added=최종값(요약), removed=빈 배열(tombstone), modified=old→new(수렴分 제외). */
+    fields: ActionFieldChange[];
+}
+export interface SeqDiff {
+    fromSeq: number;
+    /** 실효 상한 — 옵션 미지정 시 스트림 최신 seq(레코드 없으면 fromSeq). */
+    toSeq: number;
+    /** subject 최초 등장 순(결정적). */
+    entries: SeqDiffEntry[];
+}
+/**
+ * op 이력 스트림을 구간 `(fromSeq, toSeq]`의 subject별 net diff로 투영한다.
+ *
+ * @param records seq 정렬 이력 레코드(전체 스트림 — old 파생 정확성을 위해 구간 밖 레코드도 포함해 전달).
+ * @param range fromSeq(비포함)·toSeq(포함, 생략=최신). D1: 투영기는 일반형, UI는 "과거↔현재"부터.
+ */
+export declare function projectSeqDiff(records: readonly FieldAuditRecord[], range: {
+    fromSeq: number;
+    toSeq?: number;
+}): SeqDiff;
+/** 캔버스 오버레이 마크 — 엔티티 노드 단위(removed 대상은 캔버스에 없어 패널 전용, D3). */
+export interface DiffMark {
+    verb: 'added' | 'modified';
+    /** 구간 내 추가/변경된 속성 행(하이라이트 대상). 삭제 속성은 행이 없어 제외. */
+    changedAttributeIds: Set<ModelId>;
+    /** 구간 내 추가/변경된 연산 행. */
+    changedOperationIds: Set<ModelId>;
+}
+/**
+ * SeqDiff → 캔버스 마크 맵. 엔티티 subject는 자기 verb로, 자식(속성/연산/인덱스) 변경은 부모 엔티티를
+ * modified로 승격(이미 added면 유지)한다. 연관/그룹은 S3 스코프 밖(엔티티 오버레이 전용).
+ */
+export declare function buildDiffMarks(diff: SeqDiff): Map<ModelId, DiffMark>;

package/dist/core/propagation.d.ts

@@ -42,11 +42,28 @@ export declare function computeForeignAttributes(logical: LogicalModel, associat
 export declare function reconcileForeignAttributes(logical: LogicalModel, childEntityId: ModelId, idFactory?: IdFactory): ReconcilePlan;
 /**
  * changedEntityId의 식별자 변경이 영향을 주는 모든 후손 자식의 reconcile 계획.
- * A→B→C 연쇄와 사이클(A→B→A)을 visited 가드로 안전 종료(INV-6).
  * 클론에 단계별로 적용하며 다음 단계 입력을 갱신하므로, 반환 계획은 *원본* logical 기준이다.
  * self-association은 비식별이라 자식 식별자를 바꾸지 않아 더 전파되지 않는다(자연 종료).
+ *
+ * 비등깊이 다중 경로(A→D + A→B→D)에서는 D의 desired가 두 단계에 걸쳐 도착한다 —
+ * 늦게 온 계획은 mergePlans로 병합하고, 계획을 받은 자식은 재큐해 후손을 재연쇄한다.
+ * 종료(INV-6): reconcile이 멱등 diff라 비순환 그래프는 자연 수렴(재처리 횟수 ≤ 최장 경로 깊이).
+ * 식별 사이클(A⇄B)은 desired가 무한 성장하므로 엔터티당 처리 횟수를 entities.length로 캡해 절단한다
+ * (비순환에선 최장 경로 ≤ 엔터티 수라 캡이 정확성을 해치지 않는다).
  */
 export declare function planPropagation(logical: LogicalModel, changedEntityId: ModelId, idFactory?: IdFactory): Map<ModelId, ReconcilePlan>;
+/**
+ * "자식의 FK 집합이 직접 바뀌는" 트리거(관계 삭제·identifying 토글·부모 엔터티 삭제)의
+ * seed reconcile + 후손 cascade 통합 계획. futureLogical은 트리거 변경이 이미 반영된 상태여야 한다.
+ * 반환은 seed(자식)부터 후손 순서의 목록 — 빈 계획은 제외.
+ *
+ * editor controller(→Command)와 agent resolver(→OpShape)가 이 산식을 공유한다 — 계약 4(cascade =
+ * 클라 명시 분해)의 계산 주체를 한 곳에 두어 쓰기 경로별 분해 드리프트를 구조적으로 차단한다.
+ */
+export declare function planChildReconcileWithCascade(futureLogical: LogicalModel, childId: ModelId, idFactory?: IdFactory): Array<{
+    entityId: ModelId;
+    plan: ReconcilePlan;
+}>;
 /**
  * 주어진 속성이 "연관관계가 관리하는 FK 컬럼"이면 그 소유 연관관계를 돌려준다(아니면 undefined).
  *

package/dist/core/stereotype.d.ts

@@ -0,0 +1,2 @@
+import { ClassStereotype } from './types';
+export declare function stereotypeLabel(s: ClassStereotype): string;

package/dist/core/types.d.ts

@@ -321,6 +321,13 @@ export interface AssociationEnd {
      * 이 ref가 그것을 가리킨다(diagramAdapter.assocFromHydrated). 레이아웃 앵커는 layout.sourceColumnRef로 분리.
      */
     attributeRef?: ModelId;
+    /**
+     * inverse nav(RELATION_REF) 미실체화 시 마지막 nav 필드명 기억용. navigable=false면 nav 속성 자체는
+     * 삭제되어(불변식 "navigable=true ⟺ nav 속성 존재" 유지·코드젠 무영향) 저장된 이름이 없다 — 이 힌트가
+     * 사용자가 편집했던 이름을 보관해, 인스펙터 비활성 필드 표시 및 재활성화 시 기본명 대신 복원에 쓰인다.
+     * 실체화되면 속성 name이 SoT이므로 이 힌트는 정리(재-off 시 현재 name을 다시 캡처).
+     */
+    navFieldNameHint?: string;
     /**
      * 라운드트립 전용 — 레거시 EMBED 직렬화의 인라인 속성 원형(EMBED_REF/EMBED_OWN).
      * EMBED hydration은 load-only라 저장 시 소유자로 펼친 표시 속성을 버리고 이 원형을 verbatim 환원한다

package/dist/editor/controller.d.ts

@@ -11,11 +11,6 @@ import { ValidationIssue } from '../core/validation';
 import { UiLocale, Translator } from '../i18n';
 import { AssociationEnd, Attribute, DisplayMode, EmbeddableCatalog, Entity, EntityIndex, Geo, GroupCodeCatalog, LangCode, LogicalGroup, ModelId, Multiplicity, Operation, Point, PredefinedCustomTypeCatalog, SuperClassCatalog } from '../core/types';
 import * as cmd from '../command/commands';
-/**
- * 관계 파생 FK 직접 삭제 시도 시의 안내 — 뷰 tooltip(어포던스)과 차단 시 토스트(피드백)가 공유한다.
- * FK는 관계가 소유·관리하므로 컬럼을 직접 지우는 대신 연관관계선을 삭제해야 한다(Option B).
- */
-export declare const FK_MANAGED_DELETE_MESSAGE = "\uC678\uB798\uD0A4\uB294 \uC5F0\uAD00\uAD00\uACC4\uC5D0\uC11C \uD30C\uC0DD\uB429\uB2C8\uB2E4. \uC0AD\uC81C\uD558\uB824\uBA74 \uC5F0\uAD00\uAD00\uACC4\uC120\uC744 \uC120\uD0DD\uD574 \uC0AD\uC81C\uD558\uC138\uC694.";
 /** 엔티티 내부 속성을 가리키는 주소 원자 — 선택·컨텍스트·재정렬·연결 등 속성 단위 기능의 공통 참조점. */
 export type AttrRef = {
     entityId: ModelId;
@@ -219,7 +214,12 @@ export interface EditorController {
     undo(): void;
     redo(): void;
     markSaved(): void;
-    addEntity(name?: string, location?: Point): ModelId;
+    /**
+     * add류 intent 공통 반환 계약: 성공 시 생성된 ModelId, 실패(조회 모드·충돌 프리즈·잠금·가드 차단) 시
+     * null. 거짓 성공 id를 돌려주면 뷰가 존재하지 않는 대상을 select(빈 폼)하므로, 소비처는 null 가드 후
+     * 후속 동작(자동 선택 등)을 수행해야 한다.
+     */
+    addEntity(name?: string, location?: Point): ModelId | null;
     renameEntity(id: ModelId, name: string): void;
     updateEntity(id: ModelId, patch: Partial<Entity>): void;
     moveEntity(id: ModelId, location: Point): void;
@@ -237,6 +237,11 @@ export interface EditorController {
     setEntityLocked(id: ModelId, locked: boolean): void;
     /** 엔티티 잠금 여부 조회 (레이아웃) */
     isEntityLocked(id: ModelId): boolean;
+    /**
+     * 연관 잠금 여부 조회 — 양 끝 엔티티 중 한쪽이라도 잠겼으면 true(내부 게이트 isAssocLockedFn와
+     * 동일 의미론 단일 출처). 뷰가 관계 편집 어포던스(삭제 메뉴·인스펙터 폼)를 억제할 때 사용.
+     */
+    isAssociationLocked(assocId: ModelId): boolean;
     /** 활성 다이어그램 전체 엔티티 접기/펼치기 — 사전 상태 캡처 단일 커맨드(1 undo 스텝) */
     collapseAll(): void;
     expandAll(): void;
@@ -259,10 +264,10 @@ export interface EditorController {
     setGroupLocked(groupId: ModelId, locked: boolean): void;
     /** 그룹 잠금 여부 조회 (레이아웃) */
     isGroupLocked(groupId: ModelId): boolean;
-    /** 선택 엔티티들로 새 그룹 생성 (멤버 bbox에 박스 배치) */
+    /** 선택 엔티티들로 새 그룹 생성 (멤버 bbox에 박스 배치) — 빈 입력·조회 모드 시 null */
     createGroup(entityIds: ModelId[], name?: string): ModelId | null;
     /** 빈 그룹 박스 생성 (이후 드래그로 엔티티 편입) */
-    addEmptyGroup(location: Point, name?: string): ModelId;
+    addEmptyGroup(location: Point, name?: string): ModelId | null;
     removeGroup(groupId: ModelId): void;
     /** 엔티티 이동 + 컨테인먼트에 따른 그룹 편입/해제를 한 명령으로 */
     dropEntity(entityId: ModelId, location: Point, targetGroupId: ModelId | null): void;
@@ -338,16 +343,16 @@ export interface EditorController {
      * dbAttr 슬롯은 레거시 `initAttributeDatabaseAttribute` 동형으로 **빈 골격**(physicalName/dataType
      * 미설정)만 시드하고, 표시·저장 시 카탈로그 메타모델로 폴백한다(`SVG:976` 대응). 참조가 아니므로
      * association은 만들지 않는다(entity.attributes 직접 보유 — 레거시 NORMAL 부류). 카탈로그에 없거나
-     * 대상 엔티티가 없으면 no-op(undefined).
+     * 대상 엔티티가 없으면 no-op(null).
      */
-    addPredefinedEmbed(entityId: ModelId, embeddableType: string): ModelId | undefined;
-    addAttribute(entityId: ModelId, partial?: Partial<Attribute>): ModelId;
+    addPredefinedEmbed(entityId: ModelId, embeddableType: string): ModelId | null;
+    addAttribute(entityId: ModelId, partial?: Partial<Attribute>): ModelId | null;
     /**
      * 시각 구획 행(DIVIDER) 추가 — 거대 엔티티에서 속성 묶음을 끊는 구분선. DB 컬럼·타입·식별자 없이
      * 말미에 추가되며(이후 grip 드래그로 위치 조정), `name`은 선택적 섹션 라벨. divider 기본값을 단일
      * 출처로 보장하려고 addAttribute에 위임한다.
      */
-    addDivider(entityId: ModelId): ModelId;
+    addDivider(entityId: ModelId): ModelId | null;
     updateAttribute(entityId: ModelId, attributeId: ModelId, patch: Partial<Attribute>): void;
     /**
      * ⑤ 파생 타입 결합 — 속성 groupCode를 설정/해제하며 type을 동반 조정한다(레거시 정합).
@@ -378,21 +383,21 @@ export interface EditorController {
     updateIndex(entityId: ModelId, indexId: ModelId, patch: Partial<EntityIndex>): void;
     removeIndex(entityId: ModelId, indexId: ModelId): void;
     /** 메서드(operation) 추가 — 신규는 visibility=PACKAGE, order=말미. 생성된 modelId 반환. */
-    addOperation(entityId: ModelId, partial?: Partial<Operation>): ModelId;
+    addOperation(entityId: ModelId, partial?: Partial<Operation>): ModelId | null;
     updateOperation(entityId: ModelId, operationId: ModelId, patch: Partial<Operation>): void;
     removeOperation(entityId: ModelId, operationId: ModelId): void;
     /** 메서드 행 재정렬 — toIndex = 대상 제거 후 배열 기준 삽입 위치(단일 명령, undo 원자). */
     reorderOperations(entityId: ModelId, operationIds: ModelId[], toIndex: number): void;
     /** 메서드 강조 색 토큰 지정 (null이면 해제). */
     setOperationSwatch(entityId: ModelId, operationId: ModelId, token: string | null): void;
-    addAssociation(sourceEntityId: ModelId, targetEntityId: ModelId, sourceColumnRef?: ModelId, targetColumnRef?: ModelId): ModelId;
+    addAssociation(sourceEntityId: ModelId, targetEntityId: ModelId, sourceColumnRef?: ModelId, targetColumnRef?: ModelId): ModelId | null;
     /**
      * 임베드 생성 — 소유자에 EMBED_OWN 표시 속성을 물질화(임베더블 source 컬럼 복사 + `embedded` 마커)하고
      * EMBED association(owner EXACTLY_ONE / embeddable EXACTLY_ONE+composition)을 한 composite로 추가한다.
      * 가드(결정 2 단일): 대상이 JPA_EMBEDDABLE이 아니거나 소유자가 이미 그 임베더블을 임베드했으면 no-op.
-     * 반환은 생성된 association id, 가드 차단 시 undefined.
+     * 반환은 생성된 association id, 가드 차단 시 null.
      */
-    addEmbedAssociation(ownerEntityId: ModelId, embeddableEntityId: ModelId): ModelId | undefined;
+    addEmbedAssociation(ownerEntityId: ModelId, embeddableEntityId: ModelId): ModelId | null;
     /**
      * 임베드 카디널리티 설정 — 임베더블 end multiplicity를 지정 값으로 바꾼다. 컬렉션(`@ElementCollection`)
      * 여부는 이 multiplicity에서 파생되는 값(권위=multiplicity, 결정 3): `*_MORE`(0..N / 1..N)면 컬렉션,
@@ -415,7 +420,7 @@ export interface EditorController {
     addWaypoint(assocId: ModelId, index: number, point: Point): void;
     removeWaypoint(assocId: ModelId, index: number): void;
     clearWaypoints(assocId: ModelId): void;
-    addNote(memo?: string, location?: Point): ModelId;
+    addNote(memo?: string, location?: Point): ModelId | null;
     removeNote(noteId: ModelId): void;
     moveNote(noteId: ModelId, location: Point): void;
     resizeNote(noteId: ModelId, size: {
@@ -512,4 +517,11 @@ export declare function createEditorController(initial?: EditorState, options?:
     largeEntityThreshold?: number;
     /** CHK-DSN-3 초기 활성 여부 — 기본 false. 런타임은 flagEntitiesWithoutRelations로 사용자가 토글. */
     flagEntitiesWithoutRelations?: boolean;
+    /**
+     * 검증(validateModel) 재실행 디바운스 창(ms, 기본 250). validateModel은 전체 모델 스캔이라 키 입력마다
+     * 동기 재실행하면 대형 다이어그램에서 입력 지연의 주요 축(VE-1) — 기본은 변경 신호(revision) 기반
+     * 트레일링 디바운스. `0` 이하 주입 시 현행 동기 computed 그대로(변경 직후 즉시 일관성이 필요한
+     * 테스트·소비자용 escape hatch).
+     */
+    validationDebounceMs?: number;
 }): EditorController;