paperlint 14.1.0 → 14.3.0

package/skills/build-label-page/scripts/label-page-core.ts

@@ -7,6 +7,7 @@
 import { createHash } from "node:crypto";
 import { existsSync, mkdirSync, readFileSync, writeFileSync } from "node:fs";
 import { dirname, join } from "node:path";
+import * as R from "remeda";
 import { z } from "zod";
 import {
   describeRule,
@@ -106,6 +107,9 @@ const readJson = (path: string): Json => {
 // prettier-ignore
 const PAGE_FIELDS = ["group", "title", "body", "code", "context", "file"] as const;
 const PRIVATE_FIELDS = ["source_id"] as const;
+// Who of the page's `answerers` an item is shown to: tells the page whom to show it, nothing about
+// the answer or the source.
+const ANSWERERS_FIELD = "answerers";
 // The linter rules an item names ("read as ruff `TID253`"): the page shows each with the linter's
 // own description, looked up at build time (rule-descriptions.ts), never typed into items.json.
 const RULES_FIELD = "rules";
@@ -116,6 +120,9 @@ const UNIT_FIELD = "unit";
 const READINGS_FIELD = "readings";
 // Content blocks (#380): generic, on any kind. Every label and sentence a block shows comes from
 // items.json (or a preset, label-page-presets.ts); the page knows only the block's shape.
+// `quote`, `terms` and `answer_notes` (#392): the words a card asks about, shown as a quote with
+// its source; tap-to-see notes on terms in that quote and in the excerpt's annotation; and a sub-line
+// under an answer that says what the answer means on this card.
 const BLOCK_FIELDS = [
   "situation",
   "excerpt",
@@ -123,6 +130,9 @@ const BLOCK_FIELDS = [
   "more",
   "table",
   "repeat",
+  "quote",
+  "terms",
+  "answer_notes",
 ] as const;
 const ALLOWED_FIELDS: readonly string[] = [
   ...PAGE_FIELDS,
@@ -130,6 +140,7 @@ const ALLOWED_FIELDS: readonly string[] = [
   UNIT_FIELD,
   READINGS_FIELD,
   ...BLOCK_FIELDS,
+  ANSWERERS_FIELD,
   ...PRIVATE_FIELDS,
 ];
 
@@ -157,6 +168,11 @@ const RESERVED_NAMES = [
   "__lookupSetter__",
 ];
 const NAME_PATTERN = `(?!(?:${RESERVED_NAMES.join("|")})$)[A-Za-z0-9_-]+`;
+/**
+ * With `answerers`, a document's id is `<answerer>~<id>`: `~` is outside NAME_PATTERN, so no
+ * answerer's name, item id, group or practice id can hold it, and the id splits at its first `~`.
+ */
+const SEP = "~";
 const SOURCES = ["page", "chat"];
 const SOURCES_SHOWN = `(${SOURCES.map(quoted).join(", ")})`;
 
@@ -217,9 +233,10 @@ const mapping = (
   values: SchemaNode,
   keyPattern: string,
   min = 0,
+  required = true,
 ): SchemaNode => ({
   kind: "map",
-  required: true,
+  required,
   min,
   key_pattern: keyPattern,
   values,
@@ -263,14 +280,59 @@ const CARD_FIELDS: Readonly<Record<string, SchemaNode>> = {
   ),
   [READINGS_FIELD]: obj({ a: string(), b: string() }, true, false),
   file: string(false),
-  situation: optional({ summary: string(), question: string() }),
+  situation: optional({ summary: string(false), question: string() }),
   excerpt: optional({
     file: string(false),
+    // the file's language, after its path: "path · Python"
+    lang: string(false),
     url: LINK,
-    lines: array(obj({ n: integer(), text: text(), mark: boolean() }), true, 1),
+    // the header of an extra gutter column; each line's `gutter` is its value there ("depth")
+    gutter_header: string(false),
+    lines: array(
+      obj({
+        n: integer(),
+        text: text(),
+        mark: boolean(),
+        gutter: string(false),
+        // a line shown only to place the code (an enclosing block's opener): drawn faint
+        context: boolean(false),
+      }),
+      true,
+      1,
+    ),
+    // one short fact, drawn in a box right under the marked line, pointing at it
+    annotation: string(false),
     caption: string(false),
     mark_label: string(false),
   }),
+  quote: optional({ text: string(), source: string(false) }),
+  terms: array(
+    obj({
+      term: string(),
+      note: array(
+        obj({
+          title: string(false),
+          says: string(false),
+          quote: string(false),
+          code: string(false),
+          example: string(false),
+          url: string(true, "https?://\\S+", "an http(s) link"),
+          url_label: string(),
+        }),
+        true,
+        1,
+      ),
+    }),
+    false,
+    1,
+  ),
+  // question id → option value → the sub-line under that answer's button on this card
+  answer_notes: mapping(
+    mapping(string(), NAME_PATTERN, 1),
+    NAME_PATTERN,
+    1,
+    false,
+  ),
   references: optional({
     summary: string(),
     entries: array(
@@ -352,10 +414,11 @@ const itemSchema = (kind: Kind): SchemaNode =>
       ...Object.fromEntries(
         PAGE_FIELDS.filter((f) => f !== "file").map((f) => [
           f,
-          string(f === "group" || f === "body"),
+          string(f === "group"),
         ]),
       ),
       ...cardFields(kind),
+      [ANSWERERS_FIELD]: array(string(true, NAME_PATTERN), false, 1),
     },
     false, // an unlisted item field is the leak guard's refusal, with its own message
   );
@@ -374,7 +437,7 @@ const practiceSchema = (kind: Kind): SchemaNode =>
     ...Object.fromEntries(
       PAGE_FIELDS.filter((f) => f !== "group" && f !== "file").map((f) => [
         f,
-        string(f === "body"),
+        string(false),
       ]),
     ),
     ...cardFields(kind),
@@ -397,6 +460,10 @@ const configSchema = (kind: Kind): SchemaNode =>
     seed: integer(),
     groups: mapping(string(), NAME_PATTERN, 1), // ids become store document ids
     labeller_knows: array(string(true, NAME_PATTERN), false),
+    // Two or more people answer the same page, each under their own name (doc ids `<name>~<id>`).
+    answerers: array(string(true, NAME_PATTERN), false, 2),
+    // An item's answer saves only once the item has been on screen this many seconds.
+    min_seconds: integer(false),
     // true: a "how well do you know {group}" question per group, for a study that filters on it
     // (rule 5). Left out, none is asked: an approval page's author has never seen the repositories.
     familiarity: boolean(false),
@@ -412,6 +479,9 @@ const configSchema = (kind: Kind): SchemaNode =>
       line_part: string(false),
       repeat: string(false),
       practice_example: string(false),
+      hidden: string(false),
+      hidden_one: string(false),
+      wait: string(false),
     }),
     items: array(itemSchema(kind), true, 1),
   });
@@ -563,17 +633,44 @@ interface CodeLine {
   readonly n: number;
   readonly text: string;
   readonly mark: boolean;
+  readonly gutter?: string;
+  readonly context?: boolean;
+}
+/** One entry of a term's note: a verbatim quote or snippet, and the link to where it is from. */
+interface NoteEntry {
+  readonly title?: string;
+  readonly says?: string;
+  readonly quote?: string;
+  readonly code?: string;
+  readonly example?: string;
+  readonly url: string;
+  readonly url_label: string;
+}
+interface Term {
+  readonly term: string;
+  readonly note: readonly NoteEntry[];
 }
 /** The content blocks (#380), each optional on any kind. */
 interface Blocks {
-  readonly situation?: { readonly summary: string; readonly question: string };
+  readonly situation?: {
+    readonly summary?: string;
+    readonly question: string;
+  };
   readonly excerpt?: {
     readonly file?: string;
+    readonly lang?: string;
     readonly url?: string;
+    readonly gutter_header?: string;
     readonly lines: readonly CodeLine[];
+    readonly annotation?: string;
     readonly caption?: string;
     readonly mark_label?: string;
   };
+  readonly quote?: { readonly text: string; readonly source?: string };
+  readonly terms?: readonly Term[];
+  readonly answer_notes?: Readonly<
+    Record<string, Readonly<Record<string, string>>>
+  >;
   readonly references?: {
     readonly summary: string;
     readonly entries: readonly {
@@ -609,12 +706,16 @@ interface Blocks {
 type Card = {
   readonly [F in (typeof PAGE_FIELDS)[number]]?: string;
 } & Blocks & {
-    readonly body: string;
+    readonly body?: string;
     readonly rules?: readonly RuleRef[];
     readonly unit?: Unit;
     readonly readings?: { readonly a: string; readonly b: string };
   };
-type Item = Card & { readonly source_id: string; readonly group: string };
+type Item = Card & {
+  readonly source_id: string;
+  readonly group: string;
+  readonly answerers?: readonly string[];
+};
 type Practice = Card & {
   readonly expected: Readonly<Record<string, string>>;
   readonly why: string;
@@ -627,6 +728,8 @@ interface Config {
   readonly seed: number;
   readonly groups: Readonly<Record<string, string>>;
   readonly labeller_knows?: readonly string[];
+  readonly answerers?: readonly string[];
+  readonly min_seconds?: number;
   readonly familiarity?: boolean;
   readonly familiarity_question?: string;
   readonly questions: readonly Question[];
@@ -744,8 +847,37 @@ function checkPractice(cfg: Config): void {
       fail(`${where}.${missing}: every question needs its expected answer`);
   });
 }
+/** The first entry of `names` that repeats an earlier one, refused by its path. */
+function checkDistinct(names: readonly string[], where: string): void {
+  const at = names.findIndex((x, i) => names.indexOf(x) !== i);
+  if (at !== -1)
+    fail(`${where}[${String(at)}]: ${repr(names[at])} is repeated`);
+}
+/** Each answerer once; an item's own list a subset of the page's; a dwell of a second or more. */
+function checkAnswerers(cfg: Config): void {
+  if ((cfg.min_seconds ?? 1) < 1)
+    fail(`min_seconds: ${repr(cfg.min_seconds)} — must be 1 or more`);
+  const all = cfg.answerers;
+  if (all !== undefined) checkDistinct(all, "answerers");
+  cfg.items.forEach((item, n) => {
+    const where = `items[${String(n)}].answerers`;
+    const own = item.answerers;
+    if (own === undefined) return;
+    if (all === undefined)
+      return fail(
+        `${where}: the page has no \`answerers\` — add the page's list, or take this out`,
+      );
+    const k = own.findIndex((who) => !R.isIncludedIn(who, all));
+    if (k !== -1)
+      fail(
+        `${where}[${String(k)}]: ${repr(own[k])} is not in \`answerers\` (${all.join(", ")})`,
+      );
+    checkDistinct(own, where);
+  });
+}
 function checkConfig(cfg: Config): void {
   checkGroups(cfg);
+  checkAnswerers(cfg);
   if (!asksFamiliarity(cfg) && cfg.familiarity_question !== undefined) {
     fail(
       `familiarity_question: ${repr(cfg.familiarity_question)} is never asked, because \`familiarity\` is not true — remove it, or set "familiarity": true`,
@@ -847,7 +979,7 @@ const lineOf = (card: Card) =>
     .filter((l) => l.mark)
     .map((l) => ({ n: l.n, text: l.text.trim() }))[0];
 const usesLine = (card: Card): boolean =>
-  SITUATION_TEXTS.some((f) => card.situation?.[f].includes(LINE_TOKEN));
+  SITUATION_TEXTS.some((f) => card.situation?.[f]?.includes(LINE_TOKEN));
 /**
  * What the block schema cannot say: an excerpt marks a line, `{line}` has a marked line to stand for,
  * and a repeat sits inside its count.
@@ -859,7 +991,7 @@ function checkBlocks(cfg: Config): void {
         `${at}.excerpt.lines: no line is marked — mark the line the card is about (\`mark: true\`)`,
       );
     const token = SITUATION_TEXTS.find((f) =>
-      card.situation?.[f].includes(LINE_TOKEN),
+      card.situation?.[f]?.includes(LINE_TOKEN),
     );
     if (token !== undefined && card.excerpt === undefined)
       fail(
@@ -872,6 +1004,88 @@ function checkBlocks(cfg: Config): void {
       );
   });
 }
+/**
+ * The texts a term may open a note from, the words asked about first: the quote, its source, then
+ * the excerpt's annotation. The page looks a term up in the same texts, split the same way at
+ * backticks, so a term the build finds is a term the page draws.
+ */
+const termTexts = (card: Card): readonly string[] =>
+  [card.quote?.text, card.quote?.source, card.excerpt?.annotation].filter(
+    R.isDefined,
+  );
+const findsTerm = (card: Card, term: string): boolean =>
+  termTexts(card).some((t) => t.split("`").some((part) => part.includes(term)));
+/**
+ * What the schema cannot say about the #392 blocks: a card says something (`body` or `quote`); each
+ * term occurs in a text that can carry it, and each note entry shows a quote or a snippet; an answer
+ * note names a question of the page and one of its options.
+ */
+function checkCardText(cfg: Config): void {
+  const options = new Map(
+    cfg.questions.map((q) => [q.id, q.options.map((o) => o.value)]),
+  );
+  cardsOf(cfg).forEach(([at, card]) => {
+    if (card.body === undefined && card.quote === undefined)
+      fail(
+        `${at}.body: is required and missing — a card shows its \`body\`, or its words as a \`quote\``,
+      );
+    checkTerms(at, card);
+    checkAnswerNotes(at, card, options);
+  });
+}
+/**
+ * One term's text inside another's on the same card (or the same text twice): the page draws one
+ * button for the words, so the other term's note would never open.
+ */
+function checkTermsDoNotOverlap(at: string, card: Card): void {
+  const texts = (card.terms ?? []).map((t) => t.term);
+  const named = (k: number) => `${at}.terms[${String(k)}]`;
+  texts.forEach((inner, k) => {
+    const j = texts.findIndex(
+      (outer, m) =>
+        m !== k && outer.includes(inner) && (outer !== inner || m > k),
+    );
+    if (j !== -1)
+      fail(
+        `${named(k)}.term: ${repr(inner)} is inside ${named(j)}.term ${repr(texts[j])} — the page draws one of two overlapping terms, so the other note never opens`,
+      );
+  });
+}
+function checkTerms(at: string, card: Card): void {
+  checkTermsDoNotOverlap(at, card);
+  (card.terms ?? []).forEach((t, k) => {
+    const where = `${at}.terms[${String(k)}]`;
+    if (!findsTerm(card, t.term))
+      fail(
+        `${where}.term: ${repr(t.term)} is not in the card's annotation, quote or quote source — a note opens from words the card shows`,
+      );
+    const bare = t.note.findIndex(
+      (e) => e.quote === undefined && e.code === undefined,
+    );
+    if (bare !== -1)
+      fail(
+        `${where}.note[${String(bare)}]: has neither \`quote\` nor \`code\` — a note shows its source's own words`,
+      );
+  });
+}
+function checkAnswerNotes(
+  at: string,
+  card: Card,
+  options: ReadonlyMap<string, readonly string[]>,
+): void {
+  Object.entries(card.answer_notes ?? {}).forEach(([qid, notes]) => {
+    const values = options.get(qid);
+    if (values === undefined)
+      return fail(
+        `${at}.answer_notes.${qid}: not a question of this page (${[...options.keys()].join(", ")})`,
+      );
+    const stray = Object.keys(notes).find((v) => !values.includes(v));
+    if (stray !== undefined)
+      fail(
+        `${at}.answer_notes.${qid}.${stray}: not one of ${values.join(", ")}`,
+      );
+  });
+}
 /** Every card of the config, items then practice, by path. */
 const cardsOf = (cfg: Config) => [
   ...cfg.items.map((i, n) => [`items[${String(n)}]`, i] as const),
@@ -948,6 +1162,8 @@ interface KeyEntry {
   readonly source_id: string;
   readonly group: string;
   readonly on_page: boolean;
+  /** Who the item is shown to, when not every answerer of the page. */
+  readonly answerers?: readonly string[];
 }
 interface OldKey {
   readonly seed: number;
@@ -1006,7 +1222,7 @@ const situationShown = (item: Card) =>
     ? {}
     : {
         situation: {
-          summary: item.situation.summary,
+          ...R.pickBy({ summary: item.situation.summary }, R.isDefined),
           question: item.situation.question,
           ...(usesLine(item) ? { line: lineOf(item) } : {}),
         },
@@ -1101,7 +1317,16 @@ const DEFAULT_LABELS: Readonly<Record<string, string>> = {
   line_part: "{line} · part {part} of {of}",
   repeat: "Card {index} of {of}",
   practice_example: "",
+  hidden: "lines {from}\u2013{to}",
+  hidden_one: "line {from}",
+  wait: "\u23f3 You can answer in {s} s",
 };
+/** The answerers and the dwell, only when items.json sets them: a page without them is as it was. */
+const twoKeys = (cfg: Config) =>
+  R.pickBy(
+    { answerers: cfg.answerers, min_seconds: cfg.min_seconds },
+    R.isDefined,
+  );
 /** What a page shows: the questions, the practice and the items, blind, with their neutral ids. */
 function payloadOf(
   cfg: Config,
@@ -1121,18 +1346,22 @@ function payloadOf(
       : "",
     familiarity: asksFamiliarity(cfg) ? FAMILIARITY : [],
     allowed: allowedValues(cfg.questions, asksFamiliarity(cfg)),
+    ...twoKeys(cfg),
     questions: cfg.questions,
     practice: {
       round: practiceRound(cfg),
       items: practiceShown(cfg, described),
     },
-    items: page.items.map((i) => ({
-      id: page.idOf(i),
-      ...shownFields(i),
-      ...rulesShown(i, described),
-    })),
+    items: page.items.map((i) => itemShown(i, page.idOf(i), described)),
   };
 }
+/** One item as its card shows it, and whom it is shown to when not every answerer. */
+const itemShown = (i: Item, id: string, described: Described) => ({
+  id,
+  ...shownFields(i),
+  ...rulesShown(i, described),
+  ...R.pickBy({ answerers: i.answerers }, R.isDefined),
+});
 export type Payload = ReturnType<typeof payloadOf>;
 /** Every id the key keeps (on the page now, or kept from an earlier build), with its source and group. */
 function idsOf(cfg: Config, page: ReturnType<typeof itemsOnPage>): JsonObject {
@@ -1144,16 +1373,17 @@ function idsOf(cfg: Config, page: ReturnType<typeof itemsOnPage>): JsonObject {
     ]),
     ...cfg.items.map((i): [string, string] => [i.source_id, i.group]),
   ]);
+  const bySource = R.indexBy(cfg.items, (i) => i.source_id);
   const byId = [...page.ids].sort(([, a], [, b]) => byText(a, b));
-  return Object.fromEntries(
-    byId.map(([sid, nid]) => [
-      nid,
-      {
-        source_id: sid,
-        group: String(groupOf.get(sid)),
-        on_page: shown.has(nid),
-      },
-    ]),
+  return R.pullObject(
+    byId,
+    ([, nid]) => nid,
+    ([sid, nid]) => ({
+      source_id: sid,
+      group: String(groupOf.get(sid)),
+      on_page: shown.has(nid),
+      ...R.pickBy({ answerers: bySource[sid]?.answerers }, R.isDefined),
+    }),
   );
 }
 /** Round → its practice items' expected answers. */
@@ -1178,6 +1408,7 @@ function keyOf(
   return {
     study: cfg.study,
     seed: cfg.seed,
+    ...twoKeys(cfg),
     questions: cfg.questions.map((q) => q.id),
     // What counts as an answer: the same lists the page was given (`allowedValues`). `export`
     // checks every stored answer and familiarity against them, so the build's options decide.
@@ -1212,6 +1443,7 @@ export function prepareBuild(configPath: string, outDir: string) {
   checkItemFields(cfg);
   checkUnits(cfg);
   checkBlocks(cfg);
+  checkCardText(cfg);
   checkNoSourceShown(cfg);
   const described = describeRules(cfg, dirname(configPath));
   mkdirSync(outDir, { recursive: true });
@@ -1229,6 +1461,8 @@ export function prepareBuild(configPath: string, outDir: string) {
 interface Key {
   readonly study: string;
   readonly questions: readonly string[];
+  readonly answerers?: readonly string[];
+  readonly min_seconds?: number;
   readonly allowed?: Json;
   readonly practice?: {
     readonly round: number;
@@ -1246,6 +1480,11 @@ function assertKey(_value: Json): asserts _value is Json & Key {
 }
 
 const ANSWER_DOC_FIELDS = ["answers", "reasons", "savedAt", "source"];
+/** A page built with `min_seconds` also stores how long the item was on screen before its first save. */
+const answerDocFields = (key: Key): readonly string[] =>
+  key.min_seconds === undefined
+    ? ANSWER_DOC_FIELDS
+    : ["answers", "reasons", "savedAt", "seconds", "source"];
 const GROUP_DOC_FIELDS = ["familiarity", "savedAt", "source"];
 const DOC_FIELD_TYPES: readonly (readonly [
   string,
@@ -1264,6 +1503,12 @@ const DOC_FIELD_TYPES: readonly (readonly [
     (v) => v === null || typeof v === "string",
     "a timestamp string or null",
   ],
+  [
+    "seconds",
+    (v) =>
+      v === null || (typeof v === "number" && Number.isInteger(v) && v >= 0),
+    "a whole number of seconds or null",
+  ],
 ];
 const COLLECTIONS = ["answers", "groups", "practice"] as const;
 type Collection = (typeof COLLECTIONS)[number];
@@ -1297,15 +1542,29 @@ interface Names {
   readonly onPage: readonly string[];
   readonly fields: readonly string[];
 }
-function knownNames(key: Key): Readonly<Record<Collection, Names>> {
-  const entries = Object.entries(key.ids);
+/** Who an item is shown to: its own list, else every answerer of the page. */
+const shownTo = (all: readonly string[], meta: KeyEntry): readonly string[] =>
+  meta.answerers ?? all;
+/** A document's answerer, and the page's answerers; none on a page without them. */
+type Whose =
+  | { readonly who?: undefined }
+  | { readonly who: string; readonly all: readonly string[] };
+/** The names of a page without answerers, or those of one answerer's documents. */
+function knownNames(
+  key: Key,
+  whose: Whose,
+): Readonly<Record<Collection, Names>> {
+  const entries = Object.entries(key.ids).filter(
+    ([, m]) =>
+      whose.who === undefined || shownTo(whose.all, m).includes(whose.who),
+  );
   const shown = entries.filter(([, m]) => m.on_page);
   const practice = practiceDocs(key);
   return {
     answers: {
       known: entries.map(([nid]) => [nid, key.questions] as const),
       onPage: shown.map(([nid]) => nid),
-      fields: ANSWER_DOC_FIELDS,
+      fields: answerDocFields(key),
     },
     groups: {
       known: entries.map(([, m]) => [m.group, key.questions] as const),
@@ -1315,7 +1574,7 @@ function knownNames(key: Key): Readonly<Record<Collection, Names>> {
     practice: {
       known: practice,
       onPage: practice.map(([n]) => n),
-      fields: ANSWER_DOC_FIELDS,
+      fields: answerDocFields(key),
     },
   };
 }
@@ -1340,16 +1599,43 @@ function checkDumpShape(dump: Json): asserts dump is JsonObject {
       `${stray}: the store has no such collection (expected ${COLLECTIONS.join(", ")})`,
     );
 }
+/**
+ * A document's answerer and its name without it. A page without answerers has none; with them, an
+ * id without `~`, or before it a name the page does not have, is refused.
+ */
+function answererOf(
+  where: string,
+  docId: string,
+  key: Key,
+): Whose & { readonly name: string } {
+  const all = key.answerers;
+  if (all === undefined) return { name: docId };
+  const at = docId.indexOf(SEP);
+  if (at === -1)
+    return fail(
+      `${where}: this page has answerers (${all.join(", ")}), so a document's id is <answerer>${SEP}<id>`,
+    );
+  const who = docId.slice(0, at);
+  if (!all.includes(who))
+    fail(
+      `${where}: ${repr(who)} is not an answerer of this page (${all.join(", ")})`,
+    );
+  return { who, all, name: docId.slice(at + 1) };
+}
 function checkDocName(
   where: string,
-  name: string,
+  { who, name }: Whose & { readonly name: string },
   kind: Collection,
   names: Names,
 ): readonly string[] {
   const hit = names.known.find(([n]) => n === name);
   if (hit === undefined) {
     return fail(
-      `${where}: the key does not know this ${NOUN[kind]} (${[...new Set(names.known.map(([n]) => n))].sort().join(", ")})`,
+      `${where}: the key does not know this ${NOUN[kind]}${who === undefined ? "" : ` for ${who}`} (${R.unique(
+        names.known.map(([n]) => n),
+      )
+        .sort()
+        .join(", ")})`,
     );
   }
   if (!names.onPage.includes(name)) {
@@ -1428,15 +1714,20 @@ function checkDocAnswers(
  */
 function checkDump(dump: Json, key: Key): asserts dump is JsonObject {
   checkDumpShape(dump);
-  const names = knownNames(key);
+  // A page without answerers knows one set of names; each answerer has their own.
+  const plain = knownNames(key, {});
   for (const kind of COLLECTIONS) {
     const collection = dump[kind];
-    for (const [name, doc] of sortedEntries(
+    for (const [docId, doc] of sortedEntries(
       isObject(collection) ? collection : {},
     )) {
-      const where = `${kind}/${name}`;
-      const questions = checkDocName(where, name, kind, names[kind]);
-      checkDocFields(where, doc, kind, names[kind].fields);
+      const where = `${kind}/${docId}`;
+      const named = answererOf(where, docId, key);
+      const names = (named.who === undefined ? plain : knownNames(key, named))[
+        kind
+      ];
+      const questions = checkDocName(where, named, kind, names);
+      checkDocFields(where, doc, kind, names.fields);
       checkDocAnswers(where, doc, questions);
     }
   }
@@ -1524,8 +1815,8 @@ function answersOf(doc: JsonObject, ctx: Ctx) {
   );
   return { given, invalid };
 }
-/** One item of the labels file: its answers, what is invalid, the reasons, and whether it is done. */
-function labelOf(nid: string, meta: KeyEntry, doc: JsonObject, ctx: Ctx) {
+/** One stored answer: its answers, what is invalid, the reasons, and whether it is done. */
+function answerOf(doc: JsonObject, ctx: Ctx) {
   const { given, invalid } = answersOf(doc, ctx);
   const reasons = Object.fromEntries(
     Object.entries(textsOf(doc["reasons"])).filter(([, r]) => r.trim()),
@@ -1537,9 +1828,6 @@ function labelOf(nid: string, meta: KeyEntry, doc: JsonObject, ctx: Ctx) {
     )
     .map(([q]) => q);
   return {
-    id: nid,
-    source_id: meta.source_id,
-    group: meta.group,
     answers: given,
     invalid_answers: invalid,
     reasons,
@@ -1548,19 +1836,32 @@ function labelOf(nid: string, meta: KeyEntry, doc: JsonObject, ctx: Ctx) {
       Object.values(given).every((v) => v !== null) && !unexplained.length,
     source: textOf(doc["source"]),
     saved_at: doc["savedAt"] ?? null,
+    // Only a page built with `min_seconds` stores how long the item was on screen.
+    ...R.pick({ seconds: doc["seconds"] ?? null }, secondsOf(ctx.key)),
   };
 }
-type Label = ReturnType<typeof labelOf>;
+type Answer = ReturnType<typeof answerOf>;
+/** The `seconds` field, on a page built with `min_seconds`; none on any other. */
+const secondsOf = (key: Key): readonly "seconds"[] =>
+  key.min_seconds === undefined ? [] : ["seconds"];
+/** One item of the labels file of a page without answerers. */
+const labelOf = (nid: string, meta: KeyEntry, doc: JsonObject, ctx: Ctx) => ({
+  id: nid,
+  source_id: meta.source_id,
+  group: meta.group,
+  ...answerOf(doc, ctx),
+});
 
 /** Same rule as for item answers: a familiarity outside the options is marked, not counted as rated. */
 function groupsOf(
   groupIds: readonly string[],
   groups: Json | undefined,
   allowed: Allowed,
+  prefix = "",
 ) {
   return Object.fromEntries(
     groupIds.map((g) => {
-      const doc = docOf(groups, g);
+      const doc = docOf(groups, `${prefix}${g}`);
       const fam = textOf(doc["familiarity"]);
       const bad = fam !== null && !allowed.familiarity.includes(fam);
       return [
@@ -1575,7 +1876,10 @@ function groupsOf(
     }),
   );
 }
-function reportLabels(items: readonly Label[], allowed: Allowed): void {
+function reportLabels(
+  items: readonly (Answer & { readonly id: string })[],
+  allowed: Allowed,
+): void {
   for (const i of items) {
     for (const [q, v] of Object.entries(i.invalid_answers)) {
       say(
@@ -1605,9 +1909,14 @@ function reportGroups(
   }
 }
 /** Each practice item of the key's round: what was answered first, what was expected, whether they match. */
-function scorePractice(dump: JsonObject, round: string, all: Expected) {
+function scorePractice(
+  dump: JsonObject,
+  round: string,
+  all: Expected,
+  prefix: string,
+) {
   return Object.entries(all).map(([pid, expected]) => {
-    const doc = docOf(dump["practice"], `r${round}-${pid}`);
+    const doc = docOf(dump["practice"], `${prefix}r${round}-${pid}`);
     const answers = isObject(doc["answers"]) ? doc["answers"] : {};
     const matched = Object.entries(expected).every(
       ([q, v]) => answers[q] === v,
@@ -1621,9 +1930,14 @@ function scorePractice(dump: JsonObject, round: string, all: Expected) {
     };
   });
 }
-/** One file per round: a second round exported the same day keeps the first. */
-const practiceFile = (study: string, round: number, day: string): string =>
-  `${study}-practice-r${String(round)}-${day}.json`;
+/** One file per round (and answerer): a second round exported the same day keeps the first. */
+const practiceFile = (
+  study: string,
+  round: number,
+  day: string,
+  who: string | undefined,
+): string =>
+  `${study}-practice-r${String(round)}${who === undefined ? "" : `-${who}`}-${day}.json`;
 /**
  * Every practice round the store holds answers for, each scored against its own expected answers
  * into its own file; never into the labels. The key's own round is reported even unanswered.
@@ -1636,79 +1950,169 @@ function exportPractice(
 ): void {
   const p = key.practice;
   if (p === undefined) return;
-  Object.entries(roundsIn(p))
-    .sort(([a], [b]) => Number(a) - Number(b))
-    .forEach(([round, expected]) => {
+  const rounds = R.sortBy(R.entries(roundsIn(p)), ([r]) => Number(r));
+  (key.answerers ?? [undefined]).forEach((who) => {
+    rounds.forEach(([round, expected]) => {
       exportRound(
         key.study,
         Number(round),
-        scorePractice(dump, round, expected),
-        {
-          target,
-          day,
-          current: Number(round) === p.round,
-        },
+        scorePractice(
+          dump,
+          round,
+          expected,
+          who === undefined ? "" : `${who}${SEP}`,
+        ),
+        { target, day, current: Number(round) === p.round, who },
       );
     });
+  });
+}
+/** Where a round's practice goes, and whose it is: no one's on a page without answerers. */
+interface RoundAt {
+  readonly target: string;
+  readonly day: string;
+  readonly current: boolean;
+  readonly who: string | undefined;
 }
 /** One round's scored practice to `<study>-practice-r<round>-<date>.json`, and one line about it. */
 function exportRound(
   study: string,
   round: number,
   items: ReturnType<typeof scorePractice>,
-  at: {
-    readonly target: string;
-    readonly day: string;
-    readonly current: boolean;
-  },
+  at: RoundAt,
 ): void {
+  const named = `practice round ${String(round)}${at.who === undefined ? "" : ` (${at.who})`}`;
   if (!items.some((i) => Object.keys(i.answers).length)) {
-    if (at.current) say(`practice round ${String(round)}: not answered`);
+    if (at.current) say(`${named}: not answered`);
     return;
   }
   const missed = items.filter((i) => !i.matched).map((i) => i.id);
   const matched = items.length - missed.length;
-  const path = join(at.target, practiceFile(study, round, at.day));
+  const path = join(at.target, practiceFile(study, round, at.day, at.who));
   writeJson(path, {
     study,
     round,
+    ...R.pickBy({ answerer: at.who }, R.isDefined),
     exported: at.day,
     matched,
     total: items.length,
     items,
   });
   say(
-    `practice round ${String(round)}: ${String(matched)} of ${String(items.length)} matched${missed.length ? `; missed ${missed.join(", ")}` : ""} -> ${path}`,
+    `${named}: ${String(matched)} of ${String(items.length)} matched${missed.length ? `; missed ${missed.join(", ")}` : ""} -> ${path}`,
   );
 }
+/** The counts of one set of answers and groups. */
+const tally = (
+  items: readonly Answer[],
+  groups: ReturnType<typeof groupsOf>,
+) => ({
+  groups,
+  complete_items: items.filter((i) => i.complete).length,
+  invalid_items: items.filter((i) => Object.keys(i.invalid_answers).length)
+    .length,
+  invalid_groups: Object.values(groups).filter(
+    (g) => g.invalid_familiarity !== null,
+  ).length,
+  total_items: items.length,
+});
+type Tally = ReturnType<typeof tally>;
+/** The familiarity of the groups of `onPage`, or none on a page that asks none. */
+const groupsFor = (
+  onPage: readonly (readonly [string, KeyEntry])[],
+  dump: JsonObject,
+  ctx: Ctx,
+  prefix = "",
+) =>
+  ctx.allowed.familiarity.length
+    ? groupsOf(
+        R.unique(onPage.map(([, m]) => m.group)),
+        dump["groups"],
+        ctx.allowed,
+        prefix,
+      )
+    : {};
 /** The labels file: every item on the page with its answers, the groups, and the counts. */
 function labelsOf(dump: JsonObject, ctx: Ctx, day: string) {
   const onPage = Object.entries(ctx.key.ids).filter(([, m]) => m.on_page);
   const items = onPage.map(([nid, meta]) =>
     labelOf(nid, meta, docOf(dump["answers"], nid), ctx),
   );
-  const groups = ctx.allowed.familiarity.length
-    ? groupsOf(
-        [...new Set(onPage.map(([, m]) => m.group))],
-        dump["groups"],
-        ctx.allowed,
-      )
-    : {};
   return {
     study: ctx.key.study,
     exported: day,
     questions: ctx.key.questions,
     items,
-    groups,
-    complete_items: items.filter((i) => i.complete).length,
-    invalid_items: items.filter((i) => Object.keys(i.invalid_answers).length)
-      .length,
-    invalid_groups: Object.values(groups).filter(
-      (g) => g.invalid_familiarity !== null,
-    ).length,
-    total_items: items.length,
+    ...tally(items, groupsFor(onPage, dump, ctx)),
   };
 }
+/**
+ * The labels file of a page with answerers: each item with every answerer it is shown to and their
+ * answers apart (`by_answerer`), and each answerer's groups and counts (`by_answerer` at the top).
+ */
+function answererLabelsOf(
+  dump: JsonObject,
+  ctx: Ctx,
+  day: string,
+  all: readonly string[],
+) {
+  const onPage = Object.entries(ctx.key.ids).filter(([, m]) => m.on_page);
+  const docFor = (who: string, nid: string) =>
+    answerOf(docOf(dump["answers"], `${who}${SEP}${nid}`), ctx);
+  const items = onPage.map(([nid, meta]) => ({
+    id: nid,
+    source_id: meta.source_id,
+    group: meta.group,
+    answerers: shownTo(all, meta),
+    by_answerer: R.fromKeys(shownTo(all, meta), (who) => docFor(who, nid)),
+  }));
+  return {
+    study: ctx.key.study,
+    exported: day,
+    questions: ctx.key.questions,
+    answerers: all,
+    items,
+    by_answerer: R.fromKeys(all, (who) =>
+      tallyOf({ who, all }, onPage, dump, ctx),
+    ),
+  };
+}
+/** One answerer's groups and counts, over the items shown to them. */
+function tallyOf(
+  { who, all }: { readonly who: string; readonly all: readonly string[] },
+  onPage: readonly (readonly [string, KeyEntry])[],
+  dump: JsonObject,
+  ctx: Ctx,
+): Tally {
+  const mine = onPage.filter(([, m]) => shownTo(all, m).includes(who));
+  return tally(
+    mine.map(([nid]) =>
+      answerOf(docOf(dump["answers"], `${who}${SEP}${nid}`), ctx),
+    ),
+    groupsFor(mine, dump, ctx, `${who}${SEP}`),
+  );
+}
+/** Each answerer's items and groups, named `<answerer>~<id>` in the report, as in the store. */
+function reportAnswerers(
+  out: ReturnType<typeof answererLabelsOf>,
+  allowed: Allowed,
+): void {
+  R.forEachObj(out.by_answerer, (t, who) => {
+    reportLabels(
+      out.items.flatMap((i) => {
+        const a = i.by_answerer[who];
+        return a === undefined ? [] : [{ id: `${who}${SEP}${i.id}`, ...a }];
+      }),
+      allowed,
+    );
+    reportGroups(
+      R.mapKeys(t.groups, (g) => `${who}${SEP}${g}`),
+      allowed,
+    );
+  });
+}
+const completeLine = (t: Tally): string =>
+  `${String(t.complete_items)} of ${String(t.total_items)} items complete`;
 export function exportLabels(
   dumpPath: string,
   keyPath: string,
@@ -1722,14 +2126,34 @@ export function exportLabels(
   assertAllowed(allowed, key, keyPath);
   checkDump(dump, key);
   checkNoFamiliarity(dump, allowed);
-  const out = labelsOf(dump, { key, allowed }, day);
+  const ctx = { key, allowed };
+  const all = key.answerers;
+  const out =
+    all === undefined
+      ? labelsOf(dump, ctx, day)
+      : answererLabelsOf(dump, ctx, day, all);
   mkdirSync(outDir, { recursive: true });
   const path = join(outDir, `${key.study}-labels-${day}.json`);
   writeJson(path, out);
   exportPractice(dump, key, outDir, day);
-  say(
-    `wrote ${path}: ${String(out.complete_items)} of ${String(out.total_items)} items complete`,
-  );
-  reportLabels(out.items, allowed);
-  reportGroups(out.groups, allowed);
+  reportExport(path, out, allowed);
+}
+/** What the export wrote, and every item and group it did not count. */
+function reportExport(
+  path: string,
+  out: ReturnType<typeof labelsOf> | ReturnType<typeof answererLabelsOf>,
+  allowed: Allowed,
+): void {
+  if ("by_answerer" in out) {
+    say(
+      `wrote ${path}: ${R.entries(out.by_answerer)
+        .map(([who, t]) => `${who}: ${completeLine(t)}`)
+        .join("; ")}`,
+    );
+    reportAnswerers(out, allowed);
+  } else {
+    say(`wrote ${path}: ${completeLine(out)}`);
+    reportLabels(out.items, allowed);
+    reportGroups(out.groups, allowed);
+  }
 }