@objectstack/lint 17.1.0 → 17.2.0

package/dist/index.cjs

@@ -20,6 +20,7 @@ var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: tru
 // src/index.ts
 var index_exports = {};
 __export(index_exports, {
+  ACTION_BODY_SOURCE_UNPARSEABLE: () => ACTION_BODY_SOURCE_UNPARSEABLE,
   ACTION_BODY_WRITE_EXCLUSIONS: () => ACTION_BODY_WRITE_EXCLUSIONS,
   ACTION_BODY_WRITE_PATTERNS: () => ACTION_BODY_WRITE_PATTERNS,
   ACTION_BODY_WRITE_PATTERN_IDS: () => ACTION_BODY_WRITE_PATTERN_IDS,
@@ -106,6 +107,7 @@ __export(index_exports, {
   FLOW_WRITE_NODE_TYPES_DEFERRED: () => FLOW_WRITE_NODE_TYPES_DEFERRED,
   FORM_COLSPAN_ABSOLUTE: () => FORM_COLSPAN_ABSOLUTE,
   FORM_FIELD_UNKNOWN: () => FORM_FIELD_UNKNOWN,
+  HOOK_BODY_SOURCE_UNPARSEABLE: () => HOOK_BODY_SOURCE_UNPARSEABLE,
   HOOK_BODY_WRITE_EXCLUSIONS: () => HOOK_BODY_WRITE_EXCLUSIONS,
   HOOK_BODY_WRITE_PATTERNS: () => HOOK_BODY_WRITE_PATTERNS,
   HOOK_BODY_WRITE_PATTERN_IDS: () => HOOK_BODY_WRITE_PATTERN_IDS,
@@ -129,6 +131,7 @@ __export(index_exports, {
   PAGE_FIELD_UNKNOWN: () => PAGE_FIELD_UNKNOWN,
   PAGE_FIELD_UNPROVISIONED: () => PAGE_FIELD_UNPROVISIONED,
   PAGE_SOURCE_CLASSNAME: () => PAGE_SOURCE_CLASSNAME,
+  PARSE_FAILURE_HINT: () => PARSE_FAILURE_HINT,
   PREDICATE_PATH_UNRESOLVED: () => PREDICATE_PATH_UNRESOLVED,
   PREDICATE_PATH_UNROOTED: () => PREDICATE_PATH_UNROOTED,
   PREDICATE_RHS_PATH_SHAPED: () => PREDICATE_RHS_PATH_SHAPED,
@@ -139,6 +142,7 @@ __export(index_exports, {
   REACT_CHART_DRILLDOWN_INVALID: () => REACT_CHART_DRILLDOWN_INVALID,
   REACT_CHART_FIELD_UNKNOWN: () => REACT_CHART_FIELD_UNKNOWN,
   REACT_CHART_FIELD_UNPROVISIONED: () => REACT_CHART_FIELD_UNPROVISIONED,
+  REACT_PAGE_SOURCE_UNPARSEABLE: () => REACT_PAGE_SOURCE_UNPARSEABLE,
   REFERENCE_INTEGRITY_RULES: () => REFERENCE_INTEGRITY_RULES,
   RLS_PREDICATE_OVER_BUDGET: () => RLS_PREDICATE_OVER_BUDGET,
   RLS_PREDICATE_UNENFORCEABLE: () => RLS_PREDICATE_UNENFORCEABLE,
@@ -170,8 +174,10 @@ __export(index_exports, {
   SHARING_RULE_RUNTIME_VARIABLE_CONDITION: () => SHARING_RULE_RUNTIME_VARIABLE_CONDITION,
   SHARING_RULE_UNLOWERABLE_CONDITION: () => SHARING_RULE_UNLOWERABLE_CONDITION,
   SORT_FIELD_UNKNOWN: () => SORT_FIELD_UNKNOWN,
+  SORT_FIELD_UNPROVISIONED: () => SORT_FIELD_UNPROVISIONED,
   SORT_FIELD_UNSORTABLE: () => SORT_FIELD_UNSORTABLE,
   STARTUP_OPEN_VOCABULARY_VERDICT: () => STARTUP_OPEN_VOCABULARY_VERDICT,
+  STARTUP_SOURCE_UNPARSEABLE: () => STARTUP_SOURCE_UNPARSEABLE,
   STARTUP_VERDICT_ASSERTIVE_WORDING: () => STARTUP_VERDICT_ASSERTIVE_WORDING,
   STARTUP_VERDICT_HINT: () => STARTUP_VERDICT_HINT,
   STYLE_CLASSNAME_TAILWIND: () => STYLE_CLASSNAME_TAILWIND,
@@ -208,6 +214,7 @@ __export(index_exports, {
   buildAccessMatrix: () => buildAccessMatrix,
   buildRuntimeWriteSnapshots: () => buildRuntimeWriteSnapshots,
   checkSortDeclaration: () => checkSortDeclaration,
+  describeParseFailure: () => describeParseFailure,
   diffAccessMatrix: () => diffAccessMatrix,
   extractHookBodyWriteSet: () => extractHookBodyWriteSet,
   extractHookBodyWrites: () => extractHookBodyWrites,
@@ -1303,6 +1310,38 @@ function validateStackExpressions(stack) {
 
 // src/lint-startup-registry-verdict.ts
 var import_node_module = require("module");
+
+// 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/lint-startup-registry-verdict.ts
 var import_meta = {};
 var cachedTs = null;
 function loadTypeScript() {
@@ -1319,6 +1358,7 @@ function loadTypeScript() {
 }
 var STARTUP_OPEN_VOCABULARY_VERDICT = "startup-open-vocabulary-verdict";
 var STARTUP_VERDICT_ASSERTIVE_WORDING = "startup-verdict-assertive-wording";
+var STARTUP_SOURCE_UNPARSEABLE = "startup-source-unparseable";
 var OPEN_VOCABULARY_PROBES = /* @__PURE__ */ new Map([
   [
     "getRegisteredNodeTypes",
@@ -1547,13 +1587,22 @@ function findStartupRegistryVerdicts(source, options = {}) {
   if (!mentionsAny) return [];
   const t = loadTypeScript();
   const fileLabel = options.file ?? "source";
-  let sf;
-  try {
-    sf = t.createSourceFile(fileLabel, source, t.ScriptTarget.Latest, true, t.ScriptKind.TS);
-  } catch {
-    return [];
-  }
+  const { sourceFile: sf, failure } = createSourceFileChecked(t, fileLabel, source, {
+    target: t.ScriptTarget.Latest,
+    setParentNodes: true,
+    scriptKind: t.ScriptKind.TS
+  });
   const findings = [];
+  if (failure) {
+    findings.push({
+      severity: "warning",
+      rule: STARTUP_SOURCE_UNPARSEABLE,
+      where: fileLabel,
+      path: `${fileLabel}:${failure.line}`,
+      message: `source did not parse (${describeParseFailure(failure)}), so this rule read a partially recovered tree \u2014 a startup verdict in the unread part is not reported.`,
+      hint: PARSE_FAILURE_HINT
+    });
+  }
   const moduleBindings = moduleLevelMutableBindings(t, sf);
   const functionBodies = indexFunctionBodies(t, sf);
   const lineOf = (node) => sf.getLineAndCharacterOfPosition(node.getStart(sf)).line + 1;
@@ -3079,6 +3128,26 @@ function validateSearchableFields(stack) {
     if (!isRec4(view)) continue;
     const viewLabel2 = strName2(view.name) ?? strName2(view.objectName) ?? `#${vi}`;
     const viewObject = strName2(view.objectName) ?? strName2(view.object);
+    if (view.viewKind === "list" && !isRec4(view.config)) {
+      check(
+        view.searchableFields,
+        listViewObject(view) ?? viewObject,
+        `view "${viewLabel2}" (flattened list overlay)`,
+        `views[${vi}].searchableFields`,
+        "list-view searchableFields",
+        "narrowing"
+      );
+    }
+    if (view.viewKind === "list" && isRec4(view.config)) {
+      check(
+        view.config.searchableFields,
+        listViewObject(view.config) ?? viewObject,
+        `view "${viewLabel2}" (ViewItem record)`,
+        `views[${vi}].config.searchableFields`,
+        "list-view searchableFields",
+        "narrowing"
+      );
+    }
     if (isRec4(view.list)) {
       check(
         view.list.searchableFields,
@@ -3526,6 +3595,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";
@@ -3854,11 +3924,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) => {
@@ -6741,6 +6820,7 @@ function validateNavObjectServability(stack) {
 var import_data11 = require("@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 isRec16(v) {
   return !!v && typeof v === "object" && !Array.isArray(v);
 }
@@ -6803,7 +6883,7 @@ function distance3(a, b) {
   }
   return prev[n];
 }
-function checkSortDeclaration(declared, objectName, fieldsByObject, where, path, subject) {
+function checkSortDeclaration(declared, objectName, fieldsByObject, where, path, subject, unprovisionedAnchors) {
   const findings = [];
   if (declared === void 0 || declared === null) return findings;
   if (!objectName) return findings;
@@ -6811,10 +6891,23 @@ function checkSortDeclaration(declared, objectName, fieldsByObject, where, path,
   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)) continue;
+    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({
@@ -6847,9 +6940,18 @@ function validateSortableFields(stack) {
   if (!isRec16(stack)) return findings;
   const objects = Array.isArray(stack.objects) ? stack.objects : isRec16(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)
+      ...checkSortDeclaration(
+        declared,
+        objectName,
+        fieldsByObject,
+        where,
+        path,
+        subject,
+        unprovisionedAnchors
+      )
     );
   };
   for (let oi = 0; oi < objects.length; oi++) {
@@ -6878,6 +6980,24 @@ function validateSortableFields(stack) {
     if (!isRec16(view)) continue;
     const viewLabel2 = strName11(view.name) ?? strName11(view.objectName) ?? `#${vi}`;
     const viewObject = strName11(view.objectName) ?? strName11(view.object);
+    if (view.viewKind === "list" && !isRec16(view.config)) {
+      check(
+        view.sort,
+        listViewObject2(view) ?? viewObject,
+        `view "${viewLabel2}" (flattened list overlay)`,
+        `views[${vi}].sort`,
+        "list-view sort"
+      );
+    }
+    if (view.viewKind === "list" && isRec16(view.config)) {
+      check(
+        view.config.sort,
+        listViewObject2(view.config) ?? viewObject,
+        `view "${viewLabel2}" (ViewItem record)`,
+        `views[${vi}].config.sort`,
+        "list-view sort"
+      );
+    }
     if (isRec16(view.list)) {
       check(
         view.list.sort,
@@ -8787,6 +8907,7 @@ function loadTypeScript3() {
   return cachedTs3;
 }
 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 = [
   {
@@ -8900,15 +9021,18 @@ function extractHookBodyWriteSet(source) {
     return { writes: [], ctxRecordEscapes: false };
   }
   const tsc = loadTypeScript3();
-  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 = [];
@@ -9005,7 +9129,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) {
@@ -9019,11 +9144,22 @@ function validateHookBodyWrites(stack) {
     if (!isRec23(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));
     anchors ?? (anchors = indexUnprovisionedAnchors(stack));
-    const hookName = typeof hook.name === "string" && hook.name ? hook.name : `#${hookIndex}`;
     const targets = (Array.isArray(hook.object) ? hook.object : [hook.object]).filter(
       (o) => typeof o === "string" && o.trim() !== ""
     );
@@ -9108,6 +9244,7 @@ function fixHint(field, declared) {
 var import_shared2 = require("@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"];
@@ -9175,11 +9312,21 @@ function validateActionBodyWrites(stack) {
   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) {
@@ -9320,16 +9467,26 @@ function fixHint3(field, declared) {
 }
 
 // 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", run: validateSortableFields },
+  { name: "validateSortableFields", runtimeTypes: ["flow", "view"], run: validateSortableFields },
   { name: "validateActionNameRefs", run: validateActionNameRefs },
   { name: "validatePageFieldBindings", run: validatePageFieldBindings },
   { name: "validateChartBindings", run: validateChartBindings },
@@ -9435,9 +9592,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;
@@ -10826,9 +10985,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
@@ -11675,6 +11856,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) {
@@ -11704,9 +11899,12 @@ function runRuntimeAuthoringRules(args) {
     ...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"),
@@ -11715,6 +11913,7 @@ function runRuntimeAuthoringRules(args) {
 }
 // Annotate the CommonJS export names for ESM import in node:
 0 && (module.exports = {
+  ACTION_BODY_SOURCE_UNPARSEABLE,
   ACTION_BODY_WRITE_EXCLUSIONS,
   ACTION_BODY_WRITE_PATTERNS,
   ACTION_BODY_WRITE_PATTERN_IDS,
@@ -11801,6 +12000,7 @@ function runRuntimeAuthoringRules(args) {
   FLOW_WRITE_NODE_TYPES_DEFERRED,
   FORM_COLSPAN_ABSOLUTE,
   FORM_FIELD_UNKNOWN,
+  HOOK_BODY_SOURCE_UNPARSEABLE,
   HOOK_BODY_WRITE_EXCLUSIONS,
   HOOK_BODY_WRITE_PATTERNS,
   HOOK_BODY_WRITE_PATTERN_IDS,
@@ -11824,6 +12024,7 @@ function runRuntimeAuthoringRules(args) {
   PAGE_FIELD_UNKNOWN,
   PAGE_FIELD_UNPROVISIONED,
   PAGE_SOURCE_CLASSNAME,
+  PARSE_FAILURE_HINT,
   PREDICATE_PATH_UNRESOLVED,
   PREDICATE_PATH_UNROOTED,
   PREDICATE_RHS_PATH_SHAPED,
@@ -11834,6 +12035,7 @@ function runRuntimeAuthoringRules(args) {
   REACT_CHART_DRILLDOWN_INVALID,
   REACT_CHART_FIELD_UNKNOWN,
   REACT_CHART_FIELD_UNPROVISIONED,
+  REACT_PAGE_SOURCE_UNPARSEABLE,
   REFERENCE_INTEGRITY_RULES,
   RLS_PREDICATE_OVER_BUDGET,
   RLS_PREDICATE_UNENFORCEABLE,
@@ -11865,8 +12067,10 @@ function runRuntimeAuthoringRules(args) {
   SHARING_RULE_RUNTIME_VARIABLE_CONDITION,
   SHARING_RULE_UNLOWERABLE_CONDITION,
   SORT_FIELD_UNKNOWN,
+  SORT_FIELD_UNPROVISIONED,
   SORT_FIELD_UNSORTABLE,
   STARTUP_OPEN_VOCABULARY_VERDICT,
+  STARTUP_SOURCE_UNPARSEABLE,
   STARTUP_VERDICT_ASSERTIVE_WORDING,
   STARTUP_VERDICT_HINT,
   STYLE_CLASSNAME_TAILWIND,
@@ -11903,6 +12107,7 @@ function runRuntimeAuthoringRules(args) {
   buildAccessMatrix,
   buildRuntimeWriteSnapshots,
   checkSortDeclaration,
+  describeParseFailure,
   diffAccessMatrix,
   extractHookBodyWriteSet,
   extractHookBodyWrites,