@ascribed/review 0.1.2-next.8 → 0.2.1-next.9

package/README.md

@@ -36,7 +36,7 @@ The colors are the `--ascribe-review-*` custom properties at the top of `marks.c
 
 ## The static report
 
-`src/report/` is the script of `ascribe diff --format html`'s report, which draws the list of changed pages and each page with its marks. It isn't an entry point: `pnpm --filter @ascribed/review embed` bundles it with the marks and `@ascribed/elements` into `crates/tessera-diff/src/html/`, where the binary embeds it, along with one stylesheet made of the element library's, `marks.css`, and `src/report/report.css`. It also writes the script's SHA-256 beside it, which the report's content security policy names as the one script allowed to run. Run it after changing any of them; `test/embedded.test.ts` fails until you do.
+`src/report/` is the script of `ascribe diff --format html`'s report, which draws the list of changed pages and each page with its marks. It isn't an entry point: `pnpm --filter @ascribed/review embed` bundles it with the marks and `@ascribed/elements` into `crates/ascribe-diff/src/html/`, where the binary embeds it, along with one stylesheet made of the element library's, `marks.css`, and `src/report/report.css`. It also writes the script's SHA-256 beside it, which the report's content security policy names as the one script allowed to run. Run it after changing any of them; `test/embedded.test.ts` fails until you do.
 
 ## `@ascribed/review/overlay`
 

package/dist/github/marker.d.ts

@@ -14,8 +14,6 @@ export interface MarkedSection {
  * this, which reading and submitting remove.
  */
 export declare const PLACEHOLDER = "<!-- ascribe:review -->";
-/** Ends a review's summary when anchored comments follow it. */
-export declare const SUMMARY_END = "<!-- ascribe:summary -->";
 /** `body` without the placeholder summary. */
 export declare function withoutPlaceholder(body: string): string;
 /**

package/dist/github/marker.js

@@ -21,7 +21,7 @@ const MARKER = /<!-- ascribe:anchor (\S+)(?: build=(\S+))?( quote=text)? -->/g;
  */
 export const PLACEHOLDER = "<!-- ascribe:review -->";
 /** Ends a review's summary when anchored comments follow it. */
-export const SUMMARY_END = "<!-- ascribe:summary -->";
+const SUMMARY_END = "<!-- ascribe:summary -->";
 /** `body` without the placeholder summary. */
 export function withoutPlaceholder(body) {
     return body.split(PLACEHOLDER).join("").trim();

package/dist/github/marker.js.map

@@ -1 +1 @@
-{"version":3,"file":"marker.js","sourceRoot":"","sources":["../../src/github/marker.ts"],"names":[],"mappings":"AAAA,kEAAkE;AAClE,mEAAmE;AACnE,EAAE;AACF,+DAA+D;AAC/D,EAAE;AACF,yEAAyE;AACzE,qDAAqD;AACrD,EAAE;AACF,mCAAmC;AACnC,EAAE;AACF,6BAA6B;AAC7B,EAAE;AACF,yEAAyE;AACzE,2EAA2E;AAC3E,iCAAiC;AAajC,MAAM,MAAM,GAAG,+DAA+D,CAAC;AAE/E;;;;GAIG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,yBAAyB,CAAC;AAErD,gEAAgE;AAChE,MAAM,CAAC,MAAM,WAAW,GAAG,0BAA0B,CAAC;AAEtD,8CAA8C;AAC9C,MAAM,UAAU,kBAAkB,CAAC,IAAY;IAC7C,OAAO,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;AACjD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,MAAM,CAAC,MAAc,EAAE,KAAyB,EAAE,KAAK,GAAG,KAAK;IAC7E,OAAO,uBAAuB,MAAM,GAAG,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC;AACzI,CAAC;AAED,oFAAoF;AACpF,MAAM,MAAM,GAAG,QAAQ,CAAC;AAExB;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QAC7C,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,IAAI;aACd,KAAK,CAAC,MAAM,CAAC;aACb,OAAO,CAAC,iBAAiB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;aAClE,OAAO,CAAC,OAAO,EAAE,KAAK,MAAM,EAAE,CAAC,CAAC;QACnC,OAAO,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IACxC,CAAC,CAAC,CAAC;IACH,2EAA2E;IAC3E,OAAO,KAAK;SACT,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;SACnF,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,+CAA+C;AAC/C,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,OAAO,IAAI;SACR,KAAK,CAAC,OAAO,CAAC;SACd,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACZ,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC;QACpD,MAAM,QAAQ,GAAG,QAAQ,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC/D,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC;QAC1D,OAAO,CACL,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC;YAClB,QAAQ;iBACL,KAAK,CAAC,MAAM,CAAC;iBACb,OAAO,CAAC,IAAI,MAAM,CAAC,SAAS,MAAM,EAAE,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC;iBACjD,OAAO,CAAC,0BAA0B,EAAE,CAAC,CAAC,EAAE,CAAqB,EAAE,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,CAC/E,CAAC;IACJ,CAAC,CAAC;SACD,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,OAQ7B;IACC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,KAAK,IAAI,CAAC;IACrC,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QAC/D,KAAK,CAAC,IAAI,CACR,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;aAChD,KAAK,CAAC,OAAO,CAAC;aACd,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;aAChD,IAAI,CAAC,IAAI,CAAC,CACd,CAAC;IACJ,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAChC,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACzD,KAAK,CAAC,IAAI,CACR,OAAO,CAAC,IAAI,KAAK,SAAS;QACxB,CAAC,CAAC,GAAG;QACL,CAAC,CAAC,YAAY,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,MAAM,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,GAAG,YAAY,GAAG,EAAE,CACnG,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC5B,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,IAAY;IAKxC,IAAI,IAAI,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,mEAAmE;IACnE,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;IACrD,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,IAAI,GAAG,GAAG,KAAK,CAAC,EAAE,CAAC;QAC3C,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACpC,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;IACrD,CAAC;IACD,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1C,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QAC5C,KAAK,GAAG,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QACtC,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC9C,QAAQ,CAAC,IAAI,CAAC;YACZ,MAAM;YACN,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;YACf,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK;SACnF,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;AAC/D,CAAC;AAED,SAAS,MAAM,CAAC,IAAY;IAC1B,IAAI,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,6CAA6C,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAClF,IAAI,KAAyB,CAAC;IAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAClC,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,OAAO,MAAM,GAAG,KAAK,CAAC,MAAM,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QAAE,MAAM,EAAE,CAAC;IAC9E,IAAI,MAAM,GAAG,CAAC,IAAI,MAAM,GAAG,KAAK,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QAC/E,KAAK,GAAG,KAAK;aACV,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC;aAChB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;aACvC,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,IAAI,GAAG,KAAK;aACT,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;aACjB,IAAI,CAAC,IAAI,CAAC;aACV,IAAI,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAC/B,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,YAAY,CAAC,QAA2B,EAAE,OAA2B;IACnF,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC3D,6DAA6D;IAC7D,MAAM,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,oBAAoB,EAAE,KAAK,MAAM,GAAG,CAAC,CAAC;IAClF,IAAI,IAAI,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1C,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,OAAO,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AACnD,CAAC","sourcesContent":["// Comments GitHub can't anchor to a line go on the pull request's\n// conversation, each ending with a hidden marker naming its block:\n//\n//   <!-- ascribe:anchor guides/install.md:12-14 build=site -->\n//\n// Several can share one body (a review's), one after another. A review's\n// summary goes before them, ended by another marker:\n//\n//   Looks good, a few notes below.\n//\n//   <!-- ascribe:summary -->\n//\n// A comment quotes its block's source, or its text as the page shows it,\n// escaped so GitHub shows it as written; the marker of one that quotes the\n// shown text ends ` quote=text`.\n\n/** One anchored comment, as written in a body. */\nexport interface MarkedSection {\n  /** The block's source. */\n  source: string;\n  build: string | undefined;\n  /** The comment, without the quote, the link line, or the marker. */\n  body: string;\n  /** The block's text the comment quoted, if it did. */\n  quote: string | undefined;\n}\n\nconst MARKER = /<!-- ascribe:anchor (\\S+)(?: build=(\\S+))?( quote=text)? -->/g;\n\n/**\n * The summary a pending review starts with. GitHub can't edit the summary of\n * a pending review created without one, so the session's reviews start with\n * this, which reading and submitting remove.\n */\nexport const PLACEHOLDER = \"<!-- ascribe:review -->\";\n\n/** Ends a review's summary when anchored comments follow it. */\nexport const SUMMARY_END = \"<!-- ascribe:summary -->\";\n\n/** `body` without the placeholder summary. */\nexport function withoutPlaceholder(body: string): string {\n  return body.split(PLACEHOLDER).join(\"\").trim();\n}\n\n/**\n * The marker for a block. Without a build (or with `\"\"`), the comment is on\n * every build's page. `shown` marks a quote of the shown text.\n */\nexport function marker(source: string, build: string | undefined, shown = false): string {\n  return `<!-- ascribe:anchor ${source}${build === undefined || build === \"\" ? \"\" : ` build=${build}`}${shown ? \" quote=text\" : \"\"} -->`;\n}\n\n/** Joins a mention or reference sign to what follows, so GitHub doesn't link it. */\nconst JOINER = \"\\u2060\";\n\n/**\n * Plain text as Markdown that GitHub shows as the text: punctuation\n * escaped, `@name` and `#123` not linked, line breaks and leading spaces\n * kept.\n */\nexport function escapeText(text: string): string {\n  const lines = text.split(/\\r?\\n/).map((line) => {\n    const indent = /^ */.exec(line)?.[0].length ?? 0;\n    const rest = line\n      .slice(indent)\n      .replace(/[!-/:-@[-`{-~]/g, (c) => (c === \"<\" ? \"&lt;\" : `\\\\${c}`))\n      .replace(/[@#]/g, `$&${JOINER}`);\n    return \"\\u00a0\".repeat(indent) + rest;\n  });\n  // A backslash at the end of a line breaks it, but not before a blank line.\n  return lines\n    .map((line, i) => (line !== \"\" && (lines[i + 1] ?? \"\") !== \"\" ? `${line}\\\\` : line))\n    .join(\"\\n\");\n}\n\n/** Text that `escapeText` wrote, as it was. */\nexport function unescapeText(text: string): string {\n  return text\n    .split(/\\r?\\n/)\n    .map((line) => {\n      const trailing = /\\\\*$/.exec(line)?.[0].length ?? 0;\n      const unbroken = trailing % 2 === 1 ? line.slice(0, -1) : line;\n      const indent = /^\\u00a0*/.exec(unbroken)?.[0].length ?? 0;\n      return (\n        \" \".repeat(indent) +\n        unbroken\n          .slice(indent)\n          .replace(new RegExp(`([@#])${JOINER}`, \"g\"), \"$1\")\n          .replace(/\\\\([!-/:-@[-`{-~])|&lt;/g, (_, c: string | undefined) => c ?? \"<\")\n      );\n    })\n    .join(\"\\n\");\n}\n\n/**\n * Writes a section: the block's text quoted, the comment, a line linking the\n * block's lines, and the marker.\n */\nexport function formatSection(options: {\n  source: string;\n  build: string | undefined;\n  body: string;\n  quote: string | undefined;\n  /** Whether `quote` is the block's text as the page shows it, rather than its source. */\n  shown?: boolean;\n  link: { label: string; url: string } | undefined;\n}): string {\n  const parts: string[] = [];\n  const shown = options.shown === true;\n  if (options.quote !== undefined && options.quote.trim() !== \"\") {\n    parts.push(\n      (shown ? escapeText(options.quote) : options.quote)\n        .split(/\\r?\\n/)\n        .map((line) => (line === \"\" ? \">\" : `> ${line}`))\n        .join(\"\\n\"),\n    );\n  }\n  parts.push(options.body.trim());\n  const end = marker(options.source, options.build, shown);\n  parts.push(\n    options.link === undefined\n      ? end\n      : `<sub>On [${options.link.label.replace(/[[\\]]/g, \"\\\\$&\")}](${options.link.url})</sub>\\n${end}`,\n  );\n  return parts.join(\"\\n\\n\");\n}\n\n/**\n * Splits a body into its summary, its marked sections, and the text after\n * the last marker (`rest`), which isn't anchored either.\n */\nexport function parseSections(text: string): {\n  summary: string;\n  sections: MarkedSection[];\n  rest: string;\n} {\n  let body = withoutPlaceholder(text);\n  let summary = \"\";\n  // The summary ends before the first comment, if it's there at all.\n  const end = body.indexOf(SUMMARY_END);\n  const first = body.search(new RegExp(MARKER.source));\n  if (end >= 0 && (first < 0 || end < first)) {\n    summary = body.slice(0, end).trim();\n    body = body.slice(end + SUMMARY_END.length).trim();\n  }\n  const sections: MarkedSection[] = [];\n  let start = 0;\n  for (const match of body.matchAll(MARKER)) {\n    const source = match[1] ?? \"\";\n    const text = body.slice(start, match.index);\n    start = match.index + match[0].length;\n    const { body: comment, quote } = unwrap(text);\n    sections.push({\n      source,\n      build: match[2],\n      body: comment,\n      quote: quote !== undefined && match[3] !== undefined ? unescapeText(quote) : quote,\n    });\n  }\n  return { summary, sections, rest: body.slice(start).trim() };\n}\n\nfunction unwrap(text: string): { body: string; quote: string | undefined } {\n  let rest = text.replace(/\\s*<sub>On \\[[^\\n]*\\]\\([^\\n)]*\\)<\\/sub>\\s*$/, \"\").trim();\n  let quote: string | undefined;\n  const lines = rest.split(/\\r?\\n/);\n  let quoted = 0;\n  while (quoted < lines.length && /^>( |$)/.test(lines[quoted] ?? \"\")) quoted++;\n  if (quoted > 0 && quoted < lines.length && (lines[quoted] ?? \"\").trim() === \"\") {\n    quote = lines\n      .slice(0, quoted)\n      .map((line) => line.replace(/^> ?/, \"\"))\n      .join(\"\\n\");\n    rest = lines\n      .slice(quoted + 1)\n      .join(\"\\n\")\n      .trim();\n  }\n  return { body: rest, quote };\n}\n\n/**\n * Joins a summary and sections into one body: the summary first, so it\n * doesn't read as a remark on the last section.\n */\nexport function joinSections(sections: readonly string[], summary: string | undefined): string {\n  const held = sections.filter((part) => part.trim() !== \"\");\n  // A marker in the summary would be read as one of Ascribe's.\n  const lead = (summary ?? \"\").trim().replace(/(<!--\\s*ascribe):/g, `$1${JOINER}:`);\n  if (lead === \"\") return held.join(\"\\n\\n\");\n  if (held.length === 0) return lead;\n  return [lead, SUMMARY_END, ...held].join(\"\\n\\n\");\n}\n"]}
+{"version":3,"file":"marker.js","sourceRoot":"","sources":["../../src/github/marker.ts"],"names":[],"mappings":"AAAA,kEAAkE;AAClE,mEAAmE;AACnE,EAAE;AACF,+DAA+D;AAC/D,EAAE;AACF,yEAAyE;AACzE,qDAAqD;AACrD,EAAE;AACF,mCAAmC;AACnC,EAAE;AACF,6BAA6B;AAC7B,EAAE;AACF,yEAAyE;AACzE,2EAA2E;AAC3E,iCAAiC;AAajC,MAAM,MAAM,GAAG,+DAA+D,CAAC;AAE/E;;;;GAIG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,yBAAyB,CAAC;AAErD,gEAAgE;AAChE,MAAM,WAAW,GAAG,0BAA0B,CAAC;AAE/C,8CAA8C;AAC9C,MAAM,UAAU,kBAAkB,CAAC,IAAY;IAC7C,OAAO,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;AACjD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,MAAM,CAAC,MAAc,EAAE,KAAyB,EAAE,KAAK,GAAG,KAAK;IAC7E,OAAO,uBAAuB,MAAM,GAAG,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC;AACzI,CAAC;AAED,oFAAoF;AACpF,MAAM,MAAM,GAAG,QAAQ,CAAC;AAExB;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QAC7C,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,IAAI;aACd,KAAK,CAAC,MAAM,CAAC;aACb,OAAO,CAAC,iBAAiB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;aAClE,OAAO,CAAC,OAAO,EAAE,KAAK,MAAM,EAAE,CAAC,CAAC;QACnC,OAAO,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IACxC,CAAC,CAAC,CAAC;IACH,2EAA2E;IAC3E,OAAO,KAAK;SACT,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;SACnF,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,+CAA+C;AAC/C,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,OAAO,IAAI;SACR,KAAK,CAAC,OAAO,CAAC;SACd,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACZ,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC;QACpD,MAAM,QAAQ,GAAG,QAAQ,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC/D,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC;QAC1D,OAAO,CACL,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC;YAClB,QAAQ;iBACL,KAAK,CAAC,MAAM,CAAC;iBACb,OAAO,CAAC,IAAI,MAAM,CAAC,SAAS,MAAM,EAAE,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC;iBACjD,OAAO,CAAC,0BAA0B,EAAE,CAAC,CAAC,EAAE,CAAqB,EAAE,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,CAC/E,CAAC;IACJ,CAAC,CAAC;SACD,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,OAQ7B;IACC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,KAAK,IAAI,CAAC;IACrC,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QAC/D,KAAK,CAAC,IAAI,CACR,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;aAChD,KAAK,CAAC,OAAO,CAAC;aACd,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;aAChD,IAAI,CAAC,IAAI,CAAC,CACd,CAAC;IACJ,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAChC,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACzD,KAAK,CAAC,IAAI,CACR,OAAO,CAAC,IAAI,KAAK,SAAS;QACxB,CAAC,CAAC,GAAG;QACL,CAAC,CAAC,YAAY,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,MAAM,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,GAAG,YAAY,GAAG,EAAE,CACnG,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC5B,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,IAAY;IAKxC,IAAI,IAAI,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,mEAAmE;IACnE,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;IACrD,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,IAAI,GAAG,GAAG,KAAK,CAAC,EAAE,CAAC;QAC3C,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACpC,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;IACrD,CAAC;IACD,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1C,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QAC5C,KAAK,GAAG,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QACtC,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC9C,QAAQ,CAAC,IAAI,CAAC;YACZ,MAAM;YACN,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;YACf,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK;SACnF,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;AAC/D,CAAC;AAED,SAAS,MAAM,CAAC,IAAY;IAC1B,IAAI,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,6CAA6C,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAClF,IAAI,KAAyB,CAAC;IAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAClC,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,OAAO,MAAM,GAAG,KAAK,CAAC,MAAM,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QAAE,MAAM,EAAE,CAAC;IAC9E,IAAI,MAAM,GAAG,CAAC,IAAI,MAAM,GAAG,KAAK,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QAC/E,KAAK,GAAG,KAAK;aACV,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC;aAChB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;aACvC,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,IAAI,GAAG,KAAK;aACT,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;aACjB,IAAI,CAAC,IAAI,CAAC;aACV,IAAI,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAC/B,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,YAAY,CAAC,QAA2B,EAAE,OAA2B;IACnF,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC3D,6DAA6D;IAC7D,MAAM,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,oBAAoB,EAAE,KAAK,MAAM,GAAG,CAAC,CAAC;IAClF,IAAI,IAAI,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1C,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,OAAO,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AACnD,CAAC","sourcesContent":["// Comments GitHub can't anchor to a line go on the pull request's\n// conversation, each ending with a hidden marker naming its block:\n//\n//   <!-- ascribe:anchor guides/install.md:12-14 build=site -->\n//\n// Several can share one body (a review's), one after another. A review's\n// summary goes before them, ended by another marker:\n//\n//   Looks good, a few notes below.\n//\n//   <!-- ascribe:summary -->\n//\n// A comment quotes its block's source, or its text as the page shows it,\n// escaped so GitHub shows it as written; the marker of one that quotes the\n// shown text ends ` quote=text`.\n\n/** One anchored comment, as written in a body. */\nexport interface MarkedSection {\n  /** The block's source. */\n  source: string;\n  build: string | undefined;\n  /** The comment, without the quote, the link line, or the marker. */\n  body: string;\n  /** The block's text the comment quoted, if it did. */\n  quote: string | undefined;\n}\n\nconst MARKER = /<!-- ascribe:anchor (\\S+)(?: build=(\\S+))?( quote=text)? -->/g;\n\n/**\n * The summary a pending review starts with. GitHub can't edit the summary of\n * a pending review created without one, so the session's reviews start with\n * this, which reading and submitting remove.\n */\nexport const PLACEHOLDER = \"<!-- ascribe:review -->\";\n\n/** Ends a review's summary when anchored comments follow it. */\nconst SUMMARY_END = \"<!-- ascribe:summary -->\";\n\n/** `body` without the placeholder summary. */\nexport function withoutPlaceholder(body: string): string {\n  return body.split(PLACEHOLDER).join(\"\").trim();\n}\n\n/**\n * The marker for a block. Without a build (or with `\"\"`), the comment is on\n * every build's page. `shown` marks a quote of the shown text.\n */\nexport function marker(source: string, build: string | undefined, shown = false): string {\n  return `<!-- ascribe:anchor ${source}${build === undefined || build === \"\" ? \"\" : ` build=${build}`}${shown ? \" quote=text\" : \"\"} -->`;\n}\n\n/** Joins a mention or reference sign to what follows, so GitHub doesn't link it. */\nconst JOINER = \"\\u2060\";\n\n/**\n * Plain text as Markdown that GitHub shows as the text: punctuation\n * escaped, `@name` and `#123` not linked, line breaks and leading spaces\n * kept.\n */\nexport function escapeText(text: string): string {\n  const lines = text.split(/\\r?\\n/).map((line) => {\n    const indent = /^ */.exec(line)?.[0].length ?? 0;\n    const rest = line\n      .slice(indent)\n      .replace(/[!-/:-@[-`{-~]/g, (c) => (c === \"<\" ? \"&lt;\" : `\\\\${c}`))\n      .replace(/[@#]/g, `$&${JOINER}`);\n    return \"\\u00a0\".repeat(indent) + rest;\n  });\n  // A backslash at the end of a line breaks it, but not before a blank line.\n  return lines\n    .map((line, i) => (line !== \"\" && (lines[i + 1] ?? \"\") !== \"\" ? `${line}\\\\` : line))\n    .join(\"\\n\");\n}\n\n/** Text that `escapeText` wrote, as it was. */\nexport function unescapeText(text: string): string {\n  return text\n    .split(/\\r?\\n/)\n    .map((line) => {\n      const trailing = /\\\\*$/.exec(line)?.[0].length ?? 0;\n      const unbroken = trailing % 2 === 1 ? line.slice(0, -1) : line;\n      const indent = /^\\u00a0*/.exec(unbroken)?.[0].length ?? 0;\n      return (\n        \" \".repeat(indent) +\n        unbroken\n          .slice(indent)\n          .replace(new RegExp(`([@#])${JOINER}`, \"g\"), \"$1\")\n          .replace(/\\\\([!-/:-@[-`{-~])|&lt;/g, (_, c: string | undefined) => c ?? \"<\")\n      );\n    })\n    .join(\"\\n\");\n}\n\n/**\n * Writes a section: the block's text quoted, the comment, a line linking the\n * block's lines, and the marker.\n */\nexport function formatSection(options: {\n  source: string;\n  build: string | undefined;\n  body: string;\n  quote: string | undefined;\n  /** Whether `quote` is the block's text as the page shows it, rather than its source. */\n  shown?: boolean;\n  link: { label: string; url: string } | undefined;\n}): string {\n  const parts: string[] = [];\n  const shown = options.shown === true;\n  if (options.quote !== undefined && options.quote.trim() !== \"\") {\n    parts.push(\n      (shown ? escapeText(options.quote) : options.quote)\n        .split(/\\r?\\n/)\n        .map((line) => (line === \"\" ? \">\" : `> ${line}`))\n        .join(\"\\n\"),\n    );\n  }\n  parts.push(options.body.trim());\n  const end = marker(options.source, options.build, shown);\n  parts.push(\n    options.link === undefined\n      ? end\n      : `<sub>On [${options.link.label.replace(/[[\\]]/g, \"\\\\$&\")}](${options.link.url})</sub>\\n${end}`,\n  );\n  return parts.join(\"\\n\\n\");\n}\n\n/**\n * Splits a body into its summary, its marked sections, and the text after\n * the last marker (`rest`), which isn't anchored either.\n */\nexport function parseSections(text: string): {\n  summary: string;\n  sections: MarkedSection[];\n  rest: string;\n} {\n  let body = withoutPlaceholder(text);\n  let summary = \"\";\n  // The summary ends before the first comment, if it's there at all.\n  const end = body.indexOf(SUMMARY_END);\n  const first = body.search(new RegExp(MARKER.source));\n  if (end >= 0 && (first < 0 || end < first)) {\n    summary = body.slice(0, end).trim();\n    body = body.slice(end + SUMMARY_END.length).trim();\n  }\n  const sections: MarkedSection[] = [];\n  let start = 0;\n  for (const match of body.matchAll(MARKER)) {\n    const source = match[1] ?? \"\";\n    const text = body.slice(start, match.index);\n    start = match.index + match[0].length;\n    const { body: comment, quote } = unwrap(text);\n    sections.push({\n      source,\n      build: match[2],\n      body: comment,\n      quote: quote !== undefined && match[3] !== undefined ? unescapeText(quote) : quote,\n    });\n  }\n  return { summary, sections, rest: body.slice(start).trim() };\n}\n\nfunction unwrap(text: string): { body: string; quote: string | undefined } {\n  let rest = text.replace(/\\s*<sub>On \\[[^\\n]*\\]\\([^\\n)]*\\)<\\/sub>\\s*$/, \"\").trim();\n  let quote: string | undefined;\n  const lines = rest.split(/\\r?\\n/);\n  let quoted = 0;\n  while (quoted < lines.length && /^>( |$)/.test(lines[quoted] ?? \"\")) quoted++;\n  if (quoted > 0 && quoted < lines.length && (lines[quoted] ?? \"\").trim() === \"\") {\n    quote = lines\n      .slice(0, quoted)\n      .map((line) => line.replace(/^> ?/, \"\"))\n      .join(\"\\n\");\n    rest = lines\n      .slice(quoted + 1)\n      .join(\"\\n\")\n      .trim();\n  }\n  return { body: rest, quote };\n}\n\n/**\n * Joins a summary and sections into one body: the summary first, so it\n * doesn't read as a remark on the last section.\n */\nexport function joinSections(sections: readonly string[], summary: string | undefined): string {\n  const held = sections.filter((part) => part.trim() !== \"\");\n  // A marker in the summary would be read as one of Ascribe's.\n  const lead = (summary ?? \"\").trim().replace(/(<!--\\s*ascribe):/g, `$1${JOINER}:`);\n  if (lead === \"\") return held.join(\"\\n\\n\");\n  if (held.length === 0) return lead;\n  return [lead, SUMMARY_END, ...held].join(\"\\n\\n\");\n}\n"]}

