@datarails-ai/dr-appspace-cli 0.10.21 → 0.11.0

package/dist/cli.js

@@ -13,7 +13,7 @@ import { fileURLToPath as fileURLToPath6 } from "url";
 // package.json
 var package_default = {
   name: "@datarails-ai/dr-appspace-cli",
-  version: "0.10.21",
+  version: "0.11.0",
   description: "Datarails App Space CLI \u2014 build, try, push and publish App Space apps",
   type: "module",
   engines: {
@@ -57,7 +57,7 @@ var package_default = {
 };
 
 // src/buildInfo.ts
-var BUILD_TIME = "2026-10-05T09:55:27.001Z";
+var BUILD_TIME = "2026-10-07T10:57:32.115Z";
 function formatBuildTime(iso) {
   if (iso === "") return "";
   const d = new Date(iso);
@@ -5952,7 +5952,7 @@ var CHART_FORMATS = Object.freeze(["currency", "number", "percent"]);
 var PLATFORM_FORMAT = Object.freeze({ "type": "string", "maxLength": 64, "pattern": "^(General|[^\\u0000-\\u001f]*[#0][^\\u0000-\\u001f]*)$" });
 var NEGATIVE_MODES = Object.freeze(["minus", "red_minus", "absolute", "red_absolute"]);
 var FORMAT_PATTERNS = Object.freeze({ "currency": "$#,###", "number": "#,###", "percent": '#,###.#"%"' });
-var PLATFORM_NUMBERS = Object.freeze({ "dr-app-runtime": "1.8.0", "dr-app-widgets": "1.2.0", "dr-components": "1.2.0", "dr-components-controls": "1.1.0" });
+var PLATFORM_NUMBERS = Object.freeze({ "dr-app-runtime": "1.9.0", "dr-app-widgets": "1.2.0", "dr-components": "1.2.0", "dr-components-controls": "1.1.0" });
 var ROW_ACTION_WHEN = Object.freeze({ "dr-components": "1.2.0" });
 var PROPS_SINCE = Object.freeze({ "select": { "multiple": "1.3.0", "searchable": "1.3.0", "group_by": "1.3.0", "values": "1.3.0", "options[].group": "1.3.0" }, "data_grid": { "theme": "1.3.0", "hierarchy": "1.3.0", "totals": "1.3.0", "pin": "1.3.0", "csv_params": "1.3.0", "columns[].cell": "1.3.0", "columns[].badge_map": "1.3.0", "columns[].status_map": "1.3.0", "columns[].link_field": "1.3.0", "columns[].call": "1.3.0" } });
 var MODULE_OF = Object.freeze({ "widget": "dr-app-widgets", "form": "dr-app-runtime", "list": "dr-app-runtime", "detail": "dr-app-runtime", "queue": "dr-app-runtime", "action": "dr-app-runtime", "filter": "dr-app-runtime", "stat": "dr-app-runtime", "chart": "dr-app-runtime", "custom": "dr-app-runtime", "field": "dr-app-runtime", "number_input": "dr-components", "tabs": "dr-components", "tab_panel": "dr-components", "select": "dr-components", "date_picker": "dr-components", "data_grid": "dr-components", "dialog": "dr-components", "variance_table": "dr-components", "toggle": "dr-components", "control_group": "dr-components", "callout": "dr-components", "scenario_columns": "dr-components", "slider": "dr-components-controls", "button": "dr-components", "status": "dr-components", "badge": "dr-components", "tag": "dr-components", "empty_state": "dr-components", "stepper": "dr-components", "alert": "dr-components", "checkbox": "dr-components", "radio_group": "dr-components", "file_upload": "dr-components", "skeleton": "dr-components", "progress": "dr-components", "accordion": "dr-components", "tooltip_info": "dr-components", "filter_bar": "dr-components", "filter_chip": "dr-components", "date_range": "dr-components", "fiscal_month": "dr-components" });
@@ -6191,6 +6191,10 @@ var THEME_ATTR = "data-dr-theme";
 var DENSITY_ATTR = "data-dr-density";
 var THEME_FILE = "ui/theme.css";
 var CARD_ATTR = "data-dr-card";
+var SHELL_ATTR = "data-dr-shell";
+var HEADER_ACTIONS_ATTR = "data-dr-header-actions";
+var TITLE_FROM_ATTR = "data-dr-title-from";
+var NAV_COUNTS_ATTR = "data-dr-nav-counts";
 var EMPHASIS_ATTR = "data-dr-emphasis";
 var MUTATING_VERBS = /* @__PURE__ */ new Set(["insert", "update", "delete"]);
 var TABLE_ONLY_VERBS = /* @__PURE__ */ new Set([...MUTATING_VERBS, "get"]);
@@ -6235,8 +6239,10 @@ function extract(app, { describe: describe7 } = {}) {
   const elements = {};
   const pages = [];
   const pinsByPath = /* @__PURE__ */ new Map();
+  let shell = null;
   for (const page of app.pages) {
     const built = readPage(app, page, spec, elements, problems);
+    if (shell === null && built.shell !== null && built.shell !== void 0) shell = built.shell;
     if (built.page.owned !== true && !page.text.includes(COMPONENT_ATTR)) {
       readBundle(app, page.path, built.page.scripts, elements, problems);
     }
@@ -6299,7 +6305,7 @@ function extract(app, { describe: describe7 } = {}) {
     v: CONTRACT_V,
     generated_by: GENERATED_BY,
     source: describe7 ? "static+describe" : "static",
-    app: appSection(app, manifest),
+    app: { ...appSection(app, manifest), ...shell === null ? {} : { shell } },
     pins: [...pinsByPath.values()].map((pin) => ({ ...pin, pages: [...new Set(pin.pages)].sort() })).sort((a, b) => a.order - b.order),
     pages,
     elements,
@@ -6481,14 +6487,21 @@ function readPage(app, page, spec, elements, problems) {
     ...bands.map((entry, index) => ({ at: entry.node.index, section: banded[index] })),
     ...wrappers.map((node, index) => ({ at: node.index, section: wrapped[index] }))
   ].sort((a, b) => a.at - b.at).map((one) => one.section);
+  for (const entry of significant) {
+    if (entry.type !== "region" || entry.node.attrs[HEADER_ACTIONS_ATTR] === void 0) continue;
+    for (const child of childrenOf2.get(entry.node.index) ?? []) elements[uids.get(child)].section = "header";
+  }
   const mount = readMount(scripts, problems);
   const body = tree.nodes.find((node) => node.tag === "body") ?? tree.nodes.find((node) => node.tag === "html");
+  const main2 = tree.nodes.find((node) => node.tag === "main" && "data-dr-app" in node.attrs) ?? null;
   return {
+    shell: shellOf(main2),
     page: {
       path: page.path,
       route: routeOf(app.manifest, page.path),
       title: titleOf(tree, page.text),
       header: headerOf(tree, page.text),
+      ...navOf(tree, main2),
       sections,
       scripts: scripts.map((script) => script.path).filter((path3) => path3 !== page.path),
       theme: body?.attrs[THEME_ATTR] ?? null,
@@ -6751,20 +6764,43 @@ function headerOf(tree, text3) {
   }
   const region = tree.nodes.find((node) => node.attrs[KIT_ATTR] === "header");
   if (!region) return null;
-  const heading = firstTag(tree, region, "h1");
+  const heading = firstTag(tree, region, "h1", true);
   if (!heading) return null;
-  const summary = firstTag(tree, region, "p");
-  return { title: textOf(text3, heading), summary: summary ? textOf(text3, summary) || null : null };
+  const summary = firstTag(tree, region, "p", true);
+  const out = { title: textOf(text3, heading), summary: summary ? textOf(text3, summary) || null : null };
+  const actions = parseJsonAttr(region.attrs[HEADER_ACTIONS_ATTR]);
+  if (Array.isArray(actions)) out.actions = actions;
+  const from = region.attrs[TITLE_FROM_ATTR];
+  if (from !== void 0 && from !== "") out.title_from = from;
+  return out;
 }
-function firstTag(tree, node, tag) {
+function firstTag(tree, node, tag, outer = false) {
   for (const child of node.children) {
     const candidate = tree.nodes[child];
     if (candidate.tag === tag) return candidate;
-    const found = firstTag(tree, candidate, tag);
+    if (outer && (COMPONENT_ATTR in candidate.attrs || FIELD_ATTR in candidate.attrs)) continue;
+    const found = firstTag(tree, candidate, tag, outer);
     if (found) return found;
   }
   return null;
 }
+function parseJsonAttr(value) {
+  if (value === void 0 || value === "") return void 0;
+  try {
+    return JSON.parse(value);
+  } catch {
+    return void 0;
+  }
+}
+function shellOf(main2) {
+  const shell = parseJsonAttr(main2?.attrs[SHELL_ATTR]);
+  return isPlainObject(shell) ? shell : null;
+}
+function navOf(tree, main2) {
+  const nav = tree.nodes.find((node) => node.tag === "nav" && node.attrs[KIT_ATTR] === "nav" && node.attrs[NAV_COUNTS_ATTR] !== void 0);
+  const source = nav?.attrs[NAV_COUNTS_ATTR] ?? main2?.attrs[NAV_COUNTS_ATTR];
+  return source === void 0 || source === "" ? {} : { nav: { counts: { source } } };
+}
 function sectionOf(node, text3, index) {
   const title = textOf(text3, node);
   return { id: node.attrs.id ?? slug2(title) ?? `section_${index + 1}`, title };
@@ -9766,6 +9802,48 @@ var contract_schema_default = {
         },
         capabilities: { type: "object" },
         data_model: { oneOf: [{ type: "null" }, { $ref: "#/$defs/data_model" }] },
+        shell: {
+          type: "object",
+          additionalProperties: false,
+          description: `OPTIONAL, apps (dr-app-runtime@1.8.0, lib/shell.ts). The app shell: nav "rail" draws the page's nav as a 240px left rail, topbar true draws the product top bar (not when the page is framed). Absent, or nav "tabs" with no topbar, the page is 1.7.1's. Compiled as data-dr-shell (sorted JSON) on every page's <main data-dr-app>; the runtime reads it from the embedded contract.`,
+          properties: {
+            nav: { enum: ["tabs", "rail"], description: "tabs (absent is this): the row of page tabs; rail: the left rail" },
+            topbar: { type: "boolean", description: "the 56px product top bar: nav_label (or name), Help/Settings when a help.html/settings.html page exists, the viewer's name" },
+            rail: {
+              type: "object",
+              additionalProperties: false,
+              properties: {
+                title: { type: "string", description: "a small muted label above the entries" },
+                entries: {
+                  type: "array",
+                  description: "absent: one entry per page, as the tab row draws them",
+                  items: {
+                    type: "object",
+                    required: ["label"],
+                    additionalProperties: false,
+                    properties: {
+                      label: { type: "string", minLength: 1 },
+                      page: { type: "string", description: "a page to link to (ui/requests.html)" },
+                      param: { type: "object", description: 'page params this entry sets through the param store ({"folder": "inbox"}); active while the store holds them all' },
+                      measure: { type: "string", minLength: 1, description: "a measure of pages[].nav.counts.source, drawn as a count (0 is not drawn)" },
+                      role: { type: "string", minLength: 1, description: "dr-app-runtime@1.8.1: the app roles this entry is drawn for, any of them, space-separated like data-dr-role. Absent, the runtime gates an entry with page by that page's pages[].roles, and a param entry by its target page's roles; a viewer none of them allows does not see the entry" }
+                    }
+                  }
+                },
+                footer: {
+                  type: "array",
+                  description: "links pinned to the bottom of the rail",
+                  items: {
+                    type: "object",
+                    required: ["label", "page"],
+                    additionalProperties: false,
+                    properties: { label: { type: "string", minLength: 1 }, page: { type: "string" }, role: { type: "string", minLength: 1, description: "dr-app-runtime@1.8.1: the roles this link is drawn for (space-separated, any of them); absent, the page's pages[].roles gate it" } }
+                  }
+                }
+              }
+            }
+          }
+        },
         theme: {
           oneOf: [
             { type: "null" },
@@ -9817,7 +9895,9 @@ var contract_schema_default = {
               description: `The words at the top of the page, as a reader sees them: a dashboard's app bar (.dr-appbar__title over .dr-appbar__summary) or an app's header region (data-dr-kit="header" around an h1 and a p). Not <title>, which is the browser tab. OPTIONAL: a contract written before this key existed omits it.`,
               properties: {
                 title: { type: "string" },
-                summary: { type: ["string", "null"], description: "the one line under the title, or null where the page writes none" }
+                summary: { type: ["string", "null"], description: "the one line under the title, or null where the page writes none" },
+                actions: { type: "array", minItems: 1, items: { type: "string", minLength: 1 }, description: 'OPTIONAL, apps (dr-app-runtime@1.8.0). The ids (props.id) of button or dialog elements on this page drawn as a right-aligned row beside the title, in this order, and not in their band. Compiled inside the header region (data-dr-header-actions), each element with section "header".' },
+                title_from: { enum: ["rail"], description: "OPTIONAL, apps (dr-app-runtime@1.8.0). rail: the title is the active rail entry's label, falling back to title. data-dr-title-from on the header region." }
               }
             }
           ]
@@ -9871,7 +9951,7 @@ var contract_schema_default = {
             additionalProperties: false,
             properties: {
               name: { type: "string" },
-              kind: { type: "string", enum: ["period", "multi", "select", "slider", "number", "toggle", "month"] },
+              kind: { type: "string", enum: ["period", "multi", "select", "slider", "number", "toggle", "month", "text", "date"], description: "text (any string) and date (a YYYY-MM-DD day, or '') from dr-app-runtime@1.8.0" },
               label: { type: "string", description: "OPTIONAL. Absent falls back to name." },
               min: { type: "number", description: "OPTIONAL. slider/number only." },
               max: { type: "number", description: "OPTIONAL. slider/number only." },
@@ -9887,9 +9967,25 @@ var contract_schema_default = {
               { properties: { kind: { const: "slider" }, default: { type: "number" } } },
               { properties: { kind: { const: "number" }, default: { type: "number" } } },
               { properties: { kind: { const: "toggle" }, default: { type: "boolean" } } },
-              { properties: { kind: { const: "month" }, default: { type: "string" } } }
+              { properties: { kind: { const: "month" }, default: { type: "string" } } },
+              { properties: { kind: { const: "text" }, default: { type: "string" } } },
+              { properties: { kind: { const: "date" }, default: { type: "string", pattern: "^([0-9]{4}-[0-9]{2}-[0-9]{2})?$" } } }
             ]
           }
+        },
+        nav: {
+          type: "object",
+          required: ["counts"],
+          additionalProperties: false,
+          description: "OPTIONAL, apps (dr-app-runtime@1.8.0). counts.source is a summary handler the runtime calls once with {} (and again on the page's refresh): its measures fill the rail entries' counts (app.shell.rail.entries[].measure). data-dr-nav-counts on the page's nav (on <main> when it has none).",
+          properties: {
+            counts: {
+              type: "object",
+              required: ["source"],
+              additionalProperties: false,
+              properties: { source: { type: "string", minLength: 1 } }
+            }
+          }
         }
       }
     },
@@ -11139,11 +11235,11 @@ var MAP = [
   ["--card-foreground", "colour", "--dr-n-900"],
   ["--primary", "colour", "--dr-accent"],
   ["--primary-foreground", "contrast", "--dr-accent"],
-  ["--secondary", "colour", "--dr-n-100"],
+  ["--secondary", "colour", "--dr-n-50"],
   ["--secondary-foreground", "colour", "--dr-n-700"],
   ["--muted", "colour", "--dr-n-100"],
   ["--muted-foreground", "colour", "--dr-n-500"],
-  ["--accent", "colour", "--dr-n-100"],
+  ["--accent", "colour", "--dr-n-50"],
   ["--accent-foreground", "colour", "--dr-n-900"],
   ["--destructive", "colour", "--dr-negative"],
   ["--destructive-foreground", "contrast", "--dr-negative"],
@@ -12036,6 +12132,325 @@ function isPlatformChartColour(n, value) {
   return colour !== "" && (PLATFORM_CHART[n - 1] === colour || APP_CHART_ORDER[n - 1] === colour);
 }
 
+// ../flows/insights-builder/kit/contract/look.mjs
+var look_exports = {};
+__export(look_exports, {
+  HEADER_ACTION_TYPES: () => HEADER_ACTION_TYPES,
+  headerActionProblems: () => headerActionProblems,
+  humanise: () => humanise,
+  layoutProblems: () => layoutProblems,
+  lookPages: () => lookPages,
+  navCountProblems: () => navCountProblems,
+  railReachProblems: () => railReachProblems,
+  rootsOf: () => rootsOf,
+  untitledCards: () => untitledCards
+});
+var isPlainObject5 = (value) => value !== null && typeof value === "object" && !Array.isArray(value);
+var named4 = (value) => typeof value === "string" && value !== "";
+function humanise(name) {
+  const words = String(name).replace(/^_+/, "").replace(/_/g, " ").trim();
+  return words === "" ? "" : words[0].toUpperCase() + words.slice(1);
+}
+var WORDING = {
+  custom: { noun: "card", fallback: (p) => [humanise(String(p.module ?? "").replace(/^.*\/|\.js$/g, "")), "its module"] },
+  chart: { noun: "card", fallback: (p) => [humanise(String(p.y ?? "")), "its y column"] },
+  widget: { noun: "card", fallback: (p) => [humanise(named4(p.source) ? p.source : "widget"), "its source"] },
+  stat: { noun: "tile", fallback: (p) => [humanise(String(p.measure ?? "")), "its measure"] },
+  list: { noun: "card", fallback: (p) => [humanise(named4(p.entity) ? p.entity : "list"), "its entity"] },
+  queue: { noun: "card", fallback: (p) => [humanise(named4(p.entity) ? p.entity : "queue"), "its entity"] },
+  form: { noun: "card", fallback: () => ["New", "the runtime\u2019s default"] },
+  dialog: { noun: "dialog" }
+};
+var TITLED = Object.fromEntries(
+  TITLED_TYPES.map((type) => [type, { noun: CONTROL_PARTS.includes(type) ? "input" : "card", fallback: () => [humanise(type), "its type"], ...WORDING[type] }])
+);
+var LAYOUT = /* @__PURE__ */ new Set(["region", "tabs", "tab_panel"]);
+function rootsOf(contract, page) {
+  const elements = isPlainObject5(contract?.elements) ? contract.elements : {};
+  if (Array.isArray(page?.tree) && page.tree.length > 0) return page.tree.filter((uid) => elements[uid] !== void 0);
+  const contained = /* @__PURE__ */ new Set();
+  for (const element of Object.values(elements)) for (const child of element?.children ?? []) contained.add(child);
+  return Object.keys(elements).filter((uid) => {
+    const element = elements[uid];
+    return element?.page === page?.path && (element.parent === null || element.parent === void 0) && !contained.has(uid);
+  });
+}
+function untitledCards(contract) {
+  const elements = isPlainObject5(contract?.elements) ? contract.elements : {};
+  const out = [];
+  for (const page of Array.isArray(contract?.pages) ? contract.pages : []) {
+    if (page?.owned === true) continue;
+    const seen = /* @__PURE__ */ new Set();
+    const drawn2 = [];
+    const walk4 = (uids) => {
+      for (const uid of uids) {
+        const element = elements[uid];
+        if (element === void 0 || seen.has(uid)) continue;
+        seen.add(uid);
+        if (LAYOUT.has(element.type ?? "")) {
+          const children = element.children?.length ? element.children : Object.keys(elements).filter((other) => elements[other]?.parent === uid);
+          walk4(children);
+        } else {
+          drawn2.push(uid);
+        }
+      }
+    };
+    walk4(rootsOf(contract, page));
+    for (const uid of drawn2) {
+      const element = elements[uid];
+      const type = element.type ?? "";
+      const titled = TITLED[type];
+      if (titled === void 0) continue;
+      const props = isPlainObject5(element.props) ? element.props : {};
+      const typed = isPlainObject5(props.props) ? props.props : {};
+      const card = isPlainObject5(element.card) ? element.card : isPlainObject5(props.card) ? props.card : {};
+      if (named4(props.label) || named4(card.title)) continue;
+      if (type === "dialog" ? named4(typed.title) : named4(typed.label)) continue;
+      const id = named4(element.id) ? element.id : named4(props.id) ? props.id : null;
+      const [title, from] = named4(props.field) ? [humanise(props.field), "its field"] : id !== null ? [humanise(id), "its id"] : titled.fallback(props);
+      const what = id !== null ? `${type} "${id}"` : `the ${type} ${uid}`;
+      const shown2 = title === "" ? "has no title at all" : `is titled "${title}" after ${from}`;
+      out.push({ page: page.path, uid, type, id, noun: titled.noun, title, from, message: `${what} has no label, so its ${titled.noun} ${shown2}` });
+    }
+  }
+  return out;
+}
+var BAND_LOOK2 = ["subtitle", "layout", "surface", "aside"];
+function lookPages(contract) {
+  const elements = isPlainObject5(contract?.elements) ? contract.elements : {};
+  const out = /* @__PURE__ */ new Set();
+  for (const page of Array.isArray(contract?.pages) ? contract.pages : []) {
+    if (page?.owned === true || !named4(page?.path)) continue;
+    const bands = (Array.isArray(page.sections) ? page.sections : []).some((section) => BAND_LOOK2.some((key) => named4(section?.[key])));
+    const cards = Object.values(elements).some((element) => element?.page === page.path && (isPlainObject5(element.card) || named4(element.emphasis)));
+    if (bands || cards) out.add(page.path);
+  }
+  return out;
+}
+var SPAN_LAYOUTS = /* @__PURE__ */ new Set([void 0, "grid"]);
+var CONTROL_TYPES = /* @__PURE__ */ new Set(["filter", "control", ...CONTROL_PARTS]);
+function bandsOf(contract, page) {
+  const elements = isPlainObject5(contract?.elements) ? contract.elements : {};
+  const roots = rootsOf(contract, page);
+  return (Array.isArray(page.sections) ? page.sections : []).filter((section) => named4(section?.id)).map((section) => ({ section, roots: roots.filter((uid) => elements[uid]?.section === section.id) }));
+}
+function nameOf3(uid, element) {
+  const id = named4(element?.props?.id) ? element.props.id : named4(element?.id) ? element.id : null;
+  return id === null ? `the ${element?.type ?? "element"} ${uid}` : `${element.type} "${id}"`;
+}
+function isControl(element, moduleSource) {
+  const props = isPlainObject5(element?.props) ? element.props : {};
+  if (CONTROL_TYPES.has(element?.type)) return true;
+  if (element?.type !== "custom" && element?.type !== "action" && named4(props.param)) return true;
+  if (isPlainObject5(props.props) && named4(props.props.param)) return true;
+  if (element?.type === "custom" && named4(props.module)) {
+    const source = moduleSource(props.module);
+    return typeof source === "string" && scanUiSetParams(source).length > 0;
+  }
+  return false;
+}
+function layoutProblems(contract, { moduleSource = () => void 0 } = {}) {
+  const elements = isPlainObject5(contract?.elements) ? contract.elements : {};
+  const looked = lookPages(contract);
+  const out = [];
+  for (const page of Array.isArray(contract?.pages) ? contract.pages : []) {
+    if (!looked.has(page?.path)) continue;
+    for (const { section, roots } of bandsOf(contract, page)) {
+      const band = `band "${section.id}" on ${page.path}`;
+      const layout = named4(section.layout) ? section.layout : void 0;
+      if (layout === "kpi_strip") {
+        for (const uid of roots) {
+          const element = elements[uid];
+          if (element.type === "stat" || element.type === "widget" && element.props?.kind === "kpi") continue;
+          out.push({
+            rule: "L1",
+            page: page.path,
+            section: section.id,
+            uid,
+            message: `${band} is a kpi_strip, which draws equal KPI tiles, and holds ${nameOf3(uid, element)}; move it to a band of its own, or make it a stat (or a kpi widget)`
+          });
+        }
+      }
+      if (layout === "sidebar" && roots.length > 0) {
+        const uid = section.aside === "start" ? roots[0] : roots[roots.length - 1];
+        if (!isControl(elements[uid], moduleSource)) {
+          out.push({
+            rule: "L2",
+            page: page.path,
+            section: section.id,
+            uid,
+            message: `${band} is a sidebar whose aside (its ${section.aside === "start" ? "first" : "last"} element) is ${nameOf3(uid, elements[uid])}; the narrow column holds the controls that turn the page \u2014 a filter, an input, a part in param mode, a custom that calls ui.setParam \u2014 so put one there, or pick another layout`
+          });
+        }
+      }
+      if (SPAN_LAYOUTS.has(layout)) {
+        let row = [];
+        let used = 0;
+        for (const uid of roots) {
+          const raw = elements[uid]?.grid?.span;
+          const span = raw === null || raw === void 0 ? 12 : Number(raw);
+          if (!Number.isInteger(span) || span < 1 || span > 12) {
+            out.push({ rule: "L4", page: page.path, section: section.id, uid, message: `${band}: ${nameOf3(uid, elements[uid])} spans ${JSON.stringify(raw)}, and a span is a whole number of the twelve columns, 1 to 12` });
+            continue;
+          }
+          if (used + span > 12) {
+            if (used < 12) {
+              const spans = [...row.map((one) => one.span), span];
+              out.push({
+                rule: "L4",
+                page: page.path,
+                section: section.id,
+                uid,
+                message: `${band}: ${row.map((one) => nameOf3(one.uid, elements[one.uid])).join(" + ")} + ${nameOf3(uid, elements[uid])} span ${spans.join(" + ")} = ${spans.reduce((a, b) => a + b, 0)} on one row of twelve, so the last wraps and leaves ${12 - used} column${12 - used === 1 ? "" : "s"} of the row empty; make the row's spans add up to 12`
+              });
+            }
+            row = [];
+            used = 0;
+          }
+          row.push({ uid, span });
+          used += span;
+          if (used === 12) {
+            row = [];
+            used = 0;
+          }
+        }
+      }
+    }
+  }
+  return out;
+}
+var HEADER_ACTION_TYPES = ["button", "dialog"];
+function headerActionProblems(contract) {
+  const elements = isPlainObject5(contract?.elements) ? contract.elements : {};
+  const out = [];
+  for (const [pageIndex, page] of (Array.isArray(contract?.pages) ? contract.pages : []).entries()) {
+    if (page?.owned === true || !isPlainObject5(page?.header) || page.header.actions === void 0) continue;
+    const say = (index, id, uid, message) => out.push({ rule: "L5", code: "header_action_unknown", page: page.path, pageIndex, index, id, uid, message });
+    const actions = page.header.actions;
+    if (!Array.isArray(actions) || actions.length === 0) {
+      say(null, actions, null, `${page.path} states header.actions as ${JSON.stringify(actions)}; it is a list of the ids of the buttons and dialogs drawn beside the title`);
+      continue;
+    }
+    const seen = /* @__PURE__ */ new Set();
+    for (const [index, id] of actions.entries()) {
+      if (!named4(id)) {
+        say(index, id, null, `${page.path}'s header.actions[${index}] is ${JSON.stringify(id)}; each entry is an element id (props.id) on the page`);
+        continue;
+      }
+      if (seen.has(id)) {
+        say(index, id, null, `${page.path}'s header.actions lists "${id}" twice; the runtime draws it once`);
+        continue;
+      }
+      seen.add(id);
+      const hits = Object.keys(elements).filter((uid) => {
+        const element2 = elements[uid];
+        return element2?.page === page.path && element2.type !== "region" && (named4(element2.props?.id) ? element2.props.id : element2.id) === id;
+      });
+      if (hits.length === 0) {
+        say(index, id, null, `${page.path}'s header.actions names "${id}", and no element on the page has that id, so nothing is drawn beside the title; name a button or dialog of this page by its props.id`);
+        continue;
+      }
+      const element = elements[hits[0]];
+      if (!HEADER_ACTION_TYPES.includes(element.type)) {
+        say(index, id, hits[0], `${page.path}'s header.actions names ${nameOf3(hits[0], element)}, and a header action is a ${HEADER_ACTION_TYPES.join(" or a ")}; make it one, or leave it in its band`);
+      }
+    }
+  }
+  return out;
+}
+function navCountProblems(contract) {
+  const out = [];
+  const handlers = isPlainObject5(contract?.data?.app?.handlers) ? contract.data.app.handlers : {};
+  const pages = (Array.isArray(contract?.pages) ? contract.pages : []).filter((page) => page?.owned !== true);
+  const entries = Array.isArray(contract?.app?.shell?.rail?.entries) ? contract.app.shell.rail.entries : [];
+  const measured = entries.map((entry, index) => ({ entry, index })).filter(({ entry }) => named4(entry?.measure));
+  const counted = pages.filter((page) => isPlainObject5(page.nav) && page.nav.counts !== void 0);
+  if (counted.length === 0) {
+    if (measured.length > 0) {
+      out.push({
+        rule: "L6",
+        page: null,
+        where: "app.shell.rail.entries",
+        message: `the rail's entries name measures (${measured.map(({ entry }) => JSON.stringify(entry.measure)).join(", ")}) and no page states nav.counts.source, so no count is ever drawn; state the summary handler on the pages that draw the rail`
+      });
+    }
+    return out;
+  }
+  const measuresChecked = /* @__PURE__ */ new Set();
+  for (const page of counted) {
+    const source = page.nav.counts?.source;
+    const where2 = `${page.path} nav.counts.source`;
+    if (!named4(source)) {
+      out.push({ rule: "L6", page: page.path, where: where2, message: `${where2} is ${JSON.stringify(source ?? null)}; it names the summary handler whose measures are the rail's counts` });
+      continue;
+    }
+    const handler = handlers[source];
+    if (!isPlainObject5(handler) || handler.role !== "summary") {
+      out.push({
+        rule: "L6",
+        page: page.path,
+        where: where2,
+        message: `${where2} is "${source}", which is ${isPlainObject5(handler) ? `a ${JSON.stringify(handler.role ?? null)} handler` : "not a handler of this app"}; the rail's counts are one number per measure, which a summary handler answers`
+      });
+      continue;
+    }
+    if (!isPlainObject5(handler.measures) || measuresChecked.has(source)) continue;
+    measuresChecked.add(source);
+    for (const { entry, index } of measured) {
+      if (Object.prototype.hasOwnProperty.call(handler.measures, entry.measure)) continue;
+      out.push({
+        rule: "L6",
+        page: page.path,
+        where: `app.shell.rail.entries[${index}].measure`,
+        message: `rail entry "${entry.label}" counts measure "${entry.measure}", which "${source}" (${page.path} nav.counts.source) does not answer (it has ${Object.keys(handler.measures).map((one) => JSON.stringify(one)).join(", ")}), so its count is never drawn`
+      });
+    }
+  }
+  return out;
+}
+function appRoles(contract) {
+  const raw = Array.isArray(contract?.backend?.roles) ? contract.backend.roles : [];
+  return raw.map((role) => typeof role === "string" ? { name: role, sees: [] } : { name: role?.name, sees: Array.isArray(role?.sees) ? role.sees.filter(named4) : [] }).filter((role) => named4(role.name));
+}
+function railReachProblems(contract) {
+  const out = [];
+  const rail = contract?.app?.shell?.rail;
+  if (!isPlainObject5(rail)) return out;
+  const roles = appRoles(contract);
+  if (roles.length === 0) return out;
+  const declared = new Map(roles.map((role) => [role.name, role]));
+  const pages = new Map((Array.isArray(contract?.pages) ? contract.pages : []).filter((page) => named4(page?.path)).map((page) => [page.path, page]));
+  const openers = (page) => Array.isArray(page?.roles) && page.roles.filter(named4).length > 0 ? page.roles.filter(named4) : null;
+  const canOpen = (name, page) => {
+    const open2 = openers(page);
+    if (open2 === null) return true;
+    const role = declared.get(name);
+    return open2.includes(name) || (role?.sees ?? []).some((seen) => open2.includes(seen));
+  };
+  for (const key of ["entries", "footer"]) {
+    for (const [index, entry] of (Array.isArray(rail[key]) ? rail[key] : []).entries()) {
+      if (!isPlainObject5(entry) || !named4(entry.label) || !named4(entry.page)) continue;
+      const page = pages.get(entry.page);
+      if (page === void 0) continue;
+      const where2 = `app.shell.rail.${key}[${index}]`;
+      const viewers = named4(entry.role) ? entry.role.split(/\s+/).filter(named4) : openers(page) ?? roles.map((role) => role.name);
+      const known = viewers.filter((name) => declared.has(name));
+      if (known.length === 0) {
+        out.push({ rule: "L7", where: where2, message: `rail ${key === "footer" ? "footer link" : "entry"} "${entry.label}" is drawn for ${viewers.map((one) => JSON.stringify(one)).join(", ")}, and the app declares none of them (${roles.map((role) => JSON.stringify(role.name)).join(", ")}), so nobody sees it` });
+        continue;
+      }
+      if (!known.some((name) => canOpen(name, page))) {
+        out.push({
+          rule: "L7",
+          where: where2,
+          message: `rail ${key === "footer" ? "footer link" : "entry"} "${entry.label}" links to ${entry.page}, which ${known.map((one) => JSON.stringify(one)).join(", ")} may not open (it is for ${openers(page).map((one) => JSON.stringify(one)).join(", ")}), so the entry is dead; give it the page's roles, or link a page they may open`
+        });
+      }
+    }
+  }
+  return out;
+}
+
 // ../flows/insights-builder/kit/contract/platformBadges.mjs
 var PLATFORM_BADGE_COLOURS = Object.freeze([
   ["--dr-color-additional-blue", "#0061ff"],
@@ -12092,7 +12507,7 @@ function badgesCss() {
 }
 
 // ../flows/insights-builder/kit/contract/compileApp.mjs
-var RUNTIME = "dr-app-runtime@1.7.1";
+var RUNTIME = "dr-app-runtime@1.8.1";
 var UI_KIT2 = "ui-kit/v4";
 var CHARTS = "echarts@5.6.0";
 var FMT = "dr-fmt@2.0.1";
@@ -12122,12 +12537,12 @@ var REQUIRED_KEYS = {
 var KEY_SHAPE = {
   table: {
     reads: 'HANDLER["table"]',
-    ok: (value) => named4(value),
+    ok: (value) => named5(value),
     says: "the name of the table it is over, as a string"
   },
   fields: {
     reads: 'HANDLER["fields"]',
-    ok: (value) => Array.isArray(value) && value.length > 0 && value.every(named4),
+    ok: (value) => Array.isArray(value) && value.length > 0 && value.every(named5),
     says: "a non-empty list of the columns it takes off the payload"
   },
   // Two spellings. The ARRAY names the values the status column may be moved
@@ -12137,27 +12552,27 @@ var KEY_SHAPE = {
   // it was not told to.
   decision: {
     reads: 'HANDLER["decision"]',
-    ok: (value) => Array.isArray(value) && value.length > 0 && value.every(named4) || isPlainObject5(value) && Object.keys(value).length > 0 && Object.keys(value).every(named4) && Object.values(value).every((spec) => isPlainObject5(spec) && named4(spec.to)),
+    ok: (value) => Array.isArray(value) && value.length > 0 && value.every(named5) || isPlainObject6(value) && Object.keys(value).length > 0 && Object.keys(value).every(named5) && Object.values(value).every((spec) => isPlainObject6(spec) && named5(spec.to)),
     says: "a non-empty list of the values this decision can write, or an object of decision name to {to, note?, set?}"
   },
   guard: {
     reads: 'HANDLER["guard"]',
-    ok: (value) => named4(value),
+    ok: (value) => named5(value),
     says: "the one state a row may be acted on from, as a string"
   },
   requires: {
     reads: "REQUIRES",
-    ok: (value) => isPlainObject5(value) && Object.keys(value).length > 0 && Object.values(value).every((conditions) => isPlainObject5(conditions) && Object.keys(conditions).length > 0),
+    ok: (value) => isPlainObject6(value) && Object.keys(value).length > 0 && Object.values(value).every((conditions) => isPlainObject6(conditions) && Object.keys(conditions).length > 0),
     says: 'an object of ref column to {column of the row it names: the value it must hold, or {"not": the value it must not}}'
   },
   measures: {
     reads: 'HANDLER["measures"].items()',
-    ok: (value) => isPlainObject5(value) && Object.keys(value).length > 0,
+    ok: (value) => isPlainObject6(value) && Object.keys(value).length > 0,
     says: "a non-empty object of measure name to what it answers: an equality filter it counts, or {count: true | sum | avg | avg_days | count_events: true, where}"
   },
   by: {
     reads: 'HANDLER["by"]',
-    ok: (value) => named4(value),
+    ok: (value) => named5(value),
     says: "the ref column the rows are filtered by, as a string"
   },
   not_own: {
@@ -12221,11 +12636,11 @@ function isNumberType(type) {
   return typeof type === "string" && (NUMBER_TYPES.has(type) || DECIMAL_RE.test(type));
 }
 function statesTopLevelId(element) {
-  return isPlainObject5(element) && named4(element.id);
+  return isPlainObject6(element) && named5(element.id);
 }
 function propsId(element) {
   const props = element?.props;
-  return isPlainObject5(props) && named4(props.id) ? props.id : void 0;
+  return isPlainObject6(props) && named5(props.id) ? props.id : void 0;
 }
 function foldStatedIds(elements) {
   const folding = Object.keys(elements).filter((uid) => {
@@ -12238,31 +12653,31 @@ function foldStatedIds(elements) {
   const out = { ...elements };
   for (const uid of folding) {
     const element = out[uid];
-    out[uid] = { ...element, id: null, props: { id: element.id, ...isPlainObject5(element.props) ? element.props : {} } };
+    out[uid] = { ...element, id: null, props: { id: element.id, ...isPlainObject6(element.props) ? element.props : {} } };
   }
   return out;
 }
 function roleListOf(element) {
-  const role = isPlainObject5(element?.props) ? element.props.role : void 0;
+  const role = isPlainObject6(element?.props) ? element.props.role : void 0;
   return Array.isArray(role) ? role : null;
 }
 function roleListCoversHandler(element, handlers) {
   const listed = roleListOf(element);
-  if (listed === null || element?.type !== "action" || !listed.every(named4)) return false;
+  if (listed === null || element?.type !== "action" || !listed.every(named5)) return false;
   const gate = handlers?.[element.props?.action]?.requiresRole;
   return Array.isArray(gate) && gate.length > 0 && gate.every((role) => listed.includes(role));
 }
 function foldRoleLists(elements, handlers = {}) {
   const folding = Object.keys(elements).filter((uid) => {
     const listed = roleListOf(elements[uid]);
-    return listed !== null && (listed.length === 1 && named4(listed[0]) || roleListCoversHandler(elements[uid], handlers));
+    return listed !== null && (listed.length === 1 && named5(listed[0]) || roleListCoversHandler(elements[uid], handlers));
   });
   if (folding.length === 0) return elements;
   const out = { ...elements };
   for (const uid of folding) {
     const element = out[uid];
     const { role, ...rest } = element.props;
-    out[uid] = { ...element, props: role.length === 1 && named4(role[0]) ? { ...element.props, role: role[0] } : rest };
+    out[uid] = { ...element, props: role.length === 1 && named5(role[0]) ? { ...element.props, role: role[0] } : rest };
   }
   return out;
 }
@@ -12270,7 +12685,7 @@ function roleListProblems(elements, handlers = {}) {
   const problems = [];
   for (const uid of Object.keys(elements).sort(natural3)) {
     const listed = roleListOf(elements[uid]);
-    if (listed === null || listed.length === 1 && named4(listed[0]) || roleListCoversHandler(elements[uid], handlers)) continue;
+    if (listed === null || listed.length === 1 && named5(listed[0]) || roleListCoversHandler(elements[uid], handlers)) continue;
     problems.push({
       code: "app_model_mismatch",
       pointer: `/elements/${escapePointer3(uid)}/props/role`,
@@ -12282,7 +12697,7 @@ function roleListProblems(elements, handlers = {}) {
 function foldHeaderRoles(elements) {
   const folding = Object.keys(elements).filter((uid) => {
     const element = elements[uid];
-    return isPlainObject5(element) && element.type === "region" && (element.role === void 0 || element.role === null);
+    return isPlainObject6(element) && element.type === "region" && (element.role === void 0 || element.role === null);
   });
   if (folding.length === 0) return elements;
   const out = { ...elements };
@@ -12292,7 +12707,7 @@ function foldHeaderRoles(elements) {
 function foldNavRegions(elements) {
   const folding = Object.keys(elements).filter((uid) => {
     const element = elements[uid];
-    return isPlainObject5(element) && element.type === "region" && element.role === "nav";
+    return isPlainObject6(element) && element.type === "region" && element.role === "nav";
   });
   if (folding.length === 0) return elements;
   const out = { ...elements };
@@ -12303,8 +12718,8 @@ function foldDialogTriggers(elements) {
   const words = (v) => typeof v === "string" && v.trim() !== "" ? v : null;
   const folding = Object.keys(elements).filter((uid) => {
     const element = elements[uid];
-    if (!isPlainObject5(element) || element.type !== "dialog" || !isPlainObject5(element.props)) return false;
-    const typed = isPlainObject5(element.props.props) ? element.props.props : {};
+    if (!isPlainObject6(element) || element.type !== "dialog" || !isPlainObject6(element.props)) return false;
+    const typed = isPlainObject6(element.props.props) ? element.props.props : {};
     if (words(typed.trigger) || typed.values_from === "row") return false;
     return Boolean(words(element.props.label) ?? words(typed.title));
   });
@@ -12312,7 +12727,7 @@ function foldDialogTriggers(elements) {
   const out = { ...elements };
   for (const uid of folding) {
     const element = out[uid];
-    const typed = isPlainObject5(element.props.props) ? element.props.props : {};
+    const typed = isPlainObject6(element.props.props) ? element.props.props : {};
     const trigger = words(element.props.label) ?? words(typed.title);
     out[uid] = { ...element, props: { ...element.props, props: { ...typed, trigger } } };
   }
@@ -12322,10 +12737,10 @@ function headerPropsProblems(elements) {
   const problems = [];
   for (const uid of Object.keys(elements).sort(natural3)) {
     const element = elements[uid];
-    if (!isPlainObject5(element) || element.type !== "region") continue;
+    if (!isPlainObject6(element) || element.type !== "region") continue;
     if ((element.role ?? "header") !== "header") continue;
     if (element.props === void 0 || element.props === null) continue;
-    if (isPlainObject5(element.props) && Object.keys(element.props).length === 0) continue;
+    if (isPlainObject6(element.props) && Object.keys(element.props).length === 0) continue;
     problems.push({
       code: "app_model_mismatch",
       pointer: `/elements/${escapePointer3(uid)}/props`,
@@ -12350,7 +12765,7 @@ function statedIdProblems(elements) {
   return problems;
 }
 function specMapProblems(widgets) {
-  if (!isPlainObject5(widgets)) return [];
+  if (!isPlainObject6(widgets)) return [];
   return Object.keys(widgets).sort(natural3).map((id) => ({
     code: "app_model_mismatch",
     pointer: `/data/widgets/${escapePointer3(id)}`,
@@ -12363,14 +12778,14 @@ var SOURCE_TABLE_KEYS = ["where", "order_by", "limit"];
 function originOf(row) {
   const from = row?.from;
   if (Array.isArray(from)) return "depends";
-  if (!isPlainObject5(from)) return null;
+  if (!isPlainObject6(from)) return null;
   for (const spelling of ["financeos", "table", "call"]) {
     if (Object.prototype.hasOwnProperty.call(from, spelling)) return spelling;
   }
   return null;
 }
 function sourcesOf(contract) {
-  return isPlainObject5(contract?.data?.sources) ? contract.data.sources : {};
+  return isPlainObject6(contract?.data?.sources) ? contract.data.sources : {};
 }
 var FINANCEOS_SCOPES = {
   commands: {
@@ -12414,7 +12829,7 @@ function financeosNeeds(row, origin) {
     }
     return needs;
   }
-  const read = isPlainObject5(row.from.financeos) ? row.from.financeos : {};
+  const read = isPlainObject6(row.from.financeos) ? row.from.financeos : {};
   const filterable = Array.isArray(row.filterable) && row.filterable.length > 0;
   if (read.metric_id !== void 0 && read.metric_id !== null) {
     if (read.drill_rows) need("data_models", scopesGranting("namespaces", "data_models"));
@@ -12462,7 +12877,7 @@ function servedSources(elements, sources) {
   const out = /* @__PURE__ */ new Set();
   for (const element of Object.values(elements)) {
     const name = element?.props?.source;
-    if (named4(name) && Object.prototype.hasOwnProperty.call(sources, name)) out.add(name);
+    if (named5(name) && Object.prototype.hasOwnProperty.call(sources, name)) out.add(name);
   }
   return [...out].sort(natural3);
 }
@@ -12474,7 +12889,7 @@ function sourceProblems(sources, app, handlers, extra) {
   const granted = Array.isArray(financeos) && financeos.length > 0;
   for (const name of names) {
     const row = sources[name];
-    if (!isPlainObject5(row)) {
+    if (!isPlainObject6(row)) {
       problems.push({ code: "source_shape", pointer: at(name), message: `source "${name}" is ${JSON.stringify(row ?? null)}; a source is an object saying where its rows come from (from) and, when it reshapes them, which transform file does it` });
       continue;
     }
@@ -12503,7 +12918,7 @@ function sourceProblems(sources, app, handlers, extra) {
     }
     if (origin === "depends") {
       for (const [index, dep] of row.from.entries()) {
-        if (!named4(dep) || !Object.prototype.hasOwnProperty.call(sources, dep)) {
+        if (!named5(dep) || !Object.prototype.hasOwnProperty.call(sources, dep)) {
           problems.push({
             code: "source_unknown",
             pointer: at(name, `from/${index}`),
@@ -12560,7 +12975,7 @@ function orderProblems(name, row, at) {
   }
   if (has("items")) {
     const labels = Array.isArray(row.items) ? row.items : null;
-    if (labels === null || labels.length === 0 || !labels.every(named4) || new Set(labels).size !== labels.length) {
+    if (labels === null || labels.length === 0 || !labels.every(named5) || new Set(labels).size !== labels.length) {
       say("items", `states items as ${JSON.stringify(row.items)}; items is the breakdown's labels, each once, in the order they are drawn (["Opening ARR", "New", "Churn"])`);
     } else if (row.order !== "declared") {
       say("items", 'lists items, which are read only with order "declared"; add "order": "declared", or drop items');
@@ -12586,7 +13001,7 @@ function bridgeFixes(row) {
       fixes.push('add "items": [the step labels, in order] beside "order": "declared"');
     }
   } else if (row.order === "source") {
-    if (!transformed && !(origin === "table" && named4(row.order_by))) {
+    if (!transformed && !(origin === "table" && named5(row.order_by))) {
       order2 = "unpromised";
       fixes.push(
         origin === "table" ? `add "order_by" naming the column the steps sort by (${unordered} comes back in no promised order), or replace "order": "source" with ${declare}` : `replace "order": "source" with ${declare} \u2014 ${unordered} comes back in no promised order, so its steps could be drawn shuffled`
@@ -12606,15 +13021,15 @@ function carriedFields(row, model) {
   if (row.transform !== void 0 && row.transform !== null) return null;
   const origin = originOf(row);
   if (origin === "financeos") {
-    const read = isPlainObject5(row.from.financeos) ? row.from.financeos : {};
-    const measures = Array.isArray(read.measures) ? read.measures : isPlainObject5(read.measure) ? [read.measure] : [];
+    const read = isPlainObject6(row.from.financeos) ? row.from.financeos : {};
+    const measures = Array.isArray(read.measures) ? read.measures : isPlainObject6(read.measure) ? [read.measure] : [];
     if (measures.length === 0) return null;
     const fields = /* @__PURE__ */ new Set();
-    for (const one of measures) if (named4(one?.field)) fields.add(one.field);
+    for (const one of measures) if (named5(one?.field)) fields.add(one.field);
     if (measures.length === 1) fields.add("value");
-    for (const one of Array.isArray(read.dimensions) ? read.dimensions : []) if (named4(one)) fields.add(one);
-    const period = isPlainObject5(read.period_field) ? read.period_field.field : read.period_field;
-    if (named4(period)) {
+    for (const one of Array.isArray(read.dimensions) ? read.dimensions : []) if (named5(one)) fields.add(one);
+    const period = isPlainObject6(read.period_field) ? read.period_field.field : read.period_field;
+    if (named5(period)) {
       fields.add(period);
       fields.add("period");
     }
@@ -12632,13 +13047,13 @@ function compareProblems(sources, model) {
   const at = (name, key) => `/data/sources/${escapePointer3(name)}/${key}`;
   for (const name of Object.keys(sources).sort(natural3)) {
     const row = sources[name];
-    if (!isPlainObject5(row)) continue;
+    if (!isPlainObject6(row)) continue;
     const say = (key, message) => problems.push({ code: "source_compare_field", pointer: at(name, key), message: `source "${name}" ${message}` });
-    if (row.compare_label !== void 0 && !named4(row.compare_label)) {
+    if (row.compare_label !== void 0 && !named5(row.compare_label)) {
       say("compare_label", `states compare_label as ${JSON.stringify(row.compare_label)}; compare_label is the words the compare line says ("budget", "plan")`);
     }
     if (row.compare === void 0) continue;
-    if (!named4(row.compare)) {
+    if (!named5(row.compare)) {
       say("compare", `states compare as ${JSON.stringify(row.compare)}; compare names ONE measure field of the source's rows ("budget")`);
       continue;
     }
@@ -12646,7 +13061,7 @@ function compareProblems(sources, model) {
       say("compare", `states compare, which only a source shaped kpi reads (this one answers ${JSON.stringify(row.shape ?? "rows")}); give it shape kpi, or drop compare`);
       continue;
     }
-    const value = named4(row.value_field) ? row.value_field : "value";
+    const value = named5(row.value_field) ? row.value_field : "value";
     if (row.compare === value) {
       say("compare", `compares its figure (${value}) against itself; compare names the OTHER measure (actual against "budget")`);
       continue;
@@ -12700,7 +13115,7 @@ function appIdProblems(app) {
       }
     ];
   }
-  return appIdLengthProblems(id, isPlainObject5(app.data_model.tables) ? Object.keys(app.data_model.tables) : []);
+  return appIdLengthProblems(id, isPlainObject6(app.data_model.tables) ? Object.keys(app.data_model.tables) : []);
 }
 function appIdLengthProblems(id, tables) {
   const bytes = (text3) => new TextEncoder().encode(text3).length;
@@ -12725,10 +13140,10 @@ function themeProblems(app) {
   if (theme === void 0 || theme === null) return [];
   const at = (key) => `/app/theme${key ? `/${key}` : ""}`;
   const refuse = (key, message) => ({ code: "theme_shape", pointer: at(key), message });
-  if (!isPlainObject5(theme)) return [refuse("", `app.theme is ${JSON.stringify(theme)}; it is {"file": "ui/theme.css", "tokens": {"--dr-\u2026": "\u2026"}}, or null for none`)];
+  if (!isPlainObject6(theme)) return [refuse("", `app.theme is ${JSON.stringify(theme)}; it is {"file": "ui/theme.css", "tokens": {"--dr-\u2026": "\u2026"}}, or null for none`)];
   const out = [];
   if (theme.file !== THEME_FILE2) out.push(refuse("file", `app.theme.file is ${JSON.stringify(theme.file ?? null)}; an app's theme is written to ${THEME_FILE2}, the one file its pages link after runtime.css`));
-  if (!isPlainObject5(theme.tokens)) out.push(refuse("tokens", `app.theme.tokens is ${JSON.stringify(theme.tokens ?? null)}; it is an object of --dr-* tokens to the values the app overrides them with ({} for none)`));
+  if (!isPlainObject6(theme.tokens)) out.push(refuse("tokens", `app.theme.tokens is ${JSON.stringify(theme.tokens ?? null)}; it is an object of --dr-* tokens to the values the app overrides them with ({} for none)`));
   else {
     for (const token of Object.keys(theme.tokens).sort(natural3)) {
       const value = theme.tokens[token];
@@ -12762,7 +13177,7 @@ function themeValue(token, tokens, seen = /* @__PURE__ */ new Set()) {
   return hit ? themeValue(hit[1], tokens, seen) : value;
 }
 function themeCss(theme) {
-  const tokens = isPlainObject5(theme?.tokens) ? theme.tokens : {};
+  const tokens = isPlainObject6(theme?.tokens) ? theme.tokens : {};
   const names = Object.keys(tokens).sort(natural3);
   const lines = [
     "/* The app's own look, generated from contract.json: edit app.theme, not this",
@@ -12792,21 +13207,29 @@ function themeCss(theme) {
 }
 function fillTheme(app, pages) {
   const theme = app?.theme;
-  if (!isPlainObject5(theme) || theme.preset === void 0 && theme.density === void 0) return { app, pages };
+  if (!isPlainObject6(theme) || theme.preset === void 0 && theme.density === void 0) return { app, pages };
   const filled = pages.map((page) => {
     if (page?.owned === true) return page;
     const out = { ...page };
-    if (theme.preset !== void 0 && !named4(page.theme)) out.theme = theme.preset;
-    if (theme.density !== void 0 && !named4(page.density)) out.density = theme.density;
+    if (theme.preset !== void 0 && !named5(page.theme)) out.theme = theme.preset;
+    if (theme.density !== void 0 && !named5(page.density)) out.density = theme.density;
     return out;
   });
   const { preset, density, ...rest } = theme;
   return { app: { ...app, theme: rest }, pages: filled };
 }
-var PARAM_KINDS = ["period", "multi", "select", "slider", "number", "toggle", "month"];
+var PARAM_KINDS = ["period", "multi", "select", "slider", "number", "toggle", "month", "text", "date"];
 var NUMERIC_PARAM_KINDS = /* @__PURE__ */ new Set(["slider", "number"]);
 var STRING_PARAM_KINDS = /* @__PURE__ */ new Set(["select", "multi", "period", "month"]);
 var MONTH_RE = /^\d{4}-\d{2}$/;
+var DAY_RE = /^(\d{4})-(\d{2})-(\d{2})$/;
+function isRealDay(value) {
+  const found = DAY_RE.exec(value);
+  if (found === null) return false;
+  const [year, month, day] = found.slice(1).map(Number);
+  const at = new Date(Date.UTC(year, month - 1, day));
+  return at.getUTCFullYear() === year && at.getUTCMonth() === month - 1 && at.getUTCDate() === day;
+}
 function isStandardParam(name) {
   return name === "period" || name === "scenario" || typeof name === "string" && name.startsWith("dimensions:");
 }
@@ -12832,18 +13255,18 @@ function composedOf(sources, name) {
   const queue = [name];
   while (queue.length > 0) {
     const one = queue.shift();
-    if (out.has(one) || !isPlainObject5(sources[one])) continue;
+    if (out.has(one) || !isPlainObject6(sources[one])) continue;
     out.add(one);
-    if (Array.isArray(sources[one].from)) queue.push(...sources[one].from.filter(named4));
+    if (Array.isArray(sources[one].from)) queue.push(...sources[one].from.filter(named5));
   }
   return out;
 }
 function sourceReaders(contract, sources) {
   const out = /* @__PURE__ */ new Map();
-  const elements = isPlainObject5(contract?.elements) ? contract.elements : {};
+  const elements = isPlainObject6(contract?.elements) ? contract.elements : {};
   for (const element of Object.values(elements)) {
-    const props = isPlainObject5(element?.props) ? element.props : {};
-    const reads = [props.source, ...Array.isArray(props.declares?.reads) ? props.declares.reads : []].filter(named4);
+    const props = isPlainObject6(element?.props) ? element.props : {};
+    const reads = [props.source, ...Array.isArray(props.declares?.reads) ? props.declares.reads : []].filter(named5);
     for (const read of reads) {
       for (const one of composedOf(sources, read)) {
         if (!out.has(one)) out.set(one, /* @__PURE__ */ new Set());
@@ -12860,7 +13283,7 @@ function paramProblems(contract, sources) {
   for (const { page, pageIndex, index, param } of declared) {
     const at = (key) => `/pages/${pageIndex}/params/${index}${key ? `/${key}` : ""}`;
     const where2 = `page ${JSON.stringify(page.path ?? null)}`;
-    if (!isPlainObject5(param) || !named4(param.name)) {
+    if (!isPlainObject6(param) || !named5(param.name)) {
       problems.push({ code: "param_kind_value", pointer: at(), message: `${where2} declares a param as ${JSON.stringify(param ?? null)}; a param is {"name": "...", "kind": "..."} with a name` });
       continue;
     }
@@ -12890,12 +13313,12 @@ function paramProblems(contract, sources) {
       });
     }
   }
-  const names = new Set(declared.filter((one) => isPlainObject5(one.param) && named4(one.param.name)).map((one) => one.param.name));
+  const names = new Set(declared.filter((one) => isPlainObject6(one.param) && named5(one.param.name)).map((one) => one.param.name));
   const readers = sourceReaders(contract, sources);
-  const namesOn = (paths) => new Set(declared.filter((one) => paths.has(one.page?.path) && isPlainObject5(one.param) && named4(one.param.name)).map((one) => one.param.name));
+  const namesOn = (paths) => new Set(declared.filter((one) => paths.has(one.page?.path) && isPlainObject6(one.param) && named5(one.param.name)).map((one) => one.param.name));
   for (const source of Object.keys(sources).sort(natural3)) {
     const row = sources[source];
-    if (!isPlainObject5(row) || row.honors === void 0) continue;
+    if (!isPlainObject6(row) || row.honors === void 0) continue;
     if (!Array.isArray(row.honors)) {
       problems.push({ code: "source_shape", pointer: `/data/sources/${escapePointer3(source)}/honors`, message: `source "${source}" states honors as ${JSON.stringify(row.honors)}; honors is a list of the param names the source takes` });
       continue;
@@ -12904,8 +13327,8 @@ function paramProblems(contract, sources) {
     const scope = pages === null ? names : namesOn(pages);
     const which = pages === null ? "no page declares" : `no page that reads it (${[...pages].sort(natural3).map((one) => JSON.stringify(one)).join(", ")}) declares`;
     for (const [index, honored] of row.honors.entries()) {
-      if (named4(honored) && scope.has(honored)) continue;
-      if (named4(honored) && isStandardParam(honored) && scope.size === 0) continue;
+      if (named5(honored) && scope.has(honored)) continue;
+      if (named5(honored) && isStandardParam(honored) && scope.size === 0) continue;
       problems.push({
         code: "param_unknown_honor",
         pointer: `/data/sources/${escapePointer3(source)}/honors/${index}`,
@@ -12950,7 +13373,7 @@ function paramValueProblems(param, said2, at) {
   }
   if (param.values !== void 0) {
     if (!STRING_PARAM_KINDS.has(kind)) refuse("values", `states values, which only a select, multi, period or month is held to`);
-    else if (!Array.isArray(param.values) || param.values.length === 0 || !param.values.every(named4)) refuse("values", `states values as ${JSON.stringify(param.values)}; it is a non-empty list of strings (leave it out to take the values from the source's catalog)`);
+    else if (!Array.isArray(param.values) || param.values.length === 0 || !param.values.every(named5)) refuse("values", `states values as ${JSON.stringify(param.values)}; it is a non-empty list of strings (leave it out to take the values from the source's catalog)`);
     else if (new Set(param.values).size !== param.values.length) refuse("values", "lists one value twice");
   }
   if (param.max_selected !== void 0) {
@@ -12982,6 +13405,8 @@ function paramValueProblems(param, said2, at) {
     refuse("default", `defaults to ${JSON.stringify(value)}; a ${kind} opens on a string`);
   } else if (kind === "month" && !MONTH_RE.test(value)) {
     refuse("default", `defaults to ${JSON.stringify(value)}; a month is written YYYY-MM`);
+  } else if (kind === "date" && value !== "" && !isRealDay(value)) {
+    refuse("default", `defaults to ${JSON.stringify(value)}; a date is a real day written YYYY-MM-DD, or '' for none`);
   } else if (values !== null && !values.includes(value)) {
     refuse("default", `defaults to ${JSON.stringify(value)}, which is not among its values ${JSON.stringify(values)}`);
   }
@@ -12991,8 +13416,8 @@ function fillFilterable(sources) {
   let out = sources;
   for (const name of Object.keys(sources)) {
     const row = sources[name];
-    if (!isPlainObject5(row) || row.filterable !== void 0 || !Array.isArray(row.honors)) continue;
-    const dims = row.honors.filter((one) => named4(one) && one.startsWith("dimensions:")).map((one) => one.slice("dimensions:".length));
+    if (!isPlainObject6(row) || row.filterable !== void 0 || !Array.isArray(row.honors)) continue;
+    const dims = row.honors.filter((one) => named5(one) && one.startsWith("dimensions:")).map((one) => one.slice("dimensions:".length));
     if (dims.length === 0) continue;
     if (out === sources) out = { ...sources };
     out[name] = { ...row, filterable: [...new Set(dims)] };
@@ -13056,17 +13481,17 @@ function compileApp(contract, { kit = null, runtime = RUNTIME, extra = {} } = {}
   const appWidgets = typeof kit?.appWidgets === "string" && kit.appWidgets !== "" ? kit.appWidgets : WIDGETS;
   const appComponents = typeof kit?.appComponents === "string" && kit.appComponents !== "" ? kit.appComponents : COMPONENTS;
   const appControls = typeof kit?.appControls === "string" && kit.appControls !== "" ? kit.appControls : CONTROLS;
-  if (app.kind === "dashboard" || app.kind !== "app" && !isPlainObject5(contract?.data?.app)) {
+  if (app.kind === "dashboard" || app.kind !== "app" && !isPlainObject6(contract?.data?.app)) {
     problems.push({
       code: "kind_mismatch",
       pointer: "/app/kind",
-      message: `app.kind is ${JSON.stringify(app.kind ?? null)} and data.app ${isPlainObject5(contract?.data?.app) ? "is present" : "is absent"}; compileApp writes App Space apps, which say what their backend does in data.app, and a dashboard is compiled by compile.mjs`
+      message: `app.kind is ${JSON.stringify(app.kind ?? null)} and data.app ${isPlainObject6(contract?.data?.app) ? "is present" : "is absent"}; compileApp writes App Space apps, which say what their backend does in data.app, and a dashboard is compiled by compile.mjs`
     });
     return { files: {}, problems, contract };
   }
   problems.push(...appIdProblems(app));
-  const typed = isPlainObject5(contract.elements) ? contract.elements : {};
-  const gates = isPlainObject5(contract.data?.app?.handlers) ? contract.data.app.handlers : {};
+  const typed = isPlainObject6(contract.elements) ? contract.elements : {};
+  const gates = isPlainObject6(contract.data?.app?.handlers) ? contract.data.app.handlers : {};
   problems.push(...statedIdProblems(typed), ...roleListProblems(typed, gates));
   const declared = foldDialogTriggers(foldNavRegions(foldHeaderRoles(foldRoleLists(foldStatedIds(typed), gates))));
   problems.push(...headerPropsProblems(declared));
@@ -13080,7 +13505,7 @@ function compileApp(contract, { kit = null, runtime = RUNTIME, extra = {} } = {}
   }
   const model = modelIndex(app.data_model);
   problems.push(...pkProblems(model));
-  const handlers = isPlainObject5(contract.data?.app?.handlers) ? contract.data.app.handlers : {};
+  const handlers = isPlainObject6(contract.data?.app?.handlers) ? contract.data.app.handlers : {};
   const names = Object.keys(handlers).sort(natural3);
   const stated2 = sourcesOf(contract);
   const sourceFindings = sourceProblems(stated2, app, handlers, extra);
@@ -13088,6 +13513,7 @@ function compileApp(contract, { kit = null, runtime = RUNTIME, extra = {} } = {}
   problems.push(...compareProblems(stated2, model));
   problems.push(...paramProblems(contract, stated2));
   problems.push(...themeProblems(app));
+  problems.push(...shellProblems(contract, typed, handlers, stated2));
   const sources = fillFilterable(stated2);
   problems.push(...specMapProblems(contract?.data?.widgets));
   for (const name of names) {
@@ -13112,7 +13538,7 @@ function compileApp(contract, { kit = null, runtime = RUNTIME, extra = {} } = {}
     const element = declared[uid];
     if (element?.type !== "custom") continue;
     const args = element.props?.args;
-    if (args !== void 0 && args !== null && !isPlainObject5(args)) {
+    if (args !== void 0 && args !== null && !isPlainObject6(args)) {
       problems.push({
         code: "app_model_mismatch",
         pointer: `/elements/${escapePointer3(uid)}/props/args`,
@@ -13121,7 +13547,7 @@ function compileApp(contract, { kit = null, runtime = RUNTIME, extra = {} } = {}
     }
     const module = element.props?.module;
     const pointer2 = `/elements/${escapePointer3(uid)}/props/module`;
-    if (!named4(module) || !MODULE_RE.test(module)) {
+    if (!named5(module) || !MODULE_RE.test(module)) {
       problems.push({
         code: "custom_module_path",
         pointer: pointer2,
@@ -13157,7 +13583,7 @@ function compileApp(contract, { kit = null, runtime = RUNTIME, extra = {} } = {}
       message: `"${uid}" sits on ${declared[uid].page}, which is owned: the compiler writes nothing on that page, so it cannot write this \u2014 move the element to a compiled page, or drop owned`
     });
   }
-  const tree = treeOf(declared);
+  let tree = treeOf(declared);
   problems.push(...tree.problems);
   if (tree.problems.length === 0) problems.push(...byProblems(declared, tree, handlers, model), ...pickerProblems(declared, tree, handlers, model), ...whenProblems(declared, tree, model));
   problems.push(...computedProblems(declared, tree, handlers, model));
@@ -13176,8 +13602,10 @@ function compileApp(contract, { kit = null, runtime = RUNTIME, extra = {} } = {}
   if (sources !== stated2) contract = { ...contract, data: { ...contract.data, sources } };
   const parented = dropEmptyArgs(fillChartFormats(fillParents(declared, tree), handlers, model));
   const headed = fillHeaders(contract, parented);
-  const elements = headed.elements;
-  const themed = fillTheme(app, headed.pages);
+  const hoisted = hoistHeaderActions(headed.pages, headed.elements);
+  const elements = hoisted.elements;
+  if (hoisted.elements !== headed.elements) tree = treeOf(hoisted.elements);
+  const themed = fillTheme(app, hoisted.pages);
   const pages = themed.pages;
   if (themed.app !== app) contract = { ...contract, app: themed.app };
   const order2 = emittedOrder(contract, elements, pages, tree);
@@ -13195,7 +13623,7 @@ function compileApp(contract, { kit = null, runtime = RUNTIME, extra = {} } = {}
   }
   const params = paramsTable(contract);
   for (const name of served) files[`handlers/${name}.py`] = sourceModule(name, sources, transforms, params);
-  const theme = isPlainObject5(app.theme) ? app.theme : null;
+  const theme = isPlainObject6(app.theme) ? app.theme : null;
   if (theme !== null) files[THEME_FILE2] = themeCss(theme);
   files[PALETTE_FILE] = paletteCss();
   if (pages.some((page) => page.owned !== true && tokensOn(page, elements))) files[BADGES_FILE] = badgesCss();
@@ -13221,8 +13649,8 @@ function restate(contract, elements, pages, typed, order2) {
 }
 var DASHBOARD_DATA_KEYS = ["page", "reads", "datasets", "library"];
 function dropEmptyDashboardData(data) {
-  if (!isPlainObject5(data)) return data;
-  const empty = DASHBOARD_DATA_KEYS.filter((key) => isPlainObject5(data[key]) && Object.keys(data[key]).length === 0);
+  if (!isPlainObject6(data)) return data;
+  const empty = DASHBOARD_DATA_KEYS.filter((key) => isPlainObject6(data[key]) && Object.keys(data[key]).length === 0);
   if (empty.length === 0) return data;
   const out = { ...data };
   for (const key of empty) delete out[key];
@@ -13251,7 +13679,7 @@ function pageOrder(contract, page, elements, tree) {
     if (!nested) return;
     for (const child of writtenChildren(uid, elements, tree)) visit(child.uid, child.nested);
   };
-  for (const band of bandsOf(page, elements, rootsOf(contract, page, elements, tree))) {
+  for (const band of bandsOf2(page, elements, rootsOf2(contract, page, elements, tree))) {
     for (const uid of band.roots) visit(uid, true);
   }
   return out;
@@ -13260,6 +13688,8 @@ function writtenChildren(uid, elements, tree) {
   const kids = childrenOf(uid, elements, tree);
   if (isPart2(elements[uid])) return kids.map((child) => ({ uid: child, nested: true }));
   switch (elements[uid]?.type) {
+    case "region":
+      return (elements[uid].role ?? "header") === "header" ? kids.map((child) => ({ uid: child, nested: true })) : [];
     case "form":
       return kids.map((child) => ({ uid: child, nested: isPart2(elements[child]) }));
     case "detail": {
@@ -13336,33 +13766,173 @@ function placementProblems(elements, pages, tree, order2) {
   }
   return problems;
 }
-function fillHeaders(contract, elements) {
-  const pages = Array.isArray(contract.pages) ? contract.pages : [];
-  const wanted = pages.filter(
-    (page) => page.owned !== true && isPlainObject5(page.header) && !Object.values(elements).some(
-      (element) => element.page === page.path && element.type === "region" && (element.role ?? "header") === "header"
-    )
+var SHELL_NAVS = ["tabs", "rail"];
+function shellProblems(contract, elements, handlers, sources) {
+  const problems = [];
+  const app = contract?.app ?? {};
+  const pages = Array.isArray(contract?.pages) ? contract.pages : [];
+  const paths = new Set(pages.map((page) => page?.path).filter(named5));
+  const params = new Set(pages.flatMap((page) => (Array.isArray(page?.params) ? page.params : []).map((param) => param?.name)).filter(named5));
+  const refuse = (pointer2, message) => problems.push({ code: "shell_shape", pointer: pointer2, message });
+  const roleNames = new Set(
+    (Array.isArray(contract?.backend?.roles) ? contract.backend.roles : []).map((role) => typeof role === "string" ? role : role?.name).filter(named5)
   );
-  if (wanted.length === 0) return { elements, pages };
-  const filled = { ...elements };
-  const out = pages.map((page) => {
-    if (!wanted.includes(page)) return page;
-    let uid = `${page.path}#0`;
-    while (filled[uid] !== void 0) uid += "a";
-    filled[uid] = { uid, page: page.path, type: "region", role: "header", parent: null, children: [] };
-    return Array.isArray(page.tree) && page.tree.length > 0 ? { ...page, tree: [uid, ...page.tree] } : page;
-  });
-  return { elements: filled, pages: out };
-}
-function modelIndex(document) {
-  const tables = {};
-  const raw = isPlainObject5(document?.tables) ? document.tables : {};
-  for (const [name, table] of Object.entries(raw)) {
-    const columns = {};
-    for (const [column, spec] of Object.entries(isPlainObject5(table?.columns) ? table.columns : {})) {
-      const held = typeof spec === "string" ? { type: spec } : isPlainObject5(spec) ? spec : {};
-      const pk = Boolean(held.pk);
-      columns[column] = {
+  if (app.shell !== void 0 && app.shell !== null) {
+    const shell = app.shell;
+    if (!isPlainObject6(shell)) refuse("/app/shell", `app.shell is ${JSON.stringify(shell)}; it is {"nav": "tabs"|"rail", "topbar"?: true, "rail"?: {...}}`);
+    else {
+      if (shell.nav !== void 0 && !SHELL_NAVS.includes(shell.nav)) refuse("/app/shell/nav", `app.shell.nav is ${JSON.stringify(shell.nav)}; it is ${either3(SHELL_NAVS)}`);
+      if (shell.topbar !== void 0 && typeof shell.topbar !== "boolean") refuse("/app/shell/topbar", `app.shell.topbar is ${JSON.stringify(shell.topbar)}; it is true or false`);
+      if (shell.rail !== void 0 && !isPlainObject6(shell.rail)) refuse("/app/shell/rail", `app.shell.rail is ${JSON.stringify(shell.rail)}; it is {"title"?, "entries"?: [...], "footer"?: [...]}`);
+      else if (isPlainObject6(shell.rail)) {
+        for (const key of ["entries", "footer"]) {
+          const list3 = shell.rail[key];
+          if (list3 === void 0) continue;
+          if (!Array.isArray(list3)) {
+            refuse(`/app/shell/rail/${key}`, `app.shell.rail.${key} is ${JSON.stringify(list3)}; it is a list of {"label", ...}`);
+            continue;
+          }
+          for (const [index, entry] of list3.entries()) {
+            const at = `/app/shell/rail/${key}/${index}`;
+            if (!isPlainObject6(entry) || !named5(entry.label)) {
+              refuse(at, `app.shell.rail.${key}[${index}] is ${JSON.stringify(entry)}; every entry has a label (the runtime drops one without)`);
+              continue;
+            }
+            if (entry.page !== void 0 && !(named5(entry.page) && paths.has(entry.page))) {
+              refuse(`${at}/page`, `rail entry "${entry.label}" links to ${JSON.stringify(entry.page)}, which pages[] does not declare; name a page of this app (${[...paths].sort(natural3).map((one) => JSON.stringify(one)).join(", ")})`);
+            }
+            if (key === "footer" && !named5(entry.page)) refuse(`${at}/page`, `rail footer entry "${entry.label}" links nowhere; a footer entry is {"label", "page"}`);
+            if (entry.param !== void 0) {
+              if (!isPlainObject6(entry.param) || Object.keys(entry.param).length === 0) {
+                refuse(`${at}/param`, `rail entry "${entry.label}" states param as ${JSON.stringify(entry.param)}; it is {"<page param>": <value>}`);
+              } else {
+                for (const name of Object.keys(entry.param).sort(natural3)) {
+                  if (!params.has(name)) refuse(`${at}/param/${escapePointer3(name)}`, `rail entry "${entry.label}" sets the param "${name}", which no page declares in pages[].params; the param store keeps only declared params, so the entry would do nothing`);
+                }
+              }
+            }
+            if (entry.measure !== void 0 && !named5(entry.measure)) refuse(`${at}/measure`, `rail entry "${entry.label}" states measure as ${JSON.stringify(entry.measure)}; it is the name of one measure of the page's nav.counts.source`);
+            if (entry.role !== void 0) {
+              const names = named5(entry.role) ? entry.role.split(/\s+/).filter(named5) : [];
+              const unknown = names.filter((name) => !roleNames.has(name));
+              if (names.length === 0) refuse(`${at}/role`, `rail entry "${entry.label}" states role as ${JSON.stringify(entry.role)}; it is one role name, or several space-separated`);
+              else if (unknown.length > 0) {
+                refuse(
+                  `${at}/role`,
+                  `rail entry "${entry.label}" is for ${unknown.map((one) => JSON.stringify(one)).join(", ")}, which ${roleNames.size === 0 ? "the app does not declare (it declares no roles)" : `backend.roles does not declare (${[...roleNames].map((one) => JSON.stringify(one)).join(", ")})`}; the runtime would draw it for nobody`
+                );
+              }
+            }
+          }
+        }
+      }
+    }
+  }
+  for (const [index, page] of pages.entries()) {
+    if (!isPlainObject6(page) || page.owned === true) continue;
+    if (isPlainObject6(page.header) && page.header.title_from !== void 0 && page.header.title_from !== "rail") {
+      refuse(`/pages/${index}/header/title_from`, `${page.path}'s header.title_from is ${JSON.stringify(page.header.title_from)}; the one this runtime reads is "rail" (the active rail entry's label)`);
+    }
+    if (page.nav !== void 0) {
+      const source = page.nav?.counts?.source;
+      if (!isPlainObject6(page.nav) || !isPlainObject6(page.nav.counts) || !named5(source)) {
+        refuse(`/pages/${index}/nav`, `${page.path}'s nav is ${JSON.stringify(page.nav)}; it is {"counts": {"source": "<summary handler>"}}`);
+      } else if (!Object.prototype.hasOwnProperty.call(handlers, source) && !Object.prototype.hasOwnProperty.call(sources ?? {}, source)) {
+        refuse(`/pages/${index}/nav/counts/source`, `${page.path}'s nav.counts.source is "${source}", which is not a handler or source of this app; name the summary handler whose measures are the rail's counts`);
+      }
+    }
+  }
+  for (const found of headerActionProblems({ ...contract, elements })) {
+    problems.push({ code: found.code, pointer: `/pages/${found.pageIndex}/header/actions${found.index === null ? "" : `/${found.index}`}`, message: found.message });
+  }
+  for (const [index, page] of pages.entries()) {
+    if (!isPlainObject6(page) || page.owned === true || !Array.isArray(page.header?.actions)) continue;
+    for (const [at, id] of page.header.actions.entries()) {
+      const uid = Object.keys(elements).find((one) => elements[one]?.page === page.path && elements[one].type !== "region" && (named5(elements[one].props?.id) ? elements[one].props.id : elements[one].id) === id);
+      if (uid === void 0) continue;
+      const parent = parentUid(uid, elements);
+      if (parent === null) continue;
+      const holder = elements[parent];
+      if (holder?.type === "region" && (holder.role ?? "header") === "header") continue;
+      problems.push({
+        code: "header_action_unknown",
+        pointer: `/pages/${index}/header/actions/${at}`,
+        message: `${page.path}'s header.actions names "${id}", which sits inside "${parent}" (a ${holder?.type ?? "element"}); a header action is one of the page's top-level elements, so move it out to the page`
+      });
+    }
+  }
+  return problems;
+}
+function parentUid(uid, elements) {
+  const stated2 = elements[uid]?.parent ?? null;
+  if (stated2 !== null) return stated2;
+  for (const [other, element] of Object.entries(elements)) {
+    if (Array.isArray(element?.children) && element.children.includes(uid)) return other;
+  }
+  return null;
+}
+function hoistHeaderActions(pages, elements) {
+  let out = elements;
+  let outPages = pages;
+  for (const [pageIndex, page] of pages.entries()) {
+    if (page?.owned === true || !Array.isArray(page?.header?.actions) || page.header.actions.length === 0) continue;
+    const header = Object.keys(elements).sort(natural3).find((uid) => elements[uid].page === page.path && elements[uid].type === "region" && (elements[uid].role ?? "header") === "header");
+    if (header === void 0) continue;
+    const moved = [];
+    for (const id of page.header.actions) {
+      const uid = Object.keys(elements).sort(natural3).find((one) => elements[one].page === page.path && elements[one].type !== "region" && (named5(elements[one].props?.id) ? elements[one].props.id : elements[one].id) === id);
+      if (uid !== void 0 && !moved.includes(uid)) moved.push(uid);
+    }
+    const region = out[header];
+    const already = moved.every((uid) => out[uid].parent === header && out[uid].section === "header") && JSON.stringify(region.children ?? []) === JSON.stringify(moved);
+    if (moved.length === 0 || already) continue;
+    if (out === elements) out = { ...elements };
+    for (const uid of moved) out[uid] = { ...out[uid], parent: header, section: "header" };
+    out[header] = { ...region, children: moved };
+    if (Array.isArray(page.tree) && page.tree.some((uid) => moved.includes(uid))) {
+      if (outPages === pages) outPages = [...pages];
+      outPages[pageIndex] = { ...page, tree: page.tree.filter((uid) => !moved.includes(uid)) };
+    }
+  }
+  return { elements: out, pages: outPages };
+}
+function shellAttr(app) {
+  return isPlainObject6(app?.shell) ? ` data-dr-shell="${attr(JSON.stringify(canonical2(app.shell)))}"` : "";
+}
+function navCountsAttr(page) {
+  const source = page?.nav?.counts?.source;
+  return named5(source) ? ` data-dr-nav-counts="${attr(source)}"` : "";
+}
+function hasNav(page, elements) {
+  return Object.values(elements).some((element) => element?.page === page.path && element.type === "nav");
+}
+function fillHeaders(contract, elements) {
+  const pages = Array.isArray(contract.pages) ? contract.pages : [];
+  const wanted = pages.filter(
+    (page) => page.owned !== true && isPlainObject6(page.header) && !Object.values(elements).some(
+      (element) => element.page === page.path && element.type === "region" && (element.role ?? "header") === "header"
+    )
+  );
+  if (wanted.length === 0) return { elements, pages };
+  const filled = { ...elements };
+  const out = pages.map((page) => {
+    if (!wanted.includes(page)) return page;
+    let uid = `${page.path}#0`;
+    while (filled[uid] !== void 0) uid += "a";
+    filled[uid] = { uid, page: page.path, type: "region", role: "header", parent: null, children: [] };
+    return Array.isArray(page.tree) && page.tree.length > 0 ? { ...page, tree: [uid, ...page.tree] } : page;
+  });
+  return { elements: filled, pages: out };
+}
+function modelIndex(document) {
+  const tables = {};
+  const raw = isPlainObject6(document?.tables) ? document.tables : {};
+  for (const [name, table] of Object.entries(raw)) {
+    const columns = {};
+    for (const [column, spec] of Object.entries(isPlainObject6(table?.columns) ? table.columns : {})) {
+      const held = typeof spec === "string" ? { type: spec } : isPlainObject6(spec) ? spec : {};
+      const pk = Boolean(held.pk);
+      columns[column] = {
         name: column,
         type: typeof held.type === "string" ? held.type : held.enum ? "text" : "text",
         declaredType: typeof held.type === "string",
@@ -13374,7 +13944,7 @@ function modelIndex(document) {
         // On a ref column: which column of the target a reader sees instead
         // of the id. Validated in `pickerProblems`, not here — a model is
         // read as written and refused with a pointer, never silently fixed.
-        display: named4(held.display) ? held.display : null,
+        display: named5(held.display) ? held.display : null,
         // A child total the platform selects with the row (`computedProblems`
         // holds it to its grammar), and the column it should agree with.
         // Read as written, like `display`.
@@ -13397,7 +13967,7 @@ function modelIndex(document) {
       // What that one row reads as before it is first saved. Read as written;
       // the platform's parser is what holds each value to its column.
       // Only on a singleton, as the platform's parser and the schema have it.
-      defaults: table?.singleton === true && isPlainObject5(table?.defaults) ? table.defaults : null,
+      defaults: table?.singleton === true && isPlainObject6(table?.defaults) ? table.defaults : null,
       columns,
       indexes: Array.isArray(table?.indexes) ? table.indexes.map((index) => Array.isArray(index) ? index.map(String) : [String(index)]) : []
     };
@@ -13483,7 +14053,7 @@ function fillParents(elements, tree) {
 function entityOf(uid, elements, tree) {
   for (let current = uid; current !== null && current !== void 0; current = parentOf(tree, current)) {
     const value = elements[current]?.props?.entity;
-    if (named4(value)) return value;
+    if (named5(value)) return value;
     if (!elements[current]) return null;
   }
   return null;
@@ -13514,11 +14084,11 @@ function historyColumnsInWords() {
   return `History columns are ${lead.join(", ")}${rest.length > 0 ? ` (also ${rest.join(", ")})` : ""}`;
 }
 function historyFieldProblem(uid, type, props, elements, tree) {
-  if (type !== "field" || !named4(props.entity) || props.entity === "_events") return null;
+  if (type !== "field" || !named5(props.entity) || props.entity === "_events") return null;
   const list3 = historyListAround(uid, elements, tree);
   if (list3 === null) return null;
-  const listId = named4(elements[list3]?.props?.id) ? elements[list3].props.id : list3;
-  const shows = named4(props.field) ? ` shows "${props.field}" and` : "";
+  const listId = named5(elements[list3]?.props?.id) ? elements[list3].props.id : list3;
+  const shows = named5(props.field) ? ` shows "${props.field}" and` : "";
   return {
     code: "app_model_mismatch",
     pointer: `/elements/${escapePointer3(uid)}/props/entity`,
@@ -13527,9 +14097,9 @@ function historyFieldProblem(uid, type, props, elements, tree) {
 }
 function decideButtonProblem(uid, type, props, handlers) {
   if (type !== "action" && type !== "detail") return null;
-  if (!named4(props.action) || !Object.prototype.hasOwnProperty.call(handlers, props.action)) return null;
+  if (!named5(props.action) || !Object.prototype.hasOwnProperty.call(handlers, props.action)) return null;
   const row = handlers[props.action] ?? {};
-  if (row.role !== "decide" || !isPlainObject5(row.decision)) return null;
+  if (row.role !== "decide" || !isPlainObject6(row.decision)) return null;
   const names = decisionNames(row);
   if (names.length < 2) return null;
   const split2 = names.map((one) => `${props.action}_${one} with {"${one}": {...}}`).join(" and ");
@@ -13552,7 +14122,7 @@ function modelProblems(elements, tree, handlers, model, roles, sources = {}) {
       problems.push(inHistory);
       continue;
     }
-    if ((type === "chart" || type === "custom" || type === "widget") && named4(props.entity)) {
+    if ((type === "chart" || type === "custom" || type === "widget") && named5(props.entity)) {
       const answers = type === "widget" ? "its payload is whatever its source answers" : "its rows are whatever its source answers";
       problems.push({
         code: "app_model_mismatch",
@@ -13571,25 +14141,25 @@ function modelProblems(elements, tree, handlers, model, roles, sources = {}) {
       say(uid, `${type} "${uid}" names entity "${entity}", which data_model declares no table for`);
       continue;
     }
-    if (named4(props.field) && entity !== null && isPlatformTable(entity)) {
+    if (named5(props.field) && entity !== null && isPlatformTable(entity)) {
       if (!hasColumn(model, entity, props.field)) {
         say(
           uid,
           props.field === "changes" ? `${type} "${uid}" shows "changes", which is a jsonb cell a reader would see as [object Object] \u2014 show "summary", which is changes in words` : `${type} "${uid}" names field "${props.field}", which is no column the platform answers ${entity} with (${PLATFORM_TABLES[entity].join(", ")})`
         );
       }
-    } else if (named4(props.field)) {
+    } else if (named5(props.field)) {
       if (entity === null) say(uid, `${type} "${uid}" names field "${props.field}" and sits under no entity, so no column can answer for it`);
       else if (!hasColumn(model, entity, props.field)) {
         const history = PLATFORM_TABLES._events.includes(props.field) ? `; "${props.field}" is a column of a row's history (_events), which only a list over "_events" sourced by a handler with role "history" shows, inside the row's detail` : "";
         say(uid, `${type} "${uid}" names field "${props.field}", which is no column of table "${entity}", nor one the platform injects${history}`);
       }
     }
-    for (const column of Object.keys(isPlainObject5(props.filter) ? props.filter : {}).sort()) {
+    for (const column of Object.keys(isPlainObject6(props.filter) ? props.filter : {}).sort()) {
       if (entity !== null && !hasColumn(model, entity, column)) say(uid, `${type} "${uid}" filters on "${column}", which is no column of table "${entity}"`);
     }
     for (const key of ["source", "action"]) {
-      if (!named4(props[key])) continue;
+      if (!named5(props[key])) continue;
       if ((type === "chart" || type === "widget") && !stated(props[key])) continue;
       if (Object.prototype.hasOwnProperty.call(handlers, props[key])) continue;
       if (key === "source" && Object.prototype.hasOwnProperty.call(sources, props[key])) continue;
@@ -13658,7 +14228,7 @@ function modelProblems(elements, tree, handlers, model, roles, sources = {}) {
       }
     }
     problems.push(...platformQueryProblems(name, row, model.tables[row.table]));
-    const ambiguous = named4(row.guard) && ["decide", "remove", "save"].includes(row.role) ? ambiguousStatus(name, row, model) : null;
+    const ambiguous = named5(row.guard) && ["decide", "remove", "save"].includes(row.role) ? ambiguousStatus(name, row, model) : null;
     if (ambiguous !== null) {
       problems.push(ambiguous);
     } else if (row.role === "decide" && statusColumn(model, row) === null) {
@@ -13667,17 +14237,17 @@ function modelProblems(elements, tree, handlers, model, roles, sources = {}) {
         pointer: `/data/app/handlers/${escapePointer3(name)}/guard`,
         message: `handler "${name}" decides ${JSON.stringify(decisionTargets(row))} from "${row.guard}", and table "${row.table}" has no column whose enum holds both; a decision needs a status column to move`
       });
-    } else if (row.role === "decide" && isPlainObject5(row.decision)) {
+    } else if (row.role === "decide" && isPlainObject6(row.decision)) {
       problems.push(...decisionProblems(name, row, model.tables[row.table], statusColumn(model, row)));
     }
-    if (ambiguous === null && row.role === "save" && named4(row.guard) && statusColumn(model, row) !== null && Array.isArray(row.fields) && row.fields.includes(statusColumn(model, row))) {
+    if (ambiguous === null && row.role === "save" && named5(row.guard) && statusColumn(model, row) !== null && Array.isArray(row.fields) && row.fields.includes(statusColumn(model, row))) {
       problems.push({
         code: "app_model_mismatch",
         pointer: `/data/app/handlers/${escapePointer3(name)}/fields`,
         message: `handler "${name}" guards its edits on "${row.guard}" and also takes "${statusColumn(model, row)}" off the payload, so an edit could move the row to any state; drop "${statusColumn(model, row)}" from fields and move the row with a decide`
       });
     }
-    if (ambiguous === null && (row.role === "remove" || row.role === "save") && named4(row.guard) && statusColumn(model, row) === null) {
+    if (ambiguous === null && (row.role === "remove" || row.role === "save") && named5(row.guard) && statusColumn(model, row) === null) {
       problems.push({
         code: "app_model_mismatch",
         pointer: `/data/app/handlers/${escapePointer3(name)}/guard`,
@@ -13686,7 +14256,7 @@ function modelProblems(elements, tree, handlers, model, roles, sources = {}) {
     }
     if (!misKeyed && row.requires !== void 0) problems.push(...requiresProblems(name, row, model));
     if (row.role === "summary") problems.push(...measureProblems(name, row, model, handlers));
-    if ((row.role === "list" || row.role === "inbox") && isPlainObject5(row.where)) {
+    if ((row.role === "list" || row.role === "inbox") && isPlainObject6(row.where)) {
       problems.push(...whereProblems(row.where, model.tables[row.table], (key) => `/data/app/handlers/${escapePointer3(name)}/where/${escapePointer3(key)}`, `handler "${name}"`));
     }
     if (!misKeyed && row.not_own === true) {
@@ -13723,20 +14293,20 @@ function platformQueryProblems(name, row, table) {
       message: `handler "${name}" ${key === "order_by" ? "sorts" : "filters"} on platform column "${column}", and ${why}`
     });
   };
-  if (named4(row.order_by)) {
+  if (named5(row.order_by)) {
     const column = row.order_by.replace(/^-+/, "");
     if (column.startsWith("_") && !allowed.has(column)) refuse("order_by", column);
   }
-  for (const key of Object.keys(isPlainObject5(row.where) ? row.where : {}).sort()) {
+  for (const key of Object.keys(isPlainObject6(row.where) ? row.where : {}).sort()) {
     const column = key.split("__")[0];
     if (column.startsWith("_") && !allowed.has(column)) refuse("where", column);
   }
   return problems;
 }
 function linkedParent(row, model) {
-  if (!named4(row?.by) || !BY_ROLES.includes(row.role)) return null;
+  if (!named5(row?.by) || !BY_ROLES.includes(row.role)) return null;
   const column = model.tables[row.table]?.columns?.[row.by];
-  if (!named4(column?.ref)) return null;
+  if (!named5(column?.ref)) return null;
   const target = String(column.ref).split(".")[0];
   return Object.prototype.hasOwnProperty.call(model.tables, target) ? target : null;
 }
@@ -13758,13 +14328,13 @@ function byProblems(elements, tree, handlers, model) {
       say(`handler "${name}" states by as ${JSON.stringify(row.by)}; state by as ${KEY_SHAPE.by.says}`);
       continue;
     }
-    if (!named4(row.table) || !Object.prototype.hasOwnProperty.call(model.tables, row.table)) continue;
+    if (!named5(row.table) || !Object.prototype.hasOwnProperty.call(model.tables, row.table)) continue;
     const column = model.tables[row.table].columns[row.by];
     if (column === void 0) {
       say(`handler "${name}" is filtered by "${row.by}", which is no column of table "${row.table}"`);
       continue;
     }
-    if (!named4(column.ref)) {
+    if (!named5(column.ref)) {
       say(
         `handler "${name}" is filtered by "${row.by}", and "${row.table}.${row.by}" is not a ref: by is a link to the parent row, so the column has to be a ref to the parent table (e.g. "ref": "invoices.id")`
       );
@@ -13791,7 +14361,7 @@ function byProblems(elements, tree, handlers, model) {
     const element = elements[uid] ?? {};
     for (const key of ["source", "action"]) {
       const name = element.props?.[key];
-      if (!named4(name) || !linked.has(name)) continue;
+      if (!named5(name) || !linked.has(name)) continue;
       const target = linked.get(name);
       const by = handlers[name].by;
       if (element.type === "field" && key === "source") {
@@ -13851,7 +14421,7 @@ function historyProblems(elements, tree, handlers, model) {
     if (row.limit !== void 0 && !(Number.isInteger(row.limit) && row.limit > 0)) {
       say("limit", `handler "${name}" states limit as ${JSON.stringify(row.limit)}; state limit as a positive whole number, or omit it for the platform's 100`);
     }
-    if (!named4(row.table) || !Object.prototype.hasOwnProperty.call(model.tables, row.table)) continue;
+    if (!named5(row.table) || !Object.prototype.hasOwnProperty.call(model.tables, row.table)) continue;
     if (model.tables[row.table].audit !== true) {
       say(
         "table",
@@ -13867,7 +14437,7 @@ function historyProblems(elements, tree, handlers, model) {
     const props = element.props ?? {};
     const pointer2 = (key) => `/elements/${escapePointer3(uid)}/props/${key}`;
     const say = (key, message) => problems.push({ code: "app_model_mismatch", pointer: pointer2(key), message });
-    const source = named4(props.source) ? props.source : null;
+    const source = named5(props.source) ? props.source : null;
     const history = source !== null && handlers[source]?.role === "history";
     if (element.type === "list" && isPlatformTable(props.entity) && !history) {
       say("source", `list "${uid}" shows "${props.entity}", which only a history handler reads \u2014 source it from a handler with role "history"`);
@@ -13938,7 +14508,7 @@ function numberPinProblems(elements, pins) {
     const need = typeof PLATFORM_NUMBERS2[module] === "string" ? `${module}@${PLATFORM_NUMBERS2[module]}` : `a ${module} release that draws it`;
     const walk4 = (node, at) => {
       if (Array.isArray(node)) return node.forEach((child, i) => walk4(child, `${at}/${i}`));
-      if (!isPlainObject5(node)) return;
+      if (!isPlainObject6(node)) return;
       for (const [key, value] of Object.entries(node)) {
         const pointer2 = `${at}/${escapePointer3(key)}`;
         const say = (what) => problems.push({
@@ -13966,7 +14536,7 @@ function whenPinProblems(elements, pins) {
     if (typeof pin !== "string" || typeof first === "string" && pinAtLeast(pin, first)) continue;
     const actions = element.props?.props?.row_actions;
     for (const [i, action] of (Array.isArray(actions) ? actions : []).entries()) {
-      if (!isPlainObject5(action) || action.when === void 0 || action.when === null) continue;
+      if (!isPlainObject6(action) || action.when === void 0 || action.when === null) continue;
       problems.push({
         code: "when_unsupported",
         pointer: `/elements/${escapePointer3(uid)}/props/props/row_actions/${i}/when`,
@@ -13981,7 +14551,7 @@ function propsPinProblems(elements, pins) {
   for (const uid of Object.keys(elements).sort(natural3)) {
     const element = elements[uid] ?? {};
     const gates = PROPS_SINCE2?.[element.type];
-    if (!isPlainObject5(gates)) continue;
+    if (!isPlainObject6(gates)) continue;
     const module = MODULE_OF2[element.type];
     const pin = pins[module];
     if (typeof pin !== "string") continue;
@@ -13993,7 +14563,7 @@ function propsPinProblems(elements, pins) {
         const key = many ? step.slice(0, -2) : step;
         const next = [];
         for (const [at, node] of reached) {
-          if (!isPlainObject5(node) || node[key] === void 0 || node[key] === null) continue;
+          if (!isPlainObject6(node) || node[key] === void 0 || node[key] === null) continue;
           const pointer2 = `${at}/${escapePointer3(key)}`;
           if (!many) next.push([pointer2, node[key]]);
           else if (Array.isArray(node[key])) node[key].forEach((item, i) => next.push([`${pointer2}/${i}`, item]));
@@ -14064,7 +14634,7 @@ function chartProblems(elements, tree, handlers, model) {
       say("source", `reads rows, and "${props.source}" has role ${row.role ?? "none"}, ${answers}; source a list, an inbox, or a custom handler that answers {"rows": [...]}`);
       continue;
     }
-    if (named4(row.by) && BY_ROLES.includes(row.role)) {
+    if (named5(row.by) && BY_ROLES.includes(row.role)) {
       say(
         "source",
         `reads "${props.source}", which reads the children of an opened row (by "${row.by}"), and a chart sits at the top of its page with no row to name; source a handler with no by, or return every row's points from one custom handler with a series column`
@@ -14110,7 +14680,7 @@ var TYPED_PROP_KINDS = Object.freeze({
 var ORDERED_KINDS = Object.freeze(["waterfall", "waterfall-breakdown", "waterfall-walkthrough"]);
 function widgetProblems(elements, tree, handlers, sources, widgetsPin = WIDGETS) {
   const problems = [];
-  const declaredSources = isPlainObject5(sources) ? sources : {};
+  const declaredSources = isPlainObject6(sources) ? sources : {};
   for (const uid of Object.keys(elements).sort(natural3)) {
     const element = elements[uid] ?? {};
     if (element.type !== "widget") continue;
@@ -14137,11 +14707,11 @@ function widgetProblems(elements, tree, handlers, sources, widgetsPin = WIDGETS)
       mismatch(flat[0], `states ${flat.map((key) => JSON.stringify(key)).join(", ")} at the top of its props; a widget's typed props sit under props.props ({"props": {"${flat[0]}": ...}}), which the page carries as data-dr-props`);
       continue;
     }
-    if (given(props.props) && !isPlainObject5(props.props)) {
+    if (given(props.props) && !isPlainObject6(props.props)) {
       mismatch("props", `states props ${JSON.stringify(props.props)}; a widget's typed props are an object ({"props": {"goal": 1000}}), written as data-dr-props`);
       continue;
     }
-    const typed = isPlainObject5(props.props) ? props.props : {};
+    const typed = isPlainObject6(props.props) ? props.props : {};
     const finance = APP_WIDGET_KINDS2.includes(props.kind);
     const smart = given(typed.variant) || given(typed.compare);
     const pinned = String(widgetsPin ?? "").slice(String(widgetsPin ?? "").lastIndexOf("@") + 1);
@@ -14193,7 +14763,7 @@ function widgetProblems(elements, tree, handlers, sources, widgetsPin = WIDGETS)
     }
     const source = declaredSources[props.source];
     const handled = Object.prototype.hasOwnProperty.call(handlers, props.source);
-    if (!handled && !isPlainObject5(source)) continue;
+    if (!handled && !isPlainObject6(source)) continue;
     const row = handlers[props.source] ?? {};
     if (handled && !WIDGET_SOURCE_ROLES.includes(row.role)) {
       const answers = row.role === "summary" ? "which answers one number per measure" : row.role === "history" ? "which answers one row's events" : row.role === "list" || row.role === "inbox" ? "which answers rows" : "which answers no payload";
@@ -14203,8 +14773,8 @@ function widgetProblems(elements, tree, handlers, sources, widgetsPin = WIDGETS)
       );
       continue;
     }
-    if (!isPlainObject5(source)) continue;
-    const shape = named4(source.shape) ? source.shape : "rows";
+    if (!isPlainObject6(source)) continue;
+    const shape = named5(source.shape) ? source.shape : "rows";
     const legacy = !finance;
     const shaped = (message) => problems.push({ code: "widget_source_shape", pointer: `/elements/${escapePointer3(uid)}/props/source`, message: `widget "${uid}" ${message}`, ...legacy ? { advisory: true } : {} });
     if (shape === "rows") {
@@ -14241,21 +14811,21 @@ var CONTROL_KINDS2 = {
 };
 var TOGGLE_CALL_ROLES = ["custom"];
 function rowTableOf(source, handlers, sources, model) {
-  if (!model || !named4(source)) return null;
+  if (!model || !named5(source)) return null;
   let table = null;
   if (Object.prototype.hasOwnProperty.call(handlers, source)) {
     const row = handlers[source] ?? {};
-    if (["list", "inbox"].includes(row.role) && named4(row.table)) table = row.table;
-  } else if (isPlainObject5(sources) && isPlainObject5(sources[source])) {
+    if (["list", "inbox"].includes(row.role) && named5(row.table)) table = row.table;
+  } else if (isPlainObject6(sources) && isPlainObject6(sources[source])) {
     const declared = sources[source];
-    if (!stated(declared.transform) && isPlainObject5(declared.from) && named4(declared.from.table)) table = declared.from.table;
+    if (!stated(declared.transform) && isPlainObject6(declared.from) && named5(declared.from.table)) table = declared.from.table;
   }
   if (table === null) return null;
   return isPlatformTable(table) || Object.prototype.hasOwnProperty.call(model.tables, table) ? table : null;
 }
 var PK_WRITING_ROLES = ["remove", "save", "decide"];
 function pkWriterTable(row, model) {
-  if (!model || !isPlainObject5(row) || !PK_WRITING_ROLES.includes(row.role) || !named4(row.table)) return null;
+  if (!model || !isPlainObject6(row) || !PK_WRITING_ROLES.includes(row.role) || !named5(row.table)) return null;
   if (!Object.prototype.hasOwnProperty.call(model.tables, row.table)) return null;
   return primaryKeyOf(model, row.table) === null ? null : row.table;
 }
@@ -14265,17 +14835,17 @@ function primaryKeyOf(model, table) {
 }
 function partProblems(elements, tree, handlers, sources, pages = [], model = null, pins = {}) {
   const problems = [];
-  const declaredSources = isPlainObject5(sources) ? sources : {};
+  const declaredSources = isPlainObject6(sources) ? sources : {};
   const paramsOf4 = (path3) => {
     const page = (Array.isArray(pages) ? pages : []).find((one) => one?.path === path3);
-    return Array.isArray(page?.params) ? page.params.filter((one) => isPlainObject5(one) && named4(one.name)) : [];
+    return Array.isArray(page?.params) ? page.params.filter((one) => isPlainObject6(one) && named5(one.name)) : [];
   };
   const rowDialogs = /* @__PURE__ */ new Set();
   const dialogsById = /* @__PURE__ */ new Map();
   for (const uid of Object.keys(elements).sort(natural3)) {
     const element = elements[uid];
-    const typed = isPlainObject5(element?.props?.props) ? element.props.props : {};
-    if (element?.type === "dialog" && typed.values_from === "row" && named4(element.props?.id)) {
+    const typed = isPlainObject6(element?.props?.props) ? element.props.props : {};
+    if (element?.type === "dialog" && typed.values_from === "row" && named5(element.props?.id)) {
       const where2 = `${element.page}|${element.props.id}`;
       rowDialogs.add(where2);
       if (!dialogsById.has(where2)) dialogsById.set(where2, { ...element, uid });
@@ -14286,7 +14856,7 @@ function partProblems(elements, tree, handlers, sources, pages = [], model = nul
     if (!isPart2(element)) continue;
     const type = element.type;
     const entry = PARTS[type];
-    const props = isPlainObject5(element.props) ? element.props : {};
+    const props = isPlainObject6(element.props) ? element.props : {};
     const at = `/elements/${escapePointer3(uid)}`;
     const say = (code, pointer2, message) => problems.push({ code, pointer: pointer2, message: `${type} "${props.id ?? uid}" ${message}` });
     const schemaLines = validate2(props, PROPS_SCHEMAS[type], { quote: true });
@@ -14307,7 +14877,7 @@ function partProblems(elements, tree, handlers, sources, pages = [], model = nul
         say("part_children", `/elements/${escapePointer3(kid)}`, `holds "${kid}" (a ${elements[kid]?.type ?? "element"}), and a ${type} holds only ${either3(entry.children)}`);
       }
     }
-    const typedProps = isPlainObject5(props.props) ? props.props : {};
+    const typedProps = isPlainObject6(props.props) ? props.props : {};
     const own = PROPS_SCHEMAS[type]?.properties?.props?.properties ?? {};
     if ("field" in own && "param" in own) {
       const field = stated(typedProps.field);
@@ -14371,11 +14941,11 @@ function partProblems(elements, tree, handlers, sources, pages = [], model = nul
       }
     }
     const formAbove = () => {
-      for (let up = parentOf(tree, uid); named4(up) && up in elements; up = parentOf(tree, up)) if (elements[up]?.type === "form") return up;
+      for (let up = parentOf(tree, uid); named5(up) && up in elements; up = parentOf(tree, up)) if (elements[up]?.type === "form") return up;
       return null;
     };
     const dialogAbove = () => {
-      for (let up = parentOf(tree, uid); named4(up) && up in elements; up = parentOf(tree, up)) if (elements[up]?.type === "dialog") return up;
+      for (let up = parentOf(tree, uid); named5(up) && up in elements; up = parentOf(tree, up)) if (elements[up]?.type === "dialog") return up;
       return null;
     };
     if (type === "file_upload") {
@@ -14393,7 +14963,7 @@ function partProblems(elements, tree, handlers, sources, pages = [], model = nul
     if ((type === "checkbox" || type === "toggle") && stated(typedProps.field)) {
       const form = formAbove();
       const table = form !== null ? handlers[elements[form].props?.action]?.table ?? elements[form].props?.entity : null;
-      const column = named4(table) ? model?.tables?.[table]?.columns?.[typedProps.field] : null;
+      const column = named5(table) ? model?.tables?.[table]?.columns?.[typedProps.field] : null;
       if (form !== null && column?.type === "bool") {
         say(
           "part_placement",
@@ -14414,10 +14984,10 @@ function partProblems(elements, tree, handlers, sources, pages = [], model = nul
     }
     const nested = [];
     if (type === "button" && Array.isArray(typedProps.split)) {
-      typedProps.split.forEach((item, index) => isPlainObject5(item) && stated(item.on_click) && nested.push([item.on_click, `${at}/props/props/split/${index}/on_click`, `split entry "${item.label ?? index}"`, entry.events?.on_click ?? []]));
+      typedProps.split.forEach((item, index) => isPlainObject6(item) && stated(item.on_click) && nested.push([item.on_click, `${at}/props/props/split/${index}/on_click`, `split entry "${item.label ?? index}"`, entry.events?.on_click ?? []]));
     }
     if (type === "stepper" && Array.isArray(typedProps.steps)) {
-      typedProps.steps.forEach((step, index) => isPlainObject5(step) && stated(step.action) && nested.push([step.action, `${at}/props/props/steps/${index}/action`, `step "${step.id ?? index}"`, entry.events?.on_step ?? []]));
+      typedProps.steps.forEach((step, index) => isPlainObject6(step) && stated(step.action) && nested.push([step.action, `${at}/props/props/steps/${index}/action`, `step "${step.id ?? index}"`, entry.events?.on_step ?? []]));
     }
     for (const [name, pointer2, what, roles] of nested) {
       if (!Object.prototype.hasOwnProperty.call(handlers, name)) {
@@ -14432,19 +15002,19 @@ function partProblems(elements, tree, handlers, sources, pages = [], model = nul
     if (type === "dialog" && !stated(typedProps.trigger) && typedProps.values_from !== "row") {
       say("part_mode", `${at}/props/props`, `states neither props.trigger nor values_from: "row", so nothing could open it; give it a trigger, or values_from "row" for a grid's row action to open`);
     }
-    if (type === "data_grid" && Array.isArray(typedProps.row_actions) && typedProps.row_actions.some(isPlainObject5)) {
+    if (type === "data_grid" && Array.isArray(typedProps.row_actions) && typedProps.row_actions.some(isPlainObject6)) {
       const key = typedProps.key;
       if (!stated(key)) {
         say("part_row_key", `${at}/props/props`, "has row_actions and states no props.key; a row action posts the row's key as id, so name the column that identifies a row (id, for a table's own rows)");
       } else {
         const writers = [];
         typedProps.row_actions.forEach((action, index) => {
-          if (!isPlainObject5(action)) return;
+          if (!isPlainObject6(action)) return;
           if (stated(action.call)) {
             writers.push({ handler: action.call, key, pointer: `${at}/props/props/key`, via: `row action "${action.label ?? index}"` });
           } else if (stated(action.dialog)) {
             const dialog = dialogsById.get(`${element.page}|${action.dialog}`);
-            const own2 = isPlainObject5(dialog?.props?.props) ? dialog.props.props : null;
+            const own2 = isPlainObject6(dialog?.props?.props) ? dialog.props.props : null;
             if (!own2 || !stated(own2.on_confirm)) return;
             const ownKey = stated(own2.key);
             writers.push({
@@ -14489,7 +15059,7 @@ function partProblems(elements, tree, handlers, sources, pages = [], model = nul
         }
       }
       typedProps.row_actions.forEach((action, index) => {
-        if (!isPlainObject5(action)) return;
+        if (!isPlainObject6(action)) return;
         const pointer2 = `${at}/props/props/row_actions/${index}`;
         if (stated(action.dialog) && !rowDialogs.has(`${element.page}|${action.dialog}`)) {
           say("part_row_action", `${pointer2}/dialog`, `row action "${action.label ?? index}" opens dialog "${action.dialog}", and ${element.page} holds no dialog of that id with values_from: "row"; add one (its inputs start from the row, it posts id with them), or name the one there is`);
@@ -14530,7 +15100,7 @@ function partProblems(elements, tree, handlers, sources, pages = [], model = nul
       const names = declared.map((one) => `"${one.name}"`);
       const filters = type === "filter_bar" ? Array.isArray(typedProps.filters) ? typedProps.filters.map((filter, i) => [filter, `${at}/props/props/filters/${i}`]) : [] : [[typedProps, `${at}/props/props`]];
       for (const [filter, base] of filters) {
-        if (!isPlainObject5(filter) || !stated(filter.param)) continue;
+        if (!isPlainObject6(filter) || !stated(filter.param)) continue;
         const who = type === "filter_bar" ? `filter "${filter.label ?? filter.param}"` : "filter";
         const multiple = filter.kind === "option" && filter.multiple === true;
         const kinds = filter.kind === "option" ? multiple ? ["multi"] : ["select", "period", "month"] : filter.kind === "date-range" ? ["period", "month"] : ["month", "period"];
@@ -14573,7 +15143,7 @@ function partProblems(elements, tree, handlers, sources, pages = [], model = nul
       const columns = Array.isArray(typedProps.columns) ? typedProps.columns : [];
       const rowTable = rowTableOf(props.source, handlers, declaredSources, model);
       const carries = (column) => rowTable === null || hasColumn(model, rowTable, column);
-      const hierarchy = isPlainObject5(typedProps.hierarchy) ? typedProps.hierarchy : null;
+      const hierarchy = isPlainObject6(typedProps.hierarchy) ? typedProps.hierarchy : null;
       if (hierarchy) {
         const hp = `${at}/props/props/hierarchy`;
         if (stated(hierarchy.label) && !columns.some((column) => column?.field === hierarchy.label)) {
@@ -14590,7 +15160,7 @@ function partProblems(elements, tree, handlers, sources, pages = [], model = nul
         }
       }
       columns.forEach((column, index) => {
-        if (!isPlainObject5(column)) return;
+        if (!isPlainObject6(column)) return;
         const cp2 = `${at}/props/props/columns/${index}`;
         if (stated(column.link_field)) {
           if (column.cell !== "link") say("part_cell", `${cp2}/link_field`, `column "${column.field}" states link_field and draws no link; add cell: "link", or drop link_field`);
@@ -14624,14 +15194,14 @@ function partProblems(elements, tree, handlers, sources, pages = [], model = nul
         if (!entry.reads.roles.includes(role)) {
           say("part_source_shape", `${at}/props/source`, `reads rows, and "${source}" has role ${role ?? "none"}, which answers no rows a ${type} draws; source a ${either3(entry.reads.roles)} handler, or a data.sources entry with shape rows`);
         }
-      } else if (isPlainObject5(declaredSources[source])) {
-        const shape = named4(declaredSources[source].shape) ? declaredSources[source].shape : "rows";
+      } else if (isPlainObject6(declaredSources[source])) {
+        const shape = named5(declaredSources[source].shape) ? declaredSources[source].shape : "rows";
         if (shape !== "rows") {
           say("part_source_shape", `${at}/props/source`, `reads rows, and source "${source}" answers ${shape} (its shape); a ${shape} body is what a widget draws \u2014 give the source shape rows`);
         }
       }
     }
-    const typed = isPlainObject5(props.props) ? props.props : {};
+    const typed = isPlainObject6(props.props) ? props.props : {};
     for (const [prop, roles] of Object.entries(entry.events ?? {})) {
       if (prop === "on_row_action") continue;
       const name = typed[prop];
@@ -14652,7 +15222,7 @@ function partProblems(elements, tree, handlers, sources, pages = [], model = nul
 var ROWLESS_EVENTS = /* @__PURE__ */ new Set(["button.on_click", "empty_state.on_action"]);
 function rowlessRefusal(name, handlers) {
   const row = handlers[name] ?? {};
-  const required = Array.isArray(row.required) ? row.required.filter(named4) : [];
+  const required = Array.isArray(row.required) ? row.required.filter(named5) : [];
   if (row.role === "submit" && required.length > 0) {
     return `a submit handler that requires ${required.map((key) => `"${key}"`).join(", ")}, and the part posts none of them \u2014 it would refuse every click; call a custom handler, or a submit with nothing required`;
   }
@@ -14662,11 +15232,11 @@ function fillChartFormats(elements, handlers, model) {
   let out = null;
   for (const uid of Object.keys(elements)) {
     const element = elements[uid];
-    if (element?.type !== "chart" || named4(element.props?.format)) continue;
+    if (element?.type !== "chart" || named5(element.props?.format)) continue;
     const source = element.props?.source;
-    const row = named4(source) && Object.prototype.hasOwnProperty.call(handlers, source) ? handlers[source] ?? {} : {};
-    const table = named4(row.table) && Object.prototype.hasOwnProperty.call(model.tables, row.table) ? model.tables[row.table] : null;
-    const column = named4(element.props?.y) && table !== null && Object.prototype.hasOwnProperty.call(table.columns, element.props.y) ? table.columns[element.props.y] : null;
+    const row = named5(source) && Object.prototype.hasOwnProperty.call(handlers, source) ? handlers[source] ?? {} : {};
+    const table = named5(row.table) && Object.prototype.hasOwnProperty.call(model.tables, row.table) ? model.tables[row.table] : null;
+    const column = named5(element.props?.y) && table !== null && Object.prototype.hasOwnProperty.call(table.columns, element.props.y) ? table.columns[element.props.y] : null;
     const format = row.role !== "custom" && isDecimalType(column?.type) ? "currency" : "number";
     out ??= { ...elements };
     out[uid] = { ...element, props: { ...element.props, format } };
@@ -14675,10 +15245,10 @@ function fillChartFormats(elements, handlers, model) {
 }
 function dropEmptyArgs(elements) {
   let out = null;
-  const empty = (value) => value === null || isPlainObject5(value) && Object.keys(value).length === 0;
+  const empty = (value) => value === null || isPlainObject6(value) && Object.keys(value).length === 0;
   for (const uid of Object.keys(elements)) {
     const element = elements[uid];
-    if (element?.type !== "custom" || !isPlainObject5(element.props)) continue;
+    if (element?.type !== "custom" || !isPlainObject6(element.props)) continue;
     const drop = ["args", "declares"].filter((key) => key in element.props && empty(element.props[key]));
     if (drop.length === 0) continue;
     const props = { ...element.props };
@@ -14708,8 +15278,8 @@ function computedProblems(elements, tree, handlers, model) {
       const base = `/app/data_model/tables/${escapePointer3(table)}/columns/${escapePointer3(name)}`;
       const said2 = (message, key = "computed") => push(`${base}/${key}`, `"${table}.${name}" ${message}`);
       if (column.matches !== null) {
-        const other = named4(column.matches) ? columns[column.matches] : void 0;
-        if (!named4(column.matches)) said2(`states matches as ${JSON.stringify(column.matches)}; matches names a column of table "${table}"`, "matches");
+        const other = named5(column.matches) ? columns[column.matches] : void 0;
+        if (!named5(column.matches)) said2(`states matches as ${JSON.stringify(column.matches)}; matches names a column of table "${table}"`, "matches");
         else if (column.computed === null) said2(`states matches, which says which column a computed value should agree with, and "${name}" computes nothing; drop matches, or make "${name}" computed`, "matches");
         else if (column.matches === name) said2('matches itself; name the column its total should agree with, e.g. "subtotal"', "matches");
         else if (other === void 0) said2(`matches "${column.matches}", which is no column of table "${table}"`, "matches");
@@ -14718,7 +15288,7 @@ function computedProblems(elements, tree, handlers, model) {
       }
       if (column.computed === null) continue;
       const spec = column.computed;
-      if (!isPlainObject5(spec)) {
+      if (!isPlainObject6(spec)) {
         said2(`states computed as ${JSON.stringify(spec)}; computed is {"sum": "<child table>.<number column>", "by": "<the child's ref column to ${table}>"}`);
         continue;
       }
@@ -14735,7 +15305,7 @@ function computedProblems(elements, tree, handlers, model) {
         if (stated2) said2(`is computed and states ${key === "nullable" ? "nullable: false" : key}; ${why} \u2014 drop ${key}`);
       }
       if (model.tables[table].indexes.some((index) => index.includes(name))) said2("is computed and named in an index; the platform stores no such column, so there is nothing to index \u2014 drop it from indexes");
-      if (fns.length !== 1 || !COMPUTED_FNS.includes(fns[0]) || !named4(spec.by)) {
+      if (fns.length !== 1 || !COMPUTED_FNS.includes(fns[0]) || !named5(spec.by)) {
         said2(`states computed as ${JSON.stringify(spec)}; computed is {"sum": "<child table>.<number column>", "by": "<the child's ref column to ${table}>"}`);
         continue;
       }
@@ -14776,17 +15346,17 @@ function computedProblems(elements, tree, handlers, model) {
       for (const key of ["fields", "required"]) {
         for (const hit of (Array.isArray(row[key]) ? row[key] : []).filter((column) => computed.has(column))) refuse(at(key), hit, key === "fields" ? "takes" : "requires");
       }
-      for (const fixed of Object.keys(isPlainObject5(row.fixed) ? row.fixed : {}).filter((column) => computed.has(column))) refuse(at("fixed"), fixed, "fixes");
+      for (const fixed of Object.keys(isPlainObject6(row.fixed) ? row.fixed : {}).filter((column) => computed.has(column))) refuse(at("fixed"), fixed, "fixes");
     }
   }
   if (tree.problems.length > 0) return problems;
   for (const uid of Object.keys(elements).sort(natural3)) {
     const element = elements[uid] ?? {};
-    if (element.type !== "field" || !named4(element.props?.field)) continue;
+    if (element.type !== "field" || !named5(element.props?.field)) continue;
     const entity = entityOf(uid, elements, tree);
     if (entity === null || !computedIn(entity).has(element.props.field)) continue;
     const holder = elements[parentOf(tree, uid)] ?? null;
-    const edits = holder?.type === "form" || holder?.type === "detail" && named4(holder.props?.action);
+    const edits = holder?.type === "form" || holder?.type === "detail" && named5(holder.props?.action);
     if (edits) {
       push(
         `/elements/${escapePointer3(uid)}/props/field`,
@@ -14809,7 +15379,7 @@ function whenProblems(elements, tree, model) {
       push(`"${uid}" states when, and when says which rows a row action shows on: only an action inside a list or a queue has a row \u2014 drop when`);
       continue;
     }
-    if (!isPlainObject5(when) || Object.keys(when).length === 0) {
+    if (!isPlainObject6(when) || Object.keys(when).length === 0) {
       push(`"${uid}" states when as ${JSON.stringify(when)}; when is an object of column to the list of values the row may hold \u2014 {"status": ["open", "in_progress"]}`);
       continue;
     }
@@ -14817,7 +15387,7 @@ function whenProblems(elements, tree, model) {
     for (const column of Object.keys(when).sort()) {
       const states = when[column];
       const pointer2 = `${at}/${escapePointer3(column)}`;
-      if (!Array.isArray(states) || states.length === 0 || !states.every(named4)) {
+      if (!Array.isArray(states) || states.length === 0 || !states.every(named5)) {
         push(`"${uid}" states when.${column} as ${JSON.stringify(states)}; each column takes a non-empty list of the values it may hold, as strings \u2014 even one: ["open"]`, pointer2);
         continue;
       }
@@ -14842,7 +15412,7 @@ function pickerProblems(elements, tree, handlers, model) {
     for (const [name, column] of Object.entries(model.tables[table].columns)) {
       if (column.display === null) continue;
       const pointer2 = `/app/data_model/tables/${escapePointer3(table)}/columns/${escapePointer3(name)}/display`;
-      if (!named4(column.ref)) {
+      if (!named5(column.ref)) {
         push(pointer2, `display says which column of the referenced table to show, and "${table}.${name}" references nothing; drop display, or make "${name}" a ref`);
         continue;
       }
@@ -14856,19 +15426,19 @@ function pickerProblems(elements, tree, handlers, model) {
   for (const uid of Object.keys(elements).sort(natural3)) {
     const element = elements[uid] ?? {};
     const props = element.props ?? {};
-    if (element.type !== "field" || !named4(props.source)) continue;
+    if (element.type !== "field" || !named5(props.source)) continue;
     const entity = entityOf(uid, elements, tree);
     const column = entity === null ? void 0 : model.tables[entity]?.columns?.[props.field];
     const handler = handlers[props.source];
     if (column === void 0 || handler === void 0) continue;
     const at = (key) => `/elements/${escapePointer3(uid)}/props/${key}`;
     const holder = elements[parentOf(tree, uid)] ?? null;
-    const isInput = holder?.type === "form" || holder?.type === "detail" && named4(holder.props?.action);
+    const isInput = holder?.type === "form" || holder?.type === "detail" && named5(holder.props?.action);
     if (!isInput) {
       push(at("source"), `field "${uid}" names source "${props.source}", and a picker is a form input: under a ${holder?.type ?? "page"} a field is ${holder?.type === "detail" ? "a shown term" : "a column"}, which draws the linked row by its display and needs no source`);
       continue;
     }
-    if (!named4(column.ref)) {
+    if (!named5(column.ref)) {
       push(at("source"), `field "${uid}" names source "${props.source}", and a picker draws the rows of the table a ref column points at; "${entity}.${props.field}" is not a ref column`);
       continue;
     }
@@ -14879,17 +15449,17 @@ function pickerProblems(elements, tree, handlers, model) {
     if (!["list", "inbox"].includes(handler.role) || handler.table !== target) {
       const what = ["list", "inbox"].includes(handler.role) ? `is over "${handler.table}"` : `is a ${handler.role ?? "custom"} handler`;
       push(at("source"), `"${props.source}" ${what}, and "${props.field}" references "${target}"; a picker's options come from a list or inbox over the table the ref points at`);
-    } else if (named4(handler.by)) {
+    } else if (named5(handler.by)) {
       push(at("source"), `"${props.source}" is filtered by "${handler.by}", so a picker \u2014 which calls it with nothing \u2014 would always get no options; give the picker an unfiltered list over "${target}"`);
     }
-    if (named4(props.input_type) && props.input_type !== "select") {
+    if (named5(props.input_type) && props.input_type !== "select") {
       push(at("input_type"), `field "${uid}" is a picker, which is drawn as a select, and states input_type "${props.input_type}"; drop input_type`);
     }
     const gate = Array.isArray(handler.requiresRole) ? handler.requiresRole.map(String) : [];
     if (gate.length > 0) {
       const marked2 = [];
       for (let current = uid; current !== null && elements[current] !== void 0; current = parentOf(tree, current)) {
-        if (named4(elements[current].props?.role)) marked2.push(elements[current].props.role);
+        if (named5(elements[current].props?.role)) marked2.push(elements[current].props.role);
       }
       if (!marked2.some((role) => gate.includes(role))) {
         push(
@@ -14904,13 +15474,13 @@ function pickerProblems(elements, tree, handlers, model) {
 function decisionTargets(row) {
   if (row?.role !== void 0 && row.role !== "decide") return [];
   if (Array.isArray(row?.decision)) return row.decision.map(String);
-  if (isPlainObject5(row?.decision)) {
-    return Object.values(row.decision).filter((spec) => isPlainObject5(spec) && named4(spec.to)).map((spec) => String(spec.to));
+  if (isPlainObject6(row?.decision)) {
+    return Object.values(row.decision).filter((spec) => isPlainObject6(spec) && named5(spec.to)).map((spec) => String(spec.to));
   }
   return [];
 }
 function decisionNames(row) {
-  return Object.keys(isPlainObject5(row?.decision) ? row.decision : {}).sort(natural3);
+  return Object.keys(isPlainObject6(row?.decision) ? row.decision : {}).sort(natural3);
 }
 function either3(names) {
   return names.length <= 1 ? names.join("") : `${names.slice(0, -1).join(", ")} or ${names[names.length - 1]}`;
@@ -14929,10 +15499,10 @@ function decisionProblems(name, row, table, status) {
       }
     }
     const set = spec.set === void 0 ? {} : spec.set;
-    if (!isPlainObject5(set)) {
+    if (!isPlainObject6(set)) {
       say(at("set"), `states set as ${JSON.stringify(set)}; set is an object of column to the value the decision writes there \u2014 a literal, null, "$now", "$caller" or "$note"`);
     }
-    const sets = isPlainObject5(set) ? set : {};
+    const sets = isPlainObject6(set) ? set : {};
     if (spec.note !== void 0) {
       if (spec.note !== "required" && spec.note !== "optional") {
         say(at("note"), `states note as ${JSON.stringify(spec.note)}; a note is "required" or "optional", and an absent note is optional`);
@@ -15024,7 +15594,7 @@ function requiresProblems(name, row, model) {
       say(at(column), `something of "${column}", which is no column of table "${row.table}"; requires is keyed by a ref column of the handler's own table`);
       continue;
     }
-    if (!named4(held.ref)) {
+    if (!named5(held.ref)) {
       say(at(column), `something of "${column}", which references no table; requires reads the row a ref column names, so key it by one (e.g. "vendor_id")`);
       continue;
     }
@@ -15057,7 +15627,7 @@ function requiresProblems(name, row, model) {
         say(where2, `"${field}" of the ${singular(target)}, a ${targetColumn.type} column; a condition compares text, a whole number, true/false or an id \u2014 a ${targetColumn.type} read back never equals the value the contract states`);
         continue;
       }
-      const negated = isPlainObject5(wanted);
+      const negated = isPlainObject6(wanted);
       if (negated && !(Object.keys(wanted).length === 1 && "not" in wanted && scalar(wanted.not))) {
         say(where2, `"${field}" to be ${JSON.stringify(wanted)}; a condition is a value the column must hold, or {"not": a value it must not}`);
         continue;
@@ -15077,7 +15647,7 @@ function requiresProblems(name, row, model) {
 function requiresOf(row, model) {
   const table = model.tables[row.table];
   const out = {};
-  for (const column of Object.keys(isPlainObject5(row.requires) ? row.requires : {}).sort(natural3)) {
+  for (const column of Object.keys(isPlainObject6(row.requires) ? row.requires : {}).sort(natural3)) {
     const held = table.columns[column];
     const target = String(held.ref).split(".")[0];
     out[column] = [target, singular(target), held.display ?? null, row.requires[column]];
@@ -15085,11 +15655,11 @@ function requiresOf(row, model) {
   return out;
 }
 function requiresDoc(row) {
-  if (!isPlainObject5(row.requires)) return "";
+  if (!isPlainObject6(row.requires)) return "";
   return "\n\n`requires` checks the row each ref column names first, read under this\ncaller's own scope: one this caller may not see, or none at all, refuses the\nsame way as one that fails its condition.";
 }
 function requiresConstants(row, model) {
-  if (!isPlainObject5(row.requires)) return [];
+  if (!isPlainObject6(row.requires)) return [];
   const requires = requiresOf(row, model);
   return [assignment("REQUIRES", requires, Object.keys(requires))];
 }
@@ -15148,7 +15718,7 @@ var EVENTS_SHAPE = {
 };
 var PLATFORM_EVENT_HANDLERS = ["seed", "dry-run"];
 function isNewMeasure(measure) {
-  return isPlainObject5(measure) && Object.keys(measure).some((key) => MEASURE_WORDS.includes(key));
+  return isPlainObject6(measure) && Object.keys(measure).some((key) => MEASURE_WORDS.includes(key));
 }
 function isSummable(type) {
   return type === "int" || type === "bigint" || typeof type === "string" && DECIMAL_RE.test(type);
@@ -15229,12 +15799,12 @@ function whereProblems(where2, table, pointer2, who, { platform = false, noColum
 function measureProblems(name, row, model, handlers = {}) {
   const problems = [];
   const table = model.tables[row.table];
-  const measures = isPlainObject5(row.measures) ? row.measures : {};
+  const measures = isPlainObject6(row.measures) ? row.measures : {};
   for (const measure of Object.keys(measures).sort(natural3)) {
     const spec = measures[measure];
     const base = `/data/app/handlers/${escapePointer3(name)}/measures/${escapePointer3(measure)}`;
     const say = (message, tail = null) => problems.push({ code: "app_model_mismatch", pointer: tail === null ? base : `${base}/${escapePointer3(tail)}`, message: `measure "${measure}" of handler "${name}" ${message}` });
-    if (!isPlainObject5(spec)) {
+    if (!isPlainObject6(spec)) {
       say(`is ${JSON.stringify(spec)}; a measure is an equality filter it counts ({"status": "open"}), or {count: true | sum | avg | avg_days | count_events: true, where}`);
       continue;
     }
@@ -15247,7 +15817,7 @@ function measureProblems(name, row, model, handlers = {}) {
     }
     const metrics = keys2.filter((key) => MEASURE_METRICS.includes(key));
     const strays = keys2.filter((key) => !MEASURE_WORDS.includes(key));
-    const shaped = metrics.length === 1 && strays.length === 0 && (metrics[0] !== "count" || spec.count === true) && (metrics[0] !== "count_events" || spec.count_events === true) && (metrics[0] !== "avg_days" || Array.isArray(spec.avg_days)) && (!["sum", "avg"].includes(metrics[0]) || named4(spec[metrics[0]]));
+    const shaped = metrics.length === 1 && strays.length === 0 && (metrics[0] !== "count" || spec.count === true) && (metrics[0] !== "count_events" || spec.count_events === true) && (metrics[0] !== "avg_days" || Array.isArray(spec.avg_days)) && (!["sum", "avg"].includes(metrics[0]) || named5(spec[metrics[0]]));
     if (!shaped && keys2.every((key) => Object.prototype.hasOwnProperty.call(table.columns, key))) {
       say(
         `reads as a filter on ${keys2.map((key) => `"${key}"`).join(", ")} and as a measure at once, because ${keys2.filter((key) => MEASURE_WORDS.includes(key)).map((key) => `"${key}"`).join(", ")} is also a column of table "${table.name}"; spell the filter as {"count": true, "where": ${JSON.stringify(spec)}}`
@@ -15269,14 +15839,14 @@ function measureProblems(name, row, model, handlers = {}) {
       }
       if (metric === "sum" || metric === "avg") {
         const column = spec[metric];
-        const type = named4(column) ? readableType(table, column) : null;
-        if (!named4(column)) say(`states ${metric} as ${JSON.stringify(column)}; ${metric} names the column it reads`, metric);
+        const type = named5(column) ? readableType(table, column) : null;
+        if (!named5(column)) say(`states ${metric} as ${JSON.stringify(column)}; ${metric} names the column it reads`, metric);
         else if (type === null) say(`reads ${metric} of "${column}", which is no column of table "${table.name}"`, metric);
         else if (!isSummable(type)) say(`reads ${metric} of "${column}", which is ${type}; ${metric} takes a number column (int, bigint, decimal(p,s))`, metric);
       }
       if (metric === "avg_days") {
         const ends = spec.avg_days;
-        if (!Array.isArray(ends) || ends.length !== 2 || !ends.every(named4)) {
+        if (!Array.isArray(ends) || ends.length !== 2 || !ends.every(named5)) {
           say(`states avg_days as ${JSON.stringify(ends)}; avg_days is [<from column>, <to column or "$now">]`, "avg_days");
         } else {
           for (const [index, end] of ends.entries()) {
@@ -15296,7 +15866,7 @@ function measureProblems(name, row, model, handlers = {}) {
     if (spec.where !== void 0) {
       const who = `measure "${measure}" of handler "${name}"`;
       const at = (key) => `${base}/where/${escapePointer3(key)}`;
-      if (!isPlainObject5(spec.where)) say(`states where as ${JSON.stringify(spec.where)}; where is an object of "<column>" or "<column>__<op>" to a value`, "where");
+      if (!isPlainObject6(spec.where)) say(`states where as ${JSON.stringify(spec.where)}; where is an object of "<column>" or "<column>__<op>" to a value`, "where");
       else if (events) {
         const found = whereProblems(spec.where, EVENTS_SHAPE, at, who, {
           noColumn: (column) => `filters on "${column}", which is no column of the events; filter on at, action, handler, actor or note`
@@ -15345,11 +15915,11 @@ function measuresOf(row) {
       out[measure] = ["count", "count", spec];
       continue;
     }
-    const where2 = isPlainObject5(spec.where) ? spec.where : {};
+    const where2 = isPlainObject6(spec.where) ? spec.where : {};
     if (spec.count === true) out[measure] = ["count", "count", where2];
     else if (spec.count_events === true) out[measure] = ["count_events", "count_events", where2];
-    else if (named4(spec.sum)) out[measure] = ["sum", ["sum", spec.sum], where2];
-    else if (named4(spec.avg)) out[measure] = ["avg", ["avg", spec.avg], where2];
+    else if (named5(spec.sum)) out[measure] = ["sum", ["sum", spec.sum], where2];
+    else if (named5(spec.avg)) out[measure] = ["avg", ["avg", spec.avg], where2];
     else out[measure] = ["avg_days", ["avg_days", ...spec.avg_days], where2];
   }
   return out;
@@ -15434,11 +16004,11 @@ function manifestOf(contract, app, handlers, names, model, served = []) {
     ...typeof app.description === "string" ? { description: app.description } : {},
     version: app.version ?? DEFAULT_VERSION
   };
-  if (named4(app.nav_label)) manifest.nav = { label: app.nav_label };
+  if (named5(app.nav_label)) manifest.nav = { label: app.nav_label };
   manifest.routes = routesOf2(app, contract.pages ?? []);
   const roles = rolesOf2(contract.backend?.roles, model);
   if (roles.length > 0) manifest.roles = roles;
-  const gated = (Array.isArray(contract.pages) ? contract.pages : []).filter((page) => named4(page?.path) && gateRoles(page.roles).length > 0).map((page) => ({ path: page.path, roles: gateRoles(page.roles) }));
+  const gated = (Array.isArray(contract.pages) ? contract.pages : []).filter((page) => named5(page?.path) && gateRoles(page.roles).length > 0).map((page) => ({ path: page.path, roles: gateRoles(page.roles) }));
   if (gated.length > 0) manifest.pages = gated;
   manifest.handlers = {};
   for (const name of names) {
@@ -15454,7 +16024,7 @@ function manifestOf(contract, app, handlers, names, model, served = []) {
     manifest.handlers[name] = entry;
   }
   manifest.handlers = Object.fromEntries(Object.keys(manifest.handlers).sort(natural3).map((name) => [name, manifest.handlers[name]]));
-  manifest.capabilities = isPlainObject5(app.capabilities) && Object.keys(app.capabilities).length > 0 ? app.capabilities : { data: ["rw"] };
+  manifest.capabilities = isPlainObject6(app.capabilities) && Object.keys(app.capabilities).length > 0 ? app.capabilities : { data: ["rw"] };
   return manifest;
 }
 function routesOf2(app, pages) {
@@ -15470,9 +16040,9 @@ function rolesOf2(declared, model) {
     const out = { name: String(role?.name ?? "") };
     if (role?.default) out.default = true;
     const scope = role?.default ? "own" : "all";
-    out.tables = isPlainObject5(role?.tables) && Object.keys(role.tables).length > 0 ? role.tables : Object.fromEntries(tables.map((table) => [table, { read: model.tables[table]?.singleton ? "all" : scope, write: scope }]));
+    out.tables = isPlainObject6(role?.tables) && Object.keys(role.tables).length > 0 ? role.tables : Object.fromEntries(tables.map((table) => [table, { read: model.tables[table]?.singleton ? "all" : scope, write: scope }]));
     if (Array.isArray(role?.sees) && role.sees.length > 0) out.sees = role.sees.map(String);
-    if (named4(role?.home)) out.home = role.home;
+    if (named5(role?.home)) out.home = role.home;
     return out;
   });
 }
@@ -15540,8 +16110,8 @@ function decimalsOf(row, table) {
 }
 function groupedBy(row) {
   const columns = [];
-  for (const where2 of Object.values(isPlainObject5(row.measures) ? row.measures : {})) {
-    for (const column of Object.keys(isPlainObject5(where2) ? where2 : {})) {
+  for (const where2 of Object.values(isPlainObject6(row.measures) ? row.measures : {})) {
+    for (const column of Object.keys(isPlainObject6(where2) ? where2 : {})) {
       if (!columns.includes(column)) columns.push(column);
     }
   }
@@ -15552,8 +16122,8 @@ function singular(name) {
 }
 function queryCall(row, { receiver = 'ctx.data.table(HANDLER["table"])', indent: indent2 = 4, include = false } = {}) {
   const args = [];
-  if (isPlainObject5(row.where)) args.push('where=HANDLER["where"]');
-  if (named4(row.order_by)) args.push('order_by=HANDLER["order_by"]');
+  if (isPlainObject6(row.where)) args.push('where=HANDLER["where"]');
+  if (named5(row.order_by)) args.push('order_by=HANDLER["order_by"]');
   if (row.limit !== void 0 && row.limit !== null) args.push('limit=HANDLER["limit"]');
   if (include) args.push("include=INCLUDE");
   const pad = " ".repeat(indent2);
@@ -15633,13 +16203,13 @@ function parentLines(row, parent, { missing, invisible }) {
   ];
 }
 function includesOf(table) {
-  return Object.keys(table?.columns ?? {}).filter((name) => named4(table.columns[name].ref) && named4(table.columns[name].display));
+  return Object.keys(table?.columns ?? {}).filter((name) => named5(table.columns[name].ref) && named5(table.columns[name].display));
 }
 function refsOf(row, table) {
   const refs = {};
   for (const field of Array.isArray(row.fields) ? row.fields : []) {
     const ref = table.columns?.[field]?.ref;
-    if (!named4(ref)) continue;
+    if (!named5(ref)) continue;
     const target = String(ref).split(".")[0];
     refs[field] = [target, singular(target)];
   }
@@ -15663,10 +16233,10 @@ function refLines() {
 }
 function childList(row, parent, include = []) {
   const args = ["where=where"];
-  if (named4(row.order_by)) args.push('order_by=HANDLER["order_by"]');
+  if (named5(row.order_by)) args.push('order_by=HANDLER["order_by"]');
   if (row.limit !== void 0 && row.limit !== null) args.push('limit=HANDLER["limit"]');
   if (include.length > 0) args.push("include=INCLUDE");
-  const where2 = isPlainObject5(row.where) ? '    where = {**HANDLER["where"], HANDLER["by"]: parent_id}' : '    where = {HANDLER["by"]: parent_id}';
+  const where2 = isPlainObject6(row.where) ? '    where = {**HANDLER["where"], HANDLER["by"]: parent_id}' : '    where = {HANDLER["by"]: parent_id}';
   return {
     docstring: `The ${row.table} of one ${singular(parent)}: the ${singular(parent)} a reader opened, named by \`by\`.
 
@@ -15737,7 +16307,7 @@ function decideMap(name, row, table, model) {
   const noun = singular(row.table);
   const names = decisionNames(row);
   const specs = names.map((one) => row.decision[one]);
-  const sets = specs.map((spec) => isPlainObject5(spec.set) ? spec.set : {});
+  const sets = specs.map((spec) => isPlainObject6(spec.set) ? spec.set : {});
   const used = new Set(sets.flatMap((set) => Object.values(set)).filter((value) => SET_TOKENS.includes(value)));
   const setsAnything = sets.some((set) => Object.keys(set).length > 0);
   const requiresNote = specs.some((spec) => spec.note === "required");
@@ -15763,7 +16333,7 @@ function decideMap(name, row, table, model) {
     `    if row is None or row.get(${pyString(column)}) != HANDLER["guard"]:`,
     `        return {"error": ${pyString(`that ${noun} is not ${row.guard}`)}}`,
     ...notOwnLines(row, 'row["id"]', "decide", 4),
-    ...isPlainObject5(row.requires) ? requiresLines(row, "{decision}") : []
+    ...isPlainObject6(row.requires) ? requiresLines(row, "{decision}") : []
   );
   if (readsNote) lines.push('    note = str(payload.get("note") or "").strip()');
   if (requiresNote) {
@@ -15864,10 +16434,10 @@ contract, not this file.`,
     ].join("\n")
   }),
   save: (name, row, table, model) => {
-    if (table?.singleton === true && !named4(row.guard) && row.not_own !== true) return singletonSave(row, table);
+    if (table?.singleton === true && !named5(row.guard) && row.not_own !== true) return singletonSave(row, table);
     const enums = enumsOf(row, table);
     const refs = refsOf(row, table);
-    const guarded = named4(row.guard);
+    const guarded = named5(row.guard);
     const constants = Object.keys(enums).length > 0 ? [assignment("ENUMS", enums, Object.keys(enums))] : [];
     if (Object.keys(refs).length > 0) constants.push(assignment("REFS", refs, Object.keys(refs)));
     const guardDoc = guarded ? `
@@ -15901,7 +16471,7 @@ contract, not this file.`,
       ].join("\n")
     };
   },
-  remove: (name, row, table, model) => named4(row.guard) ? guardedRemove(row, model) : {
+  remove: (name, row, table, model) => named5(row.guard) ? guardedRemove(row, model) : {
     docstring: `Delete one ${singular(row.table)}, by the id the row itself carries.
 
 The platform's row scope is what decides whether this caller may: a delete
@@ -15950,11 +16520,11 @@ contract, not this file.`,
       lines.push(...parentLines(row, parent, { missing: `{"error": ${pyString(`${row.by} is required`)}}`, invisible: `{"error": ${pyString(`${row.by} names no ${singular(parent)} this app can see`)}}` }));
       lines.push('    row[HANDLER["by"]] = parent_id');
     }
-    if (isPlainObject5(row.requires)) {
+    if (isPlainObject6(row.requires)) {
       constants.push(...requiresConstants(row, model));
       lines.push(...requiresLines(row, "saved"));
     }
-    if (isPlainObject5(row.fixed) && Object.keys(row.fixed).length > 0) lines.push('    row.update(HANDLER["fixed"])');
+    if (isPlainObject6(row.fixed) && Object.keys(row.fixed).length > 0) lines.push('    row.update(HANDLER["fixed"])');
     lines.push('    return {"row": ctx.data.table(HANDLER["table"]).insert(row)}');
     const linkDoc = parent === null ? "" : `
 
@@ -15975,7 +16545,7 @@ contract, not this file.`,
     };
   },
   decide: (name, row, table, model) => {
-    if (isPlainObject5(row.decision)) return decideMap(name, row, table, model);
+    if (isPlainObject6(row.decision)) return decideMap(name, row, table, model);
     const column = statusColumn(model, row);
     const columns = table.columns ?? {};
     const stamps = ["decided_by", "decided_at"].filter((one) => Object.prototype.hasOwnProperty.call(columns, one) && columns[one].computed === null);
@@ -16001,7 +16571,7 @@ contract, not this file.`,
       // After the guard, so a row that is not there (or not in the state)
       // answers what it always did, and the compiler's own fixture still does.
       ...notOwnLines(row, 'row["id"]', "decide", 4),
-      ...isPlainObject5(row.requires) ? requiresLines(row, "{decision}") : [],
+      ...isPlainObject6(row.requires) ? requiresLines(row, "{decision}") : [],
       `    patch = {${pyString(column)}: decision}`
     ];
     if (stamps.includes("decided_by")) lines.push('    patch["decided_by"] = getattr(getattr(ctx, "user", None), "email", None)');
@@ -16073,7 +16643,7 @@ function testCase(name, row) {
   switch (row.role) {
     case "list":
     case "inbox":
-      if (named4(row.by)) return { name: `${name} answers with no rows when no ${row.by} is named`, payload: {}, expect: { rows: [] } };
+      if (named5(row.by)) return { name: `${name} answers with no rows when no ${row.by} is named`, payload: {}, expect: { rows: [] } };
       return { name: `${name} answers with rows`, payload: {}, shape: { rows: [] } };
     case "summary":
       return {
@@ -16082,7 +16652,7 @@ function testCase(name, row) {
         // An average over no rows is None, so its shape is `any`; a count
         // and a sum are always numbers.
         shape: Object.fromEntries(
-          Object.entries(isPlainObject5(row.measures) ? row.measures : {}).map(([measure, spec]) => [
+          Object.entries(isPlainObject6(row.measures) ? row.measures : {}).map(([measure, spec]) => [
             measure,
             isNewMeasure(spec) && (spec.avg !== void 0 || spec.avg_days !== void 0) ? "any" : "number"
           ])
@@ -16091,7 +16661,7 @@ function testCase(name, row) {
     case "submit":
     case "save": {
       const required = Array.isArray(row.required) ? row.required : [];
-      if (required.length === 0 && row.role === "submit" && named4(row.by)) {
+      if (required.length === 0 && row.role === "submit" && named5(row.by)) {
         return { name: `${name} refuses a row with no ${row.by}`, payload: {}, expect: { error: `${row.by} is required` } };
       }
       if (required.length === 0) return { name: `${name} writes the row it is given`, payload: {}, shape: { row: {} } };
@@ -16116,21 +16686,21 @@ function testCase(name, row) {
 }
 function pageHtml(contract, page, elements, tree, model, { runtime, uiKit, charts, fmt, appWidgets, appComponents, appControls, theme = false, extra = {} }) {
   const app = contract.app ?? {};
-  const name = named4(app.name) ? app.name : named4(app.id) ? app.id : "";
+  const name = named5(app.name) ? app.name : named5(app.id) ? app.id : "";
   const title = documentTitle(page, name);
   const embedded = JSON.stringify(canonical2(contract)).replace(/<\//g, "<\\/");
   const bodyAttrs = [' class="dr-app-page"'];
-  if (named4(page.theme)) bodyAttrs.push(` data-dr-theme="${attr(page.theme)}"`);
-  if (named4(page.density)) bodyAttrs.push(` data-dr-density="${attr(page.density)}"`);
+  if (named5(page.theme)) bodyAttrs.push(` data-dr-theme="${attr(page.theme)}"`);
+  if (named5(page.density)) bodyAttrs.push(` data-dr-density="${attr(page.density)}"`);
   const skeleton = [];
-  for (const band of bandsOf(page, elements, rootsOf(contract, page, elements, tree))) {
+  for (const band of bandsOf2(page, elements, rootsOf2(contract, page, elements, tree))) {
     if (band.section === null) {
       for (const uid of band.roots) skeleton.push(...nodeLines(uid, contract, page, elements, tree, model, 0));
       continue;
     }
     skeleton.push(`<section data-dr-section="${attr(band.section.id)}"${bandLook(band.section)}>`);
-    if (named4(band.section.title)) skeleton.push(`  <h2>${text(band.section.title)}</h2>`);
-    if (named4(band.section.subtitle)) skeleton.push(`  <p>${text(band.section.subtitle)}</p>`);
+    if (named5(band.section.title)) skeleton.push(`  <h2>${text(band.section.title)}</h2>`);
+    if (named5(band.section.subtitle)) skeleton.push(`  <p>${text(band.section.subtitle)}</p>`);
     for (const uid of band.roots) skeleton.push(...nodeLines(uid, contract, page, elements, tree, model, 1));
     skeleton.push("</section>");
   }
@@ -16148,7 +16718,7 @@ function pageHtml(contract, page, elements, tree, model, { runtime, uiKit, chart
     ...theme ? ['<link rel="stylesheet" href="./theme.css">'] : [],
     `</head><body${bodyAttrs.join("")}>`,
     `<script type="application/json" id="dr-contract">${embedded}</script>`,
-    `<main data-dr-app data-dr-page="${attr(page.path)}">`,
+    `<main data-dr-app data-dr-page="${attr(page.path)}"${shellAttr(app)}${hasNav(page, elements) ? "" : navCountsAttr(page)}>`,
     ...skeleton,
     "</main>",
     // P1/P1b stylesheets, in the body after </main> for the reason the
@@ -16190,7 +16760,7 @@ function chartScripts(page, elements, { charts, fmt }) {
 function platformNumbersOn(page, elements) {
   const states = (node) => {
     if (Array.isArray(node)) return node.some(states);
-    if (!isPlainObject5(node)) return false;
+    if (!isPlainObject6(node)) return false;
     return Object.entries(node).some(
       ([key, value]) => key === "format" && isPlatformFormat(value) || key === "negative" && NEGATIVE_MODES2.includes(value) || states(value)
     );
@@ -16229,7 +16799,7 @@ function iconsOn(page, elements, extra) {
   for (const element of Object.values(elements)) {
     if (element?.page !== page.path) continue;
     if (ICON_RE.test(JSON.stringify(element.props ?? {}))) return true;
-    if (element.type !== "custom" || !named4(element.props?.module)) continue;
+    if (element.type !== "custom" || !named5(element.props?.module)) continue;
     const source = extra[`ui/${element.props.module}`];
     if (typeof source === "string" && ICON_RE.test(source)) return true;
   }
@@ -16238,12 +16808,12 @@ function iconsOn(page, elements, extra) {
 function moduleScripts(page, elements) {
   const modules = /* @__PURE__ */ new Set();
   for (const element of Object.values(elements)) {
-    if (element?.page === page.path && element.type === "custom" && named4(element.props?.module)) modules.add(element.props.module);
+    if (element?.page === page.path && element.type === "custom" && named5(element.props?.module)) modules.add(element.props.module);
   }
   return [...modules].sort(natural3).map((module) => `<script src="./${attr(module)}"></script>`);
 }
-function bandsOf(page, elements, roots) {
-  const sections = (Array.isArray(page.sections) ? page.sections : []).filter((entry) => named4(entry?.id));
+function bandsOf2(page, elements, roots) {
+  const sections = (Array.isArray(page.sections) ? page.sections : []).filter((entry) => named5(entry?.id));
   if (sections.length === 0) return [{ section: null, roots }];
   const ids = new Set(sections.map((entry) => entry.id));
   const bands = [{ section: null, roots: roots.filter((uid) => !ids.has(elements[uid]?.section)) }];
@@ -16252,16 +16822,16 @@ function bandsOf(page, elements, roots) {
   }
   return bands;
 }
-var BAND_LOOK2 = ["layout", "surface", "aside"];
+var BAND_LOOK3 = ["layout", "surface", "aside"];
 function bandLook(section) {
-  return BAND_LOOK2.filter((key) => named4(section[key])).map((key) => ` data-dr-${key}="${attr(section[key])}"`).join("");
+  return BAND_LOOK3.filter((key) => named5(section[key])).map((key) => ` data-dr-${key}="${attr(section[key])}"`).join("");
 }
 function documentTitle(page, appName) {
   const own = shortTitle(page, appName);
   return appName === "" || own === appName ? own : `${own} \xB7 ${appName}`;
 }
 function shortTitle(page, appName) {
-  const raw = named4(page.title) ? page.title : named4(page.header?.title) ? page.header.title : page.path;
+  const raw = named5(page.title) ? page.title : named5(page.header?.title) ? page.header.title : page.path;
   const suffix = ` \xB7 ${appName}`;
   return appName !== "" && raw.endsWith(suffix) ? raw.slice(0, -suffix.length) : raw;
 }
@@ -16269,7 +16839,7 @@ function routeOf2(path3) {
   const file = String(path3).split("/").pop();
   return file === "index.html" ? "/" : `/${file}`;
 }
-function rootsOf(contract, page, elements, tree) {
+function rootsOf2(contract, page, elements, tree) {
   if (Array.isArray(page.tree) && page.tree.length > 0) return page.tree.filter((uid) => elements[uid]);
   return Object.keys(elements).filter((uid) => elements[uid].page === page.path && parentOf(tree, uid) === null).sort((a, b) => (elements[a].order ?? 0) - (elements[b].order ?? 0) || natural3(a, b));
 }
@@ -16280,12 +16850,12 @@ function childrenOf(uid, elements, tree) {
 }
 function pageRole(contract, page, elements, tree) {
   if (gateRoles(page.roles).length > 0) return pageGateKey(page.roles);
-  if (named4(page.role)) return page.role;
+  if (named5(page.role)) return page.role;
   const roles = /* @__PURE__ */ new Set();
-  for (const uid of rootsOf(contract, page, elements, tree)) {
+  for (const uid of rootsOf2(contract, page, elements, tree)) {
     const element = elements[uid];
     if (!COMPONENT_TYPES2.includes(element.type)) continue;
-    roles.add(named4(element.props?.role) ? element.props.role : null);
+    roles.add(named5(element.props?.role) ? element.props.role : null);
   }
   return roles.size === 1 && !roles.has(null) ? [...roles][0] : null;
 }
@@ -16298,9 +16868,13 @@ function nodeLines(uid, contract, page, elements, tree, model, depth) {
     case "region": {
       if ((element.role ?? "header") !== "header") return [`${pad}<section data-dr-kit="${attr(element.role ?? "")}"></section>`];
       const header = page.header ?? {};
-      const heading = named4(header.title) ? header.title : shortTitle(page, contract.app?.name ?? "");
-      const lede = named4(header.summary) ? `<p>${text(header.summary)}</p>` : "";
-      return [`${pad}<header data-dr-kit="header"${gridAttrs(element)}><h1>${text(heading)}</h1>${lede}</header>`];
+      const heading = named5(header.title) ? header.title : shortTitle(page, contract.app?.name ?? "");
+      const lede = named5(header.summary) ? `<p>${text(header.summary)}</p>` : "";
+      const actions = Array.isArray(header.actions) && header.actions.length > 0 ? ` data-dr-header-actions="${attr(JSON.stringify(header.actions))}"` : "";
+      const from = named5(header.title_from) ? ` data-dr-title-from="${attr(header.title_from)}"` : "";
+      const open2 = `${pad}<header data-dr-kit="header"${gridAttrs(element)}${actions}${from}><h1>${text(heading)}</h1>${lede}`;
+      if (kids.length === 0) return [`${open2}</header>`];
+      return [open2, ...kids.flatMap((child) => nodeLines(child, contract, page, elements, tree, model, depth + 1)), `${pad}</header>`];
     }
     case "nav": {
       const entries = (contract.pages ?? []).map((one) => {
@@ -16309,7 +16883,7 @@ function nodeLines(uid, contract, page, elements, tree, model, depth) {
         const gate = role === null ? "" : ` data-dr-role="${attr(role)}"`;
         return `<a href="./${attr(String(one.path).split("/").pop())}"${gate}${current}>${text(shortTitle(one, contract.app?.name ?? ""))}</a>`;
       });
-      return [`${pad}<nav data-dr-kit="nav"${gridAttrs(element)}>${entries.join("")}</nav>`];
+      return [`${pad}<nav data-dr-kit="nav"${gridAttrs(element)}${navCountsAttr(page)}>${entries.join("")}</nav>`];
     }
     case "stat":
     case "chart":
@@ -16381,7 +16955,7 @@ function fieldInput(uid, elements, tree, model, depth) {
   const column = (model.tables[entity]?.columns ?? {})[props.field] ?? null;
   const label = labelOf(element);
   const required = props.required === true ? " required" : "";
-  const picker = named4(column?.ref) && named4(props.source);
+  const picker = named5(column?.ref) && named5(props.source);
   const kind = picker ? "select" : props.input_type ?? (column?.enum ? "select" : isNumberType(column?.type) ? "number" : "text");
   if (kind === "select") {
     const options = picker ? [] : Array.isArray(props.options) && props.options.length > 0 ? props.options : column?.enum ?? [];
@@ -16397,12 +16971,12 @@ function fieldInput(uid, elements, tree, model, depth) {
 }
 function labelOf(element) {
   const props = element.props ?? {};
-  if (named4(props.label)) return props.label;
-  if (named4(props.field)) return humanise(props.field);
-  if (named4(props.id)) return humanise(props.id);
+  if (named5(props.label)) return props.label;
+  if (named5(props.field)) return humanise2(props.field);
+  if (named5(props.id)) return humanise2(props.id);
   return "";
 }
-function humanise(name) {
+function humanise2(name) {
   const words = String(name).replace(/^_+/, "").replace(/_/g, " ").trim();
   return words === "" ? "" : words[0].toUpperCase() + words.slice(1);
 }
@@ -16419,7 +16993,7 @@ function attrsOf(element) {
     const value = props[key];
     if (value === void 0 || value === null || value === "") continue;
     if (key === "filter") {
-      if (!isPlainObject5(value)) continue;
+      if (!isPlainObject6(value)) continue;
       const written = Object.keys(value).sort().map((column) => `${column}=${value[column]}`).join(",");
       if (written !== "") out.push(["filter", written]);
       continue;
@@ -16449,11 +17023,11 @@ function attrsOf(element) {
   }
   const card = writeArgs(element.card);
   if (card !== "") out.push(["card", card]);
-  if (named4(element.emphasis)) out.push(["emphasis", element.emphasis]);
+  if (named5(element.emphasis)) out.push(["emphasis", element.emphasis]);
   return gridAttrs(element) + out.map(([key, value]) => ` data-dr-${key}="${attr(value)}"`).join("");
 }
 function gridAttrs(element) {
-  const grid = isPlainObject5(element.grid) ? element.grid : {};
+  const grid = isPlainObject6(element.grid) ? element.grid : {};
   let out = "";
   if (grid.span !== null && grid.span !== void 0) out += ` data-dr-span="${attr(grid.span)}"`;
   if (grid.rows !== null && grid.rows !== void 0) out += ` data-dr-rows="${attr(grid.rows)}"`;
@@ -16469,13 +17043,13 @@ function attr(value) {
 function text(value) {
   return String(value).replace(/&/g, "&amp;").replace(/</g, "&lt;").replace(/>/g, "&gt;");
 }
-function named4(value) {
+function named5(value) {
   return typeof value === "string" && value !== "";
 }
 function stated(value) {
   return typeof value === "string" && value.trim() !== "";
 }
-function isPlainObject5(value) {
+function isPlainObject6(value) {
   return typeof value === "object" && value !== null && !Array.isArray(value);
 }
 function escapePointer3(key) {
@@ -18280,11 +18854,11 @@ function composeLayout(contract) {
   const out = clone4(contract);
   const applied = [];
   const record2 = (what, where2, message) => applied.push({ what, where: where2, message });
-  const app = isPlainObject6(out.app) ? out.app : out.app = {};
+  const app = isPlainObject7(out.app) ? out.app : out.app = {};
   const pages = Array.isArray(out.pages) ? out.pages : out.pages = [];
-  const elements = isPlainObject6(out.elements) ? out.elements : out.elements = {};
+  const elements = isPlainObject7(out.elements) ? out.elements : out.elements = {};
   const preset = presetOf(app, pages);
-  if (isPlainObject6(app.theme) && "preset" in app.theme) delete app.theme.preset;
+  if (isPlainObject7(app.theme) && "preset" in app.theme) delete app.theme.preset;
   for (const page of pages) {
     const path3 = page.path ?? "ui/index.html";
     if (page.theme === void 0 || page.theme === null) {
@@ -18352,7 +18926,7 @@ function composeSpans(elements, record2) {
   for (const uid of Object.keys(elements).sort(natural3)) {
     const element = elements[uid];
     if (element?.type !== "widget") continue;
-    const grid = isPlainObject6(element.grid) ? element.grid : null;
+    const grid = isPlainObject7(element.grid) ? element.grid : null;
     if (grid && grid.span !== null && grid.span !== void 0) continue;
     const kind = kindOf2(element);
     const span = SPAN_BY_KIND[kind] ?? DEFAULT_SPAN;
@@ -18362,8 +18936,8 @@ function composeSpans(elements, record2) {
 }
 function composeTheme(app, preset, record2) {
   const table = THEME_TOKENS[preset] ?? THEME_TOKENS[DEFAULT_PRESET];
-  const theme = isPlainObject6(app.theme) ? app.theme : {};
-  const tokens = isPlainObject6(theme.tokens) ? { ...theme.tokens } : {};
+  const theme = isPlainObject7(app.theme) ? app.theme : {};
+  const tokens = isPlainObject7(theme.tokens) ? { ...theme.tokens } : {};
   let filled = 0;
   for (const [token, value] of Object.entries(table)) {
     if (token in tokens) continue;
@@ -18380,7 +18954,7 @@ function composeTheme(app, preset, record2) {
   }
 }
 function presetOf(app, pages) {
-  const asked = isPlainObject6(app.theme) ? app.theme.preset : null;
+  const asked = isPlainObject7(app.theme) ? app.theme.preset : null;
   if (typeof asked === "string" && PRESETS2.includes(asked)) return asked;
   for (const page of pages) {
     if (typeof page?.theme === "string" && PRESETS2.includes(page.theme)) return page.theme;
@@ -18388,7 +18962,7 @@ function presetOf(app, pages) {
   return DEFAULT_PRESET;
 }
 function kindOf2(element) {
-  const props = isPlainObject6(element?.props) ? element.props : {};
+  const props = isPlainObject7(element?.props) ? element.props : {};
   if (typeof props.kind === "string" && props.kind !== "") return props.kind;
   return typeof element?.role === "string" ? element.role : "";
 }
@@ -18397,7 +18971,7 @@ function routeFor2(path3) {
   return clean === "index.html" ? "/" : `/${clean}`;
 }
 function onlyHandler(app) {
-  const names = isPlainObject6(app.handlers) ? Object.keys(app.handlers) : [];
+  const names = isPlainObject7(app.handlers) ? Object.keys(app.handlers) : [];
   return names.length === 1 ? names[0] : "dashboard";
 }
 function sortKeys(object) {
@@ -18407,14 +18981,14 @@ function sortKeys(object) {
 }
 function clone4(value) {
   if (Array.isArray(value)) return value.map(clone4);
-  if (isPlainObject6(value)) {
+  if (isPlainObject7(value)) {
     const out = {};
     for (const [key, held] of Object.entries(value)) out[key] = clone4(held);
     return out;
   }
   return value;
 }
-function isPlainObject6(value) {
+function isPlainObject7(value) {
   return value !== null && typeof value === "object" && !Array.isArray(value);
 }
 
@@ -18433,13 +19007,13 @@ var WIDGET_FILE = "ui/widget.js";
 var MANIFEST_FILE = "manifest.json";
 var PROP_ORDER = ["kind", "params", "title", "subtitle", "description", "source"];
 function compile(contract, { kit, extra = {} } = {}) {
-  if (!isPlainObject7(kit)) throw new TypeError("compile(contract, {kit}): the kit manifest (kit.json) says which shelf modules a page loads");
+  if (!isPlainObject8(kit)) throw new TypeError("compile(contract, {kit}): the kit manifest (kit.json) says which shelf modules a page loads");
   const problems = [];
   const refuse = (code, where2, message) => {
     problems.push({ code, where: where2, lossy: false, message });
     return { files: {}, problems };
   };
-  const source = isPlainObject7(contract) ? contract : {};
+  const source = isPlainObject8(contract) ? contract : {};
   const kind = source.app?.kind ?? null;
   if (kind !== "dashboard") {
     return refuse(
@@ -18465,11 +19039,11 @@ function compile(contract, { kit, extra = {} } = {}) {
     );
   }
   const handlerName = handlers[0];
-  const library = isPlainObject7(composed.data?.library) ? composed.data.library : null;
+  const library = isPlainObject8(composed.data?.library) ? composed.data.library : null;
   const written = writeSpec(composed.data ?? {}, {
     library: {
       module: library?.module ?? LIBRARY?.module ?? DEFAULT_LIBRARY_MODULE,
-      ...isPlainObject7(LIBRARY?.functions) ? { functions: LIBRARY.functions } : {}
+      ...isPlainObject8(LIBRARY?.functions) ? { functions: LIBRARY.functions } : {}
     }
   });
   if (written.text === null) {
@@ -18502,17 +19076,17 @@ function compile(contract, { kit, extra = {} } = {}) {
   return { files, problems: problems.sort(byProblem2) };
 }
 function describeTier(data) {
-  if (!isPlainObject7(data)) return { where: "handlers/", message: "the contract carries no data section; a dashboard compiles from the SPEC its handler declares" };
+  if (!isPlainObject8(data)) return { where: "handlers/", message: "the contract carries no data section; a dashboard compiles from the SPEC its handler declares" };
   if (data.source !== "static") {
     return {
       where: "/data/source",
       message: `data.source is ${JSON.stringify(data.source ?? null)}; only a "static" section is the SPEC a handler declares, and a describe answer is what one SAYS at runtime`
     };
   }
-  const widgets = isPlainObject7(data.widgets) ? data.widgets : {};
+  const widgets = isPlainObject8(data.widgets) ? data.widgets : {};
   for (const key of Object.keys(widgets).sort(natural3)) {
     const row = widgets[key];
-    if (!isPlainObject7(row)) {
+    if (!isPlainObject8(row)) {
       return { where: `/data/widgets/${key}`, message: `the row for "${key}" is ${row === null ? "null" : typeof row}; a SPEC row a compiler can write is an object` };
     }
     if ("_described" in row) {
@@ -18526,9 +19100,9 @@ function describeTier(data) {
 }
 function missingExpressions(widgets) {
   const problems = [];
-  for (const key of Object.keys(isPlainObject7(widgets) ? widgets : {}).sort(natural3)) {
+  for (const key of Object.keys(isPlainObject8(widgets) ? widgets : {}).sort(natural3)) {
     const row = widgets[key];
-    if (!isPlainObject7(row) || typeof row.expr === "string") continue;
+    if (!isPlainObject8(row) || typeof row.expr === "string") continue;
     const transformed = typeof row.transform === "string" && row.transform !== "";
     if (!("compute" in row) && !transformed) continue;
     problems.push({
@@ -18554,7 +19128,7 @@ function manifestFile(contract, handlerName) {
     ...app.nav_label ? { nav: { label: app.nav_label } } : {},
     routes: Array.isArray(app.routes) ? app.routes : [],
     handlers: { [handlerName]: { entrypoint: handlerPath(contract, handlerName), http: handlerHttp(contract, handlerName) } },
-    capabilities: isPlainObject7(app.capabilities) ? app.capabilities : { ...DEFAULT_CAPABILITIES }
+    capabilities: isPlainObject8(app.capabilities) ? app.capabilities : { ...DEFAULT_CAPABILITIES }
   };
   return `${JSON.stringify(manifest, null, 2)}
 `;
@@ -18584,8 +19158,8 @@ function themeFile(contract) {
 }
 function widgetFile(contract, pages, handlerName) {
   const mount = pages.find((page) => page.mount?.handler === handlerName)?.mount ?? {};
-  const defaults = isPlainObject7(mount.defaults) ? mount.defaults : null;
-  const filters = defaults !== null && isPlainObject7(defaults.filters) ? defaults.filters : null;
+  const defaults = isPlainObject8(mount.defaults) ? mount.defaults : null;
+  const filters = defaults !== null && isPlainObject8(defaults.filters) ? defaults.filters : null;
   const rest = defaults === null ? {} : Object.fromEntries(Object.entries(defaults).filter(([key]) => key !== "filters"));
   const lines = [
     "/* The dashboard hands itself to the widget library.",
@@ -18703,7 +19277,7 @@ function pageFile(page, ctx) {
 `;
 }
 function elementsOf(contract, path3) {
-  const elements = isPlainObject7(contract.elements) ? contract.elements : {};
+  const elements = isPlainObject8(contract.elements) ? contract.elements : {};
   return Object.keys(elements).sort(natural3).map((uid) => ({ uid, ...elements[uid] })).filter((element) => element.page === path3);
 }
 function shelf(path3, kit, charts, contract, problems) {
@@ -18750,7 +19324,7 @@ function shelf(path3, kit, charts, contract, problems) {
   };
 }
 function appbar(page, elements) {
-  const header = isPlainObject7(page.header) ? page.header : { title: page.title ?? "", summary: null };
+  const header = isPlainObject8(page.header) ? page.header : { title: page.title ?? "", summary: null };
   const summary = typeof header.summary === "string" && header.summary !== "" ? `${text2(header.summary)} ` : "";
   return [
     `<header class="${classesOf2(elements, "region", "header", ["dr-appbar"])}" data-dr-kit="header">`,
@@ -18810,7 +19384,7 @@ function controlRow(elements) {
   if (controls.length === 0) return [];
   const out = [`<div class="${classesOf2(elements, "region", "controls", ["dr-controlrow"])}" data-dr-kit="controls">`];
   for (const control of controls) {
-    const props = isPlainObject7(control.props) ? control.props : {};
+    const props = isPlainObject8(control.props) ? control.props : {};
     const id = control.id;
     out.push('  <span class="drw-field--inline">');
     if (id && typeof props.label === "string") {
@@ -18856,13 +19430,13 @@ function order(element) {
   return Number.isInteger(element.order) ? element.order : Number.MAX_SAFE_INTEGER;
 }
 function cardBlock(card) {
-  const props = isPlainObject7(card.props) ? card.props : {};
+  const props = isPlainObject8(card.props) ? card.props : {};
   const kind = kindOf2(card);
   const classes = (card.classes ?? []).length > 0 ? card.classes.join(" ") : kind === "kpi" ? "dr-card dr-card--kpi" : "dr-card";
-  const slots = isPlainObject7(card.slots) && Object.keys(card.slots).length > 0 ? card.slots : { actions: true, body: "widget-body" };
+  const slots = isPlainObject8(card.slots) && Object.keys(card.slots).length > 0 ? card.slots : { actions: true, body: "widget-body" };
   const bodyClass = typeof slots.body === "string" ? slots.body : "widget-body";
   const attrs = [`class="${attr2(classes)}"`];
-  const grid = isPlainObject7(card.grid) ? card.grid : {};
+  const grid = isPlainObject8(card.grid) ? card.grid : {};
   if (grid.span !== null && grid.span !== void 0) attrs.push(`data-dr-span="${attr2(grid.span)}"`);
   if (grid.rows !== null && grid.rows !== void 0) attrs.push(`data-dr-rows="${attr2(grid.rows)}"`);
   attrs.push(`data-dr-widget="${attr2(card.id ?? "")}"`);
@@ -18923,7 +19497,7 @@ function jsLiteral(value, depth) {
   if (typeof value === "string") return jsString(value);
   if (typeof value === "number" || typeof value === "boolean") return String(value);
   if (Array.isArray(value)) return `[${value.map((item) => jsLiteral(item, depth + 1)).join(", ")}]`;
-  if (isPlainObject7(value)) {
+  if (isPlainObject8(value)) {
     const parts = Object.keys(value).sort(natural3).map((key) => `${/^[A-Za-z_$][\w$]*$/.test(key) ? key : jsString(key)}: ${jsLiteral(value[key], depth + 1)}`);
     return parts.length === 0 ? "{}" : `{ ${parts.join(", ")} }`;
   }
@@ -18935,7 +19509,7 @@ function pyString2(value) {
 function byProblem2(a, b) {
   return natural3(a.code, b.code) || natural3(a.where ?? "", b.where ?? "") || natural3(a.message, b.message);
 }
-function isPlainObject7(value) {
+function isPlainObject8(value) {
   return value !== null && typeof value === "object" && !Array.isArray(value);
 }
 
@@ -18944,7 +19518,7 @@ var POSITIONAL_KEYS = ["line", "order", "depth", "path"];
 var POSITIONAL_GRID_KEYS = ["uid", "position", "of"];
 function stripPositional(contract, { keepTree = true, order: order2 } = {}) {
   const out = clone5(contract);
-  const elements = isPlainObject8(out.elements) ? out.elements : {};
+  const elements = isPlainObject9(out.elements) ? out.elements : {};
   const pagesByPath = new Map((Array.isArray(out.pages) ? out.pages : []).map((page) => [page.path, page]));
   const byPage = /* @__PURE__ */ new Map();
   for (const uid of Object.keys(elements).sort(natural3)) {
@@ -18967,7 +19541,7 @@ function stripPositional(contract, { keepTree = true, order: order2 } = {}) {
     element.uid = next;
     if (element.parent !== void 0) element.parent = element.parent === null ? null : rename2(element.parent);
     if (Array.isArray(element.children)) element.children = element.children.map(rename2).sort(natural3);
-    if (isPlainObject8(element.grid)) for (const key of POSITIONAL_GRID_KEYS) delete element.grid[key];
+    if (isPlainObject9(element.grid)) for (const key of POSITIONAL_GRID_KEYS) delete element.grid[key];
     rekeyed[next] = element;
   }
   out.elements = sortKeys2(rekeyed);
@@ -19051,7 +19625,7 @@ function rootsAmong(elements, uids) {
 function renameDeep(value, rename2) {
   if (typeof value === "string") return rename2(value);
   if (Array.isArray(value)) return value.map((item) => renameDeep(item, rename2));
-  if (isPlainObject8(value)) {
+  if (isPlainObject9(value)) {
     const out = {};
     for (const [key, held] of Object.entries(value)) out[key] = renameDeep(held, rename2);
     return out;
@@ -19065,14 +19639,14 @@ function sortKeys2(object) {
 }
 function clone5(value) {
   if (Array.isArray(value)) return value.map(clone5);
-  if (isPlainObject8(value)) {
+  if (isPlainObject9(value)) {
     const out = {};
     for (const [key, held] of Object.entries(value)) out[key] = clone5(held);
     return out;
   }
   return value;
 }
-function isPlainObject8(value) {
+function isPlainObject9(value) {
   return value !== null && typeof value === "object" && !Array.isArray(value);
 }
 
@@ -20226,7 +20800,7 @@ var CHART_FORMATS4 = Object.freeze(["currency", "number", "percent"]);
 var PLATFORM_FORMAT2 = Object.freeze({ "type": "string", "maxLength": 64, "pattern": "^(General|[^\\u0000-\\u001f]*[#0][^\\u0000-\\u001f]*)$" });
 var NEGATIVE_MODES3 = Object.freeze(["minus", "red_minus", "absolute", "red_absolute"]);
 var FORMAT_PATTERNS3 = Object.freeze({ "currency": "$#,###", "number": "#,###", "percent": '#,###.#"%"' });
-var PLATFORM_NUMBERS3 = Object.freeze({ "dr-app-runtime": "1.8.0", "dr-app-widgets": "1.2.0", "dr-components": "1.2.0", "dr-components-controls": "1.1.0" });
+var PLATFORM_NUMBERS3 = Object.freeze({ "dr-app-runtime": "1.9.0", "dr-app-widgets": "1.2.0", "dr-components": "1.2.0", "dr-components-controls": "1.1.0" });
 var ROW_ACTION_WHEN3 = Object.freeze({ "dr-components": "1.2.0" });
 var PROPS_SINCE3 = Object.freeze({ "select": { "multiple": "1.3.0", "searchable": "1.3.0", "group_by": "1.3.0", "values": "1.3.0", "options[].group": "1.3.0" }, "data_grid": { "theme": "1.3.0", "hierarchy": "1.3.0", "totals": "1.3.0", "pin": "1.3.0", "csv_params": "1.3.0", "columns[].cell": "1.3.0", "columns[].badge_map": "1.3.0", "columns[].status_map": "1.3.0", "columns[].link_field": "1.3.0", "columns[].call": "1.3.0" } });
 var MODULE_OF3 = Object.freeze({ "widget": "dr-app-widgets", "form": "dr-app-runtime", "list": "dr-app-runtime", "detail": "dr-app-runtime", "queue": "dr-app-runtime", "action": "dr-app-runtime", "filter": "dr-app-runtime", "stat": "dr-app-runtime", "chart": "dr-app-runtime", "custom": "dr-app-runtime", "field": "dr-app-runtime", "number_input": "dr-components", "tabs": "dr-components", "tab_panel": "dr-components", "select": "dr-components", "date_picker": "dr-components", "data_grid": "dr-components", "dialog": "dr-components", "variance_table": "dr-components", "toggle": "dr-components", "control_group": "dr-components", "callout": "dr-components", "scenario_columns": "dr-components", "slider": "dr-components-controls", "button": "dr-components", "status": "dr-components", "badge": "dr-components", "tag": "dr-components", "empty_state": "dr-components", "stepper": "dr-components", "alert": "dr-components", "checkbox": "dr-components", "radio_group": "dr-components", "file_upload": "dr-components", "skeleton": "dr-components", "progress": "dr-components", "accordion": "dr-components", "tooltip_info": "dr-components", "filter_bar": "dr-components", "filter_chip": "dr-components", "date_range": "dr-components", "fiscal_month": "dr-components" });
@@ -20980,7 +21554,7 @@ function readSpec2(handlers) {
     const where2 = handler.file || `handlers.json#${handler.name}`;
     const literals = new Literals2(handler.source, "py");
     const value = literals.constant("SPEC");
-    if (!isPlainObject9(value)) {
+    if (!isPlainObject10(value)) {
       unresolved.push({ where: where2, key: "SPEC", text: literals.constantText("SPEC") ?? cut2("SPEC") });
       continue;
     }
@@ -20996,15 +21570,15 @@ function readSpec2(handlers) {
 var DEFAULTS_KEY2 = "_defaults";
 function effective2(table) {
   const defaults = table[DEFAULTS_KEY2];
-  if (!isPlainObject9(defaults)) return table;
+  if (!isPlainObject10(defaults)) return table;
   const out = /* @__PURE__ */ Object.create(null);
   for (const [key, row] of Object.entries(table)) {
     if (key === DEFAULTS_KEY2) continue;
-    out[key] = key.startsWith("_") || !isPlainObject9(row) ? row : { ...defaults, ...row };
+    out[key] = key.startsWith("_") || !isPlainObject10(row) ? row : { ...defaults, ...row };
   }
   return out;
 }
-function isPlainObject9(value) {
+function isPlainObject10(value) {
   return Boolean(value) && typeof value === "object" && !Array.isArray(value);
 }
 
@@ -21096,7 +21670,7 @@ function readTransforms2(source) {
   if (!literals.has(TRANSFORMS_TABLE2)) return { found: false, texts: null, span: null, text: null };
   const value = literals.constant(TRANSFORMS_TABLE2);
   const span = literals.constantSpan(TRANSFORMS_TABLE2);
-  const readable = isPlainObject9(value) && Object.entries(value).every(([path3, text3]) => TRANSFORM_PATH5.test(path3) && typeof text3 === "string");
+  const readable = isPlainObject10(value) && Object.entries(value).every(([path3, text3]) => TRANSFORM_PATH5.test(path3) && typeof text3 === "string");
   if (!readable) return { found: true, texts: null, span, text: literals.constantText(TRANSFORMS_TABLE2) };
   const texts = {};
   for (const path3 of Object.keys(value).sort(natural4)) texts[path3] = value[path3];
@@ -21132,6 +21706,10 @@ var THEME_ATTR3 = "data-dr-theme";
 var DENSITY_ATTR2 = "data-dr-density";
 var THEME_FILE6 = "ui/theme.css";
 var CARD_ATTR2 = "data-dr-card";
+var SHELL_ATTR2 = "data-dr-shell";
+var HEADER_ACTIONS_ATTR2 = "data-dr-header-actions";
+var TITLE_FROM_ATTR2 = "data-dr-title-from";
+var NAV_COUNTS_ATTR2 = "data-dr-nav-counts";
 var EMPHASIS_ATTR2 = "data-dr-emphasis";
 var MUTATING_VERBS2 = /* @__PURE__ */ new Set(["insert", "update", "delete"]);
 var TABLE_ONLY_VERBS2 = /* @__PURE__ */ new Set([...MUTATING_VERBS2, "get"]);
@@ -21174,8 +21752,10 @@ function extract2(app, { describe: describe7 } = {}) {
   const elements = {};
   const pages = [];
   const pinsByPath = /* @__PURE__ */ new Map();
+  let shell = null;
   for (const page of app.pages) {
     const built = readPage2(app, page, spec, elements, problems);
+    if (shell === null && built.shell !== null && built.shell !== void 0) shell = built.shell;
     if (built.page.owned !== true && !page.text.includes(COMPONENT_ATTR2)) {
       readBundle2(app, page.path, built.page.scripts, elements, problems);
     }
@@ -21238,7 +21818,7 @@ function extract2(app, { describe: describe7 } = {}) {
     v: CONTRACT_V2,
     generated_by: GENERATED_BY2,
     source: describe7 ? "static+describe" : "static",
-    app: appSection2(app, manifest),
+    app: { ...appSection2(app, manifest), ...shell === null ? {} : { shell } },
     pins: [...pinsByPath.values()].map((pin) => ({ ...pin, pages: [...new Set(pin.pages)].sort() })).sort((a, b) => a.order - b.order),
     pages,
     elements,
@@ -21256,7 +21836,7 @@ function appSection2(app, manifest) {
   for (const handler of app.handlers) {
     handlers[handler.name] = { http: handler.http || null, entrypoint: handler.file || null };
   }
-  const nav = isPlainObject9(manifest.nav) ? manifest.nav : {};
+  const nav = isPlainObject10(manifest.nav) ? manifest.nav : {};
   return {
     id: manifest.id ?? null,
     name: manifest.name ?? null,
@@ -21272,7 +21852,7 @@ function appSection2(app, manifest) {
     api_version: manifest.apiVersion ?? manifest.api_version ?? null,
     routes: routesOf3(manifest),
     handlers,
-    capabilities: isPlainObject9(manifest.capabilities) ? manifest.capabilities : {},
+    capabilities: isPlainObject10(manifest.capabilities) ? manifest.capabilities : {},
     data_model: app.dataModel ? normaliseModel2(app.dataModel) : null,
     theme: themeSection2(app)
   };
@@ -21420,14 +22000,21 @@ function readPage2(app, page, spec, elements, problems) {
     ...bands.map((entry, index) => ({ at: entry.node.index, section: banded[index] })),
     ...wrappers.map((node, index) => ({ at: node.index, section: wrapped[index] }))
   ].sort((a, b) => a.at - b.at).map((one) => one.section);
+  for (const entry of significant) {
+    if (entry.type !== "region" || entry.node.attrs[HEADER_ACTIONS_ATTR2] === void 0) continue;
+    for (const child of childrenOf2.get(entry.node.index) ?? []) elements[uids.get(child)].section = "header";
+  }
   const mount = readMount2(scripts, problems);
   const body = tree.nodes.find((node) => node.tag === "body") ?? tree.nodes.find((node) => node.tag === "html");
+  const main2 = tree.nodes.find((node) => node.tag === "main" && "data-dr-app" in node.attrs) ?? null;
   return {
+    shell: shellOf2(main2),
     page: {
       path: page.path,
       route: routeOf3(app.manifest, page.path),
       title: titleOf2(tree, page.text),
       header: headerOf2(tree, page.text),
+      ...navOf2(tree, main2),
       sections,
       scripts: scripts.map((script) => script.path).filter((path3) => path3 !== page.path),
       theme: body?.attrs[THEME_ATTR3] ?? null,
@@ -21521,13 +22108,13 @@ function partCalls2(element) {
   const typed = element.props?.props ?? {};
   const out = [];
   for (const prop of Object.keys(PARTS2[element.type].events ?? {})) {
-    if (prop !== "on_row_action" && named5(typed[prop])) out.push(typed[prop]);
+    if (prop !== "on_row_action" && named6(typed[prop])) out.push(typed[prop]);
   }
   for (const action of Array.isArray(typed.row_actions) ? typed.row_actions : []) {
-    if (action && typeof action === "object" && named5(action.call)) out.push(action.call);
+    if (action && typeof action === "object" && named6(action.call)) out.push(action.call);
   }
   for (const column of Array.isArray(typed.columns) ? typed.columns : []) {
-    if (column && typeof column === "object" && column.cell === "toggle" && named5(column.call)) out.push(column.call);
+    if (column && typeof column === "object" && column.cell === "toggle" && named6(column.call)) out.push(column.call);
   }
   return out;
 }
@@ -21687,20 +22274,43 @@ function headerOf2(tree, text3) {
   }
   const region = tree.nodes.find((node) => node.attrs[KIT_ATTR2] === "header");
   if (!region) return null;
-  const heading = firstTag2(tree, region, "h1");
+  const heading = firstTag2(tree, region, "h1", true);
   if (!heading) return null;
-  const summary = firstTag2(tree, region, "p");
-  return { title: textOf2(text3, heading), summary: summary ? textOf2(text3, summary) || null : null };
+  const summary = firstTag2(tree, region, "p", true);
+  const out = { title: textOf2(text3, heading), summary: summary ? textOf2(text3, summary) || null : null };
+  const actions = parseJsonAttr2(region.attrs[HEADER_ACTIONS_ATTR2]);
+  if (Array.isArray(actions)) out.actions = actions;
+  const from = region.attrs[TITLE_FROM_ATTR2];
+  if (from !== void 0 && from !== "") out.title_from = from;
+  return out;
 }
-function firstTag2(tree, node, tag) {
+function firstTag2(tree, node, tag, outer = false) {
   for (const child of node.children) {
     const candidate = tree.nodes[child];
     if (candidate.tag === tag) return candidate;
-    const found = firstTag2(tree, candidate, tag);
+    if (outer && (COMPONENT_ATTR2 in candidate.attrs || FIELD_ATTR2 in candidate.attrs)) continue;
+    const found = firstTag2(tree, candidate, tag, outer);
     if (found) return found;
   }
   return null;
 }
+function parseJsonAttr2(value) {
+  if (value === void 0 || value === "") return void 0;
+  try {
+    return JSON.parse(value);
+  } catch {
+    return void 0;
+  }
+}
+function shellOf2(main2) {
+  const shell = parseJsonAttr2(main2?.attrs[SHELL_ATTR2]);
+  return isPlainObject10(shell) ? shell : null;
+}
+function navOf2(tree, main2) {
+  const nav = tree.nodes.find((node) => node.tag === "nav" && node.attrs[KIT_ATTR2] === "nav" && node.attrs[NAV_COUNTS_ATTR2] !== void 0);
+  const source = nav?.attrs[NAV_COUNTS_ATTR2] ?? main2?.attrs[NAV_COUNTS_ATTR2];
+  return source === void 0 || source === "" ? {} : { nav: { counts: { source } } };
+}
 function sectionOf2(node, text3, index) {
   const title = textOf2(text3, node);
   return { id: node.attrs.id ?? slug3(title) ?? `section_${index + 1}`, title };
@@ -21711,13 +22321,13 @@ function wrappedSectionOf2(tree, node, text3, index) {
   const out = { id: id === void 0 || id === "" ? `section_${index + 1}` : id, title: heading ? textOf2(text3, heading) : "" };
   const subtitle = node.children.map((child) => tree.nodes[child]).find((child) => child.tag === "p");
   if (subtitle) out.subtitle = textOf2(text3, subtitle);
-  for (const key of BAND_LOOK3) {
+  for (const key of BAND_LOOK4) {
     const value = node.attrs[`data-dr-${key}`];
     if (value !== void 0 && value !== "") out[key] = value;
   }
   return out;
 }
-var BAND_LOOK3 = ["layout", "surface", "aside"];
+var BAND_LOOK4 = ["layout", "surface", "aside"];
 function slug3(text3) {
   const clean = String(text3 ?? "").toLowerCase().replace(/[^a-z0-9]+/g, "_").replace(/^_+|_+$/g, "");
   return clean === "" ? null : clean;
@@ -21754,7 +22364,7 @@ function readMount2(scripts, problems) {
     const brace = script.text.indexOf("{", call);
     if (brace === -1) continue;
     const value = new Literals2(script.text, "js").valueAtChar(brace);
-    if (!isPlainObject9(value)) {
+    if (!isPlainObject10(value)) {
       problems.push({
         code: "mount_unreadable",
         where: script.path,
@@ -21766,7 +22376,7 @@ function readMount2(scripts, problems) {
     return {
       handler: typeof value.handler === "string" ? value.handler : null,
       prefs: typeof value.prefs === "boolean" ? value.prefs : null,
-      defaults: isPlainObject9(value.defaults) ? value.defaults : null
+      defaults: isPlainObject10(value.defaults) ? value.defaults : null
     };
   }
   return null;
@@ -21819,7 +22429,7 @@ function bind2(elements, spec, backend, model) {
     }
   }
   for (const [key, row] of Object.entries(spec.table)) {
-    if (!isWidgetKey2(key) || !isPlainObject9(row) || !isPlainObject9(row.params)) continue;
+    if (!isWidgetKey2(key) || !isPlainObject10(row) || !isPlainObject10(row.params)) continue;
     for (const param of Object.keys(row.params)) {
       const entry = controls[param] ?? (controls[param] = { components: [], widgets: [], bound: false });
       if (!entry.widgets.includes(key)) entry.widgets.push(key);
@@ -21861,11 +22471,11 @@ function bindComponents2(elements, { backend = null, model = null } = {}) {
     if (!isComponentType2(element.type) || isDashboardCard2(element)) continue;
     const props = element.props ?? {};
     const entity = typeof props.entity === "string" && props.entity !== "" ? props.entity : null;
-    if (named5(props.action)) actionRow(props.action).components.push(uid);
-    if (named5(props.source)) actionRow(props.source).reads.push(uid);
+    if (named6(props.action)) actionRow(props.action).components.push(uid);
+    if (named6(props.source)) actionRow(props.source).reads.push(uid);
     if (isPart3(element)) for (const name of partCalls2(element)) actionRow(name).components.push(uid);
     if (entity !== null && element.type !== "field") entityRow(entity).components.push(uid);
-    if (!named5(props.field)) continue;
+    if (!named6(props.field)) continue;
     const column = entity === null ? null : (tables[entity]?.columns ?? {})[props.field] ?? null;
     const injected = entity !== null && (has(tables, entity) && INJECTED_COLUMNS3.includes(props.field) || platform(entity) && PLATFORM_TABLES3[entity].includes(props.field));
     const key = `${entity ?? ""}.${props.field}`;
@@ -21892,7 +22502,7 @@ function bindComponents2(elements, { backend = null, model = null } = {}) {
     unreached_mutations: Object.keys(facts).filter((name) => (facts[name].verbs ?? []).some((verb) => MUTATING_VERBS2.has(verb)) && !reached.has(name)).sort(natural5)
   };
 }
-function named5(value) {
+function named6(value) {
   return typeof value === "string" && value !== "";
 }
 function isWidgetKey2(key) {
@@ -21930,7 +22540,7 @@ function componentProblems2(elements, bindings, { handlers = [], handlersSource
   for (const uid of Object.keys(elements).sort(natural5)) {
     const element = elements[uid];
     if (element.type !== "form") continue;
-    const missing = [ACTION_ATTR2, ENTITY_ATTR2].filter((attr3) => !named5(element.props[attr3 === ACTION_ATTR2 ? "action" : "entity"]));
+    const missing = [ACTION_ATTR2, ENTITY_ATTR2].filter((attr3) => !named6(element.props[attr3 === ACTION_ATTR2 ? "action" : "entity"]));
     if (missing.length === 0) continue;
     problems.push({
       code: "unbound_form",
@@ -21952,8 +22562,8 @@ function componentProblems2(elements, bindings, { handlers = [], handlersSource
   for (const uid of Object.keys(elements).sort(natural5)) {
     const element = elements[uid];
     const filter = element.props?.filter;
-    if (!isComponentType2(element.type) || !isPlainObject9(filter)) continue;
-    const entity = named5(element.props.entity) ? element.props.entity : null;
+    if (!isComponentType2(element.type) || !isPlainObject10(filter)) continue;
+    const entity = named6(element.props.entity) ? element.props.entity : null;
     if (entity === null || !Object.prototype.hasOwnProperty.call(tables, entity)) continue;
     const columns = tables[entity].columns ?? {};
     for (const column of Object.keys(filter).sort()) {
@@ -22001,7 +22611,7 @@ function dataSection2(app, manifest, spec, elements, describe7, problems) {
     ...Object.keys(sources).length > 0 ? { sources } : {}
   };
   if (describe7) {
-    const widgets2 = isPlainObject9(describe7.widgets) ? describe7.widgets : {};
+    const widgets2 = isPlainObject10(describe7.widgets) ? describe7.widgets : {};
     const missing = Object.keys(spec.table).filter(isWidgetKey2).filter((key) => !(key in widgets2));
     if (spec.found && spec.unresolved.length === 0 && missing.length > 0) {
       problems.push({
@@ -22050,12 +22660,12 @@ function readSources2(handlers) {
     if (!SOURCES_TABLE2.test(source) || HANDLER_LITERAL2.test(source)) continue;
     const literals = new Literals2(source, "py");
     const table = literals.constant("SOURCES");
-    if (!isPlainObject9(table)) continue;
+    if (!isPlainObject10(table)) continue;
     for (const [name, row] of Object.entries(table)) {
-      if (isPlainObject9(row) && sources[name] === void 0) sources[name] = row;
+      if (isPlainObject10(row) && sources[name] === void 0) sources[name] = row;
     }
     const carried = literals.constant("TRANSFORMS");
-    if (!isPlainObject9(carried)) continue;
+    if (!isPlainObject10(carried)) continue;
     for (const [name, text3] of Object.entries(carried)) {
       const path3 = table[name]?.transform;
       if (typeof path3 === "string" && typeof text3 === "string" && !texts.has(path3)) texts.set(path3, text3);
@@ -22090,7 +22700,7 @@ function specTransforms2(handlers, spec, problems) {
   }
   const unreadable = problems.some((problem5) => problem5.code === "transform_unreadable");
   for (const key of Object.keys(spec.table).filter(isWidgetKey2).sort(natural5)) {
-    const path3 = isPlainObject9(spec.table[key]) ? spec.table[key].transform : void 0;
+    const path3 = isPlainObject10(spec.table[key]) ? spec.table[key].transform : void 0;
     if (typeof path3 !== "string" || unreadable || carried !== null && carried.has(path3)) continue;
     problems.push({
       code: "transform_not_carried",
@@ -22114,7 +22724,7 @@ function readApp2(handlers, elements, manifest = null) {
     let row = null;
     if (HANDLER_LITERAL2.test(source)) {
       const value = new Literals2(source, "py").constant("HANDLER");
-      if (isPlainObject9(value)) row = value;
+      if (isPlainObject10(value)) row = value;
     }
     declared[handler.name] = { role: "custom", ...row ?? {} };
     if (declared[handler.name].requiresRole === void 0) {
@@ -22142,9 +22752,9 @@ function screensOf2(elements, order2 = null) {
     screens.push({
       page: element.page,
       component: element.type,
-      id: named5(props.id) ? props.id : element.id ?? null,
-      entity: named5(props.entity) ? props.entity : entityAbove2(elements, element),
-      handler: named5(props.source) ? props.source : named5(props.action) ? props.action : null
+      id: named6(props.id) ? props.id : element.id ?? null,
+      entity: named6(props.entity) ? props.entity : entityAbove2(elements, element),
+      handler: named6(props.source) ? props.source : named6(props.action) ? props.action : null
     });
   }
   return screens;
@@ -22156,7 +22766,7 @@ function entityAbove2(elements, element) {
     seen.add(at);
     const above = elements[at];
     if (above === void 0) return null;
-    if (named5(above.props?.entity)) return above.props.entity;
+    if (named6(above.props?.entity)) return above.props.entity;
     at = above.parent ?? null;
   }
   return null;
@@ -22185,7 +22795,7 @@ function backendSection2(app, manifest, pages, elements) {
     if (!isComponentType2(element.type) || isDashboardCard2(element)) continue;
     for (const key of ["action", "source"]) {
       const name = element.props?.[key];
-      if (!named5(name)) continue;
+      if (!named6(name)) continue;
       record2(name, "attribute");
       attributed.add(name);
     }
@@ -22214,14 +22824,14 @@ function backendSection2(app, manifest, pages, elements) {
     data_model: model,
     handlers,
     roles,
-    capabilities: isPlainObject9(manifest.capabilities) ? manifest.capabilities : {},
+    capabilities: isPlainObject10(manifest.capabilities) ? manifest.capabilities : {},
     ui: {
       entry,
       handlers_called: [...called].sort(),
       handlers_called_via: [...via.values()].sort((a, b) => natural5(a.name, b.name) || natural5(a.via, b.via)),
       scripts_loaded: [...new Set(pages.flatMap((page) => page.scripts))].sort()
     },
-    connect_tables: isPlainObject9(manifest.connectTables) ? manifest.connectTables : isPlainObject9(manifest.connect_tables) ? manifest.connect_tables : {},
+    connect_tables: isPlainObject10(manifest.connectTables) ? manifest.connectTables : isPlainObject10(manifest.connect_tables) ? manifest.connect_tables : {},
     invariants: invariants2(model, roles, handlers)
   };
 }
@@ -22231,7 +22841,7 @@ function callsOnTable2(source, verb) {
   return holders.some((holder) => new RegExp(`(?:^|[^\\w.])(?:${holder})\\s*\\.\\s*${verb}\\s*\\(`, "m").test(source));
 }
 function declaredHandler2(manifest, name) {
-  return isPlainObject9(manifest?.handlers) ? manifest.handlers[name] ?? null : null;
+  return isPlainObject10(manifest?.handlers) ? manifest.handlers[name] ?? null : null;
 }
 function signatureOk2(source) {
   const code = source.split("\n").map((line2) => /^\s*#/.test(line2) ? "" : line2).join("\n");
@@ -22258,7 +22868,7 @@ function rolesOf3(manifest) {
     // Declaration order IS the ladder: `authz.py` reads the manifest's list
     // top down, so the first role is the most junior.
     seniority: index,
-    tables: isPlainObject9(role?.tables) ? role.tables : {},
+    tables: isPlainObject10(role?.tables) ? role.tables : {},
     // Stated only when the manifest states it, like the platform's own
     // derivation (`app_contract_store._roles_section`): the norm is a role
     // that sees only its own screens, and `[]` on every role would say
@@ -22270,16 +22880,16 @@ function rolesOf3(manifest) {
 }
 function pageRolesOf2(manifest, path3) {
   const pages = Array.isArray(manifest?.pages) ? manifest.pages : [];
-  const entry = pages.find((one) => isPlainObject9(one) && one.path === path3);
+  const entry = pages.find((one) => isPlainObject10(one) && one.path === path3);
   const roles = Array.isArray(entry?.roles) ? entry.roles.filter((role) => typeof role === "string" && role !== "") : [];
   return roles.length > 0 ? { roles } : {};
 }
 function normaliseModel2(document) {
   const tables = {};
-  const raw = isPlainObject9(document?.tables) ? document.tables : {};
+  const raw = isPlainObject10(document?.tables) ? document.tables : {};
   for (const [name, table] of Object.entries(raw)) {
     const columns = {};
-    for (const [column, spec] of Object.entries(isPlainObject9(table?.columns) ? table.columns : {})) {
+    for (const [column, spec] of Object.entries(isPlainObject10(table?.columns) ? table.columns : {})) {
       const pk = Boolean(spec?.pk);
       columns[column] = {
         type: spec?.type ?? null,
@@ -22297,7 +22907,7 @@ function normaliseModel2(document) {
         // `computed` (a child total the platform selects with the row) and
         // `matches` (the column it should agree with), by `display`'s rule:
         // only where stated, so a model without them normalises to its bytes.
-        ...isPlainObject9(spec?.computed) ? { computed: spec.computed } : {},
+        ...isPlainObject10(spec?.computed) ? { computed: spec.computed } : {},
         ...typeof spec?.matches === "string" && spec.matches !== "" ? { matches: spec.matches } : {}
       };
     }
@@ -22315,7 +22925,7 @@ function normaliseModel2(document) {
       // row reads as before it is first saved. By `audit`'s rule: only where
       // stated, so a model with neither keeps normalising to its bytes.
       ...table?.singleton === true ? { singleton: true } : {},
-      ...table?.singleton === true && isPlainObject9(table?.defaults) ? { defaults: table.defaults } : {},
+      ...table?.singleton === true && isPlainObject10(table?.defaults) ? { defaults: table.defaults } : {},
       columns,
       indexes: Array.isArray(table?.indexes) ? table.indexes.map((index) => Array.isArray(index) ? index.map(String) : [String(index)]) : [],
       injected: [...INJECTED_COLUMNS3]
@@ -22648,10 +23258,10 @@ function isObject5(value) {
 var DECLARES_KEYS2 = Object.freeze(["reads", "calls", "produces", "shows"]);
 var SHOWS_KEYS2 = Object.freeze(["field", "format", "scale"]);
 var SHOWS_FORMATS2 = Object.freeze(["currency", "number", "percent"]);
-var isPlainObject10 = (value) => value !== null && typeof value === "object" && !Array.isArray(value);
-var named6 = (value) => typeof value === "string" && value !== "";
-var listOfNames2 = (value) => Array.isArray(value) && value.every(named6);
-var idOf3 = (element, uid) => named6(element?.props?.id) ? element.props.id : uid;
+var isPlainObject11 = (value) => value !== null && typeof value === "object" && !Array.isArray(value);
+var named7 = (value) => typeof value === "string" && value !== "";
+var listOfNames2 = (value) => Array.isArray(value) && value.every(named7);
+var idOf3 = (element, uid) => named7(element?.props?.id) ? element.props.id : uid;
 function pyCode2(source) {
   let out = "";
   let i = 0;
@@ -22720,7 +23330,7 @@ function handlerPayloadReads2(row, source) {
     return { generated: false, required: pyPayloadReads2(source).required };
   }
   if (role === "save" || role === "submit") {
-    return { generated: true, required: (Array.isArray(row.required) ? row.required : []).filter(named6) };
+    return { generated: true, required: (Array.isArray(row.required) ? row.required : []).filter(named7) };
   }
   return { generated: true, required: [] };
 }
@@ -22890,32 +23500,32 @@ function childIndex2(elements) {
   };
   for (const [uid, element] of Object.entries(elements)) {
     for (const child of Array.isArray(element?.children) ? element.children : []) if (child in elements) add(uid, child);
-    if (named6(element?.parent) && element.parent in elements) add(element.parent, uid);
+    if (named7(element?.parent) && element.parent in elements) add(element.parent, uid);
   }
   return index;
 }
 var ROW_HOLDERS2 = /* @__PURE__ */ new Set(["list", "queue", "detail"]);
 var INPUT_PARTS2 = /* @__PURE__ */ new Set(["number_input", "select", "date_picker", "toggle", "slider", "checkbox", "radio_group", "file_upload"]);
 function fieldOf2(element) {
-  if (element?.type === "field" && named6(element.props?.field)) return element.props.field;
-  if (INPUT_PARTS2.has(element?.type) && named6(element.props?.props?.field)) return element.props.props.field;
+  if (element?.type === "field" && named7(element.props?.field)) return element.props.field;
+  if (INPUT_PARTS2.has(element?.type) && named7(element.props?.props?.field)) return element.props.props.field;
   return null;
 }
 function mentions2(text3, name) {
   return new RegExp(`(^|[^A-Za-z0-9_])${reEscape2(name)}([^A-Za-z0-9_]|$)`).test(text3);
 }
 function payloadProducers2(contract, { moduleSource = () => void 0, pageSource = () => void 0 } = {}) {
-  const elements = isPlainObject10(contract?.elements) ? contract.elements : {};
-  const handlers = isPlainObject10(contract?.data?.app?.handlers) ? contract.data.app.handlers : {};
+  const elements = isPlainObject11(contract?.elements) ? contract.elements : {};
+  const handlers = isPlainObject11(contract?.data?.app?.handlers) ? contract.data.app.handlers : {};
   const children = childIndex2(elements);
   const out = /* @__PURE__ */ new Map();
   const add = (handler, producer) => {
-    if (!named6(handler)) return;
+    if (!named7(handler)) return;
     if (!out.has(handler)) out.set(handler, []);
     out.get(handler).push(producer);
   };
   const insideRow = (uid) => {
-    for (let at = elements[uid]?.parent; named6(at) && at in elements; at = elements[at]?.parent) {
+    for (let at = elements[uid]?.parent; named7(at) && at in elements; at = elements[at]?.parent) {
       if (ROW_HOLDERS2.has(elements[at]?.type)) return true;
     }
     return false;
@@ -22936,16 +23546,16 @@ function payloadProducers2(contract, { moduleSource = () => void 0, pageSource =
   };
   for (const uid of Object.keys(elements).sort()) {
     const element = elements[uid];
-    const props = isPlainObject10(element?.props) ? element.props : {};
+    const props = isPlainObject11(element?.props) ? element.props : {};
     const page = element?.page ?? null;
-    const typed = isPlainObject10(props.props) ? props.props : {};
-    if (named6(props.source)) add(props.source, { page, uid, what: "reader", keys: null });
+    const typed = isPlainObject11(props.props) ? props.props : {};
+    if (named7(props.source)) add(props.source, { page, uid, what: "reader", keys: null });
     switch (element?.type) {
       case "form": {
         const keys2 = fieldsUnder(uid);
         if (insideRow(uid) && !keys2.includes("id")) keys2.push("id");
         const by = handlers[props.action]?.by;
-        if (named6(by) && !keys2.includes(by)) keys2.push(by);
+        if (named7(by) && !keys2.includes(by)) keys2.push(by);
         add(props.action, { page, uid, what: "form", keys: keys2 });
         break;
       }
@@ -22960,41 +23570,41 @@ function payloadProducers2(contract, { moduleSource = () => void 0, pageSource =
       // stepper's current step `{step}`; a file_upload's on_upload its field.
       case "button":
         add(typed.on_click, { page, uid, what: "button", keys: typed.reason === "required" || typed.reason === "optional" ? ["reason"] : [] });
-        for (const entry of Array.isArray(typed.split) ? typed.split : []) if (isPlainObject10(entry)) add(entry.on_click, { page, uid, what: "button", keys: [] });
+        for (const entry of Array.isArray(typed.split) ? typed.split : []) if (isPlainObject11(entry)) add(entry.on_click, { page, uid, what: "button", keys: [] });
         break;
       case "empty_state":
         add(typed.on_action, { page, uid, what: "empty_state", keys: [] });
         break;
       case "stepper":
-        for (const step of Array.isArray(typed.steps) ? typed.steps : []) if (isPlainObject10(step)) add(step.action, { page, uid, what: "stepper", keys: ["step"] });
+        for (const step of Array.isArray(typed.steps) ? typed.steps : []) if (isPlainObject11(step)) add(step.action, { page, uid, what: "stepper", keys: ["step"] });
         break;
       case "file_upload":
-        add(typed.on_upload, { page, uid, what: "file_upload", keys: named6(typed.field) ? [typed.field] : [] });
+        add(typed.on_upload, { page, uid, what: "file_upload", keys: named7(typed.field) ? [typed.field] : [] });
         break;
       case "data_grid":
         add(typed.on_row, { page, uid, what: "data_grid", keys: ["row"] });
         for (const action of Array.isArray(typed.row_actions) ? typed.row_actions : []) {
-          if (isPlainObject10(action) && named6(action.call)) add(action.call, { page, uid, what: "data_grid", keys: ["id", "row"] });
+          if (isPlainObject11(action) && named7(action.call)) add(action.call, { page, uid, what: "data_grid", keys: ["id", "row"] });
         }
         for (const column of Array.isArray(typed.columns) ? typed.columns : []) {
-          if (isPlainObject10(column) && column.cell === "toggle" && named6(column.call)) add(column.call, { page, uid, what: "data_grid", keys: ["id", "row", "field", "value"] });
+          if (isPlainObject11(column) && column.cell === "toggle" && named7(column.call)) add(column.call, { page, uid, what: "data_grid", keys: ["id", "row", "field", "value"] });
         }
         break;
       case "action": {
         const keys2 = [];
-        if (insideRow(uid)) keys2.push(named6(props.param) ? props.param : "id");
-        else if (named6(props.param)) keys2.push(props.param);
+        if (insideRow(uid)) keys2.push(named7(props.param) ? props.param : "id");
+        else if (named7(props.param)) keys2.push(props.param);
         if (handlers[props.action]?.role === "decide") keys2.push("decision", "note");
         add(props.action, { page, uid, what: "action", keys: keys2 });
         break;
       }
       case "custom": {
-        const declares = isPlainObject10(props.declares) ? props.declares : {};
-        const produces = isPlainObject10(declares.produces) ? declares.produces : {};
+        const declares = isPlainObject11(props.declares) ? props.declares : {};
+        const produces = isPlainObject11(declares.produces) ? declares.produces : {};
         for (const [handler, keys2] of Object.entries(produces)) {
           add(handler, { page, uid, what: "custom", keys: listOfNames2(keys2) ? [...keys2] : null });
         }
-        const source = named6(props.module) ? moduleSource(props.module) : void 0;
+        const source = named7(props.module) ? moduleSource(props.module) : void 0;
         if (typeof source !== "string") {
           add("*", { page, uid, what: "custom", keys: null });
           break;
@@ -23020,10 +23630,10 @@ function payloadProducers2(contract, { moduleSource = () => void 0, pageSource =
   }
   const modules = /* @__PURE__ */ new Set();
   for (const element of Object.values(elements)) {
-    if (element?.type === "custom" && named6(element.props?.module)) modules.add(`${element.page}|${element.props.module}`);
+    if (element?.type === "custom" && named7(element.props?.module)) modules.add(`${element.page}|${element.props.module}`);
   }
   for (const page of Array.isArray(contract?.pages) ? contract.pages : []) {
-    if (!named6(page?.path)) continue;
+    if (!named7(page?.path)) continue;
     const text3 = pageSource(page.path);
     const unknown = { page: page.path, uid: null, what: "script", keys: null };
     if (typeof text3 !== "string") {
@@ -23068,7 +23678,7 @@ function either4(items) {
   return `${items.slice(0, -1).join(", ")} or ${items.at(-1)}`;
 }
 function unproducedPayloadKeys2(contract, { handlerSource = () => void 0, moduleSource, pageSource } = {}) {
-  const handlers = isPlainObject10(contract?.data?.app?.handlers) ? contract.data.app.handlers : {};
+  const handlers = isPlainObject11(contract?.data?.app?.handlers) ? contract.data.app.handlers : {};
   const producers = payloadProducers2(contract, { moduleSource, pageSource });
   const anywhere = producers.get("*") ?? [];
   const out = [];
@@ -23079,7 +23689,7 @@ function unproducedPayloadKeys2(contract, { handlerSource = () => void 0, module
     if (own.length === 0 || anywhere.length > 0 || own.some((one) => one.keys === null)) continue;
     const produced = [];
     for (const one of own) for (const key of one.keys) if (!produced.includes(key)) produced.push(key);
-    const pages = [...new Set(own.map((one) => one.page).filter(named6))];
+    const pages = [...new Set(own.map((one) => one.page).filter(named7))];
     for (const key of reads.required) {
       if (produced.includes(key)) continue;
       const there = produced.length === 0 ? "the controls there produce no payload keys" : `the controls there produce ${produced.join(", ")}`;
@@ -23091,12 +23701,12 @@ function unproducedPayloadKeys2(contract, { handlerSource = () => void 0, module
   return out;
 }
 function undeclaredCustomCalls2(contract, { moduleSource = () => void 0 } = {}) {
-  const elements = isPlainObject10(contract?.elements) ? contract.elements : {};
+  const elements = isPlainObject11(contract?.elements) ? contract.elements : {};
   const out = [];
   for (const uid of Object.keys(elements).sort()) {
     const element = elements[uid];
-    const props = isPlainObject10(element?.props) ? element.props : {};
-    if (element?.type !== "custom" || !isPlainObject10(props.declares) || !named6(props.module)) continue;
+    const props = isPlainObject11(element?.props) ? element.props : {};
+    if (element?.type !== "custom" || !isPlainObject11(props.declares) || !named7(props.module)) continue;
     const source = moduleSource(props.module);
     if (typeof source !== "string") continue;
     const calls = listOfNames2(props.declares.calls) ? props.declares.calls : [];
@@ -23124,32 +23734,32 @@ function undeclaredCallMessage2(id, module, handler, calls, how) {
   return { problem: problem5, fix, message: `${problem5} ${fix}` };
 }
 function unreadUploadKeys2(contract, { handlerSource = () => void 0 } = {}) {
-  const elements = isPlainObject10(contract?.elements) ? contract.elements : {};
-  const handlers = isPlainObject10(contract?.data?.app?.handlers) ? contract.data.app.handlers : {};
+  const elements = isPlainObject11(contract?.elements) ? contract.elements : {};
+  const handlers = isPlainObject11(contract?.data?.app?.handlers) ? contract.data.app.handlers : {};
   const parents = /* @__PURE__ */ new Map();
   for (const [parent, kids] of childIndex2(elements)) for (const kid of kids) if (!parents.has(kid)) parents.set(kid, parent);
   const out = [];
   for (const uid of Object.keys(elements).sort()) {
     const element = elements[uid];
-    const typed = isPlainObject10(element?.props?.props) ? element.props.props : {};
-    if (element?.type !== "file_upload" || !named6(typed.field)) continue;
+    const typed = isPlainObject11(element?.props?.props) ? element.props.props : {};
+    if (element?.type !== "file_upload" || !named7(typed.field)) continue;
     const field = typed.field;
     const receivers = [];
-    if (named6(typed.on_upload)) receivers.push([typed.on_upload, "its on_upload"]);
-    for (let at = parents.get(uid); named6(at) && at in elements; at = parents.get(at)) {
+    if (named7(typed.on_upload)) receivers.push([typed.on_upload, "its on_upload"]);
+    for (let at = parents.get(uid); named7(at) && at in elements; at = parents.get(at)) {
       const holder = elements[at];
-      if (holder?.type === "dialog" && named6(holder.props?.props?.on_confirm)) {
+      if (holder?.type === "dialog" && named7(holder.props?.props?.on_confirm)) {
         receivers.push([holder.props.props.on_confirm, `the dialog "${idOf3(holder, at)}" it sits in`]);
         break;
       }
-      if (holder?.type === "form" && named6(holder.props?.action)) {
+      if (holder?.type === "form" && named7(holder.props?.action)) {
         receivers.push([holder.props.action, `the form "${idOf3(holder, at)}" it sits in`]);
         break;
       }
     }
     for (const [handler, via] of receivers) {
       const row = handlers[handler];
-      if (!isPlainObject10(row)) continue;
+      if (!isPlainObject11(row)) continue;
       const role = row.role ?? "custom";
       let read;
       if (role === "custom") {
@@ -23172,16 +23782,16 @@ function unreadUploadKeys2(contract, { handlerSource = () => void 0 } = {}) {
   return out;
 }
 function stepsWithoutAction2(contract) {
-  const elements = isPlainObject10(contract?.elements) ? contract.elements : {};
+  const elements = isPlainObject11(contract?.elements) ? contract.elements : {};
   const out = [];
   for (const uid of Object.keys(elements).sort()) {
     const element = elements[uid];
     const steps = element?.type === "stepper" && Array.isArray(element.props?.props?.steps) ? element.props.props.steps : [];
     steps.forEach((step, index) => {
-      if (index === steps.length - 1 || !isPlainObject10(step) || named6(step.action)) return;
+      if (index === steps.length - 1 || !isPlainObject11(step) || named7(step.action)) return;
       const id = idOf3(element, uid);
-      const name = named6(step.id) ? step.id : String(index);
-      const next = named6(steps[index + 1]?.id) ? steps[index + 1].id : "the next step";
+      const name = named7(step.id) ? step.id : String(index);
+      const next = named7(steps[index + 1]?.id) ? steps[index + 1].id : "the next step";
       const problem5 = `stepper "${id}" step "${name}" names no action, so no handler moves the flow on from it \u2014 a flow that reaches it stays there.`;
       const fix = `Give it the handler that moves it to "${next}" (action, action_label), or make it the last step.`;
       out.push({ uid, id, page: element.page ?? null, step: name, index, problem: problem5, fix, message: `${problem5} ${fix}` });
@@ -23445,6 +24055,10 @@ function checkComponents(app, contract, contractError) {
     }
   };
   for (const uid of uids) if (isPart4(elements[uid])) refsIn(elements[uid].props?.props);
+  for (const page of Array.isArray(contract.pages) ? contract.pages : []) {
+    const source = page?.nav?.counts?.source;
+    if (typeof source === "string" && source !== "") attributeRefs.add(source);
+  }
   for (const uid of uids) {
     const element = elements[uid];
     if (element.type !== "custom" || typeof element.props?.module !== "string") continue;
@@ -23586,45 +24200,45 @@ function isReferenced4(name, pageText) {
 }
 
 // ../flows/appspace-builder/kit/contract/levers.mjs
-var isPlainObject11 = (value) => value !== null && typeof value === "object" && !Array.isArray(value);
-var named7 = (value) => typeof value === "string" && value !== "";
+var isPlainObject12 = (value) => value !== null && typeof value === "object" && !Array.isArray(value);
+var named8 = (value) => typeof value === "string" && value !== "";
 function both2(items) {
   if (items.length <= 1) return items.join("");
   return `${items.slice(0, -1).join(", ")} and ${items.at(-1)}`;
 }
 function paramPages(contract) {
   return (Array.isArray(contract?.pages) ? contract.pages : []).filter(
-    (page) => page?.owned !== true && named7(page?.path) && Array.isArray(page.params) && page.params.length > 0
+    (page) => page?.owned !== true && named8(page?.path) && Array.isArray(page.params) && page.params.length > 0
   );
 }
 function namesOf(page) {
   const out = [];
-  for (const param of page.params) if (isPlainObject11(param) && named7(param.name) && !out.includes(param.name)) out.push(param.name);
+  for (const param of page.params) if (isPlainObject12(param) && named8(param.name) && !out.includes(param.name)) out.push(param.name);
   return out;
 }
 function elementsOn(contract, path3) {
-  const elements = isPlainObject11(contract?.elements) ? contract.elements : {};
+  const elements = isPlainObject12(contract?.elements) ? contract.elements : {};
   return Object.keys(elements).sort().filter((uid) => elements[uid]?.page === path3).map((uid) => [uid, elements[uid]]);
 }
 function paramModeOf(element) {
-  const props = isPlainObject11(element?.props) ? element.props : {};
-  if (element?.type === "control") return named7(props.param) ? props.param : named7(element.binding) ? element.binding : null;
+  const props = isPlainObject12(element?.props) ? element.props : {};
+  if (element?.type === "control") return named8(props.param) ? props.param : named8(element.binding) ? element.binding : null;
   if (element?.type === "field" || element?.type === "action") return null;
-  if (named7(props.param) && element?.type !== "custom") return props.param;
-  const typed = isPlainObject11(props.props) ? props.props : {};
-  return named7(typed.param) ? typed.param : null;
+  if (named8(props.param) && element?.type !== "custom") return props.param;
+  const typed = isPlainObject12(props.props) ? props.props : {};
+  return named8(typed.param) ? typed.param : null;
 }
 function paramsWrittenBy(element) {
   const out = [];
   const one = paramModeOf(element);
   if (one !== null) out.push(one);
   if (element?.type === "custom") return out;
-  const typed = isPlainObject11(element?.props?.props) ? element.props.props : {};
-  if (named7(typed.param_to)) out.push(typed.param_to);
+  const typed = isPlainObject12(element?.props?.props) ? element.props.props : {};
+  if (named8(typed.param_to)) out.push(typed.param_to);
   for (const filter of Array.isArray(typed.filters) ? typed.filters : []) {
-    if (!isPlainObject11(filter)) continue;
-    if (named7(filter.param)) out.push(filter.param);
-    if (named7(filter.param_to)) out.push(filter.param_to);
+    if (!isPlainObject12(filter)) continue;
+    if (named8(filter.param)) out.push(filter.param);
+    if (named8(filter.param_to)) out.push(filter.param_to);
   }
   return out;
 }
@@ -23636,10 +24250,10 @@ function paramWriters(contract, { moduleSource = () => void 0 } = {}) {
     for (const [, element] of elementsOn(contract, page.path)) {
       for (const name of paramsWrittenBy(element)) written.add(name);
       if (element?.type !== "custom") continue;
-      const props = isPlainObject11(element.props) ? element.props : {};
-      const produces = isPlainObject11(props.declares?.produces) ? props.declares.produces : {};
-      for (const keys2 of Object.values(produces)) for (const key of Array.isArray(keys2) ? keys2 : []) if (named7(key)) written.add(key);
-      if (!named7(props.module)) continue;
+      const props = isPlainObject12(element.props) ? element.props : {};
+      const produces = isPlainObject12(props.declares?.produces) ? props.declares.produces : {};
+      for (const keys2 of Object.values(produces)) for (const key of Array.isArray(keys2) ? keys2 : []) if (named8(key)) written.add(key);
+      if (!named8(props.module)) continue;
       const source = moduleSource(props.module);
       if (typeof source !== "string") {
         unknown = true;
@@ -23650,6 +24264,13 @@ function paramWriters(contract, { moduleSource = () => void 0 } = {}) {
         else written.add(call.name);
       }
     }
+    if (contract?.app?.shell?.nav === "rail") {
+      for (const entry of Array.isArray(contract.app.shell.rail?.entries) ? contract.app.shell.rail.entries : []) {
+        if (isPlainObject12(entry?.param)) {
+          for (const name of Object.keys(entry.param)) if (named8(name)) written.add(name);
+        }
+      }
+    }
     out.set(page.path, { written, unknown });
   }
   return out;
@@ -23663,7 +24284,7 @@ function unboundControls(contract, files = {}) {
     for (const name of namesOf(page)) {
       if (written.has(name)) continue;
       const param = page.params.find((one) => one?.name === name) ?? {};
-      const kind = named7(param.kind) ? param.kind : null;
+      const kind = named8(param.kind) ? param.kind : null;
       const opens3 = param.default === void 0 ? "no value at all" : `its default (${JSON.stringify(param.default)})`;
       const problem5 = `${page.path} declares param "${name}"${kind === null ? "" : ` (${kind})`}, and no control on the page writes it \u2014 no part in param mode, no custom that calls ui.setParam("${name}", \u2026) or declares it in declares.produces \u2014 so the page only ever shows ${opens3}.`;
       const fix = `Give it a control \u2014 a part in param mode (props.props.param "${name}": a slider, a number_input, a select, a date_picker or a toggle), or a custom whose module calls ui.setParam("${name}", value) \u2014 or drop the param.`;
@@ -23678,16 +24299,16 @@ function honoursOf(sources, name) {
   const queue = [name];
   while (queue.length > 0) {
     const one = queue.shift();
-    if (seen.has(one) || !isPlainObject11(sources[one])) continue;
+    if (seen.has(one) || !isPlainObject12(sources[one])) continue;
     seen.add(one);
-    for (const honored of Array.isArray(sources[one].honors) ? sources[one].honors : []) if (named7(honored) && !out.includes(honored)) out.push(honored);
+    for (const honored of Array.isArray(sources[one].honors) ? sources[one].honors : []) if (named8(honored) && !out.includes(honored)) out.push(honored);
     if (Array.isArray(sources[one].from)) queue.push(...sources[one].from);
   }
   return out;
 }
 function unreadParams(contract, { moduleSource = () => void 0, handlerSource = () => void 0 } = {}) {
-  const sources = isPlainObject11(contract?.data?.sources) ? contract.data.sources : {};
-  const handlers = isPlainObject11(contract?.data?.app?.handlers) ? contract.data.app.handlers : {};
+  const sources = isPlainObject12(contract?.data?.sources) ? contract.data.sources : {};
+  const handlers = isPlainObject12(contract?.data?.app?.handlers) ? contract.data.app.handlers : {};
   const out = [];
   for (const page of paramPages(contract)) {
     const read = /* @__PURE__ */ new Set();
@@ -23696,15 +24317,15 @@ function unreadParams(contract, { moduleSource = () => void 0, handlerSource = (
     const custom = [];
     let unknown = false;
     for (const [, element] of elementsOn(contract, page.path)) {
-      const props = isPlainObject11(element?.props) ? element.props : {};
-      const reads = [props.source, ...Array.isArray(props.declares?.reads) ? props.declares.reads : []].filter(named7);
+      const props = isPlainObject12(element?.props) ? element.props : {};
+      const reads = [props.source, ...Array.isArray(props.declares?.reads) ? props.declares.reads : []].filter(named8);
       for (const one of reads) {
         if (Object.prototype.hasOwnProperty.call(sources, one)) {
           if (!named_.includes(one)) named_.push(one);
           for (const honored of honoursOf(sources, one)) read.add(honored);
         } else if (handlers[one]?.role === "custom" && !custom.includes(one)) custom.push(one);
       }
-      if (element?.type === "custom" && named7(props.module)) {
+      if (element?.type === "custom" && named8(props.module)) {
         const text3 = moduleSource(props.module);
         if (typeof text3 === "string") modules.push(text3);
         else unknown = true;
@@ -23746,28 +24367,28 @@ function checkLevers(app, contract, contractError) {
 }
 
 // ../flows/appspace-builder/kit/contract/look.mjs
-var isPlainObject12 = (value) => value !== null && typeof value === "object" && !Array.isArray(value);
-var named8 = (value) => typeof value === "string" && value !== "";
-function humanise2(name) {
+var isPlainObject13 = (value) => value !== null && typeof value === "object" && !Array.isArray(value);
+var named9 = (value) => typeof value === "string" && value !== "";
+function humanise3(name) {
   const words = String(name).replace(/^_+/, "").replace(/_/g, " ").trim();
   return words === "" ? "" : words[0].toUpperCase() + words.slice(1);
 }
-var WORDING = {
-  custom: { noun: "card", fallback: (p) => [humanise2(String(p.module ?? "").replace(/^.*\/|\.js$/g, "")), "its module"] },
-  chart: { noun: "card", fallback: (p) => [humanise2(String(p.y ?? "")), "its y column"] },
-  widget: { noun: "card", fallback: (p) => [humanise2(named8(p.source) ? p.source : "widget"), "its source"] },
-  stat: { noun: "tile", fallback: (p) => [humanise2(String(p.measure ?? "")), "its measure"] },
-  list: { noun: "card", fallback: (p) => [humanise2(named8(p.entity) ? p.entity : "list"), "its entity"] },
-  queue: { noun: "card", fallback: (p) => [humanise2(named8(p.entity) ? p.entity : "queue"), "its entity"] },
+var WORDING2 = {
+  custom: { noun: "card", fallback: (p) => [humanise3(String(p.module ?? "").replace(/^.*\/|\.js$/g, "")), "its module"] },
+  chart: { noun: "card", fallback: (p) => [humanise3(String(p.y ?? "")), "its y column"] },
+  widget: { noun: "card", fallback: (p) => [humanise3(named9(p.source) ? p.source : "widget"), "its source"] },
+  stat: { noun: "tile", fallback: (p) => [humanise3(String(p.measure ?? "")), "its measure"] },
+  list: { noun: "card", fallback: (p) => [humanise3(named9(p.entity) ? p.entity : "list"), "its entity"] },
+  queue: { noun: "card", fallback: (p) => [humanise3(named9(p.entity) ? p.entity : "queue"), "its entity"] },
   form: { noun: "card", fallback: () => ["New", "the runtime\u2019s default"] },
   dialog: { noun: "dialog" }
 };
-var TITLED = Object.fromEntries(
-  TITLED_TYPES2.map((type) => [type, { noun: CONTROL_PARTS2.includes(type) ? "input" : "card", fallback: () => [humanise2(type), "its type"], ...WORDING[type] }])
+var TITLED2 = Object.fromEntries(
+  TITLED_TYPES2.map((type) => [type, { noun: CONTROL_PARTS2.includes(type) ? "input" : "card", fallback: () => [humanise3(type), "its type"], ...WORDING2[type] }])
 );
-var LAYOUT = /* @__PURE__ */ new Set(["region", "tabs", "tab_panel"]);
-function rootsOf2(contract, page) {
-  const elements = isPlainObject12(contract?.elements) ? contract.elements : {};
+var LAYOUT2 = /* @__PURE__ */ new Set(["region", "tabs", "tab_panel"]);
+function rootsOf3(contract, page) {
+  const elements = isPlainObject13(contract?.elements) ? contract.elements : {};
   if (Array.isArray(page?.tree) && page.tree.length > 0) return page.tree.filter((uid) => elements[uid] !== void 0);
   const contained = /* @__PURE__ */ new Set();
   for (const element of Object.values(elements)) for (const child of element?.children ?? []) contained.add(child);
@@ -23776,8 +24397,8 @@ function rootsOf2(contract, page) {
     return element?.page === page?.path && (element.parent === null || element.parent === void 0) && !contained.has(uid);
   });
 }
-function untitledCards(contract) {
-  const elements = isPlainObject12(contract?.elements) ? contract.elements : {};
+function untitledCards2(contract) {
+  const elements = isPlainObject13(contract?.elements) ? contract.elements : {};
   const out = [];
   for (const page of Array.isArray(contract?.pages) ? contract.pages : []) {
     if (page?.owned === true) continue;
@@ -23788,7 +24409,7 @@ function untitledCards(contract) {
         const element = elements[uid];
         if (element === void 0 || seen.has(uid)) continue;
         seen.add(uid);
-        if (LAYOUT.has(element.type ?? "")) {
+        if (LAYOUT2.has(element.type ?? "")) {
           const children = element.children?.length ? element.children : Object.keys(elements).filter((other) => elements[other]?.parent === uid);
           walk4(children);
         } else {
@@ -23796,19 +24417,19 @@ function untitledCards(contract) {
         }
       }
     };
-    walk4(rootsOf2(contract, page));
+    walk4(rootsOf3(contract, page));
     for (const uid of drawn2) {
       const element = elements[uid];
       const type = element.type ?? "";
-      const titled = TITLED[type];
+      const titled = TITLED2[type];
       if (titled === void 0) continue;
-      const props = isPlainObject12(element.props) ? element.props : {};
-      const typed = isPlainObject12(props.props) ? props.props : {};
-      const card = isPlainObject12(element.card) ? element.card : isPlainObject12(props.card) ? props.card : {};
-      if (named8(props.label) || named8(card.title)) continue;
-      if (type === "dialog" ? named8(typed.title) : named8(typed.label)) continue;
-      const id = named8(element.id) ? element.id : named8(props.id) ? props.id : null;
-      const [title, from] = named8(props.field) ? [humanise2(props.field), "its field"] : id !== null ? [humanise2(id), "its id"] : titled.fallback(props);
+      const props = isPlainObject13(element.props) ? element.props : {};
+      const typed = isPlainObject13(props.props) ? props.props : {};
+      const card = isPlainObject13(element.card) ? element.card : isPlainObject13(props.card) ? props.card : {};
+      if (named9(props.label) || named9(card.title)) continue;
+      if (type === "dialog" ? named9(typed.title) : named9(typed.label)) continue;
+      const id = named9(element.id) ? element.id : named9(props.id) ? props.id : null;
+      const [title, from] = named9(props.field) ? [humanise3(props.field), "its field"] : id !== null ? [humanise3(id), "its id"] : titled.fallback(props);
       const what = id !== null ? `${type} "${id}"` : `the ${type} ${uid}`;
       const shown2 = title === "" ? "has no title at all" : `is titled "${title}" after ${from}`;
       out.push({ page: page.path, uid, type, id, noun: titled.noun, title, from, message: `${what} has no label, so its ${titled.noun} ${shown2}` });
@@ -23816,49 +24437,49 @@ function untitledCards(contract) {
   }
   return out;
 }
-var BAND_LOOK4 = ["subtitle", "layout", "surface", "aside"];
-function lookPages(contract) {
-  const elements = isPlainObject12(contract?.elements) ? contract.elements : {};
+var BAND_LOOK5 = ["subtitle", "layout", "surface", "aside"];
+function lookPages2(contract) {
+  const elements = isPlainObject13(contract?.elements) ? contract.elements : {};
   const out = /* @__PURE__ */ new Set();
   for (const page of Array.isArray(contract?.pages) ? contract.pages : []) {
-    if (page?.owned === true || !named8(page?.path)) continue;
-    const bands = (Array.isArray(page.sections) ? page.sections : []).some((section) => BAND_LOOK4.some((key) => named8(section?.[key])));
-    const cards = Object.values(elements).some((element) => element?.page === page.path && (isPlainObject12(element.card) || named8(element.emphasis)));
+    if (page?.owned === true || !named9(page?.path)) continue;
+    const bands = (Array.isArray(page.sections) ? page.sections : []).some((section) => BAND_LOOK5.some((key) => named9(section?.[key])));
+    const cards = Object.values(elements).some((element) => element?.page === page.path && (isPlainObject13(element.card) || named9(element.emphasis)));
     if (bands || cards) out.add(page.path);
   }
   return out;
 }
-var SPAN_LAYOUTS = /* @__PURE__ */ new Set([void 0, "grid"]);
-var CONTROL_TYPES = /* @__PURE__ */ new Set(["filter", "control", ...CONTROL_PARTS2]);
-function bandsOf2(contract, page) {
-  const elements = isPlainObject12(contract?.elements) ? contract.elements : {};
-  const roots = rootsOf2(contract, page);
-  return (Array.isArray(page.sections) ? page.sections : []).filter((section) => named8(section?.id)).map((section) => ({ section, roots: roots.filter((uid) => elements[uid]?.section === section.id) }));
+var SPAN_LAYOUTS2 = /* @__PURE__ */ new Set([void 0, "grid"]);
+var CONTROL_TYPES2 = /* @__PURE__ */ new Set(["filter", "control", ...CONTROL_PARTS2]);
+function bandsOf3(contract, page) {
+  const elements = isPlainObject13(contract?.elements) ? contract.elements : {};
+  const roots = rootsOf3(contract, page);
+  return (Array.isArray(page.sections) ? page.sections : []).filter((section) => named9(section?.id)).map((section) => ({ section, roots: roots.filter((uid) => elements[uid]?.section === section.id) }));
 }
-function nameOf3(uid, element) {
-  const id = named8(element?.props?.id) ? element.props.id : named8(element?.id) ? element.id : null;
+function nameOf4(uid, element) {
+  const id = named9(element?.props?.id) ? element.props.id : named9(element?.id) ? element.id : null;
   return id === null ? `the ${element?.type ?? "element"} ${uid}` : `${element.type} "${id}"`;
 }
-function isControl(element, moduleSource) {
-  const props = isPlainObject12(element?.props) ? element.props : {};
-  if (CONTROL_TYPES.has(element?.type)) return true;
-  if (element?.type !== "custom" && element?.type !== "action" && named8(props.param)) return true;
-  if (isPlainObject12(props.props) && named8(props.props.param)) return true;
-  if (element?.type === "custom" && named8(props.module)) {
+function isControl2(element, moduleSource) {
+  const props = isPlainObject13(element?.props) ? element.props : {};
+  if (CONTROL_TYPES2.has(element?.type)) return true;
+  if (element?.type !== "custom" && element?.type !== "action" && named9(props.param)) return true;
+  if (isPlainObject13(props.props) && named9(props.props.param)) return true;
+  if (element?.type === "custom" && named9(props.module)) {
     const source = moduleSource(props.module);
     return typeof source === "string" && scanUiSetParams2(source).length > 0;
   }
   return false;
 }
-function layoutProblems(contract, { moduleSource = () => void 0 } = {}) {
-  const elements = isPlainObject12(contract?.elements) ? contract.elements : {};
-  const looked = lookPages(contract);
+function layoutProblems2(contract, { moduleSource = () => void 0 } = {}) {
+  const elements = isPlainObject13(contract?.elements) ? contract.elements : {};
+  const looked = lookPages2(contract);
   const out = [];
   for (const page of Array.isArray(contract?.pages) ? contract.pages : []) {
     if (!looked.has(page?.path)) continue;
-    for (const { section, roots } of bandsOf2(contract, page)) {
+    for (const { section, roots } of bandsOf3(contract, page)) {
       const band = `band "${section.id}" on ${page.path}`;
-      const layout = named8(section.layout) ? section.layout : void 0;
+      const layout = named9(section.layout) ? section.layout : void 0;
       if (layout === "kpi_strip") {
         for (const uid of roots) {
           const element = elements[uid];
@@ -23868,30 +24489,30 @@ function layoutProblems(contract, { moduleSource = () => void 0 } = {}) {
             page: page.path,
             section: section.id,
             uid,
-            message: `${band} is a kpi_strip, which draws equal KPI tiles, and holds ${nameOf3(uid, element)}; move it to a band of its own, or make it a stat (or a kpi widget)`
+            message: `${band} is a kpi_strip, which draws equal KPI tiles, and holds ${nameOf4(uid, element)}; move it to a band of its own, or make it a stat (or a kpi widget)`
           });
         }
       }
       if (layout === "sidebar" && roots.length > 0) {
         const uid = section.aside === "start" ? roots[0] : roots[roots.length - 1];
-        if (!isControl(elements[uid], moduleSource)) {
+        if (!isControl2(elements[uid], moduleSource)) {
           out.push({
             rule: "L2",
             page: page.path,
             section: section.id,
             uid,
-            message: `${band} is a sidebar whose aside (its ${section.aside === "start" ? "first" : "last"} element) is ${nameOf3(uid, elements[uid])}; the narrow column holds the controls that turn the page \u2014 a filter, an input, a part in param mode, a custom that calls ui.setParam \u2014 so put one there, or pick another layout`
+            message: `${band} is a sidebar whose aside (its ${section.aside === "start" ? "first" : "last"} element) is ${nameOf4(uid, elements[uid])}; the narrow column holds the controls that turn the page \u2014 a filter, an input, a part in param mode, a custom that calls ui.setParam \u2014 so put one there, or pick another layout`
           });
         }
       }
-      if (SPAN_LAYOUTS.has(layout)) {
+      if (SPAN_LAYOUTS2.has(layout)) {
         let row = [];
         let used = 0;
         for (const uid of roots) {
           const raw = elements[uid]?.grid?.span;
           const span = raw === null || raw === void 0 ? 12 : Number(raw);
           if (!Number.isInteger(span) || span < 1 || span > 12) {
-            out.push({ rule: "L4", page: page.path, section: section.id, uid, message: `${band}: ${nameOf3(uid, elements[uid])} spans ${JSON.stringify(raw)}, and a span is a whole number of the twelve columns, 1 to 12` });
+            out.push({ rule: "L4", page: page.path, section: section.id, uid, message: `${band}: ${nameOf4(uid, elements[uid])} spans ${JSON.stringify(raw)}, and a span is a whole number of the twelve columns, 1 to 12` });
             continue;
           }
           if (used + span > 12) {
@@ -23902,7 +24523,7 @@ function layoutProblems(contract, { moduleSource = () => void 0 } = {}) {
                 page: page.path,
                 section: section.id,
                 uid,
-                message: `${band}: ${row.map((one) => nameOf3(one.uid, elements[one.uid])).join(" + ")} + ${nameOf3(uid, elements[uid])} span ${spans.join(" + ")} = ${spans.reduce((a, b) => a + b, 0)} on one row of twelve, so the last wraps and leaves ${12 - used} column${12 - used === 1 ? "" : "s"} of the row empty; make the row's spans add up to 12`
+                message: `${band}: ${row.map((one) => nameOf4(one.uid, elements[one.uid])).join(" + ")} + ${nameOf4(uid, elements[uid])} span ${spans.join(" + ")} = ${spans.reduce((a, b) => a + b, 0)} on one row of twelve, so the last wraps and leaves ${12 - used} column${12 - used === 1 ? "" : "s"} of the row empty; make the row's spans add up to 12`
               });
             }
             row = [];
@@ -23920,6 +24541,137 @@ function layoutProblems(contract, { moduleSource = () => void 0 } = {}) {
   }
   return out;
 }
+var HEADER_ACTION_TYPES2 = ["button", "dialog"];
+function headerActionProblems2(contract) {
+  const elements = isPlainObject13(contract?.elements) ? contract.elements : {};
+  const out = [];
+  for (const [pageIndex, page] of (Array.isArray(contract?.pages) ? contract.pages : []).entries()) {
+    if (page?.owned === true || !isPlainObject13(page?.header) || page.header.actions === void 0) continue;
+    const say = (index, id, uid, message) => out.push({ rule: "L5", code: "header_action_unknown", page: page.path, pageIndex, index, id, uid, message });
+    const actions = page.header.actions;
+    if (!Array.isArray(actions) || actions.length === 0) {
+      say(null, actions, null, `${page.path} states header.actions as ${JSON.stringify(actions)}; it is a list of the ids of the buttons and dialogs drawn beside the title`);
+      continue;
+    }
+    const seen = /* @__PURE__ */ new Set();
+    for (const [index, id] of actions.entries()) {
+      if (!named9(id)) {
+        say(index, id, null, `${page.path}'s header.actions[${index}] is ${JSON.stringify(id)}; each entry is an element id (props.id) on the page`);
+        continue;
+      }
+      if (seen.has(id)) {
+        say(index, id, null, `${page.path}'s header.actions lists "${id}" twice; the runtime draws it once`);
+        continue;
+      }
+      seen.add(id);
+      const hits = Object.keys(elements).filter((uid) => {
+        const element2 = elements[uid];
+        return element2?.page === page.path && element2.type !== "region" && (named9(element2.props?.id) ? element2.props.id : element2.id) === id;
+      });
+      if (hits.length === 0) {
+        say(index, id, null, `${page.path}'s header.actions names "${id}", and no element on the page has that id, so nothing is drawn beside the title; name a button or dialog of this page by its props.id`);
+        continue;
+      }
+      const element = elements[hits[0]];
+      if (!HEADER_ACTION_TYPES2.includes(element.type)) {
+        say(index, id, hits[0], `${page.path}'s header.actions names ${nameOf4(hits[0], element)}, and a header action is a ${HEADER_ACTION_TYPES2.join(" or a ")}; make it one, or leave it in its band`);
+      }
+    }
+  }
+  return out;
+}
+function navCountProblems2(contract) {
+  const out = [];
+  const handlers = isPlainObject13(contract?.data?.app?.handlers) ? contract.data.app.handlers : {};
+  const pages = (Array.isArray(contract?.pages) ? contract.pages : []).filter((page) => page?.owned !== true);
+  const entries = Array.isArray(contract?.app?.shell?.rail?.entries) ? contract.app.shell.rail.entries : [];
+  const measured = entries.map((entry, index) => ({ entry, index })).filter(({ entry }) => named9(entry?.measure));
+  const counted = pages.filter((page) => isPlainObject13(page.nav) && page.nav.counts !== void 0);
+  if (counted.length === 0) {
+    if (measured.length > 0) {
+      out.push({
+        rule: "L6",
+        page: null,
+        where: "app.shell.rail.entries",
+        message: `the rail's entries name measures (${measured.map(({ entry }) => JSON.stringify(entry.measure)).join(", ")}) and no page states nav.counts.source, so no count is ever drawn; state the summary handler on the pages that draw the rail`
+      });
+    }
+    return out;
+  }
+  const measuresChecked = /* @__PURE__ */ new Set();
+  for (const page of counted) {
+    const source = page.nav.counts?.source;
+    const where2 = `${page.path} nav.counts.source`;
+    if (!named9(source)) {
+      out.push({ rule: "L6", page: page.path, where: where2, message: `${where2} is ${JSON.stringify(source ?? null)}; it names the summary handler whose measures are the rail's counts` });
+      continue;
+    }
+    const handler = handlers[source];
+    if (!isPlainObject13(handler) || handler.role !== "summary") {
+      out.push({
+        rule: "L6",
+        page: page.path,
+        where: where2,
+        message: `${where2} is "${source}", which is ${isPlainObject13(handler) ? `a ${JSON.stringify(handler.role ?? null)} handler` : "not a handler of this app"}; the rail's counts are one number per measure, which a summary handler answers`
+      });
+      continue;
+    }
+    if (!isPlainObject13(handler.measures) || measuresChecked.has(source)) continue;
+    measuresChecked.add(source);
+    for (const { entry, index } of measured) {
+      if (Object.prototype.hasOwnProperty.call(handler.measures, entry.measure)) continue;
+      out.push({
+        rule: "L6",
+        page: page.path,
+        where: `app.shell.rail.entries[${index}].measure`,
+        message: `rail entry "${entry.label}" counts measure "${entry.measure}", which "${source}" (${page.path} nav.counts.source) does not answer (it has ${Object.keys(handler.measures).map((one) => JSON.stringify(one)).join(", ")}), so its count is never drawn`
+      });
+    }
+  }
+  return out;
+}
+function appRoles2(contract) {
+  const raw = Array.isArray(contract?.backend?.roles) ? contract.backend.roles : [];
+  return raw.map((role) => typeof role === "string" ? { name: role, sees: [] } : { name: role?.name, sees: Array.isArray(role?.sees) ? role.sees.filter(named9) : [] }).filter((role) => named9(role.name));
+}
+function railReachProblems2(contract) {
+  const out = [];
+  const rail = contract?.app?.shell?.rail;
+  if (!isPlainObject13(rail)) return out;
+  const roles = appRoles2(contract);
+  if (roles.length === 0) return out;
+  const declared = new Map(roles.map((role) => [role.name, role]));
+  const pages = new Map((Array.isArray(contract?.pages) ? contract.pages : []).filter((page) => named9(page?.path)).map((page) => [page.path, page]));
+  const openers = (page) => Array.isArray(page?.roles) && page.roles.filter(named9).length > 0 ? page.roles.filter(named9) : null;
+  const canOpen = (name, page) => {
+    const open2 = openers(page);
+    if (open2 === null) return true;
+    const role = declared.get(name);
+    return open2.includes(name) || (role?.sees ?? []).some((seen) => open2.includes(seen));
+  };
+  for (const key of ["entries", "footer"]) {
+    for (const [index, entry] of (Array.isArray(rail[key]) ? rail[key] : []).entries()) {
+      if (!isPlainObject13(entry) || !named9(entry.label) || !named9(entry.page)) continue;
+      const page = pages.get(entry.page);
+      if (page === void 0) continue;
+      const where2 = `app.shell.rail.${key}[${index}]`;
+      const viewers = named9(entry.role) ? entry.role.split(/\s+/).filter(named9) : openers(page) ?? roles.map((role) => role.name);
+      const known = viewers.filter((name) => declared.has(name));
+      if (known.length === 0) {
+        out.push({ rule: "L7", where: where2, message: `rail ${key === "footer" ? "footer link" : "entry"} "${entry.label}" is drawn for ${viewers.map((one) => JSON.stringify(one)).join(", ")}, and the app declares none of them (${roles.map((role) => JSON.stringify(role.name)).join(", ")}), so nobody sees it` });
+        continue;
+      }
+      if (!known.some((name) => canOpen(name, page))) {
+        out.push({
+          rule: "L7",
+          where: where2,
+          message: `rail ${key === "footer" ? "footer link" : "entry"} "${entry.label}" links to ${entry.page}, which ${known.map((one) => JSON.stringify(one)).join(", ")} may not open (it is for ${openers(page).map((one) => JSON.stringify(one)).join(", ")}), so the entry is dead; give it the page's roles, or link a page they may open`
+        });
+      }
+    }
+  }
+  return out;
+}
 
 // ../flows/appspace-builder/kit/contract/platformPalette.mjs
 var PLATFORM_CHART2 = Object.freeze([
@@ -24141,7 +24893,7 @@ function rgbText2(parts) {
 
 // ../flows/appspace-builder/kit/checks/rules/look.mjs
 var THEME_FILE8 = "ui/theme.css";
-var RULES3 = ["L1", "L2", "L3", "L4"];
+var RULES3 = ["L1", "L2", "L3", "L4", "L5", "L6", "L7"];
 function checkLook(app, contract, contractError) {
   const view = {
     ...app,
@@ -24153,14 +24905,23 @@ function checkLook(app, contract, contractError) {
     return { violations, skipped: RULES3.map((rule) => ({ rule, reason })) };
   }
   const moduleSource = (module) => app.ui.find((file) => file.path === `ui/${module}`)?.text;
-  for (const found of layoutProblems(contract, { moduleSource })) {
+  for (const found of layoutProblems2(contract, { moduleSource })) {
     violations.push({ rule: found.rule, where: found.uid ?? found.page, message: found.message });
   }
-  const looked = lookPages(contract);
-  for (const found of untitledCards(contract)) {
+  const looked = lookPages2(contract);
+  for (const found of untitledCards2(contract)) {
     if (!looked.has(found.page)) continue;
     violations.push({ rule: "L3", where: found.uid, message: `${found.message}; give it props.label (or card.title) \u2014 what a reader should call this ${found.noun}` });
   }
+  for (const found of headerActionProblems2(contract)) {
+    violations.push({ rule: "L5", where: found.uid ?? `${found.page} header.actions`, message: `${found.code}: ${found.message}` });
+  }
+  for (const found of navCountProblems2(contract)) {
+    violations.push({ rule: "L6", where: found.where, message: found.message });
+  }
+  for (const found of railReachProblems2(contract)) {
+    violations.push({ rule: "L7", where: found.where, message: found.message });
+  }
   return { violations, skipped: [] };
 }
 
@@ -24321,7 +25082,7 @@ function rolesOf5(manifest) {
 // ../flows/appspace-builder/kit/checks/rules/ux.mjs
 var RULES4 = ["A3.23", "A3.24", "A3.25", "A3.26", "A3.27"];
 var STATE_COLUMNS = ["status", "state"];
-var isPlainObject13 = (v) => Boolean(v) && typeof v === "object" && !Array.isArray(v);
+var isPlainObject14 = (v) => Boolean(v) && typeof v === "object" && !Array.isArray(v);
 var said = (v) => typeof v === "string" && v.trim() !== "" ? v : null;
 var OPENERS4 = /* @__PURE__ */ new Set(["dialog", "list", "queue", "detail"]);
 var ROWS = /* @__PURE__ */ new Set(["list", "queue", "data_grid"]);
@@ -24330,9 +25091,9 @@ function checkUx(app, contract, contractError) {
     const reason = `the contract could not be extracted (${contractError ?? "no reason given"}), so the forms, lists and dialogs are not knowable here`;
     return { violations: [], skipped: RULES4.map((rule) => ({ rule, reason })) };
   }
-  const elements = isPlainObject13(contract.elements) ? contract.elements : {};
-  const handlers = isPlainObject13(contract.data?.app?.handlers) ? contract.data.app.handlers : {};
-  const tables = isPlainObject13(contract.app?.data_model?.tables) ? contract.app.data_model.tables : {};
+  const elements = isPlainObject14(contract.elements) ? contract.elements : {};
+  const handlers = isPlainObject14(contract.data?.app?.handlers) ? contract.data.app.handlers : {};
+  const tables = isPlainObject14(contract.app?.data_model?.tables) ? contract.app.data_model.tables : {};
   const uids = Object.keys(elements).sort(byPageThenRank);
   const kidsOf = (uid) => {
     const el = elements[uid];
@@ -24370,15 +25131,15 @@ function checkUx(app, contract, contractError) {
     if (!ROWS.has(el?.type)) continue;
     if (ancestors(uid).some((up) => up.type === "detail")) continue;
     const table = tableOf2(el);
-    if (!table || table.startsWith("_") || !isPlainObject13(tables[table]?.columns) || tables[table].singleton === true) continue;
+    if (!table || table.startsWith("_") || !isPlainObject14(tables[table]?.columns) || tables[table].singleton === true) continue;
     const columns = tables[table].columns;
-    const pk = Object.keys(columns).find((c) => isPlainObject13(columns[c]) && columns[c].pk === true) ?? "id";
+    const pk = Object.keys(columns).find((c) => isPlainObject14(columns[c]) && columns[c].pk === true) ?? "id";
     const fields = Object.keys(columns).filter((c) => c !== pk && !c.startsWith("_"));
     let shown2;
     let opens3;
     if (el.type === "data_grid") {
-      const typed = isPlainObject13(el.props?.props) ? el.props.props : {};
-      shown2 = new Set((Array.isArray(typed.columns) ? typed.columns : []).map((c) => isPlainObject13(c) ? c.field : c).filter(said));
+      const typed = isPlainObject14(el.props?.props) ? el.props.props : {};
+      shown2 = new Set((Array.isArray(typed.columns) ? typed.columns : []).map((c) => isPlainObject14(c) ? c.field : c).filter(said));
       opens3 = Boolean(said(typed.on_row)) || Array.isArray(typed.row_actions) && typed.row_actions.length > 0;
     } else {
       const kids = kidsOf(uid).map((k) => elements[k]);
@@ -24398,7 +25159,7 @@ function checkUx(app, contract, contractError) {
   for (const uid of uids) {
     const el = elements[uid];
     if (el?.type !== "dialog") continue;
-    const typed = isPlainObject13(el.props?.props) ? el.props.props : {};
+    const typed = isPlainObject14(el.props?.props) ? el.props.props : {};
     if (typed.values_from === "row") continue;
     if (said(typed.trigger) || said(el.props?.label) || said(typed.title)) continue;
     violations.push({
@@ -24411,8 +25172,8 @@ function checkUx(app, contract, contractError) {
     const el = elements[uid];
     if (!ROWS.has(el?.type) || el.type === "data_grid") continue;
     const table = tableOf2(el);
-    const columns = isPlainObject13(tables[table]?.columns) ? tables[table].columns : {};
-    const state = STATE_COLUMNS.find((c) => isPlainObject13(columns[c]) && Array.isArray(columns[c].enum));
+    const columns = isPlainObject14(tables[table]?.columns) ? tables[table].columns : {};
+    const state = STATE_COLUMNS.find((c) => isPlainObject14(columns[c]) && Array.isArray(columns[c].enum));
     const seen = /* @__PURE__ */ new Map();
     for (const kid of kidsOf(uid)) {
       const action = elements[kid];
@@ -24453,8 +25214,8 @@ function split(uid) {
 }
 
 // ../flows/appspace-builder/kit/contract/workflow.mjs
-var isPlainObject14 = (value) => value !== null && typeof value === "object" && !Array.isArray(value);
-var named9 = (value) => typeof value === "string" && value !== "";
+var isPlainObject15 = (value) => value !== null && typeof value === "object" && !Array.isArray(value);
+var named10 = (value) => typeof value === "string" && value !== "";
 function either5(items) {
   if (items.length <= 1) return items.join("");
   return `${items.slice(0, -1).join(", ")} or ${items.at(-1)}`;
@@ -24470,16 +25231,16 @@ function roleModel2(contract) {
   const sees = /* @__PURE__ */ new Map();
   const home = /* @__PURE__ */ new Map();
   for (const row of rows2) {
-    if (!isPlainObject14(row) || !named9(row.name) || names.includes(row.name)) continue;
+    if (!isPlainObject15(row) || !named10(row.name) || names.includes(row.name)) continue;
     names.push(row.name);
-    sees.set(row.name, new Set((Array.isArray(row.sees) ? row.sees : []).filter(named9)));
-    if (named9(row.home)) home.set(row.name, row.home);
+    sees.set(row.name, new Set((Array.isArray(row.sees) ? row.sees : []).filter(named10)));
+    if (named10(row.home)) home.set(row.name, row.home);
   }
   return { names, sees, home };
 }
 function gateRoles2(gate) {
-  if (Array.isArray(gate)) return gate.filter(named9);
-  return named9(gate) ? gate.split(/[\s,]+/).filter(named9) : [];
+  if (Array.isArray(gate)) return gate.filter(named10);
+  return named10(gate) ? gate.split(/[\s,]+/).filter(named10) : [];
 }
 function seesGate2(model, role, gate) {
   const wanted = gateRoles2(gate);
@@ -24497,7 +25258,7 @@ var HREF2 = /\bhref\s*=\s*["']([^"']*)["']/i;
 var ROLE_ATTR4 = /\bdata-dr-role\s*=\s*["']([^"']*)["']/i;
 var PAGE_LITERAL2 = /["'`](?:\.\/)?([A-Za-z0-9_-]+\.html)(?:[?#][^"'`]*)?["'`]/g;
 function targetOf2(href) {
-  if (!named9(href) || /^(?:[a-z]+:)?\/\//i.test(href) || href.startsWith("/") || href.startsWith("#")) return null;
+  if (!named10(href) || /^(?:[a-z]+:)?\/\//i.test(href) || href.startsWith("/") || href.startsWith("#")) return null;
   const file = href.replace(/^\.\//, "").replace(/[?#].*$/, "");
   if (!/^[A-Za-z0-9_-]+\.html$/.test(file)) return null;
   return `ui/${file}`;
@@ -24535,7 +25296,7 @@ function moduleLinks2(source) {
   return out;
 }
 function pagesOf2(contract) {
-  return (Array.isArray(contract?.pages) ? contract.pages : []).filter((page) => named9(page?.path));
+  return (Array.isArray(contract?.pages) ? contract.pages : []).filter((page) => named10(page?.path));
 }
 function entryPage2(contract) {
   const pages = pagesOf2(contract);
@@ -24554,10 +25315,10 @@ function reachByRole2(contract, { pageSource = () => void 0, moduleSource = () =
   const model = roleModel2(contract);
   const pages = pagesOf2(contract);
   const byPath = new Map(pages.map((page) => [page.path, page]));
-  const elements = isPlainObject14(contract?.elements) ? contract.elements : {};
+  const elements = isPlainObject15(contract?.elements) ? contract.elements : {};
   const modulesOn = /* @__PURE__ */ new Map();
   for (const element of Object.values(elements)) {
-    if (element?.type !== "custom" || !named9(element.page) || !named9(element.props?.module)) continue;
+    if (element?.type !== "custom" || !named10(element.page) || !named10(element.props?.module)) continue;
     if (!modulesOn.has(element.page)) modulesOn.set(element.page, /* @__PURE__ */ new Set());
     modulesOn.get(element.page).add(element.props.module);
   }
@@ -24682,23 +25443,23 @@ function moduleAsks2(source) {
   return ASKS2.some((pattern) => pattern.test(String(source ?? "")));
 }
 function decideAsks2(row) {
-  if (row?.role !== "decide" || !isPlainObject14(row.decision)) return false;
+  if (row?.role !== "decide" || !isPlainObject15(row.decision)) return false;
   const names = Object.keys(row.decision);
   if (names.length !== 1) return false;
   const spec = row.decision[names[0]];
-  return isPlainObject14(spec) && (spec.note === "required" || spec.note === "optional");
+  return isPlainObject15(spec) && (spec.note === "required" || spec.note === "optional");
 }
 function insideDialog2(elements, uid) {
   const seen = /* @__PURE__ */ new Set();
-  for (let at = elements[uid]?.parent; named9(at) && !seen.has(at); at = elements[at]?.parent) {
+  for (let at = elements[uid]?.parent; named10(at) && !seen.has(at); at = elements[at]?.parent) {
     seen.add(at);
     if (elements[at]?.type === "dialog") return true;
   }
   return false;
 }
 function stateCallers2(contract, { moduleSource = () => void 0, handlerSource = () => void 0 } = {}) {
-  const elements = isPlainObject14(contract?.elements) ? contract.elements : {};
-  const handlers = isPlainObject14(contract?.data?.app?.handlers) ? contract.data.app.handlers : {};
+  const elements = isPlainObject15(contract?.elements) ? contract.elements : {};
+  const handlers = isPlainObject15(contract?.data?.app?.handlers) ? contract.data.app.handlers : {};
   const changing = new Set(Object.keys(handlers).filter((name) => changesState2(name, handlers[name], handlerSource(name))));
   const out = /* @__PURE__ */ new Map();
   const add = (handler, caller) => {
@@ -24708,10 +25469,10 @@ function stateCallers2(contract, { moduleSource = () => void 0, handlerSource =
   };
   for (const uid of Object.keys(elements).sort()) {
     const element = elements[uid];
-    const props = isPlainObject14(element?.props) ? element.props : {};
-    const typed = isPlainObject14(props.props) ? props.props : {};
+    const props = isPlainObject15(element?.props) ? element.props : {};
+    const typed = isPlainObject15(props.props) ? props.props : {};
     const page = element?.page ?? null;
-    const id = named9(props.id) ? props.id : uid;
+    const id = named10(props.id) ? props.id : uid;
     switch (element?.type) {
       case "form":
         add(props.action, { page, uid, id, what: "form", asks: true });
@@ -24722,27 +25483,27 @@ function stateCallers2(contract, { moduleSource = () => void 0, handlerSource =
       case "data_grid":
         add(typed.on_row, { page, uid, id, what: "grid row click", asks: false });
         for (const action of Array.isArray(typed.row_actions) ? typed.row_actions : []) {
-          if (!isPlainObject14(action) || !named9(action.call)) continue;
-          const asks = action.confirm === true || named9(action.confirm);
+          if (!isPlainObject15(action) || !named10(action.call)) continue;
+          const asks = action.confirm === true || named10(action.confirm);
           add(action.call, { page, uid, id, what: `row action "${action.label ?? action.call}"`, asks });
         }
         break;
       case "action":
       case "detail": {
-        if (!named9(props.action)) break;
-        const asks = insideDialog2(elements, uid) || decideAsks2(handlers[props.action]) || props.confirm === true || named9(props.confirm);
+        if (!named10(props.action)) break;
+        const asks = insideDialog2(elements, uid) || decideAsks2(handlers[props.action]) || props.confirm === true || named10(props.confirm);
         add(props.action, { page, uid, id, what: element.type === "action" ? "button" : "detail button", asks });
         break;
       }
       case "custom": {
-        const declares = isPlainObject14(props.declares) ? props.declares : {};
+        const declares = isPlainObject15(props.declares) ? props.declares : {};
         const called = /* @__PURE__ */ new Set([
-          ...Array.isArray(declares.calls) ? declares.calls.filter(named9) : [],
-          ...Object.keys(isPlainObject14(declares.produces) ? declares.produces : {})
+          ...Array.isArray(declares.calls) ? declares.calls.filter(named10) : [],
+          ...Object.keys(isPlainObject15(declares.produces) ? declares.produces : {})
         ]);
-        const source = named9(props.module) ? moduleSource(props.module) : void 0;
+        const source = named10(props.module) ? moduleSource(props.module) : void 0;
         if (typeof source === "string") {
-          for (const call of scanUiCalls2(source)) if (named9(call.handler)) called.add(call.handler);
+          for (const call of scanUiCalls2(source)) if (named10(call.handler)) called.add(call.handler);
         }
         const asks = typeof source === "string" ? moduleAsks2(source) : null;
         for (const handler of called) add(handler, { page, uid, id, what: `custom ${props.module ?? ""}`.trim(), asks, module: props.module });
@@ -24755,7 +25516,7 @@ function stateCallers2(contract, { moduleSource = () => void 0, handlerSource =
   return out;
 }
 function unconfirmedStateChanges2(contract, files = {}) {
-  const handlers = isPlainObject14(contract?.data?.app?.handlers) ? contract.data.app.handlers : {};
+  const handlers = isPlainObject15(contract?.data?.app?.handlers) ? contract.data.app.handlers : {};
   const out = [];
   for (const [handler, callers] of [...stateCallers2(contract, files).entries()].sort((a, b) => a[0] < b[0] ? -1 : 1)) {
     const bare = callers.filter((one) => one.asks === false);
@@ -24827,7 +25588,7 @@ function requiresReason2(lines, key, vars) {
   return false;
 }
 function unreadReasons2(contract, { handlerSource = () => void 0, moduleSource, pageSource } = {}) {
-  const handlers = isPlainObject14(contract?.data?.app?.handlers) ? contract.data.app.handlers : {};
+  const handlers = isPlainObject15(contract?.data?.app?.handlers) ? contract.data.app.handlers : {};
   const producers = payloadProducers2(contract, { moduleSource, pageSource });
   const out = [];
   for (const name of Object.keys(handlers).sort()) {
@@ -24843,7 +25604,7 @@ function unreadReasons2(contract, { handlerSource = () => void 0, moduleSource,
       for (const key of one.keys) {
         if (!REASON_KEYS2.includes(key)) continue;
         if (!sent.has(key)) sent.set(key, /* @__PURE__ */ new Set());
-        if (named9(one.page)) sent.get(key).add(one.page);
+        if (named10(one.page)) sent.get(key).add(one.page);
       }
     }
     for (const [key, pages] of [...sent.entries()].sort()) {
@@ -24866,7 +25627,7 @@ function unreadReasons2(contract, { handlerSource = () => void 0, moduleSource,
   return out;
 }
 function unliftableRefusals2(contract, { handlerSource = () => void 0 } = {}) {
-  const handlers = isPlainObject14(contract?.data?.app?.handlers) ? contract.data.app.handlers : {};
+  const handlers = isPlainObject15(contract?.data?.app?.handlers) ? contract.data.app.handlers : {};
   const out = [];
   for (const name of Object.keys(handlers).sort()) {
     if ((handlers[name]?.role ?? "custom") !== "custom") continue;
@@ -24924,13 +25685,13 @@ function rolesLandingNowhere2(contract) {
 function sourceRoles2(contract, name) {
   const source = contract?.data?.sources?.[name];
   const stated2 = gateRoles2(source?.requiresRole);
-  const elements = isPlainObject14(contract?.elements) ? contract.elements : {};
+  const elements = isPlainObject15(contract?.elements) ? contract.elements : {};
   const pages = new Map(pagesOf2(contract).map((page) => [page.path, page]));
   const union = [];
   let readers = 0;
   let open2 = false;
   for (const element of Object.values(elements)) {
-    const props = isPlainObject14(element?.props) ? element.props : {};
+    const props = isPlainObject15(element?.props) ? element.props : {};
     const reads = [props.source, ...Array.isArray(props.declares?.reads) ? props.declares.reads : []];
     if (!reads.includes(name)) continue;
     readers += 1;
@@ -24965,14 +25726,14 @@ function openToEveryRole2(contract) {
     { one: "page", many: "pages", verb: "open" },
     "State pages[].roles on each: the roles it is for (all of them, if that is what you mean)."
   );
-  const handlers = isPlainObject14(contract?.data?.app?.handlers) ? contract.data.app.handlers : {};
+  const handlers = isPlainObject15(contract?.data?.app?.handlers) ? contract.data.app.handlers : {};
   say(
     "handler",
     Object.keys(handlers).sort().filter((name) => gateRoles2(handlers[name]?.requiresRole).length === 0).map((name) => `"${name}"`),
     { one: "handler", many: "handlers", verb: "call" },
     "State requiresRole on each: the roles that may call it (all of them, if that is what you mean)."
   );
-  const sources = isPlainObject14(contract?.data?.sources) ? contract.data.sources : {};
+  const sources = isPlainObject15(contract?.data?.sources) ? contract.data.sources : {};
   say(
     "source",
     Object.keys(sources).sort().filter((name) => {
@@ -25019,7 +25780,7 @@ function kitFromDisk2() {
   }
   return kitOnDisk2;
 }
-var ADVISORY = /* @__PURE__ */ new Set(["A1.5", "A1.6", "A2.5", "A2.6", "A3.15", "A3.17", "A3.19", "A3.20", "A3.21", "A3.22", "A3.23", "A3.24", "A3.25", "A3.26", "A3.27", "A3.28", "A3.29"]);
+var ADVISORY = /* @__PURE__ */ new Set(["L6", "L7", "A1.5", "A1.6", "A2.5", "A2.6", "A3.15", "A3.17", "A3.19", "A3.20", "A3.21", "A3.22", "A3.23", "A3.24", "A3.25", "A3.26", "A3.27", "A3.28", "A3.29"]);
 function verify2({ app: appRef }, { extractContract: extractContract2 = extract2, kit } = {}) {
   const KIT = kit ?? kitFromDisk2();
   const app = loadApp2(resolve12(appRef.dir));
@@ -27092,18 +27853,18 @@ async function resolveFile(path3, base, { read = readFile11, confine = false, re
   const filename = basename2(full);
   return { bytes, filename, mimeType: mimeTypeOf(filename) };
 }
-function isPlainObject15(value) {
+function isPlainObject16(value) {
   return typeof value === "object" && value !== null && !Array.isArray(value);
 }
 function fileColumnsOf(model) {
   const out = /* @__PURE__ */ new Set();
-  const tables = isPlainObject15(model) ? model["tables"] : void 0;
-  if (!isPlainObject15(tables)) return out;
+  const tables = isPlainObject16(model) ? model["tables"] : void 0;
+  if (!isPlainObject16(tables)) return out;
   for (const table of Object.values(tables)) {
-    const columns = isPlainObject15(table) ? table["columns"] : void 0;
-    if (!isPlainObject15(columns)) continue;
+    const columns = isPlainObject16(table) ? table["columns"] : void 0;
+    if (!isPlainObject16(columns)) continue;
     for (const [name, column] of Object.entries(columns)) {
-      const type = typeof column === "string" ? column : isPlainObject15(column) ? column["type"] : void 0;
+      const type = typeof column === "string" ? column : isPlainObject16(column) ? column["type"] : void 0;
       if (type === "file") out.add(name);
     }
   }
@@ -27167,7 +27928,7 @@ function typeOf(value) {
   if (Array.isArray(value)) return "array";
   return typeof value;
 }
-function isPlainObject16(value) {
+function isPlainObject17(value) {
   return typeof value === "object" && value !== null && !Array.isArray(value);
 }
 function describe6(value) {
@@ -27194,7 +27955,7 @@ function validateShape(shape, path3 = "$") {
     }
     return shape.length === 0 ? [] : validateShape(shape[0], `${path3}[]`);
   }
-  if (isPlainObject16(shape)) {
+  if (isPlainObject17(shape)) {
     return Object.entries(shape).flatMap(
       ([key, sub]) => validateShape(sub, `${path3}.${key}`)
     );
@@ -27223,8 +27984,8 @@ function matchShape(value, shape, path3 = "$") {
     if (shape.length === 0) return [];
     return value.flatMap((item, i) => matchShape(item, shape[0], `${path3}[${String(i)}]`));
   }
-  if (isPlainObject16(shape)) {
-    if (!isPlainObject16(value)) {
+  if (isPlainObject17(shape)) {
+    if (!isPlainObject17(value)) {
       return [`${path3}: expected object, got ${typeOf(value)} (${describe6(value)}).`];
     }
     return Object.entries(shape).flatMap(
@@ -27234,8 +27995,8 @@ function matchShape(value, shape, path3 = "$") {
   return [`${path3}: ${describe6(shape)} is not a shape.`];
 }
 function matchExpect(value, expected, path3 = "$") {
-  if (isPlainObject16(expected)) {
-    if (!isPlainObject16(value)) {
+  if (isPlainObject17(expected)) {
+    if (!isPlainObject17(value)) {
       return [`${path3}: expected an object, got ${typeOf(value)} (${describe6(value)}).`];
     }
     return Object.entries(expected).flatMap(
@@ -27266,7 +28027,7 @@ function isUiEntry(entry) {
 }
 function parseError(raw, where2) {
   if (raw === true) return {};
-  if (!isPlainObject16(raw)) {
+  if (!isPlainObject17(raw)) {
     throw new FixtureError(
       `${where2}: "error" is true, or an object with "type" and/or "contains" \u2014 not ${describe6(raw)}.`
     );
@@ -27284,12 +28045,12 @@ function parseError(raw, where2) {
 }
 var FILE_FIELD = /^[A-Za-z_][A-Za-z0-9_]*$/;
 function parseFiles(raw, payload, where2) {
-  if (!isPlainObject16(raw)) {
+  if (!isPlainObject17(raw)) {
     throw new FixtureError(
       `${where2}: "files" maps a payload key to "sample" or a path in the app folder \u2014 not ${describe6(raw)}.`
     );
   }
-  if (!isPlainObject16(payload)) {
+  if (!isPlainObject17(payload)) {
     throw new FixtureError(
       `${where2}: a case with "files" puts {"upload": \u2026} under a payload key, so its "payload" is an object.`
     );
@@ -27315,7 +28076,7 @@ function parseFiles(raw, payload, where2) {
 }
 function parseCase(handler, raw, index) {
   const where2 = `handlers.${handler}[${String(index)}]`;
-  if (!isPlainObject16(raw)) {
+  if (!isPlainObject17(raw)) {
     throw new FixtureError(`${where2}: a case is an object, not ${describe6(raw)}.`);
   }
   const name = raw["name"];
@@ -27348,11 +28109,11 @@ function parseCase(handler, raw, index) {
   return kase;
 }
 function parseFixtures(raw, source) {
-  if (!isPlainObject16(raw)) {
+  if (!isPlainObject17(raw)) {
     throw new FixtureError(`${source}: the fixtures file is a JSON object, not ${describe6(raw)}.`);
   }
   const handlersRaw = raw["handlers"] ?? {};
-  if (!isPlainObject16(handlersRaw)) {
+  if (!isPlainObject17(handlersRaw)) {
     throw new FixtureError(`${source}: "handlers" is an object keyed by handler name.`);
   }
   const cases = [];
@@ -27372,7 +28133,7 @@ function parseFixtures(raw, source) {
     });
   }
   const uiRaw = raw["ui"] ?? {};
-  if (!isPlainObject16(uiRaw)) {
+  if (!isPlainObject17(uiRaw)) {
     throw new FixtureError(`${source}: "ui" is an object.`);
   }
   const entry = uiRaw["entry"] ?? "index.html";
@@ -29446,45 +30207,45 @@ __export(levers_exports, {
   unboundControls: () => unboundControls2,
   unreadParams: () => unreadParams2
 });
-var isPlainObject17 = (value) => value !== null && typeof value === "object" && !Array.isArray(value);
-var named10 = (value) => typeof value === "string" && value !== "";
+var isPlainObject18 = (value) => value !== null && typeof value === "object" && !Array.isArray(value);
+var named11 = (value) => typeof value === "string" && value !== "";
 function both4(items) {
   if (items.length <= 1) return items.join("");
   return `${items.slice(0, -1).join(", ")} and ${items.at(-1)}`;
 }
 function paramPages2(contract) {
   return (Array.isArray(contract?.pages) ? contract.pages : []).filter(
-    (page) => page?.owned !== true && named10(page?.path) && Array.isArray(page.params) && page.params.length > 0
+    (page) => page?.owned !== true && named11(page?.path) && Array.isArray(page.params) && page.params.length > 0
   );
 }
 function namesOf2(page) {
   const out = [];
-  for (const param of page.params) if (isPlainObject17(param) && named10(param.name) && !out.includes(param.name)) out.push(param.name);
+  for (const param of page.params) if (isPlainObject18(param) && named11(param.name) && !out.includes(param.name)) out.push(param.name);
   return out;
 }
 function elementsOn2(contract, path3) {
-  const elements = isPlainObject17(contract?.elements) ? contract.elements : {};
+  const elements = isPlainObject18(contract?.elements) ? contract.elements : {};
   return Object.keys(elements).sort().filter((uid) => elements[uid]?.page === path3).map((uid) => [uid, elements[uid]]);
 }
 function paramModeOf2(element) {
-  const props = isPlainObject17(element?.props) ? element.props : {};
-  if (element?.type === "control") return named10(props.param) ? props.param : named10(element.binding) ? element.binding : null;
+  const props = isPlainObject18(element?.props) ? element.props : {};
+  if (element?.type === "control") return named11(props.param) ? props.param : named11(element.binding) ? element.binding : null;
   if (element?.type === "field" || element?.type === "action") return null;
-  if (named10(props.param) && element?.type !== "custom") return props.param;
-  const typed = isPlainObject17(props.props) ? props.props : {};
-  return named10(typed.param) ? typed.param : null;
+  if (named11(props.param) && element?.type !== "custom") return props.param;
+  const typed = isPlainObject18(props.props) ? props.props : {};
+  return named11(typed.param) ? typed.param : null;
 }
 function paramsWrittenBy2(element) {
   const out = [];
   const one = paramModeOf2(element);
   if (one !== null) out.push(one);
   if (element?.type === "custom") return out;
-  const typed = isPlainObject17(element?.props?.props) ? element.props.props : {};
-  if (named10(typed.param_to)) out.push(typed.param_to);
+  const typed = isPlainObject18(element?.props?.props) ? element.props.props : {};
+  if (named11(typed.param_to)) out.push(typed.param_to);
   for (const filter of Array.isArray(typed.filters) ? typed.filters : []) {
-    if (!isPlainObject17(filter)) continue;
-    if (named10(filter.param)) out.push(filter.param);
-    if (named10(filter.param_to)) out.push(filter.param_to);
+    if (!isPlainObject18(filter)) continue;
+    if (named11(filter.param)) out.push(filter.param);
+    if (named11(filter.param_to)) out.push(filter.param_to);
   }
   return out;
 }
@@ -29496,10 +30257,10 @@ function paramWriters2(contract, { moduleSource = () => void 0 } = {}) {
     for (const [, element] of elementsOn2(contract, page.path)) {
       for (const name of paramsWrittenBy2(element)) written.add(name);
       if (element?.type !== "custom") continue;
-      const props = isPlainObject17(element.props) ? element.props : {};
-      const produces = isPlainObject17(props.declares?.produces) ? props.declares.produces : {};
-      for (const keys2 of Object.values(produces)) for (const key of Array.isArray(keys2) ? keys2 : []) if (named10(key)) written.add(key);
-      if (!named10(props.module)) continue;
+      const props = isPlainObject18(element.props) ? element.props : {};
+      const produces = isPlainObject18(props.declares?.produces) ? props.declares.produces : {};
+      for (const keys2 of Object.values(produces)) for (const key of Array.isArray(keys2) ? keys2 : []) if (named11(key)) written.add(key);
+      if (!named11(props.module)) continue;
       const source = moduleSource(props.module);
       if (typeof source !== "string") {
         unknown = true;
@@ -29510,6 +30271,13 @@ function paramWriters2(contract, { moduleSource = () => void 0 } = {}) {
         else written.add(call.name);
       }
     }
+    if (contract?.app?.shell?.nav === "rail") {
+      for (const entry of Array.isArray(contract.app.shell.rail?.entries) ? contract.app.shell.rail.entries : []) {
+        if (isPlainObject18(entry?.param)) {
+          for (const name of Object.keys(entry.param)) if (named11(name)) written.add(name);
+        }
+      }
+    }
     out.set(page.path, { written, unknown });
   }
   return out;
@@ -29523,7 +30291,7 @@ function unboundControls2(contract, files = {}) {
     for (const name of namesOf2(page)) {
       if (written.has(name)) continue;
       const param = page.params.find((one) => one?.name === name) ?? {};
-      const kind = named10(param.kind) ? param.kind : null;
+      const kind = named11(param.kind) ? param.kind : null;
       const opens3 = param.default === void 0 ? "no value at all" : `its default (${JSON.stringify(param.default)})`;
       const problem5 = `${page.path} declares param "${name}"${kind === null ? "" : ` (${kind})`}, and no control on the page writes it \u2014 no part in param mode, no custom that calls ui.setParam("${name}", \u2026) or declares it in declares.produces \u2014 so the page only ever shows ${opens3}.`;
       const fix = `Give it a control \u2014 a part in param mode (props.props.param "${name}": a slider, a number_input, a select, a date_picker or a toggle), or a custom whose module calls ui.setParam("${name}", value) \u2014 or drop the param.`;
@@ -29538,16 +30306,16 @@ function honoursOf2(sources, name) {
   const queue = [name];
   while (queue.length > 0) {
     const one = queue.shift();
-    if (seen.has(one) || !isPlainObject17(sources[one])) continue;
+    if (seen.has(one) || !isPlainObject18(sources[one])) continue;
     seen.add(one);
-    for (const honored of Array.isArray(sources[one].honors) ? sources[one].honors : []) if (named10(honored) && !out.includes(honored)) out.push(honored);
+    for (const honored of Array.isArray(sources[one].honors) ? sources[one].honors : []) if (named11(honored) && !out.includes(honored)) out.push(honored);
     if (Array.isArray(sources[one].from)) queue.push(...sources[one].from);
   }
   return out;
 }
 function unreadParams2(contract, { moduleSource = () => void 0, handlerSource = () => void 0 } = {}) {
-  const sources = isPlainObject17(contract?.data?.sources) ? contract.data.sources : {};
-  const handlers = isPlainObject17(contract?.data?.app?.handlers) ? contract.data.app.handlers : {};
+  const sources = isPlainObject18(contract?.data?.sources) ? contract.data.sources : {};
+  const handlers = isPlainObject18(contract?.data?.app?.handlers) ? contract.data.app.handlers : {};
   const out = [];
   for (const page of paramPages2(contract)) {
     const read = /* @__PURE__ */ new Set();
@@ -29556,15 +30324,15 @@ function unreadParams2(contract, { moduleSource = () => void 0, handlerSource =
     const custom = [];
     let unknown = false;
     for (const [, element] of elementsOn2(contract, page.path)) {
-      const props = isPlainObject17(element?.props) ? element.props : {};
-      const reads = [props.source, ...Array.isArray(props.declares?.reads) ? props.declares.reads : []].filter(named10);
+      const props = isPlainObject18(element?.props) ? element.props : {};
+      const reads = [props.source, ...Array.isArray(props.declares?.reads) ? props.declares.reads : []].filter(named11);
       for (const one of reads) {
         if (Object.prototype.hasOwnProperty.call(sources, one)) {
           if (!named_.includes(one)) named_.push(one);
           for (const honored of honoursOf2(sources, one)) read.add(honored);
         } else if (handlers[one]?.role === "custom" && !custom.includes(one)) custom.push(one);
       }
-      if (element?.type === "custom" && named10(props.module)) {
+      if (element?.type === "custom" && named11(props.module)) {
         const text3 = moduleSource(props.module);
         if (typeof text3 === "string") modules.push(text3);
         else unknown = true;
@@ -29589,190 +30357,6 @@ function unreadParams2(contract, { moduleSource = () => void 0, handlerSource =
   return out;
 }
 
-// ../flows/insights-builder/kit/contract/look.mjs
-var look_exports = {};
-__export(look_exports, {
-  humanise: () => humanise3,
-  layoutProblems: () => layoutProblems2,
-  lookPages: () => lookPages2,
-  rootsOf: () => rootsOf3,
-  untitledCards: () => untitledCards2
-});
-var isPlainObject18 = (value) => value !== null && typeof value === "object" && !Array.isArray(value);
-var named11 = (value) => typeof value === "string" && value !== "";
-function humanise3(name) {
-  const words = String(name).replace(/^_+/, "").replace(/_/g, " ").trim();
-  return words === "" ? "" : words[0].toUpperCase() + words.slice(1);
-}
-var WORDING2 = {
-  custom: { noun: "card", fallback: (p) => [humanise3(String(p.module ?? "").replace(/^.*\/|\.js$/g, "")), "its module"] },
-  chart: { noun: "card", fallback: (p) => [humanise3(String(p.y ?? "")), "its y column"] },
-  widget: { noun: "card", fallback: (p) => [humanise3(named11(p.source) ? p.source : "widget"), "its source"] },
-  stat: { noun: "tile", fallback: (p) => [humanise3(String(p.measure ?? "")), "its measure"] },
-  list: { noun: "card", fallback: (p) => [humanise3(named11(p.entity) ? p.entity : "list"), "its entity"] },
-  queue: { noun: "card", fallback: (p) => [humanise3(named11(p.entity) ? p.entity : "queue"), "its entity"] },
-  form: { noun: "card", fallback: () => ["New", "the runtime\u2019s default"] },
-  dialog: { noun: "dialog" }
-};
-var TITLED2 = Object.fromEntries(
-  TITLED_TYPES.map((type) => [type, { noun: CONTROL_PARTS.includes(type) ? "input" : "card", fallback: () => [humanise3(type), "its type"], ...WORDING2[type] }])
-);
-var LAYOUT2 = /* @__PURE__ */ new Set(["region", "tabs", "tab_panel"]);
-function rootsOf3(contract, page) {
-  const elements = isPlainObject18(contract?.elements) ? contract.elements : {};
-  if (Array.isArray(page?.tree) && page.tree.length > 0) return page.tree.filter((uid) => elements[uid] !== void 0);
-  const contained = /* @__PURE__ */ new Set();
-  for (const element of Object.values(elements)) for (const child of element?.children ?? []) contained.add(child);
-  return Object.keys(elements).filter((uid) => {
-    const element = elements[uid];
-    return element?.page === page?.path && (element.parent === null || element.parent === void 0) && !contained.has(uid);
-  });
-}
-function untitledCards2(contract) {
-  const elements = isPlainObject18(contract?.elements) ? contract.elements : {};
-  const out = [];
-  for (const page of Array.isArray(contract?.pages) ? contract.pages : []) {
-    if (page?.owned === true) continue;
-    const seen = /* @__PURE__ */ new Set();
-    const drawn2 = [];
-    const walk4 = (uids) => {
-      for (const uid of uids) {
-        const element = elements[uid];
-        if (element === void 0 || seen.has(uid)) continue;
-        seen.add(uid);
-        if (LAYOUT2.has(element.type ?? "")) {
-          const children = element.children?.length ? element.children : Object.keys(elements).filter((other) => elements[other]?.parent === uid);
-          walk4(children);
-        } else {
-          drawn2.push(uid);
-        }
-      }
-    };
-    walk4(rootsOf3(contract, page));
-    for (const uid of drawn2) {
-      const element = elements[uid];
-      const type = element.type ?? "";
-      const titled = TITLED2[type];
-      if (titled === void 0) continue;
-      const props = isPlainObject18(element.props) ? element.props : {};
-      const typed = isPlainObject18(props.props) ? props.props : {};
-      const card = isPlainObject18(element.card) ? element.card : isPlainObject18(props.card) ? props.card : {};
-      if (named11(props.label) || named11(card.title)) continue;
-      if (type === "dialog" ? named11(typed.title) : named11(typed.label)) continue;
-      const id = named11(element.id) ? element.id : named11(props.id) ? props.id : null;
-      const [title, from] = named11(props.field) ? [humanise3(props.field), "its field"] : id !== null ? [humanise3(id), "its id"] : titled.fallback(props);
-      const what = id !== null ? `${type} "${id}"` : `the ${type} ${uid}`;
-      const shown2 = title === "" ? "has no title at all" : `is titled "${title}" after ${from}`;
-      out.push({ page: page.path, uid, type, id, noun: titled.noun, title, from, message: `${what} has no label, so its ${titled.noun} ${shown2}` });
-    }
-  }
-  return out;
-}
-var BAND_LOOK5 = ["subtitle", "layout", "surface", "aside"];
-function lookPages2(contract) {
-  const elements = isPlainObject18(contract?.elements) ? contract.elements : {};
-  const out = /* @__PURE__ */ new Set();
-  for (const page of Array.isArray(contract?.pages) ? contract.pages : []) {
-    if (page?.owned === true || !named11(page?.path)) continue;
-    const bands = (Array.isArray(page.sections) ? page.sections : []).some((section) => BAND_LOOK5.some((key) => named11(section?.[key])));
-    const cards = Object.values(elements).some((element) => element?.page === page.path && (isPlainObject18(element.card) || named11(element.emphasis)));
-    if (bands || cards) out.add(page.path);
-  }
-  return out;
-}
-var SPAN_LAYOUTS2 = /* @__PURE__ */ new Set([void 0, "grid"]);
-var CONTROL_TYPES2 = /* @__PURE__ */ new Set(["filter", "control", ...CONTROL_PARTS]);
-function bandsOf3(contract, page) {
-  const elements = isPlainObject18(contract?.elements) ? contract.elements : {};
-  const roots = rootsOf3(contract, page);
-  return (Array.isArray(page.sections) ? page.sections : []).filter((section) => named11(section?.id)).map((section) => ({ section, roots: roots.filter((uid) => elements[uid]?.section === section.id) }));
-}
-function nameOf4(uid, element) {
-  const id = named11(element?.props?.id) ? element.props.id : named11(element?.id) ? element.id : null;
-  return id === null ? `the ${element?.type ?? "element"} ${uid}` : `${element.type} "${id}"`;
-}
-function isControl2(element, moduleSource) {
-  const props = isPlainObject18(element?.props) ? element.props : {};
-  if (CONTROL_TYPES2.has(element?.type)) return true;
-  if (element?.type !== "custom" && element?.type !== "action" && named11(props.param)) return true;
-  if (isPlainObject18(props.props) && named11(props.props.param)) return true;
-  if (element?.type === "custom" && named11(props.module)) {
-    const source = moduleSource(props.module);
-    return typeof source === "string" && scanUiSetParams(source).length > 0;
-  }
-  return false;
-}
-function layoutProblems2(contract, { moduleSource = () => void 0 } = {}) {
-  const elements = isPlainObject18(contract?.elements) ? contract.elements : {};
-  const looked = lookPages2(contract);
-  const out = [];
-  for (const page of Array.isArray(contract?.pages) ? contract.pages : []) {
-    if (!looked.has(page?.path)) continue;
-    for (const { section, roots } of bandsOf3(contract, page)) {
-      const band = `band "${section.id}" on ${page.path}`;
-      const layout = named11(section.layout) ? section.layout : void 0;
-      if (layout === "kpi_strip") {
-        for (const uid of roots) {
-          const element = elements[uid];
-          if (element.type === "stat" || element.type === "widget" && element.props?.kind === "kpi") continue;
-          out.push({
-            rule: "L1",
-            page: page.path,
-            section: section.id,
-            uid,
-            message: `${band} is a kpi_strip, which draws equal KPI tiles, and holds ${nameOf4(uid, element)}; move it to a band of its own, or make it a stat (or a kpi widget)`
-          });
-        }
-      }
-      if (layout === "sidebar" && roots.length > 0) {
-        const uid = section.aside === "start" ? roots[0] : roots[roots.length - 1];
-        if (!isControl2(elements[uid], moduleSource)) {
-          out.push({
-            rule: "L2",
-            page: page.path,
-            section: section.id,
-            uid,
-            message: `${band} is a sidebar whose aside (its ${section.aside === "start" ? "first" : "last"} element) is ${nameOf4(uid, elements[uid])}; the narrow column holds the controls that turn the page \u2014 a filter, an input, a part in param mode, a custom that calls ui.setParam \u2014 so put one there, or pick another layout`
-          });
-        }
-      }
-      if (SPAN_LAYOUTS2.has(layout)) {
-        let row = [];
-        let used = 0;
-        for (const uid of roots) {
-          const raw = elements[uid]?.grid?.span;
-          const span = raw === null || raw === void 0 ? 12 : Number(raw);
-          if (!Number.isInteger(span) || span < 1 || span > 12) {
-            out.push({ rule: "L4", page: page.path, section: section.id, uid, message: `${band}: ${nameOf4(uid, elements[uid])} spans ${JSON.stringify(raw)}, and a span is a whole number of the twelve columns, 1 to 12` });
-            continue;
-          }
-          if (used + span > 12) {
-            if (used < 12) {
-              const spans = [...row.map((one) => one.span), span];
-              out.push({
-                rule: "L4",
-                page: page.path,
-                section: section.id,
-                uid,
-                message: `${band}: ${row.map((one) => nameOf4(one.uid, elements[one.uid])).join(" + ")} + ${nameOf4(uid, elements[uid])} span ${spans.join(" + ")} = ${spans.reduce((a, b) => a + b, 0)} on one row of twelve, so the last wraps and leaves ${12 - used} column${12 - used === 1 ? "" : "s"} of the row empty; make the row's spans add up to 12`
-              });
-            }
-            row = [];
-            used = 0;
-          }
-          row.push({ uid, span });
-          used += span;
-          if (used === 12) {
-            row = [];
-            used = 0;
-          }
-        }
-      }
-    }
-  }
-  return out;
-}
-
 // src/commands/appspace/_findings.ts
 var DECLARES = declares_exports;
 var LEVERS = levers_exports;