explico 0.11.0 → 0.12.0

package/dist/reference/registry.js

@@ -106,6 +106,13 @@ function buildNotationRegistry(rawInput) {
     );
   }
   detectCycles(definitions, edgeIndex, diagnostics);
+  const localIdsByLesson = /* @__PURE__ */ new Map();
+  for (const candidate of definitions.values()) {
+    if (candidate.kind !== "local") continue;
+    const ids = localIdsByLesson.get(candidate.lesson.lessonId) ?? [];
+    ids.push(candidate.id);
+    localIdsByLesson.set(candidate.lesson.lessonId, ids);
+  }
   const bundles = [];
   const backlinks = [];
   const reachableDefinitions = /* @__PURE__ */ new Set();
@@ -114,7 +121,10 @@ function buildNotationRegistry(rawInput) {
     const directIds = new Set(
       references.map((reference) => reference.definitionId)
     );
-    const definitionIds = transitiveClosure(directIds, edgeIndex);
+    const definitionIds = transitiveClosure(
+      /* @__PURE__ */ new Set([...directIds, ...localIdsByLesson.get(lesson.lessonId) ?? []]),
+      edgeIndex
+    );
     for (const id of definitionIds) reachableDefinitions.add(id);
     const bindingByKey = /* @__PURE__ */ new Map();
     for (const reference of references) {

package/dist/reference/remark-notation.mjs

@@ -46,6 +46,7 @@ import {
   equationAnchorId,
   parseEquationRef,
   stripEquationLabels,
+  TRANSPARENT_COMPONENTS,
 } from './equations.mjs';
 import {
   collectKeyedJsxFloats,
@@ -184,6 +185,25 @@ function lessonIdFrom(file) {
   return typeof lessonId === 'string' ? lessonId : undefined;
 }
 
+/** True for any page under `content/docs/`; a lesson is one of them. */
+function isDocsPageFile(file) {
+  return [file?.path, file?.history?.[0], file?.data?.file].some(
+    (value) => typeof value === 'string' && LESSON_DOC_PATH.test(value),
+  );
+}
+
+/**
+ * The blocks a chapter numbers (`makeFloatCtx` below, and the knowledge
+ * check). Rule S10 keeps each off a page that is not a chapter.
+ */
+const NUMBERED_BLOCK_NAMES = new Set([
+  'Table',
+  'Figure',
+  'Diagram',
+  'CompactExamples',
+  'AssessmentSet',
+]);
+
 const ANY_TERM_KEY = /\[\[\s*([^\][]+?)\s*\]\]/g;
 const ANY_EXPLAIN_KEY = /\\explain\s*\{([^{}]+)\}/g;
 
@@ -467,6 +487,130 @@ function injectFloatNumberAttributes(node, float, prefix) {
   });
 }
 
+/**
+ * The URL path Starlight serves a docs page at: `motion/index.mdx` is
+ * `/motion/`, `motion/speed.mdx` is `/motion/speed/`, `index.mdx` is `/`.
+ */
+function pageUrlFrom(file) {
+  for (const value of [file?.path, file?.history?.[0], file?.data?.file]) {
+    if (typeof value !== 'string') continue;
+    const match = value.match(LESSON_DOC_PATH);
+    if (!match) continue;
+    const route = match[1].replace(/\\/g, '/').replace(/(?:^|\/)index$/, '');
+    return route ? `/${route}/` : '/';
+  }
+  return undefined;
+}
+
+/**
+ * The chapter slug a link's `href` names — `motion/speed` for
+ * `/motion/speed/#sec-x`, for `../speed/` from a sibling page, and for
+ * `/base/motion/speed/` under the course's `base` — or `undefined` for a
+ * same-page anchor, another site, or a scheme such as `mailto:`.
+ */
+function linkedSlug(href, pageUrl, base) {
+  if (typeof href !== 'string' || href === '' || href.startsWith('#')) return undefined;
+  if (href.startsWith('//') || /^[a-z][a-z0-9+.-]*:/i.test(href)) return undefined;
+  let url;
+  try {
+    url = new URL(href, `https://course.invalid${pageUrl ?? '/'}`);
+  } catch {
+    return undefined;
+  }
+  let path;
+  try {
+    path = decodeURIComponent(url.pathname);
+  } catch {
+    return undefined;
+  }
+  const prefix = base && base !== '/' ? base.replace(/\/+$/, '') : '';
+  if (prefix && (path === prefix || path.startsWith(`${prefix}/`))) {
+    path = path.slice(prefix.length);
+  }
+  return path.replace(/^\/+|\/+$/g, '');
+}
+
+/**
+ * A link the author wrote to another chapter shows that chapter's full title
+ * as its native tooltip (`title`): prose names a chapter any way it likes —
+ * "the previous chapter", "Chapter 1.2", "this derivation" — and a reader can
+ * see where the link goes before following it. A Markdown link and a JSX
+ * `<a href>` both get it; a link with a title of its own, or one to the page
+ * it is on, keeps what it has.
+ */
+function titleChapterLinks(tree, file, titleBySlug, base) {
+  if (titleBySlug.size === 0) return;
+  const pageUrl = pageUrlFrom(file);
+  const here = pageUrl?.replace(/^\/+|\/+$/g, '');
+  const titleOf = (href) => {
+    const slug = linkedSlug(href, pageUrl, base);
+    return slug !== undefined && slug !== here ? titleBySlug.get(slug) : undefined;
+  };
+  const walk = (node) => {
+    if (!node || typeof node !== 'object') return;
+    if (node.type === 'link' && !node.title) {
+      const title = titleOf(node.url);
+      if (title) node.title = title;
+    } else if (
+      (node.type === 'mdxJsxTextElement' || node.type === 'mdxJsxFlowElement') &&
+      node.name === 'a'
+    ) {
+      const attributes = node.attributes ?? [];
+      const named = (name) =>
+        attributes.find((attribute) => attribute?.type === 'mdxJsxAttribute' && attribute.name === name);
+      const title = named('title') ? undefined : titleOf(named('href')?.value);
+      if (title) {
+        node.attributes = [...attributes, { type: 'mdxJsxAttribute', name: 'title', value: title }];
+      }
+    }
+    if (Array.isArray(node.children)) node.children.forEach(walk);
+  };
+  walk(tree);
+}
+
+/**
+ * The innermost component around `target` that numbering does not see
+ * through — the reason a float in it has no number — or `undefined`.
+ */
+function blockingComponent(tree, target) {
+  const search = (node, blocking) => {
+    if (node === target) return blocking;
+    if (!node || typeof node !== 'object' || !Array.isArray(node.children)) return undefined;
+    const here =
+      node.type === 'mdxJsxFlowElement' &&
+      node.name &&
+      !TRANSPARENT_COMPONENTS.includes(node.name)
+        ? node.name
+        : blocking;
+    for (const child of node.children) {
+      const found = search(child, here);
+      if (found !== undefined) return found;
+    }
+    return undefined;
+  };
+  return search(tree, undefined);
+}
+
+/**
+ * Why a `<Table>`/`<Figure>` on a lesson page got no number: it sits in a
+ * component other than the `TRANSPARENT_COMPONENTS`, where a float is
+ * illustrative, as an equation there is (`keyed-jsx-floats.mjs`).
+ */
+function unnumberedFloatMessage(tagName, component) {
+  const where = component ? `<${component}>` : 'another component';
+  const noun = tagName === 'Table' ? 'table' : 'figure';
+  const instead =
+    tagName === 'Table'
+      ? 'write it as a plain Markdown table (rule S3 does not flag one there)'
+      : 'show its content without <Figure>';
+  return (
+    `<${tagName}> inside ${where} gets no number: a lesson numbers a ${noun} ` +
+    `at its top level or in a <Memo>, <ShortNote> or <Fold>. A ${noun} in a ` +
+    `worked example or another component is illustrative, like an equation ` +
+    `there: ${instead}, or move the <${tagName}> out of ${where}.`
+  );
+}
+
 /** Resolve a `[[eq-key]]` / `[[slug#eq-key]]` reference to `{ number, href }`. */
 function resolveEquationRef(eqRef, eqCtx, file, node) {
   if (eqRef.lesson) {
@@ -1287,6 +1431,9 @@ export default function remarkNotation(options = {}) {
   // The manifest supplies every numbering input at once; an explicit option
   // still overrides it, so existing per-field wiring keeps working.
   const numbering = { ...numberingFromManifest(options.manifest), ...options };
+  const chapterTitleBySlug = new Map(
+    (options.manifest?.lessons ?? []).map((lesson) => [lesson.slug, lesson.title]),
+  );
   // Every lesson's headings by anchor, built once: `[[lesson#sec-…]]` reads
   // another page's, `[[sec-…]]` the page's own.
   const sectionSettings = { show: true, depth: 4, ...numbering.sectionNumbering };
@@ -1310,6 +1457,9 @@ export default function remarkNotation(options = {}) {
     const suspendedOperators = suspendedOperatorsFromFile(file);
     const lessonId = lessonIdFrom(file);
     const lessonSlug = lessonId ? lessonId.replace(/\./g, '/') : undefined;
+    // The landing page, a part's overview page (rule S10): its math binds
+    // like a chapter's, but it numbers nothing.
+    const nonChapterPage = !lessonId && isDocsPageFile(file);
     // `{ prefix, offset }` per kind of float — see the `numbering` option.
     // Missing ⇒ the legacy `##`-section numbering.
     const equationNumbering = pageNumbering(numbering, lessonSlug, 'equations');
@@ -1329,6 +1479,13 @@ export default function remarkNotation(options = {}) {
     const equationLabels = collectEquationLabels(tree, equationNumbering);
     const pageLabels = new Map();
     for (const label of equationLabels) {
+      if (nonChapterPage) {
+        fail(
+          file,
+          `\\label{eq:${label.key}} on a page that is not a chapter (rule S10): only a chapter numbers an equation. Drop the label to show the equation unnumbered, or link the chapter's own with [[<chapter>#eq-<key>]].`,
+          label.node,
+        );
+      }
       if (pageLabels.has(label.key)) {
         fail(
           file,
@@ -1568,14 +1725,19 @@ export default function remarkNotation(options = {}) {
 
         inspectExplainCalls(value, resolve, file, node, references);
 
-        const bindingScope = lessonId
-          ? mathScope
-          : registryFile
-            ? registryMathDefinitions
-            : undefined;
+        const bindingScope =
+          lessonId || nonChapterPage
+            ? mathScope
+            : registryFile
+              ? registryMathDefinitions
+              : undefined;
 
         if (bindingScope) {
-          const context = lessonId ? 'lesson math' : 'notation definition math';
+          const context = lessonId
+            ? 'lesson math'
+            : nonChapterPage
+              ? 'page math'
+              : 'notation definition math';
 
           let result;
           try {
@@ -1608,7 +1770,9 @@ export default function remarkNotation(options = {}) {
               .join(', ');
             fail(
               file,
-              `Unresolved notation in ${context}: ${unresolved}. Introduce the symbol with [[key]], define it in notation.local, or wrap it in \\explain{key}{latex}.`,
+              nonChapterPage
+                ? `Unresolved notation in ${context}: ${unresolved}. Introduce the symbol with [[key]], or wrap it in \\explain{key}{latex}: a page that is not a chapter recalls shared notation and defines none (rule S10).`
+                : `Unresolved notation in ${context}: ${unresolved}. Introduce the symbol with [[key]], define it in notation.local, or wrap it in \\explain{key}{latex}.`,
               node,
             );
           }
@@ -1668,6 +1832,27 @@ export default function remarkNotation(options = {}) {
           injectFloatNumberAttributes(child, diagramByNode.get(child), 'dia');
         } else if (child?.type === 'mdxJsxFlowElement' && exampleByNode.has(child)) {
           injectFloatNumberAttributes(child, exampleByNode.get(child), 'ex');
+        } else if (
+          nonChapterPage &&
+          child?.type === 'mdxJsxFlowElement' &&
+          NUMBERED_BLOCK_NAMES.has(child.name)
+        ) {
+          // `validate:content` reports this first (gate-non-chapter-pages.ts);
+          // this is the same message for a build that skipped it.
+          fail(
+            file,
+            `<${child.name}> on a page that is not a chapter (rule S10): only a chapter numbers it. Move it into the chapter it belongs to, and link it from here: the link shows it in its card.`,
+            child,
+          );
+        } else if (
+          lessonId &&
+          child?.type === 'mdxJsxFlowElement' &&
+          (child.name === 'Table' || child.name === 'Figure')
+        ) {
+          // Numbered everywhere a lesson numbers one, so this one is nested
+          // in a component that is not transparent. Say so here, at its
+          // line, before the component fails on its missing number.
+          fail(file, unnumberedFloatMessage(child.name, blockingComponent(tree, child)), child);
         }
       }
     };
@@ -1727,6 +1912,9 @@ export default function remarkNotation(options = {}) {
       }
     }
 
+    // Before `visit`, which writes the `[[…]]` reference links: each of
+    // those opens a card of its own.
+    titleChapterLinks(tree, file, chapterTitleBySlug, options.base);
     visit(tree);
 
     file.data.notationReferences = references;

package/dist/reference/render-lab-math.d.ts

@@ -5,12 +5,21 @@ interface LabMathScopeDefinition {
     readonly key: string;
     readonly notation: string;
 }
+interface RenderLabMathOptions {
+    /**
+     * `false` renders the template as inline math — a `.katex` with no
+     * `.katex-display` — for a formula that sits in a line: a legend entry,
+     * an axis title, a control label. It never scrolls (`global.css`
+     * `.lab-math`). Default `true`, a display equation.
+     */
+    readonly display?: boolean;
+}
 /**
  * Compile a developer-authored lab math template the same way lesson `$$`
  * math is compiled: every identifier must resolve to a notation key in the
  * page's scope or this throws. Slots are set aside during binding and restored
  * as inert `data-lab-slot` spans the interactive island rewrites at runtime.
  */
-declare function renderLabMath(template: string, scope: readonly LabMathScopeDefinition[]): RenderedLabMath;
+declare function renderLabMath(template: string, scope: readonly LabMathScopeDefinition[], { display }?: RenderLabMathOptions): RenderedLabMath;
 
-export { type LabMathScopeDefinition, RenderedLabMath, renderLabMath };
+export { type LabMathScopeDefinition, type RenderLabMathOptions, RenderedLabMath, renderLabMath };

package/dist/reference/render-lab-math.js

@@ -4,7 +4,7 @@ import { createNotationKatexOptions } from "./katex-options.mjs";
 import { slotPlaceholder } from "./lab-math-slot.js";
 const SLOT_PATTERN = /\\slot\{([a-z][a-z0-9]*)\}\{((?:[^{}]|\{[^{}]*\})*)\}/g;
 const sentinelFor = (index) => `909909${index}.909909`;
-function renderLabMath(template, scope) {
+function renderLabMath(template, scope, { display = true } = {}) {
   const slots = [];
   const forBinding = template.replace(
     SLOT_PATTERN,
@@ -50,7 +50,7 @@ function renderLabMath(template, scope) {
   });
   const html = katex.renderToString(
     bound,
-    createNotationKatexOptions({ displayMode: true })
+    createNotationKatexOptions({ displayMode: display })
   );
   return {
     html,

package/dist/rules/catalog.js

@@ -387,8 +387,14 @@ const RULES = [
     title: "Interactive figures: a hydrated island and the `renderLabMath` seam for equations.",
     elements: ["plot"],
     doc: "visualizations.md#v3",
-    summary: "An interactive figure is an island under `content/labs/` inside a `<Figure>`, renders its equations through `renderLabMath`, and labels its controls; the figure\u2019s caption is its name, so the lab writes no accessible name or text alternative of its own.",
-    checks: []
+    summary: "An interactive figure is an island under `content/labs/` inside a `<Figure>`, renders its equations through `renderLabMath` (`{ display: false }` for a legend, an axis title or a label; a `{ math }` run for the caption clause) and never KaTeX directly, and labels its controls; the figure\u2019s caption is its name, so the lab writes no accessible name or text alternative of its own.",
+    checks: [
+      check("lab-katex-direct", "error", false, {
+        module: "src/reference/lab-katex-validate.ts",
+        fn: "validateLabKatexImports"
+      })
+    ],
+    unchecked: "that a lab labels its controls and writes no name of its own, and math a lab draws without importing `katex` \u2014 the build\u2019s rendered check (`figure-symbols.ts`) covers the page it renders."
   },
   {
     kind: "rule",
@@ -555,7 +561,7 @@ const RULES = [
     title: 'A table is a `<Table id="\u2026">`, never a raw Markdown or HTML table.',
     elements: ["table"],
     doc: "structure-rules.md#s3",
-    summary: 'Wrap every pipe table or `<table>` in `<Table id="\u2026" caption="\u2026">` so it gets a number and `[[tab-\u2026]]` can reach it.',
+    summary: 'Wrap every pipe table or `<table>` in `<Table id="\u2026" caption="\u2026">` so it gets a number and `[[tab-\u2026]]` can reach it; a table in a worked example stays plain.',
     checks: [
       check("raw-table-markdown", "warning", false, {
         module: "src/reference/raw-floats-validate.ts",
@@ -653,6 +659,30 @@ const RULES = [
     summary: 'Give each figure, table and diagram a `short` caption that names it: it opens the caption line in bold, and names the float in "Hidden here", a copied link and the "Figures and tables" page. The long `caption` goes on from that name to say what the float shows \u2014 its subject, its marks and symbols, the case shown \u2014 and at most the one thing to notice. The argument drawn from a figure is lesson text after it, and a lab\u2019s instructions are the first line of its `tools`.',
     checks: []
   },
+  {
+    kind: "rule",
+    id: "S10",
+    short: "A page that is not a chapter explains its symbols but numbers nothing: it links a chapter\u2019s float instead",
+    title: "A page that is not a chapter \u2014 the landing page, a part\u2019s overview page \u2014 explains its symbols like a chapter, but carries no numbered float: it links the chapter\u2019s float instead.",
+    elements: ["part-page", "plot", "table", "diagram", "equation", "notation"],
+    doc: "structure-rules.md#s10",
+    summary: "On `content/docs/index.mdx`, a `content/docs/<part>/index.mdx`, or any page outside a part: `[[key]]`, `\\explain`, math, citations and `[[chapter#tab-key]]` links work and open cards, and the math and prose gates apply. No `<Table>`, `<Figure>`, `<Diagram>`, `<CompactExamples>`, `<AssessmentSet>`, lab, `\\label{eq:\u2026}` or `notation.local`/`notation.suspend`; no `$\u2026$` or `[[\u2026]]` in `hero.title`, `hero.tagline` or a `<PartOverview chain>` step.",
+    checks: [
+      check("non-chapter-float", "error", true, {
+        module: "src/reference/gate-non-chapter-pages.ts",
+        fn: "gateNonChapterPages"
+      }),
+      check("non-chapter-local-notation", "error", false, {
+        module: "src/reference/gate-non-chapter-pages.ts",
+        fn: "gateNonChapterPages"
+      }),
+      check("non-chapter-plain-text", "error", false, {
+        module: "src/reference/gate-non-chapter-pages.ts",
+        fn: "gateNonChapterPages"
+      })
+    ],
+    locked: "a float needs a chapter number, and such a page has none \u2014 turning the rule off would not render one."
+  },
   // ---- P — prose --------------------------------------------------------------
   {
     kind: "rule",

package/dist/rules/rules.schema.json

@@ -812,6 +812,24 @@
         }
       }
     },
+    "S10": {
+      "title": "S10 — A page that is not a chapter explains its symbols but numbers nothing: it links a chapter’s float instead",
+      "description": "On `content/docs/index.mdx`, a `content/docs/<part>/index.mdx`, or any page outside a part: `[[key]]`, `\\explain`, math, citations and `[[chapter#tab-key]]` links work and open cards, and the math and prose gates apply. No `<Table>`, `<Figure>`, `<Diagram>`, `<CompactExamples>`, `<AssessmentSet>`, lab, `\\label{eq:…}` or `notation.local`/`notation.suspend`; no `$…$` or `[[…]]` in `hero.title`, `hero.tagline` or a `<PartOverview chain>` step. Locked — a float needs a chapter number, and such a page has none — turning the rule off would not render one.",
+      "x-element": "part-page",
+      "x-elements": [
+        "part-page",
+        "plot",
+        "table",
+        "diagram",
+        "equation",
+        "notation"
+      ],
+      "x-enforcement": "locked",
+      "x-doc": "docs/authoring/structure-rules.md#s10",
+      "type": "object",
+      "additionalProperties": false,
+      "properties": {}
+    },
     "V2": {
       "title": "V2 — Static charts: SVG → D3 → Observable Plot, chosen per figure",
       "description": "For a static chart pick the lightest tool that draws it: inline SVG, then D3, then Observable Plot. State the choice in the figure’s source comment.",
@@ -834,19 +852,19 @@
     },
     "V3": {
       "title": "V3 — Interactive figures: a hydrated island + the `renderLabMath` seam",
-      "description": "An interactive figure is an island under `content/labs/` inside a `<Figure>`, renders its equations through `renderLabMath`, and labels its controls; the figure’s caption is its name, so the lab writes no accessible name or text alternative of its own.",
+      "description": "An interactive figure is an island under `content/labs/` inside a `<Figure>`, renders its equations through `renderLabMath` (`{ display: false }` for a legend, an axis title or a label; a `{ math }` run for the caption clause) and never KaTeX directly, and labels its controls; the figure’s caption is its name, so the lab writes no accessible name or text alternative of its own. Not checked by the build: that a lab labels its controls and writes no name of its own, and math a lab draws without importing `katex` — the build’s rendered check (`figure-symbols.ts`) covers the page it renders.",
       "x-element": "plot",
       "x-elements": [
         "plot"
       ],
-      "x-enforcement": "guide",
+      "x-enforcement": "partial",
       "x-doc": "docs/authoring/visualizations.md#v3",
       "type": "object",
       "additionalProperties": false,
       "properties": {
         "enabled": {
           "title": "Enabled",
-          "description": "Off: the rule leaves the rules-in-effect page and an agent neither applies it nor flags it in review.",
+          "description": "Off: the check does not run, and the rule leaves the rules-in-effect page.",
           "type": "boolean",
           "default": true
         }
@@ -990,7 +1008,7 @@
     },
     "S3": {
       "title": "S3 — A table is a `<Table id=\"…\">`, never a raw Markdown/HTML table",
-      "description": "Wrap every pipe table or `<table>` in `<Table id=\"…\" caption=\"…\">` so it gets a number and `[[tab-…]]` can reach it.",
+      "description": "Wrap every pipe table or `<table>` in `<Table id=\"…\" caption=\"…\">` so it gets a number and `[[tab-…]]` can reach it; a table in a worked example stays plain.",
       "x-element": "table",
       "x-elements": [
         "table"

package/docs/VERSIONING.md

@@ -105,7 +105,9 @@ applies every intervening section in order.
    the `migrating.md` section.
 6. Run `pnpm build && pnpm test`, then inspect `pnpm pack --dry-run` and confirm
    that `docs/authoring/migrating.md` and `docs/authoring/agents.md` are listed.
-7. Commit, then `git tag vx.y.z`.
+7. Commit, then tag it annotated: `git tag -a vx.y.z -m "explico x.y.z"`. With
+   `push.followTags` on, a plain `git push` sends an annotated tag with its
+   commit; a lightweight tag never travels that way.
 
 ## When you change the engine
 

package/docs/authoring/README.md

@@ -257,7 +257,7 @@ of to the settings file.
 | [N22](notation.md#n22) | math, notation | An accent or mark is an operator: universal, explained, or a whole form — settings: `allow` = `[]`, `deny` = `[]` | Script — `accent-explained` (warning), `suspended-operator-unresolved`, `operator-suspension-reason` (warning), `operator-suspended` (info), `operator-shadowed` (info) in [`consistency.ts`](../../src/reference/consistency.ts) `checkAccentExplained`, `checkOperatorSuspension`; [`gate-math.ts`](../../src/reference/gate-math.ts) `resolveInto` |
 | [V1](visualizations.md#v1) | diagram | Graphs and flowcharts use the `Diagram` component | Guide |
 | [V2](visualizations.md#v2) | plot | Static charts: SVG → D3 → Observable Plot, chosen per figure | Guide |
-| [V3](visualizations.md#v3) | plot | Interactive figures: a hydrated island + the `renderLabMath` seam | Guide |
+| [V3](visualizations.md#v3) | plot | Interactive figures: a hydrated island + the `renderLabMath` seam | Partial — `lab-katex-direct` in [`lab-katex-validate.ts`](../../src/reference/lab-katex-validate.ts) `validateLabKatexImports`. review: that a lab labels its controls and writes no name of its own, and math a lab draws without importing `katex` — the build’s rendered check (`figure-symbols.ts`) covers the page it renders |
 | [V4](visualizations.md#v4) | plot | Randomised figures expose an adjustable, deterministic seed | Guide |
 | [V5](visualizations.md#v5) | plot | Axis ranges span the first 10 seeds at the current control values — settings: `seeds` = `10` | Guide |
 | [V6](visualizations.md#v6) | plot | Every quantitative axis shows at least three labelled values — settings: `minLabels` = `3` | Guide |
@@ -273,6 +273,7 @@ of to the settings file.
 | [S7](structure-rules.md#s7) | heading | A heading is followed by body content, never by another heading | Script — `heading-adjacent` in [`gate-heading-structure.ts`](../../src/reference/gate-heading-structure.ts) `gateHeadingStructure` |
 | [S8](structure-rules.md#s8) | prose | Prefer `<Memo>` over a Starlight aside when the content needs an anchor, a caption or collapsing | Guide |
 | [S9](structure-rules.md#s9) | plot, table, diagram | A float’s short caption names it; the long caption goes on from that name | Guide |
+| [S10](structure-rules.md#s10) | part-page, plot, table, diagram, equation, notation | A page that is not a chapter explains its symbols but numbers nothing: it links a chapter’s float instead | **Locked** — a float needs a chapter number, and such a page has none — turning the rule off would not render one. Script — `non-chapter-float`, `non-chapter-local-notation`, `non-chapter-plain-text` in [`gate-non-chapter-pages.ts`](../../src/reference/gate-non-chapter-pages.ts) `gateNonChapterPages` |
 | [P1](prose.md#p1) | prose | "or" never introduces a second name for the same thing | Guide |
 | [P2](prose.md#p2) | prose | One term for each concept, repeated — no synonyms for variety | Guide |
 | [P3](prose.md#p3) | prose | One meaning for each term; no technical term in its everyday sense | Guide |

package/docs/authoring/components.md

@@ -141,9 +141,8 @@ on a `<CompactExamples>`, whose heading it is, and is what
 [rule S1](structure-rules.md#s1) measures — the long caption is never capped.
 
 A figure's, a table's or a diagram's `short` is its name wherever the page
-names it (docs/plans/figures-and-short-captions.md, decision 9): the bold
-title that opens its caption line — "**Sampled flight data.** Position, …",
-with a period added unless it ends in punctuation of its own — a folded
+names it: the bold title that opens its caption line — "**Sampled flight
+data.** Position, …", with a period added unless it ends in punctuation of its own — a folded
 section's "Hidden here: **Figure 2.1.1** Projectile trajectory explorer, 2
 paragraphs", a `<Fold>`'s bar, and a copied link, which says "Link copied ·
 Figure 2.1.1 · Projectile trajectory explorer" and pastes into a document as
@@ -168,7 +167,8 @@ is shown.
   `<Figure>`, `defaultOpen` (default: the course's `disclosure.figures`) and
   `rememberState` (default `true`) are about the tools; a figure without
   them has no button and no tray, and a `<Diagram>` has neither prop. The
-  caption line ends with a live clause a lab writes with `setFigureState`
+  caption line ends with a live clause a lab writes with `setFigureState`,
+  in text and `{ math }` runs, so each symbol in it opens its card
   ([visualizations.md § V3](visualizations.md#v3)).
 - **A lab has no title or caption of its own.** The `<Figure>` around it
   names the whole ([visualizations.md § Labs](visualizations.md#v3)).