@g1cloud/entity-modeler-next 5.0.0-alpha.1

package/dist/command/op.d.ts

@@ -0,0 +1,80 @@
+import { ModelId } from '../core/types';
+/** rev CAS 대상 축 — logical(컨테이너 rev) / layout(layout.version, LWW). M2 §4.2 */
+export type CasUnit = 'logical' | 'layout';
+/**
+ * command가 산출하는 단일 op의 어휘 형태. `{target}.{verb}` kind + 로케이터 + 페이로드.
+ * CAS 메타는 여기 없다 — emit 어댑터 책임(계약 3).
+ */
+export interface OpShape {
+    /** `{target}.{verb}` — 'attribute.add' 등. M2 §3 어휘 인벤토리. */
+    kind: string;
+    casUnit: CasUnit;
+    /** rev CAS를 거는 대상 컨테이너(entity/association/group). layout op·top-level add/remove는 없음. */
+    containerRef?: ModelId;
+    entityRef?: ModelId;
+    attributeRef?: ModelId;
+    associationRef?: ModelId;
+    groupRef?: ModelId;
+    noteRef?: ModelId;
+    indexRef?: ModelId;
+    operationRef?: ModelId;
+    targetRef?: ModelId;
+    end?: 'end1' | 'end2';
+    /** add: 직렬화 전 core 모델 (호스트가 lib 직렬화기로 doc element 변환, A2). */
+    value?: unknown;
+    /** update: 부분 patch. */
+    patch?: Record<string, unknown>;
+    /**
+     * 부수(incidental) 레이아웃 op 마커(M2 §3.3·§4.2) — 구조 op(entity/group/association
+     * add·remove)가 동반하는 layout 엔트리 생성/삭제. `layout.version` 검사·증가 비대상.
+     * 어댑터가 `cas.layout`에서 제외하는 분기 신호.
+     */
+    incidental?: boolean;
+}
+/**
+ * apply 이후 호출 계약(계약 1)의 산출 — memento가 채워진 상태에서 do/undo 양방향 op.
+ * invert는 *역방향 forward op*(계약 2) — 같은 op의 역값이 아니라 역연산 op.
+ */
+export interface OpEmission {
+    /** do/redo 시 호스트로 보낼 op 배치 (apply 순서). */
+    forward: OpShape[];
+    /** undo 시 호스트로 보낼 역연산 forward op 배치 (invert 순서). */
+    invert: OpShape[];
+}
+/** op 출처 — 레거시 updateId 관례 계승(감사·aggregation 트리거 분기용). */
+export type OpOrigin = 'gui' | 'agent' | 'rest';
+/**
+ * 배치 CAS 단언 — 건드리는 logical 컨테이너의 base rev + (포함 시) base layout.version.
+ * 호스트가 updateOne filter로 접어 충돌(matchedCount:0)을 감지한다(M2 §4.3).
+ */
+export interface OpCas {
+    /** 건드리는 logical 컨테이너의 base rev (update/내부변경). top-level add/remove는 비대상. */
+    revs?: Record<ModelId, number>;
+    /** 의도적(non-incidental) layout op 포함 시 base layout.version. */
+    layout?: number;
+}
+/** 한 제스처 = 한 원자 배치 = 한 updateOne(M2 §4.1). */
+export interface PersistedOpBatch {
+    diagramId: string;
+    ops: OpShape[];
+    cas: OpCas;
+    origin: OpOrigin;
+    /** 멱등 키 — 재시도 중복 적용 차단(호스트가 직전 결과 반환). */
+    clientOpId: string;
+}
+/** 충돌 종류 — rev 불일치 / layout.version 불일치 / 대상 소실. */
+export interface OpConflict {
+    kind: 'rev' | 'layout' | 'missing';
+    ref?: ModelId;
+    current?: number;
+}
+/** 호스트 op 집행 응답 — ok면 갱신 rev/version, 충돌이면 하드 프리즈 트리거. */
+export type OpResult = {
+    ok: true;
+    revs: Record<ModelId, number>;
+    layoutVersion: number;
+    logicalVersion: number;
+} | {
+    ok: false;
+    conflict: OpConflict;
+};

package/dist/command/opSync.d.ts

