@timeax/digital-service-engine 0.2.7 → 0.2.8

package/dist/core/index.cjs

@@ -21,6 +21,7 @@ var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: tru
 var core_exports = {};
 __export(core_exports, {
   buildOrderSnapshot: () => buildOrderSnapshot,
+  buildTriggerEffectMap: () => buildTriggerEffectMap,
   collectFailedFallbacks: () => collectFailedFallbacks,
   createBuilder: () => createBuilder,
   createFallbackEditor: () => createFallbackEditor,
@@ -29,6 +30,7 @@ __export(core_exports, {
   getAssignedServiceIds: () => getAssignedServiceIds,
   getEligibleFallbacks: () => getEligibleFallbacks,
   getFallbackRegistrationInfo: () => getFallbackRegistrationInfo,
+  isRefExcludedBySelectedKeys: () => isRefExcludedBySelectedKeys,
   normalise: () => normalise,
   normalizeFieldValidation: () => normalizeFieldValidation,
   resolveServiceFallback: () => resolveServiceFallback,
@@ -647,13 +649,7 @@ function resolveRootTags(tags) {
   const roots = tags.filter((t) => !t.bind_id);
   return roots.length ? roots : tags.slice(0, 1);
 }
-function isEffectfulTrigger(v, trigger) {
-  var _a, _b, _c, _d, _e, _f;
-  const inc = (_a = v.props.includes_for_buttons) != null ? _a : {};
-  const exc = (_b = v.props.excludes_for_buttons) != null ? _b : {};
-  return ((_d = (_c = inc[trigger]) == null ? void 0 : _c.length) != null ? _d : 0) > 0 || ((_f = (_e = exc[trigger]) == null ? void 0 : _e.length) != null ? _f : 0) > 0;
-}
-function collectSelectableTriggersInContext(v, tagId, selectedKeys, onlyEffectful) {
+function collectSelectableTriggersInContext(v, tagId, selectedKeys, effectfulKeys) {
   var _a;
   const visible = visibleFieldsUnder(v.props, tagId, {
     selectedKeys
@@ -662,11 +658,11 @@ function collectSelectableTriggersInContext(v, tagId, selectedKeys, onlyEffectfu
   for (const f of visible) {
     if (f.button === true) {
       const t = f.id;
-      if (!onlyEffectful || isEffectfulTrigger(v, t)) triggers.push(t);
+      if (effectfulKeys.has(t)) triggers.push(t);
     }
     for (const o of (_a = f.options) != null ? _a : []) {
-      const t = `${f.id}::${o.id}`;
-      if (!onlyEffectful || isEffectfulTrigger(v, t)) triggers.push(t);
+      const t = o.id;
+      if (effectfulKeys.has(t)) triggers.push(t);
     }
   }
   triggers.sort();
@@ -766,20 +762,38 @@ function dedupeErrorsInPlace(v, startIndex) {
   v.errors.splice(startIndex, v.errors.length - startIndex, ...kept);
 }
 function validateVisibility(v, options = {}) {
-  var _a, _b, _c;
+  var _a, _b, _c, _d, _e;
+  v.simulatedVisibilityContexts = [];
   const simulate = options.simulate === true;
   if (!simulate) {
     runVisibilityRulesOnce(v);
+    for (const tag of v.tags) {
+      v.simulatedVisibilityContexts.push({
+        tagId: tag.id,
+        selectedKeys: Array.from(v.selectedKeys),
+        visibleFieldIds: v.fieldsVisibleUnder(tag.id).map((f) => f.id)
+      });
+    }
     return;
   }
   const maxStates = Math.max(1, (_a = options.maxStates) != null ? _a : 500);
   const maxDepth = Math.max(0, (_b = options.maxDepth) != null ? _b : 6);
   const onlyEffectful = options.onlyEffectfulTriggers !== false;
+  const effectfulKeys = /* @__PURE__ */ new Set();
+  if (onlyEffectful) {
+    for (const key of Object.keys((_c = v.props.includes_for_buttons) != null ? _c : {})) {
+      effectfulKeys.add(key);
+    }
+    for (const key of Object.keys((_d = v.props.excludes_for_buttons) != null ? _d : {})) {
+      effectfulKeys.add(key);
+    }
+  }
   const roots = resolveRootTags(v.tags);
   const rootTags = options.simulateAllRoots ? roots : roots.slice(0, 1);
-  const originalSelected = new Set((_c = v.selectedKeys) != null ? _c : []);
+  const originalSelected = new Set((_e = v.selectedKeys) != null ? _e : []);
   const errorsStart = v.errors.length;
   const visited = /* @__PURE__ */ new Set();
+  const seenContexts = /* @__PURE__ */ new Set();
   const stack = [];
   for (const rt of rootTags) {
     stack.push({
@@ -792,10 +806,27 @@ function validateVisibility(v, options = {}) {
   while (stack.length) {
     if (validatedStates >= maxStates) break;
     const state = stack.pop();
-    const sig = stableKeyOfSelection(state.selected);
+    const sig = `${state.rootTagId}::${stableKeyOfSelection(state.selected)}`;
     if (visited.has(sig)) continue;
     visited.add(sig);
     v.selectedKeys = state.selected;
+    const visibleNow = visibleFieldsUnder(v.props, state.rootTagId, {
+      selectedKeys: state.selected
+    }).map((f) => f.id);
+    const context = {
+      tagId: state.rootTagId,
+      selectedKeys: Array.from(state.selected),
+      visibleFieldIds: visibleNow
+    };
+    const contextKey = [
+      context.tagId,
+      [...context.selectedKeys].sort().join("|"),
+      [...context.visibleFieldIds].sort().join("|")
+    ].join("::");
+    if (!seenContexts.has(contextKey)) {
+      seenContexts.add(contextKey);
+      v.simulatedVisibilityContexts.push(context);
+    }
     validatedStates++;
     runVisibilityRulesOnce(v);
     if (state.depth >= maxDepth) continue;
@@ -803,7 +834,7 @@ function validateVisibility(v, options = {}) {
       v,
       state.rootTagId,
       state.selected,
-      onlyEffectful
+      effectfulKeys
     );
     for (let i = triggers.length - 1; i >= 0; i--) {
       const trig = triggers[i];
@@ -1575,1273 +1606,1335 @@ function validateRates(v) {
   }
 }
 
-// src/core/validate/steps/constraints.ts
-function constraintKeysInChain(v, tagId) {
-  const keys = [];
-  const seenKeys = /* @__PURE__ */ new Set();
-  let cur = tagId;
-  const seenTags = /* @__PURE__ */ new Set();
-  while (cur && !seenTags.has(cur)) {
-    seenTags.add(cur);
-    const t = v.tagById.get(cur);
-    const c = t == null ? void 0 : t.constraints;
-    if (c && typeof c === "object") {
-      for (const k of Object.keys(c)) {
-        if (!seenKeys.has(k)) {
-          seenKeys.add(k);
-          keys.push(k);
-        }
-      }
-    }
-    cur = t == null ? void 0 : t.bind_id;
-  }
-  return keys;
-}
-function effectiveConstraints(v, tagId) {
-  var _a;
-  const out = {};
-  const keys = constraintKeysInChain(v, tagId);
-  for (const key of keys) {
-    let cur = tagId;
-    const seen = /* @__PURE__ */ new Set();
-    while (cur && !seen.has(cur)) {
-      seen.add(cur);
-      const t = v.tagById.get(cur);
-      const val = (_a = t == null ? void 0 : t.constraints) == null ? void 0 : _a[key];
-      if (val === true || val === false) {
-        out[key] = val;
-        break;
-      }
-      cur = t == null ? void 0 : t.bind_id;
-    }
+// src/core/rate-coherence.ts
+function uniqueStrings(values) {
+  const out = /* @__PURE__ */ new Set();
+  for (const value of values) {
+    if (!value) continue;
+    out.add(value);
   }
-  return out;
+  return Array.from(out);
 }
-function validateConstraints(v) {
+function buildTriggerEffectMap(props) {
   var _a, _b;
-  for (const t of v.tags) {
-    const eff = effectiveConstraints(v, t.id);
-    const hasAnyRequired = Object.values(eff).some(
-      (x) => x === true
-    );
-    if (!hasAnyRequired) continue;
-    const visible = v.fieldsVisibleUnder(t.id);
-    for (const f of visible) {
-      for (const o of (_a = f.options) != null ? _a : []) {
-        if (!isServiceIdRef(o.service_id)) continue;
-        const svc = getServiceCapability(v.serviceMap, o.service_id);
-        if (!svc || typeof svc !== "object") continue;
-        for (const [k, val] of Object.entries(eff)) {
-          if (val === true && !isServiceFlagEnabled(svc, k)) {
-            v.errors.push({
-              code: "unsupported_constraint",
-              severity: "error",
-              message: `Service option "${o.id}" under tag "${t.id}" does not support required constraint "${k}".`,
-              nodeId: t.id,
-              details: withAffected(
-                {
-                  flag: k,
-                  serviceId: o.service_id,
-                  fieldId: f.id,
-                  optionId: o.id
-                },
-                [t.id, f.id, o.id]
-              )
-            });
-          }
-        }
-      }
-    }
-  }
-  for (const t of v.tags) {
-    const sid = t.service_id;
-    if (!isServiceIdRef(sid)) continue;
-    const svc = getServiceCapability(v.serviceMap, sid);
-    if (!svc || typeof svc !== "object") continue;
-    const eff = effectiveConstraints(v, t.id);
-    for (const [k, val] of Object.entries(eff)) {
-      if (val === true && !isServiceFlagEnabled(svc, k)) {
-        v.errors.push({
-          code: "unsupported_constraint",
-          severity: "error",
-          message: `Tag "${t.id}" maps to service "${String(
-            sid
-          )}" which does not support required constraint "${k}".`,
-          nodeId: t.id,
-          details: { flag: k, serviceId: sid }
-        });
-      }
+  const map = /* @__PURE__ */ new Map();
+  const ensure = (key) => {
+    let item = map.get(key);
+    if (!item) {
+      item = { includes: /* @__PURE__ */ new Set(), excludes: /* @__PURE__ */ new Set() };
+      map.set(key, item);
     }
+    return item;
+  };
+  for (const [key, ids] of Object.entries((_a = props.includes_for_buttons) != null ? _a : {})) {
+    const item = ensure(key);
+    for (const id of ids != null ? ids : []) item.includes.add(id);
   }
-  for (const t of v.tags) {
-    const ov = t.constraints_overrides;
-    if (!ov || typeof ov !== "object") continue;
-    for (const k of Object.keys(ov)) {
-      const row = ov[k];
-      if (!row) continue;
-      const from = row.from === true;
-      const to = row.to === true;
-      const origin = String((_b = row.origin) != null ? _b : "");
-      v.errors.push({
-        code: "constraint_overridden",
-        severity: "warning",
-        message: origin ? `Constraint "${k}" on tag "${t.id}" was overridden by ancestor "${origin}" (${String(from)} \u2192 ${String(
-          to
-        )}).` : `Constraint "${k}" on tag "${t.id}" was overridden by an ancestor (${String(from)} \u2192 ${String(to)}).`,
-        nodeId: t.id,
-        details: withAffected(
-          { flag: k, from, to, origin },
-          origin ? [t.id, origin] : void 0
-        )
-      });
-    }
+  for (const [key, ids] of Object.entries((_b = props.excludes_for_buttons) != null ? _b : {})) {
+    const item = ensure(key);
+    for (const id of ids != null ? ids : []) item.excludes.add(id);
   }
+  return map;
 }
-
-// src/core/validate/steps/custom.ts
-function validateCustomFields(v) {
-  for (const f of v.fields) {
-    if (f.type !== "custom") continue;
-    if (!f.component || !String(f.component).trim()) {
-      v.errors.push({
-        code: "custom_component_missing",
-        severity: "error",
-        message: `Custom field "${f.id}" is missing a valid component reference.`,
-        nodeId: f.id
-      });
+function isRefExcludedBySelectedKeys(ref, selectedKeys, effectMap) {
+  for (const key of selectedKeys) {
+    const effects = effectMap.get(key);
+    if (!effects) continue;
+    if (ref.fieldId && effects.excludes.has(ref.fieldId) || effects.excludes.has(ref.nodeId)) {
+      return true;
     }
   }
+  return false;
 }
-
-// src/core/validate/steps/global-utility-guard.ts
-function validateGlobalUtilityGuard(v) {
+function validateRateCoherenceDeep(params) {
   var _a, _b, _c;
-  if (!v.options.globalUtilityGuard) return;
-  let hasUtility = false;
-  let hasBase = false;
-  for (const f of v.fields) {
-    for (const o of (_a = f.options) != null ? _a : []) {
-      if (!isServiceIdRef(o.service_id)) continue;
-      const role = (_c = (_b = o.pricing_role) != null ? _b : f.pricing_role) != null ? _c : "base";
-      if (role === "base") hasBase = true;
-      else if (role === "utility") hasUtility = true;
-      if (hasUtility && hasBase) break;
+  const { builder, services, tagId } = params;
+  const ratePolicy = normalizeRatePolicy(params.ratePolicy);
+  const props = builder.getProps();
+  const invalidFieldIds = new Set((_a = params.invalidFieldIds) != null ? _a : []);
+  const fields = (_b = props.fields) != null ? _b : [];
+  const fieldById = new Map(fields.map((f) => [f.id, f]));
+  const tagById = new Map(((_c = props.filters) != null ? _c : []).map((t) => [t.id, t]));
+  const tag = tagById.get(tagId);
+  const baselineFieldIds = builder.visibleFields(tagId, []);
+  const baselineFields = baselineFieldIds.map((fid) => fieldById.get(fid)).filter(Boolean);
+  const anchors = collectAnchors(baselineFields);
+  const diagnostics = [];
+  const seen = /* @__PURE__ */ new Set();
+  for (const anchor of anchors) {
+    const selectedKeys = anchor.kind === "option" ? [anchor.id] : [anchor.fieldId];
+    const visibleFields = builder.visibleFields(tagId, selectedKeys).map((fid) => fieldById.get(fid)).filter(Boolean);
+    const visibleInvalidFieldIds = visibleFields.map((field) => field.id).filter((fieldId) => invalidFieldIds.has(fieldId));
+    for (const fieldId of visibleInvalidFieldIds) {
+      const key = `internal|${tagId}|${fieldId}`;
+      if (seen.has(key)) continue;
+      seen.add(key);
+      diagnostics.push({
+        kind: "internal_field",
+        scope: "visible_group",
+        tagId,
+        fieldId,
+        nodeId: fieldId,
+        message: `Field "${fieldId}" is internally invalid under rate policy "${ratePolicy.kind}".`,
+        simulationAnchor: {
+          kind: anchor.kind,
+          id: anchor.id,
+          fieldId: anchor.fieldId,
+          label: anchor.label
+        },
+        invalidFieldIds: [fieldId],
+        affectedIds: uniqueStrings([
+          tagId,
+          anchor.id,
+          anchor.fieldId,
+          fieldId
+        ])
+      });
     }
-    if (hasUtility && hasBase) break;
-  }
-  if (hasUtility && !hasBase) {
-    v.errors.push({
-      code: "utility_without_base",
-      severity: "warning",
-      message: "Global utility guard: utility-priced options exist but no base-priced options were found.",
-      nodeId: "global",
-      details: { scope: "global" }
+    const references = visibleFields.flatMap(
+      (field) => collectFieldReferences(field, services)
+    );
+    if (references.length <= 1) continue;
+    const primary = references.reduce((best, current) => {
+      if (current.rate !== best.rate) {
+        return current.rate > best.rate ? current : best;
+      }
+      const bestKey = `${best.fieldId}|${best.nodeId}`;
+      const currentKey = `${current.fieldId}|${current.nodeId}`;
+      return currentKey < bestKey ? current : best;
     });
+    for (const candidate of references) {
+      if (candidate.nodeId === primary.nodeId) continue;
+      if (candidate.fieldId === primary.fieldId) continue;
+      if (passesRatePolicy(ratePolicy, primary.rate, candidate.rate)) {
+        continue;
+      }
+      const key = contextualKey(tagId, primary, candidate, ratePolicy);
+      if (seen.has(key)) continue;
+      seen.add(key);
+      diagnostics.push({
+        kind: "contextual",
+        scope: "visible_group",
+        tagId,
+        nodeId: candidate.nodeId,
+        primary: toDiagnosticRef(primary),
+        offender: toDiagnosticRef(candidate),
+        policy: ratePolicy.kind,
+        policyPct: "pct" in ratePolicy ? ratePolicy.pct : void 0,
+        message: explainRateMismatch(
+          ratePolicy,
+          primary,
+          candidate,
+          describeLabel(tag)
+        ),
+        simulationAnchor: {
+          kind: anchor.kind,
+          id: anchor.id,
+          fieldId: anchor.fieldId,
+          label: anchor.label
+        },
+        invalidFieldIds: visibleInvalidFieldIds,
+        affectedIds: uniqueStrings([
+          tagId,
+          ...selectedKeys,
+          anchor.id,
+          anchor.fieldId,
+          primary.nodeId,
+          primary.fieldId,
+          candidate.nodeId,
+          candidate.fieldId
+        ]),
+        affectedServiceIds: uniqueStrings([
+          primary.service_id == null ? void 0 : String(primary.service_id),
+          candidate.service_id == null ? void 0 : String(candidate.service_id)
+        ])
+      });
+    }
   }
+  return diagnostics;
 }
-
-// src/core/validate/steps/unbound.ts
-function validateUnboundFields(v) {
+function collectAnchors(fields) {
   var _a, _b;
-  const boundFieldIds = /* @__PURE__ */ new Set();
-  for (const f of v.fields) {
-    if (f.bind_id) boundFieldIds.add(f.id);
-  }
-  const includedByTag = /* @__PURE__ */ new Set();
-  for (const t of v.tags) {
-    for (const id of (_a = t.includes) != null ? _a : []) includedByTag.add(id);
-  }
-  const includedByOption = /* @__PURE__ */ new Set();
-  for (const arr of Object.values((_b = v.props.includes_for_buttons) != null ? _b : {})) {
-    for (const id of arr != null ? arr : []) includedByOption.add(id);
-  }
-  for (const f of v.fields) {
-    if (!boundFieldIds.has(f.id) && !includedByTag.has(f.id) && !includedByOption.has(f.id)) {
-      v.errors.push({
-        code: "field_unbound",
-        severity: "error",
-        message: `Field "${f.id}" is unbound: it is not bound to any tag and not included by tags or option maps.`,
-        nodeId: f.id,
-        details: withAffected(
-          {
-            fieldId: f.id,
-            bound: false,
-            // exposing these helps editors explain "why"
-            includedByTag: includedByTag.has(f.id),
-            includedByOption: includedByOption.has(f.id)
-          },
-          [f.id]
-        )
-      });
+  const anchors = [];
+  for (const field of fields) {
+    if (!isButton(field)) continue;
+    if (Array.isArray(field.options) && field.options.length > 0) {
+      for (const option of field.options) {
+        anchors.push({
+          kind: "option",
+          id: option.id,
+          fieldId: field.id,
+          label: (_a = option.label) != null ? _a : option.id
+        });
+      }
+      continue;
     }
+    anchors.push({
+      kind: "field",
+      id: field.id,
+      fieldId: field.id,
+      label: (_b = field.label) != null ? _b : field.id
+    });
   }
+  return anchors;
 }
-
-// src/core/validate/steps/fallbacks.ts
-function codeForReason(reason) {
-  switch (reason) {
-    case "unknown_service":
-      return "fallback_unknown_service";
-    case "no_primary":
-      return "fallback_no_primary";
-    case "rate_violation":
-      return "fallback_rate_violation";
-    case "constraint_mismatch":
-      return "fallback_constraint_mismatch";
-    case "cycle":
-      return "fallback_cycle";
-    default:
-      return "fallback_bad_node";
+function collectFieldReferences(field, services) {
+  var _a;
+  const members = collectBaseMembers(field, services);
+  if (members.length === 0) return [];
+  if (isMultiField(field)) {
+    const averageRate = members.reduce((sum, member) => sum + member.rate, 0) / members.length;
+    return [
+      {
+        refKind: "multi",
+        nodeId: field.id,
+        fieldId: field.id,
+        label: (_a = field.label) != null ? _a : field.id,
+        rate: averageRate,
+        members
+      }
+    ];
   }
+  return members.map((member) => ({
+    refKind: "single",
+    nodeId: member.id,
+    fieldId: field.id,
+    label: member.label,
+    rate: member.rate,
+    service_id: member.service_id,
+    members: [member]
+  }));
 }
-function messageFor(code, d) {
-  const n = d.nodeId ? `node "${String(d.nodeId)}"` : "node";
-  switch (code) {
-    case "fallback_unknown_service":
-      return `Fallback candidate "${String(
-        d.candidate
-      )}" is unknown for ${n}.`;
-    case "fallback_no_primary":
-      return `Fallback rule has no primary service for ${n}.`;
-    case "fallback_rate_violation":
-      return `Fallback candidate "${String(
-        d.candidate
-      )}" violates the base-rate rules for ${n}.`;
-    case "fallback_constraint_mismatch":
-      return `Fallback candidate "${String(
-        d.candidate
-      )}" does not satisfy required constraints for ${n}.`;
-    case "fallback_cycle":
-      return `Fallback rules contain a cycle for ${n}.`;
-    default:
-      return `Fallback rule is invalid for ${n}.`;
+function collectBaseMembers(field, services) {
+  var _a, _b, _c;
+  const members = [];
+  if (Array.isArray(field.options) && field.options.length > 0) {
+    for (const option of field.options) {
+      const role2 = normalizeRole((_a = option.pricing_role) != null ? _a : field.pricing_role, "base");
+      if (role2 !== "base") continue;
+      if (option.service_id === void 0 || option.service_id === null) {
+        continue;
+      }
+      const cap2 = getServiceCapability(services, option.service_id);
+      if (!cap2 || typeof cap2.rate !== "number" || !Number.isFinite(cap2.rate)) {
+        continue;
+      }
+      members.push({
+        kind: "option",
+        id: option.id,
+        fieldId: field.id,
+        label: (_b = option.label) != null ? _b : option.id,
+        service_id: option.service_id,
+        rate: cap2.rate
+      });
+    }
+    return members;
   }
-}
-function validateFallbacks(v) {
-  var _a, _b, _c, _d;
-  const mode = (_b = (_a = v.options.fallbackSettings) == null ? void 0 : _a.mode) != null ? _b : "strict";
-  if (!v.props.fallbacks) return;
-  const diags = collectFailedFallbacks(v.props, (_c = v.options.serviceMap) != null ? _c : {}, {
-    ...v.options.fallbackSettings,
-    mode: "dev"
-  });
-  if (mode !== "strict") return;
-  for (const d of diags) {
-    if (d.scope === "global") continue;
-    const code = codeForReason(
-      String((_d = d.reason) != null ? _d : "fallback_bad_node")
-    );
-    const nodeId = d.nodeId ? String(d.nodeId) : void 0;
-    const tagContext = d.tagContext;
-    const affectedIds = [];
-    if (nodeId) affectedIds.push(nodeId);
-    if (typeof tagContext === "string" && tagContext && tagContext !== nodeId)
-      affectedIds.push(tagContext);
-    v.errors.push({
-      code,
-      severity: "error",
-      message: messageFor(code, {
-        nodeId,
-        primary: d.primary,
-        candidate: d.candidate,
-        tagContext,
-        scope: d.scope
-      }),
-      nodeId,
-      details: withAffected(
-        {
-          primary: d.primary,
-          candidate: d.candidate,
-          tagContext,
-          scope: d.scope
-        },
-        affectedIds.length > 1 ? affectedIds : void 0
-      )
-    });
+  const role = normalizeRole(field.pricing_role, "base");
+  if (role !== "base") return members;
+  if (field.service_id === void 0 || field.service_id === null) return members;
+  const cap = getServiceCapability(services, field.service_id);
+  if (!cap || typeof cap.rate !== "number" || !Number.isFinite(cap.rate)) {
+    return members;
   }
+  members.push({
+    kind: "field",
+    id: field.id,
+    fieldId: field.id,
+    label: (_c = field.label) != null ? _c : field.id,
+    service_id: field.service_id,
+    rate: cap.rate
+  });
+  return members;
 }
-
-// src/core/validate/policies/collect-service-items.ts
-function asArray(v) {
-  if (v === void 0) return void 0;
-  return Array.isArray(v) ? v : [v];
+function isButton(field) {
+  if (field.button === true) return true;
+  return Array.isArray(field.options) && field.options.length > 0;
 }
-function isServiceIdRef2(v) {
-  return typeof v === "string" || typeof v === "number" && Number.isFinite(v);
+function normalizeRole(role, fallback) {
+  return role === "base" || role === "utility" ? role : fallback;
 }
-function svcSnapshot(serviceMap, sid) {
-  const svc = serviceMap[sid];
-  if (!svc) return { id: sid };
-  const meta = svc.meta && typeof svc.meta === "object" ? svc.meta : {};
+function toDiagnosticRef(reference) {
   return {
-    ...svc,
-    id: sid,
-    ...meta
+    nodeId: reference.nodeId,
+    fieldId: reference.fieldId,
+    label: reference.label,
+    refKind: reference.refKind,
+    service_id: reference.service_id,
+    rate: reference.rate
   };
 }
-function pushItem(out, next) {
-  var _a;
-  const key = `${String(next.serviceId)}|${next.role}`;
-  const existing = out.get(key);
-  if (!existing) {
-    out.set(key, {
-      tagId: next.tagId,
-      fieldId: next.fieldId,
-      optionId: next.optionId,
-      nodeId: next.nodeId,
-      serviceId: next.serviceId,
-      role: next.role,
-      service: next.service,
-      affectedIds: Array.from(new Set(next.affectedIds))
-    });
-    return;
-  }
-  const mergedIds = Array.from(
-    /* @__PURE__ */ new Set([...existing.affectedIds, ...next.affectedIds])
-  );
-  out.set(key, {
-    ...existing,
-    tagId: (_a = existing.tagId) != null ? _a : next.tagId,
-    affectedIds: mergedIds
-  });
+function contextualKey(tagId, primary, candidate, ratePolicy) {
+  const pctKey = "pct" in ratePolicy ? `:${ratePolicy.pct}` : "";
+  return [
+    "contextual",
+    tagId,
+    primary.fieldId,
+    primary.nodeId,
+    candidate.fieldId,
+    candidate.nodeId,
+    `${ratePolicy.kind}${pctKey}`
+  ].join("|");
 }
-function fieldRoleOf(f, o) {
+function describeLabel(tag) {
   var _a, _b;
-  const roleRaw = (_b = (_a = o == null ? void 0 : o.pricing_role) != null ? _a : f.pricing_role) != null ? _b : "base";
-  return roleRaw === "utility" ? "utility" : "base";
+  return (_b = (_a = tag == null ? void 0 : tag.label) != null ? _a : tag == null ? void 0 : tag.id) != null ? _b : "tag";
 }
-function applyFilterAllowLists(tagId, fieldId, filter) {
-  const tagAllow = asArray(filter == null ? void 0 : filter.tag_id);
-  const fieldAllow = asArray(filter == null ? void 0 : filter.field_id);
-  if (tagAllow) {
-    if (!tagId) return false;
-    if (!tagAllow.includes(tagId)) return false;
+function explainRateMismatch(policy, primary, candidate, where) {
+  var _a, _b;
+  const primaryLabel = `${(_a = primary.label) != null ? _a : primary.nodeId} (${primary.rate})`;
+  const candidateLabel = `${(_b = candidate.label) != null ? _b : candidate.nodeId} (${candidate.rate})`;
+  switch (policy.kind) {
+    case "eq_primary":
+      return `Rate coherence failed (${where}): ${candidateLabel} must exactly match ${primaryLabel}.`;
+    case "lte_primary":
+      return `Rate coherence failed (${where}): ${candidateLabel} must stay within ${policy.pct}% below and never above ${primaryLabel}.`;
+    case "within_pct":
+      return `Rate coherence failed (${where}): ${candidateLabel} must be within ${policy.pct}% of ${primaryLabel}.`;
+    case "at_least_pct_lower":
+      return `Rate coherence failed (${where}): ${candidateLabel} must be at least ${policy.pct}% lower than ${primaryLabel}.`;
   }
-  if (fieldAllow) {
-    if (!fieldId) return false;
-    if (!fieldAllow.includes(fieldId)) return false;
+}
+
+// src/core/validate/steps/rate-coherence.ts
+function normalizeRole2(role, fallback) {
+  return role === "base" || role === "utility" ? role : fallback;
+}
+function uniqueStrings2(values) {
+  const out = /* @__PURE__ */ new Set();
+  for (const value of values) {
+    if (!value) continue;
+    out.add(value);
   }
-  return true;
+  return Array.from(out);
 }
-function collectServiceItems(args) {
+function getRate(serviceMap, serviceId) {
+  const cap = getServiceCapability(serviceMap, serviceId);
+  const rate = cap == null ? void 0 : cap.rate;
+  if (typeof rate !== "number" || !Number.isFinite(rate)) return void 0;
+  return rate;
+}
+function collectContextRefs(tag, visibleFields, serviceMap) {
   var _a, _b, _c, _d, _e;
-  const filter = args.filter;
-  const roleFilter = (_a = filter == null ? void 0 : filter.role) != null ? _a : "both";
-  const where = filter == null ? void 0 : filter.where;
-  const out = /* @__PURE__ */ new Map();
-  const addServiceRef = (ref) => {
-    if (roleFilter !== "both" && ref.role !== roleFilter) return;
-    if (!applyFilterAllowLists(ref.tagId, ref.fieldId, filter)) return;
-    const svc = args.serviceMap[ref.serviceId];
-    if (where && svc && !matchesWhere(svc, where)) return;
-    pushItem(out, {
-      ...ref,
-      service: svcSnapshot(args.serviceMap, ref.serviceId)
-    });
-  };
-  if (args.mode === "global") {
-    for (const t of (_b = args.tags) != null ? _b : []) {
-      const sid = t.service_id;
-      if (!isServiceIdRef2(sid)) continue;
-      addServiceRef({
-        tagId: t.id,
-        serviceId: sid,
-        role: "base",
-        affectedIds: [`tag:${t.id}`, `service:${String(sid)}`]
-      });
-    }
-  } else if (args.mode === "visible_group") {
-    const t = args.tag;
-    const sid = t ? t.service_id : void 0;
-    if (t && isServiceIdRef2(sid)) {
-      addServiceRef({
-        tagId: t.id,
-        serviceId: sid,
-        role: "base",
-        affectedIds: [`tag:${t.id}`, `service:${String(sid)}`]
-      });
+  const serviceRefs = [];
+  let tagDefault;
+  if (tag.service_id !== void 0 && tag.service_id !== null) {
+    const tagRate = getRate(serviceMap, tag.service_id);
+    if (tagRate != null) {
+      tagDefault = {
+        key: tag.id,
+        nodeId: tag.id,
+        nodeKind: "tag",
+        serviceId: tag.service_id,
+        rate: tagRate,
+        label: (_a = tag.label) != null ? _a : tag.id,
+        pricingRole: "base"
+      };
     }
   }
-  const fields = (_c = args.fields) != null ? _c : [];
-  for (const f of fields) {
-    const fSid = f.service_id;
-    if (isServiceIdRef2(fSid)) {
-      addServiceRef({
-        tagId: args.tagId,
-        fieldId: f.id,
-        serviceId: fSid,
-        role: "base",
-        affectedIds: [`field:${f.id}`, `service:${String(fSid)}`]
-      });
+  for (const field of visibleFields) {
+    const fieldRole = normalizeRole2(field.pricing_role, "base");
+    if (field.service_id !== void 0 && field.service_id !== null) {
+      const rate = getRate(serviceMap, field.service_id);
+      if (rate != null) {
+        serviceRefs.push({
+          key: field.id,
+          nodeId: field.id,
+          fieldId: field.id,
+          nodeKind: "button",
+          serviceId: field.service_id,
+          rate,
+          label: (_b = field.label) != null ? _b : field.id,
+          pricingRole: fieldRole
+        });
+      }
     }
-    for (const o of (_d = f.options) != null ? _d : []) {
-      const oSid = o.service_id;
-      if (!isServiceIdRef2(oSid)) continue;
-      const role = fieldRoleOf(f, o);
-      addServiceRef({
-        tagId: args.tagId,
-        fieldId: f.id,
-        optionId: o.id,
-        serviceId: oSid,
-        role,
-        affectedIds: [
-          `field:${f.id}`,
-          `option:${o.id}`,
-          `service:${String(oSid)}`
-        ]
+    for (const option of (_c = field.options) != null ? _c : []) {
+      if (option.service_id === void 0 || option.service_id === null) continue;
+      const rate = getRate(serviceMap, option.service_id);
+      if (rate == null) continue;
+      serviceRefs.push({
+        key: option.id,
+        nodeId: option.id,
+        fieldId: field.id,
+        nodeKind: "option",
+        serviceId: option.service_id,
+        rate,
+        label: (_d = option.label) != null ? _d : option.id,
+        pricingRole: normalizeRole2((_e = option.pricing_role) != null ? _e : field.pricing_role, "base")
       });
     }
   }
-  const fb = args.props.fallbacks;
-  if (!fb) return Array.from(out.values());
-  const addFallbackNode = (nodeId, list) => {
-    const arr = Array.isArray(list) ? list : [];
-    for (const cand of arr) {
-      if (!isServiceIdRef2(cand)) continue;
-      addServiceRef({
-        tagId: args.tagId,
-        nodeId,
-        serviceId: cand,
-        role: "base",
-        affectedIds: [`fallback-node:${nodeId}`, `service:${String(cand)}`]
-      });
-    }
-  };
-  const addFallbackGlobal = (primaryKey, list) => {
-    const primaryId = primaryKey;
-    addServiceRef({
-      tagId: args.tagId,
-      nodeId: primaryKey,
-      serviceId: primaryId,
-      role: "base",
-      affectedIds: [
-        `fallback-global-primary:${primaryKey}`,
-        `service:${String(primaryId)}`
-      ]
+  return { tagDefault, serviceRefs };
+}
+function pickHighestRatePrimary(refs) {
+  return refs.reduce((best, cur) => {
+    if (!best) return cur;
+    if (cur.rate > best.rate) return cur;
+    if (cur.rate < best.rate) return best;
+    return cur.nodeId < best.nodeId ? cur : best;
+  }, void 0);
+}
+function validateRateCoherenceForVisibleContext(params) {
+  const { v, tagId, selectedKeys, visibleFieldIds, effectMap, seen } = params;
+  const tag = v.tagById.get(tagId);
+  if (!tag) return;
+  const visibleFields = visibleFieldIds.map((id) => v.fieldById.get(id)).filter(Boolean);
+  const { tagDefault, serviceRefs: allServiceRefs } = collectContextRefs(
+    tag,
+    visibleFields,
+    v.serviceMap
+  );
+  const baseRefs = allServiceRefs.filter((ref) => ref.pricingRole === "base");
+  if (baseRefs.length === 0 && !tagDefault) return;
+  const ratePolicy = normalizeRatePolicy(v.options.ratePolicy);
+  const visibleInvalidFieldIds = visibleFieldIds.filter(
+    (fieldId) => v.invalidRateFieldIds.has(fieldId)
+  );
+  for (const fieldId of visibleInvalidFieldIds) {
+    const internalKey = [
+      "rate-coherence-internal",
+      tagId,
+      [...selectedKeys].sort().join("|"),
+      fieldId
+    ].join("::");
+    if (seen.has(internalKey)) continue;
+    seen.add(internalKey);
+    v.errors.push({
+      code: "rate_coherence_violation",
+      severity: "error",
+      nodeId: fieldId,
+      message: `Field "${fieldId}" is internally invalid under rate policy "${ratePolicy.kind}".`,
+      details: {
+        kind: "internal_field",
+        tagId,
+        selectedKeys: [...selectedKeys],
+        visibleFieldIds: [...visibleFieldIds],
+        fieldId,
+        invalidFieldIds: [fieldId],
+        affectedIds: uniqueStrings2([tagId, ...selectedKeys, fieldId])
+      }
     });
-    const arr = Array.isArray(list) ? list : [];
-    for (const cand of arr) {
-      if (!isServiceIdRef2(cand)) continue;
-      addServiceRef({
-        tagId: args.tagId,
-        nodeId: primaryKey,
-        serviceId: cand,
-        role: "base",
-        affectedIds: [
-          `fallback-global:${primaryKey}`,
-          `service:${String(cand)}`
-        ]
-      });
-    }
-  };
-  const includeAllFallbacks = args.mode === "global";
-  const includeGroupFallbacks = args.mode === "visible_group";
-  const nodes = fb.nodes && typeof fb.nodes === "object" ? fb.nodes : void 0;
-  if (nodes) {
-    if (includeAllFallbacks) {
-      for (const [nodeId, list] of Object.entries(nodes)) {
-        addFallbackNode(nodeId, list);
+  }
+  const selectedSet = new Set(selectedKeys);
+  const selectedServiceRefs = baseRefs.filter((ref) => selectedSet.has(ref.key));
+  if (baseRefs.length === 0) return;
+  for (let i = 0; i < baseRefs.length; i++) {
+    for (let j = i + 1; j < baseRefs.length; j++) {
+      const left = baseRefs[i];
+      const right = baseRefs[j];
+      const hypotheticalKeys = [...selectedKeys, left.key, right.key];
+      const survivingRefs = baseRefs.filter(
+        (ref) => !isRefExcludedBySelectedKeys(
+          { fieldId: ref.fieldId, nodeId: ref.nodeId },
+          hypotheticalKeys,
+          effectMap
+        )
+      );
+      const survivingSet = new Set(survivingRefs.map((ref) => ref.nodeId));
+      if (!survivingSet.has(left.nodeId) || !survivingSet.has(right.nodeId)) {
+        continue;
       }
-    } else if (includeGroupFallbacks) {
-      const allowNodes = new Set(
-        Array.isArray(args.visibleNodeIds) ? args.visibleNodeIds : []
+      if (survivingRefs.length <= 1) continue;
+      const survivingSelected = survivingRefs.filter(
+        (ref) => selectedSet.has(ref.key)
       );
-      for (const nodeId of allowNodes) {
-        addFallbackNode(nodeId, nodes[nodeId]);
+      const tagIsCompeting = survivingSelected.length === 0;
+      const primary = pickHighestRatePrimary(survivingRefs);
+      if (!primary) continue;
+      const comparePool = survivingRefs.filter((ref) => ref.nodeId !== primary.nodeId);
+      for (const candidate of comparePool) {
+        if (passesRatePolicy(ratePolicy, primary.rate, candidate.rate)) continue;
+        const issueKey = [
+          "rate-coherence-context",
+          tagId,
+          [...selectedKeys].sort().join("|"),
+          [...survivingRefs.map((r) => r.nodeId).sort()].join("|"),
+          primary.nodeId,
+          candidate.nodeId,
+          ratePolicy.kind,
+          "pct" in ratePolicy ? String(ratePolicy.pct) : ""
+        ].join("::");
+        if (seen.has(issueKey)) continue;
+        seen.add(issueKey);
+        v.errors.push({
+          code: "rate_coherence_violation",
+          severity: "error",
+          nodeId: candidate.nodeId,
+          message: "Visible service context contains incompatible base service rates.",
+          details: {
+            kind: "selected_context",
+            tagId,
+            selectedKeys: [...selectedKeys],
+            visibleFieldIds: [...visibleFieldIds],
+            primary: {
+              nodeId: primary.nodeId,
+              fieldId: primary.fieldId,
+              service_id: primary.serviceId,
+              serviceId: primary.serviceId,
+              rate: primary.rate
+            },
+            candidate: {
+              nodeId: candidate.nodeId,
+              fieldId: candidate.fieldId,
+              service_id: candidate.serviceId,
+              serviceId: candidate.serviceId,
+              rate: candidate.rate
+            },
+            policy: ratePolicy.kind,
+            policyPct: "pct" in ratePolicy ? ratePolicy.pct : void 0,
+            invalidFieldIds: visibleInvalidFieldIds,
+            affectedIds: uniqueStrings2([
+              tagId,
+              ...selectedKeys,
+              primary.nodeId,
+              primary.fieldId,
+              candidate.nodeId,
+              candidate.fieldId,
+              tagIsCompeting ? tagDefault == null ? void 0 : tagDefault.nodeId : void 0
+            ]),
+            affectedServiceIds: uniqueStrings2([
+              String(primary.serviceId),
+              String(candidate.serviceId)
+            ])
+          }
+        });
       }
     }
   }
-  const globalFb = fb.global && typeof fb.global === "object" ? fb.global : void 0;
-  if (globalFb) {
-    if (includeAllFallbacks) {
-      for (const [primaryKey, list] of Object.entries(globalFb)) {
-        addFallbackGlobal(primaryKey, list);
-      }
-    } else if (includeGroupFallbacks) {
-      const allowPrimaries = new Set(
-        ((_e = args.visiblePrimaries) != null ? _e : []).map((x) => String(x))
-      );
-      for (const primaryKey of allowPrimaries) {
-        const list = globalFb[primaryKey];
-        if (list === void 0) continue;
-        addFallbackGlobal(primaryKey, list);
-      }
+  if (selectedServiceRefs.length === 0 && tagDefault && baseRefs.length > 0) {
+    const survivingByDefault = baseRefs.filter(
+      (ref) => !isRefExcludedBySelectedKeys(
+        { fieldId: ref.fieldId, nodeId: ref.nodeId },
+        selectedKeys,
+        effectMap
+      )
+    );
+    for (const candidate of survivingByDefault) {
+      if (passesRatePolicy(ratePolicy, tagDefault.rate, candidate.rate)) continue;
+      const issueKey = [
+        "rate-coherence-default",
+        tagId,
+        [...selectedKeys].sort().join("|"),
+        tagDefault.nodeId,
+        candidate.nodeId,
+        ratePolicy.kind,
+        "pct" in ratePolicy ? String(ratePolicy.pct) : ""
+      ].join("::");
+      if (seen.has(issueKey)) continue;
+      seen.add(issueKey);
+      v.errors.push({
+        code: "rate_coherence_violation",
+        severity: "error",
+        nodeId: candidate.nodeId,
+        message: "Visible service context contains incompatible base service rates.",
+        details: {
+          kind: "selected_context",
+          tagId,
+          selectedKeys: [...selectedKeys],
+          visibleFieldIds: [...visibleFieldIds],
+          primary: {
+            nodeId: tagDefault.nodeId,
+            service_id: tagDefault.serviceId,
+            serviceId: tagDefault.serviceId,
+            rate: tagDefault.rate
+          },
+          candidate: {
+            nodeId: candidate.nodeId,
+            fieldId: candidate.fieldId,
+            service_id: candidate.serviceId,
+            serviceId: candidate.serviceId,
+            rate: candidate.rate
+          },
+          policy: ratePolicy.kind,
+          policyPct: "pct" in ratePolicy ? ratePolicy.pct : void 0,
+          invalidFieldIds: visibleInvalidFieldIds,
+          affectedIds: uniqueStrings2([
+            tagId,
+            ...selectedKeys,
+            tagDefault.nodeId,
+            candidate.nodeId,
+            candidate.fieldId
+          ]),
+          affectedServiceIds: uniqueStrings2([
+            String(tagDefault.serviceId),
+            String(candidate.serviceId)
+          ])
+        }
+      });
     }
   }
-  return Array.from(out.values());
 }
-
-// src/core/validate/policies/ops.ts
-function evalPolicyOp(op, values, rule) {
-  switch (op) {
-    case "all_equal": {
-      const set = new Set(
-        values.map((v) => JSON.stringify(v))
-      );
-      return set.size <= 1;
-    }
-    case "no_mix": {
-      const set = new Set(
-        values.map((v) => JSON.stringify(v))
-      );
-      return set.size <= 1;
-    }
-    case "unique": {
-      const seen = /* @__PURE__ */ new Set();
-      for (const v of values) {
-        const k = JSON.stringify(v);
-        if (seen.has(k)) return false;
-        seen.add(k);
-      }
-      return true;
-    }
-    case "all_true": {
-      return values.every((v) => v === true);
-    }
-    case "any_true": {
-      return values.some((v) => v === true);
-    }
-    case "max_count": {
-      const limit = typeof rule.value === "number" ? rule.value : Infinity;
-      return values.length <= limit;
-    }
-    case "min_count": {
-      const min = typeof rule.value === "number" ? rule.value : 0;
-      return values.length >= min;
-    }
-    default:
-      return true;
+function validateRateCoherence(v) {
+  if (Object.keys(v.serviceMap).length === 0 || v.tags.length === 0) return;
+  const effectMap = buildTriggerEffectMap(v.props);
+  const seen = /* @__PURE__ */ new Set();
+  for (const context of v.simulatedVisibilityContexts) {
+    validateRateCoherenceForVisibleContext({
+      v,
+      tagId: context.tagId,
+      selectedKeys: context.selectedKeys,
+      visibleFieldIds: context.visibleFieldIds,
+      effectMap,
+      seen
+    });
   }
 }
 
-// src/core/validate/policies/apply-policies.ts
-function uniq(arr) {
-  return Array.from(new Set(arr));
-}
-function stableSeverity(s) {
-  if (s === "warning") return "warning";
-  if (s === "error") return "error";
-  return "error";
-}
-function defaultPolicyMessage(rule) {
-  if (typeof rule.message === "string" && rule.message.trim())
-    return rule.message;
-  if (typeof rule.label === "string" && rule.label.trim())
-    return rule.label.trim();
-  return `Policy "${rule.id}" violated`;
-}
-function affectedFromItems(items) {
-  var _a;
-  const ids = [];
-  for (const it of items) {
-    for (const x of (_a = it.affectedIds) != null ? _a : []) ids.push(x);
-    ids.push(`service:${String(it.serviceId)}`);
-  }
-  return uniq(ids);
-}
-function visibleGroupNodeIds(tag, fields) {
-  var _a;
-  const ids = [tag.id];
-  for (const f of fields) {
-    for (const o of (_a = f.options) != null ? _a : []) {
-      ids.push(o.id);
+// src/core/validate/steps/constraints.ts
+function constraintKeysInChain(v, tagId) {
+  const keys = [];
+  const seenKeys = /* @__PURE__ */ new Set();
+  let cur = tagId;
+  const seenTags = /* @__PURE__ */ new Set();
+  while (cur && !seenTags.has(cur)) {
+    seenTags.add(cur);
+    const t = v.tagById.get(cur);
+    const c = t == null ? void 0 : t.constraints;
+    if (c && typeof c === "object") {
+      for (const k of Object.keys(c)) {
+        if (!seenKeys.has(k)) {
+          seenKeys.add(k);
+          keys.push(k);
+        }
+      }
     }
+    cur = t == null ? void 0 : t.bind_id;
   }
-  return uniq(ids);
+  return keys;
 }
-function visibleGroupPrimaries(tag, fields) {
+function effectiveConstraints(v, tagId) {
   var _a;
-  const prim = [];
-  const tagSid = tag.service_id;
-  if (typeof tagSid === "string" || typeof tagSid === "number" && Number.isFinite(tagSid)) {
-    prim.push(tagSid);
-  }
-  for (const f of fields) {
-    const fsid = f.service_id;
-    if (typeof fsid === "string" || typeof fsid === "number" && Number.isFinite(fsid)) {
-      prim.push(fsid);
-    }
-    for (const o of (_a = f.options) != null ? _a : []) {
-      const osid = o.service_id;
-      if (typeof osid === "string" || typeof osid === "number" && Number.isFinite(osid)) {
-        prim.push(osid);
+  const out = {};
+  const keys = constraintKeysInChain(v, tagId);
+  for (const key of keys) {
+    let cur = tagId;
+    const seen = /* @__PURE__ */ new Set();
+    while (cur && !seen.has(cur)) {
+      seen.add(cur);
+      const t = v.tagById.get(cur);
+      const val = (_a = t == null ? void 0 : t.constraints) == null ? void 0 : _a[key];
+      if (val === true || val === false) {
+        out[key] = val;
+        break;
       }
+      cur = t == null ? void 0 : t.bind_id;
     }
   }
-  return uniq(prim);
+  return out;
 }
-function applyPolicies(errors, props, serviceMap, policies, fieldsVisibleUnder, tags) {
-  var _a, _b, _c, _d, _e;
-  if (!(policies == null ? void 0 : policies.length)) return;
-  const tagById = /* @__PURE__ */ new Map();
-  for (const t of tags) tagById.set(t.id, t);
-  for (const rule of policies) {
-    const projPath = (_a = rule.projection) != null ? _a : "service.id";
-    const severity = stableSeverity(
-      rule.severity
+function validateConstraints(v) {
+  var _a, _b;
+  for (const t of v.tags) {
+    const eff = effectiveConstraints(v, t.id);
+    const hasAnyRequired = Object.values(eff).some(
+      (x) => x === true
     );
-    const message = defaultPolicyMessage(rule);
-    if (rule.scope === "global") {
-      const tagAllow = Array.isArray(
-        (_b = rule.filter) == null ? void 0 : _b.tag_id
-      ) ? (_c = rule.filter) == null ? void 0 : _c.tag_id : ((_d = rule.filter) == null ? void 0 : _d.tag_id) ? [rule.filter.tag_id] : void 0;
-      let items = [];
-      if (tagAllow && tagAllow.length) {
-        const merged = /* @__PURE__ */ new Map();
-        for (const id of tagAllow) {
-          const t = tagById.get(id);
-          if (!t) continue;
-          const visibleFields = fieldsVisibleUnder(t.id);
-          const nodeIds = visibleGroupNodeIds(
-            t,
-            visibleFields
-          );
-          const primaries = visibleGroupPrimaries(
-            t,
-            visibleFields
-          );
-          const sub = collectServiceItems({
-            mode: "visible_group",
-            props,
-            serviceMap,
-            tag: t,
-            tagId: t.id,
-            fields: visibleFields,
-            filter: rule.filter,
-            visibleNodeIds: nodeIds,
-            visiblePrimaries: primaries
-          });
-          for (const it of sub) {
-            const k = `${String(it.serviceId)}|${it.role}`;
-            const existing = merged.get(k);
-            if (!existing) {
-              merged.set(k, it);
-            } else {
-              merged.set(k, {
-                ...existing,
-                affectedIds: uniq([
-                  ...existing.affectedIds,
-                  ...it.affectedIds
-                ])
-              });
-            }
+    if (!hasAnyRequired) continue;
+    const visible = v.fieldsVisibleUnder(t.id);
+    for (const f of visible) {
+      for (const o of (_a = f.options) != null ? _a : []) {
+        if (!isServiceIdRef(o.service_id)) continue;
+        const svc = getServiceCapability(v.serviceMap, o.service_id);
+        if (!svc || typeof svc !== "object") continue;
+        for (const [k, val] of Object.entries(eff)) {
+          if (val === true && !isServiceFlagEnabled(svc, k)) {
+            v.errors.push({
+              code: "unsupported_constraint",
+              severity: "error",
+              message: `Service option "${o.id}" under tag "${t.id}" does not support required constraint "${k}".`,
+              nodeId: t.id,
+              details: withAffected(
+                {
+                  flag: k,
+                  serviceId: o.service_id,
+                  fieldId: f.id,
+                  optionId: o.id
+                },
+                [t.id, f.id, o.id]
+              )
+            });
           }
         }
-        items = Array.from(merged.values());
-      } else {
-        const allFields = (_e = props.fields) != null ? _e : [];
-        items = collectServiceItems({
-          mode: "global",
-          props,
-          serviceMap,
-          tags,
-          fields: allFields,
-          filter: rule.filter
-        });
-      }
-      const values = items.map(
-        (it) => getByPath(it, projPath)
-      );
-      if (!evalPolicyOp(rule.op, values, rule)) {
-        errors.push({
-          code: "policy_violation",
-          severity,
-          message,
-          nodeId: "global",
-          details: {
-            ruleId: rule.id,
-            scope: "global",
-            op: rule.op,
-            projection: projPath,
-            count: items.length,
-            affectedIds: affectedFromItems(items)
-          }
-        });
       }
-      continue;
     }
-    for (const t of tags) {
-      const visibleFields = fieldsVisibleUnder(t.id);
-      const nodeIds = visibleGroupNodeIds(t, visibleFields);
-      const primaries = visibleGroupPrimaries(t, visibleFields);
-      const items = collectServiceItems({
-        mode: "visible_group",
-        props,
-        serviceMap,
-        tag: t,
-        tagId: t.id,
-        fields: visibleFields,
-        filter: rule.filter,
-        visibleNodeIds: nodeIds,
-        visiblePrimaries: primaries
-      });
-      if (!items.length) continue;
-      const values = items.map(
-        (it) => getByPath(it, projPath)
-      );
-      if (!evalPolicyOp(rule.op, values, rule)) {
-        errors.push({
-          code: "policy_violation",
-          severity,
-          message,
+  }
+  for (const t of v.tags) {
+    const sid = t.service_id;
+    if (!isServiceIdRef(sid)) continue;
+    const svc = getServiceCapability(v.serviceMap, sid);
+    if (!svc || typeof svc !== "object") continue;
+    const eff = effectiveConstraints(v, t.id);
+    for (const [k, val] of Object.entries(eff)) {
+      if (val === true && !isServiceFlagEnabled(svc, k)) {
+        v.errors.push({
+          code: "unsupported_constraint",
+          severity: "error",
+          message: `Tag "${t.id}" maps to service "${String(
+            sid
+          )}" which does not support required constraint "${k}".`,
           nodeId: t.id,
-          details: {
-            ruleId: rule.id,
-            scope: "visible_group",
-            op: rule.op,
-            projection: projPath,
-            count: items.length,
-            affectedIds: affectedFromItems(items)
-          }
+          details: { flag: k, serviceId: sid }
         });
       }
     }
   }
+  for (const t of v.tags) {
+    const ov = t.constraints_overrides;
+    if (!ov || typeof ov !== "object") continue;
+    for (const k of Object.keys(ov)) {
+      const row = ov[k];
+      if (!row) continue;
+      const from = row.from === true;
+      const to = row.to === true;
+      const origin = String((_b = row.origin) != null ? _b : "");
+      v.errors.push({
+        code: "constraint_overridden",
+        severity: "warning",
+        message: origin ? `Constraint "${k}" on tag "${t.id}" was overridden by ancestor "${origin}" (${String(from)} \u2192 ${String(
+          to
+        )}).` : `Constraint "${k}" on tag "${t.id}" was overridden by an ancestor (${String(from)} \u2192 ${String(to)}).`,
+        nodeId: t.id,
+        details: withAffected(
+          { flag: k, from, to, origin },
+          origin ? [t.id, origin] : void 0
+        )
+      });
+    }
+  }
 }
 
-// src/core/governance.ts
-var DEFAULT_FALLBACK_SETTINGS = {
-  requireConstraintFit: true,
-  ratePolicy: { kind: "lte_primary", pct: 5 },
-  selectionStrategy: "priority",
-  mode: "strict"
-};
-function resolveGlobalRatePolicy(options) {
-  return normalizeRatePolicy(options.ratePolicy);
-}
-function resolveFallbackSettings(options) {
-  var _a;
-  return {
-    ...DEFAULT_FALLBACK_SETTINGS,
-    ...(_a = options.fallbackSettings) != null ? _a : {}
-  };
-}
-function mergeValidatorOptions(defaults = {}, overrides = {}) {
-  var _a, _b, _c, _d;
-  const mergedFallbackSettings = {
-    ...(_a = defaults.fallbackSettings) != null ? _a : {},
-    ...(_b = overrides.fallbackSettings) != null ? _b : {}
-  };
-  return {
-    ...defaults,
-    ...overrides,
-    policies: (_c = overrides.policies) != null ? _c : defaults.policies,
-    ratePolicy: (_d = overrides.ratePolicy) != null ? _d : defaults.ratePolicy,
-    fallbackSettings: Object.keys(mergedFallbackSettings).length > 0 ? mergedFallbackSettings : void 0
-  };
-}
-
-// src/core/builder.ts
-var import_lodash_es2 = require("lodash-es");
-function createBuilder(opts = {}) {
-  return new BuilderImpl(opts);
-}
-var BuilderImpl = class {
-  constructor(opts = {}) {
-    this.props = {
-      filters: [],
-      fields: [],
-      schema_version: "1.0"
-    };
-    this.tagById = /* @__PURE__ */ new Map();
-    this.fieldById = /* @__PURE__ */ new Map();
-    this.optionOwnerById = /* @__PURE__ */ new Map();
-    this._nodemap = null;
-    this.options = { ...opts };
-  }
-  /* ───── lifecycle ─────────────────────────────────────────────────────── */
-  isTagId(id) {
-    return this.tagById.has(id);
-  }
-  isFieldId(id) {
-    return this.fieldById.has(id);
+// src/core/validate/steps/custom.ts
+function validateCustomFields(v) {
+  for (const f of v.fields) {
+    if (f.type !== "custom") continue;
+    if (!f.component || !String(f.component).trim()) {
+      v.errors.push({
+        code: "custom_component_missing",
+        severity: "error",
+        message: `Custom field "${f.id}" is missing a valid component reference.`,
+        nodeId: f.id
+      });
+    }
   }
-  isOptionId(id) {
-    return this.optionOwnerById.has(id);
+}
+
+// src/core/validate/steps/global-utility-guard.ts
+function validateGlobalUtilityGuard(v) {
+  var _a, _b, _c;
+  if (!v.options.globalUtilityGuard) return;
+  let hasUtility = false;
+  let hasBase = false;
+  for (const f of v.fields) {
+    for (const o of (_a = f.options) != null ? _a : []) {
+      if (!isServiceIdRef(o.service_id)) continue;
+      const role = (_c = (_b = o.pricing_role) != null ? _b : f.pricing_role) != null ? _c : "base";
+      if (role === "base") hasBase = true;
+      else if (role === "utility") hasUtility = true;
+      if (hasUtility && hasBase) break;
+    }
+    if (hasUtility && hasBase) break;
   }
-  load(raw) {
-    const next = normalise(raw, {
-      defaultPricingRole: "base",
-      constraints: this.getConstraints().map((item) => item.label)
+  if (hasUtility && !hasBase) {
+    v.errors.push({
+      code: "utility_without_base",
+      severity: "warning",
+      message: "Global utility guard: utility-priced options exist but no base-priced options were found.",
+      nodeId: "global",
+      details: { scope: "global" }
     });
-    this.props = next;
-    this.rebuildIndexes();
-  }
-  getProps() {
-    return this.props;
   }
-  setOptions(patch) {
-    this.options = { ...this.options, ...patch };
+}
+
+// src/core/validate/steps/unbound.ts
+function validateUnboundFields(v) {
+  var _a, _b;
+  const boundFieldIds = /* @__PURE__ */ new Set();
+  for (const f of v.fields) {
+    if (f.bind_id) boundFieldIds.add(f.id);
   }
-  getServiceMap() {
-    var _a;
-    return (_a = this.options.serviceMap) != null ? _a : {};
+  const includedByTag = /* @__PURE__ */ new Set();
+  for (const t of v.tags) {
+    for (const id of (_a = t.includes) != null ? _a : []) includedByTag.add(id);
   }
-  getConstraints() {
-    var _a;
-    const serviceMap = this.getServiceMap();
-    const out = /* @__PURE__ */ new Set();
-    const guard = /* @__PURE__ */ new Set();
-    for (const svc of Object.values(serviceMap)) {
-      const flags = (_a = svc.flags) != null ? _a : {};
-      for (const flagId of Object.keys(flags)) {
-        if (guard.has(flagId)) continue;
-        guard.add(flagId);
-        out.add({
-          id: flagId,
-          value: flagId,
-          label: flagId,
-          description: flags[flagId].description
-        });
-      }
-    }
-    return Array.from(out);
+  const includedByOption = /* @__PURE__ */ new Set();
+  for (const arr of Object.values((_b = v.props.includes_for_buttons) != null ? _b : {})) {
+    for (const id of arr != null ? arr : []) includedByOption.add(id);
   }
-  /* ───── querying ─────────────────────────────────────────────────────── */
-  tree() {
-    var _a, _b, _c, _d;
-    const nodes = [];
-    const edges = [];
-    const showSet = toStringSet(this.options.showOptionNodes);
-    for (const t of this.props.filters) {
-      nodes.push({ id: t.id, kind: "tag", label: t.label });
-    }
-    for (const t of this.props.filters) {
-      if (t.bind_id) {
-        edges.push({
-          from: t.bind_id,
-          to: t.id,
-          kind: "child"
-        });
-      }
-    }
-    for (const f of this.props.fields) {
-      nodes.push({
-        id: f.id,
-        kind: "field",
-        label: f.label,
-        bind_type: f.pricing_role === "utility" ? "utility" : f.bind_id ? "bound" : null
+  for (const f of v.fields) {
+    if (!boundFieldIds.has(f.id) && !includedByTag.has(f.id) && !includedByOption.has(f.id)) {
+      v.errors.push({
+        code: "field_unbound",
+        severity: "error",
+        message: `Field "${f.id}" is unbound: it is not bound to any tag and not included by tags or option maps.`,
+        nodeId: f.id,
+        details: withAffected(
+          {
+            fieldId: f.id,
+            bound: false,
+            // exposing these helps editors explain "why"
+            includedByTag: includedByTag.has(f.id),
+            includedByOption: includedByOption.has(f.id)
+          },
+          [f.id]
+        )
       });
     }
-    for (const f of this.props.fields) {
-      const b = f.bind_id;
-      if (Array.isArray(b)) {
-        for (const tagId of b)
-          edges.push({
-            from: tagId,
-            to: f.id,
-            kind: "bind"
-          });
-      } else if (typeof b === "string") {
-        edges.push({ from: b, to: f.id, kind: "bind" });
-      }
-    }
-    for (const f of this.props.fields) {
-      const showOptions = showSet.has(f.id);
-      if (!showOptions) continue;
-      if (!Array.isArray(f.options)) continue;
-      for (const o of f.options) {
-        nodes.push({
-          id: o.id,
-          kind: "option",
-          label: o.label
-        });
-        const e = {
-          from: f.id,
-          to: o.id,
-          kind: "option",
-          meta: { ownerField: f.id }
-        };
-        edges.push(e);
-      }
-    }
-    for (const t of this.props.filters) {
-      for (const id of (_a = t.includes) != null ? _a : []) {
-        edges.push({ from: t.id, to: id, kind: "include" });
-      }
-      for (const id of (_b = t.excludes) != null ? _b : []) {
-        edges.push({ from: t.id, to: id, kind: "exclude" });
-      }
-    }
-    const incMap = (_c = this.props.includes_for_buttons) != null ? _c : {};
-    const excMap = (_d = this.props.excludes_for_buttons) != null ? _d : {};
-    const pushButtonEdge = (keyId, targetFieldId, kind) => {
-      var _a2;
-      const owner = this.optionOwnerById.get(keyId);
-      const ownerFieldId = (_a2 = owner == null ? void 0 : owner.fieldId) != null ? _a2 : this.fieldById.has(keyId) ? keyId : void 0;
-      if (!ownerFieldId) return;
-      const fromNode = owner && showSet.has(owner.fieldId) ? keyId : ownerFieldId;
-      const meta = owner ? showSet.has(owner.fieldId) ? {
-        via: "option-visible",
-        ownerField: owner.fieldId,
-        sourceOption: keyId
-      } : {
-        via: "option-hidden",
-        ownerField: owner.fieldId,
-        sourceOption: keyId
-      } : { via: "field-button" };
-      const e = { from: fromNode, to: targetFieldId, kind, meta };
-      edges.push(e);
-    };
-    for (const [keyId, arr] of Object.entries(incMap)) {
-      for (const fid of arr != null ? arr : [])
-        pushButtonEdge(keyId, fid, "include");
-    }
-    for (const [keyId, arr] of Object.entries(excMap)) {
-      for (const fid of arr != null ? arr : [])
-        pushButtonEdge(keyId, fid, "exclude");
-    }
-    return { nodes, edges };
   }
-  cleanedProps() {
-    var _a, _b, _c, _d, _e;
-    const fieldIds = new Set(this.props.fields.map((f) => f.id));
-    const optionIds = /* @__PURE__ */ new Set();
-    this.optionOwnerById.forEach((_v, oid) => optionIds.add(oid));
-    const includedByTag = /* @__PURE__ */ new Set();
-    const excludedAnywhere = /* @__PURE__ */ new Set();
-    for (const t of this.props.filters) {
-      for (const id of (_a = t.includes) != null ? _a : []) includedByTag.add(id);
-      for (const id of (_b = t.excludes) != null ? _b : []) excludedAnywhere.add(id);
-    }
-    const incMap = (_c = this.props.includes_for_buttons) != null ? _c : {};
-    const excMap = (_d = this.props.excludes_for_buttons) != null ? _d : {};
-    const includedByButtons = /* @__PURE__ */ new Set();
-    const referencedKeys = /* @__PURE__ */ new Set();
-    const referencedOwnerFields = /* @__PURE__ */ new Set();
-    for (const [key, arr] of Object.entries(incMap)) {
-      referencedKeys.add(key);
-      const owner = this.optionOwnerById.get(key);
-      if (owner) referencedOwnerFields.add(owner.fieldId);
-      for (const fid of arr != null ? arr : []) {
-        includedByButtons.add(fid);
-      }
-    }
-    for (const [key, arr] of Object.entries(excMap)) {
-      referencedKeys.add(key);
-      const owner = this.optionOwnerById.get(key);
-      if (owner) referencedOwnerFields.add(owner.fieldId);
-      for (const fid of arr != null ? arr : []) {
-        void fid;
-      }
-    }
-    const boundIds = /* @__PURE__ */ new Set();
-    for (const f of this.props.fields) {
-      const b = f.bind_id;
-      if (Array.isArray(b)) b.forEach((id) => boundIds.add(id));
-      else if (typeof b === "string") boundIds.add(b);
-    }
-    const fields = this.props.fields.filter((f) => {
-      var _a2;
-      const isUtility = ((_a2 = f.pricing_role) != null ? _a2 : "base") === "utility";
-      if (!isUtility) return true;
-      const bound = !!f.bind_id;
-      const included = includedByTag.has(f.id) || includedByButtons.has(f.id);
-      const referenced = referencedOwnerFields.has(f.id) || referencedKeys.has(f.id);
-      const excluded = excludedAnywhere.has(f.id);
-      return bound || included || referenced || !excluded;
-    });
-    const allowedTargets = new Set(fields.map((f) => f.id));
-    const pruneButtons = (src) => {
-      if (!src) return void 0;
-      const out2 = {};
-      for (const [key, arr] of Object.entries(src)) {
-        const keyIsValid = optionIds.has(key) || fieldIds.has(key);
-        if (!keyIsValid) continue;
-        const cleaned = (arr != null ? arr : []).filter(
-          (fid) => allowedTargets.has(fid)
-        );
-        if (cleaned.length) out2[key] = Array.from(new Set(cleaned));
-      }
-      return Object.keys(out2).length ? out2 : void 0;
-    };
-    const includes_for_buttons = pruneButtons(
-      this.props.includes_for_buttons
-    );
-    const excludes_for_buttons = pruneButtons(
-      this.props.excludes_for_buttons
-    );
-    const out = {
-      filters: this.props.filters.slice(),
-      fields,
-      ...this.props.orderKinds ? { orderKinds: this.props.orderKinds } : {},
-      ...includes_for_buttons && { includes_for_buttons },
-      ...excludes_for_buttons && { excludes_for_buttons },
-      schema_version: (_e = this.props.schema_version) != null ? _e : "1.0",
-      // keep fallbacks & other maps as-is
-      ...this.props.fallbacks ? { fallbacks: this.props.fallbacks } : {}
-    };
-    return out;
-  }
-  errors() {
-    return validate(this.props, mergeValidatorOptions({}, this.options));
+}
+
+// src/core/validate/steps/fallbacks.ts
+function codeForReason(reason) {
+  switch (reason) {
+    case "unknown_service":
+      return "fallback_unknown_service";
+    case "no_primary":
+      return "fallback_no_primary";
+    case "rate_violation":
+      return "fallback_rate_violation";
+    case "constraint_mismatch":
+      return "fallback_constraint_mismatch";
+    case "cycle":
+      return "fallback_cycle";
+    default:
+      return "fallback_bad_node";
   }
-  getOptions() {
-    return (0, import_lodash_es2.cloneDeep)(this.options);
+}
+function messageFor(code, d) {
+  const n = d.nodeId ? `node "${String(d.nodeId)}"` : "node";
+  switch (code) {
+    case "fallback_unknown_service":
+      return `Fallback candidate "${String(
+        d.candidate
+      )}" is unknown for ${n}.`;
+    case "fallback_no_primary":
+      return `Fallback rule has no primary service for ${n}.`;
+    case "fallback_rate_violation":
+      return `Fallback candidate "${String(
+        d.candidate
+      )}" violates the base-rate rules for ${n}.`;
+    case "fallback_constraint_mismatch":
+      return `Fallback candidate "${String(
+        d.candidate
+      )}" does not satisfy required constraints for ${n}.`;
+    case "fallback_cycle":
+      return `Fallback rules contain a cycle for ${n}.`;
+    default:
+      return `Fallback rule is invalid for ${n}.`;
   }
-  visibleFields(tagId, selectedKeys) {
-    var _a;
-    return visibleFieldIdsUnder(this.props, tagId, {
-      selectedKeys: new Set(
-        (_a = selectedKeys != null ? selectedKeys : this.options.selectedOptionKeys) != null ? _a : []
+}
+function validateFallbacks(v) {
+  var _a, _b, _c, _d;
+  const mode = (_b = (_a = v.options.fallbackSettings) == null ? void 0 : _a.mode) != null ? _b : "strict";
+  if (!v.props.fallbacks) return;
+  const diags = collectFailedFallbacks(v.props, (_c = v.options.serviceMap) != null ? _c : {}, {
+    ...v.options.fallbackSettings,
+    mode: "dev"
+  });
+  if (mode !== "strict") return;
+  for (const d of diags) {
+    if (d.scope === "global") continue;
+    const code = codeForReason(
+      String((_d = d.reason) != null ? _d : "fallback_bad_node")
+    );
+    const nodeId = d.nodeId ? String(d.nodeId) : void 0;
+    const tagContext = d.tagContext;
+    const affectedIds = [];
+    if (nodeId) affectedIds.push(nodeId);
+    if (typeof tagContext === "string" && tagContext && tagContext !== nodeId)
+      affectedIds.push(tagContext);
+    v.errors.push({
+      code,
+      severity: "error",
+      message: messageFor(code, {
+        nodeId,
+        primary: d.primary,
+        candidate: d.candidate,
+        tagContext,
+        scope: d.scope
+      }),
+      nodeId,
+      details: withAffected(
+        {
+          primary: d.primary,
+          candidate: d.candidate,
+          tagContext,
+          scope: d.scope
+        },
+        affectedIds.length > 1 ? affectedIds : void 0
       )
     });
   }
-  getNodeMap() {
-    if (!this._nodemap) this._nodemap = buildNodeMap(this.getProps());
-    return this._nodemap;
+}
+
+// src/core/validate/policies/collect-service-items.ts
+function asArray(v) {
+  if (v === void 0) return void 0;
+  return Array.isArray(v) ? v : [v];
+}
+function isServiceIdRef2(v) {
+  return typeof v === "string" || typeof v === "number" && Number.isFinite(v);
+}
+function svcSnapshot(serviceMap, sid) {
+  const svc = serviceMap[sid];
+  if (!svc) return { id: sid };
+  const meta = svc.meta && typeof svc.meta === "object" ? svc.meta : {};
+  return {
+    ...svc,
+    id: sid,
+    ...meta
+  };
+}
+function pushItem(out, next) {
+  var _a;
+  const key = `${String(next.serviceId)}|${next.role}`;
+  const existing = out.get(key);
+  if (!existing) {
+    out.set(key, {
+      tagId: next.tagId,
+      fieldId: next.fieldId,
+      optionId: next.optionId,
+      nodeId: next.nodeId,
+      serviceId: next.serviceId,
+      role: next.role,
+      service: next.service,
+      affectedIds: Array.from(new Set(next.affectedIds))
+    });
+    return;
   }
-  /* ───── internals ──────────────────────────────────────────────────── */
-  rebuildIndexes() {
-    this.tagById.clear();
-    this.fieldById.clear();
-    this.optionOwnerById.clear();
-    this._nodemap = null;
-    for (const t of this.props.filters) this.tagById.set(t.id, t);
-    for (const f of this.props.fields) {
-      this.fieldById.set(f.id, f);
-      if (Array.isArray(f.options)) {
-        for (const o of f.options)
-          this.optionOwnerById.set(o.id, { fieldId: f.id });
-      }
-    }
+  const mergedIds = Array.from(
+    /* @__PURE__ */ new Set([...existing.affectedIds, ...next.affectedIds])
+  );
+  out.set(key, {
+    ...existing,
+    tagId: (_a = existing.tagId) != null ? _a : next.tagId,
+    affectedIds: mergedIds
+  });
+}
+function fieldRoleOf(f, o) {
+  var _a, _b;
+  const roleRaw = (_b = (_a = o == null ? void 0 : o.pricing_role) != null ? _a : f.pricing_role) != null ? _b : "base";
+  return roleRaw === "utility" ? "utility" : "base";
+}
+function applyFilterAllowLists(tagId, fieldId, filter) {
+  const tagAllow = asArray(filter == null ? void 0 : filter.tag_id);
+  const fieldAllow = asArray(filter == null ? void 0 : filter.field_id);
+  if (tagAllow) {
+    if (!tagId) return false;
+    if (!tagAllow.includes(tagId)) return false;
   }
-};
-function toStringSet(v) {
-  if (!v) return /* @__PURE__ */ new Set();
-  if (v instanceof Set) return new Set(Array.from(v).map(String));
-  return new Set(v.map(String));
+  if (fieldAllow) {
+    if (!fieldId) return false;
+    if (!fieldAllow.includes(fieldId)) return false;
+  }
+  return true;
 }
-
-// src/core/rate-coherence.ts
-function validateRateCoherenceDeep(params) {
-  var _a, _b, _c;
-  const { builder, services, tagId } = params;
-  const ratePolicy = normalizeRatePolicy(params.ratePolicy);
-  const props = builder.getProps();
-  const invalidFieldIds = new Set((_a = params.invalidFieldIds) != null ? _a : []);
-  const fields = (_b = props.fields) != null ? _b : [];
-  const fieldById = new Map(fields.map((f) => [f.id, f]));
-  const tagById = new Map(((_c = props.filters) != null ? _c : []).map((t) => [t.id, t]));
-  const tag = tagById.get(tagId);
-  const baselineFieldIds = builder.visibleFields(tagId, []);
-  const baselineFields = baselineFieldIds.map((fid) => fieldById.get(fid)).filter(Boolean);
-  const anchors = collectAnchors(baselineFields);
-  const diagnostics = [];
-  const seen = /* @__PURE__ */ new Set();
-  for (const anchor of anchors) {
-    const selectedKeys = anchor.kind === "option" ? [`${anchor.fieldId}::${anchor.id}`] : [anchor.fieldId];
-    const visibleFields = builder.visibleFields(tagId, selectedKeys).map((fid) => fieldById.get(fid)).filter(Boolean);
-    const visibleInvalidFieldIds = visibleFields.map((field) => field.id).filter((fieldId) => invalidFieldIds.has(fieldId));
-    for (const fieldId of visibleInvalidFieldIds) {
-      const key = `internal|${tagId}|${fieldId}`;
-      if (seen.has(key)) continue;
-      seen.add(key);
-      diagnostics.push({
-        kind: "internal_field",
-        scope: "visible_group",
-        tagId,
-        fieldId,
-        nodeId: fieldId,
-        message: `Field "${fieldId}" is internally invalid under rate policy "${ratePolicy.kind}".`,
-        simulationAnchor: {
-          kind: anchor.kind,
-          id: anchor.id,
-          fieldId: anchor.fieldId,
-          label: anchor.label
-        },
-        invalidFieldIds: [fieldId]
+function collectServiceItems(args) {
+  var _a, _b, _c, _d, _e;
+  const filter = args.filter;
+  const roleFilter = (_a = filter == null ? void 0 : filter.role) != null ? _a : "both";
+  const where = filter == null ? void 0 : filter.where;
+  const out = /* @__PURE__ */ new Map();
+  const addServiceRef = (ref) => {
+    if (roleFilter !== "both" && ref.role !== roleFilter) return;
+    if (!applyFilterAllowLists(ref.tagId, ref.fieldId, filter)) return;
+    const svc = args.serviceMap[ref.serviceId];
+    if (where && svc && !matchesWhere(svc, where)) return;
+    pushItem(out, {
+      ...ref,
+      service: svcSnapshot(args.serviceMap, ref.serviceId)
+    });
+  };
+  if (args.mode === "global") {
+    for (const t of (_b = args.tags) != null ? _b : []) {
+      const sid = t.service_id;
+      if (!isServiceIdRef2(sid)) continue;
+      addServiceRef({
+        tagId: t.id,
+        serviceId: sid,
+        role: "base",
+        affectedIds: [`tag:${t.id}`, `service:${String(sid)}`]
       });
     }
-    const references = visibleFields.flatMap(
-      (field) => collectFieldReferences(field, services)
-    );
-    if (references.length <= 1) continue;
-    const primary = references.reduce((best, current) => {
-      if (current.rate !== best.rate) {
-        return current.rate > best.rate ? current : best;
+  } else if (args.mode === "visible_group") {
+    const t = args.tag;
+    const sid = t ? t.service_id : void 0;
+    if (t && isServiceIdRef2(sid)) {
+      addServiceRef({
+        tagId: t.id,
+        serviceId: sid,
+        role: "base",
+        affectedIds: [`tag:${t.id}`, `service:${String(sid)}`]
+      });
+    }
+  }
+  const fields = (_c = args.fields) != null ? _c : [];
+  for (const f of fields) {
+    const fSid = f.service_id;
+    if (isServiceIdRef2(fSid)) {
+      addServiceRef({
+        tagId: args.tagId,
+        fieldId: f.id,
+        serviceId: fSid,
+        role: "base",
+        affectedIds: [`field:${f.id}`, `service:${String(fSid)}`]
+      });
+    }
+    for (const o of (_d = f.options) != null ? _d : []) {
+      const oSid = o.service_id;
+      if (!isServiceIdRef2(oSid)) continue;
+      const role = fieldRoleOf(f, o);
+      addServiceRef({
+        tagId: args.tagId,
+        fieldId: f.id,
+        optionId: o.id,
+        serviceId: oSid,
+        role,
+        affectedIds: [
+          `field:${f.id}`,
+          `option:${o.id}`,
+          `service:${String(oSid)}`
+        ]
+      });
+    }
+  }
+  const fb = args.props.fallbacks;
+  if (!fb) return Array.from(out.values());
+  const addFallbackNode = (nodeId, list) => {
+    const arr = Array.isArray(list) ? list : [];
+    for (const cand of arr) {
+      if (!isServiceIdRef2(cand)) continue;
+      addServiceRef({
+        tagId: args.tagId,
+        nodeId,
+        serviceId: cand,
+        role: "base",
+        affectedIds: [`fallback-node:${nodeId}`, `service:${String(cand)}`]
+      });
+    }
+  };
+  const addFallbackGlobal = (primaryKey, list) => {
+    const primaryId = primaryKey;
+    addServiceRef({
+      tagId: args.tagId,
+      nodeId: primaryKey,
+      serviceId: primaryId,
+      role: "base",
+      affectedIds: [
+        `fallback-global-primary:${primaryKey}`,
+        `service:${String(primaryId)}`
+      ]
+    });
+    const arr = Array.isArray(list) ? list : [];
+    for (const cand of arr) {
+      if (!isServiceIdRef2(cand)) continue;
+      addServiceRef({
+        tagId: args.tagId,
+        nodeId: primaryKey,
+        serviceId: cand,
+        role: "base",
+        affectedIds: [
+          `fallback-global:${primaryKey}`,
+          `service:${String(cand)}`
+        ]
+      });
+    }
+  };
+  const includeAllFallbacks = args.mode === "global";
+  const includeGroupFallbacks = args.mode === "visible_group";
+  const nodes = fb.nodes && typeof fb.nodes === "object" ? fb.nodes : void 0;
+  if (nodes) {
+    if (includeAllFallbacks) {
+      for (const [nodeId, list] of Object.entries(nodes)) {
+        addFallbackNode(nodeId, list);
+      }
+    } else if (includeGroupFallbacks) {
+      const allowNodes = new Set(
+        Array.isArray(args.visibleNodeIds) ? args.visibleNodeIds : []
+      );
+      for (const nodeId of allowNodes) {
+        addFallbackNode(nodeId, nodes[nodeId]);
       }
-      const bestKey = `${best.fieldId}|${best.nodeId}`;
-      const currentKey = `${current.fieldId}|${current.nodeId}`;
-      return currentKey < bestKey ? current : best;
-    });
-    for (const candidate of references) {
-      if (candidate.nodeId === primary.nodeId) continue;
-      if (candidate.fieldId === primary.fieldId) continue;
-      if (passesRatePolicy(ratePolicy, primary.rate, candidate.rate)) {
-        continue;
+    }
+  }
+  const globalFb = fb.global && typeof fb.global === "object" ? fb.global : void 0;
+  if (globalFb) {
+    if (includeAllFallbacks) {
+      for (const [primaryKey, list] of Object.entries(globalFb)) {
+        addFallbackGlobal(primaryKey, list);
+      }
+    } else if (includeGroupFallbacks) {
+      const allowPrimaries = new Set(
+        ((_e = args.visiblePrimaries) != null ? _e : []).map((x) => String(x))
+      );
+      for (const primaryKey of allowPrimaries) {
+        const list = globalFb[primaryKey];
+        if (list === void 0) continue;
+        addFallbackGlobal(primaryKey, list);
       }
-      const key = contextualKey(tagId, primary, candidate, ratePolicy);
-      if (seen.has(key)) continue;
-      seen.add(key);
-      diagnostics.push({
-        kind: "contextual",
-        scope: "visible_group",
-        tagId,
-        nodeId: candidate.nodeId,
-        primary: toDiagnosticRef(primary),
-        offender: toDiagnosticRef(candidate),
-        policy: ratePolicy.kind,
-        policyPct: "pct" in ratePolicy ? ratePolicy.pct : void 0,
-        message: explainRateMismatch(
-          ratePolicy,
-          primary,
-          candidate,
-          describeLabel(tag)
-        ),
-        simulationAnchor: {
-          kind: anchor.kind,
-          id: anchor.id,
-          fieldId: anchor.fieldId,
-          label: anchor.label
-        },
-        invalidFieldIds: visibleInvalidFieldIds
-      });
     }
   }
-  return diagnostics;
+  return Array.from(out.values());
 }
-function collectAnchors(fields) {
-  var _a, _b;
-  const anchors = [];
-  for (const field of fields) {
-    if (!isButton(field)) continue;
-    if (Array.isArray(field.options) && field.options.length > 0) {
-      for (const option of field.options) {
-        anchors.push({
-          kind: "option",
-          id: option.id,
-          fieldId: field.id,
-          label: (_a = option.label) != null ? _a : option.id
-        });
+
+// src/core/validate/policies/ops.ts
+function evalPolicyOp(op, values, rule) {
+  switch (op) {
+    case "all_equal": {
+      const set = new Set(
+        values.map((v) => JSON.stringify(v))
+      );
+      return set.size <= 1;
+    }
+    case "no_mix": {
+      const set = new Set(
+        values.map((v) => JSON.stringify(v))
+      );
+      return set.size <= 1;
+    }
+    case "unique": {
+      const seen = /* @__PURE__ */ new Set();
+      for (const v of values) {
+        const k = JSON.stringify(v);
+        if (seen.has(k)) return false;
+        seen.add(k);
       }
-      continue;
+      return true;
     }
-    anchors.push({
-      kind: "field",
-      id: field.id,
-      fieldId: field.id,
-      label: (_b = field.label) != null ? _b : field.id
-    });
+    case "all_true": {
+      return values.every((v) => v === true);
+    }
+    case "any_true": {
+      return values.some((v) => v === true);
+    }
+    case "max_count": {
+      const limit = typeof rule.value === "number" ? rule.value : Infinity;
+      return values.length <= limit;
+    }
+    case "min_count": {
+      const min = typeof rule.value === "number" ? rule.value : 0;
+      return values.length >= min;
+    }
+    default:
+      return true;
   }
-  return anchors;
 }
-function collectFieldReferences(field, services) {
+
+// src/core/validate/policies/apply-policies.ts
+function uniq(arr) {
+  return Array.from(new Set(arr));
+}
+function stableSeverity(s) {
+  if (s === "warning") return "warning";
+  if (s === "error") return "error";
+  return "error";
+}
+function defaultPolicyMessage(rule) {
+  if (typeof rule.message === "string" && rule.message.trim())
+    return rule.message;
+  if (typeof rule.label === "string" && rule.label.trim())
+    return rule.label.trim();
+  return `Policy "${rule.id}" violated`;
+}
+function affectedFromItems(items) {
   var _a;
-  const members = collectBaseMembers(field, services);
-  if (members.length === 0) return [];
-  if (isMultiField(field)) {
-    const averageRate = members.reduce((sum, member) => sum + member.rate, 0) / members.length;
-    return [
-      {
-        refKind: "multi",
-        nodeId: field.id,
-        fieldId: field.id,
-        label: (_a = field.label) != null ? _a : field.id,
-        rate: averageRate,
-        members
+  const ids = [];
+  for (const it of items) {
+    for (const x of (_a = it.affectedIds) != null ? _a : []) ids.push(x);
+    ids.push(`service:${String(it.serviceId)}`);
+  }
+  return uniq(ids);
+}
+function visibleGroupNodeIds(tag, fields) {
+  var _a;
+  const ids = [tag.id];
+  for (const f of fields) {
+    for (const o of (_a = f.options) != null ? _a : []) {
+      ids.push(o.id);
+    }
+  }
+  return uniq(ids);
+}
+function visibleGroupPrimaries(tag, fields) {
+  var _a;
+  const prim = [];
+  const tagSid = tag.service_id;
+  if (typeof tagSid === "string" || typeof tagSid === "number" && Number.isFinite(tagSid)) {
+    prim.push(tagSid);
+  }
+  for (const f of fields) {
+    const fsid = f.service_id;
+    if (typeof fsid === "string" || typeof fsid === "number" && Number.isFinite(fsid)) {
+      prim.push(fsid);
+    }
+    for (const o of (_a = f.options) != null ? _a : []) {
+      const osid = o.service_id;
+      if (typeof osid === "string" || typeof osid === "number" && Number.isFinite(osid)) {
+        prim.push(osid);
       }
-    ];
+    }
   }
-  return members.map((member) => ({
-    refKind: "single",
-    nodeId: member.id,
-    fieldId: field.id,
-    label: member.label,
-    rate: member.rate,
-    service_id: member.service_id,
-    members: [member]
-  }));
+  return uniq(prim);
 }
-function collectBaseMembers(field, services) {
-  var _a, _b, _c;
-  const members = [];
-  if (Array.isArray(field.options) && field.options.length > 0) {
-    for (const option of field.options) {
-      const role2 = normalizeRole((_a = option.pricing_role) != null ? _a : field.pricing_role, "base");
-      if (role2 !== "base") continue;
-      if (option.service_id === void 0 || option.service_id === null) {
-        continue;
+function applyPolicies(errors, props, serviceMap, policies, fieldsVisibleUnder, tags) {
+  var _a, _b, _c, _d, _e;
+  if (!(policies == null ? void 0 : policies.length)) return;
+  const tagById = /* @__PURE__ */ new Map();
+  for (const t of tags) tagById.set(t.id, t);
+  for (const rule of policies) {
+    const projPath = (_a = rule.projection) != null ? _a : "service.id";
+    const severity = stableSeverity(
+      rule.severity
+    );
+    const message = defaultPolicyMessage(rule);
+    if (rule.scope === "global") {
+      const tagAllow = Array.isArray(
+        (_b = rule.filter) == null ? void 0 : _b.tag_id
+      ) ? (_c = rule.filter) == null ? void 0 : _c.tag_id : ((_d = rule.filter) == null ? void 0 : _d.tag_id) ? [rule.filter.tag_id] : void 0;
+      let items = [];
+      if (tagAllow && tagAllow.length) {
+        const merged = /* @__PURE__ */ new Map();
+        for (const id of tagAllow) {
+          const t = tagById.get(id);
+          if (!t) continue;
+          const visibleFields = fieldsVisibleUnder(t.id);
+          const nodeIds = visibleGroupNodeIds(
+            t,
+            visibleFields
+          );
+          const primaries = visibleGroupPrimaries(
+            t,
+            visibleFields
+          );
+          const sub = collectServiceItems({
+            mode: "visible_group",
+            props,
+            serviceMap,
+            tag: t,
+            tagId: t.id,
+            fields: visibleFields,
+            filter: rule.filter,
+            visibleNodeIds: nodeIds,
+            visiblePrimaries: primaries
+          });
+          for (const it of sub) {
+            const k = `${String(it.serviceId)}|${it.role}`;
+            const existing = merged.get(k);
+            if (!existing) {
+              merged.set(k, it);
+            } else {
+              merged.set(k, {
+                ...existing,
+                affectedIds: uniq([
+                  ...existing.affectedIds,
+                  ...it.affectedIds
+                ])
+              });
+            }
+          }
+        }
+        items = Array.from(merged.values());
+      } else {
+        const allFields = (_e = props.fields) != null ? _e : [];
+        items = collectServiceItems({
+          mode: "global",
+          props,
+          serviceMap,
+          tags,
+          fields: allFields,
+          filter: rule.filter
+        });
       }
-      const cap2 = getServiceCapability(services, option.service_id);
-      if (!cap2 || typeof cap2.rate !== "number" || !Number.isFinite(cap2.rate)) {
-        continue;
+      const values = items.map(
+        (it) => getByPath(it, projPath)
+      );
+      if (!evalPolicyOp(rule.op, values, rule)) {
+        errors.push({
+          code: "policy_violation",
+          severity,
+          message,
+          nodeId: "global",
+          details: {
+            ruleId: rule.id,
+            scope: "global",
+            op: rule.op,
+            projection: projPath,
+            count: items.length,
+            affectedIds: affectedFromItems(items)
+          }
+        });
       }
-      members.push({
-        kind: "option",
-        id: option.id,
-        fieldId: field.id,
-        label: (_b = option.label) != null ? _b : option.id,
-        service_id: option.service_id,
-        rate: cap2.rate
+      continue;
+    }
+    for (const t of tags) {
+      const visibleFields = fieldsVisibleUnder(t.id);
+      const nodeIds = visibleGroupNodeIds(t, visibleFields);
+      const primaries = visibleGroupPrimaries(t, visibleFields);
+      const items = collectServiceItems({
+        mode: "visible_group",
+        props,
+        serviceMap,
+        tag: t,
+        tagId: t.id,
+        fields: visibleFields,
+        filter: rule.filter,
+        visibleNodeIds: nodeIds,
+        visiblePrimaries: primaries
       });
+      if (!items.length) continue;
+      const values = items.map(
+        (it) => getByPath(it, projPath)
+      );
+      if (!evalPolicyOp(rule.op, values, rule)) {
+        errors.push({
+          code: "policy_violation",
+          severity,
+          message,
+          nodeId: t.id,
+          details: {
+            ruleId: rule.id,
+            scope: "visible_group",
+            op: rule.op,
+            projection: projPath,
+            count: items.length,
+            affectedIds: affectedFromItems(items)
+          }
+        });
+      }
     }
-    return members;
-  }
-  const role = normalizeRole(field.pricing_role, "base");
-  if (role !== "base") return members;
-  if (field.service_id === void 0 || field.service_id === null) return members;
-  const cap = getServiceCapability(services, field.service_id);
-  if (!cap || typeof cap.rate !== "number" || !Number.isFinite(cap.rate)) {
-    return members;
   }
-  members.push({
-    kind: "field",
-    id: field.id,
-    fieldId: field.id,
-    label: (_c = field.label) != null ? _c : field.id,
-    service_id: field.service_id,
-    rate: cap.rate
-  });
-  return members;
-}
-function isButton(field) {
-  if (field.button === true) return true;
-  return Array.isArray(field.options) && field.options.length > 0;
 }
-function normalizeRole(role, fallback) {
-  return role === "base" || role === "utility" ? role : fallback;
+
+// src/core/governance.ts
+var DEFAULT_FALLBACK_SETTINGS = {
+  requireConstraintFit: true,
+  ratePolicy: { kind: "lte_primary", pct: 5 },
+  selectionStrategy: "priority",
+  mode: "strict"
+};
+function resolveGlobalRatePolicy(options) {
+  return normalizeRatePolicy(options.ratePolicy);
 }
-function toDiagnosticRef(reference) {
+function resolveFallbackSettings(options) {
+  var _a;
   return {
-    nodeId: reference.nodeId,
-    fieldId: reference.fieldId,
-    label: reference.label,
-    refKind: reference.refKind,
-    service_id: reference.service_id,
-    rate: reference.rate
+    ...DEFAULT_FALLBACK_SETTINGS,
+    ...(_a = options.fallbackSettings) != null ? _a : {}
   };
 }
-function contextualKey(tagId, primary, candidate, ratePolicy) {
-  const pctKey = "pct" in ratePolicy ? `:${ratePolicy.pct}` : "";
-  return [
-    "contextual",
-    tagId,
-    primary.fieldId,
-    primary.nodeId,
-    candidate.fieldId,
-    candidate.nodeId,
-    `${ratePolicy.kind}${pctKey}`
-  ].join("|");
-}
-function describeLabel(tag) {
-  var _a, _b;
-  return (_b = (_a = tag == null ? void 0 : tag.label) != null ? _a : tag == null ? void 0 : tag.id) != null ? _b : "tag";
-}
-function explainRateMismatch(policy, primary, candidate, where) {
-  var _a, _b;
-  const primaryLabel = `${(_a = primary.label) != null ? _a : primary.nodeId} (${primary.rate})`;
-  const candidateLabel = `${(_b = candidate.label) != null ? _b : candidate.nodeId} (${candidate.rate})`;
-  switch (policy.kind) {
-    case "eq_primary":
-      return `Rate coherence failed (${where}): ${candidateLabel} must exactly match ${primaryLabel}.`;
-    case "lte_primary":
-      return `Rate coherence failed (${where}): ${candidateLabel} must stay within ${policy.pct}% below and never above ${primaryLabel}.`;
-    case "within_pct":
-      return `Rate coherence failed (${where}): ${candidateLabel} must be within ${policy.pct}% of ${primaryLabel}.`;
-    case "at_least_pct_lower":
-      return `Rate coherence failed (${where}): ${candidateLabel} must be at least ${policy.pct}% lower than ${primaryLabel}.`;
-  }
+function mergeValidatorOptions(defaults = {}, overrides = {}) {
+  var _a, _b, _c, _d;
+  const mergedFallbackSettings = {
+    ...(_a = defaults.fallbackSettings) != null ? _a : {},
+    ...(_b = overrides.fallbackSettings) != null ? _b : {}
+  };
+  return {
+    ...defaults,
+    ...overrides,
+    policies: (_c = overrides.policies) != null ? _c : defaults.policies,
+    ratePolicy: (_d = overrides.ratePolicy) != null ? _d : defaults.ratePolicy,
+    fallbackSettings: Object.keys(mergedFallbackSettings).length > 0 ? mergedFallbackSettings : void 0
+  };
 }
 
 // src/core/validate/index.ts
@@ -2892,7 +2985,8 @@ function validate(props, ctx = {}) {
     invalidRateFieldIds: /* @__PURE__ */ new Set(),
     tagById,
     fieldById,
-    fieldsVisibleUnder: (_tagId) => []
+    fieldsVisibleUnder: (_tagId) => [],
+    simulatedVisibilityContexts: []
   };
   validateStructure(v);
   validateIdentity(v);
@@ -2912,54 +3006,306 @@ function validate(props, ctx = {}) {
   validateServiceVsUserInput(v);
   validateUtilityMarkers(v);
   validateRates(v);
-  if (Object.keys(serviceMap).length > 0 && tags.length > 0) {
-    const builder = createBuilder({ serviceMap });
-    builder.load(props);
-    for (const tag of tags) {
-      const diags = validateRateCoherenceDeep({
-        builder,
-        services: serviceMap,
-        tagId: tag.id,
-        ratePolicy,
-        invalidFieldIds: v.invalidRateFieldIds
+  validateRateCoherence(v);
+  validateConstraints(v);
+  validateCustomFields(v);
+  validateGlobalUtilityGuard(v);
+  validateUnboundFields(v);
+  validateFallbacks(v);
+  return v.errors;
+}
+async function validateAsync(props, ctx = {}) {
+  await Promise.resolve();
+  if (typeof requestAnimationFrame === "function") {
+    await new Promise(
+      (resolve) => requestAnimationFrame(() => resolve())
+    );
+  } else {
+    await new Promise((resolve) => setTimeout(resolve, 0));
+  }
+  return validate(props, ctx);
+}
+
+// src/core/builder.ts
+var import_lodash_es2 = require("lodash-es");
+function createBuilder(opts = {}) {
+  return new BuilderImpl(opts);
+}
+var BuilderImpl = class {
+  constructor(opts = {}) {
+    this.props = {
+      filters: [],
+      fields: [],
+      schema_version: "1.0"
+    };
+    this.tagById = /* @__PURE__ */ new Map();
+    this.fieldById = /* @__PURE__ */ new Map();
+    this.optionOwnerById = /* @__PURE__ */ new Map();
+    this._nodemap = null;
+    this.options = { ...opts };
+  }
+  /* ───── lifecycle ─────────────────────────────────────────────────────── */
+  isTagId(id) {
+    return this.tagById.has(id);
+  }
+  isFieldId(id) {
+    return this.fieldById.has(id);
+  }
+  isOptionId(id) {
+    return this.optionOwnerById.has(id);
+  }
+  load(raw) {
+    const next = normalise(raw, {
+      defaultPricingRole: "base",
+      constraints: this.getConstraints().map((item) => item.label)
+    });
+    this.props = next;
+    this.rebuildIndexes();
+  }
+  getProps() {
+    return this.props;
+  }
+  setOptions(patch) {
+    this.options = { ...this.options, ...patch };
+  }
+  getServiceMap() {
+    var _a;
+    return (_a = this.options.serviceMap) != null ? _a : {};
+  }
+  getConstraints() {
+    var _a;
+    const serviceMap = this.getServiceMap();
+    const out = /* @__PURE__ */ new Set();
+    const guard = /* @__PURE__ */ new Set();
+    for (const svc of Object.values(serviceMap)) {
+      const flags = (_a = svc.flags) != null ? _a : {};
+      for (const flagId of Object.keys(flags)) {
+        if (guard.has(flagId)) continue;
+        guard.add(flagId);
+        out.add({
+          id: flagId,
+          value: flagId,
+          label: flagId,
+          description: flags[flagId].description
+        });
+      }
+    }
+    return Array.from(out);
+  }
+  /* ───── querying ─────────────────────────────────────────────────────── */
+  tree() {
+    var _a, _b, _c, _d;
+    const nodes = [];
+    const edges = [];
+    const showSet = toStringSet(this.options.showOptionNodes);
+    for (const t of this.props.filters) {
+      nodes.push({ id: t.id, kind: "tag", label: t.label });
+    }
+    for (const t of this.props.filters) {
+      if (t.bind_id) {
+        edges.push({
+          from: t.bind_id,
+          to: t.id,
+          kind: "child"
+        });
+      }
+    }
+    for (const f of this.props.fields) {
+      nodes.push({
+        id: f.id,
+        kind: "field",
+        label: f.label,
+        bind_type: f.pricing_role === "utility" ? "utility" : f.bind_id ? "bound" : null
       });
-      for (const diag of diags) {
-        if (diag.kind !== "contextual") continue;
-        errors.push({
-          code: "rate_coherence_violation",
-          severity: "error",
-          message: diag.message,
-          nodeId: diag.nodeId,
-          details: {
-            tagId: diag.tagId,
-            simulationAnchor: diag.simulationAnchor,
-            primary: diag.primary,
-            offender: diag.offender,
-            policy: diag.policy,
-            policyPct: diag.policyPct,
-            invalidFieldIds: diag.invalidFieldIds
-          }
+    }
+    for (const f of this.props.fields) {
+      const b = f.bind_id;
+      if (Array.isArray(b)) {
+        for (const tagId of b)
+          edges.push({
+            from: tagId,
+            to: f.id,
+            kind: "bind"
+          });
+      } else if (typeof b === "string") {
+        edges.push({ from: b, to: f.id, kind: "bind" });
+      }
+    }
+    for (const f of this.props.fields) {
+      const showOptions = showSet.has(f.id);
+      if (!showOptions) continue;
+      if (!Array.isArray(f.options)) continue;
+      for (const o of f.options) {
+        nodes.push({
+          id: o.id,
+          kind: "option",
+          label: o.label
         });
+        const e = {
+          from: f.id,
+          to: o.id,
+          kind: "option",
+          meta: { ownerField: f.id }
+        };
+        edges.push(e);
+      }
+    }
+    for (const t of this.props.filters) {
+      for (const id of (_a = t.includes) != null ? _a : []) {
+        edges.push({ from: t.id, to: id, kind: "include" });
+      }
+      for (const id of (_b = t.excludes) != null ? _b : []) {
+        edges.push({ from: t.id, to: id, kind: "exclude" });
       }
     }
+    const incMap = (_c = this.props.includes_for_buttons) != null ? _c : {};
+    const excMap = (_d = this.props.excludes_for_buttons) != null ? _d : {};
+    const pushButtonEdge = (keyId, targetFieldId, kind) => {
+      var _a2;
+      const owner = this.optionOwnerById.get(keyId);
+      const ownerFieldId = (_a2 = owner == null ? void 0 : owner.fieldId) != null ? _a2 : this.fieldById.has(keyId) ? keyId : void 0;
+      if (!ownerFieldId) return;
+      const fromNode = owner && showSet.has(owner.fieldId) ? keyId : ownerFieldId;
+      const meta = owner ? showSet.has(owner.fieldId) ? {
+        via: "option-visible",
+        ownerField: owner.fieldId,
+        sourceOption: keyId
+      } : {
+        via: "option-hidden",
+        ownerField: owner.fieldId,
+        sourceOption: keyId
+      } : { via: "field-button" };
+      const e = { from: fromNode, to: targetFieldId, kind, meta };
+      edges.push(e);
+    };
+    for (const [keyId, arr] of Object.entries(incMap)) {
+      for (const fid of arr != null ? arr : [])
+        pushButtonEdge(keyId, fid, "include");
+    }
+    for (const [keyId, arr] of Object.entries(excMap)) {
+      for (const fid of arr != null ? arr : [])
+        pushButtonEdge(keyId, fid, "exclude");
+    }
+    return { nodes, edges };
   }
-  validateConstraints(v);
-  validateCustomFields(v);
-  validateGlobalUtilityGuard(v);
-  validateUnboundFields(v);
-  validateFallbacks(v);
-  return v.errors;
-}
-async function validateAsync(props, ctx = {}) {
-  await Promise.resolve();
-  if (typeof requestAnimationFrame === "function") {
-    await new Promise(
-      (resolve) => requestAnimationFrame(() => resolve())
+  cleanedProps() {
+    var _a, _b, _c, _d, _e;
+    const fieldIds = new Set(this.props.fields.map((f) => f.id));
+    const optionIds = /* @__PURE__ */ new Set();
+    this.optionOwnerById.forEach((_v, oid) => optionIds.add(oid));
+    const includedByTag = /* @__PURE__ */ new Set();
+    const excludedAnywhere = /* @__PURE__ */ new Set();
+    for (const t of this.props.filters) {
+      for (const id of (_a = t.includes) != null ? _a : []) includedByTag.add(id);
+      for (const id of (_b = t.excludes) != null ? _b : []) excludedAnywhere.add(id);
+    }
+    const incMap = (_c = this.props.includes_for_buttons) != null ? _c : {};
+    const excMap = (_d = this.props.excludes_for_buttons) != null ? _d : {};
+    const includedByButtons = /* @__PURE__ */ new Set();
+    const referencedKeys = /* @__PURE__ */ new Set();
+    const referencedOwnerFields = /* @__PURE__ */ new Set();
+    for (const [key, arr] of Object.entries(incMap)) {
+      referencedKeys.add(key);
+      const owner = this.optionOwnerById.get(key);
+      if (owner) referencedOwnerFields.add(owner.fieldId);
+      for (const fid of arr != null ? arr : []) {
+        includedByButtons.add(fid);
+      }
+    }
+    for (const [key, arr] of Object.entries(excMap)) {
+      referencedKeys.add(key);
+      const owner = this.optionOwnerById.get(key);
+      if (owner) referencedOwnerFields.add(owner.fieldId);
+      for (const fid of arr != null ? arr : []) {
+        void fid;
+      }
+    }
+    const boundIds = /* @__PURE__ */ new Set();
+    for (const f of this.props.fields) {
+      const b = f.bind_id;
+      if (Array.isArray(b)) b.forEach((id) => boundIds.add(id));
+      else if (typeof b === "string") boundIds.add(b);
+    }
+    const fields = this.props.fields.filter((f) => {
+      var _a2;
+      const isUtility = ((_a2 = f.pricing_role) != null ? _a2 : "base") === "utility";
+      if (!isUtility) return true;
+      const bound = !!f.bind_id;
+      const included = includedByTag.has(f.id) || includedByButtons.has(f.id);
+      const referenced = referencedOwnerFields.has(f.id) || referencedKeys.has(f.id);
+      const excluded = excludedAnywhere.has(f.id);
+      return bound || included || referenced || !excluded;
+    });
+    const allowedTargets = new Set(fields.map((f) => f.id));
+    const pruneButtons = (src) => {
+      if (!src) return void 0;
+      const out2 = {};
+      for (const [key, arr] of Object.entries(src)) {
+        const keyIsValid = optionIds.has(key) || fieldIds.has(key);
+        if (!keyIsValid) continue;
+        const cleaned = (arr != null ? arr : []).filter(
+          (fid) => allowedTargets.has(fid)
+        );
+        if (cleaned.length) out2[key] = Array.from(new Set(cleaned));
+      }
+      return Object.keys(out2).length ? out2 : void 0;
+    };
+    const includes_for_buttons = pruneButtons(
+      this.props.includes_for_buttons
     );
-  } else {
-    await new Promise((resolve) => setTimeout(resolve, 0));
+    const excludes_for_buttons = pruneButtons(
+      this.props.excludes_for_buttons
+    );
+    const out = {
+      filters: this.props.filters.slice(),
+      fields,
+      ...this.props.orderKinds ? { orderKinds: this.props.orderKinds } : {},
+      ...includes_for_buttons && { includes_for_buttons },
+      ...excludes_for_buttons && { excludes_for_buttons },
+      schema_version: (_e = this.props.schema_version) != null ? _e : "1.0",
+      // keep fallbacks & other maps as-is
+      ...this.props.fallbacks ? { fallbacks: this.props.fallbacks } : {}
+    };
+    return out;
   }
-  return validate(props, ctx);
+  errors() {
+    return validate(this.props, mergeValidatorOptions({}, this.options));
+  }
+  getOptions() {
+    return (0, import_lodash_es2.cloneDeep)(this.options);
+  }
+  visibleFields(tagId, selectedKeys) {
+    var _a;
+    return visibleFieldIdsUnder(this.props, tagId, {
+      selectedKeys: new Set(
+        (_a = selectedKeys != null ? selectedKeys : this.options.selectedOptionKeys) != null ? _a : []
+      )
+    });
+  }
+  getNodeMap() {
+    if (!this._nodemap) this._nodemap = buildNodeMap(this.getProps());
+    return this._nodemap;
+  }
+  /* ───── internals ──────────────────────────────────────────────────── */
+  rebuildIndexes() {
+    this.tagById.clear();
+    this.fieldById.clear();
+    this.optionOwnerById.clear();
+    this._nodemap = null;
+    for (const t of this.props.filters) this.tagById.set(t.id, t);
+    for (const f of this.props.fields) {
+      this.fieldById.set(f.id, f);
+      if (Array.isArray(f.options)) {
+        for (const o of f.options)
+          this.optionOwnerById.set(o.id, { fieldId: f.id });
+      }
+    }
+  }
+};
+function toStringSet(v) {
+  if (!v) return /* @__PURE__ */ new Set();
+  if (v instanceof Set) return new Set(Array.from(v).map(String));
+  return new Set(v.map(String));
 }
 
 // src/core/fallback.ts
@@ -3957,22 +4303,15 @@ function compilePolicies(raw) {
 
 // src/core/service-filter.ts
 function filterServicesForVisibleGroup(input, deps) {
-  var _a, _b, _c, _d, _e, _f, _g, _h, _i, _j, _k;
+  var _a, _b, _c, _d, _e, _f, _g, _h, _i, _j, _k, _l;
   const svcMap = (_c = (_b = (_a = deps.builder).getServiceMap) == null ? void 0 : _b.call(_a)) != null ? _c : {};
   const builderOptions = (_e = (_d = deps.builder).getOptions) == null ? void 0 : _e.call(_d);
   const { context } = input;
   const usedSet = new Set(context.usedServiceIds.map(String));
-  const primary = context.usedServiceIds[0];
   const explicitFallbackSettings = (_f = context.fallbackSettings) != null ? _f : context.fallback;
   const resolvedRatePolicy = normalizeRatePolicy(
     (_h = (_g = context.ratePolicy) != null ? _g : explicitFallbackSettings == null ? void 0 : explicitFallbackSettings.ratePolicy) != null ? _h : builderOptions == null ? void 0 : builderOptions.ratePolicy
   );
-  const fallbackSettingsSource = explicitFallbackSettings != null ? explicitFallbackSettings : builderOptions == null ? void 0 : builderOptions.fallbackSettings;
-  const fb = {
-    ...DEFAULT_FALLBACK_SETTINGS,
-    ...fallbackSettingsSource != null ? fallbackSettingsSource : {},
-    ratePolicy: resolvedRatePolicy
-  };
   const policySource = (_j = (_i = context.policies) != null ? _i : builderOptions == null ? void 0 : builderOptions.policies) != null ? _j : [];
   const visibleServiceIds = context.selectedButtons === void 0 ? void 0 : collectVisibleServiceIds(
     deps.builder,
@@ -4000,7 +4339,15 @@ function filterServicesForVisibleGroup(input, deps) {
       cap.id,
       (_k = context.effectiveConstraints) != null ? _k : {}
     );
-    const passesRate2 = primary == null ? true : rateOk(svcMap, id, primary, fb);
+    const passesRate2 = candidatePassesRateCoherence(
+      deps.builder,
+      svcMap,
+      context.tagId,
+      (_l = context.selectedButtons) != null ? _l : [],
+      context.usedServiceIds,
+      id,
+      resolvedRatePolicy
+    );
     const polRes = evaluatePoliciesRaw(
       policySource,
       [...context.usedServiceIds, id],
@@ -4119,7 +4466,9 @@ function collectVisibleServiceIds(builder, tagId, selectedButtons) {
   const fields = (_b = props.fields) != null ? _b : [];
   const tag = tags.find((t) => t.id === tagId);
   if ((tag == null ? void 0 : tag.service_id) != null) out.add(String(tag.service_id));
-  const visibleFieldIds = new Set(builder.visibleFields(tagId, selectedButtons));
+  const visibleFieldIds = new Set(
+    builder.visibleFields(tagId, selectedButtons)
+  );
   for (const field of fields) {
     if (!visibleFieldIds.has(field.id)) continue;
     if (field.service_id != null) {
@@ -4142,8 +4491,7 @@ function matchesRuleFilter(cap, rule, tagId) {
   if (!cap) return false;
   const f = rule.filter;
   if (!f) return true;
-  if (f.tag_id && !toStrSet(f.tag_id).has(String(tagId))) return false;
-  return true;
+  return !(f.tag_id && !toStrSet(f.tag_id).has(String(tagId)));
 }
 function toStrSet(v) {
   const arr = Array.isArray(v) ? v : [v];
@@ -4151,6 +4499,107 @@ function toStrSet(v) {
   for (const x of arr) s.add(String(x));
   return s;
 }
+function candidatePassesRateCoherence(builder, serviceMap, tagId, selectedKeys, usedServiceIds, candidateId, ratePolicy) {
+  var _a, _b, _c, _d;
+  if (usedServiceIds.length === 0) return true;
+  const props = builder.getProps();
+  const baseFields = (_a = props.fields) != null ? _a : [];
+  const candidateFieldId = syntheticServiceFieldId("candidate", candidateId, 0);
+  const syntheticFields = [
+    ...usedServiceIds.map((serviceId, index) => ({
+      id: syntheticServiceFieldId("used", serviceId, index),
+      label: `Used service ${String(serviceId)}`,
+      type: "custom",
+      button: true,
+      service_id: serviceId,
+      pricing_role: "base"
+    })),
+    {
+      id: candidateFieldId,
+      label: `Candidate ${String(candidateId)}`,
+      type: "custom",
+      button: true,
+      service_id: candidateId,
+      pricing_role: "base"
+    }
+  ];
+  const fields = [...baseFields, ...syntheticFields];
+  const visibleFieldIds = [
+    ...builder.visibleFields(tagId, selectedKeys),
+    ...syntheticFields.map((field) => field.id)
+  ];
+  const anchoredFilters = ((_b = props.filters) != null ? _b : []).map(
+    (tag) => tag.id === tagId && usedServiceIds[0] != null ? { ...tag, service_id: usedServiceIds[0] } : tag
+  );
+  const validationProps = {
+    ...props,
+    filters: anchoredFilters,
+    fields
+  };
+  const errors = [];
+  const tags = (_c = validationProps.filters) != null ? _c : [];
+  const fieldById = new Map(fields.map((field) => [field.id, field]));
+  const tagById = new Map(tags.map((tag) => [tag.id, tag]));
+  const v = {
+    props: validationProps,
+    nodeMap: buildNodeMap(validationProps),
+    options: {
+      ...(_d = builder.getOptions) == null ? void 0 : _d.call(builder),
+      serviceMap,
+      ratePolicy
+    },
+    errors,
+    serviceMap,
+    selectedKeys: new Set(selectedKeys),
+    tags,
+    fields,
+    invalidRateFieldIds: /* @__PURE__ */ new Set(),
+    tagById,
+    fieldById,
+    fieldsVisibleUnder: () => [],
+    simulatedVisibilityContexts: []
+  };
+  validateRateCoherenceForVisibleContext({
+    v,
+    tagId,
+    selectedKeys,
+    visibleFieldIds,
+    effectMap: buildTriggerEffectMap(validationProps),
+    seen: /* @__PURE__ */ new Set()
+  });
+  return !errors.some(
+    (error) => rateIssueAffectsCandidate(
+      error,
+      candidateId,
+      candidateFieldId,
+      usedServiceIds[0]
+    )
+  );
+}
+function syntheticServiceFieldId(kind, serviceId, index) {
+  return `__service_filter_${kind}__:${index}:${String(serviceId)}`;
+}
+function rateIssueAffectsCandidate(error, candidateId, candidateFieldId, primaryAnchorId) {
+  var _a, _b, _c, _d;
+  if (error.code !== "rate_coherence_violation") return false;
+  const candidateKey = String(candidateId);
+  const details = (_a = error.details) != null ? _a : {};
+  const anchorKey = primaryAnchorId == null ? void 0 : String(primaryAnchorId);
+  const primaryMatchesAnchor = anchorKey == null || String((_b = details.primary) == null ? void 0 : _b.serviceId) === anchorKey || String((_c = details.primary) == null ? void 0 : _c.service_id) === anchorKey;
+  if (primaryMatchesAnchor && ((_d = details.affectedServiceIds) == null ? void 0 : _d.some(
+    (serviceId) => String(serviceId) === candidateKey
+  ))) {
+    return true;
+  }
+  if (primaryMatchesAnchor && String(error.nodeId) === candidateFieldId) {
+    return true;
+  }
+  return [details.primary, details.candidate].some((ref) => {
+    if (!ref) return false;
+    if (!primaryMatchesAnchor) return false;
+    return String(ref.serviceId) === candidateKey || String(ref.service_id) === candidateKey || String(ref.fieldId) === candidateFieldId || String(ref.nodeId) === candidateFieldId;
+  });
+}
 
 // src/utils/prune-fallbacks.ts
 function pruneInvalidNodeFallbacks(props, services, settings) {
@@ -5255,6 +5704,7 @@ function mapDiagReason(reason) {
 // Annotate the CommonJS export names for ESM import in node:
 0 && (module.exports = {
   buildOrderSnapshot,
+  buildTriggerEffectMap,
   collectFailedFallbacks,
   createBuilder,
   createFallbackEditor,
@@ -5263,6 +5713,7 @@ function mapDiagReason(reason) {
   getAssignedServiceIds,
   getEligibleFallbacks,
   getFallbackRegistrationInfo,
+  isRefExcludedBySelectedKeys,
   normalise,
   normalizeFieldValidation,
   resolveServiceFallback,