@g1cloud/entity-modeler-next 5.0.0-beta.5 → 5.0.0-beta.50

package/README.md

@@ -28,8 +28,10 @@ import '@g1cloud/entity-modeler-next/style.css'  // required — components rend
 src/
   core/      logical/layout types (separated) · resolve (consistency) · routing · autolayout · propagation · validation · type catalogs. Framework-agnostic
   command/   Command (do/undo) · CommandStack · op/opSync (semantic op emit + CAS concurrency)
-  editor/    reactive controller (composable wrapping CommandStack, EDITOR inject key)
+  editor/    reactive controller (composable wrapping CommandStack, EDITOR inject key) + axis modules split out of it
+             (commandPlans · clipboardImport · hostSync · selection — each takes a minimal injected context)
   view/      Vue Flow components (DiagramCanvas · EntityNode · GroupNode · AssociationEdge · PropertyPanel · ValidationPanel, etc.)
+             plus composables (useAttributeEditing · useResizableWidth · useTreeCollapse) and pure helpers
   adapter/   storage-schema mapping (persisted v1/v2 · fromPersisted/toPersisted/toPersistedV2 round-trip)
   agent/     natural-language → op track (symbolicOp · resolver · schema · buildAgentBatch)
   dev/       demo harness (excluded from the library build)
@@ -40,8 +42,20 @@ Core design: **layout references the logical model by `modelId` (one-way)**. The
 ## Scripts
 
 ```bash
-pnpm dev        # demo harness dev server (src/dev)
-pnpm test       # Vitest
-pnpm typecheck  # vue-tsc --noEmit
-pnpm build      # library build (dist/)
+pnpm dev            # demo harness dev server (src/dev)
+pnpm test           # Vitest (unit)
+pnpm test:coverage  # Vitest + v8 coverage report (no threshold — report only)
+pnpm typecheck      # vue-tsc --noEmit
+pnpm build          # library build (dist/)
+pnpm verify         # headless GUI probe suite (scripts/verify-*.mjs) — boots the dev harness once, runs all probes
+pnpm verify:floor    # raise the per-probe assertion-count floor to current (never lowers)
+pnpm check          # CI gate: test && build
 ```
+
+`check` is the entry point CI calls; `verify` runs the browser probes and is kept separate because it needs a
+dev server and takes ~100s.
+
+`verify` also enforces a per-probe **assertion-count floor** (`scripts/probe-assertion-floor.json`): a probe whose
+executed-assertion total drops below its floor fails even if every remaining assertion passes — deleting an `ok()`
+would otherwise shrink the denominator too and pass as `0/0`. Adding assertions needs no bookkeeping; only a
+deliberate reduction requires editing the JSON by hand, and that diff is the review signal.

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,38 @@
+import { ModelId } from '../core/types';
+import { OpShape } from '../command/op';
+import { PDiagram, PDiagramV2 } from './persisted';
+/**
+ * 로드 경로가 파생하는 **속성 스칼라 필드** 목록 — 이 플래너가 raw↔healed diff로 정렬하는 축.
+ *
+ * 전체 필드를 무조건 diff하지 않는 이유: 로드 경로가 의도적으로 바꾸지 않는 필드까지 잡아
+ * 오탐(JSON 왕복의 `null`↔부재 등)을 낼 수 있다. **선언된 목록**이 곧 "무엇이 파생값인가"의
+ * 레지스트리이며, 새 파생 축 추가 = 여기에 이름 한 줄(라우트·플래너 신설 불요).
+ *
+ * - `notNull` : FK는 부모 end 다중성 파생(`deriveFkNotNull`, CC-4). 비-FK 속성은 파생 대상이
+ *   아니지만 파생기가 FK만 건드리므로 diff도 자연히 FK에서만 발생한다.
+ */
+declare const DERIVED_ATTRIBUTE_FIELDS: readonly ["notNull"];
+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;
+        /** 파생 스칼라 필드 정렬 건수(`DERIVED_ATTRIBUTE_FIELDS`) — 필드별 분해. */
+        attributeFieldPatches: number;
+        attributeFieldsByName: Partial<Record<(typeof DERIVED_ATTRIBUTE_FIELDS)[number], number>>;
+    };
+}
+/**
+ * v2 doc 하나에 대한 파생값 backfill 계획을 산출한다.
+ *
+ * v1 doc은 빈 계획 — 스윕 라우트가 v2 컬렉션 대상이고, v1은 마이그레이션을 거쳐 v2가 된 뒤
+ * 대상이 된다. 마이그레이션 산출은 hydration이 이미 현재 규칙으로 파생하므로(nav 실체화·
+ * identifying·notNull) 새로 마이그레이션된 문서는 정렬된 상태로 태어난다.
+ */
+export declare function planHealBackfillOps(doc: PDiagram | PDiagramV2): HealBackfillPlan;
+export {};