@@ -0,0 +1,89 @@
+import { ModelId } from '../core/types';
+import { OpConflict, OpOrigin, OpResult, PersistedOpBatch } from './op';
+import { CommandStack } from './stack';
+import { EditorState } from './types';
+/**
+ * 컨테이너 rev + layout/logical version의 라이브 캐시 — 모든 forward op의 base rev 단일 출처.
+ * `fromPersisted`(세션 #2)가 마커 doc을 파싱해 `seed`로 주입하고, 호스트 응답이 drain된 시점에 확정.
+ */
+export declare class RevCache {
+    private revs;
+    layoutVersion: number;
+    logicalVersion: number;
+    /** 마커 doc 적재/재적재 시 캐시 초기화(세션 #2 fromPersisted 분기 파서가 호출). */
+    seed(snapshot: {
+        revs?: Record<ModelId, number>;
+        layoutVersion?: number;
+        logicalVersion?: number;
+    }): void;
+    rev(id: ModelId): number;
+    setRev(id: ModelId, v: number): void;
+    deleteRev(id: ModelId): void;
+    /** 진단·테스트용 읽기 스냅샷(내부 Map 노출 안 함). */
+    snapshot(): {
+        revs: Record<ModelId, number>;
+        layoutVersion: number;
+        logicalVersion: number;
+    };
+}
+/** 호스트로 배치를 전송하는 함수(세션 #3 applyEntityDiagramOps 라우트에 연결, 테스트는 mock). */
+export type OpSyncTransport = (batch: PersistedOpBatch) => Promise<OpResult>;
+export interface OpSyncOptions {
+    diagramId: string;
+    /** emitOps(state) 호출 대상 — controller의 reactive EditorState. */
+    state: EditorState;
+    transport: OpSyncTransport;
+    origin?: OpOrigin;
+    /** coalesce 그룹 idle 디바운스(ms). 기본 300. */
+    debounceMs?: number;
+    /** 멱등 키 생성기(주입 가능 — 테스트 결정성). 기본 newId. */
+    newClientOpId?: () => string;
+    /** 충돌(또는 전송 실패)로 하드 프리즈 진입 시 — controller가 editable=false + reload UX 연동. */
+    onFreeze?: (conflict: OpConflict) => void;
+    /** 전송 거부(네트워크 등) 통지 — 진단용(프리즈는 별도 onFreeze로). */
+    onError?: (err: unknown) => void;
+}
+export declare class OpSyncAdapter {
+    private readonly opts;
+    private readonly cache;
+    private readonly newClientOpId;
+    private readonly debounceMs;
+    private readonly emissions;
+    private open;
+    private debounceHandle;
+    private readonly queue;
+    private sending;
+    private _frozen;
+    private stack;
+    private settledWaiters;
+    constructor(opts: OpSyncOptions);
+    /** RevCache 시드(세션 #2 fromPersisted가 마커 파싱 후 호출). */
+    seed(snapshot: Parameters<RevCache['seed']>[0]): void;
+    /** stack에 구독 — onCommand 알림을 받고, flush 경계에서 sealCoalesce를 호출하기 위해 참조 보관. 해제 함수 반환. */
+    attach(stack: CommandStack): () => void;
+    get frozen(): boolean;
+    /** 미전송 pending 그룹 존재 여부(controller dirty 보조 신호). */
+    get hasPending(): boolean;
+    /** 진단·테스트용 캐시 스냅샷. */
+    cacheSnapshot(): ReturnType<RevCache['snapshot']>;
+    /** 강제 flush(save·blur·beforeunload) — 열린 그룹을 즉시 영속에 내보내고 coalesce 경계 봉인. */
+    flush(): void;
+    /** 큐가 비고 전송 중이 아니며 열린 그룹도 없을 때 resolve — 테스트 동기화용. */
+    whenSettled(): Promise<void>;
+    private handle;
+    private flushOpen;
+    private startDebounce;
+    private resetDebounce;
+    private cancelDebounce;
+    private buildBatch;
+    private enqueue;
+    private pump;
+    /**
+     * ok 응답 확정 — 낙관 체인 유지가 핵심. 후속 pending 배치가 이 예측 위에 base를 쌓았으므로
+     * 큐가 완전히 빈 시점에만 서버 권위값으로 덮어쓴다(중간에 덮으면 후속 배치 base가 stale → 거짓 충돌).
+     * ok ⟹ CAS 통과 ⟹ 서버 신 rev = 낙관 예측이므로, 미배수 시 캐시는 이미 정확(덮을 필요 없음).
+     */
+    private reconcile;
+    private freeze;
+    private notifySettled;
+}

package/dist/command/stack.d.ts

