@tienne/gestalt 0.95.0 → 0.97.0

package/dist/src/architecture/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/architecture/types.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oBAAoB,EACpB,oBAAoB,GAIrB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAGlD,6DAA6D;AAC7D,2DAA2D;AAC3D,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAChC,cAAc;IACd,aAAa;IACb,WAAW;IACX,gBAAgB;CACR,CAAC;AACX,wDAAwD;AACxD,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,oBAAoB,CAAC,SAAS,CAGnE,CAAC;AACF,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,oBAAoB,CAAC,SAAS,CAGnE,CAAC;AACF,yDAAyD;AACzD,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,MAAM,EAAE,KAAK,CAAU,CAAC;AAC3D,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAU,CAAC;AAC/E,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAU,CAAC;AAC3D,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAU,CAAC;AACxD,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,CAAU,CAAC;AACvF,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,CAAU,CAAC;AAC5D;;;GAGG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,CAAU,CAAC;AACvE,+CAA+C;AAC/C,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,MAAM,EAAE,MAAM,CAAU,CAAC;AACpD,qEAAqE;AACrE,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,MAAM,EAAE,UAAU,CAAU,CAAC;AAC7D;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAwB;IACjD,QAAQ;IACR,UAAU;IACV,SAAS;IACT,WAAW;IACX,OAAO;IACP,OAAO;IACP,WAAW;CACZ,CAAC;AACF,gEAAgE;AAChE,MAAM,CAAC,MAAM,aAAa,GAAwB,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,SAAS,CAAe,CAAC;AACpG,uCAAuC;AACvC,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,eAAe,CAAU,CAAC;AACjF,+DAA+D;AAC/D,MAAM,CAAC,MAAM,iBAAiB,GAAwB;IACpD,GAAG,WAAW;IACd,eAAe;IACf,WAAW;CACZ,CAAC;AACF,oDAAoD;AACpD,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAU,CAAC;AACzE,MAAM,CAAC,MAAM,8BAA8B,GAAG,OAAO,CAAC;AACtD,0EAA0E;AAC1E,MAAM,CAAC,MAAM,YAAY,GAAmD,MAAM,CAAC,WAAW,CAC5F,MAAM,CAAC,OAAO,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAChE,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAChD,CACF,CAAC;AAoBF,MAAM,UAAU,aAAa,CAAC,IAI7B;IACC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,oBAAoB,CAAC,IAAI,CAAC,WAAW,IAAI,SAAS,CAAC,CAAC;IAC1F,OAAO,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;AACtF,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,kBAAkB,CAAC,WAA+B;IAChE,OAAO,WAAW,KAAK,SAAS,IAAI,WAAW,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;AAChE,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,gBAAgB,CAAC,IAGhC;IACC,OAAO,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC;AAClE,CAAC;AAiBD,8DAA8D;AAC9D,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,KAAK,EAAE,YAAY,CAAU,CAAC;AAkR5D,0DAA0D;AAC1D;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,UAAU,EAAE,UAAU,EAAE,SAAS,CAAU,CAAC;AAE9E,0EAA0E;AAC1E,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,CAAU,CAAC"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/architecture/types.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oBAAoB,EACpB,oBAAoB,GAIrB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAGlD,6DAA6D;AAC7D,2DAA2D;AAC3D,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAChC,cAAc;IACd,aAAa;IACb,WAAW;IACX,gBAAgB;CACR,CAAC;AACX,wDAAwD;AACxD,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,oBAAoB,CAAC,SAAS,CAGnE,CAAC;AACF,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,oBAAoB,CAAC,SAAS,CAGnE,CAAC;AACF,yDAAyD;AACzD,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,MAAM,EAAE,KAAK,CAAU,CAAC;AAC3D,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAU,CAAC;AAC/E,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAU,CAAC;AAC3D,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAU,CAAC;AACxD,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,CAAU,CAAC;AACvF,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,CAAU,CAAC;AAC5D;;;GAGG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,CAAU,CAAC;AACvE,+CAA+C;AAC/C,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,MAAM,EAAE,MAAM,CAAU,CAAC;AACpD,qEAAqE;AACrE,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,MAAM,EAAE,UAAU,CAAU,CAAC;AAC7D,6EAA6E;AAC7E,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAU,CAAC;AACtE;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAwB;IACjD,QAAQ;IACR,UAAU;IACV,SAAS;IACT,WAAW;IACX,OAAO;IACP,OAAO;IACP,WAAW;CACZ,CAAC;AACF,gEAAgE;AAChE,MAAM,CAAC,MAAM,aAAa,GAAwB,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,SAAS,CAAe,CAAC;AACpG,uCAAuC;AACvC,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,eAAe,CAAU,CAAC;AACjF,+DAA+D;AAC/D,MAAM,CAAC,MAAM,iBAAiB,GAAwB;IACpD,GAAG,WAAW;IACd,eAAe;IACf,WAAW;CACZ,CAAC;AACF,oDAAoD;AACpD,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAU,CAAC;AACzE,MAAM,CAAC,MAAM,8BAA8B,GAAG,OAAO,CAAC;AACtD,0EAA0E;AAC1E,MAAM,CAAC,MAAM,YAAY,GAAmD,MAAM,CAAC,WAAW,CAC5F,MAAM,CAAC,OAAO,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAChE,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAChD,CACF,CAAC;AAqBF,MAAM,UAAU,aAAa,CAAC,IAI7B;IACC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,oBAAoB,CAAC,IAAI,CAAC,WAAW,IAAI,SAAS,CAAC,CAAC;IAC1F,OAAO,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;AACtF,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,kBAAkB,CAAC,WAA+B;IAChE,OAAO,WAAW,KAAK,SAAS,IAAI,WAAW,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;AAChE,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,gBAAgB,CAAC,IAGhC;IACC,OAAO,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC;AAClE,CAAC;AAiBD,8DAA8D;AAC9D,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,KAAK,EAAE,YAAY,CAAU,CAAC;AA4S5D,0DAA0D;AAC1D;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG;IAC/B,UAAU;IACV,UAAU;IACV,SAAS;IACT,WAAW;IACX,WAAW;IACX,IAAI;CACI,CAAC;AAEX,0EAA0E;AAC1E,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,CAAU,CAAC"}

