@objectstack/lint 17.0.0 → 17.2.0

package/dist/runtime.js

@@ -250,10 +250,10 @@ var OUTCOME_CLAUSE = {
   "fail-closed": "so the rule enforces nothing and the write is rejected fail-closed (#4649/#4763)",
   "fail-open": "so the predicate is SKIPPED fail-open \u2014 the field is never actually required, the write proceeds unchecked, and the only trace is a `requiredWhen \u2026 failed to evaluate \u2014 skipped` log line (#4649/#4811)"
 };
-function nullGuardMessage(subject, objectName, finding, outcome = "fail-closed") {
+function nullGuardMessage(subject, objectName, finding2, outcome = "fail-closed") {
   const owner = objectName ? `'${objectName}'` : "this object";
-  const hasNote = finding.hasOnlyGuard ? ` \`has(${finding.operand})\` does not guard it.` : "";
-  return `${subject} applies \`${finding.operator}\` to \`${finding.operand}\`, which ${owner} declares as nullable (no \`required: true\`, no \`defaultValue\`).${hasNote} At runtime the operand is null, CEL has no \`${finding.operator}\` overload for null, and the whole predicate aborts \u2014 ${OUTCOME_CLAUSE[outcome]}. The predicate compares a value that is null. ${NULL_GUARD_HINT}`;
+  const hasNote = finding2.hasOnlyGuard ? ` \`has(${finding2.operand})\` does not guard it.` : "";
+  return `${subject} applies \`${finding2.operator}\` to \`${finding2.operand}\`, which ${owner} declares as nullable (no \`required: true\`, no \`defaultValue\`).${hasNote} At runtime the operand is null, CEL has no \`${finding2.operator}\` overload for null, and the whole predicate aborts \u2014 ${OUTCOME_CLAUSE[outcome]}. The predicate compares a value that is null. ${NULL_GUARD_HINT}`;
 }
 
 // src/validate-expressions.ts
@@ -436,10 +436,10 @@ function validateStackExpressions(stack) {
     if (!nullableFields || nullableFields.size === 0) return;
     const source = celSourceOf(raw);
     if (!source) return;
-    for (const finding of findUnguardedNullableOperands(source, { nullableFields })) {
+    for (const finding2 of findUnguardedNullableOperands(source, { nullableFields })) {
       issues.push({
         where,
-        message: nullGuardMessage(subject, objectName, finding, outcome),
+        message: nullGuardMessage(subject, objectName, finding2, outcome),
         source,
         severity: "error"
       });
@@ -463,7 +463,7 @@ function validateStackExpressions(stack) {
   const FIELD_RULE_SLOT_CONSEQUENCE_GENERIC = "the predicate faults, and a faulting rule never produces the verdict you declared \u2014 each slot resolves the fault to its own fallback, and none of those fallbacks is yours";
   const FIELD_RULE_SLOT_CONSEQUENCE = {
     visibleWhen: "the predicate faults and the renderer falls back to VISIBLE (`resolveFieldRuleState` evaluates visibility with `fallback: true`, and no server-side gate evaluates a field-level `visibleWhen` at all), leaving the field the test was meant to hide showing for everyone (#6146)",
-    readonlyWhen: "the predicate faults \u2014 and the two ends fault in OPPOSITE directions. The server treats the field as LOCKED (`isReadonlyWhenLocked` will not waive a declared lock it could not evaluate, #4889) and drops your value from the payload, while the form still renders the field editable (`fallback: false`). Per ADR-0057 D10 the server is the one that decides: the field looks writable, the save reports success, and the value silently never lands",
+    readonlyWhen: "the predicate faults \u2014 and the two ends fault in OPPOSITE directions. The server treats the field as LOCKED (`isReadonlyWhenLocked` will not waive a declared lock it could not evaluate, #4889) and drops your value from the payload, while the form still renders the field editable (`fallback: false`). The server is the one that decides: the field looks writable, the save reports success, and the value silently never lands",
     requiredWhen: "the predicate faults and the requirement is never enforced anywhere \u2014 the server logs it and SKIPS the check (fail-open, #4977 deliberately did not take #4889's carve-out) and the form does not mark the field required either, so a record saves with the field empty",
     // Listed rather than left to the `??` below, so the map covers every slot
     // the field walk passes and the default stays unreachable. `FieldSchema`
@@ -522,14 +522,15 @@ function validateStackExpressions(stack) {
           if (retired.length > 0) {
             issues.push({
               where: `${at} \xB7 node '${node.id}' (script) callable`,
-              message: `script node carries \`${retired.map((k) => `config.${k}`).join("`, `")}\` \u2014 retired in @objectstack/spec 17 (#4343). The built-in 'email'/'slack' actions were logger-backed stubs that delivered nothing, and inline \`config.script\` was never executed. ` + (action && action !== "invoke_function" && !["email", "slack"].includes(action) ? `\`actionType: '${action}'\` named a registered function \u2014 move it to \`function: '${action}'\`. ` : `Use a \`notify\` node for mail, a \`connector_action\` (Slack connector) or \`http\` node for Slack, and a registered function for logic. `) + // #6856 route D (maintainer-ruled): the house sentence names the TOOL's
-              // behaviour, never the retired key's fate — "rewrite it" reads two ways
-              // over a branch that DELETES the key (template/recipients/variables/script),
-              // "rewrite existing sources" only one. Plain-quoted (not a template literal)
+              message: `script node carries \`${retired.map((k) => `config.${k}`).join("`, `")}\` \u2014 retired in @objectstack/spec 17 (#4343). The built-in 'email'/'slack' actions were logger-backed stubs that delivered nothing, and inline \`config.script\` was never executed. ` + (action && action !== "invoke_function" && !["email", "slack"].includes(action) ? `\`actionType: '${action}'\` named a registered function \u2014 move it to \`function: '${action}'\`. ` : `Use a \`notify\` node for mail, a \`connector_action\` (Slack connector) or \`http\` node for Slack, and a registered function for logic. `) + // #6856 route D (maintainer-ruled), reworded under #9529: the house
+              // sentence names the TOOL's behaviour, never the retired key's fate —
+              // "rewrite it" read two ways over a branch that DELETES the key
+              // (template/recipients/variables/script), and the tool never rewrote a
+              // source file at all. Plain-quoted (not a template literal)
               // so this site is a member of `retired-key-migrate-sentence.test.ts`'s
               // widened scan (#7030) on the same textual shape as the spec corpus — no
               // interpolation lives in this clause, so nothing is lost switching quote style.
-              "Run `os migrate meta --from 16` to rewrite existing sources automatically.",
+              "Run `os migrate meta --from 16` to list the mechanical edits for existing sources; apply them by hand.",
               source: JSON.stringify({ id: node.id, type: node.type, config: cfg })
             });
           } else if (!fn) {
@@ -600,10 +601,10 @@ function validateStackExpressions(stack) {
           f.expression,
           objectName ? { objectName, fields: fieldIndex.get(objectName), fieldTypes: fieldTypeIndex.get(objectName), scope: "record" } : { scope: "record" }
         );
-        const fieldWhere = `object '${objectName}' \xB7 field '${fname}' expression`;
-        for (const e of res.errors) issues.push({ where: fieldWhere, message: e.message, source: e.source, severity: "error" });
-        for (const w of res.warnings) issues.push({ where: fieldWhere, message: w.message, source: w.source, severity: "warning" });
-        warnUnprovisionedAnchors(fieldWhere, f.expression, objectName);
+        const fieldWhere2 = `object '${objectName}' \xB7 field '${fname}' expression`;
+        for (const e of res.errors) issues.push({ where: fieldWhere2, message: e.message, source: e.source, severity: "error" });
+        for (const w of res.warnings) issues.push({ where: fieldWhere2, message: w.message, source: w.source, severity: "warning" });
+        warnUnprovisionedAnchors(fieldWhere2, f.expression, objectName);
       }
     }
   }
@@ -1259,7 +1260,6 @@ function asArray4(v) {
 function strName(v) {
   return typeof v === "string" && v.length > 0 ? v : void 0;
 }
-var MODAL_VERB_RE = /^(?:create|new|add|edit|update)_(.+)$/;
 var URL_COLLECTION_TO_STACK_KEY = {
   object: "objects",
   objects: "objects",
@@ -1304,13 +1304,10 @@ function collectKnownTargets(stack) {
   return { actions, objects, reports, dashboards, pages, views };
 }
 function resolveActionTarget(actionType, target, known) {
-  if (known.actions.has(target)) return true;
   if (actionType === "modal") {
-    if (known.objects.has(target)) return true;
-    const m = MODAL_VERB_RE.exec(target);
-    if (m && known.objects.has(m[1])) return true;
+    return known.pages.has(target);
   }
-  return false;
+  return known.actions.has(target);
 }
 function resolveUrlRoute(target, known) {
   if (/^[a-z][a-z0-9+.-]*:\/\//i.test(target) || target.startsWith("//")) return null;
@@ -1340,14 +1337,13 @@ function validateDashboardActionRefs(stack) {
     const actionType = strName(action.actionType) ?? "url";
     if (actionType === "script" || actionType === "modal") {
       if (resolveActionTarget(actionType, target, known)) return;
-      const kindWord = actionType === "script" ? "script" : "modal";
       findings.push({
         severity: "error",
         rule: DASHBOARD_ACTION_TARGET_UNDEFINED,
         where,
         path,
-        message: `${kindWord} action target "${target}" resolves to no defined action` + (actionType === "modal" ? " or object" : "") + `. The button renders but does nothing when clicked \u2014 a dangling reference the runtime cannot dispatch (ADR-0049: a declared reference must resolve).`,
-        hint: actionType === "modal" ? `Define an action named "${target}" (stack.actions or the object's actions), use the "<verb>_<object>" convention against a real object (e.g. "create_<object>"), point actionUrl at an existing object, or remove the button.` : `Define a script action named "${target}" (stack.actions or the object's actions) with an inline body or a registered handler, or remove the button.`
+        message: actionType === "modal" ? `modal action target "${target}" names no declared page \u2014 a modal target names a PAGE, only (objectstack#6739). The button renders but the runtime refuses the dispatch when clicked \u2014 a dangling reference (ADR-0049: a declared reference must resolve).` : `script action target "${target}" resolves to no defined action. The button renders but does nothing when clicked \u2014 a dangling reference the runtime cannot dispatch (ADR-0049: a declared reference must resolve).`,
+        hint: actionType === "modal" ? `Point actionUrl at a declared page (stack.pages), or use actionType: 'form' with an "<object>.<view>" form-view target to open an object's form, or remove the button.` : `Define a script action named "${target}" (stack.actions or the object's actions) with an inline body or a registered handler, or remove the button.`
       });
       return;
     }
@@ -1389,7 +1385,7 @@ function validateDashboardActionRefs(stack) {
 import { classifyFilterToken, CONTEXT_TOKENS } from "@objectstack/spec/data";
 
 // src/filter-walk.ts
-var FILTER_KEYS = /* @__PURE__ */ new Set(["filter", "filters", "runtimeFilter"]);
+var FILTER_KEYS = /* @__PURE__ */ new Set(["filter", "filters", "runtimeFilter", "relatedListFilter"]);
 function asArray5(v) {
   if (Array.isArray(v)) return v;
   if (v && typeof v === "object") {
@@ -1493,6 +1489,149 @@ function validateFilterTokens(stack) {
   return out;
 }
 
+// src/validate-preset-comparands.ts
+import {
+  VALID_AST_OPERATORS,
+  bareDateRangePresetComparandMessage,
+  canonicalAstOperator,
+  isDateRangePresetName
+} from "@objectstack/spec/data";
+import { normalizeFilterOperator } from "@objectstack/spec/ui";
+var FILTER_PRESET_COMPARAND = "filter-preset-comparand";
+var PRESET_COMPARAND_SURFACES = [
+  { key: "dashboards", kind: "dashboard" },
+  { key: "objects", kind: "object" },
+  { key: "views", kind: "view" },
+  { key: "reports", kind: "report" },
+  { key: "datasets", kind: "dataset" },
+  { key: "pages", kind: "page" },
+  { key: "apps", kind: "app" },
+  { key: "flows", kind: "flow" }
+];
+var ORDERING_DOLLAR_OPS = /* @__PURE__ */ new Set(["$gt", "$gte", "$lt", "$lte"]);
+var ORDERING_INFIX_OPS = /* @__PURE__ */ new Set([">", ">=", "<", "<="]);
+var ORDERING_RULE_OPS = /* @__PURE__ */ new Set([
+  "greater_than",
+  "greater_than_or_equal",
+  "less_than",
+  "less_than_or_equal",
+  "before",
+  "after"
+]);
+var MAX_DEPTH = 32;
+function isPlainObject(v) {
+  return !!v && typeof v === "object" && !Array.isArray(v) && !(v instanceof Date);
+}
+function finding(where, path, preset, operator) {
+  return {
+    severity: "error",
+    rule: FILTER_PRESET_COMPARAND,
+    where,
+    path,
+    message: bareDateRangePresetComparandMessage(preset, operator),
+    hint: "Presets belong to the dashboard date-filter bar (dateRange.defaultRange, a date global filter's defaultValue). In a filter comparand, write the {date-macro} window the message names, or an ISO date."
+  };
+}
+function judgeConditionNode(node, path, where, out, depth) {
+  if (depth > MAX_DEPTH) return;
+  for (const [key, value] of Object.entries(node)) {
+    const here = `${path}.${key}`;
+    if (key === "$and" || key === "$or") {
+      if (Array.isArray(value)) {
+        value.forEach((arm, i) => {
+          if (isPlainObject(arm)) judgeConditionNode(arm, `${here}[${i}]`, where, out, depth + 1);
+        });
+      }
+      continue;
+    }
+    if (key === "$not") {
+      if (isPlainObject(value)) judgeConditionNode(value, here, where, out, depth + 1);
+      continue;
+    }
+    if (key.startsWith("$")) continue;
+    if (!isPlainObject(value)) continue;
+    const hasOps = Object.keys(value).some((k) => k.startsWith("$"));
+    if (!hasOps) {
+      judgeConditionNode(value, here, where, out, depth + 1);
+      continue;
+    }
+    for (const [op, comparand] of Object.entries(value)) {
+      if (ORDERING_DOLLAR_OPS.has(op) && isDateRangePresetName(comparand)) {
+        out.push(finding(where, `${here}.${op}`, comparand, op));
+        continue;
+      }
+      if (op === "$between" && Array.isArray(comparand)) {
+        comparand.forEach((endpoint, i) => {
+          if (isDateRangePresetName(endpoint)) {
+            out.push(finding(where, `${here}.${op}[${i}]`, endpoint, op));
+          }
+        });
+      }
+    }
+  }
+}
+function judgeFilterRule(rule, path, where, out) {
+  const operator = normalizeFilterOperator(rule.operator);
+  if (typeof operator !== "string") return;
+  const value = rule.value;
+  if (ORDERING_RULE_OPS.has(operator) && isDateRangePresetName(value)) {
+    out.push(finding(where, `${path}.value`, value, operator));
+    return;
+  }
+  if (operator === "between" && Array.isArray(value)) {
+    value.forEach((endpoint, i) => {
+      if (isDateRangePresetName(endpoint)) {
+        out.push(finding(where, `${path}.value[${i}]`, endpoint, operator));
+      }
+    });
+  }
+}
+function judgeTriple(triple, path, where, out) {
+  const op = triple[1];
+  if (typeof op !== "string") return;
+  const canonical = canonicalAstOperator(op);
+  const value = triple[2];
+  if (ORDERING_INFIX_OPS.has(canonical) && isDateRangePresetName(value)) {
+    out.push(finding(where, `${path}[2]`, value, op));
+    return;
+  }
+  if (canonical === "between" && Array.isArray(value)) {
+    value.forEach((endpoint, i) => {
+      if (isDateRangePresetName(endpoint)) {
+        out.push(finding(where, `${path}[2][${i}]`, endpoint, op));
+      }
+    });
+  }
+}
+function judgeFilterValue(node, path, where, out, depth) {
+  if (depth > MAX_DEPTH) return;
+  if (Array.isArray(node)) {
+    if (typeof node[0] === "string" && typeof node[1] === "string" && !["and", "or"].includes(node[0].toLowerCase()) && VALID_AST_OPERATORS.has(node[1].toLowerCase())) {
+      judgeTriple(node, path, where, out);
+      return;
+    }
+    node.forEach((member, i) => {
+      if (typeof member === "string") return;
+      judgeFilterValue(member, `${path}[${i}]`, where, out, depth + 1);
+    });
+    return;
+  }
+  if (!isPlainObject(node)) return;
+  if (typeof node.field === "string" && typeof node.operator === "string") {
+    judgeFilterRule(node, path, where, out);
+    return;
+  }
+  judgeConditionNode(node, path, where, out, depth);
+}
+function validatePresetComparands(stack) {
+  if (!stack || typeof stack !== "object") return [];
+  const out = [];
+  walkAuthoredFilters(stack, PRESET_COMPARAND_SURFACES, ({ value, path, where }) => {
+    judgeFilterValue(value, path, where, out, 0);
+  });
+  return out;
+}
+
 // src/validate-empty-combinators.ts
 import { reduceFilterVerdict } from "@objectstack/spec/data";
 var FILTER_EMPTY_COMBINATOR = "filter-empty-combinator";
@@ -1816,6 +1955,7 @@ import {
 } from "@objectstack/spec/data";
 var SEARCHABLE_FIELD_UNKNOWN = "searchable-field-unknown";
 var SEARCHABLE_FIELD_UNSEARCHABLE = "searchable-field-unsearchable";
+var SEARCHABLE_FIELD_UNPROVISIONED = "searchable-field-unprovisioned";
 function asArray7(v) {
   if (Array.isArray(v)) return v;
   if (v && typeof v === "object") {
@@ -1906,7 +2046,7 @@ function indexObjectSearchTargets(stack) {
   }
   return fieldsByObject;
 }
-function checkSearchableFieldList(declared, objectName, fieldsByObject, where, path, subject, role = "narrowing") {
+function checkSearchableFieldList(declared, objectName, fieldsByObject, where, path, subject, role = "narrowing", unprovisionedAnchors) {
   const findings = [];
   if (!Array.isArray(declared) || declared.length === 0) return findings;
   if (!objectName) return findings;
@@ -1914,6 +2054,7 @@ function checkSearchableFieldList(declared, objectName, fieldsByObject, where, p
   const target = fieldsByObject.get(objectName);
   if (!target) return findings;
   const known = target.names;
+  const anchors = unprovisionedAnchors?.get(objectName);
   const resolution = role === "narrowing" ? resolveAllowedSet(target) : void 0;
   for (let i = 0; i < declared.length; i++) {
     const entry = declared[i];
@@ -1931,6 +2072,16 @@ function checkSearchableFieldList(declared, objectName, fieldsByObject, where, p
       });
       continue;
     }
+    if (anchors?.has(name)) {
+      findings.push({
+        severity: "warning",
+        rule: SEARCHABLE_FIELD_UNPROVISIONED,
+        where,
+        path: `${path}[${i}]`,
+        message: `${subject} entry "${name}" resolves on object "${objectName}", but ${unprovisionedAnchorCause(objectName, name)}` + (role === "narrowing" ? ` \u2014 clients echo this declaration verbatim as the '$searchFields' override, so every toolbar search on this list scans a column that is empty on every record: it reads as search coverage and matches nothing.` : ` \u2014 'search' scans it on every record and it can never match, so the object's searchable set is narrower than it declares. Should it be the ONLY entry that resolves, the set scans nothing at all.`),
+        hint: unprovisionedAnchorHint(objectName, name)
+      });
+    }
     if (isVirtualSearchField(target.fields[name])) {
       const vtype = target.fields[name]?.type;
       findings.push({
@@ -1984,9 +2135,19 @@ function validateSearchableFields(stack) {
   if (!isRec3(stack)) return findings;
   const objects = asArray7(stack.objects);
   const fieldsByObject = indexObjectSearchTargets(stack);
+  const unprovisionedAnchors = indexUnprovisionedAnchors(stack);
   const check = (declared, objectName, where, path, subject, role) => {
     findings.push(
-      ...checkSearchableFieldList(declared, objectName, fieldsByObject, where, path, subject, role)
+      ...checkSearchableFieldList(
+        declared,
+        objectName,
+        fieldsByObject,
+        where,
+        path,
+        subject,
+        role,
+        unprovisionedAnchors
+      )
     );
   };
   for (let oi = 0; oi < objects.length; oi++) {
@@ -2024,6 +2185,26 @@ function validateSearchableFields(stack) {
     if (!isRec3(view)) continue;
     const viewLabel2 = strName3(view.name) ?? strName3(view.objectName) ?? `#${vi}`;
     const viewObject = strName3(view.objectName) ?? strName3(view.object);
+    if (view.viewKind === "list" && !isRec3(view.config)) {
+      check(
+        view.searchableFields,
+        listViewObject(view) ?? viewObject,
+        `view "${viewLabel2}" (flattened list overlay)`,
+        `views[${vi}].searchableFields`,
+        "list-view searchableFields",
+        "narrowing"
+      );
+    }
+    if (view.viewKind === "list" && isRec3(view.config)) {
+      check(
+        view.config.searchableFields,
+        listViewObject(view.config) ?? viewObject,
+        `view "${viewLabel2}" (ViewItem record)`,
+        `views[${vi}].config.searchableFields`,
+        "list-view searchableFields",
+        "narrowing"
+      );
+    }
     if (isRec3(view.list)) {
       check(
         view.list.searchableFields,
@@ -2055,33 +2236,244 @@ function listViewObject(listView) {
   return isRec3(data) ? strName3(data.object) : void 0;
 }
 
-// src/page-walk.ts
+// src/validate-sortable-fields.ts
+import { isVirtualSearchField as isVirtualSearchField2 } from "@objectstack/spec/data";
+var SORT_FIELD_UNKNOWN = "sort-field-unknown";
+var SORT_FIELD_UNSORTABLE = "sort-field-unsortable";
+var SORT_FIELD_UNPROVISIONED = "sort-field-unprovisioned";
 function isRec4(v) {
   return !!v && typeof v === "object" && !Array.isArray(v);
 }
 function strName4(v) {
   return typeof v === "string" && v.length > 0 ? v : void 0;
 }
+function readSortKeys(declared) {
+  const fromShorthand = (raw, at) => {
+    const trimmed = raw.trim();
+    if (!trimmed) return void 0;
+    const bare = trimmed.startsWith("-") ? trimmed.slice(1).trim() : trimmed.split(/\s+/)[0];
+    return bare ? { field: bare, at } : void 0;
+  };
+  if (typeof declared === "string") {
+    return declared.split(",").map((part, i) => fromShorthand(part, declared.includes(",") ? `[${i}]` : "")).filter((k) => !!k);
+  }
+  if (Array.isArray(declared)) {
+    const keys = [];
+    for (let i = 0; i < declared.length; i++) {
+      const el = declared[i];
+      if (typeof el === "string") {
+        const k = fromShorthand(el, `[${i}]`);
+        if (k) keys.push(k);
+        continue;
+      }
+      if (!isRec4(el)) continue;
+      const field = strName4(el.field);
+      if (field) keys.push({ field: field.trim(), at: `[${i}]` });
+    }
+    return keys;
+  }
+  return [];
+}
+function suggest4(target, known) {
+  let best;
+  let bestScore = Infinity;
+  for (const candidate of known) {
+    const d = distance3(target, candidate);
+    if (d < bestScore) {
+      bestScore = d;
+      best = candidate;
+    }
+  }
+  const limit = Math.max(2, Math.floor(target.length / 3));
+  return best && bestScore <= limit ? ` Did you mean "${best}"?` : "";
+}
+function distance3(a, b) {
+  const m = a.length;
+  const n = b.length;
+  if (m === 0) return n;
+  if (n === 0) return m;
+  let prev = Array.from({ length: n + 1 }, (_, j) => j);
+  for (let i = 1; i <= m; i++) {
+    const curr = [i, ...new Array(n).fill(0)];
+    for (let j = 1; j <= n; j++) {
+      const cost = a[i - 1] === b[j - 1] ? 0 : 1;
+      curr[j] = Math.min(curr[j - 1] + 1, prev[j] + 1, prev[j - 1] + cost);
+    }
+    prev = curr;
+  }
+  return prev[n];
+}
+function checkSortDeclaration(declared, objectName, fieldsByObject, where, path, subject, unprovisionedAnchors) {
+  const findings = [];
+  if (declared === void 0 || declared === null) return findings;
+  if (!objectName) return findings;
+  if (!fieldsByObject.has(objectName)) return findings;
+  const target = fieldsByObject.get(objectName);
+  if (!target) return findings;
+  const known = target.names;
+  const anchors = unprovisionedAnchors?.get(objectName);
+  for (const key of readSortKeys(declared)) {
+    const name = key.field;
+    const head = name.split(".")[0];
+    if (SYSTEM_FIELDS.has(head)) {
+      if (!name.includes(".") && anchors?.has(head)) {
+        findings.push({
+          severity: "warning",
+          rule: SORT_FIELD_UNPROVISIONED,
+          where,
+          path: `${path}${key.at}`,
+          message: `${subject} orders by "${name}", which resolves on object "${objectName}", but ${unprovisionedAnchorCause(objectName, name)} \u2014 so the ORDER BY reaches the driver, finds no column, and is dropped. Measured on a federated object over a real remote table, 'asc' and 'desc' return BYTE-IDENTICAL row order under a 200 while the same query on a real column reverses. Unlike this rule's other two verdicts nothing refuses it: the REST ingress (#6994) and the engine (#7095) both judge only 'formula', so the view's FIRST fetch \u2014 and every fetch after it \u2014 silently answers in an arbitrary order, which 'limit'/'offset' then slice into an arbitrary page.`,
+          hint: unprovisionedAnchorHint(objectName, name)
+        });
+      }
+      continue;
+    }
+    if (!known.has(head)) {
+      const dotted = name.includes(".");
+      findings.push({
+        severity: "error",
+        rule: SORT_FIELD_UNKNOWN,
+        where,
+        path: `${path}${key.at}`,
+        message: `${subject} orders by "${name}", which is not a field on object "${objectName}". The runtime refuses the sort rather than dropping it: every load of this view answers 400 INVALID_SORT (#6994), because a sort is the view's FIRST fetch and not an optional interaction.` + (dotted ? "" : suggest4(head, known)),
+        hint: (dotted ? `'sort' reaches only whole columns of "${objectName}" itself, never a related record's column \u2014 denormalise the value onto "${objectName}" (a stored field, written when the source changes) and sort by that. ` : `Fix the name, or add "${name}" to ${objectName}.fields. `) + (known.size > 0 ? `Object fields: ${[...known].sort().join(", ")}.` : "")
+      });
+      continue;
+    }
+    const meta = target.fields[name];
+    if (isVirtualSearchField2(meta)) {
+      const vtype = meta?.type;
+      findings.push({
+        severity: "error",
+        rule: SORT_FIELD_UNSORTABLE,
+        where,
+        path: `${path}${key.at}`,
+        message: `${subject} orders by "${name}" on object "${objectName}", a virtual '${vtype}' field: its value is computed on read and never stored, so no driver materialises a column to ORDER BY. Measured, an unrefused sort on one returns 'asc' and 'desc' in byte-identical order \u2014 the rows carry the values they were asked to be ordered by, unordered, under a success.`,
+        hint: `Denormalise the value onto "${objectName}" (a stored field, written when the source changes) and sort by that, or drop "${name}" from this sort. At runtime both doors now refuse it with 400 INVALID_SORT \u2014 the REST ingress (#6994) and the engine itself (#7095) \u2014 so the declaration breaks the view's first fetch, and every fetch after it.`
+      });
+    }
+  }
+  return findings;
+}
+function validateSortableFields(stack) {
+  const findings = [];
+  if (!isRec4(stack)) return findings;
+  const objects = Array.isArray(stack.objects) ? stack.objects : isRec4(stack.objects) ? Object.entries(stack.objects).map(([name, def]) => ({ name, ...def })) : [];
+  const fieldsByObject = indexObjectSearchTargets(stack);
+  const unprovisionedAnchors = indexUnprovisionedAnchors(stack);
+  const check = (declared, objectName, where, path, subject) => {
+    findings.push(
+      ...checkSortDeclaration(
+        declared,
+        objectName,
+        fieldsByObject,
+        where,
+        path,
+        subject,
+        unprovisionedAnchors
+      )
+    );
+  };
+  for (let oi = 0; oi < objects.length; oi++) {
+    const obj = objects[oi];
+    if (!isRec4(obj)) continue;
+    const objName = strName4(obj.name);
+    const label2 = objName ? `object "${objName}"` : `objects[${oi}]`;
+    if (isRec4(obj.listViews)) {
+      for (const [key, lv] of Object.entries(obj.listViews)) {
+        if (!isRec4(lv)) continue;
+        check(
+          lv.sort,
+          // A built-in list view belongs to its object; an inline `data.object`
+          // may still retarget it (ADR-0047 allows the explicit binding).
+          listViewObject2(lv) ?? objName,
+          `${label2} \u203A listViews.${key}`,
+          `objects[${oi}].listViews.${key}.sort`,
+          "list-view sort"
+        );
+      }
+    }
+  }
+  const views = Array.isArray(stack.views) ? stack.views : [];
+  for (let vi = 0; vi < views.length; vi++) {
+    const view = views[vi];
+    if (!isRec4(view)) continue;
+    const viewLabel2 = strName4(view.name) ?? strName4(view.objectName) ?? `#${vi}`;
+    const viewObject = strName4(view.objectName) ?? strName4(view.object);
+    if (view.viewKind === "list" && !isRec4(view.config)) {
+      check(
+        view.sort,
+        listViewObject2(view) ?? viewObject,
+        `view "${viewLabel2}" (flattened list overlay)`,
+        `views[${vi}].sort`,
+        "list-view sort"
+      );
+    }
+    if (view.viewKind === "list" && isRec4(view.config)) {
+      check(
+        view.config.sort,
+        listViewObject2(view.config) ?? viewObject,
+        `view "${viewLabel2}" (ViewItem record)`,
+        `views[${vi}].config.sort`,
+        "list-view sort"
+      );
+    }
+    if (isRec4(view.list)) {
+      check(
+        view.list.sort,
+        listViewObject2(view.list) ?? viewObject,
+        `view "${viewLabel2}" \u203A list`,
+        `views[${vi}].list.sort`,
+        "list-view sort"
+      );
+    }
+    if (isRec4(view.listViews)) {
+      for (const [key, lv] of Object.entries(view.listViews)) {
+        if (!isRec4(lv)) continue;
+        check(
+          lv.sort,
+          listViewObject2(lv) ?? viewObject,
+          `view "${viewLabel2}" \u203A listViews.${key}`,
+          `views[${vi}].listViews.${key}.sort`,
+          "list-view sort"
+        );
+      }
+    }
+  }
+  return findings;
+}
+function listViewObject2(listView) {
+  const data = listView.data;
+  return isRec4(data) ? strName4(data.object) : void 0;
+}
+
+// src/page-walk.ts
+function isRec5(v) {
+  return !!v && typeof v === "object" && !Array.isArray(v);
+}
+function strName5(v) {
+  return typeof v === "string" && v.length > 0 ? v : void 0;
+}
 var SOURCE_AUTHORED_KINDS = /* @__PURE__ */ new Set(["html", "react", "jsx"]);
 function isSourceAuthoredPage(page) {
-  const kind = strName4(page.kind);
+  const kind = strName5(page.kind);
   return kind !== void 0 && SOURCE_AUTHORED_KINDS.has(kind);
 }
 function walkPageComponents(page, pagePath) {
   const out = [];
-  if (!isRec4(page) || isSourceAuthoredPage(page)) return out;
-  const pageObject = strName4(page.object);
+  if (!isRec5(page) || isSourceAuthoredPage(page)) return out;
+  const pageObject = strName5(page.object);
   const visit = (node, path, inheritedObject) => {
-    if (!isRec4(node)) return;
-    const props = isRec4(node.properties) ? node.properties : void 0;
-    const dataSource = isRec4(node.dataSource) ? node.dataSource : void 0;
-    const objectName = strName4(dataSource?.object) ?? strName4(props?.object) ?? inheritedObject;
+    if (!isRec5(node)) return;
+    const props = isRec5(node.properties) ? node.properties : void 0;
+    const dataSource = isRec5(node.dataSource) ? node.dataSource : void 0;
+    const objectName = strName5(dataSource?.object) ?? strName5(props?.object) ?? inheritedObject;
     out.push({ component: node, path, objectName });
     if (!props) return;
     if (Array.isArray(props.items)) {
       for (let i = 0; i < props.items.length; i++) {
         const item = props.items[i];
-        if (!isRec4(item) || !Array.isArray(item.children)) continue;
+        if (!isRec5(item) || !Array.isArray(item.children)) continue;
         for (let c = 0; c < item.children.length; c++) {
           visit(item.children[c], `${path}.properties.items[${i}].children[${c}]`, objectName);
         }
@@ -2103,12 +2495,12 @@ function walkPageComponents(page, pagePath) {
   const regions = Array.isArray(page.regions) ? page.regions : [];
   for (let r = 0; r < regions.length; r++) {
     const region = regions[r];
-    if (!isRec4(region) || !Array.isArray(region.components)) continue;
+    if (!isRec5(region) || !Array.isArray(region.components)) continue;
     for (let c = 0; c < region.components.length; c++) {
       visit(region.components[c], `${pagePath}.regions[${r}].components[${c}]`, pageObject);
     }
   }
-  const slots = isRec4(page.slots) ? page.slots : void 0;
+  const slots = isRec5(page.slots) ? page.slots : void 0;
   if (slots) {
     for (const [slot, value] of Object.entries(slots)) {
       const list3 = Array.isArray(value) ? value : [value];
@@ -2130,13 +2522,13 @@ function asArray8(v) {
   }
   return [];
 }
-function strName5(v) {
+function strName6(v) {
   return typeof v === "string" && v.length > 0 ? v : void 0;
 }
 function strList(v) {
   return Array.isArray(v) ? v.filter((x) => typeof x === "string" && x.length > 0) : [];
 }
-function distance3(a, b) {
+function distance4(a, b) {
   const m = a.length;
   const n = b.length;
   if (m === 0) return n;
@@ -2152,11 +2544,11 @@ function distance3(a, b) {
   }
   return prev[n];
 }
-function suggest4(target, known) {
+function suggest5(target, known) {
   let best;
   let bestScore = Infinity;
   for (const candidate of known) {
-    const d = distance3(target, candidate);
+    const d = distance4(target, candidate);
     if (d < bestScore) {
       bestScore = d;
       best = candidate;
@@ -2168,13 +2560,13 @@ function suggest4(target, known) {
 function collectActionNames(stack) {
   const names = /* @__PURE__ */ new Set();
   for (const action of asArray8(stack.actions)) {
-    const n = strName5(action?.name);
+    const n = strName6(action?.name);
     if (n) names.add(n);
   }
   for (const obj of asArray8(stack.objects)) {
     if (!obj || typeof obj !== "object") continue;
     for (const action of asArray8(obj.actions)) {
-      const n = strName5(action?.name);
+      const n = strName6(action?.name);
       if (n) names.add(n);
     }
   }
@@ -2191,7 +2583,7 @@ function validateActionNameRefs(stack) {
       rule: ACTION_NAME_UNDEFINED,
       where,
       path,
-      message: `${surface} names action "${name}", which is defined by no action in this stack (neither \`stack.actions\` nor any object's \`actions\`). The button renders and does nothing when clicked \u2014 a dead affordance the runtime cannot dispatch.` + suggest4(name, known),
+      message: `${surface} names action "${name}", which is defined by no action in this stack (neither \`stack.actions\` nor any object's \`actions\`). The button renders and does nothing when clicked \u2014 a dead affordance the runtime cannot dispatch.` + suggest5(name, known),
       hint: `Define an action named "${name}" (in \`stack.actions\` or the object's \`actions\`) ${placement}, remove the reference, or ignore this if the action is contributed by another installed package.` + (known.size > 0 ? ` Defined actions: ${[...known].sort().join(", ")}.` : "")
     });
   };
@@ -2217,7 +2609,7 @@ function validateActionNameRefs(stack) {
       if (!def || typeof def !== "object") continue;
       if (def.execution !== "aggregate") continue;
       if (def.actionDef !== void 0) continue;
-      const name = strName5(def.name);
+      const name = strName6(def.name);
       if (!name) continue;
       check(
         name,
@@ -2232,7 +2624,7 @@ function validateActionNameRefs(stack) {
   for (let vi = 0; vi < views.length; vi++) {
     const view = views[vi];
     if (!view || typeof view !== "object") continue;
-    const viewName = strName5(view.name) ?? strName5(view.object) ?? `#${vi}`;
+    const viewName = strName6(view.name) ?? strName6(view.object) ?? `#${vi}`;
     const owner = `view "${viewName}"`;
     checkListContainer(view.list, owner, "list", `views[${vi}].list`);
     const listViews = view.listViews;
@@ -2248,7 +2640,7 @@ function validateActionNameRefs(stack) {
     if (!obj || typeof obj !== "object") continue;
     const objListViews = obj.listViews;
     if (!objListViews || typeof objListViews !== "object" || Array.isArray(objListViews)) continue;
-    const owner = `object "${strName5(obj.name) ?? `#${oi}`}"`;
+    const owner = `object "${strName6(obj.name) ?? `#${oi}`}"`;
     for (const [key, lv] of Object.entries(objListViews)) {
       checkListContainer(lv, owner, `listViews.${key}`, `objects[${oi}].listViews.${key}`);
     }
@@ -2257,7 +2649,7 @@ function validateActionNameRefs(stack) {
   for (let pi = 0; pi < pages.length; pi++) {
     const page = pages[pi];
     if (!page || typeof page !== "object") continue;
-    const pageName = strName5(page.name) ?? `#${pi}`;
+    const pageName = strName6(page.name) ?? `#${pi}`;
     for (const { component, path } of walkPageComponents(page, `pages[${pi}]`)) {
       const props = component.properties;
       if (!props || typeof props !== "object") continue;
@@ -2265,7 +2657,7 @@ function validateActionNameRefs(stack) {
       for (let ai = 0; ai < names.length; ai++) {
         check(
           names[ai],
-          `page "${pageName}" \xB7 component "${strName5(component.type) ?? "?"}"`,
+          `page "${pageName}" \xB7 component "${strName6(component.type) ?? "?"}"`,
           `${path}.properties.actionNames[${ai}]`,
           "Quick-actions bar"
         );
@@ -2276,7 +2668,7 @@ function validateActionNameRefs(stack) {
   for (let ai = 0; ai < apps.length; ai++) {
     const app = apps[ai];
     if (!app || typeof app !== "object") continue;
-    const appName = strName5(app.name) ?? `#${ai}`;
+    const appName = strName6(app.name) ?? `#${ai}`;
     const walkNav = (items, basePath) => {
       const navItems = asArray8(items);
       for (let ni = 0; ni < navItems.length; ni++) {
@@ -2284,20 +2676,20 @@ function validateActionNameRefs(stack) {
         if (!nav || typeof nav !== "object") continue;
         const navPath = `${basePath}[${ni}]`;
         const actionDef = nav.actionDef;
-        const actionName = strName5(actionDef?.actionName);
+        const actionName = strName6(actionDef?.actionName);
         if (nav.type === "action" && actionName) {
           check(
             actionName,
-            `app "${appName}" \xB7 nav "${strName5(nav.id) ?? `#${ni}`}"`,
+            `app "${appName}" \xB7 nav "${strName6(nav.id) ?? `#${ni}`}"`,
             `${navPath}.actionDef.actionName`,
             "Navigation action item"
           );
         }
-        const runAction = strName5(nav.runAction);
+        const runAction = strName6(nav.runAction);
         if (nav.type === "object" && runAction) {
           check(
             runAction,
-            `app "${appName}" \xB7 nav "${strName5(nav.id) ?? `#${ni}`}"`,
+            `app "${appName}" \xB7 nav "${strName6(nav.id) ?? `#${ni}`}"`,
             `${navPath}.runAction`,
             "Navigation deep-link auto-run"
           );
@@ -2324,23 +2716,23 @@ function asArray9(v) {
   }
   return [];
 }
-function strName6(v) {
+function strName7(v) {
   return typeof v === "string" && v.length > 0 ? v : void 0;
 }
-function isRec5(v) {
+function isRec6(v) {
   return !!v && typeof v === "object" && !Array.isArray(v);
 }
 function fieldRefsFrom(value, basePath) {
   const out = [];
   const one = (v, path) => {
-    const bare = strName6(v);
+    const bare = strName7(v);
     if (bare) {
       out.push({ name: bare, path });
       return;
     }
-    if (!isRec5(v)) return;
-    const named = strName6(v.field) ?? strName6(v.name);
-    if (named) out.push({ name: named, path: `${path}.${strName6(v.field) ? "field" : "name"}` });
+    if (!isRec6(v)) return;
+    const named = strName7(v.field) ?? strName7(v.name);
+    if (named) out.push({ name: named, path: `${path}.${strName7(v.field) ? "field" : "name"}` });
   };
   if (Array.isArray(value)) {
     for (let i = 0; i < value.length; i++) one(value[i], `${basePath}[${i}]`);
@@ -2366,7 +2758,12 @@ var COMPONENT_FIELD_SPECS = {
   "record:details": { props: ["fields", "hideFields"], nestedSections: ["sections"] },
   "record:path": { props: ["statusField"] },
   "element:number": { props: ["field"] },
-  "element:filter": { props: ["fields"] },
+  // `element:filter` had a `{ props: ['fields'] }` entry until #9220 retired the
+  // whole element at element grain (ADR-0049 — no renderer ever shipped for it).
+  // Every `ElementFilterProps` key is a `retiredKey()` tombstone now, so no
+  // spec-conformant page carries `fields` on it, and the #5068 props gate
+  // reports an authored one by name with the element-retirement prescription —
+  // the same #5775/#6629 residue class as the record-picker entries below.
   "element:form": { props: ["fields"] },
   // `labelField` is the one field-bearing prop this element declares. Its former
   // companions `displayField` (renamed to `labelField`, ADR-0087 D2) and
@@ -2396,18 +2793,18 @@ function componentFieldRefs(type, props, basePath, sep = ".") {
     const sections = Array.isArray(props[key]) ? props[key] : [];
     for (let si = 0; si < sections.length; si++) {
       const section = sections[si];
-      if (!isRec5(section)) continue;
+      if (!isRec6(section)) continue;
       refs.push(...fieldRefsFrom(section.fields, `${basePath}${sep}${key}[${si}].fields`));
     }
   }
   return refs;
 }
 function relatedListFieldRefs(props, basePath, sep = ".") {
-  const add = isRec5(props.add) ? props.add : void 0;
-  const picker = add && isRec5(add.picker) ? add.picker : void 0;
+  const add = isRec6(props.add) ? props.add : void 0;
+  const picker = add && isRec6(add.picker) ? add.picker : void 0;
   const at = (key) => `${basePath}${sep}${key}`;
   return {
-    relatedObject: strName6(props.objectName),
+    relatedObject: strName7(props.objectName),
     related: [
       ...fieldRefsFrom(props.columns, at("columns")),
       ...sortFieldRefs(props.sort, at("sort")),
@@ -2416,7 +2813,7 @@ function relatedListFieldRefs(props, basePath, sep = ".") {
       ...add ? fieldRefsFrom(add.linkField, at("add.linkField")) : []
     ],
     parent: fieldRefsFrom(props.relationshipValueField, at("relationshipValueField")),
-    pickerObject: picker ? strName6(picker.object) : void 0,
+    pickerObject: picker ? strName7(picker.object) : void 0,
     picker: picker ? [
       ...fieldRefsFrom(picker.valueField, at("add.picker.valueField")),
       ...fieldRefsFrom(picker.labelField, at("add.picker.labelField"))
@@ -2425,13 +2822,13 @@ function relatedListFieldRefs(props, basePath, sep = ".") {
 }
 function indexObjectFields(stack) {
   const objectFields = /* @__PURE__ */ new Map();
-  if (!isRec5(stack)) return objectFields;
+  if (!isRec6(stack)) return objectFields;
   for (const obj of asArray9(stack.objects)) {
-    const name = strName6(obj.name);
+    const name = strName7(obj.name);
     if (!name) continue;
     const names = /* @__PURE__ */ new Set();
     for (const f of asArray9(obj.fields)) {
-      const fn = strName6(f.name);
+      const fn = strName7(f.name);
       if (fn) names.add(fn);
     }
     objectFields.set(name, names);
@@ -2479,15 +2876,15 @@ function validatePageFieldBindings(stack) {
   for (let pi = 0; pi < pages.length; pi++) {
     const page = pages[pi];
     if (!page || typeof page !== "object") continue;
-    const pageName = strName6(page.name) ?? `#${pi}`;
+    const pageName = strName7(page.name) ?? `#${pi}`;
     const checkRefs = (refs, objectName, where) => {
       findings.push(
         ...checkFieldRefs(refs, objectName, objectFields, where, "skipped", unprovisionedAnchors)
       );
     };
     for (const { component, path, objectName } of walkPageComponents(page, `pages[${pi}]`)) {
-      const type = strName6(component.type);
-      const props = isRec5(component.properties) ? component.properties : void 0;
+      const type = strName7(component.type);
+      const props = isRec6(component.properties) ? component.properties : void 0;
       if (!type || !props) continue;
       const where = `page "${pageName}" \xB7 ${type}`;
       const base = `${path}.properties`;
@@ -2502,16 +2899,16 @@ function validatePageFieldBindings(stack) {
       if (!refs) continue;
       checkRefs(refs, objectName, where);
     }
-    const cfg = isRec5(page.interfaceConfig) ? page.interfaceConfig : void 0;
+    const cfg = isRec6(page.interfaceConfig) ? page.interfaceConfig : void 0;
     if (cfg) {
-      const cfgObject = strName6(cfg.source) ?? strName6(page.object);
+      const cfgObject = strName7(cfg.source) ?? strName7(page.object);
       const base = `pages[${pi}].interfaceConfig`;
       const refs = [
         ...fieldRefsFrom(cfg.columns, `${base}.columns`),
         ...sortFieldRefs(cfg.sort, `${base}.sort`),
         ...fieldRefsFrom(cfg.filterBy, `${base}.filterBy`)
       ];
-      const userFilters = isRec5(cfg.userFilters) ? cfg.userFilters : void 0;
+      const userFilters = isRec6(cfg.userFilters) ? cfg.userFilters : void 0;
       if (userFilters) {
         refs.push(...fieldRefsFrom(userFilters.fields, `${base}.userFilters.fields`));
       }
@@ -2533,16 +2930,16 @@ function asArray10(v) {
   }
   return [];
 }
-function strName7(v) {
+function strName8(v) {
   return typeof v === "string" && v.length > 0 ? v : void 0;
 }
 function strList2(v) {
   return Array.isArray(v) ? v.filter((x) => typeof x === "string" && x.length > 0) : [];
 }
-function isRec6(v) {
+function isRec7(v) {
   return !!v && typeof v === "object" && !Array.isArray(v);
 }
-function distance4(a, b) {
+function distance5(a, b) {
   const m = a.length;
   const n = b.length;
   if (m === 0) return n;
@@ -2558,11 +2955,11 @@ function distance4(a, b) {
   }
   return prev[n];
 }
-function suggest5(target, known) {
+function suggest6(target, known) {
   let best;
   let bestScore = Infinity;
   for (const c of known) {
-    const d = distance4(target, c);
+    const d = distance5(target, c);
     if (d < bestScore) {
       bestScore = d;
       best = c;
@@ -2578,16 +2975,16 @@ function list2(names) {
 function indexDatasets(stack) {
   const out = /* @__PURE__ */ new Map();
   for (const ds of asArray10(stack.datasets)) {
-    const name = strName7(ds.name);
+    const name = strName8(ds.name);
     if (!name) continue;
     const dimensions = /* @__PURE__ */ new Set();
     for (const d of asArray10(ds.dimensions)) {
-      const n = strName7(d.name);
+      const n = strName8(d.name);
       if (n) dimensions.add(n);
     }
     const measures = /* @__PURE__ */ new Set();
     for (const m of asArray10(ds.measures)) {
-      const n = strName7(m.name);
+      const n = strName8(m.name);
       if (n) measures.add(n);
     }
     out.set(name, { dimensions, measures });
@@ -2610,7 +3007,7 @@ function validateChartBindings(stack) {
         where: binding.where,
         path: `${binding.path}.dataset`,
         message: `binds dataset "${dsName}", which resolves to no declared dataset \u2014 the chart has no data to render.`,
-        hint: `Declared datasets: ${list2(datasets.keys())}.${suggest5(dsName, datasets.keys())} Define it with defineDataset() or fix the reference (ADR-0021).`
+        hint: `Declared datasets: ${list2(datasets.keys())}.${suggest6(dsName, datasets.keys())} Define it with defineDataset() or fix the reference (ADR-0021).`
       });
       return;
     }
@@ -2622,7 +3019,7 @@ function validateChartBindings(stack) {
         where: binding.where,
         path,
         message: `"${name}" is not a dimension declared by dataset "${dsName}". Post-ADR-0021 result rows are keyed by DIMENSION NAME, not the base field, so this axis renders with no categories.`,
-        hint: `Dataset dimensions: ${list2(ds.dimensions)}.${suggest5(name, ds.dimensions)} Declare the dimension on the dataset, or bind an existing one.`
+        hint: `Dataset dimensions: ${list2(ds.dimensions)}.${suggest6(name, ds.dimensions)} Declare the dimension on the dataset, or bind an existing one.`
       });
     };
     const measureRef = (name, path, selected2) => {
@@ -2633,7 +3030,7 @@ function validateChartBindings(stack) {
           where: binding.where,
           path,
           message: `"${name}" is not a measure declared by dataset "${dsName}". Post-ADR-0021 result rows are keyed by MEASURE NAME (e.g. "sum_amount"), not the base field (e.g. "amount"), so this series comes back empty.`,
-          hint: `Dataset measures: ${list2(ds.measures)}.${suggest5(name, ds.measures)} Declare the measure on the dataset, or bind an existing one.`
+          hint: `Dataset measures: ${list2(ds.measures)}.${suggest6(name, ds.measures)} Declare the measure on the dataset, or bind an existing one.`
         });
         return;
       }
@@ -2668,26 +3065,26 @@ function validateChartBindings(stack) {
   const reports = asArray10(stack.reports);
   for (let ri = 0; ri < reports.length; ri++) {
     const report = reports[ri];
-    if (!isRec6(report)) continue;
-    const reportName = strName7(report.name) ?? `#${ri}`;
+    if (!isRec7(report)) continue;
+    const reportName = strName8(report.name) ?? `#${ri}`;
     const checkReportChart = (chart, dataset, values, where, path) => {
-      if (!isRec6(chart)) return;
+      if (!isRec7(chart)) return;
       check({
         dataset,
         // `values` is the report's measure SELECTION, not a chart ref; feeding
         // it in lets the yAxis "declared but not selected" check work without
         // reporting the selection itself twice.
         values: { names: values, path: `${path}.values` },
-        xAxis: strName7(chart.xAxis) ? { name: strName7(chart.xAxis), path: `${path}.chart.xAxis` } : void 0,
-        yAxis: strName7(chart.yAxis) ? { name: strName7(chart.yAxis), path: `${path}.chart.yAxis` } : void 0,
-        series: asArray10(chart.series).map((s, si) => ({ name: strName7(s.name), path: `${path}.chart.series[${si}].name` })).filter((s) => !!s.name),
+        xAxis: strName8(chart.xAxis) ? { name: strName8(chart.xAxis), path: `${path}.chart.xAxis` } : void 0,
+        yAxis: strName8(chart.yAxis) ? { name: strName8(chart.yAxis), path: `${path}.chart.yAxis` } : void 0,
+        series: asArray10(chart.series).map((s, si) => ({ name: strName8(s.name), path: `${path}.chart.series[${si}].name` })).filter((s) => !!s.name),
         where,
         path: `${path}.chart`
       });
     };
     checkReportChart(
       report.chart,
-      strName7(report.dataset),
+      strName8(report.dataset),
       strList2(report.values),
       `report "${reportName}" \xB7 chart`,
       `reports[${ri}]`
@@ -2695,22 +3092,22 @@ function validateChartBindings(stack) {
     const blocks = Array.isArray(report.blocks) ? report.blocks : [];
     for (let bi = 0; bi < blocks.length; bi++) {
       const block = blocks[bi];
-      if (!isRec6(block)) continue;
+      if (!isRec7(block)) continue;
       checkReportChart(
         block.chart,
-        strName7(block.dataset),
+        strName8(block.dataset),
         strList2(block.values),
-        `report "${reportName}" \xB7 block "${strName7(block.name) ?? `#${bi}`}" chart`,
+        `report "${reportName}" \xB7 block "${strName8(block.name) ?? `#${bi}`}" chart`,
         `reports[${ri}].blocks[${bi}]`
       );
     }
   }
   const checkListChart = (container, where, path) => {
-    if (!isRec6(container)) return;
+    if (!isRec7(container)) return;
     const chart = container.chart;
-    if (!isRec6(chart)) return;
+    if (!isRec7(chart)) return;
     check({
-      dataset: strName7(chart.dataset),
+      dataset: strName8(chart.dataset),
       dimensions: { names: strList2(chart.dimensions), path: `${path}.chart.dimensions` },
       values: { names: strList2(chart.values), path: `${path}.chart.values` },
       where,
@@ -2720,10 +3117,10 @@ function validateChartBindings(stack) {
   const views = asArray10(stack.views);
   for (let vi = 0; vi < views.length; vi++) {
     const view = views[vi];
-    if (!isRec6(view)) continue;
-    const viewName = strName7(view.name) ?? strName7(view.objectName) ?? `#${vi}`;
+    if (!isRec7(view)) continue;
+    const viewName = strName8(view.name) ?? strName8(view.objectName) ?? `#${vi}`;
     checkListChart(view.list, `view "${viewName}" \xB7 list chart`, `views[${vi}].list`);
-    if (isRec6(view.listViews)) {
+    if (isRec7(view.listViews)) {
       for (const [key, lv] of Object.entries(view.listViews)) {
         checkListChart(lv, `view "${viewName}" \xB7 listViews.${key} chart`, `views[${vi}].listViews.${key}`);
       }
@@ -2732,8 +3129,8 @@ function validateChartBindings(stack) {
   const objects = asArray10(stack.objects);
   for (let oi = 0; oi < objects.length; oi++) {
     const obj = objects[oi];
-    if (!isRec6(obj) || !isRec6(obj.listViews)) continue;
-    const objName = strName7(obj.name) ?? `#${oi}`;
+    if (!isRec7(obj) || !isRec7(obj.listViews)) continue;
+    const objName = strName8(obj.name) ?? `#${oi}`;
     for (const [key, lv] of Object.entries(obj.listViews)) {
       checkListChart(
         lv,
@@ -2745,19 +3142,19 @@ function validateChartBindings(stack) {
   const pages = asArray10(stack.pages);
   for (let pi = 0; pi < pages.length; pi++) {
     const page = pages[pi];
-    if (!isRec6(page)) continue;
-    const pageName = strName7(page.name) ?? `#${pi}`;
+    if (!isRec7(page)) continue;
+    const pageName = strName8(page.name) ?? `#${pi}`;
     for (const { component, path } of walkPageComponents(page, `pages[${pi}]`)) {
-      const props = isRec6(component.properties) ? component.properties : void 0;
-      if (!props || !strName7(props.dataset)) continue;
-      const axisRefs = asArray10(props.yAxis).map((a, ai) => ({ name: strName7(a.field), path: `${path}.properties.yAxis[${ai}].field` })).filter((a) => !!a.name);
-      const seriesRefs = asArray10(props.series).map((s, si) => ({ name: strName7(s.name), path: `${path}.properties.series[${si}].name` })).filter((s) => !!s.name);
+      const props = isRec7(component.properties) ? component.properties : void 0;
+      if (!props || !strName8(props.dataset)) continue;
+      const axisRefs = asArray10(props.yAxis).map((a, ai) => ({ name: strName8(a.field), path: `${path}.properties.yAxis[${ai}].field` })).filter((a) => !!a.name);
+      const seriesRefs = asArray10(props.series).map((s, si) => ({ name: strName8(s.name), path: `${path}.properties.series[${si}].name` })).filter((s) => !!s.name);
       check({
-        dataset: strName7(props.dataset),
+        dataset: strName8(props.dataset),
         dimensions: { names: strList2(props.dimensions), path: `${path}.properties.dimensions` },
         values: { names: strList2(props.values), path: `${path}.properties.values` },
         series: [...axisRefs, ...seriesRefs],
-        where: `page "${pageName}" \xB7 ${strName7(component.type) ?? "chart"}`,
+        where: `page "${pageName}" \xB7 ${strName8(component.type) ?? "chart"}`,
         path: `${path}.properties`
       });
     }
@@ -2824,7 +3221,7 @@ function asArray12(v) {
   }
   return [];
 }
-function strName8(v) {
+function strName9(v) {
   return typeof v === "string" && v.length > 0 ? v : void 0;
 }
 function collectNavExposures(stack) {
@@ -2833,18 +3230,18 @@ function collectNavExposures(stack) {
   for (let ai = 0; ai < apps.length; ai++) {
     const app = apps[ai];
     if (!app || typeof app !== "object") continue;
-    const appName = strName8(app.name) ?? `#${ai}`;
+    const appName = strName9(app.name) ?? `#${ai}`;
     const walk = (items, basePath) => {
       const navItems = asArray12(items);
       for (let ni = 0; ni < navItems.length; ni++) {
         const nav = navItems[ni];
         if (!nav || typeof nav !== "object") continue;
         const navPath = `${basePath}[${ni}]`;
-        const objectName = strName8(nav.objectName);
+        const objectName = strName9(nav.objectName);
         if (nav.type === "object" && objectName) {
           out.push({
             objectName,
-            where: `app "${appName}" \xB7 nav "${strName8(nav.id) ?? `#${ni}`}"`,
+            where: `app "${appName}" \xB7 nav "${strName9(nav.id) ?? `#${ni}`}"`,
             path: `${navPath}.objectName`
           });
         }
@@ -2868,7 +3265,7 @@ function validateNavAccess(stack) {
   if (exposures.length === 0) return findings;
   const ownObjects = /* @__PURE__ */ new Set();
   for (const obj of asArray12(stack.objects)) {
-    const n = strName8(obj.name);
+    const n = strName9(obj.name);
     if (n) ownObjects.add(n);
   }
   const readable = /* @__PURE__ */ new Set();
@@ -2898,13 +3295,13 @@ function validateNavAccess(stack) {
 
 // src/validate-nav-target-refs.ts
 var NAV_TARGET_UNRESOLVED = "nav-target-unresolved";
-var isRec7 = (v) => !!v && typeof v === "object" && !Array.isArray(v);
+var isRec8 = (v) => !!v && typeof v === "object" && !Array.isArray(v);
 function asArray13(v) {
-  if (Array.isArray(v)) return v.filter(isRec7);
-  if (isRec7(v)) return Object.entries(v).map(([name, def]) => isRec7(def) ? { name, ...def } : { name });
+  if (Array.isArray(v)) return v.filter(isRec8);
+  if (isRec8(v)) return Object.entries(v).map(([name, def]) => isRec8(def) ? { name, ...def } : { name });
   return [];
 }
-function strName9(v) {
+function strName10(v) {
   return typeof v === "string" && v.length > 0 ? v : void 0;
 }
 var isInterpolated2 = (s) => s.includes("${") || s.includes("{");
@@ -2916,14 +3313,14 @@ var NAV_TARGETS = [
 function namesOf(collection) {
   const out = /* @__PURE__ */ new Set();
   for (const entry of asArray13(collection)) {
-    const n = strName9(entry.name);
+    const n = strName10(entry.name);
     if (n) out.add(n);
   }
   return out;
 }
 function validateNavTargetRefs(stack) {
   const findings = [];
-  if (!isRec7(stack)) return findings;
+  if (!isRec8(stack)) return findings;
   const apps = asArray13(stack.apps);
   if (apps.length === 0) return findings;
   const declared = /* @__PURE__ */ new Map();
@@ -2931,16 +3328,16 @@ function validateNavTargetRefs(stack) {
     declared.set(collection, namesOf(stack[collection]));
   }
   for (const [ai, app] of apps.entries()) {
-    const appName = strName9(app.name) ?? `#${ai}`;
+    const appName = strName10(app.name) ?? `#${ai}`;
     const walk = (items, basePath) => {
       if (!Array.isArray(items)) return;
       for (const [ni, raw] of items.entries()) {
-        if (!isRec7(raw)) continue;
+        if (!isRec8(raw)) continue;
         const nav = raw;
         const navPath = `${basePath}[${ni}]`;
         for (const [type, prop, collection, noun] of NAV_TARGETS) {
           if (nav.type !== type) continue;
-          const target = strName9(nav[prop]);
+          const target = strName10(nav[prop]);
           if (!target || isInterpolated2(target)) continue;
           const known = declared.get(collection);
           if (known.has(target)) continue;
@@ -2948,7 +3345,7 @@ function validateNavTargetRefs(stack) {
           findings.push({
             severity: "warning",
             rule: NAV_TARGET_UNRESOLVED,
-            where: `app "${appName}" \xB7 nav "${strName9(nav.id) ?? strName9(nav.label) ?? `#${ni}`}"`,
+            where: `app "${appName}" \xB7 nav "${strName10(nav.id) ?? strName10(nav.label) ?? `#${ni}`}"`,
             path: `${navPath}.${prop}`,
             message: `Navigation targets ${noun} '${target}', which this stack does not declare in \`${collection}\`. ` + (emptyCollection ? `The stack declares NO ${collection} at all, so \`defineStack\`'s own cross-reference check skipped this entry entirely (it is gated on \`${collection === "pages" ? "pageNames" : collection === "reports" ? "reportNames" : "dashboardNames"}.size > 0\`) \u2014 nothing else will report it. ` : "") + `The entry renders in the sidebar and resolves to nothing when clicked. If another package provides this ${noun}, this is expected and advisory only.`,
             hint: `Declare the ${noun} in \`${collection}\`, correct the name, or remove the nav entry if the ${noun} is gone.`
@@ -2969,42 +3366,42 @@ function validateNavTargetRefs(stack) {
 // src/validate-nav-object-servability.ts
 import { canServeApiOperation } from "@objectstack/spec/data";
 var NAV_OBJECT_UNSERVABLE = "nav-object-unservable";
-var isRec8 = (v) => !!v && typeof v === "object" && !Array.isArray(v);
+var isRec9 = (v) => !!v && typeof v === "object" && !Array.isArray(v);
 function asArray14(v) {
-  if (Array.isArray(v)) return v.filter(isRec8);
-  if (isRec8(v)) return Object.entries(v).map(([name, def]) => isRec8(def) ? { name, ...def } : { name });
+  if (Array.isArray(v)) return v.filter(isRec9);
+  if (isRec9(v)) return Object.entries(v).map(([name, def]) => isRec9(def) ? { name, ...def } : { name });
   return [];
 }
-function strName10(v) {
+function strName11(v) {
   return typeof v === "string" && v.length > 0 ? v : void 0;
 }
 var isInterpolated3 = (s) => s.includes("${") || s.includes("{");
 function validateNavObjectServability(stack) {
   const findings = [];
-  if (!isRec8(stack)) return findings;
+  if (!isRec9(stack)) return findings;
   const apps = asArray14(stack.apps);
   if (apps.length === 0) return findings;
   const ownEnable = /* @__PURE__ */ new Map();
   const objects = asArray14(stack.objects);
   for (const [oi, obj] of objects.entries()) {
-    const n = strName10(obj.name);
+    const n = strName11(obj.name);
     if (!n) continue;
     ownEnable.set(n, { enable: obj.enable, path: `objects[${oi}].enable` });
   }
   if (ownEnable.size === 0) return findings;
   for (const [ai, app] of apps.entries()) {
-    const appName = strName10(app.name) ?? `#${ai}`;
+    const appName = strName11(app.name) ?? `#${ai}`;
     const walk = (items, basePath) => {
       if (!Array.isArray(items)) return;
       for (const [ni, raw] of items.entries()) {
-        if (!isRec8(raw)) continue;
+        if (!isRec9(raw)) continue;
         const nav = raw;
         const navPath = `${basePath}[${ni}]`;
         if (nav.type === "object") {
-          const target = strName10(nav.objectName);
+          const target = strName11(nav.objectName);
           const declared = target && !isInterpolated3(target) ? ownEnable.get(target) : void 0;
           if (target && declared && !canServeApiOperation(declared.enable, "list")) {
-            const enable = isRec8(declared.enable) ? declared.enable : {};
+            const enable = isRec9(declared.enable) ? declared.enable : {};
             const apiDisabled = enable.apiEnabled === false;
             const condition = apiDisabled ? "`enable.apiEnabled: false`" : "`enable.apiMethods` does not grant `list`" + (Array.isArray(enable.apiMethods) ? ` (declared: ${enable.apiMethods.length === 0 ? "[] \u2014 deny-all" : enable.apiMethods.map((m) => `\`${String(m)}\``).join(", ")})` : "");
             const answer = apiDisabled ? "404 `OBJECT_API_DISABLED`" : "405 `OBJECT_API_METHOD_NOT_ALLOWED`";
@@ -3012,7 +3409,7 @@ function validateNavObjectServability(stack) {
             findings.push({
               severity: "error",
               rule: NAV_OBJECT_UNSERVABLE,
-              where: `app "${appName}" \xB7 nav "${strName10(nav.id) ?? strName10(nav.label) ?? `#${ni}`}"`,
+              where: `app "${appName}" \xB7 nav "${strName11(nav.id) ?? strName11(nav.label) ?? `#${ni}`}"`,
               // The nav entry is where the dead row is authored; the `enable`
               // key that condemns it is named in the message, because the fix
               // may belong at either end.
@@ -3039,27 +3436,27 @@ import { expandViewContainer } from "@objectstack/spec";
 import { hasPlatformObjectPrefix as hasPlatformObjectPrefix2, isPlatformProvidedObjectName as isPlatformProvidedObjectName3 } from "@objectstack/spec/system";
 
 // src/view-walk.ts
-function isRec9(v) {
+function isRec10(v) {
   return !!v && typeof v === "object" && !Array.isArray(v);
 }
-function strName11(v) {
+function strName12(v) {
   return typeof v === "string" && v.length > 0 ? v : void 0;
 }
 function viewObjectName(view) {
-  return strName11(view.objectName) ?? strName11(view.object) ?? (isRec9(view.data) ? strName11(view.data.object) : void 0);
+  return strName12(view.objectName) ?? strName12(view.object) ?? (isRec10(view.data) ? strName12(view.data.object) : void 0);
 }
 function viewContainerSites(view, basePath) {
-  if (!isRec9(view)) return [];
+  if (!isRec10(view)) return [];
   const sites = [{ view, path: basePath, surface: "", kind: "self" }];
-  if (isRec9(view.form)) {
+  if (isRec10(view.form)) {
     sites.push({ view: view.form, path: `${basePath}.form`, surface: "form", kind: "form" });
   }
   for (const key of ["listViews", "formViews"]) {
     const container = view[key];
-    if (!isRec9(container)) continue;
+    if (!isRec10(container)) continue;
     const kind = key === "listViews" ? "listView" : "formView";
     for (const [subKey, sub] of Object.entries(container)) {
-      if (!isRec9(sub)) continue;
+      if (!isRec10(sub)) continue;
       sites.push({
         view: sub,
         path: `${basePath}.${key}.${subKey}`,
@@ -3077,18 +3474,18 @@ function formViewSites(view, basePath) {
 // src/validate-translation-references.ts
 var TRANSLATION_TARGET_UNKNOWN = "translation-target-unknown";
 var TRANSLATION_OPTION_KEY_UNKNOWN = "translation-option-key-unknown";
-function isRec10(v) {
+function isRec11(v) {
   return !!v && typeof v === "object" && !Array.isArray(v);
 }
 function asArray15(v) {
   if (Array.isArray(v)) return v;
-  if (isRec10(v)) return Object.entries(v).map(([name, def]) => ({ name, ...isRec10(def) ? def : {} }));
+  if (isRec11(v)) return Object.entries(v).map(([name, def]) => ({ name, ...isRec11(def) ? def : {} }));
   return [];
 }
-function strName12(v) {
+function strName13(v) {
   return typeof v === "string" && v.length > 0 ? v : void 0;
 }
-function distance5(a, b) {
+function distance6(a, b) {
   const m = a.length;
   const n = b.length;
   if (m === 0) return n;
@@ -3104,7 +3501,7 @@ function distance5(a, b) {
   }
   return prev[n];
 }
-function suggest6(target, known) {
+function suggest7(target, known) {
   const names = [...known];
   const segmentMatch = names.find(
     (candidate) => candidate.endsWith(`_${target}`) || candidate.startsWith(`${target}_`)
@@ -3113,7 +3510,7 @@ function suggest6(target, known) {
   let best;
   let bestScore = Infinity;
   for (const candidate of names) {
-    const d = distance5(target, candidate);
+    const d = distance6(target, candidate);
     if (d < bestScore) {
       bestScore = d;
       best = candidate;
@@ -3146,33 +3543,33 @@ function collectViewRecord(view, factsFor) {
   const addSections = (container, binding) => {
     if (!binding) return;
     for (const section of asArray15(container.sections)) {
-      const sectionName = strName12(section.name);
+      const sectionName = strName13(section.name);
       if (sectionName) factsFor(binding).sections.add(sectionName);
     }
   };
-  const listBinding = isRec10(view.list) ? bindingOf(view.list) : void 0;
-  if (isRec10(view.list)) addView(listBinding, defaultListViewKey(listBinding, view));
-  addView(recordObject ?? listBinding, strName12(view.name));
+  const listBinding = isRec11(view.list) ? bindingOf(view.list) : void 0;
+  if (isRec11(view.list)) addView(listBinding, defaultListViewKey(listBinding, view));
+  addView(recordObject ?? listBinding, strName13(view.name));
   const named = namedViewKeys(view);
   for (const family of ["listViews", "formViews"]) {
     const container = view[family];
-    if (!isRec10(container)) continue;
+    if (!isRec11(container)) continue;
     const registryKeys = family === "listViews" ? named.list : named.form;
     let at = 0;
     for (const sub of Object.values(container)) {
       if (!sub || typeof sub !== "object") continue;
       const registryKey = registryKeys[at++];
-      if (!isRec10(sub)) continue;
+      if (!isRec11(sub)) continue;
       const binding = bindingOf(sub) ?? listBinding;
       addView(binding, registryKey);
       addSections(sub, binding);
     }
   }
-  if (isRec10(view.form)) addSections(view.form, bindingOf(view.form) ?? listBinding);
+  if (isRec11(view.form)) addSections(view.form, bindingOf(view.form) ?? listBinding);
   addSections(view, recordObject ?? listBinding);
 }
 function defaultListViewKey(object, container) {
-  if (!object || !isRec10(container.list)) return void 0;
+  if (!object || !isRec11(container.list)) return void 0;
   const item = expandViewContainer(object, container).find(
     (i) => i.viewKind === "list" && i.isDefault
   );
@@ -3184,7 +3581,7 @@ function namedViewKeys(container) {
   const object = "probe";
   const prefix = `${object}.`;
   const bare = (name) => name.startsWith(prefix) ? name.slice(prefix.length) : name;
-  const countEntries = (v) => isRec10(v) ? Object.values(v).filter((e) => !!e && typeof e === "object").length : 0;
+  const countEntries = (v) => isRec11(v) ? Object.values(v).filter((e) => !!e && typeof e === "object").length : 0;
   const listCount = countEntries(container.listViews);
   const formCount = countEntries(container.formViews);
   if (!listCount && !formCount) return { list: [], form: [] };
@@ -3202,14 +3599,14 @@ function readOptions(field) {
         values.add(opt);
         continue;
       }
-      if (!isRec10(opt)) continue;
-      const value = strName12(opt.value);
+      if (!isRec11(opt)) continue;
+      const value = strName13(opt.value);
       if (!value) continue;
       values.add(value);
-      const label2 = strName12(opt.label);
+      const label2 = strName13(opt.label);
       if (label2) byLabel.set(label2.toLowerCase(), value);
     }
-  } else if (isRec10(raw)) {
+  } else if (isRec11(raw)) {
     for (const [value, label2] of Object.entries(raw)) {
       values.add(value);
       if (typeof label2 === "string" && label2.length > 0) byLabel.set(label2.toLowerCase(), value);
@@ -3230,23 +3627,23 @@ function buildUniverse(stack) {
     return facts;
   };
   for (const obj of asArray15(stack.objects)) {
-    const objectName = strName12(obj.name);
+    const objectName = strName13(obj.name);
     if (!objectName) continue;
     const facts = factsFor(objectName);
     for (const field of asArray15(obj.fields)) {
-      const fieldName = strName12(field.name);
+      const fieldName = strName13(field.name);
       if (fieldName) facts.fields.set(fieldName, field);
     }
     for (const action of asArray15(obj.actions)) {
-      const actionName = strName12(action.name);
+      const actionName = strName13(action.name);
       if (actionName) facts.actions.set(actionName, action);
     }
     for (const view of asArray15(obj.views)) {
-      collectViewRecord({ ...view, object: strName12(view.object) ?? objectName }, factsFor);
+      collectViewRecord({ ...view, object: strName13(view.object) ?? objectName }, factsFor);
     }
     collectViewRecord({ object: objectName, listViews: obj.listViews }, factsFor);
     for (const group of asArray15(obj.fieldGroups)) {
-      const key = strName12(group.key) ?? strName12(group.name);
+      const key = strName13(group.key) ?? strName13(group.name);
       if (key) facts.sections.add(key);
     }
   }
@@ -3257,10 +3654,10 @@ function buildUniverse(stack) {
   for (let pi = 0; pi < pages.length; pi++) {
     for (const walked of walkPageComponents(pages[pi], `pages[${pi}]`)) {
       if (!walked.objectName) continue;
-      const props = isRec10(walked.component.properties) ? walked.component.properties : void 0;
+      const props = isRec11(walked.component.properties) ? walked.component.properties : void 0;
       if (!props) continue;
       for (const section of asArray15(props.sections)) {
-        const sectionName = strName12(section.name);
+        const sectionName = strName13(section.name);
         if (sectionName) factsFor(walked.objectName).sections.add(sectionName);
       }
     }
@@ -3268,9 +3665,9 @@ function buildUniverse(stack) {
   const globalActions = /* @__PURE__ */ new Map();
   const actionOwners = /* @__PURE__ */ new Map();
   for (const action of asArray15(stack.actions)) {
-    const actionName = strName12(action.name);
+    const actionName = strName13(action.name);
     if (!actionName) continue;
-    const owner = strName12(action.objectName) ?? strName12(action.object);
+    const owner = strName13(action.objectName) ?? strName13(action.object);
     if (owner) {
       factsFor(owner).actions.set(actionName, action);
       actionOwners.set(actionName, owner);
@@ -3285,19 +3682,19 @@ function buildUniverse(stack) {
   }
   const apps = /* @__PURE__ */ new Map();
   for (const app of asArray15(stack.apps)) {
-    const appName = strName12(app.name);
+    const appName = strName13(app.name);
     if (!appName) continue;
     const navIds = apps.get(appName) ?? /* @__PURE__ */ new Set();
     const walkNav = (items) => {
       for (const item of asArray15(items)) {
-        const id = strName12(item.id);
+        const id = strName13(item.id);
         if (id) navIds.add(id);
         if (item.children) walkNav(item.children);
       }
     };
     walkNav(app.navigation);
     for (const area of asArray15(app.areas)) {
-      const areaId = strName12(area.id);
+      const areaId = strName13(area.id);
       if (areaId) navIds.add(areaId);
       walkNav(area.navigation);
     }
@@ -3305,20 +3702,20 @@ function buildUniverse(stack) {
   }
   const dashboards = /* @__PURE__ */ new Map();
   for (const dash of asArray15(stack.dashboards)) {
-    const dashName = strName12(dash.name);
+    const dashName = strName13(dash.name);
     if (!dashName) continue;
     const widgets = /* @__PURE__ */ new Set();
     for (const widget of asArray15(dash.widgets)) {
-      const id = strName12(widget.id) ?? strName12(widget.name);
+      const id = strName13(widget.id) ?? strName13(widget.name);
       if (id) widgets.add(id);
     }
     const actions = /* @__PURE__ */ new Set();
     const headerActions = [
-      ...asArray15(isRec10(dash.header) ? dash.header.actions : void 0),
+      ...asArray15(isRec11(dash.header) ? dash.header.actions : void 0),
       ...asArray15(dash.actions)
     ];
     for (const action of headerActions) {
-      const key = strName12(action.actionUrl) ?? strName12(action.url) ?? strName12(action.name);
+      const key = strName13(action.actionUrl) ?? strName13(action.url) ?? strName13(action.name);
       if (key) actions.add(key);
     }
     dashboards.set(dashName, { widgets, actions });
@@ -3330,7 +3727,7 @@ function localePath(bundleIndex, locale) {
 }
 function validateTranslationReferences(stack) {
   const findings = [];
-  if (!isRec10(stack)) return findings;
+  if (!isRec11(stack)) return findings;
   const bundles = Array.isArray(stack.translations) ? stack.translations : [];
   if (bundles.length === 0) return findings;
   const universe = buildUniverse(stack);
@@ -3339,13 +3736,13 @@ function validateTranslationReferences(stack) {
   };
   for (let bi = 0; bi < bundles.length; bi++) {
     const bundle = bundles[bi];
-    if (!isRec10(bundle)) continue;
+    if (!isRec11(bundle)) continue;
     for (const [locale, rawData] of Object.entries(bundle)) {
-      if (!isRec10(rawData)) continue;
+      if (!isRec11(rawData)) continue;
       const base = localePath(bi, locale);
       const inLocale = `locale "${locale}"`;
       for (const [objectName, rawNode] of Object.entries(asRecord(rawData.objects))) {
-        if (!isRec10(rawNode)) continue;
+        if (!isRec11(rawNode)) continue;
         const objPath = `${base}.objects.${objectName}`;
         const facts = universe.objects.get(objectName);
         if (!facts) {
@@ -3353,7 +3750,7 @@ function validateTranslationReferences(stack) {
           orphan(
             `${inLocale} \xB7 object "${objectName}"`,
             objPath,
-            hasPlatformObjectPrefix2(objectName) ? `Translations are keyed to "${objectName}", which carries a platform namespace prefix but is registered by no platform package, official plugin, or cloud runtime object \u2014 and this stack does not define it either. Nothing resolves these keys.` + suggest6(objectName, universe.objects.keys()) : `Translations are keyed to "${objectName}", which no object in this stack defines. The resolver looks up keys derived from the metadata, so this whole subtree is dead weight \u2014 every label it carries renders untranslated.` + suggest6(objectName, universe.objects.keys()),
+            hasPlatformObjectPrefix2(objectName) ? `Translations are keyed to "${objectName}", which carries a platform namespace prefix but is registered by no platform package, official plugin, or cloud runtime object \u2014 and this stack does not define it either. Nothing resolves these keys.` + suggest7(objectName, universe.objects.keys()) : `Translations are keyed to "${objectName}", which no object in this stack defines. The resolver looks up keys derived from the metadata, so this whole subtree is dead weight \u2014 every label it carries renders untranslated.` + suggest7(objectName, universe.objects.keys()),
             `Rename the key to the object it was written for, drop it, or ignore this if the object is contributed by another installed package.` + (universe.objects.size > 0 ? ` Defined objects: ${listNames(universe.objects.keys())}.` : "")
           );
           continue;
@@ -3366,12 +3763,12 @@ function validateTranslationReferences(stack) {
             orphan(
               `${inLocale} \xB7 object "${objectName}" \xB7 field "${fieldName}"`,
               fieldPath,
-              `Translations are keyed to field "${fieldName}", which object "${objectName}" does not declare. The label renders untranslated in this locale \u2014 and because every neighbouring field DOES resolve, the hole reads as a styling quirk rather than a missing translation.` + suggest6(fieldName, facts.fields.keys()),
+              `Translations are keyed to field "${fieldName}", which object "${objectName}" does not declare. The label renders untranslated in this locale \u2014 and because every neighbouring field DOES resolve, the hole reads as a styling quirk rather than a missing translation.` + suggest7(fieldName, facts.fields.keys()),
               `Point the key at a declared field, or drop it if the field was removed or renamed.` + (facts.fields.size > 0 ? ` Declared fields: ${listNames(facts.fields.keys())}.` : "")
             );
             continue;
           }
-          if (!isRec10(rawField)) continue;
+          if (!isRec11(rawField)) continue;
           checkOptionKeys(findings, {
             optionMap: rawField.options,
             field,
@@ -3386,7 +3783,7 @@ function validateTranslationReferences(stack) {
           orphan(
             `${inLocale} \xB7 object "${objectName}" \xB7 view "${viewName}"`,
             `${objPath}._views.${viewName}`,
-            `Translations are keyed to view "${viewName}", which no view of object "${objectName}" declares. The view tab keeps its source-locale label.` + suggest6(viewName, facts.views),
+            `Translations are keyed to view "${viewName}", which no view of object "${objectName}" declares. The view tab keeps its source-locale label.` + suggest7(viewName, facts.views),
             `Match the key to the view's \`name\` (not its label), or drop it.` + (facts.views.size > 0 ? ` Declared views: ${listNames(facts.views)}.` : "")
           );
         }
@@ -3395,7 +3792,7 @@ function validateTranslationReferences(stack) {
           orphan(
             `${inLocale} \xB7 object "${objectName}" \xB7 section "${sectionName}"`,
             `${objPath}._sections.${sectionName}`,
-            `Translations are keyed to section "${sectionName}", which nothing on object "${objectName}" declares \u2014 no \`fieldGroups[].key\`, no named form-view section, no named \`record:details\` section. The section heading stays in the source locale.` + suggest6(sectionName, facts.sections),
+            `Translations are keyed to section "${sectionName}", which nothing on object "${objectName}" declares \u2014 no \`fieldGroups[].key\`, no named form-view section, no named \`record:details\` section. The section heading stays in the source locale.` + suggest7(sectionName, facts.sections),
             `Sections are translatable only through a STABLE NAME: give the group/section a \`key\`/\`name\` and use it here, or drop the translation.` + (facts.sections.size > 0 ? ` Declared sections: ${listNames(facts.sections)}.` : ` Object "${objectName}" declares no named section at all.`)
           );
         }
@@ -3406,7 +3803,7 @@ function validateTranslationReferences(stack) {
             orphan(
               `${inLocale} \xB7 object "${objectName}" \xB7 action "${actionName}"`,
               actionPath,
-              `Translations are keyed to action "${actionName}", which is defined by neither object "${objectName}"'s \`actions\` nor a \`stack.actions\` entry bound to it. The button keeps its source-locale label.` + suggest6(actionName, facts.actions.keys()),
+              `Translations are keyed to action "${actionName}", which is defined by neither object "${objectName}"'s \`actions\` nor a \`stack.actions\` entry bound to it. The button keeps its source-locale label.` + suggest7(actionName, facts.actions.keys()),
               `Match the key to a defined action name, move it under the object that owns the action, or drop it.` + (facts.actions.size > 0 ? ` Actions on this object: ${listNames(facts.actions.keys())}.` : "")
             );
             continue;
@@ -3428,7 +3825,7 @@ function validateTranslationReferences(stack) {
           orphan(
             `${inLocale} \xB7 global action "${actionName}"`,
             actionPath,
-            owner ? `Action "${actionName}" is bound to object "${owner}", so the resolver looks it up under \`objects.${owner}._actions.${actionName}\` \u2014 never under \`globalActions\`, which is only consulted for object-less actions. This key is never read.` : `Translations are keyed to global action "${actionName}", which no object-less action in this stack defines. The button keeps its source-locale label.` + suggest6(actionName, universe.globalActions.keys()),
+            owner ? `Action "${actionName}" is bound to object "${owner}", so the resolver looks it up under \`objects.${owner}._actions.${actionName}\` \u2014 never under \`globalActions\`, which is only consulted for object-less actions. This key is never read.` : `Translations are keyed to global action "${actionName}", which no object-less action in this stack defines. The button keeps its source-locale label.` + suggest7(actionName, universe.globalActions.keys()),
             owner ? `Move these keys under \`objects.${owner}._actions.${actionName}\`.` : `Match the key to an object-less action's name, or drop it.` + (universe.globalActions.size > 0 ? ` Object-less actions: ${listNames(universe.globalActions.keys())}.` : "")
           );
           continue;
@@ -3448,18 +3845,18 @@ function validateTranslationReferences(stack) {
           orphan(
             `${inLocale} \xB7 app "${appName}"`,
             appPath,
-            `Translations are keyed to app "${appName}", which this stack does not define. The app launcher shows the source-locale label.` + suggest6(appName, universe.apps.keys()),
+            `Translations are keyed to app "${appName}", which this stack does not define. The app launcher shows the source-locale label.` + suggest7(appName, universe.apps.keys()),
             `Match the key to an app's \`name\`, or drop it.` + (universe.apps.size > 0 ? ` Defined apps: ${listNames(universe.apps.keys())}.` : "")
           );
           continue;
         }
-        if (!isRec10(rawApp)) continue;
+        if (!isRec11(rawApp)) continue;
         for (const navId of Object.keys(asRecord(rawApp.navigation))) {
           if (navIds.has(navId)) continue;
           orphan(
             `${inLocale} \xB7 app "${appName}" \xB7 navigation "${navId}"`,
             `${appPath}.navigation.${navId}`,
-            `Translations are keyed to navigation item "${navId}", which app "${appName}" does not declare. The menu entry keeps its source-locale label.` + suggest6(navId, navIds),
+            `Translations are keyed to navigation item "${navId}", which app "${appName}" does not declare. The menu entry keeps its source-locale label.` + suggest7(navId, navIds),
             `Match the key to the navigation item's \`id\`, or drop it.` + (navIds.size > 0 ? ` Declared navigation ids: ${listNames(navIds)}.` : "")
           );
         }
@@ -3471,18 +3868,18 @@ function validateTranslationReferences(stack) {
           orphan(
             `${inLocale} \xB7 dashboard "${dashName}"`,
             dashPath,
-            `Translations are keyed to dashboard "${dashName}", which this stack does not define. The dashboard title stays in the source locale.` + suggest6(dashName, universe.dashboards.keys()),
+            `Translations are keyed to dashboard "${dashName}", which this stack does not define. The dashboard title stays in the source locale.` + suggest7(dashName, universe.dashboards.keys()),
             `Match the key to a dashboard's \`name\`, or drop it.` + (universe.dashboards.size > 0 ? ` Defined dashboards: ${listNames(universe.dashboards.keys())}.` : "")
           );
           continue;
         }
-        if (!isRec10(rawDash)) continue;
+        if (!isRec11(rawDash)) continue;
         for (const widgetId of Object.keys(asRecord(rawDash.widgets))) {
           if (dash.widgets.has(widgetId)) continue;
           orphan(
             `${inLocale} \xB7 dashboard "${dashName}" \xB7 widget "${widgetId}"`,
             `${dashPath}.widgets.${widgetId}`,
-            `Translations are keyed to widget "${widgetId}", which dashboard "${dashName}" does not declare. The widget title stays in the source locale.` + suggest6(widgetId, dash.widgets),
+            `Translations are keyed to widget "${widgetId}", which dashboard "${dashName}" does not declare. The widget title stays in the source locale.` + suggest7(widgetId, dash.widgets),
             `Match the key to the widget's \`id\`, or drop it.` + (dash.widgets.size > 0 ? ` Declared widget ids: ${listNames(dash.widgets)}.` : "")
           );
         }
@@ -3491,7 +3888,7 @@ function validateTranslationReferences(stack) {
           orphan(
             `${inLocale} \xB7 dashboard "${dashName}" \xB7 action "${actionKey}"`,
             `${dashPath}.actions.${actionKey}`,
-            `Translations are keyed to header action "${actionKey}", which dashboard "${dashName}" does not declare. The button keeps its source-locale label.` + suggest6(actionKey, dash.actions),
+            `Translations are keyed to header action "${actionKey}", which dashboard "${dashName}" does not declare. The button keeps its source-locale label.` + suggest7(actionKey, dash.actions),
             `Header-action translations are keyed by the action's \`actionUrl\`, not its label.` + (dash.actions.size > 0 ? ` Declared header actions: ${listNames(dash.actions)}.` : "")
           );
         }
@@ -3501,7 +3898,7 @@ function validateTranslationReferences(stack) {
   return findings;
 }
 function asRecord(v) {
-  return isRec10(v) ? v : {};
+  return isRec11(v) ? v : {};
 }
 function checkOptionKeys(findings, ctx) {
   const optionKeys = Object.keys(asRecord(ctx.optionMap));
@@ -3513,7 +3910,7 @@ function checkOptionKeys(findings, ctx) {
       rule: TRANSLATION_OPTION_KEY_UNKNOWN,
       where: ctx.where,
       path: ctx.path,
-      message: `Option translations are keyed under field "${ctx.fieldName}" of object "${ctx.objectName}", which declares no \`options\` at all (field type "${strName12(ctx.field.type) ?? "unknown"}"). Nothing reads this map.`,
+      message: `Option translations are keyed under field "${ctx.fieldName}" of object "${ctx.objectName}", which declares no \`options\` at all (field type "${strName13(ctx.field.type) ?? "unknown"}"). Nothing reads this map.`,
       hint: `Declare the options on the field, move the translations to the field that owns them, or drop them.`
     });
     return;
@@ -3526,17 +3923,17 @@ function checkOptionKeys(findings, ctx) {
       rule: TRANSLATION_OPTION_KEY_UNKNOWN,
       where: ctx.where,
       path: `${ctx.path}.${key}`,
-      message: byLabel ? `Option translation is keyed by the DISPLAY LABEL "${key}" instead of the stored value "${byLabel}". The resolver looks the option up by value, so this entry is never found and the option renders with its source-locale label.` : `Option translation is keyed by "${key}", which is not one of the values declared by field "${ctx.objectName}.${ctx.fieldName}". The option renders untranslated.` + suggest6(key, declared.values),
+      message: byLabel ? `Option translation is keyed by the DISPLAY LABEL "${key}" instead of the stored value "${byLabel}". The resolver looks the option up by value, so this entry is never found and the option renders with its source-locale label.` : `Option translation is keyed by "${key}", which is not one of the values declared by field "${ctx.objectName}.${ctx.fieldName}". The option renders untranslated.` + suggest7(key, declared.values),
       hint: byLabel ? `Rename the key to "${byLabel}".` : `Option keys are the stored \`value\`, not the label and not a variant spelling (\`direct_mail\`, not \`direct-mail\`). Declared values: ${listNames(declared.values)}.`
     });
   }
 }
 function checkActionParams(findings, ctx) {
-  const rawParams = Object.keys(asRecord(isRec10(ctx.rawAction) ? ctx.rawAction.params : void 0));
+  const rawParams = Object.keys(asRecord(isRec11(ctx.rawAction) ? ctx.rawAction.params : void 0));
   if (rawParams.length === 0) return;
   const declared = /* @__PURE__ */ new Set();
   for (const param of asArray15(ctx.action.params)) {
-    const name = strName12(param.name) ?? strName12(param.field);
+    const name = strName13(param.name) ?? strName13(param.field);
     if (name) declared.add(name);
   }
   for (const paramName of rawParams) {
@@ -3546,40 +3943,40 @@ function checkActionParams(findings, ctx) {
       rule: TRANSLATION_TARGET_UNKNOWN,
       where: `${ctx.where} \xB7 param "${paramName}"`,
       path: `${ctx.path}.params.${paramName}`,
-      message: `Translations are keyed to parameter "${paramName}", which ${ctx.subject} does not declare. The parameter's label and help text render untranslated in the action dialog.` + suggest6(paramName, declared),
+      message: `Translations are keyed to parameter "${paramName}", which ${ctx.subject} does not declare. The parameter's label and help text render untranslated in the action dialog.` + suggest7(paramName, declared),
       hint: `Match the key to a declared param \`name\`, or drop it.` + (declared.size > 0 ? ` Declared params: ${listNames(declared)}.` : "")
     });
   }
 }
 
 // src/collection-entries.ts
-function isRec11(v) {
+function isRec12(v) {
   return !!v && typeof v === "object" && !Array.isArray(v);
 }
 function collectionEntries(v, base) {
   if (Array.isArray(v)) {
     const out = [];
     for (let i = 0; i < v.length; i++) {
-      if (isRec11(v[i])) out.push({ rec: v[i], path: `${base}[${i}]` });
+      if (isRec12(v[i])) out.push({ rec: v[i], path: `${base}[${i}]` });
     }
     return out;
   }
-  if (isRec11(v)) {
-    return Object.entries(v).filter(([, def]) => isRec11(def)).map(([name, def]) => ({ rec: { name, ...def }, path: `${base}.${name}` }));
+  if (isRec12(v)) {
+    return Object.entries(v).filter(([, def]) => isRec12(def)).map(([name, def]) => ({ rec: { name, ...def }, path: `${base}.${name}` }));
   }
   return [];
 }
 
 // src/validate-translatable-sections.ts
 var TRANSLATION_SECTION_NAME_MISSING = "translation-section-name-missing";
-function isRec12(v) {
+function isRec13(v) {
   return !!v && typeof v === "object" && !Array.isArray(v);
 }
-function strName13(v) {
+function strName14(v) {
   return typeof v === "string" && v.length > 0 ? v : void 0;
 }
 function viewLabel(view) {
-  const name = strName13(view.name);
+  const name = strName14(view.name);
   return name ? `view "${name}"` : "";
 }
 function joinWhere(...parts) {
@@ -3587,7 +3984,7 @@ function joinWhere(...parts) {
 }
 function collectViewSites(view, basePath, label2, sites) {
   const recordObject = viewObjectName(view);
-  const listBinding = isRec12(view.list) ? viewObjectName(view.list) ?? recordObject : void 0;
+  const listBinding = isRec13(view.list) ? viewObjectName(view.list) ?? recordObject : void 0;
   for (const site of viewContainerSites(view, basePath)) {
     sites.push({
       path: `${site.path}.sections`,
@@ -3601,11 +3998,11 @@ function translatedObjectNames(stack) {
   const out = /* @__PURE__ */ new Set();
   const bundles = Array.isArray(stack.translations) ? stack.translations : [];
   for (const bundle of bundles) {
-    if (!isRec12(bundle)) continue;
+    if (!isRec13(bundle)) continue;
     for (const data of Object.values(bundle)) {
-      if (!isRec12(data) || !isRec12(data.objects)) continue;
+      if (!isRec13(data) || !isRec13(data.objects)) continue;
       for (const [objectName, node] of Object.entries(data.objects)) {
-        if (isRec12(node)) out.add(objectName);
+        if (isRec13(node)) out.add(objectName);
       }
     }
   }
@@ -3617,22 +4014,22 @@ function suggestedName(label2) {
 }
 function validateTranslatableSections(stack) {
   const findings = [];
-  if (!isRec12(stack)) return findings;
+  if (!isRec13(stack)) return findings;
   const translated = translatedObjectNames(stack);
   if (translated.size === 0) return findings;
   const sites = [];
   for (const { rec: obj, path: objPath } of collectionEntries(stack.objects, "objects")) {
-    const objectName = strName13(obj.name);
+    const objectName = strName14(obj.name);
     if (!objectName) continue;
     for (const { rec: view, path } of collectionEntries(obj.views, `${objPath}.views`)) {
       collectViewSites(
-        { ...view, object: strName13(view.object) ?? objectName },
+        { ...view, object: strName14(view.object) ?? objectName },
         path,
         viewLabel(view),
         sites
       );
     }
-    if (isRec12(obj.listViews)) {
+    if (isRec13(obj.listViews)) {
       collectViewSites({ object: objectName, listViews: obj.listViews }, objPath, "", sites);
     }
   }
@@ -3640,13 +4037,13 @@ function validateTranslatableSections(stack) {
     collectViewSites(view, path, viewLabel(view), sites);
   }
   for (const { rec: page, path: pagePath } of collectionEntries(stack.pages, "pages")) {
-    const pageName = strName13(page.name);
+    const pageName = strName14(page.name);
     const pageLabel = pageName ? `page "${pageName}"` : "";
     for (const walked of walkPageComponents(page, pagePath)) {
       if (!walked.objectName) continue;
-      const props = isRec12(walked.component.properties) ? walked.component.properties : void 0;
+      const props = isRec13(walked.component.properties) ? walked.component.properties : void 0;
       if (!props) continue;
-      const type = strName13(walked.component.type) ?? "component";
+      const type = strName14(walked.component.type) ?? "component";
       sites.push({
         path: `${walked.path}.properties.sections`,
         surface: joinWhere(pageLabel, type),
@@ -3661,9 +4058,9 @@ function validateTranslatableSections(stack) {
     if (!Array.isArray(site.sections)) continue;
     for (let i = 0; i < site.sections.length; i++) {
       const section = site.sections[i];
-      if (!isRec12(section)) continue;
-      if (strName13(section.name)) continue;
-      const heading = strName13(section.label);
+      if (!isRec13(section)) continue;
+      if (strName14(section.name)) continue;
+      const heading = strName14(section.label);
       if (!heading) continue;
       const slug = suggestedName(heading);
       findings.push({
@@ -3681,10 +4078,10 @@ function validateTranslatableSections(stack) {
 
 // src/flow-walk.ts
 import { FLOW_REGION_SLOTS_BY_TYPE, FLOW_REGION_CONFIG_KEYS } from "@objectstack/spec/automation";
-function isRec13(v) {
+function isRec14(v) {
   return !!v && typeof v === "object" && !Array.isArray(v);
 }
-function strName14(v) {
+function strName15(v) {
   return typeof v === "string" && v.length > 0 ? v : void 0;
 }
 var REGION_SLOTS = new Map(
@@ -3693,10 +4090,10 @@ var REGION_SLOTS = new Map(
 var REGION_CONFIG_KEYS = FLOW_REGION_CONFIG_KEYS;
 var MAX_REGION_DEPTH = 16;
 function flowNodeLabel(node, index) {
-  return strName14(node.label) ?? strName14(node.id) ?? `#${index}`;
+  return strName15(node.label) ?? strName15(node.id) ?? `#${index}`;
 }
 function stripRegions(config) {
-  if (!isRec13(config)) return void 0;
+  if (!isRec14(config)) return void 0;
   let out;
   for (const key of Object.keys(config)) {
     if (!REGION_CONFIG_KEYS.has(key)) continue;
@@ -3707,11 +4104,11 @@ function stripRegions(config) {
 }
 function walkFlowNodes(flow, flowPath) {
   const out = [];
-  if (!isRec13(flow)) return out;
+  if (!isRec14(flow)) return out;
   const visitList = (nodes, basePath, trail, depth) => {
     if (!Array.isArray(nodes) || depth > MAX_REGION_DEPTH) return;
     nodes.forEach((raw, index) => {
-      if (!isRec13(raw)) return;
+      if (!isRec14(raw)) return;
       const path = `${basePath}[${index}]`;
       out.push({
         node: raw,
@@ -3720,9 +4117,9 @@ function walkFlowNodes(flow, flowPath) {
         regionTrail: trail,
         depth
       });
-      const type = strName14(raw.type);
+      const type = strName15(raw.type);
       const slots = type ? REGION_SLOTS.get(type) : void 0;
-      if (!slots || !isRec13(raw.config)) return;
+      if (!slots || !isRec14(raw.config)) return;
       const config = raw.config;
       const here = `${type} "${flowNodeLabel(raw, index)}"`;
       for (const slot of slots) {
@@ -3730,8 +4127,8 @@ function walkFlowNodes(flow, flowPath) {
         if (slot === "branches") {
           if (!Array.isArray(value)) continue;
           value.forEach((branch, b) => {
-            if (!isRec13(branch)) return;
-            const branchName = strName14(branch.name) ?? `#${b}`;
+            if (!isRec14(branch)) return;
+            const branchName = strName15(branch.name) ?? `#${b}`;
             visitList(
               branch.nodes,
               `${path}.config.branches[${b}].nodes`,
@@ -3741,7 +4138,7 @@ function walkFlowNodes(flow, flowPath) {
           });
           continue;
         }
-        if (!isRec13(value)) continue;
+        if (!isRec14(value)) continue;
         visitList(
           value.nodes,
           `${path}.config.${slot}.nodes`,
@@ -3982,7 +4379,7 @@ function asArray17(v) {
   }
   return [];
 }
-function strName15(v) {
+function strName16(v) {
   return typeof v === "string" && v.length > 0 ? v : void 0;
 }
 function surfaceOf(v) {
@@ -3993,17 +4390,17 @@ function validateAiSurfaceAffinity(stack) {
   if (!stack || typeof stack !== "object") return findings;
   const skillsByName = /* @__PURE__ */ new Map();
   for (const skill of asArray17(stack.skills)) {
-    const n = strName15(skill.name);
+    const n = strName16(skill.name);
     if (n) skillsByName.set(n, skill);
   }
   const agents = asArray17(stack.agents);
   for (let ai = 0; ai < agents.length; ai++) {
     const agent = agents[ai];
-    const agentName = strName15(agent.name) ?? `#${ai}`;
+    const agentName = strName16(agent.name) ?? `#${ai}`;
     const agentSurface = surfaceOf(agent.surface);
     const skillRefs = Array.isArray(agent.skills) ? agent.skills : [];
     for (let si = 0; si < skillRefs.length; si++) {
-      const ref = strName15(skillRefs[si]);
+      const ref = strName16(skillRefs[si]);
       if (!ref) continue;
       const skill = skillsByName.get(ref);
       if (!skill) continue;
@@ -4032,10 +4429,10 @@ function asArray18(v) {
   }
   return [];
 }
-function strName16(v) {
+function strName17(v) {
   return typeof v === "string" && v.length > 0 ? v : void 0;
 }
-function distance6(a, b) {
+function distance7(a, b) {
   const m = a.length;
   const n = b.length;
   if (m === 0) return n;
@@ -4051,14 +4448,14 @@ function distance6(a, b) {
   }
   return prev[n];
 }
-function suggest7(target, known) {
+function suggest8(target, known) {
   for (const prefix of PLATFORM_TOOL_FAMILY_PREFIXES) {
     if (known.has(`${prefix}${target}`)) return ` Did you mean "${prefix}${target}"?`;
   }
   let best;
   let bestScore = Infinity;
   for (const candidate of known) {
-    const d = distance6(target, candidate);
+    const d = distance7(target, candidate);
     if (d < bestScore) {
       bestScore = d;
       best = candidate;
@@ -4073,8 +4470,8 @@ function materialisesAsTool(action) {
   if (!ai || typeof ai !== "object") return false;
   const aiRec = ai;
   if (aiRec.exposed !== true) return false;
-  if (!strName16(aiRec.description)) return false;
-  const type = strName16(action.type);
+  if (!strName17(aiRec.description)) return false;
+  const type = strName17(action.type);
   if (!type || !HEADLESS_ACTION_TYPES.has(type)) return false;
   if (type === "script") return Boolean(action.target || action.body);
   return Boolean(action.target);
@@ -4082,12 +4479,12 @@ function materialisesAsTool(action) {
 function collectToolUniverse(stack) {
   const universe = new Set(PLATFORM_PROVIDED_TOOL_NAMES);
   for (const tool of asArray18(stack.tools)) {
-    const n = strName16(tool.name);
+    const n = strName17(tool.name);
     if (n) universe.add(n);
   }
   const addActionFamily = (actions) => {
     for (const action of asArray18(actions)) {
-      const n = strName16(action.name);
+      const n = strName17(action.name);
       if (n && materialisesAsTool(action)) universe.add(`action_${n}`);
     }
   };
@@ -4101,7 +4498,7 @@ function collectUnexposedActionNames(stack) {
   const names = /* @__PURE__ */ new Set();
   const scan = (actions) => {
     for (const action of asArray18(actions)) {
-      const n = strName16(action.name);
+      const n = strName17(action.name);
       if (n && !materialisesAsTool(action)) names.add(n);
     }
   };
@@ -4127,10 +4524,10 @@ function validateAiToolReferences(stack) {
   const skills = asArray18(stack.skills);
   for (let si = 0; si < skills.length; si++) {
     const skill = skills[si];
-    const skillName = strName16(skill.name) ?? `#${si}`;
+    const skillName = strName17(skill.name) ?? `#${si}`;
     const refs = Array.isArray(skill.tools) ? skill.tools : [];
     for (let ti = 0; ti < refs.length; ti++) {
-      const ref = strName16(refs[ti]);
+      const ref = strName17(refs[ti]);
       if (!ref || resolves(ref)) continue;
       const isPattern = ref.endsWith("*");
       const unexposed = !isPattern && ref.startsWith("action_") && unexposedActions.has(ref.slice("action_".length)) ? ref.slice("action_".length) : void 0;
@@ -4139,7 +4536,7 @@ function validateAiToolReferences(stack) {
         rule: AI_SKILL_TOOL_UNRESOLVED,
         where: `skill "${skillName}" \xB7 tools`,
         path: `skills[${si}].tools[${ti}]`,
-        message: isPattern ? `Skill "${skillName}" subscribes to tool family "${ref}", which matches nothing this stack can resolve (no declared tool, no platform tool, and no AI-exposed declarative action materialises into it). The subscription contributes zero tools at runtime.` : unexposed ? `Skill "${skillName}" references tool "${ref}", but the action "${unexposed}" does not become an AI tool: the runtime materialises \`action_<name>\` only for an action that opts in with \`ai.exposed: true\` + \`ai.description\` (ADR-0011) AND has a headless path (type \`script\`/\`api\`/\`flow\` with a target or body \u2014 \`url\`/\`modal\`/\`form\` are UI-only). The reference is dropped at runtime, so the skill promises a capability the agent cannot call.` : `Skill "${skillName}" references tool "${ref}", which resolves to nothing this stack can see: not a \`stack.tools\` record, not a platform-registered tool, and not a materialised action tool (\`action_<name>\`). The runtime silently drops the reference, so the skill's instructions claim a capability the agent does not have \u2014 the assistant will improvise or fail when asked to use it.` + suggest7(ref, universe),
+        message: isPattern ? `Skill "${skillName}" subscribes to tool family "${ref}", which matches nothing this stack can resolve (no declared tool, no platform tool, and no AI-exposed declarative action materialises into it). The subscription contributes zero tools at runtime.` : unexposed ? `Skill "${skillName}" references tool "${ref}", but the action "${unexposed}" does not become an AI tool: the runtime materialises \`action_<name>\` only for an action that opts in with \`ai.exposed: true\` + \`ai.description\` (ADR-0011) AND has a headless path (type \`script\`/\`api\`/\`flow\` with a target or body \u2014 \`url\`/\`modal\`/\`form\` are UI-only). The reference is dropped at runtime, so the skill promises a capability the agent cannot call.` : `Skill "${skillName}" references tool "${ref}", which resolves to nothing this stack can see: not a \`stack.tools\` record, not a platform-registered tool, and not a materialised action tool (\`action_<name>\`). The runtime silently drops the reference, so the skill's instructions claim a capability the agent does not have \u2014 the assistant will improvise or fail when asked to use it.` + suggest8(ref, universe),
         hint: unexposed ? `Either opt "${unexposed}" in \u2014 set \`ai: { exposed: true, description: '\u2026' }\` (\u226540 chars, LLM-facing) and give it a headless type \u2014 or drop the reference and have the skill's instructions recommend the UI action instead. A \`modal\`/\`form\`/\`url\` action stays human-driven by design; that is a legitimate answer, not a gap.` : `Back "${ref}" with a real executable: declare a declarative action (or flow), opt it in with \`ai.exposed: true\` + \`ai.description\`, and reference its materialised tool (\`action_<name>\` \u2014 the ADR-0109 default path, no tool record needed); or reference a platform tool by its registered name; or remove the reference and the instructions that mention it. Ignore this only if a runtime plugin outside the platform registry provides "${ref}". Family prefixes materialised by the runtime: ${PLATFORM_TOOL_FAMILY_PREFIXES.join(", ")}.`
       });
     }
@@ -4157,7 +4554,7 @@ function asArray19(v) {
   }
   return [];
 }
-function strName17(v) {
+function strName18(v) {
   return typeof v === "string" && v.length > 0 ? v : void 0;
 }
 var PLATFORM_AGENT_NAMES = /* @__PURE__ */ new Set(["ask", "build", "data_chat", "metadata_assistant"]);
@@ -4167,7 +4564,7 @@ function validateAiAgentAuthoring(stack) {
   const agents = asArray19(stack.agents);
   for (let ai = 0; ai < agents.length; ai++) {
     const agent = agents[ai];
-    const name = strName17(agent.name) ?? `#${ai}`;
+    const name = strName18(agent.name) ?? `#${ai}`;
     const isPlatformName = PLATFORM_AGENT_NAMES.has(name);
     const skillCount = Array.isArray(agent.skills) ? agent.skills.length : 0;
     findings.push({
@@ -4183,9 +4580,9 @@ function validateAiAgentAuthoring(stack) {
   const apps = asArray19(stack.apps);
   for (let appIdx = 0; appIdx < apps.length; appIdx++) {
     const app = apps[appIdx];
-    const defaultAgent = strName17(app.defaultAgent);
+    const defaultAgent = strName18(app.defaultAgent);
     if (!defaultAgent || PLATFORM_AGENT_NAMES.has(defaultAgent)) continue;
-    const appName = strName17(app.name) ?? `#${appIdx}`;
+    const appName = strName18(app.name) ?? `#${appIdx}`;
     findings.push({
       severity: "warning",
       rule: DEFAULT_AGENT_OUTSIDE_ROSTER,
@@ -4201,6 +4598,38 @@ function validateAiAgentAuthoring(stack) {
 // src/validate-hook-body-writes.ts
 import { createRequire } from "module";
 import { findClosestMatches, formatSuggestion } from "@objectstack/spec/shared";
+
+// src/checked-parse.ts
+function createSourceFileChecked(tsc, fileName, source, options) {
+  const sourceFile = tsc.createSourceFile(
+    fileName,
+    source,
+    options.target,
+    options.setParentNodes,
+    options.scriptKind
+  );
+  const diagnostics = sourceFile.parseDiagnostics;
+  if (!diagnostics || diagnostics.length === 0) return { sourceFile };
+  const first = diagnostics[0];
+  const { line, character } = sourceFile.getLineAndCharacterOfPosition(first.start ?? 0);
+  const offset = options.synthesizedLinesBefore ?? 0;
+  return {
+    sourceFile,
+    failure: {
+      message: tsc.flattenDiagnosticMessageText(first.messageText, " "),
+      line: Math.max(1, line + 1 - offset),
+      column: character + 1,
+      count: diagnostics.length
+    }
+  };
+}
+function describeParseFailure(failure) {
+  const more = failure.count > 1 ? `; ${failure.count} syntax errors in total` : "";
+  return `line ${failure.line}, column ${failure.column}: ${failure.message}${more}`;
+}
+var PARSE_FAILURE_HINT = "The source is parsed (never executed) so it can be checked. A source with syntax errors is only partially recovered, so the checks that follow may have skipped real problems \u2014 fix the syntax error and re-run to get a verdict that covers the whole source.";
+
+// src/validate-hook-body-writes.ts
 var cachedTs = null;
 function loadTypeScript() {
   if (cachedTs) return cachedTs;
@@ -4215,6 +4644,8 @@ function loadTypeScript() {
   return cachedTs;
 }
 var HOOK_BODY_WRITE_UNKNOWN_FIELD = "hook-body-write-unknown-field";
+var HOOK_BODY_SOURCE_UNPARSEABLE = "hook-body-source-unparseable";
+var HOOK_BODY_WRITE_UNPROVISIONED_ANCHOR = "hook-body-write-unprovisioned-anchor";
 var HOOK_BODY_WRITE_PATTERNS = [
   {
     id: "input-property-assign",
@@ -4281,13 +4712,16 @@ var IMPLICIT_FIELDS2 = /* @__PURE__ */ new Set([
   "owner",
   "record_type"
 ]);
-var isRec14 = (v) => !!v && typeof v === "object" && !Array.isArray(v);
+function unprovisionedAnchorWriteConsequence() {
+  return `so the value can never land: the anchor exists only in the registered schema, which is what carries it PAST the write-path validator that refuses an undeclared name outright (INVALID_FIELD). The remote database is what rejects it \u2014 on a SQL remote with an untyped driver error ('no such column') that aborts the whole statement, so the correctly named fields in the same payload never land either; on a schemaless remote the key is persisted into a column no read surface returns (#4271).`;
+}
+var isRec15 = (v) => !!v && typeof v === "object" && !Array.isArray(v);
 function asArray20(v) {
-  if (Array.isArray(v)) return v.filter((x) => isRec14(x));
-  if (isRec14(v)) {
+  if (Array.isArray(v)) return v.filter((x) => isRec15(x));
+  if (isRec15(v)) {
     return Object.entries(v).map(([name, def]) => ({
       name,
-      ...isRec14(def) ? def : {}
+      ...isRec15(def) ? def : {}
     }));
   }
   return [];
@@ -4310,23 +4744,23 @@ function judgeableFieldsOf(index, objectName) {
   if (!declared || declared.size === 0) return void 0;
   return declared;
 }
-function extractHookBodyWrites(source) {
-  return extractHookBodyWriteSet(source).writes;
-}
 function extractHookBodyWriteSet(source) {
   if (!/\bctx\b/.test(source) && !/\bObject\b/.test(source)) {
     return { writes: [], ctxRecordEscapes: false };
   }
   const tsc = loadTypeScript();
-  const sf = tsc.createSourceFile(
+  const { sourceFile: sf, failure: parseFailure } = createSourceFileChecked(
+    tsc,
     "hook-body.ts",
     `async function __body(ctx) {
 ${source}
 }`,
-    tsc.ScriptTarget.Latest,
-    /* setParentNodes */
-    false,
-    tsc.ScriptKind.TS
+    {
+      target: tsc.ScriptTarget.Latest,
+      setParentNodes: false,
+      scriptKind: tsc.ScriptKind.TS,
+      synthesizedLinesBefore: 1
+    }
   );
   const writes = [];
   const recordRefs = [];
@@ -4423,7 +4857,8 @@ ${source}
   visit(sf);
   return {
     writes,
-    ctxRecordEscapes: recordRefs.some((ref) => !consumedRecordRefs.has(ref))
+    ctxRecordEscapes: recordRefs.some((ref) => !consumedRecordRefs.has(ref)),
+    ...parseFailure ? { parseFailure } : {}
   };
 }
 function validateHookBodyWrites(stack) {
@@ -4431,15 +4866,28 @@ function validateHookBodyWrites(stack) {
   const hooks = asArray20(stack.hooks);
   if (hooks.length === 0) return findings;
   let objectFields = null;
+  let anchors = null;
   hooks.forEach((hook, hookIndex) => {
     const body = hook.body;
-    if (!isRec14(body) || body.language !== "js") return;
+    if (!isRec15(body) || body.language !== "js") return;
     const source = body.source;
     if (typeof source !== "string" || source.trim() === "") return;
-    const writes = extractHookBodyWrites(source).filter((w) => HOOK_APPLICABLE_IDS.has(w.patternId));
+    const extracted = extractHookBodyWriteSet(source);
+    const hookName = typeof hook.name === "string" && hook.name ? hook.name : `#${hookIndex}`;
+    if (extracted.parseFailure) {
+      findings.push({
+        severity: "warning",
+        rule: HOOK_BODY_SOURCE_UNPARSEABLE,
+        where: `hook "${hookName}" \u203A body`,
+        path: `hooks[${hookIndex}].body.source`,
+        message: `L2 body did not parse (${describeParseFailure(extracted.parseFailure)}), so its write set was read from a partially recovered tree \u2014 an undeclared field write in the unread part is not reported.`,
+        hint: PARSE_FAILURE_HINT
+      });
+    }
+    const writes = extracted.writes.filter((w) => HOOK_APPLICABLE_IDS.has(w.patternId));
     if (writes.length === 0) return;
     objectFields ?? (objectFields = indexObjectFields2(stack));
-    const hookName = typeof hook.name === "string" && hook.name ? hook.name : `#${hookIndex}`;
+    anchors ?? (anchors = indexUnprovisionedAnchors(stack));
     const targets = (Array.isArray(hook.object) ? hook.object : [hook.object]).filter(
       (o) => typeof o === "string" && o.trim() !== ""
     );
@@ -4453,7 +4901,20 @@ function validateHookBodyWrites(stack) {
       if (reported.has(dedupeKey)) continue;
       if (w.object === void 0) {
         if (!inputJudgeable) continue;
-        if (IMPLICIT_FIELDS2.has(w.field)) continue;
+        if (IMPLICIT_FIELDS2.has(w.field)) {
+          if (!targets.every((t) => anchors.get(t)?.has(w.field))) continue;
+          reported.add(dedupeKey);
+          const anchorObj = targets.length === 1 ? targets[0] : targets.join(", ");
+          findings.push({
+            severity: "warning",
+            rule: HOOK_BODY_WRITE_UNPROVISIONED_ANCHOR,
+            where,
+            path,
+            message: `body writes '${w.field}' to its input, and ${unprovisionedAnchorCause(anchorObj, w.field)} \u2014 ` + unprovisionedAnchorWriteConsequence(),
+            hint: unprovisionedAnchorHint(anchorObj, w.field)
+          });
+          continue;
+        }
         if (targetSets.some((s) => s.has(w.field))) continue;
         reported.add(dedupeKey);
         const objDesc = targets.length === 1 ? `object '${targets[0]}'` : `none of its target objects (${targets.join(", ")})`;
@@ -4469,7 +4930,20 @@ function validateHookBodyWrites(stack) {
       } else {
         const known = judgeableFieldsOf(objectFields, w.object);
         if (!known) continue;
-        if (IMPLICIT_FIELDS2.has(w.field) || known.has(w.field)) continue;
+        if (known.has(w.field)) continue;
+        if (IMPLICIT_FIELDS2.has(w.field)) {
+          if (!anchors.get(w.object)?.has(w.field)) continue;
+          reported.add(dedupeKey);
+          findings.push({
+            severity: "warning",
+            rule: HOOK_BODY_WRITE_UNPROVISIONED_ANCHOR,
+            where,
+            path,
+            message: `body calls ctx.api.object('${w.object}').${w.method ?? "update"}(\u2026) writing '${w.field}', and ${unprovisionedAnchorCause(w.object, w.field)} \u2014 ${unprovisionedAnchorWriteConsequence()}`,
+            hint: unprovisionedAnchorHint(w.object, w.field)
+          });
+          continue;
+        }
         reported.add(dedupeKey);
         findings.push({
           severity: "warning",
@@ -4498,19 +4972,21 @@ function fixHint(field, declared) {
 import { findClosestMatches as findClosestMatches2, formatSuggestion as formatSuggestion2 } from "@objectstack/spec/shared";
 var ACTION_BODY_WRITE_UNKNOWN_FIELD = "action-body-write-unknown-field";
 var ACTION_RECORD_WRITE_DISCARDED = "action-record-write-discarded";
+var ACTION_BODY_SOURCE_UNPARSEABLE = "action-body-source-unparseable";
+var ACTION_BODY_WRITE_UNPROVISIONED_ANCHOR = "action-body-write-unprovisioned-anchor";
 var ACTION_BODY_WRITE_PATTERN_IDS = ["api-crud-literal"];
 var ACTION_RECORD_WRITE_PATTERN_IDS = ["record-property-assign"];
 var ACTION_BODY_WRITE_PATTERNS = HOOK_BODY_WRITE_PATTERNS.filter((p) => ACTION_BODY_WRITE_PATTERN_IDS.includes(p.id));
 var ACTION_RECORD_WRITE_PATTERNS = HOOK_BODY_WRITE_PATTERNS.filter((p) => ACTION_RECORD_WRITE_PATTERN_IDS.includes(p.id));
 var APPLICABLE_IDS = new Set(ACTION_BODY_WRITE_PATTERN_IDS);
 var RECORD_WRITE_IDS = new Set(ACTION_RECORD_WRITE_PATTERN_IDS);
-var isRec15 = (v) => !!v && typeof v === "object" && !Array.isArray(v);
+var isRec16 = (v) => !!v && typeof v === "object" && !Array.isArray(v);
 function asArray21(v) {
-  if (Array.isArray(v)) return v.filter((x) => isRec15(x));
-  if (isRec15(v)) {
+  if (Array.isArray(v)) return v.filter((x) => isRec16(x));
+  if (isRec16(v)) {
     return Object.entries(v).map(([name, def]) => ({
       name,
-      ...isRec15(def) ? def : {}
+      ...isRec16(def) ? def : {}
     }));
   }
   return [];
@@ -4528,7 +5004,7 @@ function collectActionBodies(stack) {
       const type = typeof action.type === "string" ? action.type : "script";
       if (type !== "script") return;
       const body = action.body;
-      if (!isRec15(body) || body.language !== "js") return;
+      if (!isRec16(body) || body.language !== "js") return;
       const source = body.source;
       if (typeof source !== "string" || source.trim() === "") return;
       const name = typeof action.name === "string" && action.name ? action.name : `#${index}`;
@@ -4547,17 +5023,28 @@ function collectActionBodies(stack) {
 }
 function validateActionBodyWrites(stack) {
   const findings = [];
-  if (!isRec15(stack)) return findings;
+  if (!isRec16(stack)) return findings;
   const sites = collectActionBodies(stack);
   if (sites.length === 0) return findings;
   let objectFields = null;
+  let anchors = null;
   for (const site of sites) {
     if (!/\bapi\b/.test(site.source) && !/\brecord\b/.test(site.source)) continue;
-    const { writes: allWrites, ctxRecordEscapes } = extractHookBodyWriteSet(site.source);
+    const { writes: allWrites, ctxRecordEscapes, parseFailure } = extractHookBodyWriteSet(site.source);
     const writes = allWrites.filter((w) => APPLICABLE_IDS.has(w.patternId));
     const recordWrites = allWrites.filter((w) => RECORD_WRITE_IDS.has(w.patternId));
-    if (writes.length === 0 && recordWrites.length === 0) continue;
     const where = `action "${site.name}" \u203A body`;
+    if (parseFailure) {
+      findings.push({
+        severity: "warning",
+        rule: ACTION_BODY_SOURCE_UNPARSEABLE,
+        where,
+        path: site.path,
+        message: `L2 body did not parse (${describeParseFailure(parseFailure)}), so its write set was read from a partially recovered tree \u2014 an undeclared field write in the unread part is not reported.`,
+        hint: PARSE_FAILURE_HINT
+      });
+    }
+    if (writes.length === 0 && recordWrites.length === 0) continue;
     if (recordWrites.length > 0 && !ctxRecordEscapes) {
       const reportedFields = /* @__PURE__ */ new Set();
       for (const w of recordWrites) {
@@ -4575,6 +5062,7 @@ function validateActionBodyWrites(stack) {
     }
     if (writes.length === 0) continue;
     objectFields ?? (objectFields = indexObjectFields2(stack));
+    anchors ?? (anchors = indexUnprovisionedAnchors(stack));
     const reported = /* @__PURE__ */ new Set();
     for (const w of writes) {
       if (w.object === void 0) continue;
@@ -4582,7 +5070,20 @@ function validateActionBodyWrites(stack) {
       if (reported.has(dedupeKey)) continue;
       const known = judgeableFieldsOf(objectFields, w.object);
       if (!known) continue;
-      if (IMPLICIT_FIELDS2.has(w.field) || known.has(w.field)) continue;
+      if (known.has(w.field)) continue;
+      if (IMPLICIT_FIELDS2.has(w.field)) {
+        if (!anchors.get(w.object)?.has(w.field)) continue;
+        reported.add(dedupeKey);
+        findings.push({
+          severity: "warning",
+          rule: ACTION_BODY_WRITE_UNPROVISIONED_ANCHOR,
+          where,
+          path: site.path,
+          message: `body calls ctx.api.object('${w.object}').${w.method ?? "update"}(\u2026) writing '${w.field}', and ${unprovisionedAnchorCause(w.object, w.field)} \u2014 ${unprovisionedAnchorWriteConsequence()}`,
+          hint: unprovisionedAnchorHint(w.object, w.field)
+        });
+        continue;
+      }
       reported.add(dedupeKey);
       findings.push({
         severity: "warning",
@@ -4604,14 +5105,15 @@ function fixHint2(field, declared) {
 // src/validate-flow-node-writes.ts
 import { findClosestMatches as findClosestMatches3, formatSuggestion as formatSuggestion3 } from "@objectstack/spec/shared";
 var FLOW_NODE_WRITE_UNKNOWN_FIELD = "flow-node-write-unknown-field";
+var FLOW_NODE_WRITE_UNPROVISIONED_ANCHOR = "flow-node-write-unprovisioned-anchor";
 var FLOW_WRITE_NODE_TYPES = ["update_record", "create_record"];
-var isRec16 = (v) => !!v && typeof v === "object" && !Array.isArray(v);
+var isRec17 = (v) => !!v && typeof v === "object" && !Array.isArray(v);
 function asArray22(v) {
-  if (Array.isArray(v)) return v.filter((x) => isRec16(x));
-  if (isRec16(v)) {
+  if (Array.isArray(v)) return v.filter((x) => isRec17(x));
+  if (isRec17(v)) {
     return Object.entries(v).map(([name, def]) => ({
       name,
-      ...isRec16(def) ? def : {}
+      ...isRec17(def) ? def : {}
     }));
   }
   return [];
@@ -4624,30 +5126,44 @@ function readLiteralObjectName(config) {
 var COVERED_TYPES = new Set(FLOW_WRITE_NODE_TYPES);
 function validateFlowNodeWrites(stack) {
   const findings = [];
-  if (!isRec16(stack)) return findings;
+  if (!isRec17(stack)) return findings;
   const flows = asArray22(stack.flows);
   if (flows.length === 0) return findings;
   let objectFields = null;
+  let anchors = null;
   flows.forEach((flow, flowIndex) => {
     const flowName = typeof flow.name === "string" && flow.name ? flow.name : `#${flowIndex}`;
     const walked = walkFlowNodes(flow, `flows[${flowIndex}]`);
     walked.forEach(({ node, path: nodePath, regionTrail }, walkIndex) => {
       if (typeof node.type !== "string" || !COVERED_TYPES.has(node.type)) return;
-      const config = isRec16(node.config) ? node.config : void 0;
+      const config = isRec17(node.config) ? node.config : void 0;
       if (!config) return;
       const fields = config.fields;
-      if (!isRec16(fields)) return;
+      if (!isRec17(fields)) return;
       const written = Object.keys(fields);
       if (written.length === 0) return;
       const objectName = readLiteralObjectName(config);
       if (!objectName) return;
       objectFields ?? (objectFields = indexObjectFields2(stack));
+      anchors ?? (anchors = indexUnprovisionedAnchors(stack));
       const known = judgeableFieldsOf(objectFields, objectName);
       if (!known) return;
       const nodeName = flowNodeLabel(node, walkIndex);
       const nodeWhere = regionTrail ? `${regionTrail} \u203A node "${nodeName}"` : `node "${nodeName}"`;
       for (const fieldName of written) {
-        if (known.has(fieldName) || IMPLICIT_FIELDS2.has(fieldName)) continue;
+        if (known.has(fieldName)) continue;
+        if (IMPLICIT_FIELDS2.has(fieldName)) {
+          if (!anchors.get(objectName)?.has(fieldName)) continue;
+          findings.push({
+            severity: "warning",
+            rule: FLOW_NODE_WRITE_UNPROVISIONED_ANCHOR,
+            where: `flow "${flowName}" \u203A ${nodeWhere}`,
+            path: `${nodePath}.config.fields.${fieldName}`,
+            message: `${node.type} writes '${fieldName}', and ${unprovisionedAnchorCause(objectName, fieldName)} \u2014 ` + unprovisionedAnchorWriteConsequence(),
+            hint: unprovisionedAnchorHint(objectName, fieldName)
+          });
+          continue;
+        }
         if (fieldName.includes(".")) continue;
         findings.push({
           severity: "error",
@@ -4769,14 +5285,14 @@ import {
   chartAggregateResultKeys,
   isRecordContextBlockType
 } from "@objectstack/spec/ui";
-import { VALID_AST_OPERATORS } from "@objectstack/spec/data";
+import { VALID_AST_OPERATORS as VALID_AST_OPERATORS2 } from "@objectstack/spec/data";
 
 // src/zod-issue-format.ts
-var isRec17 = (v) => !!v && typeof v === "object" && !Array.isArray(v);
+var isRec18 = (v) => !!v && typeof v === "object" && !Array.isArray(v);
 var valueAtPath = (root, path) => {
   let cur = root;
   for (const key of path) {
-    if (!isRec17(cur) && !Array.isArray(cur)) return void 0;
+    if (!isRec18(cur) && !Array.isArray(cur)) return void 0;
     cur = cur[key];
   }
   return cur;
@@ -4908,6 +5424,7 @@ function filterAttrValue(tsc, sf, attr) {
   };
   return perPosition(init.expression);
 }
+var REACT_PAGE_SOURCE_UNPARSEABLE = "react-page-source-unparseable";
 var REACT_CHART_FIELD_UNKNOWN = "react-chart-field-unknown";
 var REACT_CHART_FIELD_UNPROVISIONED = "react-chart-field-unprovisioned";
 var REACT_CHART_AGGREGATE_INVALID = "react-chart-aggregate-invalid";
@@ -4915,7 +5432,7 @@ var REACT_CHART_AXIS_UNKNOWN = "react-chart-axis-unknown";
 var REACT_CHART_DRILLDOWN_INVALID = "react-chart-drilldown-invalid";
 function checkChartDrillDown(raw, push2) {
   if (raw === void 0 || raw === NOT_STATIC) return;
-  if (!isRec18(raw)) {
+  if (!isRec19(raw)) {
     push2(
       "error",
       REACT_CHART_DRILLDOWN_INVALID,
@@ -4938,7 +5455,7 @@ function checkChartDrillDown(raw, push2) {
 }
 function checkChartAggregate(raw, push2) {
   if (raw === void 0 || raw === NOT_STATIC) return;
-  if (!isRec18(raw)) {
+  if (!isRec19(raw)) {
     push2(
       "error",
       REACT_CHART_AGGREGATE_INVALID,
@@ -4969,7 +5486,7 @@ function checkChartAggregate(raw, push2) {
     );
   }
 }
-var isRec18 = (v) => !!v && typeof v === "object" && !Array.isArray(v);
+var isRec19 = (v) => !!v && typeof v === "object" && !Array.isArray(v);
 var strOf = (v) => typeof v === "string" && v.length > 0 ? v : void 0;
 function checkObjectChart(attrs, objectFields, findings, unprovisionedAnchors = /* @__PURE__ */ new Map()) {
   const { values, where, path } = attrs;
@@ -4979,11 +5496,11 @@ function checkObjectChart(attrs, objectFields, findings, unprovisionedAnchors =
   const aggregate = values.get("aggregate");
   checkChartAggregate(aggregate, push2);
   if (aggregate === void 0 || aggregate === NOT_STATIC) return;
-  if (!isRec18(aggregate)) return;
+  if (!isRec19(aggregate)) return;
   const fn = strOf(aggregate.function);
   const field = strOf(aggregate.field);
   const groupBy = aggregate.groupBy;
-  const groupByField = strOf(groupBy) ?? (isRec18(groupBy) ? strOf(groupBy.field) : void 0);
+  const groupByField = strOf(groupBy) ?? (isRec19(groupBy) ? strOf(groupBy.field) : void 0);
   const objectName = strOf(values.get("objectName"));
   const known = objectName ? objectFields.get(objectName) : void 0;
   if (objectName && known) {
@@ -5027,18 +5544,18 @@ function checkObjectChart(attrs, objectFields, findings, unprovisionedAnchors =
     );
   };
   const xAxisRaw = values.get("xAxis");
-  const categoryAxis = strOf(values.get("xAxisKey")) ?? strOf(xAxisRaw) ?? (isRec18(xAxisRaw) ? strOf(xAxisRaw.field) : void 0);
+  const categoryAxis = strOf(values.get("xAxisKey")) ?? strOf(xAxisRaw) ?? (isRec19(xAxisRaw) ? strOf(xAxisRaw.field) : void 0);
   const categoryProp = values.has("xAxisKey") ? "xAxisKey" : "xAxis.field";
   axisRef(categoryAxis, categoryProp);
   const yAxisRaw = values.get("yAxis");
   const yAxisList = Array.isArray(yAxisRaw) ? yAxisRaw : yAxisRaw !== void 0 ? [yAxisRaw] : [];
   for (const a of yAxisList) {
-    axisRef(strOf(a) ?? (isRec18(a) ? strOf(a.field) : void 0), "yAxis[].field");
+    axisRef(strOf(a) ?? (isRec19(a) ? strOf(a.field) : void 0), "yAxis[].field");
   }
   const series = values.get("series");
   if (Array.isArray(series)) {
     for (const s of series) {
-      if (!isRec18(s)) continue;
+      if (!isRec19(s)) continue;
       const dataKey = strOf(s.dataKey);
       axisRef(dataKey ?? strOf(s.name), dataKey ? "series[].dataKey" : "series[].name");
     }
@@ -5094,7 +5611,7 @@ function subformFieldRefs(value, basePath) {
   if (!Array.isArray(value)) return { child, parent };
   for (let i = 0; i < value.length; i++) {
     const sub = value[i];
-    if (!isRec18(sub)) continue;
+    if (!isRec19(sub)) continue;
     const at = (key) => `${basePath}[${i}].${key}`;
     child.push({
       objectName: strOf(sub.childObject),
@@ -5119,7 +5636,7 @@ function filterFieldRefs(node, basePath, out) {
     for (let i = 0; i < node.length; i++) filterFieldRefs(node[i], `${basePath}[${i}]`, out);
     return;
   }
-  if (typeof head === "string" && head.length > 0 && node.length >= 2 && typeof node[1] === "string" && VALID_AST_OPERATORS.has(node[1].toLowerCase())) {
+  if (typeof head === "string" && head.length > 0 && node.length >= 2 && typeof node[1] === "string" && VALID_AST_OPERATORS2.has(node[1].toLowerCase())) {
     out.push({ name: head, path: `${basePath}[0]` });
   }
 }
@@ -5139,20 +5656,20 @@ function reactFieldRefs(spec, values, basePath) {
   }
   for (const key of spec.nestedFields ?? []) {
     const v = readable(key);
-    if (isRec18(v)) own.push(...fieldRefsFrom(v.fields, at(`${key}.fields`)));
+    if (isRec19(v)) own.push(...fieldRefsFrom(v.fields, at(`${key}.fields`)));
   }
   for (const key of spec.sections ?? []) {
     const v = readable(key);
     if (!Array.isArray(v)) continue;
     for (let i = 0; i < v.length; i++) {
       const section = v[i];
-      if (!isRec18(section)) continue;
+      if (!isRec19(section)) continue;
       own.push(...fieldRefsFrom(section.fields, at(`${key}[${i}].fields`)));
     }
   }
   for (const key of spec.keyedByField ?? []) {
     const v = readable(key);
-    if (!isRec18(v)) continue;
+    if (!isRec19(v)) continue;
     for (const k of Object.keys(v)) own.push({ name: k, path: at(`${key}.${k}`) });
   }
   for (const key of spec.filterArrays ?? []) {
@@ -5236,11 +5753,20 @@ function validateReactPageProps(stack) {
     if (typeof source !== "string" || source.trim() === "") continue;
     const name = String(page.name ?? `#${p}`);
     const tsc = loadTypeScript2();
-    let sf;
-    try {
-      sf = tsc.createSourceFile("page.tsx", source, tsc.ScriptTarget.Latest, true, tsc.ScriptKind.TSX);
-    } catch {
-      continue;
+    const { sourceFile: sf, failure } = createSourceFileChecked(tsc, "page.tsx", source, {
+      target: tsc.ScriptTarget.Latest,
+      setParentNodes: true,
+      scriptKind: tsc.ScriptKind.TSX
+    });
+    if (failure) {
+      findings.push({
+        severity: "warning",
+        rule: REACT_PAGE_SOURCE_UNPARSEABLE,
+        where: `page "${name}"`,
+        path: `pages[${p}].source`,
+        message: `kind:'react' source did not parse (${describeParseFailure(failure)}), so the component-contract checks read a partially recovered tree and may have missed real problems.`,
+        hint: PARSE_FAILURE_HINT
+      });
     }
     const locals = localComponentNames(tsc, sf);
     const visit = (node) => {
@@ -5319,7 +5845,12 @@ function validateReactPageProps(stack) {
                 searchTargets,
                 where,
                 `${path} \u203A searchableFields`,
-                "searchableFields"
+                "searchableFields",
+                // A `<ListView>` prop is a view-level narrowing — the checker's
+                // default, spelled out here because the #8404 provenance index
+                // follows it positionally.
+                "narrowing",
+                unprovisionedAnchors
               )
             );
           }
@@ -5338,9 +5869,26 @@ function validateReactPageProps(stack) {
 }
 
 // src/reference-integrity-suite.ts
+var DEFAULT_MEMBER_RUNTIME_TYPES = ["flow"];
 var REFERENCE_INTEGRITY_RULES = [
   { name: "validateObjectReferences", run: validateObjectReferences },
-  { name: "validateSearchableFields", run: validateSearchableFields },
+  // [#9313] `runtimeTypes` gains `view` on this member and its sort sibling:
+  // both judge a LIST VIEW's field references, and a standalone list view is
+  // written through `PUT /api/v1/meta/view` — the only door a Studio tenant or
+  // an MCP/AI author has. Their walks read the flattened overlay shape that
+  // door carries (see each rule's `views[]` self rung), and they resolve only
+  // against `stack.objects`, which the per-write snapshot DOES carry — so the
+  // crossing has no missing-collection false-positive channel. Measured over
+  // the shipped view corpus before crossing (0 refusals; population in the
+  // #9313 PR).
+  { name: "validateSearchableFields", runtimeTypes: ["flow", "view"], run: validateSearchableFields },
+  // [#9257] The same reading, one axis over: a list view's `sort` is a field
+  // name written in metadata, resolved against the object's declared fields. It
+  // gates (`error`) because the runtime does not tolerate a bad one at all —
+  // `assertSortFieldsExist` (#6994) and `assertOrderByIsMaterializable` (#7095)
+  // both answer `400 INVALID_SORT` — and a view's sort is its FIRST fetch, so
+  // the refusal is the whole view, on every load, traced to nothing.
+  { name: "validateSortableFields", runtimeTypes: ["flow", "view"], run: validateSortableFields },
   { name: "validateActionNameRefs", run: validateActionNameRefs },
   { name: "validatePageFieldBindings", run: validatePageFieldBindings },
   { name: "validateChartBindings", run: validateChartBindings },
@@ -5446,9 +5994,11 @@ var REFERENCE_INTEGRITY_RULES = [
   // — only a page that is actually `kind:'react'` loads the compiler.
   { name: "validateReactPageProps", run: validateReactPageProps }
 ];
-function validateReferenceIntegrity(stack) {
+function validateReferenceIntegrity(stack, options) {
   const findings = [];
+  const writeType = options?.runtimeWriteType;
   for (const rule of REFERENCE_INTEGRITY_RULES) {
+    if (writeType !== void 0 && !(rule.runtimeTypes ?? DEFAULT_MEMBER_RUNTIME_TYPES).includes(writeType)) continue;
     findings.push(...rule.run(stack));
   }
   return findings;
@@ -5459,10 +6009,10 @@ import { ComponentPropsMap } from "@objectstack/spec/ui";
 import { lintUnknownKeysAgainstSchema } from "@objectstack/spec";
 var COMPONENT_PROPS_UNKNOWN_KEY = "component-props-unknown-key";
 var COMPONENT_PROPS_INVALID = "component-props-invalid";
-function isRec19(v) {
+function isRec20(v) {
   return !!v && typeof v === "object" && !Array.isArray(v);
 }
-function strName18(v) {
+function strName19(v) {
   return typeof v === "string" && v.length > 0 ? v : void 0;
 }
 function asArray25(v) {
@@ -5476,8 +6026,8 @@ var PROPS_SCHEMAS = ComponentPropsMap;
 var DATASOURCE_SUPPLIED_PROP = "object";
 function suppliedByDataSource(issue, component) {
   if (issue.path.length !== 1 || issue.path[0] !== DATASOURCE_SUPPLIED_PROP) return false;
-  const dataSource = isRec19(component.dataSource) ? component.dataSource : void 0;
-  return strName18(dataSource?.object) !== void 0;
+  const dataSource = isRec20(component.dataSource) ? component.dataSource : void 0;
+  return strName19(dataSource?.object) !== void 0;
 }
 function unrecognizedKeysFromUnionArm(issue) {
   if (issue.code !== "invalid_union") return void 0;
@@ -5494,18 +6044,18 @@ function unrecognizedKeysFromUnionArm(issue) {
 }
 function validateComponentProps(stack) {
   const findings = [];
-  if (!isRec19(stack)) return findings;
+  if (!isRec20(stack)) return findings;
   const pages = asArray25(stack.pages);
   for (let pi = 0; pi < pages.length; pi++) {
     const page = pages[pi];
-    if (!isRec19(page)) continue;
-    const pageName = strName18(page.name) ?? `#${pi}`;
+    if (!isRec20(page)) continue;
+    const pageName = strName19(page.name) ?? `#${pi}`;
     for (const { component, path } of walkPageComponents(page, `pages[${pi}]`)) {
-      const type = strName18(component.type);
+      const type = strName19(component.type);
       if (!type) continue;
       const schema = PROPS_SCHEMAS[type];
       if (!schema) continue;
-      const props = isRec19(component.properties) ? component.properties : void 0;
+      const props = isRec20(component.properties) ? component.properties : void 0;
       if (!props) continue;
       const where = `page "${pageName}" \xB7 ${type}`;
       const base = `${path}.properties`;
@@ -6683,10 +7233,10 @@ function asArray35(v) {
   }
   return [];
 }
-function isRec20(v) {
+function isRec21(v) {
   return !!v && typeof v === "object" && !Array.isArray(v);
 }
-function strName19(v) {
+function strName20(v) {
   return typeof v === "string" && v.length > 0 ? v : void 0;
 }
 function fieldNameOf(entry) {
@@ -6707,7 +7257,7 @@ function validateFormLayout(stack) {
     objectFields.set(name, new Set(fields));
   }
   for (const { rec: view, path: viewPath } of collectionEntries(stack.views, "views")) {
-    const viewName = strName19(view.name) ?? strName19(view.object) ?? viewPath;
+    const viewName = strName20(view.name) ?? strName20(view.object) ?? viewPath;
     const containerObject = viewObjectName(view);
     for (const site of formViewSites(view, viewPath)) {
       const objName = viewObjectName(site.view) ?? containerObject;
@@ -6717,7 +7267,7 @@ function validateFormLayout(stack) {
         const sections = Array.isArray(site.view[bucket]) ? site.view[bucket] : [];
         for (let s = 0; s < sections.length; s++) {
           const sec = sections[s];
-          const secFields = isRec20(sec) && Array.isArray(sec.fields) ? sec.fields : [];
+          const secFields = isRec21(sec) && Array.isArray(sec.fields) ? sec.fields : [];
           for (let f = 0; f < secFields.length; f++) {
             const entry = secFields[f];
             const fname = fieldNameOf(entry);
@@ -6732,7 +7282,7 @@ function validateFormLayout(stack) {
                 hint: `Fix the field name, or add "${fname}" to ${objName}. Section field references must match the object's field names exactly.`
               });
             }
-            const colSpan = isRec20(entry) ? entry.colSpan : void 0;
+            const colSpan = isRec21(entry) ? entry.colSpan : void 0;
             if (colSpan != null) {
               findings.push({
                 severity: "warning",
@@ -6895,12 +7445,12 @@ function bareRhsOnlyIdentifiers(ast) {
   for (const name of elsewhere) rhs.delete(name);
   return rhs;
 }
-function isRec21(v) {
+function isRec22(v) {
   return !!v && typeof v === "object" && !Array.isArray(v);
 }
 function schemaIdOf(view) {
   const data = view.data;
-  if (!isRec21(data)) return void 0;
+  if (!isRec22(data)) return void 0;
   if (data.provider !== "schema") return void 0;
   return typeof data.schemaId === "string" ? data.schemaId : void 0;
 }
@@ -7272,7 +7822,7 @@ function predicateSource2(v) {
   }
   return void 0;
 }
-function isRec22(v) {
+function isRec23(v) {
   return !!v && typeof v === "object" && !Array.isArray(v);
 }
 function checkPredicate(source, scope, where, path, findings) {
@@ -7343,7 +7893,7 @@ function walkFields(entries, scope, where, base, findings, depth) {
   if (!Array.isArray(entries) || depth > 12) return;
   for (let i = 0; i < entries.length; i++) {
     const entry = entries[i];
-    if (!isRec22(entry)) continue;
+    if (!isRec23(entry)) continue;
     const path = `${base}[${i}]`;
     for (const key of PREDICATE_KEYS) {
       const source = predicateSource2(entry[key]);
@@ -7377,7 +7927,7 @@ function validatePredicatePathRefs(stack, opts = {}) {
         const sections = Array.isArray(site.view[bucket]) ? site.view[bucket] : [];
         for (let s = 0; s < sections.length; s++) {
           const section = sections[s];
-          if (!isRec22(section)) continue;
+          if (!isRec23(section)) continue;
           const sectionPath = `${site.path}.${bucket}[${s}]`;
           for (const key of PREDICATE_KEYS) {
             const source = predicateSource2(section[key]);
@@ -7661,6 +8211,7 @@ function validateSecurityPosture(stack, opts) {
     }
   }
   const GRANT_SEED_OBJECTS = /* @__PURE__ */ new Set(["sys_user_position", "sys_user_permission_set"]);
+  const DELEGATION_SEED_OBJECTS = /* @__PURE__ */ new Set(["sys_user_position"]);
   const nowMs = opts?.nowMs ?? Date.now();
   for (const [i, seed] of asArray36(stack.data).entries()) {
     const seedObject = typeof seed.object === "string" ? seed.object : "";
@@ -7684,7 +8235,7 @@ function validateSecurityPosture(stack, opts) {
         }
       }
       const delegatedFrom = rec.delegated_from;
-      if (delegatedFrom != null && delegatedFrom !== "") {
+      if (DELEGATION_SEED_OBJECTS.has(seedObject) && delegatedFrom != null && delegatedFrom !== "") {
         const reason = rec.reason;
         if (typeof reason !== "string" || reason.trim().length === 0) {
           findings.push({
@@ -7850,6 +8401,8 @@ function validateOrgAxisRedLines(stack) {
 import { compileCelToFilter } from "@objectstack/formula";
 var SHARING_RULE_UNLOWERABLE_CONDITION = "sharing-rule-unlowerable-condition";
 var SHARING_RULE_RUNTIME_VARIABLE_CONDITION = "sharing-rule-runtime-variable-condition";
+var SHARING_RULE_OBJECT_NOT_SHAREABLE = "sharing-rule-object-not-shareable";
+var SHARING_RULE_OBJECT_CONTROLLED_BY_PARENT = "sharing-rule-object-controlled-by-parent";
 function asArray38(v) {
   if (Array.isArray(v)) return v;
   if (v && typeof v === "object") {
@@ -7874,10 +8427,67 @@ function sourceOf(condition) {
   return str2(input?.source);
 }
 var PUSHDOWN_SUBSET = "The lowerable subset is: `==` `!=` `>` `<` `>=` `<=`, `in`, `&&` `||` `!`, `== null` / `!= null`, and the string methods `startsWith` / `endsWith` / `contains` \u2014 over SINGLE-column `record.<field>` paths (ADR-0058 D2).";
+function effectiveSharingModelOf(obj) {
+  const m = obj.sharingModel;
+  if (m === "private") return "private";
+  if (m === "public_read") return "read";
+  if (m === "public_read_write" || m === "controlled_by_parent") return "public";
+  if (m == null) {
+    const isSystem = obj.isSystem === true || str2(obj.name).startsWith("sys_");
+    return isSystem ? "public" : "private";
+  }
+  return "private";
+}
+function masterOf(obj) {
+  for (const f of asArray38(obj.fields)) {
+    if (f.type === "master_detail") {
+      const ref = f.reference;
+      if (typeof ref === "string" && ref) return ref;
+    }
+  }
+  return void 0;
+}
+function anchorFindings(rule, index, objectsByName) {
+  const object = str2(rule.object);
+  if (!object) return [];
+  const target = objectsByName.get(object);
+  if (!target) return [];
+  const name = str2(rule.name) || String(index);
+  const where = `sharing rule "${name}" on object "${object}"`;
+  const path = `sharingRules[${index}].object`;
+  const owd = target.sharingModel;
+  if (owd === "controlled_by_parent") {
+    const master = masterOf(target);
+    return [{
+      severity: "error",
+      rule: SHARING_RULE_OBJECT_CONTROLLED_BY_PARENT,
+      where,
+      path,
+      message: `Sharing rule "${name}" is anchored on object "${object}", which declares sharingModel 'controlled_by_parent'. A detail record has no record-level access of its own \u2014 its visibility is DERIVED from its master (ADR-0055), so it holds no shares to widen. \`SharingService.assertNotInertGrant\` refuses the grant with SHARING_NOT_ENABLED ("'${object}' is controlled by its parent (master-detail); share the master record instead"), so the rule's boot backfill fails, no \`sys_record_share\` row is ever written, and the recipients this rule names get whatever the MASTER grants them \u2014 which may be nothing. The grant is declared and does not exist.`,
+      hint: `Move the rule onto the MASTER object` + (master ? ` \u2014 "${object}" derives from "${master}" through its master_detail field, so share "${master}" and the detail rows follow` : `, and share that instead; the detail rows follow`) + `. If "${object}" is meant to carry a record-level baseline of its own, that is a different decision: change its sharingModel to 'private' (owner + shares) or 'public_read', and this rule becomes enforceable where it stands.`
+    }];
+  }
+  if (effectiveSharingModelOf(target) !== "public") return [];
+  const declared = owd === "public_read_write" ? `declares sharingModel 'public_read_write'` : `declares no sharingModel and is a system object (\`isSystem: true\` or a \`sys_\` name), which ADR-0090 D1 resolves to public`;
+  return [{
+    severity: "error",
+    rule: SHARING_RULE_OBJECT_NOT_SHAREABLE,
+    where,
+    path,
+    message: `Sharing rule "${name}" is anchored on object "${object}", which ${declared}. Its effective sharing model is therefore \`public\`, and sharing only ever WIDENS an OWD baseline \u2014 on the widest baseline there is nothing left to widen. \`SharingService.assertNotInertGrant\` refuses the grant with SHARING_NOT_ENABLED ("'${object}' is not under record-sharing enforcement"), so the rule's boot backfill fails and no \`sys_record_share\` row is ever written. Measured: \`buildReadFilter\` returns \`null\` for this object, i.e. NO record-level filter at all \u2014 every principal already reads every row, so this rule advertises a restriction that does not exist.`,
+    hint: `Decide which half is wrong. If the ACCESS is right \u2014 everyone should read and write these records \u2014 the rule is dead metadata: delete it (ADR-0049 enforce-or-remove). If the RULE is right \u2014 only the named audience should reach these records \u2014 then "${object}"'s OWD is the defect: set sharingModel: 'private' (owner + shares) or 'public_read', and this rule starts enforcing. Do NOT re-home the rule onto another public object; that moves the inertness instead of removing it.`
+  }];
+}
 function validateSharingRuleEnforceability(stack) {
   const findings = [];
   const cfg = stack ?? {};
+  const objectsByName = /* @__PURE__ */ new Map();
+  for (const obj of asArray38(cfg.objects)) {
+    const name = str2(obj.name);
+    if (name) objectsByName.set(name, obj);
+  }
   asArray38(cfg.sharingRules).forEach((rule, index) => {
+    anchorFindings(rule, index, objectsByName).forEach((f) => findings.push(f));
     const input = toCompilerInput(rule.condition);
     if (input === null) return;
     const result = compileCelToFilter(input, { variables: {} });
@@ -8007,11 +8617,11 @@ import { createRequire as createRequire4 } from "module";
 var VALIDATION_RULE_REGEX_UNCOMPILABLE = "validation-rule-regex-uncompilable";
 var VALIDATION_RULE_SCHEMA_UNCOMPILABLE = "validation-rule-json-schema-uncompilable";
 var RUNTIME_AJV_OPTIONS = { allErrors: true, strict: false };
-var isRec23 = (v) => !!v && typeof v === "object" && !Array.isArray(v);
+var isRec24 = (v) => !!v && typeof v === "object" && !Array.isArray(v);
 function asArray40(v) {
-  if (Array.isArray(v)) return v.filter(isRec23);
-  if (isRec23(v)) {
-    return Object.entries(v).filter(([, def]) => isRec23(def)).map(([name, def]) => ({ name, ...def }));
+  if (Array.isArray(v)) return v.filter(isRec24);
+  if (isRec24(v)) {
+    return Object.entries(v).filter(([, def]) => isRec24(def)).map(([name, def]) => ({ name, ...def }));
   }
   return [];
 }
@@ -8028,7 +8638,7 @@ function loadAjv() {
       `@objectstack/lint: checking a \`json_schema\` validation rule requires the "ajv" package, which could not be loaded (${err instanceof Error ? err.message : String(err)}). It is a declared dependency of @objectstack/lint \u2014 if this deployment prunes packages, keep "ajv" in the image; it is only loaded when a stack declares a \`json_schema\` validation rule.`
     );
   }
-  const ctor = isRec23(mod) && "default" in mod ? mod.default : mod;
+  const ctor = isRec24(mod) && "default" in mod ? mod.default : mod;
   cachedAjv = ctor;
   return ctor;
 }
@@ -8043,7 +8653,7 @@ function loadAddFormats() {
       `@objectstack/lint: checking a \`json_schema\` validation rule requires the "ajv-formats" package, which could not be loaded (${err instanceof Error ? err.message : String(err)}). It is a declared dependency of @objectstack/lint \u2014 if this deployment prunes packages, keep "ajv-formats" in the image; it is only loaded when a stack declares a \`json_schema\` validation rule. The runtime registers it too, and this gate must compile in the SAME environment or it starts disagreeing with the write path.`
     );
   }
-  const plugin = isRec23(mod) && "default" in mod ? mod.default : mod;
+  const plugin = isRec24(mod) && "default" in mod ? mod.default : mod;
   cachedAddFormats = plugin;
   return plugin;
 }
@@ -8073,13 +8683,13 @@ function flattenRules(rule, labelTrail, pathTrail, depth = 0) {
   if (depth >= MAX_RULE_NESTING_DEPTH) return out;
   for (const branch of ["then", "otherwise"]) {
     const nested = rule[branch];
-    if (isRec23(nested)) out.push(...flattenRules(nested, label2, `${path}.${branch}`, depth + 1));
+    if (isRec24(nested)) out.push(...flattenRules(nested, label2, `${path}.${branch}`, depth + 1));
   }
   return out;
 }
 function walkObjectValidationRules(stack) {
   const walked = [];
-  if (!isRec23(stack)) return walked;
+  if (!isRec24(stack)) return walked;
   for (const obj of asArray40(stack.objects)) {
     const objectName = typeof obj.name === "string" ? obj.name : "(unnamed object)";
     const validations = obj.validations;
@@ -8114,7 +8724,7 @@ function validateRuleCompilability(stack) {
         });
       }
     }
-    if (rule.type === "json_schema" && isRec23(rule.schema)) {
+    if (rule.type === "json_schema" && isRec24(rule.schema)) {
       try {
         createRuntimeAjv().compile(rule.schema);
       } catch (err) {
@@ -8134,7 +8744,7 @@ function validateRuleCompilability(stack) {
 
 // src/validate-rule-schema-formats.ts
 var VALIDATION_RULE_SCHEMA_UNKNOWN_FORMAT = "validation-rule-json-schema-unknown-format";
-var isRec24 = (v) => !!v && typeof v === "object" && !Array.isArray(v);
+var isRec25 = (v) => !!v && typeof v === "object" && !Array.isArray(v);
 var SUBSCHEMA_KEYS = [
   "additionalItems",
   "additionalProperties",
@@ -8158,7 +8768,7 @@ var SUBSCHEMA_MAP_KEYS = [
 var MAX_SCHEMA_WALK_DEPTH = 32;
 var escapePointerSegment = (segment) => segment.replace(/~/g, "~0").replace(/\//g, "~1");
 function collectFormatUses(schema, pointer, out, depth) {
-  if (!isRec24(schema)) return;
+  if (!isRec25(schema)) return;
   if (typeof schema.format === "string") {
     out.push({ pointer: `${pointer}/format`, name: schema.format });
   }
@@ -8177,7 +8787,7 @@ function collectFormatUses(schema, pointer, out, depth) {
   }
   for (const key of SUBSCHEMA_MAP_KEYS) {
     const value = schema[key];
-    if (!isRec24(value)) continue;
+    if (!isRec25(value)) continue;
     for (const [name, entry] of Object.entries(value)) {
       collectFormatUses(entry, `${pointer}/${escapePointerSegment(key)}/${escapePointerSegment(name)}`, out, depth + 1);
     }
@@ -8185,13 +8795,13 @@ function collectFormatUses(schema, pointer, out, depth) {
   const items = schema.items;
   if (Array.isArray(items)) {
     items.forEach((entry, index) => collectFormatUses(entry, `${pointer}/items/${index}`, out, depth + 1));
-  } else if (isRec24(items)) {
+  } else if (isRec25(items)) {
     collectFormatUses(items, `${pointer}/items`, out, depth + 1);
   }
   const dependencies = schema.dependencies;
-  if (isRec24(dependencies)) {
+  if (isRec25(dependencies)) {
     for (const [name, entry] of Object.entries(dependencies)) {
-      if (!isRec24(entry)) continue;
+      if (!isRec25(entry)) continue;
       collectFormatUses(entry, `${pointer}/dependencies/${escapePointerSegment(name)}`, out, depth + 1);
     }
   }
@@ -8218,9 +8828,9 @@ function nearestRegisteredFormat(name, registered) {
   let best = null;
   let bestDistance = Number.POSITIVE_INFINITY;
   for (const candidate of [...registered].sort()) {
-    const distance7 = editDistance2(authored, candidate);
-    if (distance7 < bestDistance) {
-      bestDistance = distance7;
+    const distance8 = editDistance2(authored, candidate);
+    if (distance8 < bestDistance) {
+      bestDistance = distance8;
       best = candidate;
     }
   }
@@ -8230,7 +8840,7 @@ function validateRuleSchemaFormats(stack) {
   const findings = [];
   const pending = [];
   for (const { rule, objectName, label: label2, where, basePath } of walkObjectValidationRules(stack)) {
-    if (rule.type !== "json_schema" || !isRec24(rule.schema)) continue;
+    if (rule.type !== "json_schema" || !isRec25(rule.schema)) continue;
     const uses = [];
     collectFormatUses(rule.schema, "", uses, 0);
     for (const use of uses) pending.push({ use, where, label: label2, objectName, basePath });
@@ -8263,7 +8873,7 @@ function asArray41(v) {
   }
   return [];
 }
-function strName20(v) {
+function strName21(v) {
   return typeof v === "string" && v.length > 0 ? v : void 0;
 }
 function strList3(v) {
@@ -8278,7 +8888,7 @@ function collectNamePlacedActions(stack) {
       for (const n of strList3(list3[key])) placed.add(n);
     }
     for (const def of asArray41(list3.bulkActionDefs)) {
-      const n = strName20(def?.name);
+      const n = strName21(def?.name);
       if (n) placed.add(n);
     }
   };
@@ -8304,7 +8914,7 @@ function validateActionLocations(stack) {
   const check = (action, path) => {
     if (!action || typeof action !== "object") return;
     if ("locations" in action) return;
-    const name = strName20(action.name);
+    const name = strName21(action.name);
     if (!name) return;
     if (namePlaced.has(name)) return;
     findings.push({
@@ -9157,6 +9767,17 @@ function lintViewRefs(stack) {
 }
 
 // src/data-model-rules.ts
+function objectWhere(obj) {
+  return `object "${obj?.name}"`;
+}
+function indexWhere(obj, idx, j, cols) {
+  const named = typeof idx?.name === "string" && idx.name.trim() ? `'${idx.name.trim()}'` : "";
+  const label2 = named || (cols.length > 0 ? `[${cols.join(", ")}]` : `#${j}`);
+  return `${objectWhere(obj)} \xB7 index ${label2}`;
+}
+function fieldWhere(obj, fieldName) {
+  return `${objectWhere(obj)} \xB7 field '${fieldName}'`;
+}
 function fieldEntries2(fields) {
   if (!fields) return [];
   if (Array.isArray(fields)) {
@@ -9190,11 +9811,13 @@ function lintUnscopedDeclaredIndexes(objects) {
     for (let j = 0; j < declaredIndexes.length; j++) {
       const idx = declaredIndexes[j];
       if (idx?.unique !== true) continue;
-      const cols = Array.isArray(idx?.fields) ? idx.fields.filter((f) => typeof f === "string").join(", ") : "";
+      const colList = Array.isArray(idx?.fields) ? idx.fields.filter((f) => typeof f === "string") : [];
+      const cols = colList.join(", ");
       const indexLabel = typeof idx?.name === "string" && idx.name.trim() ? ` '${idx.name.trim()}'` : "";
       issues.push({
         severity: "warning",
         rule: UNIQUE_UNSCOPED_DECLARED_INDEX,
+        where: indexWhere(obj, idx, j, colList),
         message: `"${obj.name}" declares index${indexLabel} [${cols}] with bare \`unique: true\` \u2014 a unique index whose scope is unstated (ADR-0120). Today the bare spelling materializes over exactly its \`fields\`, i.e. installation-wide; an author who meant "unique per organization" gets no per-organization constraint and no error. Protocol 18 rejects this spelling (#5082).`,
         path: `objects[${i}].indexes[${j}]`,
         fix: `State the scope: \`unique: 'global'\` (installation-wide \u2014 exactly today's behavior) or \`unique: 'organization'\` (one holder per organization \u2014 the driver prepends the NULL-safe organization key part at registration).`
@@ -9243,6 +9866,11 @@ function lintUniqueDeclarations(objects) {
       issues.push({
         severity: "warning",
         rule: UNIQUE_DOUBLE_DECLARATION,
+        // More specific than `path` on purpose: this rule's finding is about ONE
+        // column, but its `path` has always been the whole object (`objects[i]`)
+        // because the defect straddles `fields.<name>.unique` and an entry of
+        // `indexes`. `where` can name the column without picking one of the two.
+        where: fieldWhere(obj, name),
         message,
         path: `objects[${i}]`,
         fix
@@ -9271,6 +9899,7 @@ function lintLegacyOrganizationComposites(objects) {
       issues.push({
         severity: "warning",
         rule: UNIQUE_LEGACY_ORGANIZATION_COMPOSITE,
+        where: indexWhere(obj, idx, j, cols),
         message: `"${obj.name}" declares index${indexLabel} [${cols.join(", ")}] with ${spelling} and lists the organization column '${tenantColumn}' itself \u2014 the hand-written per-organization composite that predates the scope vocabulary (ADR-0120 S6). It reads as "unique per organization" but materializes as a plain composite, and SQL UNIQUE is NULL-distinct: on every row whose '${tenantColumn}' is NULL it enforces nothing (#5030) \u2014 which on a single-organization deployment is every row.`,
         path: `objects[${i}].indexes[${j}]`,
         fix: `State the scope instead: \`unique: 'organization'\` on this index (keep \`fields\` exactly as they are \u2014 the driver makes the listed '${tenantColumn}' NULL-safe in place rather than prepending a second organization key part). ${rest.length > 0 ? `The constraint then really is "one ${rest.join(" + ")} per organization". ` : ""}Opting in is a physical tightening: it surfaces as a \`recreate_index\` drift op gated by the duplicate pre-flight probe (ADR-0120 D4), so pre-existing duplicate NULL-organization rows block it with a report rather than failing a boot. Leaving it as-is stays valid indefinitely and forces no drift.`
@@ -9287,7 +9916,7 @@ var CLI_ONLY = ["cli"];
 var CLI_AND_RUNTIME = ["cli", "runtime-publish"];
 var RUNTIME_NEEDS_FULL_SNAPSHOT = "P2 (#4463): reads a stack-wide collection the per-write snapshot does not carry, so running it now would report the rest of the tenant's metadata as missing rather than judging this write.";
 var RUNTIME_HEAVY_SOURCE_PARSE = "Not runtime-safe: parses authored source through typescript/sucrase, the two dependencies the kernel boot path must never load (lazy-deps.test.ts). Studio compiles page source on its own path.";
-var RUNTIME_OBJECT_WRITES_P2 = "P2 (#4463): judges an object/field declaration. Object writes are the hottest metadata path in the product, so P1 gates `flow` first and widens once the gate has real traffic behind it.";
+var RUNTIME_OBJECT_ADVISORY_VOLUME = "Advisory-tier object rule: it cannot refuse a write, and it is held off the runtime door for advisory VOLUME (~8 findings per object write measured on unswept metadata, rendered in Studio since #4717), not refusal risk. Crossing it is a UX decision with its own card (#4716).";
 var EXPRESSION_INVALID = "expression-invalid";
 var AUTHORING_RULES = [
   // ADR-0032 §1a/1b — CEL predicates in actions/validations/flows/sharing/hooks
@@ -9348,8 +9977,14 @@ var AUTHORING_RULES = [
     input: "normalized",
     commands: ALL,
     source: "packages/lint/src/validate-functional-completeness.ts",
-    surfaces: CLI_ONLY,
-    surfaceReason: RUNTIME_OBJECT_WRITES_P2,
+    // Runtime publish gate (#4716): the OBJECT write door — the five gating
+    // object rules cross together under the 2026-08-18 adjudication. The
+    // false-positive budget the crossing owed was exempted on a measured
+    // 0 refusals / 75 real object declarations (authored config-file metadata,
+    // so a lower bound — see RUNTIME_OBJECT_ADVISORY_VOLUME's note); the six
+    // advisory-tier object rules deliberately do NOT ride.
+    surfaces: CLI_AND_RUNTIME,
+    runtimeTypes: ["object"],
     run: (stack) => validateFunctionalCompleteness(stack)
   },
   // [#7521, via cloud#1225] A managed object advertising a generic write verb
@@ -9373,8 +10008,11 @@ var AUTHORING_RULES = [
     input: "normalized",
     commands: ALL,
     source: "packages/lint/src/validate-managed-api-methods.ts",
-    surfaces: CLI_ONLY,
-    surfaceReason: RUNTIME_OBJECT_WRITES_P2,
+    // Runtime publish gate (#4716): a managed object advertising a verb its
+    // own affordances refuse is exactly the contradiction a Studio/MCP author
+    // can save today — the CLI sweep (#7934) never sees an overlay row.
+    surfaces: CLI_AND_RUNTIME,
+    runtimeTypes: ["object"],
     run: (stack) => validateManagedApiMethods(stack)
   },
   // A view container in `views: []` that registers zero views: nothing appears
@@ -9396,19 +10034,38 @@ var AUTHORING_RULES = [
   },
   // ADR-0021 (#1719/#1721) — a widget's `dataset`/`dimensions`/`values` and its
   // chartConfig axis/series must resolve against the declared datasets.
+  //
+  // Runtime publish gate (#7529, maintainer-ruled 2026-08-12): a dashboard
+  // widget bound to a dataset that resolves to nothing sailed through save AND
+  // publish — this rule provably caught the body and was simply never invoked,
+  // because `dashboard` was not a runtime-gated type. Option B: a DRAFT may
+  // hold a forward reference; publishing refuses it with the key path named.
+  // The snapshot carries `datasets` for exactly this rule (`RuntimeStackContext`
+  // — without it every legitimate board reads as dangling, the 3-phantom
+  // measurement). `surfaces` is per-RULE, so this flip puts all SIX of the
+  // rule's error ids on the publish gate, not just `widget-dataset-unknown` —
+  // ruled 2026-08-15: they are one coherent "this board cannot render"
+  // reference-integrity class, and the ~6× wider accept-set narrowing was
+  // accepted knowingly rather than splitting the dataset limb into its own
+  // rule (traversal-duplication drift) or adding a per-finding-id surface
+  // filter (registry machinery that weakens "delete a rule from the table and
+  // enforcement stops in the same commit"). Warning-tier ids ride along on the
+  // advisory channel and never block (#4463 P1).
   {
     name: "validateWidgetBindings",
     tier: "gating",
     input: "parsed",
     commands: ALL,
     source: "packages/lint/src/validate-widget-bindings.ts",
-    surfaces: CLI_ONLY,
-    surfaceReason: RUNTIME_NEEDS_FULL_SNAPSHOT,
+    surfaces: CLI_AND_RUNTIME,
+    runtimeTypes: ["dashboard"],
     run: (stack) => validateWidgetBindings(stack)
   },
-  // ADR-0049 / #3367 — a header or widget action naming a `script`/`modal`
-  // target that resolves to no defined action ships a button that renders and
-  // silently does nothing on click. Unresolved `url` routes stay advisory.
+  // ADR-0049 / #3367 — a dashboard header action naming a dead target ships a
+  // button that renders and refuses (or does nothing) on click: a `script`
+  // target must name a defined action, a `modal` target must name a declared
+  // page (objectstack#6739-A — a modal string target names a PAGE, only).
+  // Unresolved `url` routes stay advisory.
   {
     name: "validateDashboardActionRefs",
     tier: "gating",
@@ -9433,6 +10090,28 @@ var AUTHORING_RULES = [
     surfaceReason: RUNTIME_NEEDS_FULL_SNAPSHOT,
     run: (stack) => validateFilterTokens(stack)
   },
+  // #8793 (the ruled C half of #8690) — a declared dashboard date-range preset
+  // name (`last_30_days`, …) authored as a bare ORDERING comparand resolves in
+  // no layer: the engine refuses it on a declared temporal field at query time
+  // (INVALID_FILTER / 400, PR #8808), and anywhere else it compares as a
+  // literal string. This is the authoring-time refusal the ruling shipped
+  // alongside the engine door, judging the filter literal in isolation —
+  // ordering positions only, all three authored filter shapes. Like
+  // `validateEmptyCombinators` it needs NO resolution context, so
+  // RUNTIME_NEEDS_FULL_SNAPSHOT does not apply and the runtime gate runs it
+  // for every filter-carrying type the gate already maps: the write path is
+  // the one door an AI author uses, and dashboards/views are where the preset
+  // vocabulary is near enough to reach for.
+  {
+    name: "validatePresetComparands",
+    tier: "gating",
+    input: "parsed",
+    commands: ALL,
+    source: "packages/lint/src/validate-preset-comparands.ts",
+    surfaces: CLI_AND_RUNTIME,
+    runtimeTypes: ["dashboard", "view", "object", "page", "flow"],
+    run: (stack) => validatePresetComparands(stack)
+  },
   // #5330 — the LITERAL empty combinators (`$and: []`, `$or: []`, `$not: {}`,
   // `{}`). #5322 ruled their RUNTIME meaning to be the boolean identity, and
   // this rule does not touch it: it refuses the literal SPELLINGS at authoring
@@ -9476,9 +10155,31 @@ var AUTHORING_RULES = [
     // collection in the snapshot and return nothing, and the two that would
     // load `typescript` need a hook/action/react body the snapshot never
     // carries — which is what `runtime-lazy-deps.test.ts` pins.
+    //
+    // [#9313] `view` joins, and the granularity decision #4463 P2 reserved is
+    // taken HERE, in writing: the entry-level `runtimeTypes` says which WRITES
+    // dispatch the suite, and the suite's own per-member `runtimeTypes`
+    // (`ReferenceIntegrityRule`, default `['flow']`) says which MEMBERS judge
+    // that snapshot — the gate passes the written type through
+    // `ctx.runtimeWriteType`. A `view` write therefore reaches exactly the two
+    // members that judge a list view's field references and resolve only
+    // against the `objects` collection the snapshot carries
+    // (`validateSearchableFields`, `validateSortableFields`). The whole suite
+    // is NOT the right granularity for this door, measured not assumed, and
+    // the crossing fails differently per body shape — both ways wrong:
+    // `validateActionNameRefs` (error-tier) resolves `views[].list` /
+    // `views[].listViews.*` action names against `stack.actions`, a collection
+    // no per-write snapshot carries, so on a CONTAINER view write it would
+    // refuse every stack-level action the body names (measured:
+    // `action-name-undefined` on the snapshot shape, clean on the full stack)
+    // — RUNTIME_NEEDS_FULL_SNAPSHOT's exact sentence, on the hottest write
+    // type the gate has. On a FLATTENED overlay it has no rung at all, so the
+    // crossing would be a silent no-op that reads as coverage — the very shape
+    // #9313 was filed about. Flow snapshots are unchanged: every member keeps
+    // the default `flow` declaration.
     surfaces: CLI_AND_RUNTIME,
-    runtimeTypes: ["flow"],
-    run: (stack) => validateReferenceIntegrity(stack)
+    runtimeTypes: ["flow", "view"],
+    run: (stack, ctx) => validateReferenceIntegrity(stack, ctx)
   },
   // ADR-0078 / #5068 — the SDUI component-props gate. `PageComponent.properties`
   // is `z.record(z.string(), z.unknown())` and ADR-0089 D3a strictness does not
@@ -9651,7 +10352,7 @@ var AUTHORING_RULES = [
     commands: ALL,
     source: "packages/lint/src/validate-record-title.ts",
     surfaces: CLI_ONLY,
-    surfaceReason: RUNTIME_OBJECT_WRITES_P2,
+    surfaceReason: RUNTIME_OBJECT_ADVISORY_VOLUME,
     run: (stack) => validateRecordTitle(stack)
   },
   // ADR-0085 — `stageField` / `highlightFields` / `Field.group` are pointers
@@ -9664,7 +10365,7 @@ var AUTHORING_RULES = [
     commands: ALL,
     source: "packages/lint/src/validate-semantic-roles.ts",
     surfaces: CLI_ONLY,
-    surfaceReason: RUNTIME_OBJECT_WRITES_P2,
+    surfaceReason: RUNTIME_OBJECT_ADVISORY_VOLUME,
     run: (stack) => validateSemanticRoles(stack)
   },
   // #2578 / #4449 — a form section's field reference that resolves to nothing
@@ -9875,7 +10576,7 @@ var AUTHORING_RULES = [
     commands: ALL,
     source: "packages/lint/src/lint-liveness-properties.ts",
     surfaces: CLI_ONLY,
-    surfaceReason: RUNTIME_OBJECT_WRITES_P2,
+    surfaceReason: RUNTIME_OBJECT_ADVISORY_VOLUME,
     run: (stack) => lintLivenessProperties(stack).map((f) => ({
       severity: "warning",
       rule: f.rule,
@@ -9894,8 +10595,12 @@ var AUTHORING_RULES = [
     input: "parsed",
     commands: ALL,
     source: "packages/lint/src/lint-autonumber-formats.ts",
-    surfaces: CLI_ONLY,
-    surfaceReason: RUNTIME_OBJECT_WRITES_P2,
+    // Runtime publish gate (#4716): an autonumber referencing a field the
+    // object does not carry is broken from the first record; only the error
+    // arm blocks — the optional-field arm is `warning` and rides the
+    // advisory channel like every other non-error finding (#4463 P1).
+    surfaces: CLI_AND_RUNTIME,
+    runtimeTypes: ["object"],
     run: (stack) => lintAutonumberFormats(stack).map((f) => ({
       severity: f.severity,
       rule: f.rule,
@@ -9936,12 +10641,12 @@ var AUTHORING_RULES = [
     commands: ["validate", "build"],
     source: "packages/lint/src/data-model-rules.ts",
     surfaces: CLI_ONLY,
-    surfaceReason: RUNTIME_OBJECT_WRITES_P2,
+    surfaceReason: RUNTIME_OBJECT_ADVISORY_VOLUME,
     scopeReason: "`os lint` already reports this rule through `lintDataModel`, which calls it directly ahead of R10 in its best-practice sweep \u2014 registering it for `lint` as well would report every finding twice. This is coverage recorded, not coverage missing: all three commands report the rule.",
     run: (stack) => lintUnscopedDeclaredIndexes(Array.isArray(stack.objects) ? stack.objects : []).map((f) => ({
       severity: f.severity === "suggestion" ? "info" : f.severity,
       rule: f.rule,
-      where: f.path,
+      where: f.where,
       path: f.path,
       message: f.message,
       hint: f.fix ?? ""
@@ -9957,12 +10662,12 @@ var AUTHORING_RULES = [
     commands: ["validate", "build"],
     source: "packages/lint/src/data-model-rules.ts",
     surfaces: CLI_ONLY,
-    surfaceReason: RUNTIME_OBJECT_WRITES_P2,
+    surfaceReason: RUNTIME_OBJECT_ADVISORY_VOLUME,
     scopeReason: "`os lint` already reports this rule through `lintDataModel`, which calls it directly as R10 of its best-practice sweep \u2014 registering it for `lint` as well would report every finding twice. This is coverage recorded, not coverage missing: all three commands report the rule.",
     run: (stack) => lintUniqueDeclarations(Array.isArray(stack.objects) ? stack.objects : []).map((f) => ({
       severity: f.severity === "suggestion" ? "info" : f.severity,
       rule: f.rule,
-      where: f.path,
+      where: f.where,
       path: f.path,
       message: f.message,
       hint: f.fix ?? ""
@@ -9979,12 +10684,12 @@ var AUTHORING_RULES = [
     commands: ["validate", "build"],
     source: "packages/lint/src/data-model-rules.ts",
     surfaces: CLI_ONLY,
-    surfaceReason: RUNTIME_OBJECT_WRITES_P2,
+    surfaceReason: RUNTIME_OBJECT_ADVISORY_VOLUME,
     scopeReason: "`os lint` already reports this rule through `lintDataModel`, which calls it directly alongside R10/R11 in its best-practice sweep \u2014 registering it for `lint` as well would report every finding twice. This is coverage recorded, not coverage missing: all three commands report the rule.",
     run: (stack) => lintLegacyOrganizationComposites(Array.isArray(stack.objects) ? stack.objects : []).map((f) => ({
       severity: f.severity === "suggestion" ? "info" : f.severity,
       rule: f.rule,
-      where: f.path,
+      where: f.where,
       path: f.path,
       message: f.message,
       hint: f.fix ?? ""
@@ -10112,16 +10817,26 @@ var AUTHORING_RULES = [
     surfaceReason: RUNTIME_NEEDS_FULL_SNAPSHOT,
     run: (stack) => validateOrgAxisRedLines(stack)
   },
-  // #4698 — the "declared but never read" gate, for the one surface where the
-  // predicate is EXACT rather than inferred. A sharing rule's `condition` has a
-  // single runtime consumer (`bootstrapDeclaredSharingRules`) whose only use of
-  // the key is `compileCelToFilter(condition, { variables: {} })`; a condition
-  // that does not lower means the rule is SKIPPED at boot, so the grant is
-  // declared and does not exist. The lint calls that same compiler, from the
-  // same package, with the same options — the verdict cannot drift from the
-  // consumer's. Gating for the ADR-0078 reason `SharingRuleSchema`'s own
-  // docblock states: the whole authorable surface is enforced, and this was the
-  // one field where that sentence was not yet true.
+  // #4698 / #9698 — the "declared but never read" gate, for the two fields of a
+  // sharing rule where the predicate is EXACT rather than inferred.
+  //
+  //  - `condition` has a single runtime consumer
+  //    (`bootstrapDeclaredSharingRules`) whose only use of the key is
+  //    `compileCelToFilter(condition, { variables: {} })`; a condition that
+  //    does not lower means the rule is SKIPPED at boot.
+  //  - `object` decides whether the grant is refused outright: reconcile hands
+  //    each row to `SharingService.grant`, whose ADR-0111 D7 pre-flight THROWS
+  //    `SHARING_NOT_ENABLED` when the anchor's effective sharing model is
+  //    `public` or it is a `controlled_by_parent` detail. Both are decidable
+  //    from authored metadata; the other arms of that verdict (`owner_id`, the
+  //    bypass set, federated anchors) are not, and are excluded by name.
+  //
+  // Either way the grant is declared and does not exist. The lint calls the
+  // same compiler and mirrors the same verdict function, from the same inputs
+  // — the verdict cannot drift from the consumers'. Gating for the ADR-0078
+  // reason `SharingRuleSchema`'s own docblock states: the whole authorable
+  // surface is enforced, and these were the fields where that sentence was not
+  // yet true.
   {
     name: "validateSharingRuleEnforceability",
     tier: "gating",
@@ -10129,7 +10844,7 @@ var AUTHORING_RULES = [
     commands: ALL,
     source: "packages/lint/src/validate-sharing-rule-enforceability.ts",
     surfaces: CLI_ONLY,
-    surfaceReason: "P2 (#4463): a sharing rule is not a `flow`, and P1 gates `flow` alone. The rule itself is snapshot-safe \u2014 it reads ONLY `stack.sharingRules[].condition` and needs no other collection \u2014 so widening it here is a `runtimeTypes: ['sharing_rule']` edit once the gate accepts that type, not new wiring. Recorded as pending rather than done, because a rule that has never run at a door should not claim it.",
+    surfaceReason: "P2 (#4463): a sharing rule is not a `flow`, and P1 gates `flow` alone. This entry used to add that the rule reads ONLY `stack.sharingRules[].condition` and needs no other collection, so crossing was a lone `runtimeTypes` edit. #9698 FALSIFIED that: the anchor arm resolves `sharingRules[].object` against `stack.objects` to read the anchor's OWD, so the rule is now cross-collection. `objects` IS carried by the per-write snapshot (`CONTEXT_STACK_KEYS`, #8309), so the remaining gap is unchanged in SHAPE \u2014 the gate must accept a `sharing_rule` type and the snapshot must carry `sharingRules`, which it does not \u2014 but it is now TWO collections, not one. Crossing with `sharingRules` uncarried would enforce this id for zero of its inputs while the entry claimed the door (#7220). Recorded as pending rather than done, because a rule that has never run at a door should not claim it.",
     run: (stack) => validateSharingRuleEnforceability(stack)
   },
   // #4983 — the sibling surface of the rule above, and ADR-0056 D4's gate,
@@ -10168,8 +10883,15 @@ var AUTHORING_RULES = [
     input: "parsed",
     commands: ALL,
     source: "packages/lint/src/validate-rule-compilability.ts",
-    surfaces: CLI_ONLY,
-    surfaceReason: RUNTIME_OBJECT_WRITES_P2,
+    // Runtime publish gate (#4716): the rule loads ajv LAZILY, only when the
+    // judged snapshot actually carries a `json_schema` validation — so an
+    // ordinary object write (no `json_schema` anywhere) still loads no
+    // compiler, which `runtime-lazy-deps.test.ts` pins in both directions.
+    // The load it does take (~64 ms cold once, ~15 ms warm per publish
+    // carrying such a rule) is the measured, adjudicated price of refusing a
+    // validation rule that would otherwise ship compiled-by-nothing.
+    surfaces: CLI_AND_RUNTIME,
+    runtimeTypes: ["object"],
     run: (stack) => validateRuleCompilability(stack)
   },
   // #5178 — the residual half of #5029, which registering `ajv-formats` does
@@ -10190,8 +10912,12 @@ var AUTHORING_RULES = [
     input: "parsed",
     commands: ALL,
     source: "packages/lint/src/validate-rule-schema-formats.ts",
-    surfaces: CLI_ONLY,
-    surfaceReason: RUNTIME_OBJECT_WRITES_P2,
+    // Runtime publish gate (#4716): crosses with its compile sibling above —
+    // the two judgements over one artifact stay on one side of the wall
+    // (#7220's family discipline). Same lazy-ajv contract: the registered
+    // format set is only enumerated once a schema actually names a format.
+    surfaces: CLI_AND_RUNTIME,
+    runtimeTypes: ["object"],
     run: (stack) => validateRuleSchemaFormats(stack)
   }
 ];
@@ -10233,7 +10959,20 @@ var TYPE_TO_STACK_KEY = {
   permission: "permissions",
   book: "books"
 };
-var CONTEXT_STACK_KEYS = ["objects", "permissions", "books"];
+function narrowObjectsToPackageClosure(objects, scope) {
+  if (!scope || typeof scope.packageId !== "string" || scope.packageId === "") return objects;
+  const reachable = /* @__PURE__ */ new Set([scope.packageId, ...scope.dependencies]);
+  return objects.filter((entry) => {
+    if (!entry || typeof entry !== "object") return true;
+    const owner = entry[PACKAGE_PROVENANCE_KEY];
+    if (typeof owner !== "string" || owner === "" || owner === OVERLAY_PROVENANCE_SENTINEL) return true;
+    if (reachable.has(owner)) return true;
+    return isSystemObject(entry);
+  });
+}
+var PACKAGE_PROVENANCE_KEY = "_packageId";
+var OVERLAY_PROVENANCE_SENTINEL = "sys_metadata";
+var CONTEXT_STACK_KEYS = ["objects", "permissions", "books", "datasets"];
 function runtimeAuthoringRulesFor(type) {
   return AUTHORING_RULES.filter(
     (r) => r.surfaces.includes("runtime-publish") && (r.runtimeTypes ?? []).includes(type)
@@ -10259,7 +10998,8 @@ function buildRuntimeWriteSnapshots(args) {
   const itemName = typeof item.name === "string" ? item.name : void 0;
   const baseline = {};
   for (const key of CONTEXT_STACK_KEYS) {
-    const collection = args.context?.[key] ?? [];
+    const raw = args.context?.[key] ?? [];
+    const collection = key === "objects" ? narrowObjectsToPackageClosure(raw, args.packageScope) : raw;
     baseline[key] = key === stackKey ? collection.filter((o) => !itemName || o?.name !== itemName) : collection;
   }
   const candidate = {
@@ -10268,6 +11008,20 @@ function buildRuntimeWriteSnapshots(args) {
   };
   return { baseline, candidate };
 }
+var NAME_KEYED_STACK_KEYS = ["objects", "permissions", "books"];
+var PATH_SAFE_NAME = /^[A-Za-z_][A-Za-z0-9_]*$/;
+var TOP_LEVEL_INDEX = /^(objects|permissions|books)\[(\d+)\](.*)$/;
+function nameKeyFindingPath(path, candidate) {
+  const m = TOP_LEVEL_INDEX.exec(path);
+  if (!m) return path;
+  const [, stackKey, index, rest] = m;
+  if (!NAME_KEYED_STACK_KEYS.includes(stackKey)) return path;
+  const collection = candidate[stackKey];
+  const entry = collection?.[Number(index)];
+  const name = entry && typeof entry === "object" ? entry.name : void 0;
+  if (typeof name !== "string" || !PATH_SAFE_NAME.test(name)) return path;
+  return `${stackKey}.${name}${rest}`;
+}
 function runRules(rules, stack, ctx) {
   const findings = [];
   for (const rule of rules) {
@@ -10293,12 +11047,16 @@ function runRuntimeAuthoringRules(args) {
   const snapshots = buildRuntimeWriteSnapshots({
     type: args.type,
     item: args.item,
-    ...args.context !== void 0 ? { context: args.context } : {}
+    ...args.context !== void 0 ? { context: args.context } : {},
+    ...args.packageScope !== void 0 ? { packageScope: args.packageScope } : {}
   });
   if (!snapshots) return empty;
-  const ctx = { sduiManifest: args.sduiManifest };
+  const ctx = { sduiManifest: args.sduiManifest, runtimeWriteType: args.type };
   const before = new Set(runRules(rules, snapshots.baseline, ctx).map(fingerprint));
-  const added = runRules(rules, snapshots.candidate, ctx).filter((f) => !before.has(fingerprint(f)));
+  const added = runRules(rules, snapshots.candidate, ctx).filter((f) => !before.has(fingerprint(f))).map((f) => {
+    const path = nameKeyFindingPath(f.path, snapshots.candidate);
+    return path === f.path ? f : { ...f, path };
+  });
   return {
     errors: added.filter((f) => f.severity === "error"),
     advisories: added.filter((f) => f.severity !== "error"),
@@ -10307,6 +11065,7 @@ function runRuntimeAuthoringRules(args) {
 }
 export {
   buildRuntimeWriteSnapshots,
+  narrowObjectsToPackageClosure,
   runRuntimeAuthoringRules,
   runtimeAuthoringRulesFor,
   runtimeGatedTypes,