@@ -0,0 +1,48 @@
+import { Command, EditorState } from './types';
+export type StackListener = () => void;
+/** 명령 적용 방향 — op emit 어댑터가 forward(do/redo) vs invert(undo) op를 고르는 축. */
+export type CommandDirection = 'do' | 'undo' | 'redo';
+/**
+ * 명령 적용 알림 구독자(트랙 B). `onChange`(상태 변경 무인자 알림)와 직교 —
+ * 이쪽은 *어떤 명령이 어느 방향으로* 적용됐는지(+coalesce 병합 여부)를 전달해
+ * op emit 어댑터가 emitOps로 op 배치를 파생하게 한다.
+ */
+export type CommandListener = (cmd: Command, dir: CommandDirection, coalesced: boolean) => void;
+/**
+ * 명령 스택 — 레거시 ActionManager 대응.
+ * execute/undo/redo와 savePoint 기반 dirty 추적을 제공한다.
+ */
+export declare class CommandStack {
+    private readonly state;
+    private undoStack;
+    private redoStack;
+    private savePoint;
+    private listeners;
+    private commandListeners;
+    private coalesceSealed;
+    constructor(state: EditorState);
+    execute(cmd: Command): void;
+    undo(): void;
+    redo(): void;
+    /**
+     * 다음 execute의 coalesce 병합을 1회 차단한다(op 어댑터의 idle flush·강제 flush 시 호출).
+     * 어댑터가 coalesce 그룹을 영속에 내보낸 경계 이후의 동일 키 명령이 같은 undo 단위로
+     * 빨려 들어가면 undo 시 로컬·서버 상태가 어긋나므로, 봉인으로 새 단위를 강제한다.
+     */
+    sealCoalesce(): void;
+    get canUndo(): boolean;
+    get canRedo(): boolean;
+    /** 저장 시점 표시 — 이후 dirty 판정 기준 */
+    markSavePoint(): void;
+    /** 마지막 저장 이후 변경 여부 (undo로 저장 지점에 정확히 돌아오면 clean) */
+    get isDirty(): boolean;
+    /** 변경 알림 구독 — 반환 함수로 해제 */
+    onChange(listener: StackListener): () => void;
+    /**
+     * 명령 적용 알림 구독(트랙 B op emit). apply/invert 적용 *직후* 발화하므로
+     * 구독자가 emitOps()를 호출하면 memento가 채워진 상태를 본다(계약 1). 반환 함수로 해제.
+     */
+    onCommand(listener: CommandListener): () => void;
+    private emit;
+    private emitCommand;
+}

package/dist/command/types.d.ts

@@ -0,0 +1,29 @@
+import { DiagramLayout, LogicalModel } from '../core/types';
+import { OpEmission } from './op';
+/** 편집 대상 상태 — 분리된 논리 모델 + 다이어그램 레이아웃 */
+export interface EditorState {
+    logical: LogicalModel;
+    layout: DiagramLayout;
+}
+/**
+ * 명령(Command) — 레거시 EMAction 대응.
+ * apply로 상태를 변경하고 invert로 정확히 되돌린다(do/undo 대칭).
+ */
+export interface Command {
+    readonly label: string;
+    /**
+     * 연속 동종 변경(키보드 미세 이동 등)을 하나의 undo 단위로 병합하기 위한 키.
+     * 직전 명령의 키와 같으면 스택에서 합쳐진다(시작 상태 복원을 승계). undefined면 병합하지 않음.
+     */
+    readonly coalesceKey?: string;
+    apply(state: EditorState): void;
+    invert(state: EditorState): void;
+    /**
+     * 자신을 forward/invert op로 파생한다(트랙 B (가)). **apply() 이후 호출 계약**(계약 1) —
+     * invert op이 apply가 캡처한 memento에 의존하므로(move=이전 좌표, removeEntity=cascade 대상).
+     *
+     * 옵셔널 — 점진 마이그레이션 중 미구현 command는 op를 산출하지 않는다. 호스트 영속 경로(stack
+     * emit 훅, B-2)는 이 메서드 부재를 런타임 가드로 감지해야 op 누락이 조용히 새지 않는다.
+     */
+    emitOps?(state: EditorState): OpEmission;
+}

package/dist/core/autolayout.d.ts

@@ -0,0 +1,12 @@
+import { DiagramLayout, LogicalModel, ModelId, Point } from './types';
+export interface AutoLayoutGrid {
+    cellWidth: number;
+    cellHeight: number;
+    pad: number;
+    headerHeight: number;
+    ungroupedCols: number;
+}
+export declare function computeAutoLayout(logical: LogicalModel, layout: DiagramLayout, grid?: Partial<AutoLayoutGrid>): {
+    id: ModelId;
+    location: Point;
+}[];

package/dist/core/dbTypes.d.ts