package/dist/src/architecture/validator.d.ts

@@ -1,5 +1,5 @@
-import { type ArchitectureIr, type Evidence, type LineStyle, type NodeKind, type UnresolvedQuestion } from './types.js';
-export type ArchitectureValidationErrorCode = 'SOLID_EDGE_WITHOUT_EVIDENCE' | 'CODE_EVIDENCE_NOT_FOUND' | 'PRIVATE_EXCERPT_PRESENT' | 'DANGLING_EDGE' | 'PARENT_NOT_FOUND' | 'PARENT_CYCLE' | 'INVALID_PARENT_KIND' | 'LIVE_COMMAND_NOT_READ_ONLY' | 'ACCOUNT_NOT_FOUND' | 'INVALID_ACCOUNT_KIND' | 'CLOUD_ID_IN_ID' | 'GROUP_MEMBER_NOT_FOUND' | 'DUPLICATE_GROUP_ID' | 'SERVES_SERVICE_WITH_APPS' | 'INVALID_LOADS_ENDS' | 'INVALID_HARNESS_EDGE_ENDS' | 'INVALID_CALL_ACTIONS' | 'UNKNOWN_MCP_ACTION' | 'MD_CODE_EVIDENCE' | 'FLOW_SERVICE_NOT_FOUND' | 'DUPLICATE_FLOW_ID' | 'FLOW_ACTOR_NOT_FOUND' | 'FLOW_STEP_NOT_FOUND' | 'FLOW_REF_NOT_FOUND' | 'INVALID_FLOW_REF_KIND' | 'SOLID_TRANSITION_WITHOUT_EVIDENCE' | 'DUPLICATE_STAGE_ID' | 'STAGE_NODE_NOT_FOUND' | 'STAGE_NODE_TWICE' | 'UNKNOWN_PACK' | 'KIND_NOT_IN_PACKS' | 'CODE_EVIDENCE_IN_DOC_REPO' | 'DUPLICATE_PROJECTION_ID' | 'DUPLICATE_MESSAGE_ID' | 'PROJECTION_NODE_NOT_FOUND' | 'PROJECTION_EDGE_NOT_FOUND' | 'PROJECTION_EDGE_MISMATCH' | 'PROJECTION_BLOCK_NOT_FOUND' | 'PROJECTION_BLOCK_SPLIT' | 'SOLID_MESSAGE_WITHOUT_EVIDENCE' | 'PROJECTION_EMPTY' | 'PROJECTION_SHAPE_FIELD' | 'DUPLICATE_PHASE_ID' | 'PROJECTION_PHASE_MESSAGE_NOT_FOUND' | 'PROJECTION_PHASE_REVERSED' | 'PROJECTION_PHASE_OVERLAP' | 'PROJECTION_PHASE_GAP' | 'INVALID_DESCRIBES_FROM' | 'SOLID_DESCRIBES';
+import { type ArchitectureFlow, type ArchitectureProjection, type ArchitectureIr, type ArchitectureNode, type Evidence, type LineStyle, type NodeKind, type UnresolvedQuestion } from './types.js';
+export type ArchitectureValidationErrorCode = 'SOLID_EDGE_WITHOUT_EVIDENCE' | 'CODE_EVIDENCE_NOT_FOUND' | 'PRIVATE_EXCERPT_PRESENT' | 'DANGLING_EDGE' | 'PARENT_NOT_FOUND' | 'PARENT_CYCLE' | 'INVALID_PARENT_KIND' | 'LIVE_COMMAND_NOT_READ_ONLY' | 'ACCOUNT_NOT_FOUND' | 'INVALID_ACCOUNT_KIND' | 'CLOUD_ID_IN_ID' | 'GROUP_MEMBER_NOT_FOUND' | 'DUPLICATE_GROUP_ID' | 'SERVES_SERVICE_WITH_APPS' | 'INVALID_LOADS_ENDS' | 'INVALID_HARNESS_EDGE_ENDS' | 'INVALID_CALL_ACTIONS' | 'UNKNOWN_MCP_ACTION' | 'MD_CODE_EVIDENCE' | 'FLOW_SERVICE_NOT_FOUND' | 'DUPLICATE_FLOW_ID' | 'FLOW_ACTOR_NOT_FOUND' | 'FLOW_STEP_NOT_FOUND' | 'FLOW_REF_NOT_FOUND' | 'INVALID_FLOW_REF_KIND' | 'SOLID_TRANSITION_WITHOUT_EVIDENCE' | 'DUPLICATE_STAGE_ID' | 'STAGE_NODE_NOT_FOUND' | 'STAGE_NODE_TWICE' | 'UNKNOWN_PACK' | 'KIND_NOT_IN_PACKS' | 'CODE_EVIDENCE_IN_DOC_REPO' | 'DUPLICATE_PROJECTION_ID' | 'DUPLICATE_MESSAGE_ID' | 'PROJECTION_NODE_NOT_FOUND' | 'PROJECTION_EDGE_NOT_FOUND' | 'PROJECTION_EDGE_MISMATCH' | 'PROJECTION_BLOCK_NOT_FOUND' | 'PROJECTION_BLOCK_SPLIT' | 'SOLID_MESSAGE_WITHOUT_EVIDENCE' | 'PROJECTION_EMPTY' | 'PROJECTION_SHAPE_FIELD' | 'PROJECTION_FLOW_NOT_FOUND' | 'DUPLICATE_PHASE_ID' | 'PROJECTION_PHASE_MESSAGE_NOT_FOUND' | 'PROJECTION_PHASE_REVERSED' | 'PROJECTION_PHASE_OVERLAP' | 'PROJECTION_PHASE_GAP' | 'INVALID_DESCRIBES_FROM' | 'SOLID_DESCRIBES' | 'COLUMN_REFERENCE_NOT_FOUND' | 'INVALID_COLUMN_REFERENCE_KIND';
 export interface ArchitectureValidationError {
     code: ArchitectureValidationErrorCode;
     message: string;
@@ -11,14 +11,26 @@ export interface ArchitectureValidationError {
     projectionId?: string;
     messageId?: string;
     phaseId?: string;
+    /** 노드 컬럼의 근거나 외래 키에서 난 오류. nodeId와 함께 온다 */
+    column?: string;
     evidenceIndex?: number;
 }
 /** 렌더를 막지 않는 알림. 저장하지 않고 validate와 render 응답에만 싣는다 */
-export interface ArchitectureValidationWarning {
+export type ArchitectureValidationWarning = DescriptionWarning | BudgetWarning;
+export interface DescriptionWarning {
     code: 'NODE_DESCRIPTION_MISSING';
     message: string;
     nodeIds: string[];
 }
+export type BudgetWarningCode = 'LIFECYCLE_OVER_BUDGET' | 'BLUEPRINT_OVER_BUDGET' | 'ER_OVER_BUDGET' | 'DELTA_OVER_BUDGET';
+/** 그림 한 장이 읽히는 양을 넘었다. 그리기는 하고 나누라고만 알린다 */
+export interface BudgetWarning {
+    code: BudgetWarningCode;
+    message: string;
+    /** 예산을 넘은 그림. 투영이면 투영 id다 */
+    subjectId: string;
+    counts: Record<string, number>;
+}
 export interface ValidatedIr {
     ir: ArchitectureIr;
     drawableNodeIds: Set<string>;
@@ -52,6 +64,16 @@ export declare const ACCOUNT_ID_RE: RegExp;
 export declare function deriveLineStyle(evidence: Evidence[]): LineStyle;
 /** 이 id가 공유본에서 못 가리는 클라우드 식별자를 담는지. kind를 모르면(엣지) 계정 ID만 본다 */
 export declare function idCarriesCloudId(id: string, kind?: NodeKind): boolean;
+/**
+ * er 그림의 participants 가운데 db_table이 아닌 노드 id를 돌려준다. nodes에 없는 id는 PROJECTION_NODE_NOT_FOUND가 따로 잡으니 넣지 않는다.
+ * 재실행 이월(store.ts carryProjections)도 이 기준으로 걸러야 이어 실은 그림이 검증에서 render 전체를 막지 않는다
+ */
+export declare function erNonTableParticipants(p: Pick<ArchitectureProjection, 'shape' | 'participants'>, kindById: ReadonlyMap<string, ArchitectureNode['kind']>): string[];
+/**
+ * lifecycle과 blueprint 그림이 가리킨 흐름에서 그릴 단계를 못 찾으면 true다.
+ * 재실행 이월(store.ts carryProjections)도 이 기준으로 걸러야 이어 실은 그림이 검증에서 render 전체를 막지 않는다
+ */
+export declare function flowHasNothingToDraw(p: Pick<ArchitectureProjection, 'shape'>, flow: ArchitectureFlow): boolean;
 /**
  * ArchitectureIr를 그리기 전에 검증한다.
  * 근거가 없는 노드나 엣지는 에러로 보지 않고 그리기 대상에서 빼며 미해결 질문을 만든다.
@@ -68,6 +90,8 @@ export declare function maskSharedText(text: string): string;
  * 리소스 ID가 담기므로 조회 시각만 남긴다. 노드 이름과 질문 글자의 계정 ID 꼴 숫자도 가린다
  */
 export declare function redactForSharing(ir: ArchitectureIr): ArchitectureIr;
+/** 공유본의 질문. 저장된 질문과 그릴 때 만든 자동 질문이 같은 규칙으로 가려지게 한 곳에 둔다 */
+export declare function maskSharedQuestion(q: UnresolvedQuestion): UnresolvedQuestion;
 /** 저장용 사본. private 근거의 excerpt만 지운다. 입력은 바꾸지 않는다 */
 export declare function stripPrivateExcerpts(ir: ArchitectureIr): ArchitectureIr;
 //# sourceMappingURL=validator.d.ts.map

package/dist/src/architecture/validator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"validator.d.ts","sourceRoot":"","sources":["../../../src/architecture/validator.ts"],"names":[],"mappings":"AAMA,OAAO,EASL,KAAK,cAAc,EAGnB,KAAK,QAAQ,EACb,KAAK,SAAS,EACd,KAAK,QAAQ,EAEb,KAAK,kBAAkB,EACxB,MAAM,YAAY,CAAC;AAEpB,MAAM,MAAM,+BAA+B,GACvC,6BAA6B,GAC7B,yBAAyB,GACzB,yBAAyB,GACzB,eAAe,GACf,kBAAkB,GAClB,cAAc,GACd,qBAAqB,GACrB,4BAA4B,GAC5B,mBAAmB,GACnB,sBAAsB,GACtB,gBAAgB,GAChB,wBAAwB,GACxB,oBAAoB,GACpB,0BAA0B,GAC1B,oBAAoB,GACpB,2BAA2B,GAC3B,sBAAsB,GACtB,oBAAoB,GACpB,kBAAkB,GAClB,wBAAwB,GACxB,mBAAmB,GACnB,sBAAsB,GACtB,qBAAqB,GACrB,oBAAoB,GACpB,uBAAuB,GACvB,mCAAmC,GACnC,oBAAoB,GACpB,sBAAsB,GACtB,kBAAkB,GAClB,cAAc,GACd,mBAAmB,GACnB,2BAA2B,GAC3B,yBAAyB,GACzB,sBAAsB,GACtB,2BAA2B,GAC3B,2BAA2B,GAC3B,0BAA0B,GAC1B,4BAA4B,GAC5B,wBAAwB,GACxB,gCAAgC,GAChC,kBAAkB,GAClB,wBAAwB,GACxB,oBAAoB,GACpB,oCAAoC,GACpC,2BAA2B,GAC3B,0BAA0B,GAC1B,sBAAsB,GACtB,wBAAwB,GACxB,iBAAiB,CAAC;AAEtB,MAAM,WAAW,2BAA2B;IAC1C,IAAI,EAAE,+BAA+B,CAAC;IACtC,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,sDAAsD;AACtD,MAAM,WAAW,6BAA6B;IAC5C,IAAI,EAAE,0BAA0B,CAAC;IACjC,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,cAAc,CAAC;IACnB,eAAe,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC7B,eAAe,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC7B,0CAA0C;IAC1C,eAAe,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC7B,6BAA6B;IAC7B,qBAAqB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACnC,gDAAgD;IAChD,kBAAkB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACjC,uDAAuD;IACvD,qBAAqB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACpC,cAAc,EAAE,kBAAkB,EAAE,CAAC;IACrC,QAAQ,EAAE,6BAA6B,EAAE,CAAC;CAC3C;AAED,MAAM,WAAW,6BAA6B;IAC5C,6BAA6B;IAC7B,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,qDAAqD;IACrD,UAAU,CAAC,EAAE,OAAO,CAAC;CACtB;AAED,MAAM,MAAM,4BAA4B,GACpC;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,WAAW,CAAA;CAAE,GAChC;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,2BAA2B,EAAE,CAAA;CAAE,CAAC;AAGzD,6DAA6D;AAC7D,eAAO,MAAM,aAAa,QAAyB,CAAC;AAMpD,wBAAgB,eAAe,CAAC,QAAQ,EAAE,QAAQ,EAAE,GAAG,SAAS,CAE/D;AAkLD,+DAA+D;AAC/D,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,QAAQ,GAAG,OAAO,CAErE;AAk3BD;;;;GAIG;AACH,wBAAgB,sBAAsB,CACpC,EAAE,EAAE,cAAc,EAClB,IAAI,GAAE,6BAAkC,GACvC,4BAA4B,CAiL9B;AAiHD,mCAAmC;AACnC,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEnD;AAED,0DAA0D;AAC1D,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEnD;AA+ED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,cAAc,GAAG,cAAc,CA2BnE;AAED,oDAAoD;AACpD,wBAAgB,oBAAoB,CAAC,EAAE,EAAE,cAAc,GAAG,cAAc,CAMvE"}
+{"version":3,"file":"validator.d.ts","sourceRoot":"","sources":["../../../src/architecture/validator.ts"],"names":[],"mappings":"AASA,OAAO,EAML,KAAK,gBAAgB,EACrB,KAAK,sBAAsB,EAE3B,KAAK,cAAc,EACnB,KAAK,gBAAgB,EAErB,KAAK,QAAQ,EACb,KAAK,SAAS,EACd,KAAK,QAAQ,EAEb,KAAK,kBAAkB,EACxB,MAAM,YAAY,CAAC;AAEpB,MAAM,MAAM,+BAA+B,GACvC,6BAA6B,GAC7B,yBAAyB,GACzB,yBAAyB,GACzB,eAAe,GACf,kBAAkB,GAClB,cAAc,GACd,qBAAqB,GACrB,4BAA4B,GAC5B,mBAAmB,GACnB,sBAAsB,GACtB,gBAAgB,GAChB,wBAAwB,GACxB,oBAAoB,GACpB,0BAA0B,GAC1B,oBAAoB,GACpB,2BAA2B,GAC3B,sBAAsB,GACtB,oBAAoB,GACpB,kBAAkB,GAClB,wBAAwB,GACxB,mBAAmB,GACnB,sBAAsB,GACtB,qBAAqB,GACrB,oBAAoB,GACpB,uBAAuB,GACvB,mCAAmC,GACnC,oBAAoB,GACpB,sBAAsB,GACtB,kBAAkB,GAClB,cAAc,GACd,mBAAmB,GACnB,2BAA2B,GAC3B,yBAAyB,GACzB,sBAAsB,GACtB,2BAA2B,GAC3B,2BAA2B,GAC3B,0BAA0B,GAC1B,4BAA4B,GAC5B,wBAAwB,GACxB,gCAAgC,GAChC,kBAAkB,GAClB,wBAAwB,GACxB,2BAA2B,GAC3B,oBAAoB,GACpB,oCAAoC,GACpC,2BAA2B,GAC3B,0BAA0B,GAC1B,sBAAsB,GACtB,wBAAwB,GACxB,iBAAiB,GACjB,4BAA4B,GAC5B,+BAA+B,CAAC;AAEpC,MAAM,WAAW,2BAA2B;IAC1C,IAAI,EAAE,+BAA+B,CAAC;IACtC,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,4CAA4C;IAC5C,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,sDAAsD;AACtD,MAAM,MAAM,6BAA6B,GAAG,kBAAkB,GAAG,aAAa,CAAC;AAE/E,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,0BAA0B,CAAC;IACjC,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED,MAAM,MAAM,iBAAiB,GACzB,uBAAuB,GACvB,uBAAuB,GACvB,gBAAgB,GAChB,mBAAmB,CAAC;AAExB,4CAA4C;AAC5C,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,iBAAiB,CAAC;IACxB,OAAO,EAAE,MAAM,CAAC;IAChB,6BAA6B;IAC7B,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAChC;AAED,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,cAAc,CAAC;IACnB,eAAe,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC7B,eAAe,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC7B,0CAA0C;IAC1C,eAAe,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC7B,6BAA6B;IAC7B,qBAAqB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACnC,gDAAgD;IAChD,kBAAkB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACjC,uDAAuD;IACvD,qBAAqB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACpC,cAAc,EAAE,kBAAkB,EAAE,CAAC;IACrC,QAAQ,EAAE,6BAA6B,EAAE,CAAC;CAC3C;AAED,MAAM,WAAW,6BAA6B;IAC5C,6BAA6B;IAC7B,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,qDAAqD;IACrD,UAAU,CAAC,EAAE,OAAO,CAAC;CACtB;AAED,MAAM,MAAM,4BAA4B,GACpC;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,WAAW,CAAA;CAAE,GAChC;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,2BAA2B,EAAE,CAAA;CAAE,CAAC;AAGzD,6DAA6D;AAC7D,eAAO,MAAM,aAAa,QAAyB,CAAC;AAMpD,wBAAgB,eAAe,CAAC,QAAQ,EAAE,QAAQ,EAAE,GAAG,SAAS,CAE/D;AAkOD,+DAA+D;AAC/D,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,QAAQ,GAAG,OAAO,CAErE;AAqqBD;;;GAGG;AACH,wBAAgB,sBAAsB,CACpC,CAAC,EAAE,IAAI,CAAC,sBAAsB,EAAE,OAAO,GAAG,cAAc,CAAC,EACzD,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAAC,MAAM,CAAC,CAAC,GACtD,MAAM,EAAE,CAMV;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,CAClC,CAAC,EAAE,IAAI,CAAC,sBAAsB,EAAE,OAAO,CAAC,EACxC,IAAI,EAAE,gBAAgB,GACrB,OAAO,CAGT;AA0YD;;;;GAIG;AACH,wBAAgB,sBAAsB,CACpC,EAAE,EAAE,cAAc,EAClB,IAAI,GAAE,6BAAkC,GACvC,4BAA4B,CAyN9B;AAwHD,mCAAmC;AACnC,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEnD;AAED,0DAA0D;AAC1D,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEnD;AAqGD;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,cAAc,GAAG,cAAc,CA6BnE;AAED,2DAA2D;AAC3D,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,kBAAkB,GAAG,kBAAkB,CAQ5E;AAED,oDAAoD;AACpD,wBAAgB,oBAAoB,CAAC,EAAE,EAAE,cAAc,GAAG,cAAc,CAMvE"}

package/dist/src/architecture/validator.js

@@ -1,6 +1,9 @@
 import { readFileSync, statSync } from 'node:fs';
 import { isAbsolute, relative, resolve } from 'node:path';
 import { classifyCliCommand } from '../utils/read-only-tools.js';
+import { blueprintCounts, blueprintOverBudget, deriveBlueprint } from './blueprint-layout.js';
+import { deriveEr, erCounts, erOverBudget, isUnconfirmedFk } from './er-layout.js';
+import { deriveLifecycle, lifecycleCounts, lifecycleOverBudget } from './lifecycle-layout.js';
 import { indexMicroApps } from './micro-app.js';
 import { ALL_PACKS_VOCABULARY, irVocabulary, packById } from './packs/index.js';
 import { KNOWLEDGE_DOC_KINDS } from './packs/knowledge.js';
@@ -97,6 +100,51 @@ function checkEvidenceList(evidence, owner, ctx, errors) {
         }
     });
 }
