@flextudio/scenario 0.1.0

package/node_modules/@flextudio/contract-core/validators.mjs

@@ -0,0 +1,2471 @@
+// validate.mjs 의 cross-check 11종을 모듈로 포팅.
+// 시나리오 전체 컨텍스트를 가정하므로 fragment 검증 시에는 호출하지 않는다.
+
+const CKEY_BOUND = new Set([
+  'InputText', 'InputNumber', 'InputMask', 'InputDate', 'MultiInputBox',
+  'Combo', 'Search', 'CheckBox', 'RadioBox',
+  // Tree 는 Ckeys 로 컬렉션 컬럼을 바인딩하는 컨트롤 — 단일선택 시 래퍼 Group
+  // UseDataConnection:true 필수(tree.md). 누락 시 dc-empty 가 Tree 의 Ckeys 를
+  // 못 세어 오탐(DC 그룹 자식에 Tree 만 있는 트리/마스터-디테일 케이스).
+  'Tree',
+]);
+
+const DIALOG_HOST = new Set(['Combo', 'Search', 'InputDate']);
+
+const DIALOG_INNER_OF = { Combo: 'ComboList', Search: 'List' };
+
+/* ------------------------------------------------------------------ */
+/* [reach] Step reachability                                          */
+/* ------------------------------------------------------------------ */
+export function checkStepReachability(scenario) {
+  const steps = scenario?.Steps ?? {};
+  const stepIds = Object.keys(steps);
+  const startSteps = Array.isArray(scenario?.StartSteps) ? scenario.StartSteps : [];
+
+  const occurrences = new Map();
+  const add = (id, from, via) => {
+    if (!occurrences.has(id)) occurrences.set(id, []);
+    occurrences.get(id).push({ from, via });
+  };
+  for (const id of startSteps) add(id, 'StartSteps', null);
+  for (const sid of stepIds) {
+    const next = steps[sid]?.Next;
+    if (Array.isArray(next)) for (const target of next) add(target, 'Step.Next', sid);
+  }
+
+  const errors = [];
+  for (const id of startSteps) {
+    if (!stepIds.includes(id)) errors.push(`StartSteps references unknown Step '${id}'`);
+  }
+  for (const sid of stepIds) {
+    const next = steps[sid]?.Next;
+    if (Array.isArray(next)) {
+      for (const target of next) {
+        if (!stepIds.includes(target)) {
+          errors.push(`Step '${sid}'.Next references unknown Step '${target}'`);
+        }
+      }
+    }
+  }
+  for (const sid of stepIds) {
+    const occ = occurrences.get(sid) ?? [];
+    if (occ.length === 0) {
+      errors.push(`Step '${sid}' is unreachable: not in StartSteps and not in any Step.Next`);
+    } else if (occ.length > 1) {
+      const where = occ.map(o => o.via ? `${o.from}('${o.via}')` : o.from).join(', ');
+      errors.push(`Step '${sid}' is referenced ${occ.length} times (must be exactly 1; cycle or multi-entry detected): ${where}`);
+    }
+  }
+  for (const sid of stepIds) {
+    const bbNext = steps[sid]?.BackButton?.Next;
+    if (bbNext === undefined || bbNext === 'None') continue;
+    if (typeof bbNext !== 'string') continue;
+    if (bbNext === sid) {
+      errors.push(`Step '${sid}'.BackButton.Next references itself ('${sid}') — must be 'None' or another StepId`);
+    } else if (!stepIds.includes(bbNext)) {
+      errors.push(`Step '${sid}'.BackButton.Next references unknown Step '${bbNext}'`);
+    }
+  }
+  return errors;
+}
+
+/* ------------------------------------------------------------------ */
+/* [id] Id 유일성                                                      */
+/* ------------------------------------------------------------------ */
+export function checkIdUniqueness(scenario) {
+  const found = [];
+  const visit = (node, path) => {
+    if (!node || typeof node !== 'object') return;
+    if (typeof node.Id === 'string') found.push({ id: node.Id, path });
+    if (Array.isArray(node.Contents)) {
+      node.Contents.forEach((c, i) => visit(c, `${path}/Contents/${i}`));
+    }
+    const layouts = node?.Dialog?.Layouts;
+    if (Array.isArray(layouts)) {
+      layouts.forEach((layout, li) => {
+        (layout?.Controls ?? []).forEach((c, ci) =>
+          visit(c, `${path}/Dialog/Layouts/${li}/Controls/${ci}`)
+        );
+      });
+    }
+  };
+
+  const steps = scenario?.Steps ?? {};
+  for (const sid of Object.keys(steps)) {
+    const step = steps[sid];
+    for (const ch of ['Contents', 'FixedContentsTop', 'FixedContentsBottom']) {
+      (step?.[ch] ?? []).forEach((g, i) => visit(g, `Steps/${sid}/${ch}/${i}`));
+    }
+    (step?.BottomButtons ?? []).forEach((b, i) => {
+      if (b && typeof b.Id === 'string') {
+        found.push({ id: b.Id, path: `Steps/${sid}/BottomButtons/${i}` });
+      }
+    });
+  }
+
+  const groups = new Map();
+  for (const { id, path } of found) {
+    if (!groups.has(id)) groups.set(id, []);
+    groups.get(id).push(path);
+  }
+  const errors = [];
+  for (const [id, paths] of groups.entries()) {
+    if (paths.length > 1) {
+      errors.push(`Id '${id}' duplicated ${paths.length} times: ${paths.join(' | ')}`);
+    }
+  }
+  return errors;
+}
+
+/* ------------------------------------------------------------------ */
+/* [date] InputDate ↔ Calendar 정합                                   */
+/* ------------------------------------------------------------------ */
+export function checkInputDateConsistency(scenario) {
+  const errors = [];
+  const isFilledArr = (v) => Array.isArray(v) && v.length > 0;
+  // 페어(SingleDate/StartDate/EndDate) 객체 누락은 항상 에러. 빈 Ckeys 는 조상 Group 중
+  // UseDataConnection:true 인 컨텍스트에서만 에러 — 비-연결 캘린더 placeholder 는 빈 배열 허용.
+  const visit = (node, path, hasActiveDC) => {
+    if (!node || typeof node !== 'object') return;
+    const dcCtx = hasActiveDC || (node.ContentsType === 'Group' && node.UseDataConnection === true);
+
+    if (node.ControlType === 'InputDate') {
+      const df = node.DateFormat;
+      const layouts = node?.Dialog?.Layouts;
+      const calendars = [];
+      if (Array.isArray(layouts)) {
+        layouts.forEach((layout, li) => {
+          (layout?.Controls ?? []).forEach((c, ci) => {
+            if (c && c.ControlType === 'Calendar') {
+              calendars.push({ ctrl: c, p: `${path}/Dialog/Layouts/${li}/Controls/${ci}` });
+            }
+          });
+        });
+      }
+      for (const { ctrl, p } of calendars) {
+        const ct = ctrl.CalendarType;
+        if (df === 'YYYY-MM' && ct && ct !== 'monthCalendar') {
+          errors.push(`${path}.DateFormat='YYYY-MM' requires inner Calendar.CalendarType='monthCalendar' (got '${ct}' at ${p})`);
+        }
+        if (ct === 'monthCalendar' && df && !['', 'YYYY-MM'].includes(df)) {
+          errors.push(`${path}.DateFormat='${df}' is incompatible with Calendar.CalendarType='monthCalendar' (use '' or 'YYYY-MM')`);
+        }
+        const st = ctrl.SelectType;
+        if (st === 'SingleDate') {
+          if (!ctrl.SingleDate) {
+            errors.push(`${p} (Calendar) SelectType='SingleDate' 인데 SingleDate 객체 누락 — pair 룰. 런타임이 dlgJson.SingleDate.Ckeys 로 직접 접근.`);
+          } else if (dcCtx && !isFilledArr(ctrl.SingleDate.Ckeys)) {
+            errors.push(`${p} (Calendar) SelectType='SingleDate' + 조상 Group UseDataConnection:true 인데 SingleDate.Ckeys 가 비어있음 — 데이터 연결 활성 컨텍스트에서는 1개 이상 ckey 필요.`);
+          }
+        } else if (st === 'FromTo') {
+          if (!ctrl.StartDate) {
+            errors.push(`${p} (Calendar) SelectType='FromTo' 인데 StartDate 객체 누락 — pair 룰.`);
+          } else if (dcCtx && !isFilledArr(ctrl.StartDate.Ckeys)) {
+            errors.push(`${p} (Calendar) SelectType='FromTo' + 조상 Group UseDataConnection:true 인데 StartDate.Ckeys 가 비어있음 — 데이터 연결 활성 컨텍스트에서는 1개 이상 ckey 필요.`);
+          }
+          if (!ctrl.EndDate) {
+            errors.push(`${p} (Calendar) SelectType='FromTo' 인데 EndDate 객체 누락 — pair 룰.`);
+          } else if (dcCtx && !isFilledArr(ctrl.EndDate.Ckeys)) {
+            errors.push(`${p} (Calendar) SelectType='FromTo' + 조상 Group UseDataConnection:true 인데 EndDate.Ckeys 가 비어있음 — 데이터 연결 활성 컨텍스트에서는 1개 이상 ckey 필요.`);
+          }
+        }
+      }
+    }
+    if (Array.isArray(node.Contents)) {
+      node.Contents.forEach((c, i) => visit(c, `${path}/Contents/${i}`, dcCtx));
+    }
+    const layouts = node?.Dialog?.Layouts;
+    if (Array.isArray(layouts)) {
+      layouts.forEach((layout, li) => {
+        (layout?.Controls ?? []).forEach((c, ci) =>
+          visit(c, `${path}/Dialog/Layouts/${li}/Controls/${ci}`, dcCtx)
+        );
+      });
+    }
+  };
+  forEachStepRoot(scenario, (root, p) => visit(root, p, false));
+  return errors;
+}
+
+/* ------------------------------------------------------------------ */
+/* [event] Combo/Search/InputDate 본체 이벤트 위치                    */
+/* ------------------------------------------------------------------ */
+export function checkDialogEventPlacement(scenario) {
+  const errors = [];
+  const visit = (node, path) => {
+    if (!node || typeof node !== 'object') return;
+    if (DIALOG_HOST.has(node.ControlType)) {
+      if (node.UseEvents === true || node.Events !== undefined) {
+        errors.push(`${path} (${node.ControlType}) has UseEvents/Events on root — must be inside Dialog.Layouts[0].Controls[0] (system-prompt-v2 §7.7)`);
+      }
+    }
+    if (Array.isArray(node.Contents)) {
+      node.Contents.forEach((c, i) => visit(c, `${path}/Contents/${i}`));
+    }
+    const layouts = node?.Dialog?.Layouts;
+    if (Array.isArray(layouts)) {
+      layouts.forEach((layout, li) => {
+        (layout?.Controls ?? []).forEach((c, ci) =>
+          visit(c, `${path}/Dialog/Layouts/${li}/Controls/${ci}`)
+        );
+      });
+    }
+  };
+  forEachStepRoot(scenario, visit);
+  return errors;
+}
+
+/* ------------------------------------------------------------------ */
+/* [dialog-host] Combo/Search/InputDate Dialog 구조 필수                */
+/*  - 런타임/스튜디오가 `controlMeta.Dialog.Layouts[0].Controls[0]` 직 */
+/*    접 접근 후 `.UseMultiData` 등을 읽는다. Dialog 가 빠지면          */
+/*    "Cannot read properties of undefined (reading 'UseMultiData')"   */
+/*    TypeError 발생 → 시나리오 자체가 깨진 화면이 된다.                  */
+/*  - 따라서 본체에 Dialog.Layouts[0].Controls[0] 와 짝 내부 컨트롤이    */
+/*    반드시 존재해야 한다 (makeInputDate / makeCombo / makeSearch       */
+/*    helper 가 항상 채움 — 직접 작성한 raw JSON 에서 누락되기 쉬움).     */
+/* ------------------------------------------------------------------ */
+const DIALOG_HOST_INNER = {
+  Combo: 'ComboList',
+  Search: 'List',
+  InputDate: 'Calendar',
+};
+export function checkDialogHostStructure(scenario) {
+  const errors = [];
+  const visit = (node, path) => {
+    if (!node || typeof node !== 'object') return;
+    if (DIALOG_HOST.has(node.ControlType)) {
+      const expected = DIALOG_HOST_INNER[node.ControlType];
+      const dlg = node.Dialog;
+      const layouts = dlg && dlg.Layouts;
+      const layout0 = Array.isArray(layouts) ? layouts[0] : undefined;
+      const controls = layout0 && layout0.Controls;
+      const inner = Array.isArray(controls) ? controls[0] : undefined;
+      const where = `${path} (${node.ControlType})`;
+      const helperHint =
+        node.ControlType === 'InputDate' ? 'makeInputDate({ inner: makeInnerCalendar({...}) })'
+        : node.ControlType === 'Combo'    ? 'makeCombo({ inner: makeInnerComboList({...}) })'
+                                          : 'makeSearch({ inner: makeInnerSearchList({...}) })';
+      if (!dlg || typeof dlg !== 'object') {
+        errors.push(`${where} Dialog 누락 — 런타임이 controlMeta.Dialog.Layouts[0].Controls[0] 를 직접 읽으므로 TypeError. ${helperHint} 로 내부 ${expected} 까지 함께 생성할 것.`);
+      } else if (!Array.isArray(layouts) || layouts.length < 1) {
+        errors.push(`${where} Dialog.Layouts 가 비어있음 — Layouts[0].Controls[0] 에 ${expected} 가 있어야 한다.`);
+      } else if (!Array.isArray(controls) || controls.length < 1 || !inner) {
+        errors.push(`${where} Dialog.Layouts[0].Controls[0] 누락 — ${expected} 내부 컨트롤을 채울 것.`);
+      } else if (inner.ControlType !== expected) {
+        errors.push(`${where} Dialog.Layouts[0].Controls[0].ControlType='${inner.ControlType}' — ${expected} 여야 한다 (${node.ControlType} 의 짝 내부 컨트롤).`);
+      }
+    }
+    if (Array.isArray(node.Contents)) {
+      node.Contents.forEach((c, i) => visit(c, `${path}/Contents/${i}`));
+    }
+    const layouts = node?.Dialog?.Layouts;
+    if (Array.isArray(layouts)) {
+      layouts.forEach((layout, li) => {
+        (layout?.Controls ?? []).forEach((c, ci) =>
+          visit(c, `${path}/Dialog/Layouts/${li}/Controls/${ci}`)
+        );
+      });
+    }
+  };
+  forEachStepRoot(scenario, visit);
+  return errors;
+}
+
+/* ------------------------------------------------------------------ */
+/* [sample] AI 생성 시 sample-safe DataSource 만 허용 (Fixed/Grid)     */
+/* ------------------------------------------------------------------ */
+export function checkSampleDataSources(scenario, strictSample = true) {
+  if (!strictSample) return [];
+  const errors = [];
+  const ds = scenario?.DataSources;
+  if (!ds || typeof ds !== 'object') return [];
+  const allowed = new Set(['Fixed', 'Grid']);
+  for (const [name, defn] of Object.entries(ds)) {
+    if (!defn || typeof defn !== 'object') continue;
+    const t = defn.DataSourceType;
+    if (t && !allowed.has(t)) {
+      errors.push(`DataSources.${name}.DataSourceType='${t}' is not sample-safe — AI generation must use 'Fixed' or 'Grid' (system-prompt-v2 §17). Set strict_sample=false to allow operational types.`);
+    }
+  }
+  return errors;
+}
+
+/* ------------------------------------------------------------------ */
+/* [dsref] DataSourceName 참조 → scenario.DataSources 정의 존재 검증   */
+/* ------------------------------------------------------------------ */
+export function checkDataSourceReferences(scenario) {
+  const errors = [];
+  const ds = scenario?.DataSources;
+  const known = new Set(ds && typeof ds === 'object' ? Object.keys(ds) : []);
+  const refs = [];
+  const visit = (node, path) => {
+    if (!node || typeof node !== 'object') return;
+    if (typeof node.DataSourceName === 'string' && node.DataSourceName) {
+      refs.push({ name: node.DataSourceName, path });
+    }
+    if (Array.isArray(node.Contents)) {
+      node.Contents.forEach((c, i) => visit(c, `${path}/Contents/${i}`));
+    }
+    const layouts = node?.Dialog?.Layouts;
+    if (Array.isArray(layouts)) {
+      layouts.forEach((layout, li) => {
+        (layout?.Controls ?? []).forEach((c, ci) =>
+          visit(c, `${path}/Dialog/Layouts/${li}/Controls/${ci}`)
+        );
+      });
+    }
+  };
+  forEachStepRoot(scenario, visit);
+  for (const { name, path } of refs) {
+    if (!known.has(name)) {
+      errors.push(`${path}.DataSourceName='${name}' is not defined in scenario.DataSources (known: ${[...known].join(', ') || '(empty)'})`);
+    }
+  }
+  return errors;
+}
+
+/* ------------------------------------------------------------------ */
+/* [bind] Ckey 바인딩 ↔ 조상 Group DataConnection                       */
+/* ------------------------------------------------------------------ */
+export function checkCkeyBinding(scenario) {
+  const errors = [];
+  const visit = (node, path, hasDC) => {
+    if (!node || typeof node !== 'object') return;
+
+    let nextHasDC = hasDC;
+    if (node.ContentsType === 'Group' && node.UseDataConnection === true && node.DataConnection) {
+      nextHasDC = true;
+    }
+
+    const ct = node.ControlType;
+    if (ct && CKEY_BOUND.has(ct)) {
+      const hasCkeys = Array.isArray(node.Ckeys) && node.Ckeys.length > 0;
+      const hasSaveValueKey = typeof node.SaveValueKey === 'string' && node.SaveValueKey.length > 0;
+      if ((hasCkeys || hasSaveValueKey) && !hasDC) {
+        const why = hasCkeys ? 'Ckeys' : 'SaveValueKey';
+        errors.push(`${path} (${ct}) uses ${why} but no ancestor Group has UseDataConnection:true + DataConnection`);
+      }
+    }
+    if (ct === 'Label' && node.LabelType === 'LabelCKey' && typeof node.LabelCKey === 'string' && node.LabelCKey.length > 0 && !hasDC) {
+      errors.push(`${path} (Label LabelCKey='${node.LabelCKey}') requires ancestor Group with UseDataConnection:true + DataConnection`);
+    }
+
+    if (Array.isArray(node.Contents)) {
+      node.Contents.forEach((c, i) => visit(c, `${path}/Contents/${i}`, nextHasDC));
+    }
+    const layouts = node?.Dialog?.Layouts;
+    if (Array.isArray(layouts)) {
+      layouts.forEach((layout, li) => {
+        (layout?.Controls ?? []).forEach((c, ci) =>
+          visit(c, `${path}/Dialog/Layouts/${li}/Controls/${ci}`, nextHasDC)
+        );
+      });
+    }
+  };
+  forEachStepRoot(scenario, (node, path) => visit(node, path, false));
+  return errors;
+}
+
+/* ------------------------------------------------------------------ */
+/* [move] MoveSteps 타깃 Step 존재 검증                                */
+/* ------------------------------------------------------------------ */
+export function checkMoveStepsTargets(scenario) {
+  const errors = [];
+  const stepIds = new Set(Object.keys(scenario?.Steps ?? {}));
+  const visit = (node, path) => {
+    if (!node || typeof node !== 'object') return;
+    if (node.UseMove === true && node.MoveSteps) {
+      const ms = node.MoveSteps;
+      const order = ms.MoveStepOrder;
+      if (Array.isArray(order)) {
+        for (const target of order) {
+          if (typeof target !== 'string' || !target) continue;
+          if (!stepIds.has(target)) {
+            errors.push(`${path}.MoveSteps.MoveStepOrder references unknown Step '${target}'`);
+          }
+          // [move-steps-shape] property-data.js createMoveStepArea 가 moveSteps[stepId]
+          // 로 옵션 객체에 접근. 누락 시 valueObj[K.MOVETO] 에서 TypeError 로 프로퍼티
+          // 패널 렌더 실패. MoveStepOrder 의 모든 StepId 가 동일 레벨에 옵션 객체 키로
+          // 존재해야 한다 (schema 의 patternProperties 만으로는 강제 불가).
+          const opt = ms[target];
+          if (!opt || typeof opt !== 'object' || Array.isArray(opt)) {
+            errors.push(
+              `${path}.MoveSteps.${target} 옵션 객체 누락 — { Condition: '', MoveTo: 'Next' } 형태로 ` +
+              `같은 레벨에 추가 필요. property-data.js 가 moveSteps[stepId] 로 접근, 누락 시 ` +
+              `프로퍼티 패널 렌더 TypeError (moveTypeCombo.value(valueObj[K.MOVETO])).`
+            );
+          }
+        }
+      }
+    }
+    if (Array.isArray(node.Contents)) {
+      node.Contents.forEach((c, i) => visit(c, `${path}/Contents/${i}`));
+    }
+    const layouts = node?.Dialog?.Layouts;
+    if (Array.isArray(layouts)) {
+      layouts.forEach((layout, li) => {
+        (layout?.Controls ?? []).forEach((c, ci) =>
+          visit(c, `${path}/Dialog/Layouts/${li}/Controls/${ci}`)
+        );
+      });
+    }
+  };
+  const steps = scenario?.Steps ?? {};
+  for (const sid of Object.keys(steps)) {
+    const step = steps[sid];
+    for (const ch of ['Contents', 'FixedContentsTop', 'FixedContentsBottom']) {
+      (step?.[ch] ?? []).forEach((g, i) => visit(g, `Steps/${sid}/${ch}/${i}`));
+    }
+    (step?.BottomButtons ?? []).forEach((b, i) => visit(b, `Steps/${sid}/BottomButtons/${i}`));
+  }
+  return errors;
+}
+
+/* ------------------------------------------------------------------ */
+/* [ds-key] Combo/Search 본체 ↔ 자식 ComboList/List Ckeys 일치        */
+/* ------------------------------------------------------------------ */
+export function checkComboSearchInnerKeys(scenario) {
+  const errors = [];
+  const visit = (node, path) => {
+    if (!node || typeof node !== 'object') return;
+    const ct = node.ControlType;
+    if (DIALOG_INNER_OF[ct]) {
+      const innerType = DIALOG_INNER_OF[ct];
+      const layouts = node?.Dialog?.Layouts;
+      if (Array.isArray(layouts)) {
+        layouts.forEach((layout, li) => {
+          (layout?.Controls ?? []).forEach((inner, ci) => {
+            if (!inner || inner.ControlType !== innerType) return;
+            const ipath = `${path}/Dialog/Layouts/${li}/Controls/${ci}`;
+            // 본체-자식 Ckeys 정합 (본체 Ckeys 는 [combo-body-ckeys] 가 별도 차단 — 있을 때만 비교)
+            if (Array.isArray(node.Ckeys) && Array.isArray(inner.Ckeys)) {
+              const a = node.Ckeys, b = inner.Ckeys;
+              const eq = a.length === b.length && a.every((k, idx) => k === b[idx]);
+              if (!eq) {
+                errors.push(`${path}.Ckeys=[${a.join(',')}] does not match Dialog/Layouts/${li}/Controls/${ci} (${innerType}).Ckeys=[${b.join(',')}]`);
+              }
+            }
+            // Title — 리스트 표시 키 (ComboList/List). DataSource 모드에서 누락 시 선택지에 명칭이 안 보임.
+            if (innerType === 'ComboList' || innerType === 'List') {
+              const dsMode = inner.UseDataSource !== false &&
+                typeof inner.DataSourceName === 'string' && inner.DataSourceName.length > 0;
+              const title = inner.Title;
+              if (dsMode && (typeof title !== 'string' || title.length === 0)) {
+                errors.push(
+                  `${ipath} (${innerType}, DataSource '${inner.DataSourceName}') 에 Title 이 없음 — ` +
+                  `Title 에 DataSource 키 중 화면에 보여줄 키를 연결해야 리스트에 명칭이 보인다 ` +
+                  `(Fixed DataSource 면 FixedItems 의 키, 예: "ItemName"/"ItemValue"). schema/v1/control/combo.md §ComboList.Title.`
+                );
+              }
+              // Title 이 실제 원본 데이터 필드인지 (정적으로 알 수 있는 Fixed DataSource / 인라인 Items 만)
+              if (typeof title === 'string' && title.length > 0) {
+                let objs = null, src = '';
+                if (dsMode) {
+                  const ds = scenario?.DataSources?.[inner.DataSourceName];
+                  if (ds && ds.DataSourceType === 'Fixed' && Array.isArray(ds.FixedItems)) {
+                    objs = ds.FixedItems.filter((o) => o && typeof o === 'object' && !Array.isArray(o));
+                    src = `DataSource '${inner.DataSourceName}'.FixedItems`;
+                  }
+                } else if (Array.isArray(inner.Items)) {
+                  objs = inner.Items.filter((o) => o && typeof o === 'object' && !Array.isArray(o));
+                  src = 'Items';
+                }
+                if (objs && objs.length > 0 &&
+                    !objs.every((o) => Object.prototype.hasOwnProperty.call(o, title))) {
+                  errors.push(
+                    `${ipath} (${innerType}) 의 Title='${title}' 이 ${src} 의 필드에 없음 — ` +
+                    `선택지가 빈 칸으로 표시된다. 실제 항목 객체의 키 중 표시할 키로 연결할 것.`
+                  );
+                }
+              }
+            }
+          });
+        });
+      }
+    }
+    if (Array.isArray(node.Contents)) {
+      node.Contents.forEach((c, i) => visit(c, `${path}/Contents/${i}`));
+    }
+    const layouts = node?.Dialog?.Layouts;
+    if (Array.isArray(layouts)) {
+      layouts.forEach((layout, li) => {
+        (layout?.Controls ?? []).forEach((c, ci) =>
+          visit(c, `${path}/Dialog/Layouts/${li}/Controls/${ci}`)
+        );
+      });
+    }
+  };
+  forEachStepRoot(scenario, visit);
+  return errors;
+}
+
+/* ------------------------------------------------------------------ */
+/* [combo-body-ckeys] Combo/Search 본체(Dialog 밖)에는 Ckeys 금지         */
+/*  - 스튜디오 속성 패널은 본체에 Ckeys 입력이 없다 (property-data.js     */
+/*    createDataSection 은 'ComboList' 만 등록). Ckeys 는 자식           */
+/*    ComboList(Combo)/List(Search) 의 속성이다. 운영 메타 대다수도        */
+/*    본체 Ckeys 가 없다(있는 건 런타임이 무시하는 레거시 잔재).          */
+/*  - 본체 선택값 표시는 DisplayValue:"{=표시Ckey}" 또는 CtrlDisplayCkey.  */
+/*  - 자식 Ckeys 는 그대로 둔다(여기선 본체만 검사).                       */
+/*  - opts.strictComboBodyCkeys=false 로 비활성.                          */
+/* ------------------------------------------------------------------ */
+export function checkComboBodyNoCkeys(scenario, strictComboBodyCkeys = true) {
+  if (!strictComboBodyCkeys) return [];
+  const errors = [];
+  const visit = (node, path) => {
+    if (!node || typeof node !== 'object') return;
+    const ct = node.ControlType;
+    if (DIALOG_INNER_OF[ct] && Array.isArray(node.Ckeys) && node.Ckeys.length > 0) {
+      const inner = DIALOG_INNER_OF[ct];
+      errors.push(
+        `${path} (${ct} 본체) 에 Ckeys=[${node.Ckeys.join(', ')}] 가 있음 — ` +
+        `Combo/Search 본체(Dialog 밖)에는 Ckeys 를 두지 않는다. ` +
+        `Ckeys 는 자식 ${inner}(Dialog.Layouts[*].Controls[*]) 에만 두고, ` +
+        `본체 선택값 표시는 DisplayValue:"{=표시Ckey}" 또는 CtrlDisplayCkey 로 한다. (strictComboBodyCkeys=false 로 비활성)`
+      );
+    }
+    if (Array.isArray(node.Contents)) {
+      node.Contents.forEach((c, i) => visit(c, `${path}/Contents/${i}`));
+    }
+    const layouts = node?.Dialog?.Layouts;
+    if (Array.isArray(layouts)) {
+      layouts.forEach((layout, li) =>
+        (layout?.Controls ?? []).forEach((c, ci) =>
+          visit(c, `${path}/Dialog/Layouts/${li}/Controls/${ci}`)));
+    }
+  };
+  forEachStepRoot(scenario, visit);
+  return errors;
+}
+
+/* ------------------------------------------------------------------ */
+/* [dc-parent-key] DCParentKey/DCChildKey 는 DataConnection 최상위 금지    */
+/*  - 부모-자식 조인 키는 TargetSector.Filters 의 Parent 필터 안에 둔다:    */
+/*    { FilterType:"Parent", DCParentKey, DCChildKey } (운영 메타·schema    */
+/*    sectorFilter Parent 분기 정본). new 부모키 매핑이면 DCLinkCkey.        */
+/*    DCLinkItems[] 안. DataConnection 최상위 flat 은 어느 경우도 아니다.   */
+/*  - 모델이 new(DCLinkItems) 와 query(Parent 필터)를 혼동해 flat 으로 두는 */
+/*    케이스. materialize(canonicalizeDataConnection)가 query/Parent 는     */
+/*    자동 이전하므로, 여기 걸리는 건 그 외(이전 불가) 잔여 케이스.         */
+/*  - opts.strictDcParentKey=false 로 비활성.                              */
+/* ------------------------------------------------------------------ */
+export function checkDataConnectionParentKeys(scenario, strictDcParentKey = true) {
+  if (!strictDcParentKey) return [];
+  const errors = [];
+  const visit = (node, path) => {
+    if (!node || typeof node !== 'object') return;
+    const dc = node.DataConnection;
+    if (dc && typeof dc === 'object' && !Array.isArray(dc)) {
+      const hasP = typeof dc.DCParentKey === 'string' && dc.DCParentKey !== '';
+      const hasC = typeof dc.DCChildKey === 'string' && dc.DCChildKey !== '';
+      if (hasP || hasC) {
+        const which = [hasP ? 'DCParentKey' : null, hasC ? 'DCChildKey' : null].filter(Boolean).join('/');
+        errors.push(
+          `${path}/DataConnection 에 flat ${which} 가 있음 — 부모-자식 조인 키는 DataConnection 최상위가 아니라 ` +
+          `TargetSector.Filters 의 Parent 필터 안에 둔다: ` +
+          `{ "FilterType":"Parent", "DCParentKey":"…", "DCChildKey":"…" }. ` +
+          `(new 부모키 매핑이면 DCLinkCkey.DCLinkItems[] 안. strictDcParentKey=false 로 비활성)`
+        );
+      }
+    }
+    if (Array.isArray(node.Contents)) {
+      node.Contents.forEach((c, i) => visit(c, `${path}/Contents/${i}`));
+    }
+    const layouts = node?.Dialog?.Layouts;
+    if (Array.isArray(layouts)) {
+      layouts.forEach((layout, li) =>
+        (layout?.Controls ?? []).forEach((c, ci) =>
+          visit(c, `${path}/Dialog/Layouts/${li}/Controls/${ci}`)));
+    }
+  };
+  forEachStepRoot(scenario, visit);
+  return errors;
+}
+
+/* ------------------------------------------------------------------ */
+/* [dc-parent-ctx] 상위 데이터연결 없는 Parent 필터 금지                  */
+/*  - TargetSector.Filters 의 { FilterType:"Parent" } 는 조상 Group 의    */
+/*    DataConnection 섹터(부모 행)와 DCParentKey/DCChildKey 를 매칭하는   */
+/*    필터다. 조상 체인에 DC 그룹이 하나도 없으면 매칭할 부모 섹터 자체가 */
+/*    없어 빈 목록/오동작 — 모델이 1:N 예제를 흉내내며 독립 목록에도      */
+/*    Parent 필터를 붙이는 케이스.                                        */
+/*  - 독립 목록이면 Parent 필터를 제거(일반 query), 부모-자식 구조면      */
+/*    부모 Group 에 UseDataConnection:true + DataConnection 을 먼저 둔다. */
+/*  - opts.strictDcParentCtx=false 로 비활성.                             */
+/* ------------------------------------------------------------------ */
+export function checkParentFilterAncestorDc(scenario, strictDcParentCtx = true) {
+  if (!strictDcParentCtx) return [];
+  const errors = [];
+  const visit = (node, path, hasAncestorDc) => {
+    if (!node || typeof node !== 'object') return;
+    const dc = node.DataConnection;
+    const filters = dc?.TargetSector?.Filters;
+    if (Array.isArray(filters) && !hasAncestorDc) {
+      filters.forEach((f, fi) => {
+        if (f && f.FilterType === 'Parent') {
+          errors.push(
+            `${path}/DataConnection/TargetSector/Filters/${fi} 에 Parent 필터가 있는데 상위(조상)에 데이터연결이 없음 — ` +
+            `Parent 필터는 조상 Group 의 DataConnection 섹터(부모 행)와 DCParentKey/DCChildKey 를 매칭한다. ` +
+            `독립 목록이면 Parent 필터를 제거하고 일반 query 로 두고, 부모-자식 1:N 이면 ` +
+            `부모 Group 에 UseDataConnection:true + DataConnection 을 먼저 둘 것. (strictDcParentCtx=false 로 비활성)`
+          );
+        }
+      });
+    }
+    const childHasDc = hasAncestorDc || (node.UseDataConnection === true && !!dc);
+    if (Array.isArray(node.Contents)) {
+      node.Contents.forEach((c, i) => visit(c, `${path}/Contents/${i}`, childHasDc));
+    }
+    const layouts = node?.Dialog?.Layouts;
+    if (Array.isArray(layouts)) {
+      layouts.forEach((layout, li) =>
+        (layout?.Controls ?? []).forEach((c, ci) =>
+          visit(c, `${path}/Dialog/Layouts/${li}/Controls/${ci}`, childHasDc)));
+    }
+  };
+  forEachStepRoot(scenario, (g, p) => visit(g, p, false));
+  return errors;
+}
+
+/* ------------------------------------------------------------------ */
+/* [combo-fixed] Fixed 모드 ComboList 의 SaveNameKey/SaveValueKey 정합     */
+/*  - UseDataSource:false + Items (인라인 선택지) 일 때, SaveNameKey(표시) */
+/*    / SaveValueKey(저장 주값) 가 실제 Items 객체 필드로 resolve 돼야 함.  */
+/*  - resolve: CollectionMapper[key] 있으면 그 값, 없으면 key 자체.        */
+/*    resolved 필드가 모든 Items 객체에 있어야 선택 후 표시/저장됨 —        */
+/*    없으면 런타임에 빈 콤보 (기본은 SaveNameKey='ItemName'/'ItemValue').  */
+/*  - 미지정(SaveNameKey 없음)은 별도 규칙(선택 후 텍스트 미표시) — 여기선  */
+/*    "지정했는데 Items 필드와 불일치" 만 잡는다.                           */
+/*  - opts.strictComboFixed=false (runAllCrossChecks) 로 비활성.            */
+/* ------------------------------------------------------------------ */
+export function checkComboFixedKeys(scenario, strictComboFixed = true) {
+  if (!strictComboFixed) return [];
+  const errors = [];
+  const visit = (node, path) => {
+    if (!node || typeof node !== 'object') return;
+    if (
+      node.ControlType === 'ComboList' &&
+      node.UseDataSource === false &&
+      Array.isArray(node.Items) &&
+      node.Items.length > 0
+    ) {
+      const mapper =
+        node.CollectionMapper && typeof node.CollectionMapper === 'object' && !Array.isArray(node.CollectionMapper)
+          ? node.CollectionMapper
+          : {};
+      const itemObjs = node.Items.filter((it) => it && typeof it === 'object' && !Array.isArray(it));
+      const fieldInAllItems = (field) =>
+        itemObjs.length > 0 && itemObjs.every((it) => Object.prototype.hasOwnProperty.call(it, field));
+      const itemFields = itemObjs.length > 0 ? Object.keys(itemObjs[0]) : [];
+      const ckeys = Array.isArray(node.Ckeys) ? node.Ckeys : [];
+      for (const slot of ['SaveNameKey', 'SaveValueKey']) {
+        const key = node[slot];
+        if (typeof key !== 'string' || key === '') continue; // 미지정은 별도 규칙
+        // Fixed 모드 의미론 (studio-init.js: SaveValueKey='값에 해당하는 컬렉션 키',
+        //  SaveNameKey='이름에 해당하는 컬렉션 키'):
+        //  - SaveValueKey/SaveNameKey 는 "저장될 컬렉션키"(=Ckeys 멤버)이지 Items 필드명이 아니다.
+        //  - Fixed Items 는 고정 필드 ItemValue(값)/ItemName(표시)를 가지며,
+        //    런타임이 Item.ItemValue → 컬렉션[SaveValueKey], Item.ItemName → 컬렉션[SaveNameKey] 로 반영.
+        //  - CollectionMapper 는 UseDataSource:true(DataSource 모드) 전용 — Fixed 에선 쓰지 않는다.
+        //    (레거시로 매핑이 있으면 그 값을 원본 필드로 존중하되, 기본은 ItemValue/ItemName.)
+        const fixedField = slot === 'SaveValueKey' ? 'ItemValue' : 'ItemName';
+        const resolved = typeof mapper[key] === 'string' && mapper[key] ? mapper[key] : fixedField;
+        if (!fieldInAllItems(resolved)) {
+          errors.push(
+            `${path} (Fixed ComboList) ${slot}='${key}' 의 표시/저장 원본 필드 '${resolved}'${mapper[key] ? ` (CollectionMapper→)` : ''} 가 Items 에 없음 — ` +
+            `Fixed 콤보 Items 는 {ItemValue(값), ItemName(표시)} 고정 필드를 가져야 선택 후 표시/저장된다. ` +
+            `현재 Items 필드: [${itemFields.join(', ') || '(없음)'}]. (strictComboFixed=false 로 비활성)`
+          );
+        }
+        // [combo-fixed/ckeys] 컬렉션에 바인딩된(Ckeys 비어있지 않은) Fixed 콤보면
+        //  SaveValueKey/SaveNameKey 는 "저장 대상 컬렉션키"(Ckeys 중 하나)여야 한다.
+        //  - SaveKey 에 Items 필드명('ItemValue'/'ItemName')을 직접 박으면 Ckeys(예: fLeaveType)와
+        //    어긋나 선택값이 엉뚱한 키로 저장되고 본체(CtrlDisplayCkey)가 빈 칸이 된다.
+        //  - 값/표시 두 컬럼이면 Ckeys:[값키,표시키] + SaveValueKey=값키 / SaveNameKey=표시키
+        //    (Items 는 ItemValue/ItemName 고정, CollectionMapper 불필요).
+        //  - Ckeys 가 비면(컬렉션 미바인딩 순수 드롭다운) 저장 대상이 없어 검사 제외.
+        if (ckeys.length > 0 && !ckeys.includes(key)) {
+          errors.push(
+            `${path} (Fixed ComboList) ${slot}='${key}' 가 Ckeys=[${ckeys.join(', ')}] 의 멤버가 아님 — ` +
+            `SaveValueKey/SaveNameKey 는 저장 대상 컬렉션키(Ckeys 중 하나)여야 한다. ` +
+            `고정 Items 의 'ItemValue'/'ItemName' 를 SaveKey 로 직접 쓰지 말 것 — ` +
+            `Ckeys:[값키, 표시키] 로 선언하고 SaveValueKey=값키 / SaveNameKey=표시키 로 두면 된다 ` +
+            `(Items 는 ItemValue/ItemName 고정, CollectionMapper 불필요). ` +
+            `(현재대로면 선택값이 '${key}' 키로 저장돼 컬렉션키와 어긋나 런타임에 빈 콤보/미저장 — strictComboFixed=false 로 비활성)`
+          );
+        }
+      }
+    }
+    if (Array.isArray(node.Contents)) {
+      node.Contents.forEach((c, i) => visit(c, `${path}/Contents/${i}`));
+    }
+    const layouts = node?.Dialog?.Layouts;
+    if (Array.isArray(layouts)) {
+      layouts.forEach((layout, li) => {
+        (layout?.Controls ?? []).forEach((c, ci) =>
+          visit(c, `${path}/Dialog/Layouts/${li}/Controls/${ci}`)
+        );
+      });
+    }
+  };
+  forEachStepRoot(scenario, visit);
+  return errors;
+}
+
+/* ------------------------------------------------------------------ */
+/* [display-key] DataSource 기반 Combo/Search 본체 표시 키 필수            */
+/*  - Search 는 항상 DataSource 기반 — 본체에 CtrlDisplayCkey 또는        */
+/*    DisplayValue (비어있지 않은 값) 가 있어야 선택 후 표시 가능.         */
+/*  - Combo 는 자식 ComboList.UseDataSource 분기로 판단:                    */
+/*     · UseDataSource !== false (true 또는 undefined → 런타임 default)    */
+/*       → 본체에 CtrlDisplayCkey 또는 DisplayValue (비어있지 않은 값) 필수.*/
+/*     · UseDataSource === false (Fixed Items) → DisplayValue:"" 컨벤션     */
+/*       허용 — 검사 대상 외 (런타임이 ComboList.SaveNameKey 로 fallback).   */
+/*  - DisplayType 명시 시 그에 맞는 짝 키만 채워야 함 (상호배타).            */
+/*  - 환경변수 DISPLAY_KEY_STRICT=0 또는 opts.strictDisplayKey=false 비활성. */
+/* ------------------------------------------------------------------ */
+export function checkDisplayCkey(scenario, strictDisplayKey = true) {
+  if (!strictDisplayKey) return [];
+  const errors = [];
+  const isFilledString = (v) => typeof v === 'string' && v.length > 0;
+  const visit = (node, path) => {
+    if (!node || typeof node !== 'object') return;
+    const ct = node.ControlType;
+    if (ct === 'Search' || ct === 'Combo') {
+      let needsDisplay = false;
+      let reason = '';
+      if (ct === 'Search') {
+        needsDisplay = true;
+        reason = 'Search 본체';
+      } else {
+        const layouts = node?.Dialog?.Layouts;
+        if (Array.isArray(layouts)) {
+          for (const layout of layouts) {
+            for (const inner of (layout?.Controls ?? [])) {
+              if (inner && inner.ControlType === 'ComboList') {
+                if (inner.UseDataSource !== false) {
+                  needsDisplay = true;
+                  reason = 'Combo 본체 (DataSource 모드 ComboList)';
+                }
+              }
+            }
+          }
+        }
+      }
+      if (needsDisplay) {
+        const dt = node.DisplayType;
+        const ccKey = node.CtrlDisplayCkey;
+        const dv = node.DisplayValue;
+        if (dt === 'CtrlDisplayCkey') {
+          if (!isFilledString(ccKey)) {
+            errors.push(`${path} (${reason}) DisplayType='CtrlDisplayCkey' 인데 CtrlDisplayCkey 가 비어있음 — 데이터소스에서 표시할 컬렉션 필드명을 채워야 한다.`);
+          }
+        } else if (dt === 'DisplayValue') {
+          if (!isFilledString(dv)) {
+            errors.push(`${path} (${reason}) DisplayType='DisplayValue' 인데 DisplayValue 가 비어있음 — '{=Field}' 또는 '{% JS %}' 표현식을 채워야 한다.`);
+          }
+        } else {
+          if (!isFilledString(ccKey) && !isFilledString(dv)) {
+            errors.push(`${path} (${reason}) DataSource 기반인데 CtrlDisplayCkey 와 DisplayValue 가 모두 비어있음 — Ckeys 중 본체에 표시할 필드명을 'CtrlDisplayCkey' 로 등록할 것 (또는 DisplayType='DisplayValue' + DisplayValue 표현식).`);
+          }
+        }
+      }
+    }
+    if (Array.isArray(node.Contents)) {
+      node.Contents.forEach((c, i) => visit(c, `${path}/Contents/${i}`));
+    }
+    const layouts = node?.Dialog?.Layouts;
+    if (Array.isArray(layouts)) {
+      layouts.forEach((layout, li) => {
+        (layout?.Controls ?? []).forEach((c, ci) =>
+          visit(c, `${path}/Dialog/Layouts/${li}/Controls/${ci}`)
+        );
+      });
+    }
+  };
+  forEachStepRoot(scenario, visit);
+  return errors;
+}
+
+/* ------------------------------------------------------------------ */
+/* [category-name] 카테고리명 규칙 — 'Ctg' 접두 + PascalCase + JS 식별자  */
+/*  - 출처: runtime/v1/collection/naming.md §2-1 (Ctg + PascalCase),       */
+/*    system-prompt-v2.md ("Ctg prefix + descriptive PascalCase name")     */
+/*  - 안티패턴: Ctg(New|Edit|Add|Insert)* — 별도 카테고리 대신                */
+/*    DataUsage:'new'/'update' 사용 (naming.md §2-2).                       */
+/*  - 카테고리 식별은 DataConnection.CategoryName 만 사용한다.             */
+/*    TargetSector.CategoryName 은 잘못된 형태 — 별도 에러로 보고.         */
+/* ------------------------------------------------------------------ */
+const CATEGORY_NAME_RE = /^Ctg[A-Z][A-Za-z0-9]*$/;
+const CATEGORY_ANTIPATTERN_RE = /^Ctg(New|Edit|Add|Insert)/i;
+
+export function checkCategoryNaming(scenario, strictCategoryName = true) {
+  if (!strictCategoryName) return [];
+  const errors = [];
+  const seen = new Map(); // name → first path
+  const report = (name, path) => {
+    if (typeof name !== 'string' || !name) return;
+    if (!seen.has(name)) {
+      if (!CATEGORY_NAME_RE.test(name)) {
+        errors.push(
+          `${path} CategoryName='${name}' 명명 규칙 위반 — 'Ctg' 접두 + PascalCase 필수 ` +
+          `(예: CtgItemList, CtgFilter, CtgUserList). JS 식별자 규칙 (영문/숫자/언더스코어, 첫 글자 영문) 도 준수. ` +
+          `(naming.md §2-1)`
+        );
+      } else if (CATEGORY_ANTIPATTERN_RE.test(name)) {
+        errors.push(
+          `${path} CategoryName='${name}' 안티패턴 — 'Ctg(New|Edit|Add|Insert)*' 는 별도 카테고리 만드는 안티패턴. ` +
+          `메인 리스트 카테고리 + DataUsage:'new'(추가) / 'update'(수정) 사용 권장. ` +
+          `(naming.md §2-2; 단 저장 전 별도 검증/변환 로직이 필요한 케이스만 정당화)`
+        );
+      }
+      seen.set(name, path);
+    }
+  };
+  const reportInvalidLocation = (cn, path) => {
+    if (typeof cn !== 'string' || !cn) return;
+    errors.push(
+      `${path}.CategoryName='${cn}' 는 잘못된 위치 — 카테고리 식별은 DataConnection.CategoryName 만 사용. ` +
+      `TargetSector.CategoryName 은 운영 메타에 잔존하는 레거시 형태로 마이그레이션 대상.`
+    );
+  };
+  const visit = (node, path) => {
+    if (!node || typeof node !== 'object') return;
+    if (Array.isArray(node)) { node.forEach((v, i) => visit(v, `${path}[${i}]`)); return; }
+    const dc = node.DataConnection;
+    if (dc && typeof dc === 'object') {
+      report(dc.CategoryName, `${path}.DataConnection`);
+      const ts = dc.TargetSector;
+      if (ts && typeof ts === 'object' && ts.CategoryName) {
+        reportInvalidLocation(ts.CategoryName, `${path}.DataConnection.TargetSector`);
+      }
+    }
+    const ts2 = node.TargetSector;
+    if (ts2 && typeof ts2 === 'object' && ts2.CategoryName) {
+      reportInvalidLocation(ts2.CategoryName, `${path}.TargetSector`);
+    }
+    if (Array.isArray(node.Contents)) node.Contents.forEach((c, i) => visit(c, `${path}/Contents/${i}`));
+    const layouts = node?.Dialog?.Layouts;
+    if (Array.isArray(layouts)) {
+      layouts.forEach((l, li) => (l?.Controls ?? []).forEach((c, ci) =>
+        visit(c, `${path}/Dialog/Layouts/${li}/Controls/${ci}`)));
+    }
+  };
+  forEachStepRoot(scenario, visit);
+  return errors;
+}
+
+/* ------------------------------------------------------------------ */
+/* [v1-only] v1 컨트랙트 명시 컨트롤만 사용 — MCP 생성 시 기본 strict     */
+/*  - 본체 ControlType 은 아래 17종 허용 (catalog.controlTypes 와 일치)   */
+/*  - ComboList / List 는 Dialog 자식 (Combo.Dialog / Search.Dialog 안)   */
+/*    으로만 허용 — 본체에 단독으로 두지 말 것                            */
+/*  - Calendar 는 InputDate.Dialog 자식으로도, 본체 단독으로도 허용        */
+/*  - CalendarNavigator 는 본체/TimeTable 내부 모두 허용                  */
+/*  - design-system asset: policy.v1-controls-only                       */
+/* ------------------------------------------------------------------ */
+const V1_CONTROLS_BODY = new Set([
+  'InputText', 'InputNumber', 'InputMask', 'InputDate', 'MultiInputBox',
+  'Combo', 'Search', 'CheckBox', 'RadioBox', 'Label',
+  'ImageBox', 'InputFile', 'Tree', 'Tab', 'Embed',
+  'Calendar', 'CalendarNavigator',
+]);
+const V1_CONTROLS_DIALOG_ONLY = new Set(['ComboList', 'List']);
+
+export function checkV1ControlsOnly(scenario, strictV1Controls = true) {
+  if (!strictV1Controls) return [];
+  const errors = [];
+
+  const visit = (node, path, inDialog) => {
+    if (!node || typeof node !== 'object') return;
+    if (Array.isArray(node)) { node.forEach((v, i) => visit(v, `${path}[${i}]`, inDialog)); return; }
+
+    const ct = node.ControlType;
+    if (typeof ct === 'string') {
+      if (V1_CONTROLS_BODY.has(ct)) {
+        // OK
+      } else if (V1_CONTROLS_DIALOG_ONLY.has(ct)) {
+        if (!inDialog) {
+          errors.push(`${path} ControlType:'${ct}' 는 Dialog.Layouts[*].Controls 안에서만 사용 가능 — 본체에 직접 두지 말 것 (policy.v1-controls-only).`);
+        }
+      } else {
+        errors.push(
+          `${path} ControlType:'${ct}' 는 v1 컨트랙트 외 — v1 명시 컨트롤만 허용: ` +
+          `[${[...V1_CONTROLS_BODY].join(', ')}] (본체) / ` +
+          `[${[...V1_CONTROLS_DIALOG_ONLY].join(', ')}] (Dialog 자식 전용). ` +
+          `Button → BottomButton(Step 채널) 또는 Label + UseClickEvent. ` +
+          `다른 v1 외 컨트롤은 v2 컨트랙트 후속. (policy.v1-controls-only / strict_v1_controls=false 로 비활성)`
+        );
+      }
+    }
+
+    if (Array.isArray(node.Contents)) {
+      node.Contents.forEach((c, i) => visit(c, `${path}/Contents/${i}`, inDialog));
+    }
+    const layouts = node?.Dialog?.Layouts;
+    if (Array.isArray(layouts)) {
+      layouts.forEach((layout, li) => {
+        (layout?.Controls ?? []).forEach((c, ci) =>
+          visit(c, `${path}/Dialog/Layouts/${li}/Controls/${ci}`, true)
+        );
+      });
+    }
+  };
+  forEachStepRoot(scenario, (node, path) => visit(node, path, false));
+  return errors;
+}
+
+/* ------------------------------------------------------------------ */
+/* [proto] 프로토타이핑 모드 — 진짜 정적 목업일 때만 DC/Ckeys/LabelCKey 차단 */
+/*  - 표준 흐름 ([mock-init] 정책): 시작 Step.Init 에서 f.Collection.      */
+/*    addSector 로 목업 카테고리 데이터를 N건 박고, 그룹은 UseDataConnection*/
+/*    + DataConnection 으로 그 카테고리에 연결되어 같은 컨트롤이 N번 반복   */
+/*    렌더링된다. 이 흐름에서는 DataSources 는 비어있어도 OK — 데이터는     */
+/*    Init mock 으로 채워진다.                                             */
+/*  - 따라서 [proto] 는 (a) DataSources 비어있고 (b) Init 에 addSector mock*/
+/*    패턴도 없을 때만 발동. 즉 데이터 흐름이 전혀 없는 정적 UI 목업 한정.  */
+/*  - 그 경우 Ckeys / SaveValueKey / Label.LabelCKey / UseDataConnection   */
+/*    사용 금지. 정적 텍스트는 Label.labeltext + LabelType:'labeltext' 로  */
+/*  - design-system asset: policy.prototype-data-binding                  */
+/* ------------------------------------------------------------------ */
+export function checkPrototypeBinding(scenario, strictProto = true) {
+  if (!strictProto) return [];
+  const errors = [];
+  const ds = scenario?.DataSources;
+  const hasDataSource = ds && typeof ds === 'object' && Object.keys(ds).length > 0;
+  if (hasDataSource) return [];
+
+  // 시작 Step.Init 에서 addSector mock 이 한 번이라도 호출되면 mock-init + DC
+  // 반복 렌더링 흐름 — Ckeys/DataConnection 사용은 정상. [proto] 발동하지 않음.
+  // Init 이 named 핸들러(문자열)든 intent.mock 인라인(배열)이든 동일하게 인식.
+  if (categoriesAddedInScripts(gatherStartStepInitScripts(scenario)).size > 0) return [];
+
+  const visit = (node, path) => {
+    if (!node || typeof node !== 'object') return;
+
+    if (node.ContentsType === 'Group') {
+      if (node.UseDataConnection === true) {
+        errors.push(`${path} (Group) UseDataConnection:true but scenario.DataSources is empty — 프로토타이핑 모드. DataSource(Fixed/Grid) 없이 DataConnection 사용 금지 (policy.prototype-data-binding).`);
+      }
+      if (node.DataConnection && Object.keys(node.DataConnection).length > 0) {
+        errors.push(`${path} (Group) has DataConnection but scenario.DataSources is empty — DataConnection 박지 말 것.`);
+      }
+    }
+
+    const ct = node.ControlType;
+    if (ct) {
+      const hasCkeys = Array.isArray(node.Ckeys) && node.Ckeys.length > 0;
+      const hasSaveValueKey = typeof node.SaveValueKey === 'string' && node.SaveValueKey.length > 0;
+      if (hasCkeys) {
+        errors.push(`${path} (${ct}) uses Ckeys=[${node.Ckeys.join(',')}] but scenario.DataSources is empty — 프로토타이핑이면 Ckeys 박지 않음. 정적 표시는 Label.labeltext.`);
+      }
+      if (hasSaveValueKey) {
+        // ComboList(Fixed 모드) 의 SaveValueKey/SaveNameKey 는 inline Items 의
+        // 객체 필드 셀렉터 (예: "ItemValue", "ItemName") — scenario.DataSources
+        // 와 무관하므로 [proto] 발동 대상에서 제외. (UseDataSource:false + Items[])
+        const isFixedComboList =
+          ct === 'ComboList' &&
+          node.UseDataSource === false &&
+          Array.isArray(node.Items);
+        if (!isFixedComboList) {
+          errors.push(`${path} (${ct}) uses SaveValueKey='${node.SaveValueKey}' but scenario.DataSources is empty.`);
+        }
+      }
+      if (ct === 'Label' && node.LabelType === 'LabelCKey' && typeof node.LabelCKey === 'string' && node.LabelCKey.length > 0) {
+        errors.push(`${path} (Label) LabelType:'LabelCKey' + LabelCKey:'${node.LabelCKey}' but scenario.DataSources is empty — 정적 텍스트는 LabelType:'labeltext' + labeltext:'예시값' 으로.`);
+      }
+    }
+
+    if (Array.isArray(node.Contents)) {
+      node.Contents.forEach((c, i) => visit(c, `${path}/Contents/${i}`));
+    }
+    const layouts = node?.Dialog?.Layouts;
+    if (Array.isArray(layouts)) {
+      layouts.forEach((layout, li) => {
+        (layout?.Controls ?? []).forEach((c, ci) =>
+          visit(c, `${path}/Dialog/Layouts/${li}/Controls/${ci}`)
+        );
+      });
+    }
+  };
+  forEachStepRoot(scenario, visit);
+  return errors;
+}
+
+/* ------------------------------------------------------------------ */
+/* [image] ImageBox.ViewGroup.{ImgPath,BucketUrl} 비어있어야 함        */
+/* ------------------------------------------------------------------ */
+export function checkImagePathEmpty(scenario, strictImage = true) {
+  if (!strictImage) return [];
+  const errors = [];
+  const groupKeys = ['ViewGroup', 'DefaultViewGroup'];
+  const fieldKeys = ['ImgPath', 'BucketUrl'];
+
+  const visit = (node, path) => {
+    if (!node || typeof node !== 'object') return;
+    if (node.ControlType === 'ImageBox') {
+      for (const gk of groupKeys) {
+        const g = node[gk];
+        if (!g || typeof g !== 'object') continue;
+        for (const fk of fieldKeys) {
+          const v = g[fk];
+          if (v != null && v !== '') {
+            errors.push(
+              `${path} (ImageBox).${gk}.${fk} must be empty (got ${JSON.stringify(v)}) ` +
+              `— 샘플링/생성 시 비워둠 (운영 시 채워짐). strict_image=false 로 비활성화 가능.`
+            );
+          }
+        }
+      }
+    }
+    if (Array.isArray(node.Contents)) {
+      node.Contents.forEach((c, i) => visit(c, `${path}/Contents/${i}`));
+    }
+    const layouts = node?.Dialog?.Layouts;
+    if (Array.isArray(layouts)) {
+      layouts.forEach((layout, li) => {
+        (layout?.Controls ?? []).forEach((c, ci) =>
+          visit(c, `${path}/Dialog/Layouts/${li}/Controls/${ci}`)
+        );
+      });
+    }
+  };
+  forEachStepRoot(scenario, visit);
+  return errors;
+}
+
+/* ------------------------------------------------------------------ */
+/* [inner] UseInnerBlock 그룹의 조상 DataConnection 검증              */
+/* ------------------------------------------------------------------ */
+export function checkInnerBlockContext(scenario) {
+  const errors = [];
+  const visit = (node, path, ancestorHasDC) => {
+    if (!node || typeof node !== 'object') return;
+    if (node.ContentsType === 'Group' && node.UseInnerBlock === true) {
+      if (!ancestorHasDC) {
+        errors.push(`${path} has UseInnerBlock:true but no ancestor Group has UseDataConnection:true + DataConnection (sector context required for InnerBlock iteration)`);
+      }
+    }
+    let nextHasDC = ancestorHasDC;
+    if (node.ContentsType === 'Group' && node.UseDataConnection === true && node.DataConnection) {
+      nextHasDC = true;
+    }
+    if (Array.isArray(node.Contents)) {
+      node.Contents.forEach((c, i) => visit(c, `${path}/Contents/${i}`, nextHasDC));
+    }
+  };
+  forEachStepRoot(scenario, (node, path) => visit(node, path, false));
+  return errors;
+}
+
+/* ------------------------------------------------------------------ */
+/* [no-service] 서비스 구성 금지 + 이벤트 액션 제한 (MCP 생성 strict)     */
+/*  - scenario.ServiceBinding 은 비어있는 객체 {} 여야 한다              */
+/*  - scenario.Events 안의 Action 은 Script | LinkedEvent 만 허용         */
+/*  - DataSources 의 DataSourceType:'Service'|'API' 도 함께 거부 (보강) */
+/* ------------------------------------------------------------------ */
+const ALLOWED_EVENT_ACTIONS = new Set(['Script', 'LinkedEvent']);
+const FORBIDDEN_DS_TYPES_GEN = new Set(['Service', 'API']);
+
+export function checkNoService(scenario, strictNoService = true) {
+  if (!strictNoService) return [];
+  const errors = [];
+
+  const sb = scenario?.ServiceBinding;
+  if (sb && typeof sb === 'object' && !Array.isArray(sb) && Object.keys(sb).length > 0) {
+    errors.push(
+      `scenario.ServiceBinding 에 ${Object.keys(sb).length} 개 항목이 있음 — MCP 생성에서는 ` +
+      `ServiceBinding 비어있는 객체 {} 만 허용. 서비스 호출은 운영 단계에서 구성. ` +
+      `(strict_no_service=false 로 비활성)`
+    );
+  }
+
+  const events = scenario?.Events;
+  if (events && typeof events === 'object' && !Array.isArray(events)) {
+    for (const [name, arr] of Object.entries(events)) {
+      if (!Array.isArray(arr)) continue;
+      arr.forEach((action, i) => {
+        if (!action || typeof action !== 'object') return;
+        const a = action.Action;
+        if (typeof a !== 'string') return;
+        if (!ALLOWED_EVENT_ACTIONS.has(a)) {
+          errors.push(
+            `scenario.Events['${name}'][${i}].Action='${a}' 는 MCP 생성 금지 — ` +
+            `Script / LinkedEvent 만 허용. Service / API 액션은 운영 단계 구성. ` +
+            `(strict_no_service=false 로 비활성)`
+          );
+        }
+      });
+    }
+  }
+
+  const ds = scenario?.DataSources;
+  if (ds && typeof ds === 'object') {
+    for (const [name, defn] of Object.entries(ds)) {
+      const t = defn?.DataSourceType;
+      if (typeof t === 'string' && FORBIDDEN_DS_TYPES_GEN.has(t)) {
+        errors.push(
+          `scenario.DataSources['${name}'].DataSourceType='${t}' 는 MCP 생성 금지 — ` +
+          `Fixed / Grid 만 사용. (strict_no_service=false 로 비활성; [sample] 과 별개로 ` +
+          `이벤트-서비스 정합성 차원에서도 차단)`
+        );
+      }
+    }
+  }
+  return errors;
+}
+
+/* ------------------------------------------------------------------ */
+/* [event-ref] 이벤트 핸들러 이름 참조 정합                              */
+/*  - Step.Events / BottomButton.Events / Group.Events / Control.Events  */
+/*    의 핸들러 값(이벤트 이름) 은 scenario.Events 의 키 중 하나여야 함.  */
+/*  - LinkedEvent.EventName 도 동일.                                     */
+/* ------------------------------------------------------------------ */
+const EVENT_ORDER_KEYS = new Set([
+  'StepEventOrder', 'InputEventOrder', 'ComboOrder', 'SearchOrder',
+  'ImageEventOrder', 'CalendarNaviEventsOrder', 'DateOrder',
+  'CheckBoxOrder', 'ContentEvent', 'InputFileOrder', 'TreeOrder',
+]);
+
+export function checkEventReferences(scenario) {
+  const errors = [];
+  const definedEvents = new Set(
+    scenario?.Events && typeof scenario.Events === 'object' && !Array.isArray(scenario.Events)
+      ? Object.keys(scenario.Events) : []
+  );
+  const refs = []; // { name, path }
+
+  const collectFromEventsObj = (eventsObj, path) => {
+    if (!eventsObj || typeof eventsObj !== 'object' || Array.isArray(eventsObj)) return;
+    for (const [k, v] of Object.entries(eventsObj)) {
+      if (EVENT_ORDER_KEYS.has(k)) continue;
+      if (typeof v === 'string' && v) refs.push({ name: v, path: `${path}/Events/${k}` });
+    }
+  };
+
+  const collectLinkedFromActions = (eventsObj, path) => {
+    if (!eventsObj || typeof eventsObj !== 'object' || Array.isArray(eventsObj)) return;
+    for (const [name, arr] of Object.entries(eventsObj)) {
+      if (!Array.isArray(arr)) continue;
+      arr.forEach((a, i) => {
+        if (a && typeof a === 'object' && a.Action === 'LinkedEvent' && typeof a.EventName === 'string' && a.EventName) {
+          refs.push({ name: a.EventName, path: `${path}['${name}'][${i}].EventName` });
+        }
+      });
+    }
+  };
+
+  collectLinkedFromActions(scenario?.Events, 'scenario.Events');
+
+  const visit = (node, path) => {
+    if (!node || typeof node !== 'object') return;
+    if (Array.isArray(node)) { node.forEach((v, i) => visit(v, `${path}[${i}]`)); return; }
+    if (node.Events) collectFromEventsObj(node.Events, path);
+    if (Array.isArray(node.Contents)) {
+      node.Contents.forEach((c, i) => visit(c, `${path}/Contents/${i}`));
+    }
+    const layouts = node?.Dialog?.Layouts;
+    if (Array.isArray(layouts)) {
+      layouts.forEach((l, li) => (l?.Controls ?? []).forEach((c, ci) =>
+        visit(c, `${path}/Dialog/Layouts/${li}/Controls/${ci}`)));
+    }
+  };
+
+  const steps = scenario?.Steps ?? {};
+  for (const sid of Object.keys(steps)) {
+    const step = steps[sid];
+    if (step?.Events) collectFromEventsObj(step.Events, `Steps/${sid}`);
+    for (const ch of ['Contents', 'FixedContentsTop', 'FixedContentsBottom']) {
+      (step?.[ch] ?? []).forEach((g, i) => visit(g, `Steps/${sid}/${ch}/${i}`));
+    }
+    (step?.BottomButtons ?? []).forEach((bb, i) => {
+      if (bb?.Events) collectFromEventsObj(bb.Events, `Steps/${sid}/BottomButtons/${i}`);
+    });
+  }
+
+  for (const { name, path } of refs) {
+    if (!definedEvents.has(name)) {
+      errors.push(
+        `${path} 가 참조하는 이벤트 '${name}' 이 scenario.Events 에 정의되지 않음 — ` +
+        `핸들러 키로 추가하거나 참조 제거.`
+      );
+    }
+  }
+  return errors;
+}
+
+/* ------------------------------------------------------------------ */
+/* [no-inner-block] InnerBlock 생성 금지 (MCP 생성 strict)              */
+/*  - UseInnerBlock / InnerBlockKey / RepeatStyle 어떤 형태로도 사용 금지 */
+/*  - AI 가 생성하는 메타에는 InnerBlock 패턴을 박지 말 것 — 데이터 반복   */
+/*    렌더링은 DataConnection (DataUsage:'query') 그룹으로 표현.          */
+/*  - 운영 메타 검증 등에서 허용이 필요하면 strict_no_inner_block:false   */
+/* ------------------------------------------------------------------ */
+const INNER_BLOCK_FIELDS = ['UseInnerBlock', 'InnerBlockKey', 'RepeatStyle'];
+
+export function checkNoInnerBlock(scenario, strictNoInnerBlock = true) {
+  if (!strictNoInnerBlock) return [];
+  const errors = [];
+  const visit = (node, path) => {
+    if (!node || typeof node !== 'object') return;
+    if (Array.isArray(node)) { node.forEach((v, i) => visit(v, `${path}[${i}]`)); return; }
+    for (const key of INNER_BLOCK_FIELDS) {
+      if (Object.prototype.hasOwnProperty.call(node, key)) {
+        errors.push(
+          `${path}.${key} is FORBIDDEN — InnerBlock 패턴은 MCP 생성에서 사용 금지. ` +
+          `데이터 반복 렌더링은 DataConnection(DataUsage:'query') 그룹으로 표현. ` +
+          `(strict_no_inner_block=false 로 비활성)`
+        );
+      }
+    }
+    for (const v of Object.values(node)) visit(v, path);
+  };
+  visit(scenario, '$');
+  return errors;
+}
+
+/* ------------------------------------------------------------------ */
+/* [step-nav] N개 Step 흐름의 Step 간 이동 트리거 보장                   */
+/*  Step.Next 의 각 타깃은 다음 중 하나로 도달 가능해야 한다:             */
+/*   (a) Step.BottomButtons[*] 의 MoveTo:'Next' + Next.MoveStepOrder      */
+/*       에 타깃 StepId 포함, 또는                                       */
+/*   (b) Step 의 Contents/FixedContentsTop/FixedContentsBottom 하위       */
+/*       어딘가의 Group 이 UseMove:true + MoveSteps.MoveStepOrder 에      */
+/*       타깃 포함 (서브그룹/리스트 카드 클릭 이동), 또는                  */
+/*   (c) 자손 Control 의 UseMove:true + MoveSteps.MoveStepOrder 에        */
+/*       타깃 포함.                                                      */
+/* ------------------------------------------------------------------ */
+export function checkStepNavigationSources(scenario, strictStepNav = true) {
+  if (!strictStepNav) return [];
+  const errors = [];
+  const steps = scenario?.Steps ?? {};
+  const stepIds = new Set(Object.keys(steps));
+
+  const collectMoveTargets = (node, into) => {
+    if (!node || typeof node !== 'object') return;
+    if (Array.isArray(node)) { node.forEach(v => collectMoveTargets(v, into)); return; }
+    if (node.UseMove === true && node.MoveSteps && Array.isArray(node.MoveSteps.MoveStepOrder)) {
+      for (const t of node.MoveSteps.MoveStepOrder) if (typeof t === 'string') into.add(t);
+    }
+    // 탭 Items[].LinkedStepId 도 이동 트리거로 인정 — 탭 헤더 클릭이 그 Step 을 띄움.
+    // (해당 Step 은 reachability 상 여전히 host Step 의 Next 에 있어야 한다 — [reach].)
+    if (node.ControlType === 'Tab' && Array.isArray(node.Items)) {
+      for (const it of node.Items) {
+        if (it && typeof it.LinkedStepId === 'string' && it.LinkedStepId) into.add(it.LinkedStepId);
+      }
+    }
+    if (Array.isArray(node.Contents)) {
+      node.Contents.forEach(c => collectMoveTargets(c, into));
+    }
+    const layouts = node?.Dialog?.Layouts;
+    if (Array.isArray(layouts)) {
+      layouts.forEach(l => (l?.Controls ?? []).forEach(c => collectMoveTargets(c, into)));
+    }
+  };
+
+  for (const sid of Object.keys(steps)) {
+    const step = steps[sid];
+    const nextList = Array.isArray(step?.Next) ? step.Next.filter(t => typeof t === 'string' && t) : [];
+    if (nextList.length === 0) continue;
+
+    const reachable = new Set();
+    for (const bb of step?.BottomButtons ?? []) {
+      if (!bb || typeof bb !== 'object') continue;
+      if (bb.MoveTo === 'Next') {
+        const order = bb?.Next?.MoveStepOrder;
+        if (Array.isArray(order)) for (const t of order) if (typeof t === 'string') reachable.add(t);
+      }
+    }
+    for (const ch of ['Contents', 'FixedContentsTop', 'FixedContentsBottom']) {
+      (step?.[ch] ?? []).forEach(g => collectMoveTargets(g, reachable));
+    }
+
+    for (const target of nextList) {
+      if (!stepIds.has(target)) continue;
+      if (!reachable.has(target)) {
+        errors.push(
+          `Step '${sid}'.Next='${target}' 에 도달할 수 있는 이동 트리거 없음 — ` +
+          `BottomButton(MoveTo:'Next' + Next.MoveStepOrder) 또는 하위 Group/Control 의 ` +
+          `UseMove:true + MoveSteps.MoveStepOrder 에 '${target}' 추가 필요 ` +
+          `(또는 Tab 컨트롤의 Items[].LinkedStepId='${target}' — 탭 헤더 클릭이 트리거이므로 별도 이동 트리거 불요). ` +
+          `(N 개 Step 흐름에서 서브그룹 아이템 클릭 이동 패턴: list 카드 Group 에 UseMove:true + MoveSteps.MoveStepOrder:['${target}']). ` +
+          `strict_step_nav=false 로 비활성.`
+        );
+      }
+    }
+  }
+  return errors;
+}
+
+/* ------------------------------------------------------------------ */
+/* [tab-move] 탭 조상 Group 의 UseMove 금지                            */
+/*  - Tab 컨트롤을 감싸는(조상) Group 에 UseMove:true 가 있으면 탭 헤더  */
+/*    클릭이 그 Group 의 Step 이동을 트리거해버린다 (탭 전환이 아니라    */
+/*    화면이 넘어가 버림).                                               */
+/*  - 따라서 Tab 의 어떤 조상 Group 도 UseMove:true 를 두면 안 된다.     */
+/*    이동이 필요하면 LinkedStep 내부 컨트롤/버튼으로 처리.              */
+/* ------------------------------------------------------------------ */
+export function checkTabAncestorMove(scenario, strictTabMove = true) {
+  if (!strictTabMove) return [];
+  const errors = [];
+  const visit = (node, path, moveAncestorPath) => {
+    if (!node || typeof node !== 'object') return;
+    if (node.ControlType === 'Tab' && moveAncestorPath) {
+      errors.push(
+        `${path} (Tab) 의 조상 Group '${moveAncestorPath}' 에 UseMove:true 가 있음 — ` +
+        `탭 헤더 클릭이 그 Group 의 Step 이동을 트리거해 탭 전환 대신 화면이 넘어가 버림. ` +
+        `탭을 감싸는 Group 에는 UseMove 를 두지 말 것 (이동이 필요하면 LinkedStep 내부 ` +
+        `Button/Label 컨트롤로). strict_tab_move=false 로 비활성.`
+      );
+    }
+    // Group 에 UseMove:true 면 이후 자손에게 "move 조상" 컨텍스트 전파.
+    let nextMoveAncestor = moveAncestorPath;
+    if (node.ContentsType === 'Group' && node.UseMove === true) {
+      nextMoveAncestor = path;
+    }
+    if (Array.isArray(node.Contents)) {
+      node.Contents.forEach((c, i) => visit(c, `${path}/Contents/${i}`, nextMoveAncestor));
+    }
+    const layouts = node?.Dialog?.Layouts;
+    if (Array.isArray(layouts)) {
+      layouts.forEach((layout, li) => {
+        (layout?.Controls ?? []).forEach((c, ci) =>
+          visit(c, `${path}/Dialog/Layouts/${li}/Controls/${ci}`, nextMoveAncestor)
+        );
+      });
+    }
+  };
+  forEachStepRoot(scenario, (node, path) => visit(node, path, null));
+  return errors;
+}
+
+/* ------------------------------------------------------------------ */
+/* Tab 컨트롤이 Items[].LinkedStepId 로 띄우는 Step Id 수집              */
+/* ------------------------------------------------------------------ */
+function collectTabLinkedStepIds(scenario) {
+  const linked = new Set();
+  const visit = (node) => {
+    if (!node || typeof node !== 'object') return;
+    if (Array.isArray(node)) { node.forEach(visit); return; }
+    if (node.ControlType === 'Tab' && Array.isArray(node.Items)) {
+      for (const it of node.Items) {
+        if (it && typeof it.LinkedStepId === 'string' && it.LinkedStepId) linked.add(it.LinkedStepId);
+      }
+    }
+    if (Array.isArray(node.Contents)) node.Contents.forEach(visit);
+    const layouts = node?.Dialog?.Layouts;
+    if (Array.isArray(layouts)) layouts.forEach(l => (l?.Controls ?? []).forEach(visit));
+  };
+  const steps = scenario?.Steps ?? {};
+  for (const sid of Object.keys(steps)) {
+    const step = steps[sid];
+    for (const ch of ['Contents', 'FixedContentsTop', 'FixedContentsBottom']) {
+      (step?.[ch] ?? []).forEach(visit);
+    }
+    (step?.BottomButtons ?? []).forEach(visit);
+  }
+  return linked;
+}
+
+/* ------------------------------------------------------------------ */
+/* [tab-embed] 탭 내부 LinkedStep 의 Embed 컨트롤 금지                  */
+/*  - Tab 컨트롤이 Items[].LinkedStepId 로 띄우는 Step 은 Step 이벤트   */
+/*    (Init/Loaded)가 미실행 → Embed 의 DOM 초기화 시점을 잡을 수 없다  */
+/*    (차트/지도/QR 등이 안 뜸).                                         */
+/*  - 따라서 탭 내부에 렌더되는 Step 의 Contents 트리에는 Embed 금지.    */
+/*    Embed 가 필요한 화면은 탭이 아닌 별도 Step 으로 분리.              */
+/* ------------------------------------------------------------------ */
+export function checkTabLinkedStepEmbed(scenario, strictTabEmbed = true) {
+  if (!strictTabEmbed) return [];
+  const errors = [];
+  const steps = scenario?.Steps ?? {};
+  const linked = collectTabLinkedStepIds(scenario);
+  const findEmbed = (node, path, acc) => {
+    if (!node || typeof node !== 'object') return;
+    if (Array.isArray(node)) { node.forEach((n, i) => findEmbed(n, `${path}/${i}`, acc)); return; }
+    if (node.ControlType === 'Embed') acc.push(path);
+    if (Array.isArray(node.Contents)) {
+      node.Contents.forEach((c, i) => findEmbed(c, `${path}/Contents/${i}`, acc));
+    }
+    const layouts = node?.Dialog?.Layouts;
+    if (Array.isArray(layouts)) {
+      layouts.forEach((l, li) => (l?.Controls ?? []).forEach((c, ci) =>
+        findEmbed(c, `${path}/Dialog/Layouts/${li}/Controls/${ci}`, acc)));
+    }
+  };
+  for (const sid of linked) {
+    const step = steps[sid];
+    if (!step || typeof step !== 'object') continue;
+    const acc = [];
+    for (const ch of ['Contents', 'FixedContentsTop', 'FixedContentsBottom']) {
+      (step?.[ch] ?? []).forEach((g, i) => findEmbed(g, `Steps/${sid}/${ch}/${i}`, acc));
+    }
+    for (const p of acc) {
+      errors.push(
+        `${p} (Embed) — Step '${sid}' 은 Tab 컨트롤 내부에 렌더되는 LinkedStep 이라 Embed 컨트롤 사용 금지. ` +
+        `탭 내부 Step 은 Step 이벤트(Init/Loaded)가 미실행이라 Embed 초기화 시점을 못 잡아 차트/지도/QR 이 안 뜬다. ` +
+        `Embed 가 필요한 화면은 탭이 아닌 별도 Step 으로 분리할 것. strict_tab_embed=false 로 비활성.`
+      );
+    }
+  }
+  return errors;
+}
+
+/* ------------------------------------------------------------------ */
+/* [group-dc] 모든 Group 에 UseDataConnection 명시 강제                 */
+/*  - Group 에 UseDataConnection 키가 아예 없으면(undefined), 스튜디오   */
+/*    로드 시 studio-util.js 의 convertTopLevelDataConnection 이 레거시  */
+/*    그룹으로 간주해 UseDataConnection=false + UseOldDataConnection=true */
+/*    를 자동 생성한다 → 그룹이 구버전 데이터연결 프로퍼티로 렌더됨.     */
+/*  - UseDataConnection 이 명시(false 라도)돼 있으면 그 분기에서 return  */
+/*    하므로 UseOldDataConnection 이 안 생긴다.                          */
+/*  - 따라서 비연결 그룹도 "UseDataConnection": false 를 반드시 명시.    */
+/*  - MCP 경로는 applyGroupDefaults 가 먼저 채우므로 통과; 이 검사는      */
+/*    defaults 미적용 경로(skill CLI 등)의 누락을 잡는다.                */
+/* ------------------------------------------------------------------ */
+export function checkGroupUseDataConnection(scenario, strictGroupDc = true) {
+  if (!strictGroupDc) return [];
+  const errors = [];
+  const visit = (node, path) => {
+    if (!node || typeof node !== 'object') return;
+    if (node.ContentsType === 'Group' && !Object.prototype.hasOwnProperty.call(node, 'UseDataConnection')) {
+      errors.push(
+        `${path} (Group) 에 UseDataConnection 키 누락 — 비연결 그룹도 "UseDataConnection": false 를 명시할 것. ` +
+        `키가 없으면 스튜디오(convertTopLevelDataConnection)가 레거시로 간주해 UseOldDataConnection:true 를 자동 생성(구버전 데이터연결 프로퍼티로 렌더). ` +
+        `strict_group_dc=false 로 비활성.`
+      );
+    }
+    if (Array.isArray(node.Contents)) {
+      node.Contents.forEach((c, i) => visit(c, `${path}/Contents/${i}`));
+    }
+    const layouts = node?.Dialog?.Layouts;
+    if (Array.isArray(layouts)) {
+      layouts.forEach((l, li) => (l?.Controls ?? []).forEach((c, ci) =>
+        visit(c, `${path}/Dialog/Layouts/${li}/Controls/${ci}`)));
+    }
+  };
+  forEachStepRoot(scenario, (node, path) => visit(node, path));
+  return errors;
+}
+
+/* ------------------------------------------------------------------ */
+/* [dc-empty] DC 그룹의 자식 트리에 컬렉션키 바인딩이 한 개도 없으면 에러 */
+/*  - UseDataConnection:true + DataConnection 인 Group 은 카테고리 sector */
+/*    를 가져와 자식 컨트롤이 컬럼키를 표시/입력하는 게 본래 목적이다.    */
+/*  - 자식 트리에 Label.LabelCKey / Input·Combo·Search·CheckBox·RadioBox */
+/*    의 Ckeys / SaveValueKey 가 하나도 없으면 DC 그룹의 의미가 없음 —    */
+/*    스튜디오에서 빈 반복 카드만 그려지거나, 사용자 의도("주문 목록을    */
+/*    바인딩") 와 실제 메타("아무 컬럼키도 안 박힘") 가 불일치한다.       */
+/*  - 중첩 DC 그룹(자식 DC) 의 서브트리는 그쪽 DC 의 컨텍스트로 귀속되므로 */
+/*    부모 DC 의 카운트에서 제외한다.                                      */
+/*  - strict_dc_empty=false 로 비활성.                                     */
+/* ------------------------------------------------------------------ */
+function isDcGroup(node) {
+  return !!node && node.ContentsType === 'Group' && node.UseDataConnection === true && !!node.DataConnection;
+}
+
+function nodeHasCkeyBinding(node) {
+  if (!node || typeof node !== 'object') return false;
+  const ct = node.ControlType;
+  if (ct === 'Label') {
+    return typeof node.LabelCKey === 'string' && node.LabelCKey.length > 0;
+  }
+  if (ct && CKEY_BOUND.has(ct)) {
+    if (Array.isArray(node.Ckeys) && node.Ckeys.length > 0) return true;
+    if (typeof node.SaveValueKey === 'string' && node.SaveValueKey.length > 0) return true;
+  }
+  return false;
+}
+
+function dcGroupChildren(node) {
+  const out = [];
+  if (Array.isArray(node?.Contents)) {
+    node.Contents.forEach((c, i) => out.push({ child: c, sub: `Contents/${i}` }));
+  }
+  const layouts = node?.Dialog?.Layouts;
+  if (Array.isArray(layouts)) {
+    layouts.forEach((l, li) => (l?.Controls ?? []).forEach((c, ci) =>
+      out.push({ child: c, sub: `Dialog/Layouts/${li}/Controls/${ci}` })));
+  }
+  return out;
+}
+
+export function checkGroupDcChildBinding(scenario, strictDcEmpty = true) {
+  if (!strictDcEmpty) return [];
+  const errors = [];
+
+  const countKeysUnder = (dcGroupNode) => {
+    let count = 0;
+    const stack = [];
+    for (const { child } of dcGroupChildren(dcGroupNode)) stack.push(child);
+    while (stack.length) {
+      const cur = stack.pop();
+      if (!cur || typeof cur !== 'object') continue;
+      if (isDcGroup(cur)) continue;   // 자식 DC 컨텍스트로 분리 — 부모 카운트에서 제외
+      if (nodeHasCkeyBinding(cur)) count += 1;
+      for (const { child } of dcGroupChildren(cur)) stack.push(child);
+    }
+    return count;
+  };
+
+  const visit = (node, path) => {
+    if (!node || typeof node !== 'object') return;
+    if (isDcGroup(node)) {
+      const cnt = countKeysUnder(node);
+      if (cnt === 0) {
+        const cat = node?.DataConnection?.CategoryName || '(unknown)';
+        const usage = node?.DataConnection?.DataUsage || 'default';
+        errors.push(
+          `${path} (Group UseDataConnection:true, CategoryName='${cat}', DataUsage='${usage}') 의 자식 트리에 컬렉션키 바인딩이 0개 — ` +
+          `DC 그룹은 자식이 컬럼키를 1개 이상 참조해야 의미가 있음 (Label.LabelCKey / Input·Combo·Search·CheckBox·RadioBox 의 Ckeys 또는 SaveValueKey). ` +
+          `반복 카드라면 표시할 키를 라벨/입력으로 1개 이상 노출, 상세 그룹이라면 캡션-값 패턴의 값 라벨에 LabelCKey 를 박을 것. ` +
+          `(중첩 DC 그룹의 자식은 그 안쪽 DC 컨텍스트로 귀속되므로 부모 카운트에 포함되지 않음). strict_dc_empty=false 로 비활성.`
+        );
+      }
+    }
+    for (const { child, sub } of dcGroupChildren(node)) visit(child, `${path}/${sub}`);
+  };
+  forEachStepRoot(scenario, (g, p) => visit(g, p));
+  return errors;
+}
+
+/* ------------------------------------------------------------------ */
+/* [embed-render] Embed(JS 타깃 컨테이너) 의 Loaded 렌더 누락 차단       */
+/*  - <canvas> 또는 빈 id 컨테이너(<div id=..></div> 등)를 둔 Embed 는    */
+/*    라이브러리만 로드(StyleURLs / f.Script.load)하고 끝내면 빈 영역만   */
+/*    그려진다 — 반드시 host Step 의 Loaded(또는 Init) 핸들러에서         */
+/*    document.getElementById(...) 로 실제 렌더 코드를 넣어야 한다.       */
+/*  - 정적 Embed(<video>/<iframe>/<style> 등 id 없는)는 검사 대상 외.    */
+/* ------------------------------------------------------------------ */
+function embedJsTarget(html) {
+  if (typeof html !== 'string' || !html) return null;
+  const hasCanvas = /<canvas\b/i.test(html);
+  const emptyIdContainer = /<(div|span|section|canvas)\b[^>]*\bid\s*=\s*["'][^"']+["'][^>]*>\s*<\/(div|span|section|canvas)>/i.test(html);
+  if (!hasCanvas && !emptyIdContainer) return null;   // 정적 Embed — 렌더 불요
+  const ids = [];
+  const idRe = /\bid\s*=\s*["']([^"']+)["']/gi;
+  let m;
+  while ((m = idRe.exec(html)) !== null) ids.push(m[1]);
+  return { ids };
+}
+
+export function checkEmbedRender(scenario, strictEmbedRender = true) {
+  if (!strictEmbedRender) return [];
+  const errors = [];
+  const events = scenario?.Events ?? {};
+  const steps = scenario?.Steps ?? {};
+  for (const sid of Object.keys(steps)) {
+    const step = steps[sid];
+    const embeds = [];
+    const visit = (node, path) => {
+      if (!node || typeof node !== 'object') return;
+      if (Array.isArray(node)) { node.forEach((n, i) => visit(n, `${path}/${i}`)); return; }
+      if (node.ControlType === 'Embed') {
+        const t = embedJsTarget(node.Embed);
+        if (t) embeds.push({ path, ...t });
+      }
+      if (Array.isArray(node.Contents)) node.Contents.forEach((c, i) => visit(c, `${path}/Contents/${i}`));
+      const layouts = node?.Dialog?.Layouts;
+      if (Array.isArray(layouts)) layouts.forEach((l, li) => (l?.Controls ?? []).forEach((c, ci) =>
+        visit(c, `${path}/Dialog/Layouts/${li}/Controls/${ci}`)));
+    };
+    for (const ch of ['Contents', 'FixedContentsTop', 'FixedContentsBottom']) {
+      (step?.[ch] ?? []).forEach((g, i) => visit(g, `Steps/${sid}/${ch}/${i}`));
+    }
+    if (embeds.length === 0) continue;
+
+    // host Step 의 Loaded / Init 핸들러 스크립트를 합쳐서 렌더 코드 존재 여부 판정.
+    const renderScripts = [];
+    for (const key of ['Loaded', 'Init']) {
+      const hname = step?.Events?.[key];
+      if (typeof hname === 'string' && hname) renderScripts.push(...gatherScriptsFromHandler(events, hname));
+    }
+    const blob = renderScripts.join('\n');
+    const hasDrawApi = /\b(getElementById|querySelector|querySelectorAll)\b/.test(blob);
+    const hasHandler = renderScripts.length > 0 || typeof step?.Events?.Loaded === 'string';
+
+    for (const e of embeds) {
+      const idHit = e.ids.some(id => id && blob.includes(id));
+      if (!hasHandler) {
+        errors.push(
+          `${e.path} (Embed) — canvas/빈 컨테이너가 있는데 Step '${sid}' 에 Loaded 이벤트 핸들러가 없음. ` +
+          `라이브러리는 Scenario.StyleURLs 로 로드하고 Step.Events.Loaded 핸들러에서 document.getElementById(...) 로 ` +
+          `실제 렌더 코드를 넣을 것 — 로드만 하고 그리기를 빼먹으면 빈 영역만 그려진다. strict_embed_render=false 로 비활성.`
+        );
+      } else if (!hasDrawApi && !idHit) {
+        errors.push(
+          `${e.path} (Embed) — Step '${sid}' 의 Loaded/Init 핸들러가 document.getElementById/querySelector 로 그리는 코드가 없음 ` +
+          `(컨테이너 id=[${e.ids.join(', ') || '(없음)'}]). 라이브러리 로드(StyleURLs/f.Script.load)만으로는 안 그려진다 — ` +
+          `Loaded 에서 getElementById 로 DOM 을 잡아 차트/지도 등을 실제로 렌더할 것. strict_embed_render=false 로 비활성.`
+        );
+      }
+    }
+  }
+  return errors;
+}
+
+/* ------------------------------------------------------------------ */
+/* [embed-bind] Embed HTML 의 섹터 바인딩 정합                            */
+/*  ① '{=Field}' display 토큰 금지 — Embed 렌더는 sector 인자 없이        */
+/*    replaceExpressions(embedHTML) 를 타므로 (engine control.js          */
+/*    createEmbedVideo) '{=}' 분기가 치환을 못 하고 그대로 노출된다.        */
+/*    섹터 값은 {%return Load.sector.<Field>; %} (LoadScript 토큰).        */
+/*  ② Load.sector 참조는 조상 DC 그룹 필수 — Load.sector 는 전역 렌더     */
+/*    커서(Current.sector) getter 일 뿐이라 (engine publicscript.js),     */
+/*    조상 DC 그룹이 섹터별 렌더 중일 때만 그 행의 섹터를 가리킨다          */
+/*    (engine layout.js generateContents). DC 컨텍스트 밖이면 undefined    */
+/*    → {% %} 실행기의 try/catch 가 삼켜 조용히 빈 문자열 렌더.            */
+/*  - opts.strictEmbedBind=false 로 비활성.                                */
+/* ------------------------------------------------------------------ */
+export function checkEmbedSectorBinding(scenario, strictEmbedBind = true) {
+  if (!strictEmbedBind) return [];
+  const errors = [];
+  const visit = (node, path, hasAncestorDc) => {
+    if (!node || typeof node !== 'object') return;
+    if (node.ControlType === 'Embed' && typeof node.Embed === 'string') {
+      const tokens = node.Embed.match(/\{=[A-Za-z_$][A-Za-z0-9_.]*\}/g);
+      if (tokens && tokens.length > 0) {
+        const fields = [...new Set(tokens)].join(', ');
+        const ex = [...new Set(tokens)][0].slice(2, -1).replace(/^\$/, '');
+        errors.push(
+          `${path}/Embed 안에 display 토큰 ${fields} 가 있음 — '{=Field}' 는 Embed raw HTML 에서 치환되지 않고 문자 그대로 노출된다. ` +
+          `섹터 값 바인딩은 LoadScript 토큰 '{%return Load.sector.${ex}; %}' 로 쓸 것 ` +
+          `(DC 그룹 안의 Embed 면 그 행의 섹터가 Load.sector 로 주입됨). (strictEmbedBind=false 로 비활성)`
+        );
+      }
+      if (!hasAncestorDc && /\bLoad\.sector\b/.test(node.Embed)) {
+        errors.push(
+          `${path}/Embed 가 Load.sector 를 참조하는데 조상(상위)에 데이터연결 그룹이 없음 — ` +
+          `Load.sector 는 렌더 커서(Current.sector) getter 라 조상 DC 그룹이 섹터별 렌더 중일 때만 그 행의 섹터를 가리킨다. ` +
+          `DC 컨텍스트 밖이면 undefined 로 평가가 실패하고 try/catch 가 삼켜 조용히 빈 문자열이 렌더된다. ` +
+          `Embed 를 UseDataConnection:true + DataConnection.CategoryName 그룹 아래에 둘 것. (strictEmbedBind=false 로 비활성)`
+        );
+      }
+    }
+    const childHasDc = hasAncestorDc || (node.UseDataConnection === true && !!node.DataConnection);
+    if (Array.isArray(node.Contents)) node.Contents.forEach((c, i) => visit(c, `${path}/Contents/${i}`, childHasDc));
+    const layouts = node?.Dialog?.Layouts;
+    if (Array.isArray(layouts)) layouts.forEach((l, li) => (l?.Controls ?? []).forEach((c, ci) =>
+      visit(c, `${path}/Dialog/Layouts/${li}/Controls/${ci}`, childHasDc)));
+  };
+  forEachStepRoot(scenario, (g, p) => visit(g, p, false));
+  return errors;
+}
+
+/* ------------------------------------------------------------------ */
+/* [script-allow] 이벤트 스크립트 화이트리스트 강제                       */
+/*  - meta-contract/runtime/v1/script/scenario-gen-rules.md 기반          */
+/*  - 허용: f.Collection.addSector / _c.* / Current.step.reload(WithAnim) */
+/*    f.Content(fid).reload(WithAnim) / f.Date / f.Script.load /          */
+/*    f.MessageBox().show / f.Event(name).runNext|break                   */
+/*  - 차단: f.Collection.{updateSector|removeSector|moveCategory|         */
+/*    removeCategory|createCategory|filter}, f.Frame.popUp,               */
+/*    f.Notification, f.History.*, Current.step.{moveTo*|restart},        */
+/*    Current.step.{id|prev|from} 조회,                                   */
+/*    f.Content().{show|hide|addRow|delRow|selectAll|deselectAll|         */
+/*    clickPositionFixed|Scroll}, removeSector('all',...),                */
+/*    컨트롤 단위 reload (정적 분석 한계 — fId 검증은 [reload-target]).   */
+/* ------------------------------------------------------------------ */
+const SCRIPT_DENY_PATTERNS = [
+  // f.Collection.removeSector 는 ALLOW (단, 'all' 인자 형태만 비우기 idiom 으로 권장). 다른 변형은 차단.
+  { re: /\bf\.Collection\.(updateSector|moveCategory|removeCategory|createCategory|filter)\s*\(/, msg: "f.Collection.{updateSector|moveCategory|removeCategory|createCategory|filter} 호출 금지 — **intent.script 우선**: 'updateActive' (활성 섹터 일괄 갱신) / 'clearCategory' (카테고리 비우기) / 'deleteActive' (활성 섹터 삭제). raw fallback 은 '_c.<Cat>[n].키 = 값' 또는 'sector.*' (runtime/v1/intent-system/INTENT.md / scenario-gen-rules.md §3)" },
+  { re: /\bf\.Frame\.popUp\s*\(/, msg: "f.Frame.popUp(...) 호출 금지 — 같은 시나리오 PopUp/SlideUp 은 메타 (StepDialogType) 로 표현" },
+  { re: /\bf\.Notification\b/, msg: "f.Notification 사용 금지 — 전체 발송 위험. 모달 다이얼로그는 f.MessageBox(type).setTitle().setDescription().addButton/addBtn().show() (runtime/v1/script/f_messagebox.md)" },
+  { re: /\bf\.History\.[A-Za-z]/, msg: "f.History.* 분기 로직 금지 — 분기는 메타에서 별도 Step / Event 로 분리" },
+  { re: /\bCurrent\.step\.(moveToNext|moveToPrev|moveToFirst|moveToParent|restart)\s*\(/, msg: "Current.step.{moveToNext|moveToPrev|moveToFirst|moveToParent|restart}() 호출 금지 — Step 이동은 메타 (BottomButton.MoveTo / UseMove + MoveSteps) 채널로 선언적 표현" },
+  { re: /\bCurrent\.step\.(id|prev|from)\b/, msg: "Current.step.{id|prev|from} 조회 금지 — 분기는 메타에서 별도 Event/Step 으로 분리" },
+  { re: /\bf\.Content\s*\([^)]*\)\s*\.(show|hide|addRow|delRow|selectAll|deselectAll|clickPositionFixed|Scroll)\b/, msg: "f.Content().{show|hide|addRow|delRow|selectAll|deselectAll|clickPositionFixed|Scroll} 사용 금지 — 표시/숨김은 TargetSector.Filters, 행 추가/삭제는 **intent.mock** (Init mock) / **intent.script.clearCategory** (비우기) + intent.script.reloadGroup (재렌더)" },
+  // ── 가짜 컬렉션/카테고리 API (runtime/v1/collection/_c.md, category.md, sector.md 진실원본) ──
+  { re: /\b_c\.[A-Za-z_][A-Za-z0-9_]*\.clear\s*\(/, msg: "_c.<카테고리>.clear() 호출 금지 — 존재하지 않는 메서드. **intent.script.clearCategory** 권장: '{ kind:\"clearCategory\", cat:\"<Cat>\", reload?:\"f_N\" }'. raw fallback: f.Collection.removeSector('all', '<Cat>'). 활성 섹터만 비우려면 intent.script.deleteActive 또는 raw '_c.<Cat>.activeSector.release()'" },
+  { re: /\b_c\.[A-Za-z_][A-Za-z0-9_]*\.deleteActiveSector\s*\(/, msg: "_c.<카테고리>.deleteActiveSector() 호출 금지 — 존재하지 않는 메서드. **intent.script.deleteActive** 권장: '{ kind:\"deleteActive\", cat:\"<Cat>\", reload?:\"f_N\" }' (가드 2단 + cur.release() 자동). raw fallback: '_c.<Cat>.activeSector.release()' (runtime/v1/collection/sector.md §4-4)" },
+  // ── 섹터 .delete() 금지 — deleted 상태로 잔존 (생성 시나리오는 완전삭제 release()) ──
+  { re: /\.delete\s*\(\s*\)/, msg: "섹터 .delete() 호출 금지 — added 가 아닌 섹터는 deleted 상태로 컬렉션에 잔존(백엔드 동기화용 표시)해 집계/반복 루프를 오염시킨다. 생성 시나리오는 완전삭제 '.release()' 사용 — **intent.script.deleteActive** 권장 (가드 2단 + cur.release() 자동) (runtime/v1/collection/sector.md §4-4)" },
+  // activeSector / sectors / suids / active / status / name 은 모두 프로퍼티 (게터) — 함수 호출 금지
+  { re: /\.activeSector\s*\(/, msg: "activeSector(...) 호출 금지 — 'activeSector' 는 프로퍼티(게터). '_c.<카테고리>.activeSector.<필드>' 또는 메서드를 부르려면 '.activeSector.set(...)' / '.activeSector.release()' / '.activeSector.setStatus(...)' 처럼 sector 메서드 호출 (runtime/v1/collection/category.md §3, _c.md §3)" },
+  { re: /\b_c\.[A-Za-z_][A-Za-z0-9_]*\.sectors\s*\(/, msg: "_c.<카테고리>.sectors(...) 호출 금지 — 'sectors' 는 프로퍼티(=this 카테고리 자체). '_c.<카테고리>.sectors' (또는 동등하게 '_c.<카테고리>' / '_c.<카테고리>.forEach(...)') 로 사용 (runtime/v1/collection/category.md §3)" },
+  { re: /\b_c\.[A-Za-z_][A-Za-z0-9_]*\.(suids|active|name|status)\s*\(/, msg: "_c.<카테고리>.{suids|active|name|status}(...) 호출 금지 — 모두 프로퍼티(게터). 괄호 없이 사용 (runtime/v1/collection/category.md §3)" },
+  // ── f.MessageBox() 가짜 체인 메서드 + 가짜 f.Message() (인스턴스) ──
+  { re: /\bf\.MessageBox\s*\([^)]*\)\s*\.(chain|send|setBody|addReceiver|addAction|setActionJson|toast|notify|queue)\s*\(/, msg: "f.MessageBox().{chain|send|setBody|addReceiver|addAction|setActionJson|toast|notify|queue}(...) 호출 금지 — 존재하지 않는 메서드. **intent.script.dialog** 권장 ('{ kind:\"dialog\", type, title, body?, buttons:[...] }') — 종결자 .show() / 본문 .setDescription 자동 emit (오타 불가능). raw fallback: 'f.MessageBox(type).setTitle(...).setDescription(...).addButton/addBtn(...).show()' (runtime/v1/script/f_messagebox.md)" },
+  { re: /\bf\.Message\s*\(/, msg: "f.Message() 호출 금지 — 모달 다이얼로그는 **intent.script.dialog** 권장 또는 raw 'f.MessageBox(type).setTitle()...show()' 채널만 (runtime/v1/script/f_messagebox.md)" },
+  // ── {=Field} 템플릿 토큰은 display 전용 — event Script 본문 금지 (raw=true: 문자열 안에서도 검출) ──
+  { re: /\{=[A-Za-z_][A-Za-z0-9_.]*\}/, raw: true, msg: "이벤트 Script 본문에서 '{=필드}' 사용 금지 — '{=필드}' 는 Label.labeltext / Button text / ConditionValue 같은 display 토큰. event Script 안에서는 '_c.<카테고리>.activeSector.<필드>' (또는 '_c.<카테고리>[n].<필드>') 로 명시적으로 참조 (runtime/v1/script/scenario-gen-rules.md §2-1.1, schema/v1/data-objects.md '{=Field}')" },
+];
+
+const SCRIPT_INIT_DENY_PATTERNS = [
+  { re: /\bCurrent\.step\.reload(WithAnimation)?\s*\(/, msg: "Init 이벤트에서 Current.step.reload() / reloadWithAnimation() 호출 금지 — Init 은 데이터 박는 단계 (Init/Loaded 자체가 reload 시 재실행되지 않으므로 의미 없음). 화면 갱신은 Loaded 또는 사용자 트리거 이벤트에서." },
+  { re: /\bf\.Content\s*\([^)]*\)\s*\.reload(WithAnimation)?\s*\(/, msg: "Init 이벤트에서 f.Content(fid).reload() / reloadWithAnimation() 호출 금지 — Init 은 데이터 박는 단계. 부분 갱신은 Loaded/Click 등에서." },
+  { re: /\bf\.Event\s*\([^)]*\)\s*\.(runNext|break)\s*\(/, msg: "Init 이벤트에서 f.Event(...).runNext()/.break() 호출 금지 — Init 은 단순 mock sector 생성만 허용" },
+  { re: /\bf\.MessageBox\s*\(/, msg: "Init 이벤트에서 f.MessageBox() 호출 금지 — 모달 다이얼로그는 사용자 트리거 이벤트(Click/Change/Loaded 후)의 intent.script.dialog 또는 raw f.MessageBox 로. Init 은 intent.mock 으로 mock 데이터만." },
+  { re: /\bf\.Script\.load\s*\(/, msg: "Init 이벤트에서 f.Script.load() 호출 금지 — 외부 스크립트 로드는 Loaded 또는 별도 이벤트에서" },
+];
+
+const F_MEMBER_RE = /\bf\.([A-Za-z_][A-Za-z0-9_]*)/g;
+const F_ALLOWED_TOPLEVEL = new Set(['Collection', 'Date', 'Script', 'MessageBox', 'Event', 'Content']);
+
+function stripStringsAndComments(src) {
+  // 길이 보존 — 문자열/주석 본문을 같은 길이의 공백으로 치환해
+  // src 와 code 의 인덱스가 일치하도록 한다 (categoriesAddedInScripts 가
+  // code 의 매칭 위치를 그대로 src 에 슬라이스해서 인자를 추출하기 때문).
+  const blank = (m) => ' '.repeat(m.length);
+  return src
+    .replace(/\/\/[^\n]*/g, blank)
+    .replace(/\/\*[\s\S]*?\*\//g, blank)
+    .replace(/`(?:\\.|[^`\\])*`/g, blank)
+    .replace(/'(?:\\.|[^'\\])*'/g, blank)
+    .replace(/"(?:\\.|[^"\\])*"/g, blank);
+}
+
+function checkScriptBody(src, where, errors, isInit) {
+  if (typeof src !== 'string' || !src.trim()) return;
+  const code = stripStringsAndComments(src);
+  for (const { re, msg, raw } of SCRIPT_DENY_PATTERNS) {
+    if ((raw ? re.test(src) : re.test(code))) errors.push(`${where} 스크립트 — ${msg}`);
+  }
+  if (isInit) {
+    for (const { re, msg, raw } of SCRIPT_INIT_DENY_PATTERNS) {
+      if ((raw ? re.test(src) : re.test(code))) errors.push(`${where} (Init) 스크립트 — ${msg}`);
+    }
+  }
+  let m;
+  while ((m = F_MEMBER_RE.exec(code)) !== null) {
+    const top = m[1];
+    if (!F_ALLOWED_TOPLEVEL.has(top)) {
+      errors.push(`${where} 스크립트 — f.${top}.* 사용 금지 — 허용된 f.* 진입점은 ${[...F_ALLOWED_TOPLEVEL].sort().join(', ')} 뿐 (runtime/v1/script/scenario-gen-rules.md §2-3)`);
+    }
+  }
+}
+
+/**
+ * 모든 Events 의 Script Action 본문을 정적 분석.
+ * 시나리오 레벨 Events 만 검사 (Step/Group/Control.Events 는 핸들러 이름만 가지고
+ * 실제 Script 는 시나리오 Events 에 정의 — [event-ref] 와 정합).
+ */
+export function checkScriptAllowlist(scenario, strictScript = true) {
+  if (!strictScript) return [];
+  const errors = [];
+  const events = scenario?.Events;
+  if (!events || typeof events !== 'object' || Array.isArray(events)) return [];
+
+  const initHandlerNames = collectInitHandlerNames(scenario);
+
+  for (const [name, arr] of Object.entries(events)) {
+    if (!Array.isArray(arr)) continue;
+    const isInit = initHandlerNames.has(name);
+    arr.forEach((action, i) => {
+      if (!action || typeof action !== 'object') return;
+      if (action.Action === 'Script') {
+        checkScriptBody(action.Script, `scenario.Events['${name}'][${i}]`, errors, isInit);
+      } else if (action.Action === 'LinkedEvent' && typeof action.Script === 'string' && action.Script) {
+        checkScriptBody(action.Script, `scenario.Events['${name}'][${i}].Script`, errors, isInit);
+      }
+    });
+  }
+  return errors;
+}
+
+/* ------------------------------------------------------------------ */
+/* [mock-init] 시작 Step 의 Init 이벤트에서 mock 섹터 생성 강제           */
+/*  - 시나리오 안에서 사용되는 카테고리(DataConnection.CategoryName) 를   */
+/*    모두 수집하고, StartSteps 의 첫 Step 의 Events.Init 핸들러가 모든   */
+/*    카테고리에 대해 f.Collection.addSector(..., '카테고리') 호출 포함.  */
+/*  - 외부 데이터 시스템(Service/API)을 사용하지 않으므로(MCP 생성 모드),  */
+/*    화면이 그릴 데이터는 Init 에서 mock 으로 박는 것이 유일한 출처.       */
+/*  - 카테고리 식별은 DataConnection.CategoryName 만 사용 — TargetSector  */
+/*    안에 CategoryName 을 두는 형태는 잘못된 형태로 수집 대상 아님       */
+/*    (checkCategoryNaming 이 별도 에러로 보고).                           */
+/* ------------------------------------------------------------------ */
+function collectUsedCategories(scenario) {
+  // category 이름 → 그 카테고리가 쓰인 DataUsage 값들의 Set.
+  // DataUsage:'new' 는 진입 시 빈 섹터를 자동 생성하므로 Init mock 이 불필요 —
+  // checkMockInit 에서 'new' 로만 쓰인 카테고리는 요구 대상에서 제외한다.
+  const used = new Map();
+  const addUsage = (name, usage) => {
+    if (!used.has(name)) used.set(name, new Set());
+    used.get(name).add(usage);
+  };
+  const visit = (node) => {
+    if (!node || typeof node !== 'object') return;
+    if (Array.isArray(node)) { node.forEach(visit); return; }
+    // ContentsType 체크 없이 DataConnection 객체가 있으면 수집 — 반복 렌더링
+    // 그룹 (UseDataConnection:true + DataConnection.CategoryName) 은 ContentsType 누락
+    // 사례에서도 잡히도록.
+    const dc = node.DataConnection;
+    if (dc && typeof dc === 'object') {
+      if (typeof dc.CategoryName === 'string' && dc.CategoryName) {
+        addUsage(dc.CategoryName, typeof dc.DataUsage === 'string' ? dc.DataUsage : 'default');
+      }
+    }
+    if (Array.isArray(node.Contents)) node.Contents.forEach(visit);
+    const layouts = node?.Dialog?.Layouts;
+    if (Array.isArray(layouts)) {
+      layouts.forEach(l => (l?.Controls ?? []).forEach(visit));
+    }
+  };
+  // 모든 Step 의 Contents/Fixed* + BottomButtons 까지 순회 (BottomButton 자체에는
+  // 보통 DC 가 없지만 안전을 위해).
+  const steps = scenario?.Steps ?? {};
+  for (const sid of Object.keys(steps)) {
+    const step = steps[sid];
+    for (const ch of ['Contents', 'FixedContentsTop', 'FixedContentsBottom']) {
+      (step?.[ch] ?? []).forEach(visit);
+    }
+    (step?.BottomButtons ?? []).forEach(visit);
+  }
+  return used;
+}
+
+function collectInitHandlerNames(scenario) {
+  const names = new Set();
+  const startSteps = Array.isArray(scenario?.StartSteps) ? scenario.StartSteps : [];
+  const steps = scenario?.Steps ?? {};
+  for (const sid of startSteps) {
+    const ev = steps?.[sid]?.Events;
+    if (ev && typeof ev === 'object' && typeof ev.Init === 'string' && ev.Init) {
+      names.add(ev.Init);
+    }
+  }
+  return names;
+}
+
+// 이벤트 action 배열에서 Script 본문을 수집. LinkedEvent 는 시나리오 레벨
+// 핸들러를 따라 재귀(순환 방지 visited). 시나리오 레벨 named 핸들러와
+// Step.Events.Init 인라인 배열(intent.mock materialize 결과) 양쪽에서 재사용.
+function gatherScriptsFromActions(arr, events, visited = new Set()) {
+  const out = [];
+  if (!Array.isArray(arr)) return out;
+  for (const action of arr) {
+    if (!action || typeof action !== 'object') continue;
+    if (action.Action === 'Script' && typeof action.Script === 'string') {
+      out.push(action.Script);
+    } else if (action.Action === 'LinkedEvent' && typeof action.EventName === 'string') {
+      if (typeof action.Script === 'string' && action.Script) out.push(action.Script);
+      out.push(...gatherScriptsFromHandler(events, action.EventName, visited));
+    }
+  }
+  return out;
+}
+
+function gatherScriptsFromHandler(events, handlerName, visited = new Set()) {
+  if (visited.has(handlerName)) return [];
+  visited.add(handlerName);
+  return gatherScriptsFromActions(events?.[handlerName], events, visited);
+}
+
+// 시작 Step(들)의 Init 에 연결된 모든 Script 본문을 수집.
+//  - Step.Events.Init 가 문자열(named 핸들러) → 시나리오 레벨 Events 에서 펼침.
+//  - Step.Events.Init 가 배열([{Action:'Script', Script:'...addSector...'}], 즉
+//    intent.mock 인라인이 materialize된 형태) → 그 action 배열에서 직접 펼침.
+// proto / mock-init 양쪽이 "시작 Init 의 addSector mock" 을 동일하게 인식하도록
+// 단일 진실원본. (collectInitHandlerNames 는 핸들러 '이름'이 필요한
+// checkScriptAllowlist 전용 — 인라인 배열엔 이름이 없으므로 별개 유지.)
+function gatherStartStepInitScripts(scenario) {
+  const events = scenario?.Events ?? {};
+  const startSteps = Array.isArray(scenario?.StartSteps) ? scenario.StartSteps : [];
+  const steps = scenario?.Steps ?? {};
+  const out = [];
+  for (const sid of startSteps) {
+    const initVal = steps?.[sid]?.Events?.Init;
+    if (typeof initVal === 'string' && initVal) {
+      out.push(...gatherScriptsFromHandler(events, initVal));
+    } else if (Array.isArray(initVal)) {
+      out.push(...gatherScriptsFromActions(initVal, events));
+    }
+  }
+  return out;
+}
+
+const ADD_SECTOR_RE = /\bf\.Collection\.addSector\s*\(/g;
+
+function categoriesAddedInScripts(scripts) {
+  const added = new Set();
+  for (const src of scripts) {
+    if (typeof src !== 'string' || !src) continue;
+    const code = stripStringsAndComments(src);
+    let m;
+    ADD_SECTOR_RE.lastIndex = 0;
+    while ((m = ADD_SECTOR_RE.exec(code)) !== null) {
+      const start = m.index + m[0].length;
+      const cat = extractSecondStringArg(src.slice(start));
+      if (cat) added.add(cat);
+    }
+  }
+  return added;
+}
+
+function extractSecondStringArg(s) {
+  // 매우 단순한 파서 — 첫 인자를 brace depth 0 에서 ',' 까지 읽고 두 번째 인자가 문자열 리터럴이면 값 반환.
+  let depth = 0;
+  let inStr = null;
+  let i = 0;
+  for (; i < s.length; i++) {
+    const ch = s[i];
+    if (inStr) {
+      if (ch === '\\') { i++; continue; }
+      if (ch === inStr) inStr = null;
+      continue;
+    }
+    if (ch === '"' || ch === "'" || ch === '`') { inStr = ch; continue; }
+    if (ch === '(' || ch === '[' || ch === '{') depth++;
+    else if (ch === ')' || ch === ']' || ch === '}') {
+      if (depth === 0) return null;
+      depth--;
+    } else if (ch === ',' && depth === 0) { i++; break; }
+  }
+  // 두 번째 인자 시작
+  while (i < s.length && /\s/.test(s[i])) i++;
+  if (i >= s.length) return null;
+  const q = s[i];
+  if (q !== '"' && q !== "'" && q !== '`') return null;
+  let val = '';
+  for (i++; i < s.length; i++) {
+    const ch = s[i];
+    if (ch === '\\') { val += s[i + 1] ?? ''; i++; continue; }
+    if (ch === q) return val;
+    val += ch;
+  }
+  return null;
+}
+
+export function checkMockInit(scenario, strictMockInit = true) {
+  if (!strictMockInit) return [];
+  const errors = [];
+  const catUsage = collectUsedCategories(scenario);
+  // DataUsage:'new' 는 진입 시 빈 섹터 자동 생성(data-objects.md §1.2) → Init mock 불필요.
+  // 'new' 로만 쓰인 카테고리는 제외하고, query/update/detail/default 등 읽기 용도가
+  // 하나라도 있으면 mock 섹터가 필요하다.
+  const usedCats = new Set(
+    [...catUsage.entries()]
+      .filter(([, usages]) => [...usages].some((u) => u !== 'new'))
+      .map(([name]) => name)
+  );
+  if (usedCats.size === 0) return [];
+
+  const startSteps = Array.isArray(scenario?.StartSteps) ? scenario.StartSteps : [];
+  if (startSteps.length === 0) return [];
+
+  // 모든 시작 Step (StartSteps 가 N개일 수도 있음) 의 Init 핸들러를 합쳐서 mock 채움 여부 판단.
+  const events = scenario?.Events ?? {};
+  const allScripts = [];
+  const missingInit = [];
+  for (const sid of startSteps) {
+    const initVal = scenario?.Steps?.[sid]?.Events?.Init;
+    // intent.mock 인라인 (Step.Events.Init 가 [{Action:'Script', Script:'...addSector...'}]
+    // 배열로 materialize된 형태) 도 시작 Init 으로 인정 — proto 게이트와 대칭.
+    if (Array.isArray(initVal)) {
+      allScripts.push(...gatherScriptsFromActions(initVal, events));
+      continue;
+    }
+    if (typeof initVal !== 'string' || !initVal) {
+      missingInit.push(sid);
+      continue;
+    }
+    if (!Array.isArray(events[initVal])) {
+      errors.push(
+        `scenario.Events['${initVal}'] 미정의 — 시작 Step '${sid}' 의 Init 핸들러가 가리키는 이벤트가 시나리오에 없음. ` +
+        `(strict_mock_init=false 로 비활성)`
+      );
+      continue;
+    }
+    allScripts.push(...gatherScriptsFromHandler(events, initVal));
+  }
+
+  // 시작 Step 중 단 하나라도 Init 이 정의되어 있으면 거기서 mock 박을 수 있다는 가정 — 단,
+  // Init 이 한 개도 없는데 카테고리는 사용 중이면 분명한 누락.
+  if (missingInit.length === startSteps.length) {
+    const startSid = startSteps[0];
+    errors.push(
+      `시작 Step '${startSid}'${startSteps.length > 1 ? ` (외 ${startSteps.length - 1}개)` : ''} 의 Events.Init 핸들러 미정의 — 사용 카테고리 [${[...usedCats].join(', ')}] 를 mock 으로 채울 곳이 없음. ` +
+      `Step '${startSid}'.Events.Init = '<핸들러이름>' 추가 + scenario.Events['<핸들러이름>'] 에 ` +
+      `f.Collection.addSector({...}, '<카테고리>') Script Action 들을 박을 것. ` +
+      `(strict_mock_init=false 로 비활성)`
+    );
+    return errors;
+  }
+  if (missingInit.length > 0) {
+    errors.push(
+      `시작 Step [${missingInit.join(', ')}] 에 Events.Init 핸들러 누락 — 시작 Step 마다 Init 을 정의하거나 LinkedEvent 로 공통 핸들러를 부를 것. ` +
+      `(strict_mock_init=false 로 비활성)`
+    );
+  }
+
+  const added = categoriesAddedInScripts(allScripts);
+  const missing = [...usedCats].filter(c => !added.has(c));
+  if (missing.length > 0) {
+    errors.push(
+      `시작 Step [${startSteps.join(', ')}] 의 Init 핸들러(들) 가 카테고리 [${missing.join(', ')}] 에 ` +
+      `f.Collection.addSector(..., '<카테고리>') 호출이 없음 — 외부 서비스를 쓰지 않는 MCP 생성 모드에서는 ` +
+      `시작 Step.Init 에서 모든 사용 카테고리에 mock 섹터를 박아야 화면에 데이터가 나옴 ` +
+      `(스텝 간 이벤트가 없거나 단일 Step 안에서 반복 렌더링 그룹 (UseDataConnection + DataConnection.CategoryName) 만 쓰는 케이스도 동일). ` +
+      `사용 카테고리: [${[...usedCats].join(', ')}], addSector 된 카테고리: [${[...added].join(', ') || '(없음)'}]. ` +
+      `(strict_mock_init=false 로 비활성)`
+    );
+  }
+  return errors;
+}
+
+/**
+ * group.schema.json 의 UseDataConnection.default:false 를 실제 인스턴스에 적용.
+ * ajv 의 useDefaults 옵션은 oneOf/allOf 분기와 충돌해 폭주하므로 직접 mutate.
+ *
+ * UseInnerBlock:true 그룹은 면제 (스키마 차원에서 false 로 차단되어 별도 처리 불필요).
+ *
+ * @param {object} scenario
+ * @returns {number} 채워넣은 그룹 수
+ */
+export function applyGroupDefaults(scenario) {
+  let added = 0;
+  const visit = (node) => {
+    if (!node || typeof node !== 'object') return;
+    if (Array.isArray(node)) { node.forEach(visit); return; }
+    if (node.ContentsType === 'Group') {
+      if (!Object.prototype.hasOwnProperty.call(node, 'UseDataConnection')) {
+        node.UseDataConnection = false;
+        added += 1;
+      }
+    }
+    if (Array.isArray(node.Contents)) node.Contents.forEach(visit);
+    const layouts = node?.Dialog?.Layouts;
+    if (Array.isArray(layouts)) {
+      layouts.forEach(l => (l?.Controls ?? []).forEach(visit));
+    }
+  };
+  const steps = scenario?.Steps ?? {};
+  for (const sid of Object.keys(steps)) {
+    const step = steps[sid];
+    for (const ch of ['Contents', 'FixedContentsTop', 'FixedContentsBottom']) {
+      (step?.[ch] ?? []).forEach(visit);
+    }
+    (step?.BottomButtons ?? []).forEach(visit);
+  }
+  return added;
+}
+
+/**
+ * `f.Collection.addSector(obj, 'Cat')` 호출 본문을 가독성 좋게 reformat.
+ * - 첫 인자가 단순 객체 리터럴이면 키별 줄바꿈
+ * - 호출과 호출 사이는 줄바꿈
+ *
+ *   addSector({fId:1, fName:'사과', fPrice:1000}, 'CtgItems');
+ *   →
+ *   addSector({
+ *     fId: 1,
+ *     fName: '사과',
+ *     fPrice: 1000
+ *   }, 'CtgItems');
+ */
+function splitTopLevelCommas(s) {
+  const out = [];
+  let depth = 0, inStr = null, start = 0;
+  for (let i = 0; i < s.length; i++) {
+    const ch = s[i];
+    if (inStr) {
+      if (ch === '\\') { i++; continue; }
+      if (ch === inStr) inStr = null;
+      continue;
+    }
+    if (ch === '"' || ch === "'" || ch === '`') { inStr = ch; continue; }
+    if (ch === '(' || ch === '[' || ch === '{') depth++;
+    else if (ch === ')' || ch === ']' || ch === '}') depth--;
+    else if (ch === ',' && depth === 0) {
+      out.push(s.slice(start, i).trim());
+      start = i + 1;
+    }
+  }
+  const last = s.slice(start).trim();
+  if (last) out.push(last);
+  return out;
+}
+
+function reformatObjectLiteral(src) {
+  const t = src.trim();
+  if (!t.startsWith('{') || !t.endsWith('}')) return src;
+  const body = t.slice(1, -1).trim();
+  if (!body) return '{}';
+  const pairs = splitTopLevelCommas(body);
+  if (pairs.length === 0) return '{}';
+  // key: value 사이 공백 정규화 (key:value → key: value)
+  const normPairs = pairs.map(p => {
+    const m = p.match(/^([A-Za-z_$][\w$]*|"[^"]*"|'[^']*')\s*:\s*(.*)$/s);
+    return m ? `${m[1]}: ${m[2].trim()}` : p;
+  });
+  return '{\n  ' + normPairs.join(',\n  ') + '\n}';
+}
+
+function reformatAddSectorCalls(src) {
+  const re = /\bf\.Collection\.addSector\s*\(/g;
+  let out = '', lastEnd = 0, m;
+  re.lastIndex = 0;
+  while ((m = re.exec(src)) !== null) {
+    const callStart = m.index;
+    const argsStart = m.index + m[0].length;
+    let depth = 1, inStr = null, i = argsStart;
+    for (; i < src.length; i++) {
+      const ch = src[i];
+      if (inStr) {
+        if (ch === '\\') { i++; continue; }
+        if (ch === inStr) inStr = null;
+        continue;
+      }
+      if (ch === '"' || ch === "'" || ch === '`') { inStr = ch; continue; }
+      if (ch === '(') depth++;
+      else if (ch === ')') { depth--; if (depth === 0) break; }
+    }
+    if (depth !== 0) break;
+    const argsRaw = src.slice(argsStart, i);
+    const callEnd = i + 1;
+    const args = splitTopLevelCommas(argsRaw);
+    out += src.slice(lastEnd, callStart);
+    if (args.length === 2 || args.length === 3) {
+      const obj = args[0].trim();
+      const formattedObj = obj.startsWith('{') && obj.endsWith('}')
+        ? reformatObjectLiteral(obj)
+        : obj;
+      const tail = args.slice(1).map(a => a.trim()).join(', ');
+      out += `f.Collection.addSector(${formattedObj}, ${tail})`;
+    } else {
+      out += src.slice(callStart, callEnd);
+    }
+    lastEnd = callEnd;
+    re.lastIndex = callEnd;
+  }
+  out += src.slice(lastEnd);
+  // 호출 사이 줄바꿈 — `;` 뒤 다음 호출 시작 시 줄바꿈
+  out = out.replace(/;[ \t]*(?=f\.Collection\.addSector\b)/g, ';\n');
+  return out;
+}
+
+/**
+ * AI 생성 금지 키 검증 — MCP 는 **항상 strict** (env 게이트 / opts 토글 없음).
+ *
+ * CLI 의 validate.mjs `checkAiGenerationForbidden` 과 동일 정책. 단, CLI 는
+ * AI_GEN_STRICT=1 환경변수로 운영 메타 검증과 토글하지만 MCP 는 AI 생성 경로
+ * 전용이므로 항상 적용 — 운영 메타를 MCP 로 검증하지 않음.
+ *
+ * 단일 진실원본: meta-contract/schema/v1/control.md §AI 샘플 생성 금지 키.
+ * 금지 키 매트릭스 (description 의 "★ AI 생성 시 미포함" 마커 기준):
+ *  - 모든 Control + Group: minWidth / maxWidth / minHeight / maxHeight
+ *  - 데이터 연결고리 (Calendar 내부 / List 내부 / Tree): UseDCLink / DCLinkCkey
+ *  - Label: UseFullShape / UseTriming / TooltipType / TooltipText / TooltipCKey
+ *  - RadioBox: ItemWrap
+ *  - Button: UseMove / MoveSteps
+ *  - ImageBox (View 모드): DefaultViewGroup
+ *  - 모든 Control (FontStyle 자간): FontStyle.LetterSpacing
+ */
+const AI_GEN_FORBIDDEN_KEYS_ALL = [
+  'minWidth', 'maxWidth', 'minHeight', 'maxHeight',
+  'UseDCLink', 'DCLinkCkey',
+];
+const AI_GEN_FORBIDDEN_KEYS_BY_TYPE = {
+  Label:    ['UseFullShape', 'UseTriming', 'TooltipType', 'TooltipText', 'TooltipCKey'],
+  ImageBox: ['DefaultViewGroup'],
+};
+export function checkAiGenerationForbidden(scenario) {
+  const errors = [];
+
+  const report = (path, key, reason) => {
+    errors.push(`${path}.${key} ${reason}`);
+  };
+
+  const visit = (node, path) => {
+    if (!node || typeof node !== 'object') return;
+
+    for (const k of AI_GEN_FORBIDDEN_KEYS_ALL) {
+      if (Object.prototype.hasOwnProperty.call(node, k)) {
+        report(path, k, 'AI 생성 시 미포함 — 사용자 수동 설정 전용 (policy.ai-generation-forbidden-keys).');
+      }
+    }
+    const ct = node.ControlType;
+    const typeKeys = ct && AI_GEN_FORBIDDEN_KEYS_BY_TYPE[ct];
+    if (typeKeys) {
+      for (const k of typeKeys) {
+        if (Object.prototype.hasOwnProperty.call(node, k)) {
+          report(path, k, `(${ct}) AI 생성 시 미포함 — 사용자 수동 설정 전용.`);
+        }
+      }
+    }
+    const fs = node.FontStyle;
+    if (fs && typeof fs === 'object' && Object.prototype.hasOwnProperty.call(fs, 'LetterSpacing')) {
+      report(`${path}.FontStyle`, 'LetterSpacing', 'AI 생성 시 미포함 — 사용자 수동 설정 전용.');
+    }
+
+    if (Array.isArray(node.Contents)) {
+      node.Contents.forEach((c, i) => visit(c, `${path}/Contents/${i}`));
+    }
+    const layouts = node?.Dialog?.Layouts;
+    if (Array.isArray(layouts)) {
+      layouts.forEach((layout, li) => {
+        (layout?.Controls ?? []).forEach((c, ci) =>
+          visit(c, `${path}/Dialog/Layouts/${li}/Controls/${ci}`)
+        );
+      });
+    }
+  };
+
+  const steps = scenario?.Steps ?? {};
+  for (const sid of Object.keys(steps)) {
+    const step = steps[sid];
+    for (const ch of ['Contents', 'FixedContentsTop', 'FixedContentsBottom']) {
+      (step?.[ch] ?? []).forEach((g, i) => visit(g, `Steps/${sid}/${ch}/${i}`));
+    }
+    (step?.BottomButtons ?? []).forEach((b, i) => visit(b, `Steps/${sid}/BottomButtons/${i}`));
+  }
+  return errors;
+}
+
+/**
+ * 모든 Script Action 본문에서 f.Collection.addSector 호출을 다중 줄로 재포맷.
+ * @returns {number} 변경된 Script Action 수
+ */
+export function normalizeMockSectorScripts(scenario) {
+  let changed = 0;
+  const events = scenario?.Events;
+  if (!events || typeof events !== 'object' || Array.isArray(events)) return 0;
+  for (const arr of Object.values(events)) {
+    if (!Array.isArray(arr)) continue;
+    for (const action of arr) {
+      if (!action || typeof action !== 'object') continue;
+      if (action.Action !== 'Script' || typeof action.Script !== 'string') continue;
+      if (!action.Script.includes('f.Collection.addSector')) continue;
+      const reformatted = reformatAddSectorCalls(action.Script);
+      if (reformatted !== action.Script) {
+        action.Script = reformatted;
+        changed += 1;
+      }
+    }
+  }
+  return changed;
+}
+
+/* ------------------------------------------------------------------ */
+/* [back-button] 가짜 뒤로가기 그룹 검출                                  */
+/*  - Step.UseBackButton:false 인데 FixedContentsTop/Contents 어딘가에  */
+/*    UseMove:true + MoveSteps 의 한 항목이 MoveTo:"Prev" 인 Group/Control */
+/*    이 박혀 있으면 "표준 뒤로가기 비활성 + 커스텀 그룹으로 대체" 안티     */
+/*    패턴. 헤더 백버튼은 step 의 UseBackButton:true + BackButton 구성으로 */
+/*    표준화해야 한다 (schema/v1/step.md "뒤로가기 사용하기").              */
+/* ------------------------------------------------------------------ */
+export function checkBackButtonStandard(scenario, strictBackButton = true) {
+  if (!strictBackButton) return [];
+  const errors = [];
+  const steps = scenario?.Steps ?? {};
+
+  const hasPrevMove = (node) => {
+    if (!node || typeof node !== 'object') return false;
+    if (node.UseMove === true && node.MoveSteps && typeof node.MoveSteps === 'object') {
+      const order = Array.isArray(node.MoveSteps.MoveStepOrder) ? node.MoveSteps.MoveStepOrder : [];
+      for (const sid of order) {
+        const entry = node.MoveSteps[sid];
+        if (entry && entry.MoveTo === 'Prev') return true;
+      }
+    }
+    return false;
+  };
+
+  const walk = (node, path, into) => {
+    if (!node || typeof node !== 'object') return;
+    if (Array.isArray(node)) { node.forEach((v, i) => walk(v, `${path}/${i}`, into)); return; }
+    if (hasPrevMove(node)) {
+      const label = node.ContentsName || node.ControlDefaultName || node.ControlName2 || node.ControlType || node.ContentsType || '?';
+      into.push(`${path} (${label})`);
+    }
+    if (Array.isArray(node.Contents)) node.Contents.forEach((c, i) => walk(c, `${path}/Contents/${i}`, into));
+    const layouts = node?.Dialog?.Layouts;
+    if (Array.isArray(layouts)) layouts.forEach((l, li) => (l?.Controls ?? []).forEach((c, ci) => walk(c, `${path}/Dialog/Layouts/${li}/Controls/${ci}`, into)));
+  };
+
+  for (const sid of Object.keys(steps)) {
+    const step = steps[sid];
+    if (step?.UseBackButton === true) continue;
+    // FixedContentsTop 에서 발견되는 Prev 이동 트리거는 헤더 백버튼 대체 패턴 — 강하게 안티.
+    const topHits = [];
+    (step?.FixedContentsTop ?? []).forEach((g, i) => walk(g, `Steps/${sid}/FixedContentsTop/${i}`, topHits));
+    if (topHits.length > 0) {
+      errors.push(
+        `Step '${sid}'.UseBackButton:false 이면서 FixedContentsTop 에 커스텀 뒤로가기 그룹 발견 (${topHits.join(', ')}) — ` +
+        `상단 헤더의 뒤로가기는 표준 채널 'UseBackButton:true + BackButton:{Next:"None", IsRestored:true, BackButtonMode:"Step", BackButtonEvent:"undefined"}' 로 표현. ` +
+        `커스텀 Group + UseMove + MoveTo:"Prev" 로 헤더 백버튼을 대체하지 말 것 (schema/v1/step.md "뒤로가기 사용하기"). ` +
+        `strict_back_button=false 로 비활성.`
+      );
+    }
+  }
+  return errors;
+}
+
+/* ------------------------------------------------------------------ */
+/* helper                                                             */
+/* ------------------------------------------------------------------ */
+function forEachStepRoot(scenario, visitor) {
+  const steps = scenario?.Steps ?? {};
+  for (const sid of Object.keys(steps)) {
+    const step = steps[sid];
+    for (const ch of ['Contents', 'FixedContentsTop', 'FixedContentsBottom']) {
+      (step?.[ch] ?? []).forEach((g, i) => visitor(g, `Steps/${sid}/${ch}/${i}`));
+    }
+  }
+}
+/* ------------------------------------------------------------------ */
+/* [residual] design / intent short-form 미전개 잔존 차단              */
+/*  - design (design-system) 과 intent (runtime intent-system) 는 검증 */
+/*    진입 전 materialize/intent phase 가 raw 메타로 expand 하고 키를   */
+/*    제거한다(applyDesign / applyIntent). 그런데 `design` 키는 group/  */
+/*    control 스키마에 허용 필드로 정의돼 있어, materialize 가 도달하지 */
+/*    못한 위치(정상 컨테이너 밖)의 잔존 design 키는 strict-fields 에도 */
+/*    안 걸리고 ok:true 로 통과 → "design/intent 안 풀고 끝났다" 는 거짓 */
+/*    완료. ok:true 면 write-back 이 design 키가 남은 채로 파일을 덮어써 */
+/*    런타임 렌더가 깨진다.                                              */
+/*  - 이 검사는 모든 phase(materialize+intent) 이후 cross-check 단계에서 */
+/*    돌므로 잔존 = 진짜 미전개. design/intent 둘 다 전개 후엔 키가 절대 */
+/*    남지 않으므로 false-positive 없음.                                 */
+/* ------------------------------------------------------------------ */
+const RESIDUAL_SHORTFORM = new Map([
+  ['design', 'design-system (schema/v1/design-system/materialize.mjs)'],
+  ['intent', 'intent-system (runtime/v1/intent-system/materialize.mjs)'],
+]);
+
+export function checkNoResidualShortForms(scenario) {
+  const errors = [];
+  const visit = (node, path) => {
+    if (Array.isArray(node)) {
+      node.forEach((v, i) => visit(v, `${path}[${i}]`));
+      return;
+    }
+    if (!node || typeof node !== 'object') return;
+    for (const [k, v] of Object.entries(node)) {
+      if (v !== undefined && RESIDUAL_SHORTFORM.has(k)) {
+        errors.push(
+          `${path}.${k} — '${k}' short-form 이 전개되지 않은 채 남아있음. ` +
+          `${RESIDUAL_SHORTFORM.get(k)} 의 materialize phase 가 이 위치에 도달하지 못함 ` +
+          `(보통 호스트 노드가 정상 컨테이너 — Group Contents / Dialog.Layouts[*].Controls / Step FixedContents — 밖에 있음). ` +
+          `'${k}' 키는 검증 전 raw 메타로 expand 되고 제거되어야 한다 — 잔존하면 런타임 렌더가 깨지므로 ` +
+          `호스트 노드를 정상 컨테이너 안으로 옮기거나 '${k}' 를 raw 필드로 직접 작성할 것. (거짓 완료 방지 게이트)`
+        );
+      }
+      visit(v, `${path}.${k}`);
+    }
+  };
+  visit(scenario, '$');
+  return errors;
+}
+/* ---------------------------------------------------------------------- */
+/* [caption-row] 캡션 컨트롤 + 비캡션 컨트롤이 같은 가로 행에 섞임 검출      */
+/* ---------------------------------------------------------------------- */
+/**
+ * top 캡션은 컨트롤의 박스 높이를 캡션만큼 키운다. 가로 행(FlexDirection:'row')
+ * 안에 "캡션 있는 컨트롤(입력 등)"과 "캡션 없는 컨트롤(버튼 등)"이 섞이면 높이가
+ * 달라 세로 정렬이 어긋난다. 캡션을 별도 Label 로 행 위로 올리고, 입력+컨트롤만
+ * 같은 높이로 한 행에 둘 것 (DESIGN.md §Layout "Captioned input in a row").
+ *
+ * 검출 조건 (materialize 된 payload 기준 — design.caption→CaptionStyle, design.flex→DisplayStyle):
+ *  - 노드가 가로 행 (DisplayStyle.UseDisplay && FlexDirection==='row')
+ *  - 직계 자식 ≥2
+ *  - 그 중 ≥1 이 top 캡션 inflate (CaptionStyle.UseDesign===true + CaptionPosition≠'Left' + Caption 비어있지 않음)
+ *  - 그 중 ≥1 이 비캡션  → "혼합 행" 만 경보 (입력+입력 둘 다 캡션 / 세로 그룹 / 라벨을 이미 올린 행은 통과)
+ */
+export function checkCaptionRowAlignment(scenario, strictCaptionRow = true) {
+  if (!strictCaptionRow) return [];
+  const errors = [];
+  const steps = scenario?.Steps ?? {};
+
+  const isRow = (n) =>
+    n?.DisplayStyle?.UseDisplay === true && n?.DisplayStyle?.FlexDirection === 'row';
+  const captionInflated = (n) => {
+    const cs = n?.CaptionStyle;
+    if (!cs || cs.UseDesign !== true) return false;
+    if (cs.CaptionPosition === 'Left') return false; // 좌측 캡션은 높이를 키우지 않음
+    return typeof n.Caption === 'string' && n.Caption.length > 0; // 비어있는 캡션(숨김)은 제외
+  };
+
+  const visit = (node, path) => {
+    if (!node || typeof node !== 'object') return;
+    const kids = Array.isArray(node.Contents)
+      ? node.Contents.filter((c) => c && typeof c === 'object')
+      : [];
+    if (isRow(node) && kids.length >= 2) {
+      const capped = kids.filter(captionInflated);
+      const uncapped = kids.filter((c) => !captionInflated(c));
+      if (capped.length > 0 && uncapped.length > 0) {
+        const names = capped
+          .map((c) => c.ControlName2 || c.ControlName || c.ControlType || c.ContentsType)
+          .join(', ');
+        errors.push(
+          `${path} (가로 행) 안에 캡션 컨트롤(${names})과 비캡션 컨트롤이 섞여 있음 — ` +
+          `top 캡션이 박스 높이를 키워 세로 정렬이 어긋난다. 캡션을 별도 Label 로 행 위에 올리고 ` +
+          `(컬럼 gap), 입력+컨트롤만 같은 높이로 한 행에 둘 것 (DESIGN.md §Layout "Captioned input in a row").`,
+        );
+      }
+    }
+    if (Array.isArray(node.Contents)) {
+      node.Contents.forEach((c, i) => visit(c, `${path}/Contents/${i}`));
+    }
+    const layouts = node?.Dialog?.Layouts;
+    if (Array.isArray(layouts)) {
+      layouts.forEach((l, li) =>
+        (l?.Controls ?? []).forEach((c, ci) =>
+          visit(c, `${path}/Dialog/Layouts/${li}/Controls/${ci}`)));
+    }
+  };
+
+  for (const sid of Object.keys(steps)) {
+    const step = steps[sid];
+    for (const ch of ['Contents', 'FixedContentsTop', 'FixedContentsBottom']) {
+      (step?.[ch] ?? []).forEach((g, i) => visit(g, `Steps/${sid}/${ch}/${i}`));
+    }
+  }
+  return errors;
+}
+
+/**
+ * 시나리오 전체에 대해 모든 cross-check 실행.
+ * @returns {{ [tag: string]: string[] }} — 검증 태그별 에러 메시지 배열
+ */
+export function runAllCrossChecks(scenario, opts = {}) {
+  const {
+    strictSample = true, strictImage = true, strictProto = true,
+    strictV1Controls = true, strictStepNav = true, strictNoInnerBlock = true,
+    strictNoService = true, strictScript = true, strictMockInit = true,
+    strictCategoryName = true, strictDisplayKey = true, strictTabMove = true,
+    strictTabEmbed = true, strictGroupDc = true, strictEmbedRender = true,
+    strictDcEmpty = true, strictBackButton = true, strictComboFixed = true, strictCaptionRow = true,
+    strictComboBodyCkeys = true, strictDcParentKey = true, strictDcParentCtx = true,
+    strictEmbedBind = true,
+  } = opts;
+  return {
+    reach:    checkStepReachability(scenario),
+    id:       checkIdUniqueness(scenario),
+    date:     checkInputDateConsistency(scenario),
+    event:    checkDialogEventPlacement(scenario),
+    'dialog-host': checkDialogHostStructure(scenario),
+    sample:   checkSampleDataSources(scenario, strictSample),
+    dsref:    checkDataSourceReferences(scenario),
+    bind:     checkCkeyBinding(scenario),
+    move:     checkMoveStepsTargets(scenario),
+    'ds-key': checkComboSearchInnerKeys(scenario),
+    'combo-body-ckeys': checkComboBodyNoCkeys(scenario, strictComboBodyCkeys),
+    'dc-parent-key': checkDataConnectionParentKeys(scenario, strictDcParentKey),
+    'dc-parent-ctx': checkParentFilterAncestorDc(scenario, strictDcParentCtx),
+    'combo-fixed': checkComboFixedKeys(scenario, strictComboFixed),
+    'display-key': checkDisplayCkey(scenario, strictDisplayKey),
+    image:    checkImagePathEmpty(scenario, strictImage),
+    proto:    checkPrototypeBinding(scenario, strictProto),
+    'v1-only': checkV1ControlsOnly(scenario, strictV1Controls),
+    inner:    checkInnerBlockContext(scenario),
+    'no-inner-block': checkNoInnerBlock(scenario, strictNoInnerBlock),
+    'no-service': checkNoService(scenario, strictNoService),
+    'event-ref': checkEventReferences(scenario),
+    'step-nav': checkStepNavigationSources(scenario, strictStepNav),
+    'script-allow': checkScriptAllowlist(scenario, strictScript),
+    'mock-init': checkMockInit(scenario, strictMockInit),
+    'category-name': checkCategoryNaming(scenario, strictCategoryName),
+    'tab-move': checkTabAncestorMove(scenario, strictTabMove),
+    'tab-embed': checkTabLinkedStepEmbed(scenario, strictTabEmbed),
+    'group-dc': checkGroupUseDataConnection(scenario, strictGroupDc),
+    'dc-empty': checkGroupDcChildBinding(scenario, strictDcEmpty),
+    'embed-render': checkEmbedRender(scenario, strictEmbedRender),
+    'embed-bind': checkEmbedSectorBinding(scenario, strictEmbedBind),
+    'back-button': checkBackButtonStandard(scenario, strictBackButton),
+    'caption-row': checkCaptionRowAlignment(scenario, strictCaptionRow),
+    'ai-gen':   checkAiGenerationForbidden(scenario),
+    residual:   checkNoResidualShortForms(scenario),
+  };
+}