@@ -0,0 +1,45 @@
+/**
+ * 물리 DB 타입(DbColumn.dataType) 카탈로그 — 속성의 DB 컬럼 타입 셀렉트 단일 출처.
+ *
+ * 권위 정의: bluework-entitymodeler-core `net.g1project.bluework.entitymodeler.core.shared.DataType`
+ * (JDBC `java.sql.JDBCType` 기반 enum + PostgreSQL 확장 SERIAL·BIG_SERIAL·JSONB). javaTypes.ts가
+ * 레거시 JavaType enum을 이식한 것과 대칭 — 저장값(dataType) = enum 상수명이고, 실제 DDL 타입으로의
+ * 변환은 호스트 플랫폼(BlueworkPostgreSqlPlatform 등)이 담당한다(예: TIMESTAMP_WITH_TIMEZONE →
+ * "TIMESTAMP WITH TIME ZONE", JAVA_OBJECT → "JSONB"). 따라서 카탈로그는 DDL 리터럴이 아니라 enum명을
+ * 그대로 담는다 — round-trip 무손실.
+ *
+ * 두 계층을 분리한다: ALL_DATA_TYPES(저장·round-trip·폴백의 권위)는 enum 전체로 플랫폼 중립을 유지하고,
+ * SELECTABLE_DATA_TYPES(셀렉트 후보)는 PG 타겟 기준으로 좁힌다 — ddlutils 1.0 PG 매핑(바이트코드 실측)
+ * 대비 DDL 생성이 불확실하거나 의미가 변형되는 타입은 신규 선택에서 뺀다. 기존 데이터는 폴백 합성으로 보존.
+ *
+ * 표시값은 enum명 원본(value==label). javaType과 달리 표시 변환 매핑이 없다 — attrTypeCell의 PHYSICAL
+ * 뷰가 dataType을 그대로 출력하므로 셀렉트도 enum명이어야 뷰가 일관된다. 단순 문자열 목록 + idn(value=
+ * label) 패턴(personalInfoItems·updatableItems와 동형).
+ */
+/** DataType enum 전체 이식(정의 순서 보존). round-trip·폴백 합성의 권위 목록 — 셀렉트 후보는 아래서 필터. */
+export declare const ALL_DATA_TYPES: readonly string[];
+/** DB 타입 셀렉트 후보(단일 출처) — enum 전체에서 비컬럼 추상타입을 뺀 실 컬럼 타입. */
+export declare const SELECTABLE_DATA_TYPES: readonly string[];
+/** 저장값(enum명) → 표시 라벨. 미등록 값은 그대로 반환(폴백). 셀렉트 label-provider·attrTypeCell 공용. */
+export declare function dbTypeLabel(value: string): string;
+/**
+ * 길이(length)를 지정해야 의미가 완결되는 가변/고정 길이 타입 — 누락 시 DB 기본/암묵 길이로 떨어져
+ * 의도와 어긋날 수 있다(예: VARCHAR 무길이). 검증 CHK-TYPE-2의 단일 출처(타입 메타데이터는 이 카탈로그 소유).
+ *
+ * NUMERIC·DECIMAL은 precision을 length로 표현 — 누락 시 정밀도 미정의이므로 동일하게 포함한다.
+ * scale은 누락 시 0으로 떨어지는 게 정수형 의미로 정당해 **필수로 보지 않는다**(length만 검사).
+ * TEXT류(LONGVARCHAR·CLOB·BLOB)·고정 폭 타입(INTEGER·DATE·BOOLEAN 등)은 길이 무의미라 제외.
+ */
+export declare const LENGTH_REQUIRED_DATA_TYPES: ReadonlySet<string>;
+/**
+ * dataType 셀렉트 items — 실 컬럼 후보 + 현재값 폴백 합성.
+ *
+ * open-bluesea BSSelect는 model-value가 items에 없으면 placeholder로 떨어뜨려 값이 빈칸으로 보인다(표시
+ * 손상). 현재값이 후보 밖(비후보 추상타입·미지 레거시값)이면 맨 앞에 합성해 현 상태를 보존 표시한다 —
+ * 자유 선택지가 아니라 "현재 보유 값" 표시용. 빈값(미설정)은 합성하지 않고 placeholder에 맡긴다.
+ *
+ * selectable은 어포던스(드롭다운 후보)와 검증(CHK-TYPE-1 `ctx.selectableDataTypes`)의 단일 출처 정렬용 —
+ * 호스트가 타겟 다이얼렉트 셋을 주입하면 controller가 그 값을 넘겨 둘이 어긋나지 않게 한다. 미주입(undefined)
+ * 이면 코어 상수 SELECTABLE_DATA_TYPES(PG 기준)로 폴백 = dev·미통합 환경 무회귀. Set 주입 시 순서는 삽입 순서.
+ */
+export declare function dbTypeSelectItems(currentDataType: string, selectable?: ReadonlySet<string> | readonly string[]): string[];

package/dist/core/id.d.ts

@@ -0,0 +1,2 @@
+/** 모델 식별자 생성. 브라우저/Node 공통 crypto.randomUUID 사용. */
+export declare function newId(): string;

package/dist/core/javaTypes.d.ts