package/dist/marks/index.d.ts

@@ -1,27 +1,6 @@
-/** Where a block is written: the anchor grammar's `source` and `via`. */
-export interface Anchor {
-    source: string;
-    via: string[];
-}
-/** The words that differ inside a changed block of prose. */
-export interface Words {
-    /** `[start, end)` ranges, in characters, of `now_text`. */
-    now: [number, number][];
-    /** `[start, end)` ranges, in characters, of `was_text`. */
-    was: [number, number][];
-    now_text: string;
-    was_text: string;
-}
-/** One block's change, as `ascribe diff --format json` writes it. */
-export interface Change {
-    kind: "changed" | "added" | "removed" | "moved";
-    now?: Anchor;
-    was?: Anchor;
-    words?: Words;
-    after?: Anchor;
-    parent?: Anchor;
-    text?: string;
-}
+import type { Anchor, Change } from "../shapes.js";
+/** A block's change, where it's written, and its words, as `ascribe diff --format json` writes them. */
+export type { Anchor, Change, Words } from "../shapes.js";
 /** What the page shows: its changes, the page as it will be, or as it was. */
 export type Show = "changes" | "will" | "was";
 export interface MarkOptions {

package/dist/marks/index.js

@@ -1,17 +1,4 @@
-// @ascribed/review/marks: marks what changed on a rendered page, in the
-// browser.
-//
-// The page is Ascribe's site output rendered with source anchors (the
-// site-render contract, §7): every block's element carries
-// `data-ascribe-source`, and `data-ascribe-via` when it came through
-// includes. The changes are `ascribe diff --format json`'s, for that page.
-// `markChanges` applies them to the page's elements; `marks.css` (exported
-// as `@ascribed/review/marks.css`) draws them, and `setShow` switches between
-// the changes, the page as it will be, and the page as it was.
-//
-// Everything the marks add is an element with `data-ascribe-ui`, and every
-// element they change gets `data-ascribe-change`, so `clearMarks` can put the
-// page back as it was rendered.
+import { CLASS_DEL, CLASS_FLASH, CLASS_HINT, CLASS_INS, CLASS_LABEL, CLASS_LABEL_BEFORE, CLASS_MARKS, CLASS_MOVED_FROM, CLASS_MOVE_AFTER, CLASS_MOVE_LINK, CLASS_MOVE_NOTE, CLASS_OPEN, CLASS_REMOVED, CLASS_REMOVED_BODY, CLASS_TOGGLE, CLASS_WAS_COPY, CLASS_WHERE, DATA_CHANGE, DATA_HAS_WAS, DATA_HINT, DATA_LABEL, DATA_MOVE, DATA_SHOW, DATA_SOURCE, DATA_UI, DATA_VIA, DATA_WAS_ONLY, DATA_WAS_SOURCE, ELEMENT_TAB, } from "../names.js";
 const LABELS = {
     added: "Added",
     changed: "Changed",
@@ -34,7 +21,7 @@ const LABEL_INSIDE = new Set([
     "td",
     "th",
     // A tab's panel: before it would put the label among the tab list's panels.
-    "ascribe-tab",
+    ELEMENT_TAB,
 ]);
 /** Parses `<path>:<first>-<last>`, splitting at the last `:`. */
 export function parseSource(source) {
@@ -78,7 +65,7 @@ export function describeSource(source, via) {
     return text;
 }
 function viaOf(element) {
-    return element.getAttribute("data-ascribe-via") ?? "";
+    return element.getAttribute(DATA_VIA) ?? "";
 }
 /**
  * The element of a block: the one with exactly its anchor, or, when there's
@@ -88,8 +75,8 @@ function viaOf(element) {
  */
 export function findBlock(root, anchor) {
     const via = anchor.via.join(" ");
-    const anchored = Array.from(root.querySelectorAll("[data-ascribe-source]"));
-    const exact = anchored.find((el) => el.getAttribute("data-ascribe-source") === anchor.source && viaOf(el) === via);
+    const anchored = Array.from(root.querySelectorAll(`[${DATA_SOURCE}]`));
+    const exact = anchored.find((el) => el.getAttribute(DATA_SOURCE) === anchor.source && viaOf(el) === via);
     if (exact)
         return exact;
     const want = parseSource(anchor.source);
@@ -100,7 +87,7 @@ export function findBlock(root, anchor) {
     for (const el of anchored) {
         if (viaOf(el) !== via)
             continue;
-        const has = parseSource(el.getAttribute("data-ascribe-source") ?? "");
+        const has = parseSource(el.getAttribute(DATA_SOURCE) ?? "");
         if (!has || has.path !== want.path)
             continue;
         if (has.first > want.first || has.last < want.last)
@@ -116,7 +103,7 @@ export function findBlock(root, anchor) {
 function ui(doc, tag, className, text) {
     const el = doc.createElement(tag);
     el.className = className;
-    el.setAttribute("data-ascribe-ui", "");
+    el.setAttribute(DATA_UI, "");
     if (text !== undefined)
         el.textContent = text;
     return el;
@@ -124,13 +111,13 @@ function ui(doc, tag, className, text) {
 /** A label, inside the block at its start, or just before it. */
 function addLabel(element, kind) {
     const doc = element.ownerDocument;
-    const label = ui(doc, "span", "ascribe-label", LABELS[kind]);
-    label.setAttribute("data-ascribe-label", kind);
+    const label = ui(doc, "span", CLASS_LABEL, LABELS[kind]);
+    label.setAttribute(DATA_LABEL, kind);
     if (LABEL_INSIDE.has(element.localName)) {
         element.prepend(label);
     }
     else {
-        label.classList.add("ascribe-label-before");
+        label.classList.add(CLASS_LABEL_BEFORE);
         element.before(label);
     }
 }
@@ -148,8 +135,8 @@ function contentOf(holder, before) {
 function copyOf(element) {
     const copy = element.cloneNode(true);
     for (const el of [copy, ...Array.from(copy.querySelectorAll("*"))]) {
-        el.removeAttribute("data-ascribe-source");
-        el.removeAttribute("data-ascribe-via");
+        el.removeAttribute(DATA_SOURCE);
+        el.removeAttribute(DATA_VIA);
         el.removeAttribute("id");
     }
     return copy;
@@ -181,7 +168,7 @@ function ownText(element) {
         for (const child of Array.from(node.childNodes)) {
             if (child.nodeType === Node.TEXT_NODE)
                 text += child.nodeValue ?? "";
-            else if (child instanceof Element && !child.hasAttribute("data-ascribe-ui"))
+            else if (child instanceof Element && !child.hasAttribute(DATA_UI))
                 walk(child);
         }
     };
@@ -205,9 +192,7 @@ class Placer {
             let previous = this.#last.get(after) ?? after;
             // Past what the marks put after the block itself: its copy as it
             // was, or its "moved from" link.
-            for (let next = previous.nextElementSibling; next &&
-                (next.hasAttribute("data-ascribe-was-only") ||
-                    next.classList.contains("ascribe-move-after")); next = next.nextElementSibling) {
+            for (let next = previous.nextElementSibling; next && (next.hasAttribute(DATA_WAS_ONLY) || next.classList.contains(CLASS_MOVE_AFTER)); next = next.nextElementSibling) {
                 previous = next;
             }
             const el = make(after.parentElement);
@@ -226,7 +211,7 @@ class Placer {
         else {
             // First among the container's blocks: before its first anchored
             // child, or its first label, or at its end.
-            const first = Array.from(container.children).find((c) => c.hasAttribute("data-ascribe-source") || c.hasAttribute("data-ascribe-ui"));
+            const first = Array.from(container.children).find((c) => c.hasAttribute(DATA_SOURCE) || c.hasAttribute(DATA_UI));
             if (first)
                 first.before(el);
             else
@@ -270,8 +255,8 @@ function textMap(element) {
                 }
             }
             else if (child instanceof Element &&
-                !child.hasAttribute("data-ascribe-ui") &&
-                !child.hasAttribute("data-ascribe-source")) {
+                !child.hasAttribute(DATA_UI) &&
+                !child.hasAttribute(DATA_SOURCE)) {
                 walk(child);
             }
         }
@@ -342,10 +327,10 @@ function markWords(element, words) {
     edits.sort((a, b) => b.at - a.at || (a.kind === "del" ? -1 : 1));
     for (const edit of edits) {
         if (edit.kind === "ins") {
-            wrapRange(map, offset + edit.at, offset + edit.end, () => ui(doc, "ins", "ascribe-ins"));
+            wrapRange(map, offset + edit.at, offset + edit.end, () => ui(doc, "ins", CLASS_INS));
         }
         else {
-            const del = ui(doc, "del", "ascribe-del", edit.text);
+            const del = ui(doc, "del", CLASS_DEL, edit.text);
             insertAt(map, offset + edit.at, del, element);
         }
     }
@@ -407,33 +392,33 @@ export function markChanges(root, changes, options = {}) {
     const was = options.was ?? null;
     const placer = new Placer(root);
     const marks = [];
-    root.classList.add("ascribe-marks");
-    if (!root.hasAttribute("data-ascribe-show"))
-        root.setAttribute("data-ascribe-show", "changes");
+    root.classList.add(CLASS_MARKS);
+    if (!root.hasAttribute(DATA_SHOW))
+        root.setAttribute(DATA_SHOW, "changes");
     let moveCount = 0;
     for (const change of changes) {
         switch (change.kind) {
             case "added":
             case "changed": {
                 const element = change.now ? findBlock(root, change.now) : null;
-                if (!element || element.hasAttribute("data-ascribe-change"))
+                if (!element || element.hasAttribute(DATA_CHANGE))
                     break;
-                element.setAttribute("data-ascribe-change", change.kind);
+                element.setAttribute(DATA_CHANGE, change.kind);
                 addLabel(element, change.kind);
                 if (change.kind === "changed") {
                     // Where it was, for threads on its old text.
                     if (change.was)
-                        element.setAttribute("data-ascribe-was-source", change.was.source);
+                        element.setAttribute(DATA_WAS_SOURCE, change.was.source);
                     const before = was && change.was ? findBlock(was, change.was) : null;
                     if (change.words)
                         markWords(element, change.words);
                     if (before) {
                         // As it was, the block as the old page rendered it.
                         const copy = copyOf(before);
-                        copy.setAttribute("data-ascribe-ui", "");
-                        copy.setAttribute("data-ascribe-was-only", "");
+                        copy.setAttribute(DATA_UI, "");
+                        copy.setAttribute(DATA_WAS_ONLY, "");
                         element.after(copy);
-                        element.setAttribute("data-ascribe-has-was", "");
+                        element.setAttribute(DATA_HAS_WAS, "");
                     }
                 }
                 marks.push({ change, element });
@@ -442,23 +427,23 @@ export function markChanges(root, changes, options = {}) {
             case "removed": {
                 const before = was && change.was ? findBlock(was, change.was) : null;
                 const element = placer.place(change, (container) => {
-                    const holder = ui(doc, holderFor(container), "ascribe-removed");
-                    holder.setAttribute("data-ascribe-change", "removed");
+                    const holder = ui(doc, holderFor(container), CLASS_REMOVED);
+                    holder.setAttribute(DATA_CHANGE, "removed");
                     if (change.was)
-                        holder.setAttribute("data-ascribe-was-source", change.was.source);
-                    const label = ui(doc, "span", "ascribe-label", LABELS.removed);
-                    label.setAttribute("data-ascribe-label", "removed");
-                    const body = ui(doc, "div", "ascribe-removed-body");
+                        holder.setAttribute(DATA_WAS_SOURCE, change.was.source);
+                    const label = ui(doc, "span", CLASS_LABEL, LABELS.removed);
+                    label.setAttribute(DATA_LABEL, "removed");
+                    const body = ui(doc, "div", CLASS_REMOVED_BODY);
                     if (before)
                         body.append(...contentOf(holder, before));
                     else
                         body.textContent = change.text ?? "";
-                    const toggle = ui(doc, "button", "ascribe-toggle", "Show");
+                    const toggle = ui(doc, "button", CLASS_TOGGLE, "Show");
                     toggle.type = "button";
                     toggle.setAttribute("aria-expanded", "false");
                     toggle.addEventListener("click", (event) => {
                         event.stopPropagation();
-                        const open = holder.classList.toggle("ascribe-open");
+                        const open = holder.classList.toggle(CLASS_OPEN);
                         toggle.textContent = open ? "Collapse" : "Show";
                         toggle.setAttribute("aria-expanded", String(open));
                     });
@@ -470,25 +455,25 @@ export function markChanges(root, changes, options = {}) {
             }
             case "moved": {
                 const element = change.now ? findBlock(root, change.now) : null;
-                if (!element || element.hasAttribute("data-ascribe-change"))
+                if (!element || element.hasAttribute(DATA_CHANGE))
                     break;
                 const id = `ascribe-move-${++moveCount}`;
                 const before = was && change.was ? findBlock(was, change.was) : null;
                 const stub = placer.place(change, (container) => {
-                    const holder = ui(doc, holderFor(container), "ascribe-moved-from");
+                    const holder = ui(doc, holderFor(container), CLASS_MOVED_FROM);
                     holder.id = `${id}-from`;
-                    holder.setAttribute("data-ascribe-change", "moved-from");
+                    holder.setAttribute(DATA_CHANGE, "moved-from");
                     if (change.was)
-                        holder.setAttribute("data-ascribe-was-source", change.was.source);
-                    const note = ui(doc, "span", "ascribe-move-note");
+                        holder.setAttribute(DATA_WAS_SOURCE, change.was.source);
+                    const note = ui(doc, "span", CLASS_MOVE_NOTE);
                     note.append(doc.createTextNode(`A ${blockWord(element)} moved from here `));
-                    const link = ui(doc, "a", "ascribe-move-link");
+                    const link = ui(doc, "a", CLASS_MOVE_LINK);
                     link.href = `#${id}`;
                     note.append(link);
                     holder.append(note);
                     // As it was, the block itself.
-                    const copy = ui(doc, "div", "ascribe-was-copy");
-                    copy.setAttribute("data-ascribe-was-only", "");
+                    const copy = ui(doc, "div", CLASS_WAS_COPY);
+                    copy.setAttribute(DATA_WAS_ONLY, "");
                     if (before)
                         copy.append(...contentOf(holder, before));
                     else
@@ -496,26 +481,26 @@ export function markChanges(root, changes, options = {}) {
                     holder.append(copy);
                     return holder;
                 });
-                element.setAttribute("data-ascribe-change", "moved");
-                element.setAttribute("data-ascribe-move", id);
+                element.setAttribute(DATA_CHANGE, "moved");
+                element.setAttribute(DATA_MOVE, id);
                 if (!element.id)
                     element.id = id;
                 addLabel(element, "moved");
-                const back = ui(doc, "a", "ascribe-move-link");
+                const back = ui(doc, "a", CLASS_MOVE_LINK);
                 back.href = `#${stub.id}`;
                 back.textContent = `from “${headingBefore(root, stub) ?? "the top of the page"}” ↑`;
-                const forward = stub.querySelector(".ascribe-move-link");
+                const forward = stub.querySelector(`.${CLASS_MOVE_LINK}`);
                 if (forward) {
                     forward.href = `#${element.id}`;
                     forward.textContent = `to “${headingBefore(root, element) ?? "the top of the page"}” ↓`;
                 }
                 if (LABEL_INSIDE.has(element.localName)) {
-                    const note = ui(doc, "span", "ascribe-move-note");
+                    const note = ui(doc, "span", CLASS_MOVE_NOTE);
                     note.append(" ", back);
                     element.append(note);
                 }
                 else {
-                    const holder = ui(doc, "div", "ascribe-move-note ascribe-move-after");
+                    const holder = ui(doc, "div", `${CLASS_MOVE_NOTE} ${CLASS_MOVE_AFTER}`);
                     holder.append(back);
                     element.after(holder);
                 }
@@ -552,7 +537,7 @@ function hintHidden(root, marks) {
     const summaries = new Map();
     for (const { change, element } of marks) {
         for (let el = element; el && el !== root; el = el.parentElement) {
-            if (el.localName === "ascribe-tab") {
+            if (el.localName === ELEMENT_TAB) {
                 const tab = tabs.get(el) ?? { added: false, count: 0 };
                 if (el === element && change.kind === "added")
                     tab.added = true;
@@ -570,8 +555,8 @@ function hintHidden(root, marks) {
     const hint = (kind, text) => {
         // A space before it, not only a margin, so the label reads "Linux 1
         // change" to a screen reader, not "Linux1 change".
-        const el = ui(doc, "span", "ascribe-hint", ` ${text}`);
-        el.setAttribute("data-ascribe-hint", kind);
+        const el = ui(doc, "span", CLASS_HINT, ` ${text}`);
+        el.setAttribute(DATA_HINT, kind);
         return el;
     };
     const watching = [];
@@ -615,9 +600,9 @@ function summaryOf(element) {
  */
 export function tabButton(tab) {
     const group = tab.parentElement;
-    if (tab.localName !== "ascribe-tab" || !group)
+    if (tab.localName !== ELEMENT_TAB || !group)
         return null;
-    const tabs = Array.from(group.children).filter((c) => c.localName === "ascribe-tab");
+    const tabs = Array.from(group.children).filter((c) => c.localName === ELEMENT_TAB);
     const buttons = group.querySelectorAll(':scope > [role="tablist"] > [role="tab"]');
     return buttons[tabs.indexOf(tab)] ?? null;
 }
@@ -643,27 +628,27 @@ export function clearMarks(root) {
     for (const observer of tabWatchers.get(root) ?? [])
         observer.disconnect();
     tabWatchers.delete(root);
-    for (const el of Array.from(root.querySelectorAll("[data-ascribe-ui]"))) {
+    for (const el of Array.from(root.querySelectorAll(`[${DATA_UI}]`))) {
         if (el.localName === "ins")
             el.replaceWith(...Array.from(el.childNodes));
         else
             el.remove();
     }
-    for (const el of Array.from(root.querySelectorAll("[data-ascribe-change]"))) {
-        el.removeAttribute("data-ascribe-change");
-        el.removeAttribute("data-ascribe-has-was");
-        el.removeAttribute("data-ascribe-was-source");
-        if (el.hasAttribute("data-ascribe-move")) {
-            if (el.id === el.getAttribute("data-ascribe-move"))
+    for (const el of Array.from(root.querySelectorAll(`[${DATA_CHANGE}]`))) {
+        el.removeAttribute(DATA_CHANGE);
+        el.removeAttribute(DATA_HAS_WAS);
+        el.removeAttribute(DATA_WAS_SOURCE);
+        if (el.hasAttribute(DATA_MOVE)) {
+            if (el.id === el.getAttribute(DATA_MOVE))
                 el.removeAttribute("id");
-            el.removeAttribute("data-ascribe-move");
+            el.removeAttribute(DATA_MOVE);
         }
     }
     root.normalize();
 }
 /** Shows the changes, the page as it will be, or the page as it was. */
 export function setShow(root, show) {
-    root.setAttribute("data-ascribe-show", show);
+    root.setAttribute(DATA_SHOW, show);
 }
 /**
  * Makes `element` visible: opens the `<details>` and selects the tabs it's
@@ -673,7 +658,7 @@ export function reveal(element) {
     for (let el = element; el; el = el.parentElement) {
         if (el instanceof HTMLDetailsElement && !el.open)
             el.open = true;
-        if (el.localName === "ascribe-tab" && el.hidden)
+        if (el.localName === ELEMENT_TAB && el.hidden)
             tabButton(el)?.click();
     }
 }
@@ -684,10 +669,10 @@ export function goTo(element) {
     if (typeof element.scrollIntoView === "function") {
         element.scrollIntoView({ block: "center", behavior: "smooth" });
     }
-    element.classList.remove("ascribe-flash");
+    element.classList.remove(CLASS_FLASH);
     // Restart the animation.
     void element.offsetWidth;
-    element.classList.add("ascribe-flash");
+    element.classList.add(CLASS_FLASH);
     if (!element.hasAttribute("tabindex"))
         element.setAttribute("tabindex", "-1");
     element.focus({ preventScroll: true });
@@ -698,13 +683,11 @@ export function goTo(element) {
  */
 export function showSources(root) {
     const doc = root.ownerDocument;
-    const tip = ui(doc, "span", "ascribe-where");
+    const tip = ui(doc, "span", CLASS_WHERE);
     tip.setAttribute("role", "status");
     let current = null;
     const show = (target) => {
-        const el = target instanceof Element
-            ? target.closest("[data-ascribe-source], [data-ascribe-was-source]")
-            : null;
+        const el = target instanceof Element ? target.closest(`[${DATA_SOURCE}], [${DATA_WAS_SOURCE}]`) : null;
         if (el === current)
             return;
         current = el;
@@ -713,10 +696,10 @@ export function showSources(root) {
             current = null;
             return;
         }
-        const source = el.getAttribute("data-ascribe-source");
+        const source = el.getAttribute(DATA_SOURCE);
         tip.textContent = source
-            ? describeSource(source, el.getAttribute("data-ascribe-via"))
-            : `was ${describeSource(el.getAttribute("data-ascribe-was-source") ?? "")}`;
+            ? describeSource(source, el.getAttribute(DATA_VIA))
+            : `was ${describeSource(el.getAttribute(DATA_WAS_SOURCE) ?? "")}`;
         const box = el.getBoundingClientRect();
         const host = root.getBoundingClientRect();
         tip.style.top = `${box.top - host.top}px`;