react-semaphor 0.1.398 → 0.1.400

package/dist/chunks/update-policy-KImUg4Od.js

@@ -0,0 +1,831 @@
+import { S as W, a as Q, v as X } from "./analyze-result-contract-BUgK3759.js";
+import { toSemaphorInputOptionsIntent as Z, toSemaphorAnalysisQueryOptions as ee, toSemaphorAnalysisIntent as te, toSemaphorMetricIntent as re, toSemaphorRecordsIntent as ne, toSemaphorMatrixIntent as ae, toSemaphorSqlIntent as se } from "../data-app-sdk-adapters/index.js";
+const Be = W, K = Q, M = "semaphor-generated-data-app-contract/v1", x = "semaphor-generated-data-app-contract-manifest/v1";
+function L(e) {
+  return _(e) ? [
+    ...X(e).issues,
+    ...ie(e)
+  ] : ["Plan artifact must be a Semaphor codegenSummary object."];
+}
+function Le(e) {
+  const t = L(e);
+  if (t.length > 0)
+    throw new Error(`Invalid Semaphor codegenSummary:
+- ${t.join(`
+- `)}`);
+}
+function ie(e) {
+  var r;
+  const t = _(e);
+  if (!t)
+    return [];
+  const n = [];
+  return ((r = _(t.validation)) == null ? void 0 : r.status) === "blocked" && n.push(
+    "validation.status blocked cannot be generated. Resolve blocked semantic model gaps and replan before generating contract files."
+  ), Array.isArray(t.unsupportedInsights) && t.unsupportedInsights.forEach((s, a) => {
+    var i;
+    ((i = _(s)) == null ? void 0 : i.reason) === "missing_relationship" && n.push(
+      `unsupportedInsights.${a}.reason missing_relationship blocks contract generation. Call semaphor_propose_semantic_model_change, apply an approved semantic model patch, and replan before generating contract files.`
+    );
+  }), Array.isArray(t.views) && t.views.forEach((s, a) => {
+    var o;
+    const i = _((o = _(s)) == null ? void 0 : o.computation);
+    (i == null ? void 0 : i.kind) === "unsupported" && i.reason === "missing_relationship" && n.push(
+      `views.${a}.computation.reason missing_relationship blocks contract generation. Call semaphor_propose_semantic_model_change, apply an approved semantic model patch, and replan before generating contract files.`
+    );
+  }), n;
+}
+function _(e) {
+  return e && typeof e == "object" && !Array.isArray(e) ? e : void 0;
+}
+async function Pe({
+  manifest: e,
+  generatedFiles: t
+}) {
+  const n = [], r = y(e);
+  if (!r)
+    return {
+      issues: [
+        {
+          message: "Generated contract manifest must be an object.",
+          repairHint: "Regenerate the generated contract instead of hand-editing the manifest."
+        }
+      ]
+    };
+  r.schemaVersion !== x && n.push({
+    path: "schemaVersion",
+    message: `schemaVersion must be ${x}. Regenerate the contract with semaphor_create_data_app_contract.`,
+    repairHint: "Regenerate the contract with semaphor_create_data_app_contract."
+  }), r.generatedContractSchemaVersion !== M && n.push({
+    path: "generatedContractSchemaVersion",
+    message: `generatedContractSchemaVersion must be ${M}. Regenerate the contract with semaphor_generate_data_app_contract.`,
+    repairHint: "Regenerate the contract with semaphor_generate_data_app_contract."
+  });
+  const s = y(r.generator);
+  S(s == null ? void 0 : s.name) || n.push({
+    path: "generator.name",
+    message: "generator.name is required.",
+    repairHint: "Regenerate the generated contract so manifest generator metadata is written deterministically."
+  }), S(s == null ? void 0 : s.version) || n.push({
+    path: "generator.version",
+    message: "generator.version is required.",
+    repairHint: "Regenerate the generated contract so manifest generator metadata is written deterministically."
+  });
+  for (const a of L(r.codegenSummary))
+    n.push({
+      path: `codegenSummary.${a}`,
+      message: `codegenSummary.${a}`,
+      repairHint: "Regenerate the generated contract from a valid Data App codegenSummary."
+    });
+  if (r.codegenSummaryValidatorVersion !== K && n.push({
+    path: "codegenSummaryValidatorVersion",
+    message: `codegenSummaryValidatorVersion must be ${K}. Regenerate the contract with semaphor_generate_data_app_contract.`,
+    repairHint: "Regenerate the contract with semaphor_generate_data_app_contract."
+  }), typeof r.codegenSummaryHash != "string")
+    n.push({
+      path: "codegenSummaryHash",
+      message: "codegenSummaryHash is required.",
+      repairHint: "Regenerate the generated contract so manifest hashes are written deterministically."
+    });
+  else if (y(r.codegenSummary)) {
+    const a = await de(
+      r.codegenSummary
+    );
+    r.codegenSummaryHash !== a && n.push({
+      path: "codegenSummaryHash",
+      message: "codegenSummaryHash does not match codegenSummary. Regenerate the contract instead of editing the manifest.",
+      repairHint: "Regenerate the generated contract instead of editing the manifest."
+    });
+  }
+  if (n.push(...oe(r.codegenSummary)), typeof r.generatedContentHash != "string")
+    n.push({
+      path: "generatedContentHash",
+      message: "generatedContentHash is required.",
+      repairHint: "Regenerate the generated contract so manifest hashes are written deterministically."
+    });
+  else if (t) {
+    const a = await ce(t);
+    r.generatedContentHash !== a && n.push({
+      path: "generatedContentHash",
+      message: "generatedContentHash does not match generated TypeScript files. Regenerate the contract instead of hand-editing generated files.",
+      repairHint: "Regenerate the contract instead of hand-editing generated files."
+    });
+  }
+  return { issues: n };
+}
+function oe(e) {
+  const t = y(e);
+  if (!t)
+    return [];
+  const n = [], r = new Set(
+    E(t.inputs).map((a) => {
+      var i;
+      return (i = y(a)) == null ? void 0 : i.id;
+    }).filter(S)
+  ), s = new Set(
+    E(t.views).map((a) => {
+      var i;
+      return (i = y(a)) == null ? void 0 : i.id;
+    }).filter(S)
+  );
+  return E(t.filterContracts).forEach((a, i) => {
+    const o = y(a), c = o == null ? void 0 : o.inputId;
+    (!S(c) || !r.has(c)) && n.push({
+      path: `codegenSummary.filterContracts.${i}.inputId`,
+      message: `codegenSummary.filterContracts.${i}.inputId must reference a generated input.`,
+      repairHint: "Regenerate the generated contract from a valid planner output."
+    }), Array.isArray(o == null ? void 0 : o.bindings) && o.bindings.forEach((u, f) => {
+      const g = y(u), l = g == null ? void 0 : g.viewId;
+      (!S(l) || !s.has(l)) && n.push({
+        path: `codegenSummary.filterContracts.${i}.bindings.${f}.viewId`,
+        message: `codegenSummary.filterContracts.${i}.bindings.${f}.viewId must reference a generated view.`,
+        repairHint: "Regenerate the generated contract from a valid planner output."
+      });
+      const h = y(g == null ? void 0 : g.fieldRef);
+      S(h == null ? void 0 : h.name) || n.push({
+        path: `codegenSummary.filterContracts.${i}.bindings.${f}.fieldRef`,
+        message: `codegenSummary.filterContracts.${i}.bindings.${f}.fieldRef is required.`,
+        repairHint: "Regenerate the generated contract from a valid planner output."
+      });
+    });
+  }), n;
+}
+async function ce(e) {
+  const t = Object.keys(e).filter((r) => r.endsWith(".ts")).sort();
+  let n = "";
+  for (const r of t)
+    n += `${r}\0${e[r]}\0`;
+  return `sha256:${await P(n)}`;
+}
+async function de(e) {
+  return `sha256:${await P(N(e))}`;
+}
+function N(e) {
+  if (e === null || typeof e != "object")
+    return JSON.stringify(e);
+  if (Array.isArray(e))
+    return `[${e.map((r) => N(r)).join(",")}]`;
+  const t = e;
+  return `{${Object.keys(t).sort().filter((r) => t[r] !== void 0).map((r) => `${JSON.stringify(r)}:${N(t[r])}`).join(",")}}`;
+}
+async function P(e) {
+  var r;
+  if (!((r = globalThis.crypto) != null && r.subtle))
+    throw new Error("SHA-256 digest support is required for generated contract validation.");
+  const t = new TextEncoder().encode(e), n = await globalThis.crypto.subtle.digest("SHA-256", t);
+  return Array.from(new Uint8Array(n)).map((s) => s.toString(16).padStart(2, "0")).join("");
+}
+function y(e) {
+  return e && typeof e == "object" && !Array.isArray(e) ? e : void 0;
+}
+function E(e) {
+  return Array.isArray(e) ? e : [];
+}
+function S(e) {
+  return typeof e == "string" && e.length > 0;
+}
+const ue = [
+  "sources.ts",
+  "fields.ts",
+  "inputs.ts",
+  "queries.ts",
+  "bindings.ts",
+  "accessors.ts",
+  "metadata.ts",
+  "index.ts"
+], ze = [
+  ...ue,
+  "contract.manifest.json"
+];
+function Je(e) {
+  const t = d(e), n = C(t), r = [], s = [];
+  return R(t == null ? void 0 : t.views).filter((a) => {
+    var o;
+    const i = d((o = d(a)) == null ? void 0 : o.sdkSpec);
+    return !!(i != null && i.builder && (i != null && i.spec));
+  }).forEach((a, i) => {
+    var u;
+    const o = String(((u = d(a)) == null ? void 0 : u.id) || `view_${i}`), c = fe(
+      a,
+      n
+    );
+    if (c) {
+      r.push({ viewId: o, ...c });
+      return;
+    }
+    s.push({
+      viewId: o,
+      path: `views.${o}.sdkSpec`,
+      message: `Generated view execution validation could not build intent for "${o}".`
+    });
+  }), { requests: r, issues: s };
+}
+function fe(e, t) {
+  const n = d(e), r = d(n == null ? void 0 : n.sdkSpec), s = d(r == null ? void 0 : r.spec);
+  if (!n || !(r != null && r.builder) || !s)
+    return null;
+  const a = ge(t) ? t : C(d(t)), i = Ee(r.builder), o = d(A(s, a)) || {}, c = me({
+    view: n,
+    builder: i,
+    rawSpec: s,
+    spec: {
+      ...o,
+      id: n.id,
+      label: Ve(n, s)
+    },
+    context: a
+  });
+  try {
+    if (i === "analysis") {
+      const u = c;
+      return {
+        intent: te(u),
+        resultShape: "analysis",
+        analysisOptions: ee(u)
+      };
+    }
+    if (i === "metric")
+      return {
+        intent: re(c),
+        resultShape: "metric"
+      };
+    if (i === "records")
+      return {
+        intent: ne(c),
+        resultShape: "records"
+      };
+    if (i === "matrix")
+      return {
+        intent: ae(c),
+        resultShape: "matrix"
+      };
+    if (i === "sql")
+      return {
+        intent: se(c),
+        resultShape: "sql"
+      };
+  } catch {
+    return null;
+  }
+  return null;
+}
+function Ue({
+  input: e,
+  filterContract: t,
+  codegenSummary: n
+}) {
+  const r = d(e), s = d(t), a = d(r == null ? void 0 : r.optionQuery) || d(s == null ? void 0 : s.optionQuery);
+  if (!r || !a)
+    return null;
+  const i = C(d(n)), o = d(a.spec), c = pe(a, o, i), u = a.valueFieldRef || a.valueField || (o == null ? void 0 : o.valueField), f = a.labelFieldRef || a.labelField || (o == null ? void 0 : o.labelField);
+  if (!c || !u || !f)
+    return null;
+  const l = {
+    ...d(
+      A(o || {}, i)
+    ) || {},
+    id: a.id || (o == null ? void 0 : o.id) || `${r.id}-options`,
+    inputId: r.id,
+    source: c,
+    valueField: u,
+    labelField: f,
+    population: a.population || (o == null ? void 0 : o.population),
+    dependencies: a.dependencies || (o == null ? void 0 : o.dependencies),
+    limit: a.limit || (o == null ? void 0 : o.limit) || 100
+  };
+  try {
+    return Z(
+      A(l, i)
+    );
+  } catch {
+    return null;
+  }
+}
+function Ye({
+  input: e,
+  filterContract: t,
+  binding: n,
+  option: r,
+  codegenSummary: s
+}) {
+  const a = C(d(s)), i = d(e), o = d(t), c = d(n), u = A(
+    (c == null ? void 0 : c.fieldRef) || (o == null ? void 0 : o.fieldRef) || (i == null ? void 0 : i.fieldRef),
+    a
+  ), f = String(
+    (o == null ? void 0 : o.operator) || (i == null ? void 0 : i.operator) || "in"
+  ), g = Oe(c);
+  return {
+    inputId: String((o == null ? void 0 : o.inputId) || (i == null ? void 0 : i.id) || ""),
+    kind: "filter",
+    operator: f,
+    value: be(f, r.value),
+    isActive: !0,
+    ...u ? { field: u } : {},
+    ...g ? { relationshipHint: g } : {}
+  };
+}
+function C(e) {
+  return {
+    sourcesByKey: new Map(
+      R(e == null ? void 0 : e.sources).map(d).filter(Fe).filter((t) => typeof t.sourceKey == "string").map((t) => [String(t.sourceKey), J(t)])
+    )
+  };
+}
+function ge(e) {
+  var t;
+  return e instanceof Object && ((t = d(e)) == null ? void 0 : t.sourcesByKey) instanceof Map;
+}
+function pe(e, t, n) {
+  if (typeof e.sourceKey == "string")
+    return n.sourcesByKey.get(e.sourceKey) || { sourceKey: e.sourceKey };
+  if (e.source)
+    return e.source;
+  if (t != null && t.source)
+    return t.source;
+  if (typeof (t == null ? void 0 : t.sourceKey) == "string")
+    return n.sourcesByKey.get(t.sourceKey) || { sourceKey: t.sourceKey };
+}
+function me({
+  view: e,
+  builder: t,
+  rawSpec: n,
+  spec: r,
+  context: s
+}) {
+  var o;
+  if (t !== "records" && t !== "sql")
+    return r;
+  const a = d((o = d(e.visualSpec)) == null ? void 0 : o.tableBehavior);
+  if (!a)
+    return r;
+  const i = { ...r };
+  if (ve(a) === "server" && (i.pagination = {
+    page: 1,
+    pageSize: le({ tableBehavior: a, spec: r })
+  }), t === "records" && Ce(a) === "server") {
+    const c = he({
+      view: e,
+      rawSpec: n,
+      tableBehavior: a,
+      context: s
+    });
+    c && (i.orderBy = c);
+  }
+  return i;
+}
+function le({
+  tableBehavior: e,
+  spec: t
+}) {
+  const n = d(e.pagination), r = d(t.pagination);
+  return O(n == null ? void 0 : n.pageSize) || O(r == null ? void 0 : r.pageSize) || O(t.limit) || 100;
+}
+function he({
+  view: e,
+  rawSpec: t,
+  tableBehavior: n,
+  context: r
+}) {
+  const s = d(n.sorting), a = p(s == null ? void 0 : s.defaultField);
+  if (!a)
+    return;
+  const o = ye({
+    view: e,
+    rawSpec: t,
+    context: r
+  }).filter(
+    (c) => Se(c.lookup).includes(a)
+  );
+  if (o.length === 1)
+    return {
+      field: o[0].field,
+      direction: (s == null ? void 0 : s.defaultDirection) === "desc" ? "desc" : "asc"
+    };
+}
+function ye({
+  view: e,
+  rawSpec: t,
+  context: n
+}) {
+  var s;
+  const r = [];
+  for (const a of R(t.fields)) I(r, a, n);
+  I(r, t.dateField, n), I(r, (s = d(t.orderBy)) == null ? void 0 : s.field, n);
+  for (const a of R(e.fields))
+    I(r, a, n);
+  return Ne(
+    r,
+    (a) => we(a.lookup)
+  );
+}
+function I(e, t, n) {
+  const r = d(t);
+  if (typeof (r == null ? void 0 : r.name) != "string" || r.name.length === 0)
+    return;
+  const s = d(A(r, n)) || r;
+  e.push({
+    lookup: r,
+    field: s
+  });
+}
+function Se(e) {
+  return He([
+    p(e.name),
+    z(e),
+    _e(e)
+  ]);
+}
+function we(e) {
+  return [
+    z(e),
+    p(e.name),
+    p(e.role),
+    p(e.aggregate)
+  ].join("|");
+}
+function z(e) {
+  return [
+    p(e.sourceKey) || Ae(e.source),
+    p(e.name),
+    p(e.aggregate)
+  ].filter(Boolean).join(":");
+}
+function Ae(e) {
+  const t = d(e);
+  if (!t)
+    return "";
+  if (typeof t.kind == "string" && typeof t.domainId == "string") {
+    if (typeof t.datasetId == "string")
+      return `${t.kind}:${t.domainId}:datasetId:${t.datasetId}`;
+    if (typeof t.datasetName == "string")
+      return `${t.kind}:${t.domainId}:datasetName:${t.datasetName}`;
+  }
+  return JSON.stringify(t);
+}
+function _e(e) {
+  return ke([
+    $e(e),
+    p(e.aggregate).toLowerCase(),
+    p(e.label) || p(e.name)
+  ].filter(Boolean));
+}
+function $e(e) {
+  return typeof e.sourceKey == "string" ? Ie(e.sourceKey) : Re(e.source);
+}
+function Re(e) {
+  const t = d(e);
+  return t ? p(t.datasetName) || p(t.datasetId) || p(t.name) || p(t.kind) : "";
+}
+function Ie(e) {
+  const t = String(e).split(":");
+  return t[t.length - 1] || String(e);
+}
+function ve(e) {
+  var t;
+  return p((t = d(e.pagination)) == null ? void 0 : t.mode);
+}
+function Ce(e) {
+  var t;
+  return p((t = d(e.sorting)) == null ? void 0 : t.mode);
+}
+function A(e, t) {
+  if (!e || typeof e != "object")
+    return e;
+  if (Array.isArray(e))
+    return e.map((s) => A(s, t));
+  const n = e;
+  if (typeof n.sourceKey == "string" && typeof n.kind == "string" && (typeof n.datasetName == "string" || typeof n.datasetId == "string"))
+    return J(n);
+  const r = {};
+  for (const [s, a] of Object.entries(n))
+    s !== "sourceKey" && (r[s] = A(a, t));
+  if (typeof n.sourceKey == "string") {
+    const s = t.sourcesByKey.get(n.sourceKey);
+    s && !r.source && (r.source = s);
+  }
+  return r;
+}
+function J(e) {
+  const { sourceKey: t, ...n } = e;
+  return n;
+}
+function Ve(e, t) {
+  const n = d(e.visualSpec);
+  return (n == null ? void 0 : n.title) || e.title || t.label;
+}
+function Ee(e) {
+  const t = String(e || "").replace(/^semaphor\./, "");
+  return ["metric", "records", "analysis", "matrix", "sql"].includes(t) ? t : "";
+}
+function Oe(e) {
+  if (e != null && e.relationshipHint)
+    return e.relationshipHint;
+  const t = R(e == null ? void 0 : e.relationshipsUsed).map((n) => {
+    var r;
+    return (r = d(n)) == null ? void 0 : r.id;
+  }).filter((n) => typeof n == "string" && n.length > 0);
+  return t.length > 0 ? { relationshipIds: t } : void 0;
+}
+function be(e, t) {
+  return e === "in" || e === "not_in" ? [t] : e === "between" ? Array.isArray(t) ? t : [t, t] : t;
+}
+function O(e) {
+  return typeof e == "number" && Number.isFinite(e) ? e : void 0;
+}
+function p(e) {
+  return typeof e == "string" ? e : "";
+}
+function Ne(e, t) {
+  const n = /* @__PURE__ */ new Set(), r = [];
+  for (const s of e) {
+    const a = t(s);
+    !a || n.has(a) || (n.add(a), r.push(s));
+  }
+  return r;
+}
+function He(e) {
+  return Array.from(new Set(e.filter(Boolean)));
+}
+function ke(e) {
+  return (Array.isArray(e) ? e.join(" ") : e).replace(/[^a-zA-Z0-9]+/g, " ").trim().split(/\s+/).filter(Boolean).map((n, r) => {
+    const s = n.toLowerCase();
+    return r === 0 ? s : s.charAt(0).toUpperCase() + s.slice(1);
+  }).join("");
+}
+function d(e) {
+  return e && typeof e == "object" && !Array.isArray(e) ? e : void 0;
+}
+function R(e) {
+  return Array.isArray(e) ? e : [];
+}
+function Fe(e) {
+  return e !== void 0;
+}
+const je = /* @__PURE__ */ new Set([
+  "diagnostic_fix",
+  "fix_diagnostics",
+  "fix_inspector_warnings",
+  "fix_runtime_warnings",
+  "fix_warnings"
+]), T = /* @__PURE__ */ new Set([
+  "fields",
+  "sdkSpec"
+]);
+function We({
+  beforeSummary: e,
+  afterSummary: t,
+  migrationReport: n,
+  operationIntent: r,
+  preferences: s
+}) {
+  const a = m(r), i = typeof (a == null ? void 0 : a.kind) == "string" ? a.kind.trim() : "add";
+  return Ke(s) ? {
+    ok: !1,
+    policy: {
+      kind: i,
+      mode: "invalid_update_preferences",
+      reason: "Metric aggregate override updates must use operationIntent.measureAggregateOverrides so deterministic update policy can guard the targeted edit."
+    },
+    violations: [
+      {
+        path: "preferences.measureAggregateOverrides",
+        reason: "Move measureAggregateOverrides to operationIntent.measureAggregateOverrides for update calls."
+      }
+    ]
+  } : je.has(i) ? D({
+    beforeSummary: e,
+    afterSummary: t,
+    migrationReport: n,
+    operationIntent: a,
+    mode: "diagnostic_warning_fix",
+    allowedViewChangeReasons: T,
+    label: "Diagnostic warning fixes",
+    reason: "Diagnostic warning fixes are preserve-by-default and may not add/remove views, inputs, or filter contracts."
+  }) : i === "edit" && Array.isArray(a == null ? void 0 : a.measureAggregateOverrides) && a.measureAggregateOverrides.length > 0 ? D({
+    beforeSummary: e,
+    afterSummary: t,
+    migrationReport: n,
+    operationIntent: a,
+    mode: "metric_aggregate_override_edit",
+    allowedViewChangeReasons: T,
+    label: "Metric aggregate override edits",
+    reason: "Metric aggregate override edits are preserve-by-default and may only adjust fields/sdkSpec on targeted views."
+  }) : {
+    ok: !0,
+    policy: {
+      kind: i,
+      mode: "general_iterative_update",
+      reason: "General generated-contract edits are allowed to change the requested contract shape. Review the migration report for expected UI work."
+    },
+    violations: []
+  };
+}
+function Ke(e) {
+  var t;
+  return Array.isArray((t = m(e)) == null ? void 0 : t.measureAggregateOverrides);
+}
+function D({
+  beforeSummary: e,
+  afterSummary: t,
+  migrationReport: n,
+  operationIntent: r,
+  mode: s,
+  allowedViewChangeReasons: a,
+  label: i,
+  reason: o
+}) {
+  const c = [], u = xe(r == null ? void 0 : r.targetViewIds), f = m(n) || {};
+  u.size === 0 && c.push({
+    path: "operationIntent.targetViewIds",
+    reason: `${i} must declare targetViewIds so the update cannot broaden to unrelated views.`
+  }), b({
+    bucket: m(f.views),
+    label: "views",
+    operationLabel: i,
+    violations: c
+  }), b({
+    bucket: m(f.inputs),
+    label: "inputs",
+    operationLabel: i,
+    violations: c
+  }), q({
+    bucket: m(f.inputs),
+    label: "inputs",
+    operationLabel: i,
+    violations: c
+  }), b({
+    bucket: m(f.filterContracts),
+    label: "filterContracts",
+    operationLabel: i,
+    violations: c
+  }), q({
+    bucket: m(f.filterContracts),
+    label: "filterContracts",
+    operationLabel: i,
+    violations: c
+  });
+  for (const l of U(m(f.views))) {
+    u.size > 0 && !u.has(w(l.id)) && c.push({
+      path: `views.${w(l.id) || "<unknown>"}`,
+      reason: `${i} may only change explicitly targeted views.`
+    });
+    const h = Array.isArray(l.reasons) ? l.reasons.filter(
+      ($) => typeof $ != "string" || !a.has($)
+    ) : [];
+    h.length > 0 && c.push({
+      path: `views.${w(l.id) || "<unknown>"}`,
+      reason: `${i} may only adjust fields/sdkSpec; changed ${h.join(", ")}.`
+    });
+  }
+  const g = Me({
+    beforeSummary: e,
+    afterSummary: t,
+    targetViewIds: u,
+    label: i
+  });
+  return g && c.push(g), {
+    ok: c.length === 0,
+    policy: {
+      kind: w(r == null ? void 0 : r.kind) || "diagnostic_fix",
+      mode: s,
+      allowedViewChangeReasons: Array.from(a).sort(),
+      targetViewIds: Array.from(u).sort(),
+      reason: o
+    },
+    violations: c
+  };
+}
+function Me({
+  beforeSummary: e,
+  afterSummary: t,
+  targetViewIds: n,
+  label: r
+}) {
+  const s = m(e), a = m(t);
+  if (!s || !a)
+    return {
+      path: "codegenSummary",
+      reason: `${r} require before/after codegen summaries for full-scope verification.`
+    };
+  const i = G(s), o = G(a), c = B(s.views), u = B(a.views), f = Array.isArray(i.views) ? i.views : [];
+  i.views = f;
+  for (const g of n) {
+    const l = c.get(g), h = u.get(g);
+    if (!l || !h)
+      continue;
+    const $ = f.find(
+      (Y) => {
+        var j;
+        return ((j = m(Y)) == null ? void 0 : j.id) === g;
+      }
+    ), V = m(h);
+    if (!$ || !V)
+      continue;
+    const F = $;
+    F.fields = k(V.fields), F.sdkSpec = k(V.sdkSpec);
+  }
+  return v(i) === v(o) ? null : {
+    path: "codegenSummary",
+    reason: `${r} may only change fields/sdkSpec on targetViewIds; another generated contract section changed.`
+  };
+}
+function G(e) {
+  const t = k(e);
+  for (const n of [
+    "implementationChecklist",
+    "assumptions",
+    "nextStep",
+    "nextRequiredTool",
+    "validation"
+  ])
+    delete t[n];
+  return De(t.unsupportedInsights) && delete t.unsupportedInsights, t;
+}
+function b({
+  bucket: e,
+  label: t,
+  operationLabel: n,
+  violations: r
+}) {
+  for (const s of H(e == null ? void 0 : e.added))
+    r.push({
+      path: `${t}.${w(s.id) || "<unknown>"}`,
+      reason: `${n} may not add ${t}.`
+    });
+  for (const s of H(e == null ? void 0 : e.removed))
+    r.push({
+      path: `${t}.${w(s.id) || "<unknown>"}`,
+      reason: `${n} may not remove ${t}.`
+    });
+}
+function q({
+  bucket: e,
+  label: t,
+  operationLabel: n,
+  violations: r
+}) {
+  for (const s of U(e))
+    r.push({
+      path: `${t}.${w(s.id) || "<unknown>"}`,
+      reason: `${n} may not change ${t}.`
+    });
+}
+function U(e) {
+  return H(e == null ? void 0 : e.changed);
+}
+function H(e) {
+  return Array.isArray(e) ? e.map(m).filter(Te) : [];
+}
+function xe(e) {
+  return Array.isArray(e) ? new Set(
+    e.filter((t) => typeof t == "string" && t.trim().length > 0).map((t) => t.trim())
+  ) : /* @__PURE__ */ new Set();
+}
+function B(e) {
+  var n;
+  const t = /* @__PURE__ */ new Map();
+  for (const r of Array.isArray(e) ? e : []) {
+    const s = (n = m(r)) == null ? void 0 : n.id;
+    typeof s == "string" && s.trim() && t.set(s, r);
+  }
+  return t;
+}
+function k(e) {
+  return e === void 0 ? e : JSON.parse(JSON.stringify(e));
+}
+function v(e) {
+  if (e === null || typeof e != "object")
+    return JSON.stringify(e);
+  if (Array.isArray(e))
+    return `[${e.map((n) => v(n)).join(",")}]`;
+  const t = e;
+  return `{${Object.keys(t).sort().filter((n) => t[n] !== void 0).map((n) => `${JSON.stringify(n)}:${v(t[n])}`).join(",")}}`;
+}
+function m(e) {
+  return e && typeof e == "object" && !Array.isArray(e) ? e : void 0;
+}
+function Te(e) {
+  return e !== void 0;
+}
+function De(e) {
+  return Array.isArray(e) && e.length === 0;
+}
+function w(e) {
+  return typeof e == "string" ? e : "";
+}
+export {
+  Be as C,
+  M as G,
+  ze as R,
+  K as a,
+  x as b,
+  Le as c,
+  Pe as d,
+  ue as e,
+  Ye as f,
+  Ue as g,
+  fe as h,
+  Je as i,
+  We as j,
+  L as v
+};