package/dist/agent/resolver.d.ts

@@ -43,6 +43,13 @@ export type ResolveError = {
     entity: Handle;
     handle: Handle;
 }
+/** 물리 컬럼을 만들면서 dataType 미지정 — 빈 타입 컬럼은 DDL에서 드롭된다(발명 대신 요구). */
+ | {
+    code: 'datatype-required';
+    opIndex: number;
+    entity: Handle;
+    handle: Handle;
+}
 /** index.add 컬럼 핸들이 엔티티 내 dbAttr와 0개 매칭. */
  | {
     code: 'column-not-found';
@@ -84,6 +91,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 +158,152 @@ 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.
+ * 오탈자/스키마 밖 키를 조용히 흡수하지 않고 명시 거부(자기증식 오염 원천 차단).
+ * 허용 dotted 접두는 `dbAttrs.` 하나뿐이다(형제 op의 `jpaAttrs.`·`jpa.` 제한과 같은 근거 — 아래 분류 주석).
+ */
+ | {
+    code: 'attribute-patch-unknown-key';
+    opIndex: number;
+    entity: Handle;
+    handle: Handle;
+    keys: string[];
+}
+/**
+ * entity.update patch에 Entity 논리 노드에 실재하지 않는 미지 키 — `attribute-patch-unknown-key`의 형제.
+ *
+ * ★이 op은 **스키마가 의도적으로 open**이다(dotted-key `jpaAttrs.*`가 필요해 `additionalProperties:false`로
+ * 닫지 못한다 — schema.ts §5.2 폐색 주석). 즉 LLM 가이드가 없는 경로이고 **resolver가 유일한 게이트**다.
+ * 특히 `attributes`/`indexes`/`operations`(자식 컬렉션)가 통과하면 호스트 인터프리터가 논리 노드에 통째
+ * `$set`해 **전 배열 blind-write**가 된다(모든 modelId 재발급 = 인덱스 columnRef·derivedFrom·end.attributeRef
+ * 전량 dangling). 자식 변경은 전용 op 소관.
+ */
+ | {
+    code: 'entity-patch-unknown-key';
+    opIndex: number;
+    entity: Handle;
+    keys: string[];
+}
+/**
+ * entity.add의 논리명이 모델에 이미 있는 엔티티와 충돌. 통과시키면 **도구가 스스로 `CHK-NAME-3`(error)
+ * 상태를 만든다**(CC-5 교훈: 엔진이 검증 error 상태를 생성하지 않는다). 더 나쁜 건 같은 배치의 형제
+ * op이다 — pending 가드는 `not-found`일 때만 격상하므로(`entityErr`), 이름이 겹치면 자식 op의 핸들이
+ * **기존 엔티티로 조용히 해소돼** 사용자가 의도한 신규 엔티티가 아니라 남의 엔티티에 붙는다.
+ * 이름은 사용자·AI가 정해야 할 값이라 도구가 유일화(`Order2`)로 발명하지 않는다([[dont-invent-unknown-values]]).
+ */
+ | {
+    code: 'entity-name-conflict';
+    opIndex: number;
+    handle: Handle;
+    matches: ModelId[];
+}
+/**
+ * attribute.update patch의 `attrType` — 미지 값이거나 **전환**(현재 값과 다름)이라 거부.
+ *
+ * ★`attrType`은 patch로 자유 설정할 값이 아니라 **동반 구조에서 파생되는 성격**이다:
+ * `RELATION_*`은 관계가 소유(`derivedFrom`·`end.attributeRef`), `EMBED_*`는 `embedded` 또는 카탈로그
+ * 임베더블 `type`, `DIVIDER`는 `dbAttrs=[]`·`type=''`가 동반돼야 성립한다. patch는 그 동반 구조를
+ * 표현할 수 없으므로 전환을 통과시키면 **아무도 관리하지 않는데 사용자도 고칠 수 없는 잠긴 컬럼**이
+ * 된다(CC-10 ①-b에서 mermaid 파서가 만들던 바로 그 상태 — `fkDerived`가 GUI 편집을 잠그는데 전파·
+ * 코드젠은 그 속성을 관리하지 않는다). 각 축의 정상 경로는 따로 있다: 관계 실체화=관계 op,
+ * 임베드 서브컬럼=`embeddableOverrides`, inverse nav 토글=`navigable-toggle-unsupported`가 안내.
+ * ⇒ 라운드트립 에코(같은 값 재전송)만 통과시킨다. `reason`으로 사용자가 할 일이 갈린다.
+ */
+ | {
+    code: 'attribute-attrtype-unsupported';
+    opIndex: number;
+    entity: Handle;
+    handle: Handle;
+    /** `unknown-value`=오탈자·존재하지 않는 값 / `transition`=값은 유효하나 patch로 바꿀 수 없는 축. */
+    reason: 'unknown-value' | 'transition';
+    current: string;
+    requested: string;
+}
+/** association.update patch 미지 키(스키마는 하드 폐색 — REST 직접 호출 대비 심층 방어). */
+ | {
+    code: 'association-patch-unknown-key';
+    opIndex: number;
+    handle: AssocHandle;
+    keys: string[];
+}
+/**
+ * associationEnd.update patch 미지 키. entity.update와 같은 이유로 스키마가 open(dotted `jpa.*`)이라
+ * resolver가 유일한 게이트다. `entityRef`·`attributeRef`는 구조 참조라 patch로 바꾸면 관계가 끊긴다.
+ */
+ | {
+    code: 'association-end-patch-unknown-key';
+    opIndex: number;
+    handle: AssocHandle;
+    keys: string[];
+}
+/**
+ * index/operation 핸들에 `by:'physicalName'` — 두 대상엔 물리명 차원이 없어 고정할 키가 없다.
+ * 조용히 name으로 매칭하면 *지정하지 않은 키로 해소된 결과*가 성공으로 돌아온다(엔티티 핸들의 `by`는
+ * 실제로 키를 고정하므로 같은 필드가 대상에 따라 다르게 동작하는 무신호 비대칭). `by`를 빼거나 `'name'`으로.
+ */
+ | {
+    code: 'handle-by-unsupported';
+    opIndex: number;
+    entity: Handle;
+    handle: Handle;
+    target: 'index' | 'operation';
+}
+/** index.update patch 미지 키(스키마 하드 폐색 — 심층 방어). `columns`는 전용 에러가 먼저 잡는다. */
+ | {
+    code: 'index-patch-unknown-key';
+    opIndex: number;
+    entity: Handle;
+    handle: Handle;
+    keys: string[];
+}
+/** operation.update patch 미지 키(스키마 하드 폐색 — 심층 방어). */
+ | {
+    code: 'operation-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 +322,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,14 @@ 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];
+/**
+ * `AttributeType`(core) 런타임 목록 — JSON Schema enum과 resolver 값 검증이 공유한다.
+ * SoT는 core의 union이고 아래 단언이 양방향 일치를 강제한다(`SYMBOLIC_OP_KINDS`와 같은 형태).
+ *
+ * ★목록이 있다고 patch로 자유 전환이 되는 건 아니다 — `attrType`은 동반 구조에서 파생되는 성격이라
+ * (RELATION_*=관계 소유, EMBED_*=`embedded`/카탈로그 type, DIVIDER=dbAttrs 0·type '') resolver가
+ * *전환*은 거부하고 라운드트립 에코만 통과시킨다. 이 목록의 쓸모는 **미지 값 판별**이다.
+ */
+export declare const ATTRIBUTE_TYPES: readonly ["NORMAL", "RELATION_OWN", "RELATION_REF", "EMBED_OWN", "EMBED_REF", "EMBED_PREDEF", "DIVIDER"];

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/command/op.d.ts

@@ -31,6 +31,25 @@ export interface OpShape {
      */
     incidental?: boolean;
 }
+/**
+ * update patch의 **clear 표기 정규화** — 값이 `undefined`인 키(= 그 필드를 부재로 되돌린다)를 `null`로 바꾼다.
+ *
+ * ★왜 필요한가: op은 JSON으로 호스트에 전송되는데 `JSON.stringify`가 **값이 undefined인 키를 통째로 드롭**한다.
+ * 그러면 그 키가 호스트 `$set`에 도달하지 못해 **로컬은 지웠는데 서버는 그대로**인 괴리가 남는다. 발동 경로는
+ * 둘 다 일상 편집이다 —
+ *   ① **undo**: 원래 비어 있던 필드를 채운 뒤 되돌리면 invert patch가 `{field: undefined}`가 된다
+ *      (`updateEntity` 등이 `old[k] = e[k]`로 캡처하므로 부재 필드는 undefined로 잡힌다).
+ *   ② **명시적 clear**: 컨트롤러가 `{legacyEmbedRaw: undefined}`·`{attributeRef: undefined}`·
+ *      임베드 단일 전환의 `{collectionType/collectionTable/orderColumn: undefined}`처럼 "비움"을 patch로 낸다.
+ *
+ * `null`은 wire를 통과하고 호스트가 `$set field: null`로 집행한다. 이 리포는 **null ≡ 부재** 규약을 이미
+ * 쓰고 있어(`synthesizeRestoreOps`의 `fieldPatch`가 같은 이유로 clear를 null로 표기 + `deepEqual`이 둘을 동치로
+ * 비교, FK 전파 `diffSyncedFields`도 저장 null을 undefined로 정규화해 비교) 저장값 null은 부재와 같게 읽힌다.
+ *
+ * ★**얕은 정규화만** 한다 — 중첩 객체(`jpaAttrs`·`jpa`·`dbAttrs`)는 호스트가 **통째로 `$set`**하므로 내부의
+ * undefined 키는 드롭돼도 결과가 "그 키 부재"라 의미가 그대로 보존된다. 최상위 키만 `$set` 경로로 1:1 매핑된다.
+ */
+export declare function toWirePatch(patch: object): Record<string, unknown>;
 /**
  * apply 이후 호출 계약(계약 1)의 산출 — memento가 채워진 상태에서 do/undo 양방향 op.
  * invert는 *역방향 forward op*(계약 2) — 같은 op의 역값이 아니라 역연산 op.
@@ -62,7 +81,22 @@ export interface PersistedOpBatch {
     /** 멱등 키 — 재시도 중복 적용 차단(호스트가 직전 결과 반환). */
     clientOpId: string;
 }
-/** 충돌 종류 — rev 불일치 / layout.version 불일치 / 대상 소실. */
+/**
+ * 하드 프리즈 사유 — **방출 주체가 kind마다 다르다**(선언과 실제를 맞춘 기록, 2026-08-15 실측).
+ *
+ * - `rev` — **호스트가 내는 유일한 kind**. CAS filter 불일치(`matchedCount:0`)를 전부 이걸로 접는다.
+ *   호스트는 rev 불일치와 layout.version 불일치를 구분하지 않으므로(단일 updateOne filter) 두 원인이
+ *   모두 여기로 들어온다. = "다른 곳에서 이미 변경됨".
+ * - `layout` — **현재 어떤 writer도 방출하지 않는다**(예약). 위 사유로 호스트가 `rev`로 접고, 클라도
+ *   합성하지 않는다. 소비처(배너·호스트 watch)는 `rev`와 같은 경로로 처리한다.
+ * - `missing` — **클라이언트 합성 전용 = op 전송 실패**(4xx/5xx/네트워크로 transport가 throw).
+ *   동시편집이 아니라 혼자 편집 중에도 발생하므로 "다른 사용자가 변경"으로 안내하면 오진이다
+ *   (`opConflictNotice`·호스트 watch가 이 kind로 분기해 손실 고지 후 재적재를 확인받는다).
+ *   ★이름이 "대상 소실"처럼 읽히지만 그 의미로 쓰인 적이 없다 — 호스트 op 어휘엔 대상 소실 응답이 없다.
+ *
+ * ⚠️ 새 kind를 늘리기 전에 **소비처 분기**(`opConflictNotice` + 호스트 `opConflict` watch)를 함께 넓힐 것.
+ * 넓히지 않으면 새 kind가 else 분기로 떨어져 조용히 다른 복구 경로를 탄다(CC-9의 무신호 실패 모드).
+ */
 export interface OpConflict {
     kind: 'rev' | 'layout' | 'missing';
     ref?: ModelId;

package/dist/command/opSync.d.ts

@@ -40,14 +40,24 @@ export interface OpSyncOptions {
     newClientOpId?: () => string;
     /** 충돌(또는 전송 실패)로 하드 프리즈 진입 시 — controller가 editable=false + reload UX 연동. */
     onFreeze?: (conflict: OpConflict) => void;
-    /** 전송 거부(네트워크 등) 통지 — 진단용(프리즈는 별도 onFreeze로). */
+    /**
+     * 전송 거부(네트워크 등) 통지 — 진단용(프리즈는 별도 onFreeze로).
+     * 재시도하는 경우 **시도마다** 발화한다(회복돼도 원인을 추적할 수 있어야 하므로).
+     */
     onError?: (err: unknown) => void;
+    /**
+     * 전송 실패 재시도 지연(ms) — 배열 길이가 곧 재시도 횟수. 기본 `[400, 1200]`(총 3회 시도).
+     * `[]`이면 재시도 없이 즉시 프리즈. 같은 배치를 **같은 `clientOpId`로** 재전송하므로 호스트
+     * 멱등 ring이 중복 적용을 흡수한다(응답만 유실된 경우 직전 결과를 그대로 돌려받는다).
+     */
+    retryDelaysMs?: number[];
 }
 export declare class OpSyncAdapter {
     private readonly opts;
     private readonly cache;
     private readonly newClientOpId;
     private readonly debounceMs;
+    private readonly retryDelaysMs;
     private readonly emissions;
     private open;
     private debounceHandle;

package/dist/command/stack.d.ts

@@ -32,7 +32,17 @@ export declare class CommandStack {
     sealCoalesce(): void;
     get canUndo(): boolean;
     get canRedo(): boolean;
-    /** 저장 시점 표시 — 이후 dirty 판정 기준 */
+    /**
+     * 저장 시점 표시 — 이후 dirty 판정 기준.
+     *
+     * ★저장 경계는 곧 **undo 단위 경계**여야 한다. 봉인하지 않으면 직후의 동일 `coalesceKey` 명령이
+     * savePoint가 가리키는 스택 top을 **슬롯째 교체**해(execute의 coalesce 분기) savePoint 객체가
+     * 스택에서 사라진다 — 그러면 `isDirty`가 다시 false가 될 수 없어 **영구 dirty로 고착**된다.
+     * 플래그 문제가 아니라 경계 문제다: 병합된 단위의 invert는 그룹 시작으로 되돌아가므로 저장 지점
+     * 상태 자체가 undo로 **도달 불가**해진다. 근거는 op 어댑터의 flush 봉인과 동일하다(영속 경계
+     * 이후 동일 키는 새 단위). op-mode에서는 `controller.markSaved`가 `adapter.flush()`로 이미
+     * 봉인하지만, 그건 전송 경계라는 다른 이유의 우연한 커버라 여기서 구조적으로 닫는다.
+     */
     markSavePoint(): void;
     /** 마지막 저장 이후 변경 여부 (undo로 저장 지점에 정확히 돌아오면 clean) */
     get isDirty(): boolean;

package/dist/core/associationNav.d.ts

@@ -1,6 +1,26 @@
 import { Multiplicity } from './types';
 /** end2 multiplicity가 컬렉션(0..* / 1..*)인가 — 코드젠의 @OneToMany vs @OneToOne 분기와 동일 기준. */
 export declare function isCollectionMultiplicity(m: Multiplicity): boolean;
+/**
+ * 최소 개수가 0인가(0..1 / 0..*) — 레거시 `Multiplicity.isOptional()` 이식.
+ *
+ * FK nullability의 파생원이다: 부모 end(end1)가 optional이 아니면(=`1`) 자식은 부모 없이 존재할 수
+ * 없으므로 FK는 NOT NULL이다. 레거시 코드젠이 `@ManyToOne(optional=…)`·`@JoinColumn(nullable=…)`을
+ * 정확히 이 값으로 방출했다(bluework-im `EntityJavaFile:900,932,1072,1120`).
+ *
+ * 자식 end(end2)의 `0..*` vs `1..*`는 이 축이 아니다 — "부모가 자식을 최소 1개 가진다"는 자식 테이블의
+ * 컬럼 제약으로 표현할 수 없다(레거시도 여기서 nullability를 뽑지 않는다).
+ *
+ * 판정을 "required 목록의 여집합"으로 쓴다(`!== '1' && !== '1..*'`) — union 밖 값(레거시는 다중성
+ * 미설정을 null로 허용)이 흘러들어도 optional=nullable로 안전하게 떨어진다.
+ */
+export declare function isOptionalMultiplicity(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/columnResolve.d.ts

@@ -0,0 +1,36 @@
+import { Attribute, DbColumn, EmbeddableCatalog, Entity, LogicalModel } from './types';
+/** 상속 해소 컨텍스트 — `ValidationContext`·`DdlContext`와 동형(카탈로그는 호스트 주입). */
+export interface ColumnResolveContext {
+    /** EMBED_PREDEF 서브컬럼의 선언값 해석용. 미주입 시 그 축만 graceful degrade(빈 값). */
+    embeddableCatalog?: EmbeddableCatalog;
+}
+/**
+ * 컬럼의 **실효 값** — 자기 값이 비어 있으면 선언원에서 상속. 문자열은 빈값 폴백(`||`), 수치는
+ * null/undefined 폴백(`??`)이다(저장 라운드트립이 미설정 수치를 `null`로 바꾸므로 — propagation `nn()` 동형).
+ *
+ * 축별 폴백(값 단위)이지 슬롯 통째 대체가 아니다: 사용처가 물리명만 override하고 타입은 상속하는 형태
+ * (@AttributeOverride의 실제 용법)가 지배적이라, 한 축을 채웠다고 나머지까지 자기 값으로 강제하면
+ * 대다수 정상 데이터가 도로 빈 값이 된다. 캔버스 `EntityNode.effectiveAttr`가 쓰던 시맨틱과 동일.
+ */
+export declare function resolveEffectiveColumn(attr: Attribute, col: DbColumn, index: number, entity: Entity | undefined, model: LogicalModel, ctx?: ColumnResolveContext): DbColumn;
+/**
+ * 실효 물리명 — override(비어있지 않은 physicalName)가 있으면 그 값, 없으면 상속 기본값.
+ * 컬럼 충돌 판정(CHK-NAME-2)은 raw `''`가 아니라 이 값으로 해야 한다: 한 테이블에 같은 임베더블
+ * (예: Money)이 여러 번 쓰이고 서브컬럼을 비워두면 전부 같은 기본명을 상속해 실제 컬럼 충돌이 나고,
+ * FK도 물리명 미지정 시 부모 PK 컬럼명을 그대로 쓰므로 자식 자기 컬럼과 충돌할 수 있다.
+ */
+export declare function resolveColumnPhysicalName(attr: Attribute, col: DbColumn, index: number, entity: Entity | undefined, model: LogicalModel, ctx?: ColumnResolveContext): string;
+/**
+ * 서브컬럼의 **선언 필드명** — 다중 컬럼 속성을 컬럼 단위로 표시할 때 각 슬롯이 선언원의 어느 필드인지.
+ *
+ * 축을 EMBED 두 종으로 한정하는 이유: 이 이름은 장식이 아니라 **`embeddableOverrides`의 키와 같은 축**이다
+ * (AI 경로가 `{field:"currency", …}`로 서브컬럼을 지목한다 — `agent/resolver.ts`). 그 op이 EMBED_PREDEF
+ * 에만 적용되므로 카탈로그 필드명이 곧 계약이고, EMBED_OWN 은 임베더블 소스 속성명(JPA 필드명)이 그에
+ * 대응한다. FK 등 나머지는 슬롯을 지목하는 어휘가 없고 **물리명이 곧 식별자**라 undefined 를 돌려준다
+ * (호출자가 물리명으로 폴백한다 — 없는 이름을 지어내지 않는다).
+ *
+ * ⚠️평탄화 순서는 `inheritedSlotOf`의 EMBED_OWN 분기와 **반드시 같아야** 한다(선언순 dbAttrs 이어붙이기).
+ * 어긋나면 라벨과 값이 서로 다른 슬롯을 가리키는 조용한 오답이 된다. 소스 속성이 다중 컬럼이면 그 이름이
+ * 슬롯 여럿에 반복되는데, 그것이 실제 구조(한 필드가 여러 컬럼)라 구분자를 덧붙이지 않는다.
+ */
+export declare function slotFieldName(attr: Attribute, index: number, model: LogicalModel, ctx?: ColumnResolveContext): string | undefined;

package/dist/core/embedSlots.d.ts

@@ -0,0 +1,18 @@
+import { DbColumn, LogicalModel, ModelId } from './types';
+/** owner 표시 속성 한 건의 슬롯 보충 계획 — 컨트롤러가 `updateAttribute { dbAttrs }`로 커밋한다. */
+export interface EmbedSlotFill {
+    /** 표시 속성을 보유한 소유자 엔티티. */
+    entityId: ModelId;
+    /** `EMBED_OWN` 표시 속성. */
+    attributeId: ModelId;
+    /** 보충 후 전체 슬롯 목록(기존 슬롯 그대로 + 꼬리 빈 슬롯). */
+    dbAttrs: DbColumn[];
+    /** 보충한 슬롯 수(로그·테스트 가독용). */
+    added: number;
+}
+/**
+ * `embeddableRef`를 사용하는 모든 owner의 슬롯을 선언 컬럼 수까지 채우는 계획.
+ * 대상이 없거나 이미 맞으면 빈 배열(무변경). 컬렉션 EMBED(@ElementCollection)는 컬럼이 임베더블에
+ * 남고 owner 슬롯을 비우는 것이 정상이라 제외한다(`controller.setEmbedCardinality`가 `dbAttrs: []`).
+ */
+export declare function planEmbedSlotFill(model: LogicalModel, embeddableRef: ModelId, genId?: () => ModelId): EmbedSlotFill[];

package/dist/core/fkDerived.d.ts

@@ -0,0 +1,37 @@
+import { Association, Attribute, DbColumn, Entity } from './types';
+/**
+ * FK 유래 컬럼 = 물리 컬럼을 보유한 관계 속성(RELATION* + dbAttrs). 형상(dataType/length/scale/
+ * physicalName/notNull 등)은 부모 식별자(PK) + 관계 identifying에서 파생된다.
+ * derivedFrom이 아니라 이 불변식을 쓰는 이유: derivedFrom은 관계·전파가 심는 링크라 그 자체가 결손일 수
+ * 있는 반면, "관계 속성이 물리 컬럼을 갖는다"는 형상은 FK의 정의 자체다.
+ * (과거 이 자리엔 "derivedFrom은 영속 데이터엔 0건"이라는 근거가 적혀 있었으나 **실측과 어긋난다** —
+ *  BNKR_SALES 32문서에서 FK 속성 666건 전량이 derivedFrom을 보유한다. v2는 문서에 그대로 저장되고,
+ *  v1은 어댑터 `assocFromHydrated`(diagramAdapter.ts:350)가 하이드레이션 시 합성한다. 두 판정은 이
+ *  데이터에서 100% 일치하므로 동작 차이는 없다.)
+ * RELATION_REF(inverse nav, dbAttrs=0)는 물리 컬럼이 없어 제외.
+ *
+ * ── FK 판정 술어 인벤토리(리포 전역) ─────────────────────────────────────────
+ * 이 술어 말고도 "FK인가"를 묻는 자리가 몇 곳 더 있고, **의도적으로 다르다**. 새 판정을 추가하기 전에
+ * 아래 중 하나로 답할 수 있는지 먼저 확인할 것(중복이면 여기로 위임).
+ *
+ *  | 자리 | 술어 | 왜 다른가 |
+ *  |---|---|---|
+ *  | `isFkDerivedColumn`(여기) | RELATION* && dbAttrs>0 | 뷰 잠금·형상 해소. `findFkOwningAssociation`이 위임 |
+ *  | `attributeOrder.isPhysicalFk` | derivedFrom && dbAttrs>0 | 표시 순서 정렬. **강등 이후** 호출 전제라 `derivedFrom`이 기준(경계 강등된 컬럼은 제자리에 남아야 한다) |
+ *  | `mermaid.isForeignKey` | RELATION_OWN‖RELATION_REF‖derivedFrom | ER **FK 마커**는 nav(dbAttrs=0)까지 표시 대상이라 컬럼 보유를 안 본다 |
+ *  | `ddl.ts` FK 제약 방출 | derivedFrom 단독 | 부모 컬럼을 알아야 REFERENCES를 쓸 수 있어 링크가 필수 |
+ *  | `propagation` `currentFk` | derivedFrom 단독 | 판정이 아니라 reconcile diff의 **매칭 키** |
+ *
+ * 실 데이터에서 두 축(RELATION* / derivedFrom)은 100% 일치하므로(위 문단) 이 차이는 대체로 관측되지
+ * 않는다. 발산했던 유일한 경로는 mermaid 임포트가 관계 없는 RELATION_OWN을 만들던 것이고
+ * (`parseMermaid.wireForeignKeyColumns` 주석), 그건 발생원에서 닫았다.
+ */
+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/indexCleanup.d.ts

@@ -0,0 +1,16 @@
+import { Entity, IndexColumn, ModelId } from './types';
+/** 한 인덱스의 정리 결과 — `columns` 는 정리 **후** 전량(패치가 통째 교체이므로). */
+export type IndexColumnCleanup = {
+    indexRef: ModelId;
+    columns: IndexColumn[];
+};
+/**
+ * `entity` 에서 `removedAttributeIds` 가 사라질 때 정리해야 할 인덱스 목록.
+ *
+ * 고아가 되는 ref = 사라지는 속성의 **속성 modelId + 그 dbAttr modelId 전부**(두 표기 모두 유입 가능).
+ * 변화가 없는 인덱스는 결과에 넣지 않는다(빈 패치 방출 = INV-5 멱등 위배).
+ *
+ * ⚠️한 조작에서 여러 속성이 사라지면 **한 번에** 넘길 것 — 속성마다 따로 호출하면 각 산출이 원본 기준이라
+ * 나중 패치가 앞의 정리를 되돌린다.
+ */
+export declare function planIndexColumnCleanup(entity: Entity, removedAttributeIds: readonly ModelId[]): IndexColumnCleanup[];

package/dist/core/indexColumnRef.d.ts

@@ -0,0 +1,27 @@
+import { Attribute, DbColumn, ModelId } from './types';
+/** 한 엔티티의 인덱스 columnRef 해소기. 두 표기(속성 modelId / dbAttr modelId)를 모두 받는다. */
+export type IndexRefResolver = {
+    /** 이 ref 가 속한 속성(표시용). 다중 컬럼 속성 ref 도 여기선 해소된다. */
+    attributeOf(ref: ModelId): Attribute | undefined;
+    /**
+     * 이 ref 가 **특정하는 물리 컬럼**. undefined 면 컬럼이 특정되지 않은 것이다(다중 컬럼 속성 ref /
+     * 상속 · dangling). ⚠️`attributeOf` 가 있는데 이것이 없다 = *대상은 있으나 어느 컬럼인지 미지정*.
+     */
+    columnOf(ref: ModelId): DbColumn | undefined;
+    /**
+     * 비교용 정규 키 — **컬럼이 특정되면** 그 dbAttr modelId, 아니면 원문 그대로.
+     * 원문이 그대로 나오는 경우는 셋이다: 이미 dbAttr 표기 / 다중 컬럼 속성 ref(모호) / 상속·dangling.
+     */
+    canon(ref: ModelId): ModelId;
+};
+/**
+ * 엔티티 속성 목록으로 해소기를 만든다. 인덱스는 **엔티티 로컬**이므로 그 엔티티 속성만 넘긴다
+ * (전역 맵을 쓰면 실 데이터의 modelId 중복[N-2 레거시 유입]에서 남의 엔티티 컬럼으로 해소된다 —
+ * `ddl.ts`의 `ownCols`가 같은 이유로 테이블 로컬이다).
+ */
+export declare function indexRefResolver(attributes: readonly Attribute[]): IndexRefResolver;
+/**
+ * 미해소 ref 의 진단 라벨 — 산출물(DDL 생략 주석·코드젠 fillIn)이 **고칠 자리를 지목**하도록 한다.
+ * ref 원문(UUID)만 내면 사용자가 어느 컬럼인지 찾을 수 없다.
+ */
+export declare function describeIndexRef(r: IndexRefResolver, ref: ModelId): string;