@g1cloud/entity-modeler-next 5.0.0-beta.4 → 5.0.0-beta.40

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,117 @@ 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[];
+}
+/**
+ * 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[];
+}
+/** 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.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 +287,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/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,22 @@
+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;

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

@@ -17,6 +17,11 @@ export declare const DEFAULT_JAVA_TYPE = "String";
 export declare const JAVA_TYPES: readonly JavaTypeDef[];
 /** 저장값 → 표시 라벨. 미등록 값(임베더블 타입명·커스텀명·미지 값)은 그대로 반환(폴백). */
 export declare function javaTypeLabel(value: string): string;
+/**
+ * 물리 DB 타입 → 자바 타입 저장값. 매핑 없는 타입(미지 타입·구조 타입·JDBC 추상 타입)은 undefined —
+ * 호출자가 타입을 비워 "모른다"를 보존한다. 위 `JAVA_TYPE_BY_DATA_TYPE` 주석의 결정 근거 참조.
+ */
+export declare function javaTypeFromDataType(dataType: string | undefined): string | undefined;
 /**
  * ① 스칼라 자바 타입 셀렉트 후보(단일 출처). JAVA_TYPES에서 비후보(⑤·레거시 표시용)를 빼고
  * ④ CustomType은 "사용자정의" 안내 라벨로 노출. ②embeddable·③customtype은 애초에 JAVA_TYPES에 없음.

package/dist/core/opSubject.d.ts

@@ -0,0 +1,54 @@
+import { ModelId } from './types';
+import { OpShape } from '../command/op';
+/** 감사 대상 종류 — 논리 모델의 편집 단위. 레이아웃 축은 대상이 아니다. */
+export type OpSubjectKind = 'entity' | 'attribute' | 'operation' | 'index' | 'association' | 'associationEnd' | 'group';
+/** 무엇이 바뀐 대상인가. `entityRef`는 자식(속성/연산/인덱스)의 부모(이름 조회·복원 스코프). */
+export interface OpSubject {
+    kind: OpSubjectKind;
+    ref: ModelId;
+    entityRef?: ModelId;
+    end?: 'end1' | 'end2';
+}
+/** op이 한 대상에 가하는 접촉 — 존재 변화(add/remove) 또는 내용 변경(existence 없음). */
+export interface OpSubjectTouch {
+    subject: OpSubject;
+    /** 대상의 생성/삭제. 내용 변경(update)·기타는 undefined. */
+    existence?: 'add' | 'remove';
+    /** `entity.add` value에 인라인돼 태어난 자식(자기 op 없음) — 소비자가 top-level만 볼 때 거른다. */
+    inline?: true;
+}
+/** 인벤토리 한 행 — 이 kind를 감사 축이 어떻게 다루는가. */
+export interface OpAuditHandling {
+    /** 이 op이 지목하는 대상 종류. `null`=감사 범위 밖(레이아웃 축). */
+    subject: OpSubjectKind | null;
+    /** 대상의 존재 변화 여부. */
+    existence: 'add' | 'remove' | null;
+    /** `projectFieldAudit`가 필드 변경(born/patch/tombstone)으로 투영하는가. */
+    fieldAudit: boolean;
+    /** 범위 밖이거나 예외적인 행의 근거. */
+    note?: string;
+}
+/**
+ * **전 op 어휘 인벤토리.** lib이 방출하는 kind는 전부 여기 있어야 한다 —
+ * `opSubject.coverage.test.ts`가 소스의 `kind:` 리터럴과 대조해 누락을 실패로 만든다.
+ * (새 어휘를 추가하면 그 테스트가 깨진다 = "조용히 무시"가 "명시적 결정"으로 바뀌는 지점.)
+ */
+export declare const OP_AUDIT_INVENTORY: Record<string, OpAuditHandling>;
+/**
+ * op이 건드리는 감사 대상 목록. 인벤토리에 없는(=이 lib이 모르는) kind는 빈 배열 — 발굴은
+ * `describeContainer`의 접두 폴백이 계속 덮는다.
+ *
+ * `entity.add`는 자신 + value에 인라인된 자식(속성/연산/인덱스)을 함께 낸다(`inline: true`).
+ * 인라인 자식을 볼지 여부는 소비자가 정한다 — 필드 감사가 이미 필드로 잡는 축이면 거른다.
+ */
+export declare function describeOpSubjects(op: OpShape): OpSubjectTouch[];
+/** 발굴용 top-level 소속 대상. */
+export interface OpContainer {
+    kind: 'entity' | 'association' | 'group';
+    ref: ModelId;
+}
+/**
+ * op이 속한 top-level 대상(엔티티/연관/그룹). **접두 매칭**이라 같은 계열의 미지 어휘도 덮는다
+ * (모듈 헤더 ★ 참조 — 발굴 누락은 그 seq를 이력에서 통째로 지운다).
+ */
+export declare function describeContainer(op: OpShape): OpContainer | null;

package/dist/core/projectActionLog.d.ts

@@ -1,14 +1,11 @@
-import { ModelId } from './types';
 import { FieldAuditRecord } from './projectFieldAudit';
-import { EntityAuditSubjectKind } from './projectEntityAudit';
-export type ActionSubjectKind = EntityAuditSubjectKind | 'association' | 'associationEnd' | 'group';
-/** 무엇이 바뀐 대상인가. entityRef는 자식(속성/연산/인덱스) subject의 부모(이름 조회·복원 스코프). */
-export interface ActionSubject {
-    kind: ActionSubjectKind;
-    ref: ModelId;
-    entityRef?: ModelId;
-    end?: 'end1' | 'end2';
-}
+import { OpSubject, OpSubjectKind } from './opSubject';
+export type ActionSubjectKind = OpSubjectKind;
+/**
+ * 무엇이 바뀐 대상인가. entityRef는 자식(속성/연산/인덱스) subject의 부모(이름 조회·복원 스코프).
+ * 정의는 `opSubject`(어휘 해석 단일 출처)가 갖고 여기선 공개 이름만 유지한다.
+ */
+export type ActionSubject = OpSubject;
 /** 한 대상의 한 필드 변경(old→new / tombstone). */
 export interface ActionFieldChange {
     field: string;

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).
  *
@@ -54,7 +71,7 @@ export declare function planPropagation(logical: LogicalModel, changedEntityId:
  * 관계가 소유한다 — 컬럼을 직접 지우는 게 아니라 관계를 삭제/변경해 제거해야 한다. 이 판별로
  * FK 속성의 직접 삭제를 차단(어포던스+가드)하고 사용자를 관계 삭제 경로로 유도한다.
  *
- * FK 컬럼 불변식(RELATION* + 물리 컬럼 보유, EntityNode.keyMarks와 동형)으로 먼저 게이트해, 관계의
+ * FK 컬럼 불변식(`isFkDerivedColumn` = RELATION* + 물리 컬럼 보유)으로 먼저 게이트해, 관계의
  * 부모측 end가 가리키는 PK(비-RELATION) 오탐을 배제한다. 그다음 두 신호로 소유 관계를 찾는다:
  *
  *  1순위 `derivedFrom.associationRef` — 전파가 심은 권위 신호. v2 네이티브 doc에 보존되고 어댑터