explico 0.11.1 → 0.13.0

package/dist/{course-config-Dsnri9Tk.d.ts → course-config-rRtME5UV.d.ts}

@@ -138,12 +138,6 @@ interface CoursePart {
  * `##` heading inside a lesson. Removed in the next MINOR release.
  */
 type CourseSection = CoursePart;
-interface CourseConventions {
-    /** Notation key a lesson's stated sign convention must resolve to. */
-    readonly signConventionKey: string;
-    /** Competency id that also counts as declaring the cash-flow perspective. */
-    readonly cashFlowPerspectiveCompetency: string;
-}
 /**
  * A course's edits to the shipped named-operator baseline (`BASE_OPERATORS`),
  * consumed by the `operator-explained` consistency check (rule N8). An operator
@@ -367,6 +361,27 @@ type BlockLabels = 'icon' | 'icon-word';
 declare const BLOCK_LABELS_DEFAULT: BlockLabels;
 /** Validate `CourseConfig.blockLabels` and apply its default. Throws on a bad value. */
 declare function normalizeBlockLabels(config: CourseConfig): BlockLabels;
+/**
+ * How a course's explanation cards start for a reader who has not chosen
+ * yet (`cards` in the course settings). Every field is optional;
+ * {@link normalizeCards} fills in the defaults.
+ */
+interface CourseCards {
+    /**
+     * Whether "Carry cards" starts on (rule K1, `card-carry.ts`): a kept card
+     * stays on screen as the page scrolls and comes along to every page of the
+     * course. A reader's own choice always wins. Default `false`.
+     */
+    readonly carry?: boolean;
+}
+/** {@link CourseCards} with every default applied. */
+interface NormalizedCards {
+    readonly carry: boolean;
+}
+/** The engine's defaults: a reader turns carrying on (D8). */
+declare const CARDS_DEFAULTS: NormalizedCards;
+/** Validate `CourseConfig.cards` and apply its defaults. Throws on a bad value. */
+declare function normalizeCards(config: CourseConfig): NormalizedCards;
 /**
  * Rule S2's word ranges (`rules.S2.bridgeMinWords` … in the course settings),
  * in the shape `gate-part-pages.ts` takes. Built by `partPageLimits` in
@@ -382,15 +397,33 @@ interface NormalizedPartPages {
         readonly maxWords: number;
     };
 }
-/** Optional, build-time lesson artifacts exposed to readers. */
+/**
+ * Optional, build-time downloads and print actions: each chapter, each part and
+ * the course download; every page prints.
+ */
 interface LessonExportsConfig {
-    /** Emit one self-contained, offline-capable HTML file per lesson. */
+    /** Emit one self-contained, offline-capable HTML file per page. */
     readonly standaloneHtml?: boolean;
-    /** Offer the browser's native print dialog with explico's lesson print layout. */
+    /** Offer the browser's native print dialog with explico's print layout. */
     readonly print?: boolean;
+    /**
+     * Emit each chapter's LaTeX source — a zipped folder with explico's class,
+     * the chapter and its figures — and the PDF compiled from that folder.
+     */
+    readonly latex?: boolean;
+    /**
+     * Paper size of the LaTeX documents: `letter` (default, LaTeX's own) or
+     * `a4`. A plain `string` because the settings arrive as JSON.
+     */
+    readonly latexPaper?: string;
+    /**
+     * Emit each chapter, each part and the course as Markdown — GitHub's
+     * flavour with `$…$` math, its figures as PNG — zipped with its assets.
+     */
+    readonly markdown?: boolean;
     /**
      * Published course root used for links that intentionally leave the exported
-     * lesson. Required at export time when such a link is present.
+     * page. Required at export time when such a link is present.
      */
     readonly canonicalBaseUrl?: string;
 }
@@ -398,6 +431,9 @@ interface LessonExportsConfig {
 interface NormalizedLessonExports {
     readonly standaloneHtml: boolean;
     readonly print: boolean;
+    readonly latex: boolean;
+    readonly latexPaper: 'letter' | 'a4';
+    readonly markdown: boolean;
     readonly canonicalBaseUrl?: string;
 }
 interface CourseConfig {
@@ -415,7 +451,12 @@ interface CourseConfig {
     readonly sections?: readonly CoursePart[];
     /** Namespaces used by competency / notation `domain` fields. */
     readonly domains: readonly string[];
-    readonly conventions: CourseConventions;
+    /**
+     * @deprecated No longer read: rule S5, the only reader, was retired. A
+     * course that still sets it gets a `config-deprecated-key` warning; delete
+     * the block. Removed from the type in the next MINOR release.
+     */
+    readonly conventions?: unknown;
     /** Reader-facing identity + knowledge version (the `[?]` About panel). */
     readonly about: CourseAbout;
     /**
@@ -438,12 +479,14 @@ interface CourseConfig {
     readonly romanLabels?: CourseRomanLabels;
     /** @deprecated Moved to `rules.N14` (same shape). Honoured for now; removed in a later MINOR. */
     readonly abbreviations?: CourseAbbreviations;
-    /** Per-lesson export actions and downloadable artifacts. Disabled when omitted. */
+    /** Per-page export actions and downloadable artifacts. Disabled when omitted. */
     readonly lessonExports?: LessonExportsConfig;
     /** Every collapse default: headings, checks, memos, floats, tables. */
     readonly disclosure?: CourseDisclosure;
     /** Outline and float numbering. The defaults apply when omitted. */
     readonly numbering?: CourseNumbering;
+    /** How explanation cards start for a reader: "Carry cards" on or off. */
+    readonly cards?: CourseCards;
     /**
      * How a check's and an example set's heading names its kind: `icon-word`
      * (default) or `icon` ({@link BlockLabels}). A plain `string` because the
@@ -461,4 +504,4 @@ declare function normalizeLessonExports(config: CourseConfig): NormalizedLessonE
  */
 declare function coursePartsOf(config: CourseConfig): readonly CoursePart[];
 
-export { type CourseSection as A, type BlockLabels as B, type CourseConfig as C, DISCLOSURE_DEFAULTS as D, coursePartsOf as E, normalizeBlockLabels as F, normalizeDisclosure as G, normalizeLessonExports as H, normalizeNumbering as I, type LessonExportsConfig as L, type ManifestRules as M, type NormalizedPartPages as N, type ResolvedRules as R, type CourseAbbreviations as a, type NormalizedLessonExports as b, type NormalizedDisclosure as c, type NormalizedNumbering as d, type ConfigDiagnostic as e, type CourseConventions as f, type CourseOperators as g, type CourseRomanLabels as h, type CourseAccents as i, type CourseRulesConfig as j, type RuleSettingsInput as k, catalogIds as l, disabledCodes as m, dropDisabled as n, rulesJsonSchema as o, partPageLimits as p, rulesSnapshot as q, resolveRules as r, BLOCK_LABELS_DEFAULT as s, type CourseAbout as t, type CourseAuthor as u, type CourseDisclosure as v, type CourseHeadingDisclosure as w, type CourseNumbering as x, type CourseOpenDefault as y, type CoursePart as z };
+export { type CourseOpenDefault as A, type BlockLabels as B, type CourseConfig as C, type CoursePart as D, type CourseSection as E, DISCLOSURE_DEFAULTS as F, coursePartsOf as G, normalizeBlockLabels as H, normalizeCards as I, normalizeDisclosure as J, normalizeLessonExports as K, type LessonExportsConfig as L, type ManifestRules as M, type NormalizedLessonExports as N, normalizeNumbering as O, type ResolvedRules as R, type NormalizedDisclosure as a, type NormalizedNumbering as b, type NormalizedCards as c, type ConfigDiagnostic as d, type CourseOperators as e, type CourseRomanLabels as f, type CourseAccents as g, type CourseAbbreviations as h, type NormalizedPartPages as i, type CourseRulesConfig as j, type RuleSettingsInput as k, catalogIds as l, disabledCodes as m, dropDisabled as n, rulesJsonSchema as o, partPageLimits as p, rulesSnapshot as q, resolveRules as r, BLOCK_LABELS_DEFAULT as s, CARDS_DEFAULTS as t, type CourseAbout as u, type CourseAuthor as v, type CourseCards as w, type CourseDisclosure as x, type CourseHeadingDisclosure as y, type CourseNumbering as z };

package/dist/curriculum/validation.d.ts

@@ -10,7 +10,6 @@ interface CompetencyDefinition {
 }
 interface LessonDefinition {
     readonly id: string;
-    readonly status: 'draft' | 'in-review' | 'reviewed';
     readonly requires: readonly string[];
     readonly teaches: readonly string[];
     readonly assessments: readonly string[];
@@ -23,6 +22,8 @@ interface AssessmentItemBase {
     readonly id: string;
     readonly competencyId: string;
     readonly evidenceKind: 'direct' | 'transfer';
+    readonly prompt?: string;
+    readonly explanation?: string;
 }
 interface NumericAssessmentItem extends AssessmentItemBase {
     readonly type: 'numeric';
@@ -45,7 +46,6 @@ interface AssessmentDefinition {
 }
 interface SourceDefinition {
     readonly id: string;
-    readonly editorialStatus: 'draft' | 'in-review' | 'reviewed';
 }
 interface TrackDefinition {
     readonly id: string;
@@ -59,8 +59,14 @@ interface CurriculumCatalog {
     readonly tracks: readonly TrackDefinition[];
 }
 interface CurriculumIssue {
-    readonly kind: 'invalid-id' | 'duplicate-id' | 'unknown-reference' | 'duplicate-reference' | 'self-prerequisite' | 'cycle' | 'lesson-order' | 'track-order' | 'assessment-coverage' | 'invalid-assessment' | 'review-state' | 'teaches-support';
+    readonly kind: 'invalid-id' | 'duplicate-id' | 'unknown-reference' | 'duplicate-reference' | 'self-prerequisite' | 'cycle' | 'lesson-order' | 'track-order' | 'assessment-coverage' | 'invalid-assessment' | 'missing-assumptions' | 'teaches-support' | 'retired-key' | 'content-schema' | 'part-empty' | 'lesson-outside-parts' | 'unsupported-key' | 'ignored-key' | 'markup-in-prop' | 'citation-in-link';
     readonly message: string;
+    /**
+     * The content file the issue is about, when it is about one file rather
+     * than the graph (`retired-key`, `content-schema`), and the 1-based line in it.
+     */
+    readonly file?: string;
+    readonly line?: number;
     /**
      * `error` (default) blocks the build; `warning` is reported but non-blocking.
      * New checks enter as warnings and are promoted once they run clean on real

package/dist/curriculum/validation.js

@@ -1,3 +1,5 @@
+import { citationsInLinks, citedIds, withoutLinkCitations } from "../reference/citation-format.mjs";
+const CHECK_TEXT_REFERENCE = /\[\[[^\]\n]*\]\]|\[@[^\]\n]*\]/;
 const VALID_ID = /^[a-z0-9]+(?:[.-][a-z0-9]+)*$/;
 function buildIndex(kind, entries, issues) {
   const index = /* @__PURE__ */ new Map();
@@ -23,13 +25,7 @@ function buildIndex(kind, entries, issues) {
 function citedSourceIds(body) {
   if (!body) return /* @__PURE__ */ new Set();
   const withoutCode = body.replace(/```[\s\S]*?```/g, "").replace(/`[^`\n]*`/g, "");
-  const ids = /* @__PURE__ */ new Set();
-  for (const match of withoutCode.matchAll(
-    /\[@([a-z0-9][a-z0-9.-]*)(?:;[^\]]*)?\]/g
-  )) {
-    ids.add((match[1] ?? "").trim());
-  }
-  return ids;
+  return citedIds(withoutLinkCitations(withoutCode));
 }
 function findDuplicates(values) {
   const seen = /* @__PURE__ */ new Set();
@@ -173,18 +169,22 @@ function validateCurriculum(catalog) {
       }
     }
     const cited = citedSourceIds(lesson.body);
+    if (lesson.body !== void 0) {
+      const blank = (code) => code.replace(/[^\n]/g, " ");
+      const prose = lesson.body.replace(/```[\s\S]*?```/g, blank).replace(/`[^`\n]*`/g, blank);
+      for (const { text } of citationsInLinks(prose)) {
+        issues.push({
+          kind: "citation-in-link",
+          message: `${lesson.id} puts the citation ${text} inside a link's text, where it prints as typed: a link cannot hold the citation's own link. Cite after the link: [the words](https://\u2026) ${text}.`
+        });
+      }
+    }
     for (const sourceId of lesson.sources) {
-      const source = sources.get(sourceId);
-      if (!source) {
+      if (!sources.has(sourceId)) {
         issues.push({
           kind: "unknown-reference",
           message: `${lesson.id} references unknown source ${sourceId}`
         });
-      } else if (lesson.status === "reviewed" && source.editorialStatus !== "reviewed") {
-        issues.push({
-          kind: "review-state",
-          message: `${lesson.id} is reviewed but source ${sourceId} is ${source.editorialStatus}`
-        });
       }
       if (lesson.body !== void 0 && !cited.has(sourceId)) {
         issues.push({
@@ -203,7 +203,7 @@ function validateCurriculum(catalog) {
     }
     if (lesson.teaches.length > 0 && lesson.assumptions.length === 0) {
       issues.push({
-        kind: "review-state",
+        kind: "missing-assumptions",
         message: `${lesson.id} teaches quantitative content but declares no assumptions`
       });
     }
@@ -232,10 +232,28 @@ function validateCurriculum(catalog) {
             message: `${assessment.id}/${item.id} has unknown correct option ${item.correctOptionId}`
           });
         }
-      } else if (!Number.isFinite(item.answer.value) || !Number.isFinite(item.answer.tolerance) || item.answer.tolerance <= 0) {
+      } else if (!Number.isFinite(item.answer.value)) {
+        issues.push({
+          kind: "invalid-assessment",
+          message: `${assessment.id}/${item.id} answer.value must be a number`
+        });
+      } else if (!Number.isFinite(item.answer.tolerance) || item.answer.tolerance <= 0) {
+        issues.push({
+          kind: "invalid-assessment",
+          message: `${assessment.id}/${item.id} answer.tolerance must be a number greater than 0, not ${String(item.answer.tolerance)}: an answer within it of answer.value is correct. For an exact whole-number answer, use a tolerance below one half, such as 0.4.`
+        });
+      }
+      const texts = [
+        ["prompt", item.prompt],
+        ["explanation", item.explanation],
+        ...item.type === "single-choice" ? item.options.map((option) => [`option ${option.id}`, option.label]) : []
+      ];
+      for (const [field, text] of texts) {
+        const found = text === void 0 ? null : CHECK_TEXT_REFERENCE.exec(text);
+        if (!found) continue;
         issues.push({
           kind: "invalid-assessment",
-          message: `${assessment.id}/${item.id} has an invalid numeric answer or tolerance`
+          message: `${assessment.id}/${item.id} ${field} contains ${found[0]}, which a knowledge check shows exactly as written: its text renders math, not references or citations. Name the equation, section or source in words, or cite it in the lesson text the check follows.`
         });
       }
       const evidence = evidenceByCompetency.get(item.competencyId) ?? {

package/dist/reference/base-abbreviations.d.mts

@@ -24,7 +24,7 @@ export function isBaseAbbreviation(token: any, abbreviations: any): boolean;
  * `content/abbreviations/*.md` table, not here. This baseline only holds
  * abbreviations so common in ordinary English/academic writing that spelling
  * them out on every course would be noise, not help. A course adds a real
- * one via `abbreviations.allow` in `course.config.ts`, the same shape as
- * `operators.allow` / `romanLabels.allow`.
+ * one via `rules.N14.allow` in its course config, the same shape as
+ * `rules.N8.allow` / `rules.N10.allow`.
  */
 export const BASE_ABBREVIATIONS: Readonly<Set<string>>;

package/dist/reference/base-abbreviations.mjs

@@ -11,8 +11,8 @@
  * `content/abbreviations/*.md` table, not here. This baseline only holds
  * abbreviations so common in ordinary English/academic writing that spelling
  * them out on every course would be noise, not help. A course adds a real
- * one via `abbreviations.allow` in `course.config.ts`, the same shape as
- * `operators.allow` / `romanLabels.allow`.
+ * one via `rules.N14.allow` in its course config, the same shape as
+ * `rules.N8.allow` / `rules.N10.allow`.
  */
 export const BASE_ABBREVIATIONS = Object.freeze(
   new Set([

package/dist/reference/base-operators.d.mts

@@ -26,10 +26,16 @@ export function isBaseOperator(name: any, operators: any): boolean;
  * baseline — trig, the exponential and logarithms, limits, extrema, and the
  * big operators — kept greppable and small like the base library.
  *
+ * Only the plain limit, `\lim`, is baseline. `\limsup` / `\liminf` and the
+ * category-theory `\injlim` / `\projlim` / `\varlimsup` / `\varliminf` /
+ * `\varinjlim` / `\varprojlim` read fine to someone who already knows them,
+ * but none is "everyone knows this" the way `\lim` or `\max` is — a course
+ * that uses one owes it a notation entry, like any other domain operator.
+ *
  * A domain operator (`Var`, `Cov`, `Corr`, `sgn`, `erf`, `Tr`, `argmax`, …) is
  * written `\operatorname{…}` and is NOT here: it earns a card, a
- * `notation.local` entry, or an explicit line in `course.config.ts`
- * (`operators.allow`).
+ * `notation.local` entry, or an explicit line in the course config
+ * (`rules.N8.allow`).
  *
  * Entries are the KaTeX command without its backslash (`exp`, not `\exp`) for
  * `op` nodes, and the verbatim body for `\operatorname{…}` nodes (`Var`).

package/dist/reference/base-operators.mjs

@@ -13,10 +13,16 @@
  * baseline — trig, the exponential and logarithms, limits, extrema, and the
  * big operators — kept greppable and small like the base library.
  *
+ * Only the plain limit, `\lim`, is baseline. `\limsup` / `\liminf` and the
+ * category-theory `\injlim` / `\projlim` / `\varlimsup` / `\varliminf` /
+ * `\varinjlim` / `\varprojlim` read fine to someone who already knows them,
+ * but none is "everyone knows this" the way `\lim` or `\max` is — a course
+ * that uses one owes it a notation entry, like any other domain operator.
+ *
  * A domain operator (`Var`, `Cov`, `Corr`, `sgn`, `erf`, `Tr`, `argmax`, …) is
  * written `\operatorname{…}` and is NOT here: it earns a card, a
- * `notation.local` entry, or an explicit line in `course.config.ts`
- * (`operators.allow`).
+ * `notation.local` entry, or an explicit line in the course config
+ * (`rules.N8.allow`).
  *
  * Entries are the KaTeX command without its backslash (`exp`, not `\exp`) for
  * `op` nodes, and the verbatim body for `\operatorname{…}` nodes (`Var`).
@@ -47,14 +53,6 @@ export const BASE_OPERATORS = Object.freeze(
     'coth',
     // limits
     'lim',
-    'limsup',
-    'liminf',
-    'injlim',
-    'projlim',
-    'varlimsup',
-    'varliminf',
-    'varinjlim',
-    'varprojlim',
     // extrema
     'max',
     'min',

package/dist/reference/base-roman-labels.d.mts

@@ -28,8 +28,9 @@ export function isBaseRomanLabel(name: any, romanLabels: any): boolean;
  * always a course-specific named quantity (`KE`, `PV`, `Var`-as-a-label) that
  * genuinely benefits from a hover card, so the shipped baseline holds only
  * the qualifiers that function like an operator's extremum subscript
- * (`x_{\mathrm{opt}}`) rather than naming a quantity of their own. A course
- * adds a real one via `romanLabels.allow` in `course.config.ts`, the same
- * shape as `operators.allow`.
+ * (`x_{\mathrm{opt}}`) rather than naming a quantity of their own. That
+ * clears rule N10 only: the indexed symbol still needs a card (rule N23).
+ * A course adds a real one via `rules.N10.allow` in its course config, the
+ * same shape as `rules.N8.allow`.
  */
 export const BASE_ROMAN_LABELS: Readonly<Set<string>>;

package/dist/reference/base-roman-labels.mjs

@@ -15,9 +15,10 @@
  * always a course-specific named quantity (`KE`, `PV`, `Var`-as-a-label) that
  * genuinely benefits from a hover card, so the shipped baseline holds only
  * the qualifiers that function like an operator's extremum subscript
- * (`x_{\mathrm{opt}}`) rather than naming a quantity of their own. A course
- * adds a real one via `romanLabels.allow` in `course.config.ts`, the same
- * shape as `operators.allow`.
+ * (`x_{\mathrm{opt}}`) rather than naming a quantity of their own. That
+ * clears rule N10 only: the indexed symbol still needs a card (rule N23).
+ * A course adds a real one via `rules.N10.allow` in its course config, the
+ * same shape as `rules.N8.allow`.
  */
 export const BASE_ROMAN_LABELS = Object.freeze(new Set(['opt']));
 

package/dist/reference/citation-format.d.mts

@@ -44,6 +44,35 @@ export function referenceLabelFromText(referenceText: string, locator: string |
  * @returns {string}
  */
 export function formatSourceLabel(record: Record<string, unknown>): string;
+/**
+ * The citations one bracket holds, in order, as `{ id, locator }`. A
+ * `;`-separated part that is only `@id` starts another citation (Pandoc's
+ * `[@a; @b]`); any other part belongs to the locator of the citation before
+ * it, so a locator may itself contain `;` (`[@a; §1.2; eq. 3]`).
+ *
+ * @param {string} firstId
+ * @param {string | undefined} rest
+ * @returns {{ id: string, locator: string }[]}
+ */
+export function bracketCitations(firstId: string, rest: string | undefined): {
+    id: string;
+    locator: string;
+}[];
+/** Every source id a text cites, `[@a; @b]` included. */
+export function citedIds(text: any): Set<any>;
+/**
+ * Each citation written inside a link's text, as `{ index, text }`: the
+ * offset of its `[@` in `text`, and the citation as written.
+ */
+export function citationsInLinks(text: any): {
+    index: number;
+    text: string;
+}[];
+/**
+ * `text` with every citation inside a link's text blanked, offsets kept: what
+ * the page cites, for a scan that counts a lesson's sources.
+ */
+export function withoutLinkCitations(text: any): string;
 /**
  * Pure helpers for turning a source record plus a per-citation locator into
  * the strings shown in the inline panel and the end-of-page reference list.
@@ -53,3 +82,9 @@ export function formatSourceLabel(record: Record<string, unknown>): string;
  * file system, or Astro APIs.
  */
 export const SOURCE_ID_PATTERN: RegExp;
+/**
+ * One `[@…]` bracket: `[@id]`, `[@id; locator]`, or several citations as
+ * Pandoc writes them, `[@a; @b; p. 7]`. Group 1 is the first id, group 2 the
+ * rest after the first `;`, read by {@link bracketCitations}.
+ */
+export const CITATION_BRACKET: RegExp;

package/dist/reference/citation-format.mjs

@@ -131,3 +131,77 @@ export function formatSourceLabel(record) {
     .filter(Boolean)
     .join(', ');
 }
+
+/**
+ * One `[@…]` bracket: `[@id]`, `[@id; locator]`, or several citations as
+ * Pandoc writes them, `[@a; @b; p. 7]`. Group 1 is the first id, group 2 the
+ * rest after the first `;`, read by {@link bracketCitations}.
+ */
+export const CITATION_BRACKET = /\[@([a-z0-9][a-z0-9.-]*)(?:;[ \t\r\n]*([^\]]*))?\]/g;
+
+/**
+ * The citations one bracket holds, in order, as `{ id, locator }`. A
+ * `;`-separated part that is only `@id` starts another citation (Pandoc's
+ * `[@a; @b]`); any other part belongs to the locator of the citation before
+ * it, so a locator may itself contain `;` (`[@a; §1.2; eq. 3]`).
+ *
+ * @param {string} firstId
+ * @param {string | undefined} rest
+ * @returns {{ id: string, locator: string }[]}
+ */
+export function bracketCitations(firstId, rest) {
+  const citations = [{ id: String(firstId).trim(), parts: [] }];
+  for (const part of String(rest ?? '').split(';')) {
+    const next = /^\s*@([a-z0-9][a-z0-9.-]*)\s*$/.exec(part);
+    if (next) citations.push({ id: next[1], parts: [] });
+    else if (part.trim()) citations[citations.length - 1].parts.push(part);
+  }
+  return citations.map(({ id, parts }) => ({
+    id,
+    locator: parts.join(';').replace(/\s+/g, ' ').trim(),
+  }));
+}
+
+/** Every source id a text cites, `[@a; @b]` included. */
+export function citedIds(text) {
+  const ids = new Set();
+  for (const match of String(text).matchAll(CITATION_BRACKET)) {
+    for (const { id } of bracketCitations(match[1] ?? '', match[2])) ids.add(id);
+  }
+  return ids;
+}
+
+/**
+ * A Markdown link whose text holds a citation, `[as measured in [@id]](url)`:
+ * remark-citation leaves link text alone (a link cannot hold the marker's
+ * link), so the citation would print as typed. Group 1 is the link text.
+ */
+const LINK_WITH_CITATION = /\[((?:[^[\]\n]|\[[^[\]\n]*\])*?\[@[^\]\n]*\](?:[^[\]\n]|\[[^[\]\n]*\])*)\]\(/g;
+
+/**
+ * Each citation written inside a link's text, as `{ index, text }`: the
+ * offset of its `[@` in `text`, and the citation as written.
+ */
+export function citationsInLinks(text) {
+  const found = [];
+  for (const link of String(text).matchAll(LINK_WITH_CITATION)) {
+    const start = (link.index ?? 0) + 1;
+    for (const citation of (link[1] ?? '').matchAll(/\[@[^\]\n]*\]/g)) {
+      found.push({ index: start + (citation.index ?? 0), text: citation[0] });
+    }
+  }
+  return found;
+}
+
+/**
+ * `text` with every citation inside a link's text blanked, offsets kept: what
+ * the page cites, for a scan that counts a lesson's sources.
+ */
+export function withoutLinkCitations(text) {
+  let out = String(text);
+  for (const { index, text: citation } of citationsInLinks(out)) {
+    out = out.slice(0, index) + citation.replace(/[^\n]/g, ' ') + out.slice(index + citation.length);
+  }
+  return out;
+}
+

package/dist/reference/consistency.d.ts

@@ -1,10 +1,11 @@
-import { f as CourseConventions, g as CourseOperators, h as CourseRomanLabels, i as CourseAccents } from '../course-config-Dsnri9Tk.js';
-import { CurriculumCatalog } from '../curriculum/validation.js';
+import { e as CourseOperators, f as CourseRomanLabels, g as CourseAccents } from '../course-config-rRtME5UV.js';
 import { NotationSpec } from '../compiler/collections.js';
 import { LintIgnore } from './lint-ignore.js';
 import { NotationRegistry, NotationRegistryInput } from './types.js';
 import '../rules/catalog.js';
 import '../rules/course-rules.js';
+import '../curriculum/validation.js';
+import './gate-retired-keys.js';
 
 /**
  * Corpus consistency checks (Step D6) — the Tier 1–2 checks from the cleanup
@@ -20,9 +21,7 @@ import '../rules/course-rules.js';
  *   (a) glyph-unique-in-corpus       one rendered glyph → one meaning corpus-wide
  *   (b) notation-units / units-vocab  every entry has units or `dimensionless`,
  *                                     unit strings drawn from a controlled vocab
- *   (c) convention-single-definition  a sign / cash-flow-perspective convention a
- *                                     lesson uses resolves to one declaration
- *   (f) weak-local                   a `notation.local` symbol used only in its
+ *   (f) weak-local                  a `notation.local` symbol used only in its
  *                                     own defining equation and prose
  *   (g) notation-source-locator      every notation `sources` entry has a locator
  *   (h) operator-explained           a named operator a lesson uses is on the
@@ -45,7 +44,7 @@ import '../rules/course-rules.js';
  * `src/content/resolution-report.ts`.
  */
 
-type ConsistencyCode = 'glyph-unique-in-corpus' | 'notation-units' | 'units-vocab' | 'convention-single-definition' | 'weak-local' | 'notation-source-locator' | 'gloss-wants-promoting' | 'card-wants-demoting' | 'gloss-name-shape' | 'operator-explained' | 'roman-label-explained' | 'accent-explained' | 'operator-suspended' | 'operator-suspension-reason' | 'operator-shadowed';
+type ConsistencyCode = 'glyph-unique-in-corpus' | 'notation-units' | 'units-vocab' | 'weak-local' | 'notation-source-locator' | 'gloss-wants-promoting' | 'card-wants-demoting' | 'gloss-name-shape' | 'operator-explained' | 'roman-label-explained' | 'accent-explained' | 'accent-swallowed' | 'operator-suspended' | 'operator-suspension-reason' | 'operator-shadowed';
 interface ConsistencyDiagnostic {
     readonly code: ConsistencyCode;
     /** Tier 3 — repairable violations are warnings; optional advice is info. */
@@ -62,10 +61,7 @@ interface ConsistencyInput {
     readonly registry: NotationRegistry;
     readonly notationInput: NotationRegistryInput;
     readonly specs: readonly NotationSpec[];
-    readonly catalog: CurriculumCatalog;
     readonly lintIgnore: LintIgnore;
-    /** Convention keys this course anchors on (from `content/course.config.ts`). */
-    readonly conventions: CourseConventions;
     /** This course's edits to the named-operator baseline (rule N8). */
     readonly operators?: CourseOperators;
     /** This course's edits to the roman-label baseline (rule N10). */