@@ -0,0 +1,52 @@
+import { Association, Attribute, DisplayMode, PredefinedCustomTypeCatalog } from './types';
+export interface JavaTypeDef {
+    /** 저장값 = 레거시 enum 상수명. Attribute.type에 그대로 들어간다. */
+    value: string;
+    /** 표시값 = 레거시 enum 필드(getSimpleName). 셀렉트 라벨·다이어그램 타입 칸 표기. */
+    label: string;
+    /** 프리미티브의 박싱 타입(레거시 2번째 인자). 코드젠 보존용. */
+    boxed?: string;
+}
+/** CustomType 마커 — Attribute.type이 이 값이면 실제 타입명은 Attribute.customType에 있다. */
+export declare const CUSTOM_TYPE_VALUE = "CustomType";
+/** ⑤ 파생 타입 마커 — groupCode 지정 시 Attribute.type이 이 값으로 자동 설정된다(드롭다운 자유 선택 아님). */
+export declare const GROUP_CODE_ENUM_VALUE = "GroupCodeEnum";
+/** 신규 속성 생성·파생 타입 해제 시 환원할 기본 스칼라 타입(생성 기본값과 동일 출처). */
+export declare const DEFAULT_JAVA_TYPE = "String";
+/** 일반 자바 타입(셀렉트 드롭다운 후보). 레거시 enum 정의 순서 보존. embeddable·predef는 제외. */
+export declare const JAVA_TYPES: readonly JavaTypeDef[];
+/** 저장값 → 표시 라벨. 미등록 값(임베더블 타입명·커스텀명·미지 값)은 그대로 반환(폴백). */
+export declare function javaTypeLabel(value: string): string;
+/**
+ * ① 스칼라 자바 타입 셀렉트 후보(단일 출처). JAVA_TYPES에서 비후보(⑤·레거시 표시용)를 빼고
+ * ④ CustomType은 "사용자정의" 안내 라벨로 노출. ②embeddable·③customtype은 애초에 JAVA_TYPES에 없음.
+ */
+export declare const SELECTABLE_JAVA_TYPES: readonly JavaTypeDef[];
+/**
+ * 타입 셀렉트 items — ① 스칼라 후보 + ③ 주입 customtype 카탈로그 + 현재값 폴백 합성.
+ *
+ * ③ `predefinedCustomTypes`(호스트 주입)는 ① 후보 뒤에 병합 노출한다 — 단일 컬럼이라 ①과 컬럼 구조가
+ * 같고(②embeddable과 달리 부수효과 없음) ④ CustomType과 동질이므로 별도 진입이 아니라 같은 셀렉트에 둔다.
+ *
+ * open-bluesea BSSelect는 model-value가 items에 없으면 placeholder로 떨어뜨려 값이 빈칸으로 보인다(표시
+ * 손상). 현재값이 후보(① + 주입 ③) 밖(②임베더블 타입명·미주입 ③ customtype명·⑤ GroupCodeEnum·미지
+ * 레거시 값)이면 라벨과 함께 맨 앞에 합성해 현 상태를 보존 표시한다 — 자유 선택지가 아니라 "현재 보유 값"
+ * 표시용(groupCode 비활성 셀렉트의 GroupCodeEnum, ③ 카탈로그 미주입 시 customtype-typed 속성 포함).
+ */
+export declare function typeSelectItems(currentType: string, predefinedCustomTypes?: PredefinedCustomTypeCatalog): JavaTypeDef[];
+/**
+ * EMBED 표시 속성의 컬렉션 모드(`@ElementCollection`)를 판정한다 — 컬렉션이면 `collectionType`(기본
+ * LIST), 단일(`@Embedded`)이거나 EMBED가 아니면 undefined. 판정 권위는 임베더블을 가리키는 end의
+ * multiplicity(결정 3: 별도 boolean 플래그 없음). 컬렉션 모드는 owner에 평탄화 컬럼이 없어(dbAttrs=[])
+ * isEmbedAttr=false라 단일 EMBED와 타입 칸이 구분되지 않으므로, 이 신호로 attrTypeCell이 List<>/Set<>로
+ * 래핑해 시각 구분한다. 순수 함수(뷰 무관) — Diagram 노드·Explorer 트리 공용.
+ */
+export declare function embedCollectionType(attr: Attribute, associations: Association[]): 'LIST' | 'SET' | undefined;
+/**
+ * 속성 타입 칸 표시 — 모델은 type(자바 타입)·dbAttrs[].dataType(물리 DB 타입)을 분리 보관하므로
+ * 뷰 모드별로 맞는 출처를 고른다(결정 2026-06-26):
+ *   CLASS = 자바 타입 라벨 / PHYSICAL·LOGICAL_PHYSICAL = 물리 DB 타입 / LOGICAL = 숨김.
+ * CustomType 마커는 실제 타입명(customType)을, 임베드 참조 헤더는 임베더블 타입명을 보인다
+ * (임베드의 물리 컬럼 타입은 펼침 서브행이 담당). Diagram 노드·Explorer 트리 공용.
+ */
+export declare function attrTypeCell(mode: DisplayMode, attr: Attribute, collectionType?: 'LIST' | 'SET'): string;

package/dist/core/propagation.d.ts

