paperlint 6.2.3 → 7.0.0

package/CONTRIBUTING.md

@@ -175,8 +175,10 @@ A venue is a **preset**, a JSONC file in `presets/`, validated by
    A venue on a template with no family yet stands alone (`template`, `tex`, `format`) — or, better,
    add the family first: measured on a real template build (banal + pdf.js), not copied from
    documentation ([#88](https://github.com/zernie/paperlint/issues/88)).
-2. **The card.** `skills/submit-paper/references/venues/<name>.md` — prose about the venue: deadlines, tracks, the blind model,
-   what the form asks.
+2. **The card.** `presets/<name>.md`, beside the preset — prose about the venue: deadlines, tracks, the blind model,
+   what the form asks. Lint fails while a preset has no card; the rules section between the generated
+   markers is written by `npm run build && npx eslint --fix presets/` (the config loads the rule from
+   `dist/`).
 3. **A test.** A case in `src/presets.test.ts` that `paperlint:<name>` resolves over its family with
    the kinds you declared; `src/tex-requirements.harness.ts` already checks every shipped preset
    against the schema.

package/README.md

@@ -103,9 +103,12 @@ REALM.
    ```
 
 3. Create a paper. `--venue` names its venue preset from the table above, `--kind` which of its page
-   limits applies:
+   limits applies. Name the folder after the work, not the venue: a rejected paper moves to another
+   venue and keeps its folder, so `new` refuses a name like `aisec-2026` (`--allow-venue-name` when
+   the word really is the work's):
 
    <!-- `vigiles:symbol src/new-paper.ts#newPaper` — `npm run check` fails if this function is renamed or removed. -->
+   <!-- `vigiles:symbol src/new-paper.ts#ALLOW_VENUE_NAME` — the flag's one spelling; `npm run check` fails if it is renamed or removed. -->
 
    ```sh
    npx paperlint new my-paper --venue agenticdev --kind short
@@ -133,8 +136,8 @@ REALM.
 
    ```text
    papers/my-paper/paper.tex
-     1:1   error    1 column(s), agenticdev requires 2 — the wrong document class or class option   pdf/geometry
-     1:1   error    no font starts with `LinLibertine` (body text of agenticdev); the PDF has: CMR10, …   pdf/fonts
+     1:1   error    1 column(s), AgenticDev requires 2 — the wrong document class or class option   pdf/geometry
+     1:1   error    no font starts with `LinLibertine` (body text of AgenticDev); the PDF has: CMR10, …   pdf/fonts
      8:4   warning  `§` instead of the word «Section» — `paperlint lint --fix` writes it              paper/section-word
    ```
 
@@ -161,6 +164,8 @@ paperlint finds a paper by its folder: `<papersDir>/<name>/`, with the main file
 | `npx paperlint lint`                                        | runs every check over your papers; `--fix` fixes what can be fixed             |
 | `npx paperlint toolchain`                                   | installs TeX Live with the packages your venues need (~270 MB, ~3 min, once)   |
 | `npx paperlint doctor`                                      | checks the setup and exits non-zero if something is miswired                   |
+| `npx paperlint submission show <paper>`                     | the paper's submission on the venue's portal, and whether it holds your build  |
+| `npx paperlint submission update <paper>`                   | checks a new PDF/abstract against the portal; `--save` sends it for real       |
 | `npx paperlint --help`                                      | every command and flag                                                         |
 
 ## 🧠 Skills
@@ -175,6 +180,7 @@ what it does — "is this idea worth a paper?", "find me a venue for this". `ini
 - **A hostile review before the real one.** `paper-adversarial-review`
 - **A ready / not ready verdict before you submit**, worst problem first. `harden-paper`
 - **Where your paper stands**, measured from the real build. `paper-status`
+- **The PDF and abstract replaced on HotCRP**, dry run first, and proof the portal holds your build. `submission-portal`
 
 Every skill, by stage: [`docs/skills.md`](docs/skills.md).
 
@@ -313,6 +319,7 @@ Only `paperlint lint --fix`, and only three rules: `paper/section-word` (`§`
 - [`docs/configuration.md`](docs/configuration.md) — every setting, how `build` compiles, using your own ESLint
 - [`docs/rules.md`](docs/rules.md) — every check, venue presets, recording a submitted PDF
 - [`docs/references.md`](docs/references.md) — the reference check, and the cache file to commit
+- [`docs/submission.md`](docs/submission.md) — reading and updating a submission on the venue's portal (HotCRP)
 - [`docs/optional-rules.md`](docs/optional-rules.md) — checks only some venues need
 - [`docs/toolchain.md`](docs/toolchain.md) — TeX Live, and Banal (HotCRP's page-geometry checker, GPL)
 - [`CONTRIBUTING.md`](CONTRIBUTING.md) — how the package is tested and released, and adding a venue to it

package/dist/adapters/hotcrp/index.d.ts

@@ -0,0 +1,7 @@
+/**
+ * HotCRP, as the `SubmissionPortal` port: its REST API read and written over `fetch`, its answers
+ * parsed here. Everything that changes if HotCRP's API does lives in this folder.
+ */
+export { CONTENT_FIELD, changeObject, hotcrpPortal, type HotcrpOptions, } from "./portal.io.ts";
+export { parseShow, parseUpdate, sha256OfHash } from "./response.ts";
+//# sourceMappingURL=index.d.ts.map

package/dist/adapters/hotcrp/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/adapters/hotcrp/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EACL,aAAa,EACb,YAAY,EACZ,YAAY,EACZ,KAAK,aAAa,GACnB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC"}

package/dist/adapters/hotcrp/index.js

@@ -0,0 +1,7 @@
+/**
+ * HotCRP, as the `SubmissionPortal` port: its REST API read and written over `fetch`, its answers
+ * parsed here. Everything that changes if HotCRP's API does lives in this folder.
+ */
+export { CONTENT_FIELD, changeObject, hotcrpPortal, } from "./portal.io.js";
+export { parseShow, parseUpdate, sha256OfHash } from "./response.js";
+//# sourceMappingURL=index.js.map

package/dist/adapters/hotcrp/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/adapters/hotcrp/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EACL,aAAa,EACb,YAAY,EACZ,YAAY,GAEb,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC"}

package/dist/adapters/hotcrp/portal.io.d.ts

@@ -0,0 +1,20 @@
+import type { SubmissionChange } from "../../domain/submission.ts";
+import type { SubmissionPortal } from "../../ports/submission-portal.ts";
+/**
+ * The form field the PDF travels in, and the name the `json` object's `content_file` refers to it
+ * by. 🔴 NO DOT, SPACE OR BRACKET: HotCRP looks the name up in PHP's `$_FILES`, and PHP renames a
+ * dot or a space in a field name to `_`. The documented `-F paper.pdf=@paper.pdf` therefore arrives
+ * as `paper_pdf`, the lookup of `paper.pdf` misses, and HotCRP answers "Ignored attempt to upload
+ * document without any content" with `valid: false` — measured on a real HotCRP, 2026-10-03.
+ */
+export declare const CONTENT_FIELD = "paperlint_pdf";
+export interface HotcrpOptions {
+    /** The site's base URL, no trailing slash: `https://example.org`. */
+    readonly url: string;
+    readonly token: string;
+}
+/** The submission object a change sends: only the fields it changes. */
+export declare function changeObject(id: number, c: SubmissionChange): Readonly<Record<string, unknown>>;
+/** HotCRP at `o.url`, read and changed with `o.token`. */
+export declare function hotcrpPortal(o: HotcrpOptions): SubmissionPortal;
+//# sourceMappingURL=portal.io.d.ts.map

package/dist/adapters/hotcrp/portal.io.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"portal.io.d.ts","sourceRoot":"","sources":["../../../src/adapters/hotcrp/portal.io.ts"],"names":[],"mappings":"AAgBA,OAAO,KAAK,EAEV,gBAAgB,EACjB,MAAM,4BAA4B,CAAC;AACpC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kCAAkC,CAAC;AAGzE;;;;;;GAMG;AACH,eAAO,MAAM,aAAa,kBAAkB,CAAC;AAM7C,MAAM,WAAW,aAAa;IAC5B,qEAAqE;IACrE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAmCD,wEAAwE;AACxE,wBAAgB,YAAY,CAC1B,EAAE,EAAE,MAAM,EACV,CAAC,EAAE,gBAAgB,GAClB,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAQnC;AAmBD,0DAA0D;AAC1D,wBAAgB,YAAY,CAAC,CAAC,EAAE,aAAa,GAAG,gBAAgB,CAsB/D"}

package/dist/adapters/hotcrp/portal.io.js

@@ -0,0 +1,90 @@
+/**
+ * HotCRP's REST API (`<site>/api/paper`) as the `SubmissionPortal` port, over Node's `fetch`.
+ *
+ * Read: `GET /api/paper?p=<id>&word_limit=hard` (scope `submeta:read`; `word_limit=hard` returns the
+ * whole abstract instead of one cut at the soft limit).
+ *
+ * Change: `POST /api/paper?p=<id>` as multipart/form-data — a `json` field holding a submission
+ * object, and the PDF as a file part whose field name is the object's `submission.content_file`
+ * (the documented form: `curl -F "json=<data.json" -F paper.pdf=@paper.pdf SITEURL/api/paper`).
+ * Without `save` the request carries `dry_run=1`: HotCRP checks the change and keeps nothing.
+ *
+ * 🔴 THE TOKEN goes in the `Authorization` header and nowhere else: not into a URL, a message, or an
+ * error. A failure is described by HTTP status, HotCRP's own messages, or the network error's text.
+ */
+import { messageOf } from "../../domain/text.js";
+import { err } from "../../domain/result.js";
+import { parseShow, parseUpdate } from "./response.js";
+/**
+ * The form field the PDF travels in, and the name the `json` object's `content_file` refers to it
+ * by. 🔴 NO DOT, SPACE OR BRACKET: HotCRP looks the name up in PHP's `$_FILES`, and PHP renames a
+ * dot or a space in a field name to `_`. The documented `-F paper.pdf=@paper.pdf` therefore arrives
+ * as `paper_pdf`, the lookup of `paper.pdf` misses, and HotCRP answers "Ignored attempt to upload
+ * document without any content" with `valid: false` — measured on a real HotCRP, 2026-10-03.
+ */
+export const CONTENT_FIELD = "paperlint_pdf";
+/** Uploads take a while on a slow link; a read should not. */
+const READ_TIMEOUT_MS = 60_000;
+const WRITE_TIMEOUT_MS = 300_000;
+/** One request → HTTP status and parsed JSON body, or why there is neither. */
+async function call(url, init, token, timeoutMs) {
+    try {
+        const r = await fetch(url, {
+            ...init,
+            headers: { Authorization: `bearer ${token}`, Accept: "application/json" },
+            signal: AbortSignal.timeout(timeoutMs),
+        });
+        const text = await r.text();
+        try {
+            return { ok: true, value: { status: r.status, body: JSON.parse(text) } };
+        }
+        catch {
+            return err({
+                kind: "malformed",
+                httpStatus: r.status,
+                detail: `the answer is not JSON (${r.headers.get("content-type") ?? "no content type"})`,
+            });
+        }
+    }
+    catch (e) {
+        return err({ kind: "unreachable", detail: messageOf(e) });
+    }
+}
+/** The submission object a change sends: only the fields it changes. */
+export function changeObject(id, c) {
+    return {
+        object: "paper",
+        pid: id,
+        ...(c.pdf === null ? {} : { submission: { content_file: CONTENT_FIELD } }),
+        ...(c.abstract === null ? {} : { abstract: c.abstract }),
+        ...(c.submit ? { status: "submitted" } : {}),
+    };
+}
+function formOf(id, c) {
+    const form = new FormData();
+    form.append("json", JSON.stringify(changeObject(id, c)));
+    if (c.pdf !== null)
+        form.append(CONTENT_FIELD, new Blob([new Uint8Array(c.pdf.bytes)], { type: "application/pdf" }), c.pdf.name);
+    return form;
+}
+const endpoint = (base, params) => `${base}/api/paper?${new URLSearchParams(params).toString()}`;
+/** HotCRP at `o.url`, read and changed with `o.token`. */
+export function hotcrpPortal(o) {
+    return {
+        async show(id) {
+            const url = endpoint(o.url, { p: String(id), word_limit: "hard" });
+            const a = await call(url, { method: "GET" }, o.token, READ_TIMEOUT_MS);
+            return a.ok ? parseShow(a.value.status, a.value.body) : a;
+        },
+        async update(id, change, { save }) {
+            const url = endpoint(o.url, {
+                p: String(id),
+                ...(save ? {} : { dry_run: "1" }),
+            });
+            const body = formOf(id, change);
+            const a = await call(url, { method: "POST", body }, o.token, WRITE_TIMEOUT_MS);
+            return a.ok ? parseUpdate(a.value.status, a.value.body) : a;
+        },
+    };
+}
+//# sourceMappingURL=portal.io.js.map

package/dist/adapters/hotcrp/portal.io.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"portal.io.js","sourceRoot":"","sources":["../../../src/adapters/hotcrp/portal.io.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACjD,OAAO,EAAE,GAAG,EAAe,MAAM,wBAAwB,CAAC;AAM1D,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAEvD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,eAAe,CAAC;AAE7C,8DAA8D;AAC9D,MAAM,eAAe,GAAG,MAAM,CAAC;AAC/B,MAAM,gBAAgB,GAAG,OAAO,CAAC;AAajC,+EAA+E;AAC/E,KAAK,UAAU,IAAI,CACjB,GAAW,EACX,IAAqE,EACrE,KAAa,EACb,SAAiB;IAEjB,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,MAAM,KAAK,CAAC,GAAG,EAAE;YACzB,GAAG,IAAI;YACP,OAAO,EAAE,EAAE,aAAa,EAAE,UAAU,KAAK,EAAE,EAAE,MAAM,EAAE,kBAAkB,EAAE;YACzE,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC,SAAS,CAAC;SACvC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5B,IAAI,CAAC;YACH,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;QAC3E,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,GAAG,CAAC;gBACT,IAAI,EAAE,WAAW;gBACjB,UAAU,EAAE,CAAC,CAAC,MAAM;gBACpB,MAAM,EAAE,2BAA2B,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,iBAAiB,GAAG;aACzF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,GAAG,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC5D,CAAC;AACH,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,YAAY,CAC1B,EAAU,EACV,CAAmB;IAEnB,OAAO;QACL,MAAM,EAAE,OAAO;QACf,GAAG,EAAE,EAAE;QACP,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,YAAY,EAAE,aAAa,EAAE,EAAE,CAAC;QAC1E,GAAG,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;QACxD,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC7C,CAAC;AACJ,CAAC;AAED,SAAS,MAAM,CAAC,EAAU,EAAE,CAAmB;IAC7C,MAAM,IAAI,GAAG,IAAI,QAAQ,EAAE,CAAC;IAC5B,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACzD,IAAI,CAAC,CAAC,GAAG,KAAK,IAAI;QAChB,IAAI,CAAC,MAAM,CACT,aAAa,EACb,IAAI,IAAI,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,CAAC,EACpE,CAAC,CAAC,GAAG,CAAC,IAAI,CACX,CAAC;IACJ,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,QAAQ,GAAG,CACf,IAAY,EACZ,MAAwC,EAChC,EAAE,CAAC,GAAG,IAAI,cAAc,IAAI,eAAe,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC;AAE3E,0DAA0D;AAC1D,MAAM,UAAU,YAAY,CAAC,CAAgB;IAC3C,OAAO;QACL,KAAK,CAAC,IAAI,CAAC,EAAE;YACX,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;YACnE,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;YACvE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5D,CAAC;QACD,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE;YAC/B,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,EAAE;gBAC1B,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC;gBACb,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;aAClC,CAAC,CAAC;YACH,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;YAChC,MAAM,CAAC,GAAG,MAAM,IAAI,CAClB,GAAG,EACH,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,EACxB,CAAC,CAAC,KAAK,EACP,gBAAgB,CACjB,CAAC;YACF,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9D,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/adapters/hotcrp/response.d.ts

@@ -0,0 +1,13 @@
+import { type Result } from "../../domain/result.ts";
+import { type Sha256 } from "../../domain/sha256.ts";
+import type { PortalFailure, SubmissionView, UpdateOutcome } from "../../domain/submission.ts";
+/** HotCRP's `sha2-<hex>` → the sha256; null for any other hash it may name. */
+export declare function sha256OfHash(hash: string): Sha256 | null;
+/** `GET /api/paper` → the submission, or why there is none. */
+export declare function parseShow(httpStatus: number, body: unknown): Result<SubmissionView, PortalFailure>;
+/**
+ * `POST /api/paper` → the outcome, valid or not. A body carrying `valid` is HotCRP's verdict on
+ * the change whatever the HTTP status; the caller decides the exit from both.
+ */
+export declare function parseUpdate(httpStatus: number, body: unknown): Result<UpdateOutcome, PortalFailure>;
+//# sourceMappingURL=response.d.ts.map

package/dist/adapters/hotcrp/response.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"response.d.ts","sourceRoot":"","sources":["../../../src/adapters/hotcrp/response.ts"],"names":[],"mappings":"AAUA,OAAO,EAAW,KAAK,MAAM,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,EAAe,KAAK,MAAM,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,KAAK,EAEV,aAAa,EAEb,cAAc,EACd,aAAa,EACd,MAAM,4BAA4B,CAAC;AA6CpC,+EAA+E;AAC/E,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAGxD;AAkFD,+DAA+D;AAC/D,wBAAgB,SAAS,CACvB,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,OAAO,GACZ,MAAM,CAAC,cAAc,EAAE,aAAa,CAAC,CAMvC;AAED;;;GAGG;AACH,wBAAgB,WAAW,CACzB,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,OAAO,GACZ,MAAM,CAAC,aAAa,EAAE,aAAa,CAAC,CAYtC"}

package/dist/adapters/hotcrp/response.js

@@ -0,0 +1,138 @@
+/**
+ * HotCRP's answers, parsed at the boundary into paperlint's submission values. Pure.
+ *
+ * Only the fields the command uses are read; every other key HotCRP sends is dropped here. The field
+ * names are HotCRP's (`devel/openapi.json` and `devel/apidoc/submissions.md` in kohler/hotcrp):
+ * `GET /api/paper` answers `{ ok, paper, message_list? }`, `POST /api/paper` answers
+ * `{ ok, valid, change_list, message_list, dry_run?, pid }`. A document's `hash` is
+ * `sha2-<64 hex>` when HotCRP stored a sha256; timestamps are Unix seconds.
+ */
+import { z } from "zod";
+import { err, ok } from "../../domain/result.js";
+import { parseSha256 } from "../../domain/sha256.js";
+const Message = z.object({
+    message: z.string().optional(),
+    field: z.string().optional(),
+    status: z.number().optional(),
+});
+const Messages = z.array(Message).optional();
+const Document = z.object({
+    hash: z.string().optional(),
+    size: z.number().optional(),
+    mimetype: z.string().optional(),
+    timestamp: z.number().optional(),
+});
+const Paper = z.object({
+    pid: z.number(),
+    status: z.string(),
+    title: z.string().optional(),
+    abstract: z.string().optional(),
+    paper_type: z.unknown().optional(),
+    topics: z.array(z.string()).optional(),
+    submission: Document.nullable().optional(),
+    submitted_at: z.number().optional(),
+    modified_at: z.number().optional(),
+});
+const ShowBody = z.object({
+    ok: z.literal(true),
+    paper: Paper,
+    message_list: Messages,
+});
+const UpdateBody = z.object({
+    valid: z.boolean(),
+    change_list: z.array(z.string()).optional(),
+    message_list: Messages,
+    dry_run: z.boolean().optional(),
+});
+const Envelope = z.object({ message_list: Messages });
+const SHA2 = /^sha2-([0-9a-f]{64})$/;
+/** HotCRP's `sha2-<hex>` → the sha256; null for any other hash it may name. */
+export function sha256OfHash(hash) {
+    const hex = SHA2.exec(hash)?.[1];
+    return hex === undefined ? null : parseSha256(hex);
+}
+/** HotCRP prefixes a message with its format (`<0>` plain text, `<5>` HTML); the text is the rest. */
+const textOf = (message) => (message ?? "").replace(/^<\d+>/, "").trim();
+/** The messages that say something: HotCRP also sends entries with no text, which print as blanks. */
+const messagesOf = (list) => (list ?? [])
+    .map((m) => ({
+    message: textOf(m.message),
+    field: m.field ?? null,
+    status: m.status ?? null,
+}))
+    .filter((m) => m.message !== "");
+const documentOf = (d) => d?.hash === undefined
+    ? null
+    : {
+        sha256: sha256OfHash(d.hash),
+        hash: d.hash,
+        size: d.size ?? null,
+        mimetype: d.mimetype ?? null,
+        uploadedAt: d.timestamp ?? null,
+    };
+/** A paper type as text: HotCRP sends the option's name, or a value of another shape. */
+const typeText = (v) => v === undefined || v === null
+    ? null
+    : typeof v === "string"
+        ? v
+        : JSON.stringify(v);
+function viewOf(b) {
+    const p = b.paper;
+    return {
+        id: p.pid,
+        status: p.status,
+        title: p.title ?? null,
+        paperType: typeText(p.paper_type),
+        topics: p.topics ?? [],
+        abstract: p.abstract ?? null,
+        pdf: documentOf(p.submission),
+        submittedAt: p.submitted_at ?? null,
+        modifiedAt: p.modified_at ?? null,
+        messages: messagesOf(b.message_list),
+    };
+}
+const is2xx = (status) => status >= 200 && status < 300;
+const StatusCode = z.object({ status_code: z.number() });
+/**
+ * The status HotCRP meant. Its error envelope repeats the status in the body (`status_code: 401`
+ * beside `ok: false`, recorded in `cassette/get-noauth.json`); when something between us and HotCRP
+ * turns the transport status into a 2xx, the body's code still decides.
+ */
+function statusOf(transport, body) {
+    const c = StatusCode.safeParse(body);
+    return is2xx(transport) && c.success ? c.data.status_code : transport;
+}
+/** A body that is no answer of HotCRP's: the portal's messages when it sent any, else "malformed". */
+function refusal(httpStatus, body, what) {
+    const e = Envelope.safeParse(body);
+    const messages = e.success ? messagesOf(e.data.message_list) : [];
+    return messages.length > 0 || !is2xx(httpStatus)
+        ? { kind: "refused", httpStatus, messages }
+        : { kind: "malformed", httpStatus, detail: what };
+}
+/** `GET /api/paper` → the submission, or why there is none. */
+export function parseShow(httpStatus, body) {
+    const status = statusOf(httpStatus, body);
+    const b = ShowBody.safeParse(body);
+    return b.success && is2xx(status)
+        ? ok(viewOf(b.data))
+        : err(refusal(status, body, "the answer has no submission in `paper`"));
+}
+/**
+ * `POST /api/paper` → the outcome, valid or not. A body carrying `valid` is HotCRP's verdict on
+ * the change whatever the HTTP status; the caller decides the exit from both.
+ */
+export function parseUpdate(httpStatus, body) {
+    const status = statusOf(httpStatus, body);
+    const b = UpdateBody.safeParse(body);
+    if (!b.success)
+        return err(refusal(status, body, "the answer has no `valid`"));
+    return ok({
+        httpStatus: status,
+        valid: b.data.valid,
+        changes: b.data.change_list ?? [],
+        messages: messagesOf(b.data.message_list),
+        dryRun: b.data.dry_run ?? false,
+    });
+}
+//# sourceMappingURL=response.js.map

package/dist/adapters/hotcrp/response.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"response.js","sourceRoot":"","sources":["../../../src/adapters/hotcrp/response.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,GAAG,EAAE,EAAE,EAAe,MAAM,wBAAwB,CAAC;AAC9D,OAAO,EAAE,WAAW,EAAe,MAAM,wBAAwB,CAAC;AASlE,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC;IACvB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC9B,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC5B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC9B,CAAC,CAAC;AACH,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC;AAE7C,MAAM,QAAQ,GAAG,CAAC,CAAC,MAAM,CAAC;IACxB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC3B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC3B,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC/B,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACjC,CAAC,CAAC;AAEH,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC;IACrB,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE;IACf,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;IAClB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC5B,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC/B,UAAU,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAClC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IACtC,UAAU,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;IAC1C,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACnC,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACnC,CAAC,CAAC;AAEH,MAAM,QAAQ,GAAG,CAAC,CAAC,MAAM,CAAC;IACxB,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;IACnB,KAAK,EAAE,KAAK;IACZ,YAAY,EAAE,QAAQ;CACvB,CAAC,CAAC;AAEH,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1B,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE;IAClB,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IAC3C,YAAY,EAAE,QAAQ;IACtB,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;CAChC,CAAC,CAAC;AAEH,MAAM,QAAQ,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC,CAAC;AAEtD,MAAM,IAAI,GAAG,uBAAuB,CAAC;AAErC,+EAA+E;AAC/E,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACjC,OAAO,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;AACrD,CAAC;AAED,sGAAsG;AACtG,MAAM,MAAM,GAAG,CAAC,OAA2B,EAAU,EAAE,CACrD,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;AAE/C,sGAAsG;AACtG,MAAM,UAAU,GAAG,CACjB,IAAwC,EACd,EAAE,CAC5B,CAAC,IAAI,IAAI,EAAE,CAAC;KACT,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACX,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;IAC1B,KAAK,EAAE,CAAC,CAAC,KAAK,IAAI,IAAI;IACtB,MAAM,EAAE,CAAC,CAAC,MAAM,IAAI,IAAI;CACzB,CAAC,CAAC;KACF,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,EAAE,CAAC,CAAC;AAErC,MAAM,UAAU,GAAG,CACjB,CAAwD,EACjC,EAAE,CACzB,CAAC,EAAE,IAAI,KAAK,SAAS;IACnB,CAAC,CAAC,IAAI;IACN,CAAC,CAAC;QACE,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;QAC5B,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,IAAI,EAAE,CAAC,CAAC,IAAI,IAAI,IAAI;QACpB,QAAQ,EAAE,CAAC,CAAC,QAAQ,IAAI,IAAI;QAC5B,UAAU,EAAE,CAAC,CAAC,SAAS,IAAI,IAAI;KAChC,CAAC;AAER,yFAAyF;AACzF,MAAM,QAAQ,GAAG,CAAC,CAAU,EAAiB,EAAE,CAC7C,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,IAAI;IAC3B,CAAC,CAAC,IAAI;IACN,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ;QACrB,CAAC,CAAC,CAAC;QACH,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;AAE1B,SAAS,MAAM,CAAC,CAAqC;IACnD,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;IAClB,OAAO;QACL,EAAE,EAAE,CAAC,CAAC,GAAG;QACT,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,KAAK,EAAE,CAAC,CAAC,KAAK,IAAI,IAAI;QACtB,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC;QACjC,MAAM,EAAE,CAAC,CAAC,MAAM,IAAI,EAAE;QACtB,QAAQ,EAAE,CAAC,CAAC,QAAQ,IAAI,IAAI;QAC5B,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC;QAC7B,WAAW,EAAE,CAAC,CAAC,YAAY,IAAI,IAAI;QACnC,UAAU,EAAE,CAAC,CAAC,WAAW,IAAI,IAAI;QACjC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC;KACrC,CAAC;AACJ,CAAC;AAED,MAAM,KAAK,GAAG,CAAC,MAAc,EAAW,EAAE,CAAC,MAAM,IAAI,GAAG,IAAI,MAAM,GAAG,GAAG,CAAC;AAEzE,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;AAEzD;;;;GAIG;AACH,SAAS,QAAQ,CAAC,SAAiB,EAAE,IAAa;IAChD,MAAM,CAAC,GAAG,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACrC,OAAO,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC;AACxE,CAAC;AAED,sGAAsG;AACtG,SAAS,OAAO,CACd,UAAkB,EAClB,IAAa,EACb,IAAY;IAEZ,MAAM,CAAC,GAAG,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACnC,MAAM,QAAQ,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAClE,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC;QAC9C,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE;QAC3C,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AACtD,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,SAAS,CACvB,UAAkB,EAClB,IAAa;IAEb,MAAM,MAAM,GAAG,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IAC1C,MAAM,CAAC,GAAG,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACnC,OAAO,CAAC,CAAC,OAAO,IAAI,KAAK,CAAC,MAAM,CAAC;QAC/B,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACpB,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,yCAAyC,CAAC,CAAC,CAAC;AAC5E,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,WAAW,CACzB,UAAkB,EAClB,IAAa;IAEb,MAAM,MAAM,GAAG,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IAC1C,MAAM,CAAC,GAAG,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,CAAC,CAAC,CAAC,OAAO;QACZ,OAAO,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,2BAA2B,CAAC,CAAC,CAAC;IACjE,OAAO,EAAE,CAAC;QACR,UAAU,EAAE,MAAM;QAClB,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK;QACnB,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,IAAI,EAAE;QACjC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC;QACzC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,IAAI,KAAK;KAChC,CAAC,CAAC;AACL,CAAC"}

package/dist/adapters/latex/conditionals.d.ts

@@ -0,0 +1,21 @@
+/**
+ * `\iffalse … \fi`: text TeX never reads. Authors park old titles, sections and paragraphs there,
+ * and every reader of the tree — the outline, the rendered text, the headings the case judge reads,
+ * the includes — would otherwise take them for the paper. So the branch is cut out of the tree once,
+ * when the source is parsed (`parseLatex`), rather than pruned per walk like `hidden.ts` prunes: a
+ * walk can skip a node, but the rendered text reads the strings of a node list directly, and they
+ * would come back.
+ *
+ * What is cut: from `\iffalse` to its matching `\fi`, both included, counting the conditionals
+ * nested in between. An `\else` at the same depth ends the dead part: what follows it is read, and
+ * the matching `\fi` is cut. A conditional is a macro whose name starts with `if`, except
+ * `\ifthenelse` (the `ifthen` package's command, which takes arguments and has no `\fi`). An
+ * `\iffalse` with no `\fi` cuts to the end of its list, as TeX would read to the end of the file.
+ *
+ * Only `\iffalse` is decided. `\iftrue`, `\if\venue1` and every switch made with `\newif` depend on
+ * a value this reader does not compute, so both of their branches stay.
+ */
+import type * as Ast from "@unified-latex/unified-latex-types";
+/** The tree without what `\iffalse … \fi` hides; the same tree when the source has no `\iffalse`. */
+export declare const withoutFalseBranches: (src: string, root: Readonly<Ast.Root>) => Ast.Root;
+//# sourceMappingURL=conditionals.d.ts.map

package/dist/adapters/latex/conditionals.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"conditionals.d.ts","sourceRoot":"","sources":["../../../src/adapters/latex/conditionals.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,KAAK,KAAK,GAAG,MAAM,oCAAoC,CAAC;AAwG/D,qGAAqG;AACrG,eAAO,MAAM,oBAAoB,GAC/B,KAAK,MAAM,EACX,MAAM,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,KAEvB,GAAG,CAAC,IAGG,CAAC"}

package/dist/adapters/latex/conditionals.js

@@ -0,0 +1,75 @@
+const LIVE = { kind: "live" };
+const isMacro = (n, name) => n.type === "macro" && n.content === name;
+/** A macro that opens a conditional TeX closes with `\fi`. */
+const opensConditional = (n) => n.type === "macro" &&
+    n.content.startsWith("if") &&
+    n.content !== "ifthenelse";
+/** Inside the dead branch: everything is cut; nesting is counted, `\else` at depth 1 ends it. */
+function stepDead(depth, n) {
+    if (opensConditional(n))
+        return { mode: { kind: "dead", depth: depth + 1 }, keep: false };
+    if (isMacro(n, "fi"))
+        return {
+            mode: depth === 1 ? LIVE : { kind: "dead", depth: depth - 1 },
+            keep: false,
+        };
+    if (isMacro(n, "else") && depth === 1)
+        return { mode: { kind: "else", depth }, keep: false };
+    return { mode: { kind: "dead", depth }, keep: false };
+}
+/** In the `\else` branch: everything is kept but the `\fi` that closes the `\iffalse`. */
+function stepElse(depth, n) {
+    if (opensConditional(n))
+        return { mode: { kind: "else", depth: depth + 1 }, keep: true };
+    if (isMacro(n, "fi"))
+        return depth === 1
+            ? { mode: LIVE, keep: false }
+            : { mode: { kind: "else", depth: depth - 1 }, keep: true };
+    return { mode: { kind: "else", depth }, keep: true };
+}
+function step(mode, n) {
+    switch (mode.kind) {
+        case "live":
+            return isMacro(n, "iffalse")
+                ? { mode: { kind: "dead", depth: 1 }, keep: false }
+                : { mode, keep: true };
+        case "dead":
+            return stepDead(mode.depth, n);
+        case "else":
+            return stepElse(mode.depth, n);
+    }
+}
+/** A node list without its `\iffalse` branches, each kept node cleaned the same way. */
+// eslint-disable-next-line functional/prefer-immutable-types -- the tree's own content type is a mutable array
+function liveList(nodes) {
+    const { kept } = nodes.reduce((acc, n) => {
+        const next = step(acc.mode, n);
+        return {
+            mode: next.mode,
+            kept: next.keep ? [...acc.kept, liveNode(n)] : acc.kept,
+        };
+    }, { mode: LIVE, kept: [] });
+    return [...kept];
+}
+// eslint-disable-next-line functional/prefer-immutable-types -- the tree's own argument type is mutable
+const liveArgs = (args) => args.map((a) => ({ ...a, content: liveList(a.content) }));
+/** A node with its content and its arguments' content cleaned; a node with neither, as it is. */
+// eslint-disable-next-line functional/prefer-immutable-types -- the tree's own node type is mutable
+function liveNode(n) {
+    if (n.type === "macro")
+        return n.args === undefined ? n : { ...n, args: liveArgs(n.args) };
+    if (n.type === "environment" || n.type === "mathenv")
+        return {
+            ...n,
+            content: liveList(n.content),
+            ...(n.args === undefined ? {} : { args: liveArgs(n.args) }),
+        };
+    if (n.type === "group" || n.type === "inlinemath" || n.type === "displaymath")
+        return { ...n, content: liveList(n.content) };
+    return n;
+}
+/** The tree without what `\iffalse … \fi` hides; the same tree when the source has no `\iffalse`. */
+export const withoutFalseBranches = (src, root) => src.includes("\\iffalse")
+    ? { ...root, content: liveList(root.content) }
+    : root;
+//# sourceMappingURL=conditionals.js.map

package/dist/adapters/latex/conditionals.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"conditionals.js","sourceRoot":"","sources":["../../../src/adapters/latex/conditionals.ts"],"names":[],"mappings":"AAiCA,MAAM,IAAI,GAAS,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAEpC,MAAM,OAAO,GAAG,CAAC,CAAO,EAAE,IAAY,EAAW,EAAE,CACjD,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,OAAO,KAAK,IAAI,CAAC;AAE3C,8DAA8D;AAC9D,MAAM,gBAAgB,GAAG,CAAC,CAAO,EAAW,EAAE,CAC5C,CAAC,CAAC,IAAI,KAAK,OAAO;IAClB,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC;IAC1B,CAAC,CAAC,OAAO,KAAK,YAAY,CAAC;AAE7B,iGAAiG;AACjG,SAAS,QAAQ,CAAC,KAAa,EAAE,CAAO;IACtC,IAAI,gBAAgB,CAAC,CAAC,CAAC;QACrB,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACnE,IAAI,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC;QAClB,OAAO;YACL,IAAI,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE;YAC7D,IAAI,EAAE,KAAK;SACZ,CAAC;IACJ,IAAI,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC;QACnC,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACxD,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACxD,CAAC;AAED,0FAA0F;AAC1F,SAAS,QAAQ,CAAC,KAAa,EAAE,CAAO;IACtC,IAAI,gBAAgB,CAAC,CAAC,CAAC;QACrB,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAClE,IAAI,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC;QAClB,OAAO,KAAK,KAAK,CAAC;YAChB,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE;YAC7B,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAC/D,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AACvD,CAAC;AAED,SAAS,IAAI,CAAC,IAAU,EAAE,CAAO;IAC/B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM;YACT,OAAO,OAAO,CAAC,CAAC,EAAE,SAAS,CAAC;gBAC1B,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE;gBACnD,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QAC3B,KAAK,MAAM;YACT,OAAO,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACjC,KAAK,MAAM;YACT,OAAO,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACnC,CAAC;AACH,CAAC;AAED,wFAAwF;AACxF,+GAA+G;AAC/G,SAAS,QAAQ,CAAC,KAAsB;IACtC,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,MAAM,CAI3B,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;QACT,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAC/B,OAAO;YACL,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI;SACxD,CAAC;IACJ,CAAC,EACD,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CACzB,CAAC;IACF,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC;AACnB,CAAC;AAED,wGAAwG;AACxG,MAAM,QAAQ,GAAG,CAAC,IAAuC,EAAkB,EAAE,CAC3E,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;AAE5D,iGAAiG;AACjG,oGAAoG;AACpG,SAAS,QAAQ,CAAC,CAAO;IACvB,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;QACpB,OAAO,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;IACrE,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;QAClD,OAAO;YACL,GAAG,CAAC;YACJ,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC;YAC5B,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;SAC5D,CAAC;IACJ,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa;QAC3E,OAAO,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IAChD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,qGAAqG;AACrG,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,GAAW,EACX,IAAwB,EAEd,EAAE,CACZ,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC;IACvB,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE;IAC9C,CAAC,CAAC,IAAI,CAAC"}

package/dist/adapters/latex/headings.d.ts

@@ -0,0 +1,10 @@
+import type { TitledHeading } from "../../domain/tex-document.ts";
+import type { ParsedTex } from "./parse.ts";
+/**
+ * The paper's `\title` and every `\section`, `\subsection`, `\subsubsection`, `\paragraph` and
+ * `\subparagraph`, starred or not, each with its optional short title, in document order. What the
+ * PDF never shows is pruned (`isUnrendered`), and so is a macro definition's body: a heading in a
+ * comment environment or in a definition is not a heading where it is written.
+ */
+export declare const headingsOf: (t: ParsedTex) => readonly TitledHeading[];
+//# sourceMappingURL=headings.d.ts.map

package/dist/adapters/latex/headings.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"headings.d.ts","sourceRoot":"","sources":["../../../src/adapters/latex/headings.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAKV,aAAa,EACd,MAAM,8BAA8B,CAAC;AActC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAyH5C;;;;;GAKG;AACH,eAAO,MAAM,UAAU,GAAI,GAAG,SAAS,KAAG,SAAS,aAAa,EAGG,CAAC"}

package/dist/adapters/latex/headings.js

@@ -0,0 +1,129 @@
+/**
+ * The paper's `\title` and the titles of its headings as the case judge reads them: each as one run
+ * of text, every character with the source offset it came from.
+ *
+ * What a title says is its strings and spaces, and the words a formatting command wraps
+ * (`\emph{very}` says "very"). A label, a footnote or an index entry says nothing in the title and
+ * is left out. Anything else — math, `\texttt`, `\cite`, `\textsc`, an accent, an environment — is
+ * something the reader sees and the judge does not read, so it stands as `OPAQUE`, one character,
+ * where it is: the judge then knows a word is first or last only when nothing stands before or
+ * after it, and never reads a word that touches one.
+ */
+import { hasAtLeast } from "remeda";
+import { LINE_BREAK, OPAQUE } from "../../domain/tex-document.js";
+import { isDefinition, isUnrendered } from "./hidden.js";
+import { inPlace, isNode, mandatory, optional, placeOf, stringText, visited, } from "./nodes.js";
+const LEVELS = new Map([
+    ["section", "section"],
+    ["subsection", "subsection"],
+    ["subsubsection", "subsubsection"],
+    ["paragraph", "paragraph"],
+    ["subparagraph", "subparagraph"],
+]);
+/** Formatting commands: they say what their argument says. */
+const TRANSPARENT = new Set([
+    "emph",
+    "textit",
+    "textbf",
+    "textsl",
+    "textup",
+    "textmd",
+    "textnormal",
+    "textsf",
+    "textrm",
+]);
+/** Commands that break the line: the title goes on as a second part, a subtitle. */
+const LINE_BREAKS = new Set([
+    "\\\\",
+    "newline",
+    "linebreak",
+]);
+/** Commands that put nothing in the title's words: a label, a footnote, an index entry. */
+const INVISIBLE = new Set([
+    "label",
+    "footnote",
+    "thanks",
+    "index",
+]);
+/**
+ * The command a macro is, for the case judge: the paper's `\title`, a heading at its level, or none.
+ * `\title` is read wherever it stands — in the preamble, where acmart and IEEEtran put it, or in a
+ * file the paper includes.
+ */
+const commandOf = (m) => {
+    if (m.content === "title")
+        return [{ kind: "title" }];
+    const level = LEVELS.get(m.content);
+    return level === undefined ? [] : [{ kind: "heading", level }];
+};
+/** A macro that is neither left out of the title nor read as the words it wraps. */
+const isOpaqueMacro = (m) => !INVISIBLE.has(m.content) &&
+    !TRANSPARENT.has(m.content) &&
+    !LINE_BREAKS.has(m.content);
+/** What one macro says in a title. */
+function macroSegments(m) {
+    if (INVISIBLE.has(m.content))
+        return [];
+    if (LINE_BREAKS.has(m.content))
+        return textAt(m, LINE_BREAK);
+    if (TRANSPARENT.has(m.content))
+        return segmentsOf(mandatory(m).at(-1)?.content);
+    return textAt(m, OPAQUE);
+}
+/** A piece of text at the start of a node. */
+const textAt = (n, text) => inPlace(placeOf(n), (s) => [{ text, at: s.start }]);
+/** What one node says in a title: text as itself, a formatting command's words, anything else opaque. */
+function nodeSegments(n) {
+    if (n.type === "string")
+        return textAt(n, stringText(n.content));
+    if (n.type === "whitespace" || n.type === "parbreak")
+        return textAt(n, " ");
+    // A comment ends its line: the words on either side of it are two words.
+    if (n.type === "comment")
+        return textAt(n, " ");
+    if (n.type === "group")
+        return segmentsOf(n.content);
+    if (n.type === "macro")
+        return macroSegments(n);
+    return textAt(n, OPAQUE);
+}
+/**
+ * A group that is the very next node after a command the parser has no signature for (`\ours{…}`, a macro of the
+ * author's own): the parser leaves such a group beside the macro, but TeX hands it to the macro as an
+ * argument, so it is part of what the macro prints and not words of the title. A chain of groups
+ * (`\findingdes{label}{a sentence}`) is all argument.
+ */
+function isArgumentGroup(nodes, n, i) {
+    const prev = nodes[i - 1];
+    if (prev === undefined || n.type !== "group")
+        return false;
+    return prev.type === "macro"
+        ? isOpaqueMacro(prev)
+        : isArgumentGroup(nodes, prev, i - 1);
+}
+const segmentsOf = (nodes) => {
+    const list = nodes ?? [];
+    return list.flatMap((n, i) => isArgumentGroup(list, n, i) ? [] : nodeSegments(n));
+};
+/** One argument's contents → the heading it makes, or none when it says nothing. */
+function titled(command, argument, nodes) {
+    const segments = segmentsOf(nodes);
+    return hasAtLeast(segments, 1)
+        ? [{ command, argument, title: { segments } }]
+        : [];
+}
+/** One titled command → the short title (`[…]`) and the title (the last `{…}`), each judged. */
+const headingsOfMacro = (m) => commandOf(m).flatMap((command) => [
+    ...titled(command, "short", optional(m)?.content),
+    ...titled(command, "title", mandatory(m).at(-1)?.content),
+]);
+/**
+ * The paper's `\title` and every `\section`, `\subsection`, `\subsubsection`, `\paragraph` and
+ * `\subparagraph`, starred or not, each with its optional short title, in document order. What the
+ * PDF never shows is pruned (`isUnrendered`), and so is a macro definition's body: a heading in a
+ * comment environment or in a definition is not a heading where it is written.
+ */
+export const headingsOf = (t) => visited(t.root, (v, parent) => isUnrendered(v, parent) || isDefinition(v))
+    .filter(isNode)
+    .flatMap((n) => (n.type === "macro" ? headingsOfMacro(n) : []));
+//# sourceMappingURL=headings.js.map