+/**
+ * 외래 키는 db_table 노드를 가리켜야 한다. 대상이 컬럼을 적었으면 가리킨 컬럼도 거기 있어야 한다.
+ * 대상이 컬럼을 하나도 안 적었으면 없다고 단정할 수 없어 거부하지 않는다
+ */
+function checkColumnReferences(ir, errors) {
+    const byId = new Map(ir.nodes.map((n) => [n.id, n]));
+    for (const node of ir.nodes) {
+        for (const c of node.columns ?? []) {
+            const ref = c.references;
+            if (ref === undefined)
+                continue;
+            const where = `노드 "${node.id}"의 컬럼 "${c.name}"`;
+            const target = byId.get(ref.table);
+            if (target === undefined) {
+                errors.push({
+                    code: 'COLUMN_REFERENCE_NOT_FOUND',
+                    message: `${where}가 가리킨 테이블 "${ref.table}"가 nodes에 없다.`,
+                    nodeId: node.id,
+                    column: c.name,
+                });
+                continue;
+            }
+            if (target.kind !== 'db_table') {
+                errors.push({
+                    code: 'INVALID_COLUMN_REFERENCE_KIND',
+                    message: `${where}가 가리킨 "${ref.table}"는 ${target.kind} 노드다. 외래 키는 db_table을 가리킨다.`,
+                    nodeId: node.id,
+                    column: c.name,
+                });
+                continue;
+            }
+            if (ref.column !== undefined &&
+                target.columns !== undefined &&
+                target.columns.length > 0 &&
+                !target.columns.some((tc) => tc.name === ref.column)) {
+                errors.push({
+                    code: 'COLUMN_REFERENCE_NOT_FOUND',
+                    message: `${where}가 가리킨 컬럼 "${ref.table}.${ref.column}"가 그 테이블의 columns에 없다.`,
+                    nodeId: node.id,
+                    column: c.name,
+                });
+            }
+        }
+    }
+}
 function checkGroups(ir, errors) {
     const nodeIds = new Set(ir.nodes.map((n) => n.id));
     const seen = new Set();
@@ -297,6 +345,8 @@ function checkDocRepos(ir, errors) {
         check(n.evidence, { nodeId: n.id });
         for (const list of Object.values(n.platformEvidence ?? {}))
             check(list, { nodeId: n.id });
+        for (const c of n.columns ?? [])
+            check(c.evidence ?? [], { nodeId: n.id, column: c.name });
     }
     for (const e of ir.edges)
         check(e.evidence, { edgeId: e.id });
@@ -526,6 +576,18 @@ function checkProjections(ir, ctx, errors) {
         for (const id of p.participants ?? [])
             missingNode(id, 'participants');
         checkProjectionShape(p, errors);
+        if (p.shape === 'er') {
+            const kindById = new Map(ir.nodes.map((n) => [n.id, n.kind]));
+            for (const id of erNonTableParticipants(p, kindById)) {
+                errors.push({
+                    code: 'PROJECTION_SHAPE_FIELD',
+                    message: `투영 "${p.id}"는 er인데 participants의 "${id}"가 ${kindById.get(id)} 노드다. er은 db_table만 그린다.`,
+                    projectionId: p.id,
+                });
+            }
+        }
+        if (FLOW_SHAPES.has(p.shape) && p.flow !== undefined)
+            checkProjectionFlow(ir, p, errors);
         for (const side of p.sides ?? []) {
             for (const id of side.nodes)
                 missingNode(id, `묶음 "${side.id}"의 nodes`);
@@ -693,6 +755,51 @@ function checkProjectionShape(p, errors) {
             projectionId: p.id,
         });
     };
+    if (p.shape === 'lifecycle') {
+        if (p.messages.length > 0)
+            misuse('messages가 있다. lifecycle은 flow 단계의 상태에서 선을 뽑는다.');
+        if (p.participants !== undefined)
+            misuse('participants가 있다. lifecycle은 지도 노드를 안 쓴다.');
+    }
+    if (p.shape === 'blueprint') {
+        if (p.messages.length > 0)
+            misuse('messages가 있다. blueprint는 선을 긋지 않는다.');
+        if (p.participants !== undefined)
+            misuse('participants가 있다. blueprint는 flow 단계가 가리킨 노드에서 칸을 채운다.');
+    }
+    if (FLOW_SHAPES.has(p.shape)) {
+        if (p.blocks !== undefined)
+            misuse('blocks가 있다. 묶음은 sequence만 쓴다.');
+        if (p.phases !== undefined)
+            misuse('phases가 있다. 구간은 sequence만 쓴다.');
+        if (p.sides !== undefined)
+            misuse('sides가 있다. 묶음 견주기는 compare만 쓴다.');
+        if (p.flow === undefined)
+            misuse(p.shape === 'lifecycle'
+                ? 'flow가 없다. 상태를 뽑을 도메인 흐름 id를 적는다.'
+                : 'flow가 없다. 단계 열을 뽑을 도메인 흐름 id를 적는다.');
+        return;
+    }
+    if (p.flow !== undefined)
+        misuse('flow가 있다. 흐름을 가리키는 건 lifecycle과 blueprint만 쓴다.');
+    if (p.shape === 'er') {
+        if (p.messages.length > 0)
+            misuse('messages가 있다. er은 컬럼의 references에서 외래 키 선을 뽑는다.');
+        if (p.blocks !== undefined)
+            misuse('blocks가 있다. 묶음은 sequence만 쓴다.');
+        if (p.phases !== undefined)
+            misuse('phases가 있다. 구간은 sequence만 쓴다.');
+        if (p.sides !== undefined)
+            misuse('sides가 있다. 묶음 견주기는 compare만 쓴다.');
+        if ((p.participants ?? []).length === 0) {
+            errors.push({
+                code: 'PROJECTION_EMPTY',
+                message: `투영 "${p.id}"에 participants가 없다. er은 그릴 db_table 노드 id를 participants에 적는다.`,
+                projectionId: p.id,
+            });
+        }
+        return;
+    }
     if (p.shape === 'compare') {
         if (p.messages.length > 0)
             misuse('messages가 있다. compare는 sides만 쓴다.');
@@ -726,11 +833,61 @@ function checkProjectionShape(p, errors) {
             misuse(`메시지 "${seqOnly.id}"에 reply, block, branch가 있다. 순서 표시는 sequence만 쓴다.`);
     }
 }
+/** 흐름 하나를 가리켜 그리는 모양. 지도 노드 대신 흐름에서 그림을 뽑는다 */
+const FLOW_SHAPES = new Set([
+    'lifecycle',
+    'blueprint',
+]);
+/**
+ * 가리킨 흐름이 있어야 한다. lifecycle은 상태를 단 단계가, blueprint는 갈림길이 아닌 단계가 하나라도 있어야 그릴 것이 생긴다
+ */
+function checkProjectionFlow(ir, p, errors) {
+    const flow = (ir.flows ?? []).find((f) => f.id === p.flow);
+    if (flow === undefined) {
+        errors.push({
+            code: 'PROJECTION_FLOW_NOT_FOUND',
+            message: `투영 "${p.id}"의 flow "${p.flow}"가 flows에 없다.`,
+            projectionId: p.id,
+        });
+        return;
+    }
+    if (!flowHasNothingToDraw(p, flow))
+        return;
+    errors.push({
+        code: 'PROJECTION_EMPTY',
+        message: p.shape === 'blueprint'
+            ? `투영 "${p.id}"가 가리킨 흐름 "${flow.id}"에 갈림길 말고 단계가 없다. blueprint는 단계를 열로 세운다.`
+            : `투영 "${p.id}"가 가리킨 흐름 "${flow.id}"에 state를 단 단계가 없다. lifecycle은 단계의 state로 상태를 그린다.`,
+        projectionId: p.id,
+        flowId: flow.id,
+    });
+}
+/**
+ * er 그림의 participants 가운데 db_table이 아닌 노드 id를 돌려준다. nodes에 없는 id는 PROJECTION_NODE_NOT_FOUND가 따로 잡으니 넣지 않는다.
+ * 재실행 이월(store.ts carryProjections)도 이 기준으로 걸러야 이어 실은 그림이 검증에서 render 전체를 막지 않는다
+ */
+export function erNonTableParticipants(p, kindById) {
+    if (p.shape !== 'er')
+        return [];
+    return (p.participants ?? []).filter((id) => {
+        const kind = kindById.get(id);
+        return kind !== undefined && kind !== 'db_table';
+    });
+}
+/**
+ * lifecycle과 blueprint 그림이 가리킨 흐름에서 그릴 단계를 못 찾으면 true다.
+ * 재실행 이월(store.ts carryProjections)도 이 기준으로 걸러야 이어 실은 그림이 검증에서 render 전체를 막지 않는다
+ */
+export function flowHasNothingToDraw(p, flow) {
+    if (p.shape === 'blueprint')
+        return !flow.steps.some((st) => st.kind !== 'decision');
+    return !flow.steps.some((st) => st.state !== undefined);
+}
 /**
  * 투영에서 그릴 메시지를 고른다. 근거가 없으면 그리지 않고 질문으로 돌린다.
  * 양 끝 노드가 안 그려지는 메시지도 뺀다. 선은 근거로 다시 정한다
  */
-function settleProjections(projections, edgeById, drawableNodeIds, nameById, ask) {
+function settleProjections(projections, edgeById, drawableNodeIds, nameById, ask, flows) {
     const messages = new Set();
     const drawable = new Set();
     const settled = projections.map((p) => ({
@@ -758,8 +915,98 @@ function settleProjections(projections, edgeById, drawableNodeIds, nameById, ask
             drawable.add(p.id);
         }
     }
+    for (const p of projections) {
+        if (p.shape === 'lifecycle' && lifecycleOf(p, flows) !== undefined)
+            drawable.add(p.id);
+        if (p.shape === 'blueprint' && blueprintOf(p, flows) !== undefined)
+            drawable.add(p.id);
+        if (p.shape === 'er' && erOf(p, flows) !== undefined)
+            drawable.add(p.id);
+    }
     return { projections: settled, messages, drawable };
 }
+/** 그리는 흐름에서 뽑은 상태가 하나라도 있으면 그 모델. 흐름 레벨이 안 서는 흐름은 서랍을 못 열어 그리지 않는다 */
+function lifecycleOf(p, flows) {
+    const flow = flows.flows.find((f) => f.id === p.flow);
+    if (flow === undefined || !flows.drawn.has(flow.id))
+        return undefined;
+    const model = deriveLifecycle(flow, flows.steps, flows.transitions);
+    return model.states.length > 0 ? model : undefined;
+}
+/** 그리는 흐름에서 정상 흐름 단계 열이 하나라도 서면 그 모델. 흐름 레벨이 안 서는 흐름은 단계 서랍을 못 열어 그리지 않는다 */
+function blueprintOf(p, flows) {
+    const flow = flows.flows.find((f) => f.id === p.flow);
+    if (flow === undefined || !flows.drawn.has(flow.id))
+        return undefined;
+    const model = deriveBlueprint(flow, {
+        nodes: flows.nodes,
+        edges: flows.edges,
+        drawableNodeIds: flows.nodeIds,
+        drawableEdgeIds: flows.edgeIds,
+        drawableStepIds: flows.steps,
+        drawableTransitionIds: flows.transitions,
+    });
+    return model.columns.length > 0 ? model : undefined;
+}
+/** 그려지는 테이블이 하나라도 서면 그 모델. 근거 없는 테이블은 지도처럼 질문으로만 남는다 */
+function erOf(p, flows) {
+    const model = deriveEr(p, { nodes: flows.nodes, drawableNodeIds: flows.nodeIds });
+    return model.tables.length > 0 ? model : undefined;
+}
+// 렌더러와 같은 모델에서 세야 경고 숫자와 그림이 어긋나지 않는다
+function budgetWarnings(projections, drawable, flows) {
+    const out = [];
+    for (const p of projections) {
+        if (p.shape === 'er' && drawable.has(p.id)) {
+            const model = erOf(p, flows);
+            if (model === undefined)
+                continue;
+            const counts = erCounts(model);
+            const over = erOverBudget(counts);
+            if (over.length === 0)
+                continue;
+            out.push({
+                code: 'ER_OVER_BUDGET',
+                message: `테이블 그림 "${p.title}"이 한 장에 읽히는 양을 넘는다. ${over.join(', ')}. 질문에 걸린 테이블만 남기거나 그림을 나눈다.`,
+                subjectId: p.id,
+                counts: { ...counts },
+            });
+            continue;
+        }
+        if (p.shape === 'blueprint' && drawable.has(p.id)) {
+            const model = blueprintOf(p, flows);
+            if (model === undefined)
+                continue;
+            const counts = blueprintCounts(model);
+            const over = blueprintOverBudget(counts);
+            if (over.length === 0)
+                continue;
+            out.push({
+                code: 'BLUEPRINT_OVER_BUDGET',
+                message: `서비스 블루프린트 "${p.title}"이 한 장에 읽히는 양을 넘는다. ${over.join(', ')}. 단계를 합치거나 흐름을 나눈다.`,
+                subjectId: p.id,
+                counts: { ...counts },
+            });
+            continue;
+        }
+        if (p.shape !== 'lifecycle' || !drawable.has(p.id))
+            continue;
+        const model = lifecycleOf(p, flows);
+        if (model === undefined)
+            continue;
+        const counts = lifecycleCounts(model);
+        const over = lifecycleOverBudget(counts);
+        if (over.length === 0)
+            continue;
+        out.push({
+            code: 'LIFECYCLE_OVER_BUDGET',
+            message: `상태 흐름 "${p.title}"이 한 장에 읽히는 양을 넘는다. ${over.join(', ')}. 세부 상태를 합치거나 흐름을 나눈다.`,
+            subjectId: p.id,
+            counts: { ...counts },
+        });
+    }
+    return out;
+}
 /**
  * 흐름 구조 검사. 단계와 전이 id는 흐름을 넘어 겹치면 안 된다. 질문의 stepId, transitionId가 흐름 id 없이 가리키기 때문이다.
  * refs는 기술 그림으로 내려가는 입구라 없는 노드나 화면, API가 아닌 노드를 가리키면 거부한다
@@ -1017,8 +1264,12 @@ export function validateArchitectureIr(ir, opts = {}) {
         for (const platform of Object.keys(node.platformEvidence ?? {}).sort()) {
             checkEvidenceList(node.platformEvidence[platform], { nodeId: node.id }, ctx, errors);
         }
+        for (const c of node.columns ?? []) {
+            checkEvidenceList(c.evidence ?? [], { nodeId: node.id, column: c.name }, ctx, errors);
+        }
     }
     checkPacks(ir, errors);
+    checkColumnReferences(ir, errors);
     checkDocRepos(ir, errors);
     checkParents(ir, errors);
     checkAccounts(ir, errors);
@@ -1124,6 +1375,22 @@ export function validateArchitectureIr(ir, opts = {}) {
             });
         }
     }
+    // 근거 없는 외래 키는 선으로 긋지 않는다. 테이블 하나에 컬럼마다 질문이 설 수 있어 id로 겹침을 본다
+    for (const node of ir.nodes) {
+        if (node.kind !== 'db_table' || !drawableNodeIds.has(node.id))
+            continue;
+        for (const c of node.columns ?? []) {
+            if (!isUnconfirmedFk(c))
+                continue;
+            const ref = c.references;
+            const target = ref.column !== undefined ? `${nameById(ref.table)}.${ref.column}` : nameById(ref.table);
+            askById({
+                id: `auto:fk:${node.id}:${c.name}`,
+                subject: { nodeId: node.id },
+                question: `"${nameOf(node)}"의 "${c.name}" 컬럼이 "${target}"를 가리킨다는 근거를 못 찾았어요. 마이그레이션이나 엔티티 정의가 어디 있나요?`,
+            });
+        }
+    }
     // 진입 앱을 못 정하면 사용자가 받는 도메인이 어느 사슬인지 그림이 말하지 못한다
     const drawn = ir.nodes.filter((n) => drawableNodeIds.has(n.id));
     const apps = indexMicroApps(drawn, edges.filter((e) => drawableEdgeIds.has(e.id)));
@@ -1140,8 +1407,20 @@ export function validateArchitectureIr(ir, opts = {}) {
         });
     }
     const flowResult = settleFlows(ir.flows ?? [], ask, askById);
+    const drawnFlows = {
+        flows: flowResult.flows,
+        drawn: new Set(flowResult.flows
+            .filter((f) => f.service === undefined || drawableNodeIds.has(f.service))
+            .map((f) => f.id)),
+        steps: flowResult.steps,
+        transitions: flowResult.transitions,
+        nodes: ir.nodes,
+        edges,
+        nodeIds: drawableNodeIds,
+        edgeIds: drawableEdgeIds,
+    };
     const projectionResult = ir.projections !== undefined
-        ? settleProjections(ir.projections, new Map(ir.edges.map((e) => [e.id, e])), drawableNodeIds, nameById, ask)
+        ? settleProjections(ir.projections, new Map(ir.edges.map((e) => [e.id, e])), drawableNodeIds, nameById, ask, drawnFlows)
         : undefined;
     return {
         ok: true,
@@ -1163,7 +1442,12 @@ export function validateArchitectureIr(ir, opts = {}) {
                 }
                 : {}),
             autoUnresolved,
-            warnings: descriptionWarnings(ir.nodes, drawableNodeIds),
+            warnings: [
+                ...descriptionWarnings(ir.nodes, drawableNodeIds),
+                ...(projectionResult !== undefined
+                    ? budgetWarnings(projectionResult.projections, projectionResult.drawable, drawnFlows)
+                    : []),
+            ],
         },
     };
 }
@@ -1192,6 +1476,11 @@ function mapEvidence(ir, fn) {
                 platformEvidence: Object.fromEntries(Object.entries(n.platformEvidence).map(([p, list]) => [p, list.map(fn)])),
             }
             : {}),
+        ...(n.columns !== undefined
+            ? {
+                columns: n.columns.map((c) => c.evidence !== undefined ? { ...c, evidence: c.evidence.map(fn) } : { ...c }),
+            }
+            : {}),
     });
     const mapEdge = (e) => ({
         ...e,
@@ -1338,6 +1627,28 @@ function maskNodeText(node) {
         ...(node.displayName !== undefined ? { displayName: mask(node.displayName) } : {}),
         ...(node.description !== undefined ? { description: mask(node.description) } : {}),
         ...(doc !== undefined ? { doc: maskDocInfo(doc) } : {}),
+        ...(node.columns !== undefined
+            ? {
+                columns: node.columns.map((c) => ({
+                    ...c,
+                    name: mask(c.name),
+                    ...(c.type !== undefined ? { type: mask(c.type) } : {}),
+                    ...(c.references !== undefined
+                        ? {
+                            references: {
+                                ...c.references,
+                                ...(c.references.column !== undefined
+                                    ? { column: mask(c.references.column) }
+                                    : {}),
+                                ...(c.references.onDelete !== undefined
+                                    ? { onDelete: mask(c.references.onDelete) }
+                                    : {}),
+                            },
+                        }
+                        : {}),
+                })),
+            }
+            : {}),
     };
 }
 /**
@@ -1366,11 +1677,23 @@ export function redactForSharing(ir) {
         ...(redacted.projections !== undefined
             ? { projections: redacted.projections.map(maskProjectionText) }
             : {}),
-        unresolved: redacted.unresolved.map((q) => ({
-            ...q,
-            question: maskSharedText(q.question),
-            ...(q.answer !== undefined ? { answer: maskSharedText(q.answer) } : {}),
-        })),
+        ...(redacted.stages !== undefined
+            ? { stages: redacted.stages.map((s) => ({ ...s, label: maskSharedText(s.label) })) }
+            : {}),
+        ...(redacted.groups !== undefined
+            ? { groups: redacted.groups.map((g) => ({ ...g, name: maskSharedText(g.name) })) }
+            : {}),
+        unresolved: redacted.unresolved.map(maskSharedQuestion),
+    };
+}
+/** 공유본의 질문. 저장된 질문과 그릴 때 만든 자동 질문이 같은 규칙으로 가려지게 한 곳에 둔다 */
+export function maskSharedQuestion(q) {
+    return {
+        ...q,
+        // 다른 질문 id는 노드 id만 담지만 외래 키 질문 id는 컬럼 이름을 담는다
+        ...(q.id.startsWith('auto:fk:') ? { id: maskSharedText(q.id) } : {}),
+        question: maskSharedText(q.question),
+        ...(q.answer !== undefined ? { answer: maskSharedText(q.answer) } : {}),
     };
 }
 /** 저장용 사본. private 근거의 excerpt만 지운다. 입력은 바꾸지 않는다 */