@@ -0,0 +1,49 @@
+import { Association, Attribute, DbColumn, LogicalModel, ModelId } from './types';
+/** modelId 생성기 — 순수성/테스트 결정성을 위해 주입 가능. 기본은 crypto.randomUUID. */
+export type IdFactory = () => ModelId;
+/**
+ * 한 관계가 자식에 요구하는 FK 속성의 "원하는 상태" 스펙.
+ * modelId가 없다(매칭 후 reconcile이 신규에만 부여). 매칭 키 = associationRef + sourceAttributeRef.
+ */
+export interface ForeignAttributeSpec {
+    associationRef: ModelId;
+    sourceAttributeRef: ModelId;
+    name: string;
+    type: string;
+    identifier: boolean;
+    notNull: boolean;
+    /** 부모 식별자의 컬럼을 미러한 dbAttrs (modelId 없음 — reconcile이 부여) */
+    dbAttrs: Omit<DbColumn, 'modelId'>[];
+}
+export interface ReconcilePlan {
+    /** 신규 생성할 FK 속성 (modelId·dbAttr modelId 부여됨, order 포함) */
+    add: Attribute[];
+    /** 기존 FK 속성에 적용할 부분 패치 (부모와 동기화돼야 하는 필드만) */
+    update: {
+        attributeId: ModelId;
+        patch: Partial<Attribute>;
+    }[];
+    /** 더 이상 근거 관계가 없어 제거할 FK 속성 */
+    remove: ModelId[];
+}
+/**
+ * 한 관계(association)가 자식(end2)에 만들어야 할 FK 속성 스펙들을 계산.
+ * 부모(end1)의 현재 유효 식별자(자기 PK + 전파받은 FK 식별자)를 order순으로 미러한다.
+ * self-association은 식별 불가 — identifier를 강제로 false로 둔다(INV-3).
+ */
+export declare function computeForeignAttributes(logical: LogicalModel, association: Association): ForeignAttributeSpec[];
+/**
+ * 자식 엔터티의 현재 FK 속성을, 들어오는 모든 관계가 요구하는 desired 집합과 맞춘다(diff).
+ * - desired에만 있음 → add (신규 modelId 부여, 기존 최대 order 뒤에 append)
+ * - 양쪽에 있음 → 동기화 필드 차이만 update
+ * - current에만 있음(근거 관계 소멸) → remove
+ * 멱등(INV-5): 이미 맞춰진 상태에서 다시 호출하면 빈 계획을 돌려준다.
+ */
+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은 비식별이라 자식 식별자를 바꾸지 않아 더 전파되지 않는다(자연 종료).
+ */
+export declare function planPropagation(logical: LogicalModel, changedEntityId: ModelId, idFactory?: IdFactory): Map<ModelId, ReconcilePlan>;

package/dist/core/relationMarker.d.ts

@@ -0,0 +1,44 @@
+import { Multiplicity, Point } from './types';
+export type MarkerMode = 'db' | 'class';
+/** 한 끝(AssociationEnd)의 표기 결정에 필요한 의미 정보. */
+export interface EndSemantics {
+    multiplicity: Multiplicity;
+    navigable: boolean;
+    composition: boolean;
+    /** 반대쪽 끝의 navigable — 단방향(this && !other)일 때만 네비 화살표를 그린다. */
+    otherNavigable: boolean;
+}
+export interface Segment {
+    x1: number;
+    y1: number;
+    x2: number;
+    y2: number;
+}
+export interface Circle {
+    cx: number;
+    cy: number;
+    r: number;
+}
+export interface Polygon {
+    points: Point[];
+}
+export interface EndMarkers {
+    /** 실선 stroke — 까마귀발 갈래·바·스파인·네비 화살표. */
+    lines: Segment[];
+    /** 중공 원(fill none) — 선택성(optional) 표기. */
+    circles: Circle[];
+    /** 채워진 다각형(fill=stroke) — 컴포지션 마름모. */
+    polygons: Polygon[];
+}
+/**
+ * 끝점 표기가 끝점에서 진출 방향으로 차지하는 최대 거리(선택성 원의 바깥 둘레, db 모드가 최대).
+ * 직각 라우팅이 이보다 짧은 stub으로 꺾으면 표기가 코너에 얹혀 바(one tick)가 진행 반대쪽으로
+ * 삐져나오고 선택성 원이 경로를 벗어나 뜬다 → 호출측은 stub을 이 거리보다 길게 잡아야 한다.
+ */
+export declare const MARKER_REACH: number;
+/**
+ * 한 끝점의 표기 마커를 산출한다.
+ * @param end   엔티티 경계의 끝점 (레거시 point1)
+ * @param toward 그 끝이 향하는 다음 점 (레거시 point2). 직각 모드는 stub 방향, 직선 모드는 다음 waypoint/반대끝.
+ */
+export declare function endMarkers(end: Point, toward: Point, sem: EndSemantics, mode: MarkerMode): EndMarkers;

package/dist/core/resolve.d.ts

@@ -0,0 +1,63 @@
+import { Association, DiagramLayout, Entity, Geo, LogicalGroup, LogicalModel, ModelId, Note, Point, Style } from './types';
+export interface ResolvedEntity {
+    entity: Entity;
+    geo: Geo;
+    collapsed: boolean;
+    /** 이 엔티티가 속한 그룹(있으면) — 캔버스가 parent 노드로 배치 */
+    groupRef?: ModelId;
+    /** 헤더 바 색상 등 (레이아웃 style 참조 통과 — swatch 변경 시 computed 무효화) */
+    style?: Style;
+    /** 속성별 강조 색상 (attribute modelId 참조) */
+    attributeStyles?: Record<ModelId, Style>;
+    /** 메서드별 강조 색상 (operation modelId 참조) */
+    operationStyles?: Record<ModelId, Style>;
+}
+export interface ResolvedAssociation {
+    association: Association;
+    waypoints: Point[];
+    sourceColumnRef?: ModelId;
+    targetColumnRef?: ModelId;
+}
+export interface ResolvedGroup {
+    group: LogicalGroup;
+    geo: Geo;
+    /** 그룹 배경 색상 등 (레이아웃 style 참조 통과 — swatch 변경 시 computed 무효화) */
+    style?: Style;
+}
+export interface ResolvedNoteConnection {
+    noteRef: ModelId;
+    targetRef: ModelId;
+    waypoints: Point[];
+}
+export interface ResolvedNote {
+    note: Note;
+    /**
+     * 이 노트가 시각적으로 포함된 그룹(있으면) — 캔버스가 parent 노드로 배치(상대좌표 렌더).
+     * 엔티티 멤버십(LogicalGroup.memberEntityRefs, 논리)과 달리 노트 멤버십은
+     * GroupLayout.memberNoteRefs(레이아웃)에서 온다. note.geo는 절대좌표(깊은복제) 유지.
+     */
+    groupRef?: ModelId;
+}
+export interface ResolvedDiagram {
+    entities: ResolvedEntity[];
+    associations: ResolvedAssociation[];
+    groups: ResolvedGroup[];
+    notes: ResolvedNote[];
+    /** 노트 → 대상 엔티티 연결선 (대상이 존재하는 것만; dangling은 prune) */
+    noteConnections: ResolvedNoteConnection[];
+    /** 레이아웃에만 있던(논리에 없는) 정리 대상 항목 */
+    prunedEntityRefs: ModelId[];
+    prunedAssociationRefs: ModelId[];
+}
+export interface AutoLayoutOptions {
+    startX: number;
+    startY: number;
+    columnGap: number;
+    rowGap: number;
+    perRow: number;
+    defaultSize: {
+        width: number;
+        height: number;
+    };
+}
+export declare function resolveDiagram(logical: LogicalModel, layout: DiagramLayout, autoLayoutOptions?: Partial<AutoLayoutOptions>): ResolvedDiagram;

package/dist/core/routing.d.ts

@@ -0,0 +1,58 @@
+import { Point } from './types';
+export type Side = 'left' | 'right' | 'top' | 'bottom';
+/** 핸들 측면이 가리키는 "바깥" 단위 방향 (진출/진입 stub 방향) */
+export declare function sideDir(side: Side): Point;
+/**
+ * source(측면) → (waypoints…) → target(측면) 를 직각 세그먼트로 잇는 SVG path.
+ */
+export declare function buildOrthogonalPath(source: Point, sourceSide: Side, waypoints: Point[], target: Point, targetSide: Side, stub?: number): string;
+/** 직각 path 중점 affordance — 꺾인 직선 세그먼트마다 중점 + 삽입 span 인덱스. */
+export interface SegmentMid {
+    point: Point;
+    /** waypoint 삽입 인덱스 (insertPoint의 segIndex) */
+    segIndex: number;
+}
+/**
+ * 직각 path의 각 직선 세그먼트 중점 — straight 모드의 segmentMidpoints에 대응하는 직각판.
+ * 제어점 직선 중점이 아니라 실제 그려지는 꺾은선 위 점이라 affordance가 선 위에 놓인다.
+ */
+export declare function orthogonalMidpoints(source: Point, sourceSide: Side, waypoints: Point[], target: Point, targetSide: Side, stub?: number): SegmentMid[];
+/**
+ * 셀프 연관(source===target) 루프 path — 같은 변(보통 우측)의 두 지점에서 바깥으로
+ * `extent`만큼 나갔다 직각으로 돌아오는 사각 루프. straight/orthogonal 두 모드 공통으로 쓴다
+ * (self는 직선 한 가닥이면 변에 붙은 선으로 붕괴하므로 항상 직각 루프로 그린다).
+ *
+ * source.y와 target.y가 충분히 벌어져 있어야 루프로 보인다 — 간격 보장은 호출부
+ * (useFloatingRoute의 self 분기)가 담당한다.
+ */
+export declare function buildSelfLoopPath(source: Point, target: Point, extent?: number): string;
+/**
+ * 직선 라우팅 — source → (waypoints…) → target 를 곧은 선분으로 잇는다.
+ * waypoint가 없으면 두 끝점을 잇는 단일 직선(대각선). 기본 라우팅 모드.
+ */
+export declare function buildStraightPath(source: Point, waypoints: Point[], target: Point): string;
+export type RoutingMode = 'straight' | 'orthogonal';
+export interface Rect {
+    x: number;
+    y: number;
+    width: number;
+    height: number;
+}
+/**
+ * rect 중심에서 `toward` 방향으로 나가는 반직선이 rect 경계와 만나는 점 + 그 변(side).
+ * 완전 floating 끝점(노트 연결·비앵커 관계)에 사용 — 노드를 옮기면 끝점이 경계를 따라 이동한다.
+ */
+export declare function rectExitPoint(rect: Rect, toward: Point): {
+    point: Point;
+    side: Side;
+};
+/**
+ * 컬럼 앵커 끝점 — y는 지정 행(rowY)에 고정, 좌/우 중 상대(towardX)를 향한 변에 부착.
+ * "행 유지 + 측면 동적": 어느 속성의 FK인지(행)는 보존하되 노드를 옮기면 측면이 자동으로 뒤집힌다.
+ */
+export declare function anchoredEdgePoint(rect: Rect, rowY: number, towardX: number): {
+    point: Point;
+    side: Side;
+};
+/** 폴리라인 중점들(제어점 사이 가운데) — 더블클릭 waypoint 추가 affordance */
+export declare function segmentMidpoints(source: Point, waypoints: Point[], target: Point): Point[];

package/dist/core/sharedColumn.d.ts

@@ -0,0 +1,19 @@
+import { DbColumn, ModelId } from './types';
+/** SHARED_REF 컬럼의 파생 투영값. insertable/updatable는 정의상 항상 false. */
+export interface ResolvedSharedColumn {
+    /** 타깃 컬럼의 물리명(이 컬럼이 read-only로 투영되는 실제 물리 컬럼). */
+    physicalName: string;
+    insertable: false;
+    updatable: false;
+}
+/**
+ * 같은 엔터티의 컬럼들을 modelId로 인덱싱 — picker 후보 해석·SHARED_REF 타깃 조회 공용 인덱스.
+ * EMBED 펼친 dbAttrs를 포함한 전 컬럼을 평탄화하므로 SHARED_REF 타깃이 임베드 내부여도 조회된다.
+ */
+export declare function indexColumnsByModelId(columns: readonly DbColumn[]): Map<ModelId, DbColumn>;
+/**
+ * SHARED_REF 컬럼의 파생 투영을 계산. OWN(sharedColumnRef 부재)이거나 타깃이 dangling(인덱스에
+ * 없음)이면 `null` — 호출자는 col.sharedColumnRef 존재 여부로 OWN/SHARED_REF를 구분하고, 이
+ * 헬퍼는 "해석 가능한 투영값"만 반환한다.
+ */
+export declare function resolveSharedColumn(col: DbColumn, columnsById: ReadonlyMap<ModelId, DbColumn>): ResolvedSharedColumn | null;

package/dist/core/sqlReservedWords.d.ts

@@ -0,0 +1,25 @@
+/**
+ * SQL 예약어 베이스라인 — 물리 식별자(테이블·컬럼·인덱스명)가 예약어와 충돌하는지 검사하는 단일 출처.
+ *
+ * 검증 CHK-NAME-6(`validation.ts`)이 `ctx.reservedWords`로 받아 쓰며, 호스트가 미주입하면 규칙은 skip된다
+ * (selectableDataTypes와 동형 — ctx 게이트). 이 상수는 호스트가 주입할 "베이스라인 시드"이자 dev 하니스의
+ * 폴백이다. CHK-NAME-6은 `physicalName.toUpperCase()`로 비교하므로 모든 원소는 **대문자**여야 한다.
+ *
+ * 권위 정의: PostgreSQL 공식 문서 Appendix C "SQL Key Words"
+ * (https://www.postgresql.org/docs/current/sql-keywords-appendix.html). 본 프로젝트는 PG 단일 타겟이므로
+ * (dbTypes.ts SELECTABLE_DATA_TYPES가 PG 기준인 것과 대칭) PG 키워드 표를 정본으로 삼는다. 멀티 다이얼렉트가
+ * 실재하면 다이얼렉트별 셋을 호스트가 확장 주입한다(코어는 PG 베이스라인만 안다).
+ *
+ * 식별자로 따옴표 없이 쓸 수 없는 두 카테고리를 합집합으로 담는다:
+ *   (1) reserved — 컬럼·테이블·함수·타입명 어디에도 못 쓰는 완전 예약어.
+ *   (2) reserved (can be function or type name) — 함수/타입명은 되지만 **컬럼·테이블명은 못 쓴다**.
+ * CHK-NAME-6의 검사 대상이 테이블·컬럼·인덱스 식별자라 두 카테고리 모두 충돌 후보다. non-reserved 계열은
+ * 식별자로 쓸 수 있어 제외한다(노이즈 방지).
+ *
+ * 버전 주: SYSTEM_USER는 PostgreSQL 16에서 예약어로 추가됐다. 표는 마이너 버전 간 사실상 안정적이다.
+ */
+/**
+ * 물리 식별자로 사용 불가한 PostgreSQL 예약어 합집합(대문자). CHK-NAME-6 `ctx.reservedWords`의 베이스라인.
+ * SELECTABLE_DATA_TYPES와 동형으로 "중립명 + PG 기준(문서)" — 호스트가 다이얼렉트 셋으로 스왑/확장한다.
+ */
+export declare const SQL_RESERVED_WORDS: ReadonlySet<string>;