paperlint 7.2.0 → 9.0.0

package/src/build.ts

@@ -66,7 +66,19 @@ import type { Runner } from "./engine.ts";
 import type { Files } from "./ports/files.ts";
 import type { MeasureGeometry } from "./ports/measure-geometry.ts";
 import type { CheckReferences } from "./ports/check-references.ts";
-import { recordReferences, REFERENCES_FILE } from "./references.ts";
+import {
+  notWiredRecord,
+  recordingNote,
+  type RecordSources,
+  type TexRun,
+} from "./sources-record.ts";
+import { JOBNAME } from "./domain/sources-record.ts";
+import {
+  notWiredBibliography,
+  recordReferences,
+  REFERENCES_FILE,
+  type ReadBibliography,
+} from "./references.ts";
 import {
   auxBib,
   bibtexExcerpt,
@@ -89,16 +101,11 @@ import { messageOf, printed } from "./domain/text.ts";
 const PIPED: ["ignore", "pipe", "pipe"] = ["ignore", "pipe", "pipe"];
 
 /** A directory counts as a paper by the same markers as `structure.ts` — one shared dictionary. */
-export const PAPER_MARKERS = [
-  "PIPELINE-STATUS.md",
-  "paper.tex",
-  "paper.md",
-  CONFIG_FILE,
-];
+export const PAPER_MARKERS = ["PIPELINE-STATUS.md", "paper.tex", CONFIG_FILE];
 
 /** The source paperlint compiles, and the job name every output file carries. */
 export const MAIN = "paper.tex";
-export const JOB = "paper";
+export const JOB = JOBNAME;
 
 /**
  * Scripts that `paperlint build` USED to run. Their presence is reported and nothing more: running a
@@ -106,11 +113,16 @@ export const JOB = "paper";
  */
 export const IGNORED_SCRIPTS = ["build.sh", "repro/build-submission.sh"];
 
-/** The pdflatex flags: never stop for input, stop at the first error, and say file:line. */
+/**
+ * The pdflatex flags: never stop for input, stop at the first error, say file:line, and write
+ * `paper.fls` — every file the pass opened, which is how the build learns what the paper is made of
+ * (`sources-record.ts`) without reading its TeX.
+ */
 export const PDFLATEX_FLAGS = [
   "-interaction=nonstopmode",
   "-halt-on-error",
   "-file-line-error",
+  "-recorder",
 ];
 
 /** Everything the steps may know about a paper — parsed from it, not configured. */
@@ -143,6 +155,16 @@ export interface BuildContext {
   readonly files: Files;
   /** The online reference checks; the CLI wires the real ones, a test passes a function. */
   readonly checkReferences: CheckReferences;
+  /**
+   * The databases the build's bibtex opened (`readBibliography`, from `_build/sources.json`); the CLI
+   * wires the real reader.
+   */
+  readonly readBibliography: ReadBibliography;
+  /**
+   * Writes `_build/sources.json` from TeX's own files after a compile; the CLI wires the real one.
+   * `buildPapers` hands the step `notWiredRecord` when it is given none: it records nothing and says so.
+   */
+  readonly recordSources: RecordSources;
 }
 
 export type StepOutcome =
@@ -270,7 +292,6 @@ export const inputsStep: BuildStep = {
     yes: true,
     why: `TEXINPUTS += the paper's directory, then ${texInputsDir()}`,
   }),
-  // The same search path the lint rules read includes through: one answer to which file is meant.
   // A pass runs IN the paper's directory, so that directory is `.` here. TeX names a file it finds
   // through an absolute entry by that absolute path: with the directory itself on TEXINPUTS, the
   // `broken` build fixture's log said `/tmp/…/paper.tex:6:` instead of `./paper.tex:6:` (measured).
@@ -379,6 +400,7 @@ function latexPass(
     after: hashes(ctx.paperDir),
     markers: logMarkers(log),
     bib: bibInput(ctx.paperDir),
+    fls: readOr(join(ctx.paperDir, `${JOB}.fls`), "utf8"),
     errorLines:
       exitCode === 0
         ? []
@@ -425,28 +447,47 @@ function bibtexPass(ctx: BuildContext, opts: SpawnOptions): Observation | null {
   };
 }
 
+/** What the loop's passes left for the record of the build's sources (`sources-record.ts`). */
+function runOf(history: readonly Observation[]): TexRun {
+  const bibtexRuns = history.flatMap((o) =>
+    o.step === "bibtex" ? [o.exitCode] : [],
+  );
+  return {
+    fls: history.flatMap((o) =>
+      o.step === "latex" && o.fls !== null ? [o.fls] : [],
+    ),
+    bibtexExit: bibtexRuns.at(-1) ?? null,
+  };
+}
+
 /** Run the loop until `nextStep` says done or fail. */
 export function compile(ctx: BuildContext): {
   end: Terminal;
   latex: number;
   bibtex: number;
+  run: TexRun;
 } {
   const history: Observation[] = [];
   const opts = spawnOptions(ctx);
-  // Every log this loop reads is one its own pdflatex wrote. A pdflatex that dies before opening
-  // paper.log would otherwise have an earlier build's error quoted as this one's.
-  rmSync(join(ctx.paperDir, `${JOB}.log`), { force: true });
+  // Every file this loop reads is one its own pdflatex wrote. A pdflatex that dies before opening
+  // paper.log would otherwise have an earlier build's error quoted as this one's, and one that wrote
+  // no paper.fls would hand the record the files an earlier build read.
+  const remove = (ext: string): void => {
+    rmSync(join(ctx.paperDir, `${JOB}.${ext}`), { force: true });
+  };
+  remove("log");
+  remove("fls");
   const runs = { latex: 0, bibtex: 0 };
+  const finish = (end: Terminal) => ({ end, ...runs, run: runOf(history) });
   for (;;) {
     const step = nextStep(summarize(history));
-    if (step.kind === "done" || step.kind === "fail")
-      return { end: step, ...runs };
+    if (step.kind === "done" || step.kind === "fail") return finish(step);
     runs[step.kind]++;
     const seen =
       step.kind === "latex"
         ? latexPass(ctx, step.final, opts)
         : bibtexPass(ctx, opts);
-    if (seen === null) return { end: cannotStart(step.kind), ...runs };
+    if (seen === null) return finish(cannotStart(step.kind));
     history.push(seen);
   }
 }
@@ -473,7 +514,7 @@ export const compileStep: BuildStep = {
     return { yes: true, why: `${facts.main} (${cls}${venue})` };
   },
   run: (ctx) => {
-    const { end, latex, bibtex } = compile(ctx);
+    const { end, latex, bibtex, run } = compile(ctx);
     if (end.kind === "fail") {
       const bin = end.step === "latex" ? "pdflatex" : "bibtex";
       const where =
@@ -509,7 +550,7 @@ export const compileStep: BuildStep = {
       : "";
     return {
       ok: true,
-      note: `${plural(latex, "pdflatex pass", "pdflatex passes")}, ${plural(bibtex, "bibtex run", "bibtex runs")}${warn}`,
+      note: `${plural(latex, "pdflatex pass", "pdflatex passes")}, ${plural(bibtex, "bibtex run", "bibtex runs")}${warn}; ${recordingNote(ctx.recordSources(ctx.paperDir, run))}`,
     };
   },
 };
@@ -590,7 +631,12 @@ export const referencesStep: BuildStep = {
       : { yes: false, why: "nothing is compiled" },
   run: async (ctx) => ({
     ok: true,
-    note: await recordReferences(ctx.files, ctx.paperDir, ctx.checkReferences),
+    note: await recordReferences(
+      ctx.files,
+      ctx.paperDir,
+      ctx.readBibliography(ctx.paperDir),
+      ctx.checkReferences,
+    ),
   }),
 };
 
@@ -653,6 +699,17 @@ export interface BuildOptions {
    * warns. The CLI passes the real ones (`adapters/references`).
    */
   checkReferences?: CheckReferences;
+  /**
+   * The databases the build's bibtex opened, for the references step. Default: none — the step says
+   * it was not wired and records nothing, and lint warns. The CLI passes `bibliographyReader` over the
+   * real ports.
+   */
+  readBibliography?: ReadBibliography;
+  /**
+   * Writes `_build/sources.json` after a compile. Default: none — the build says it recorded nothing,
+   * and lint reports the paper as not built. The CLI passes `recordSources` over the real ports.
+   */
+  recordSources?: RecordSources;
 }
 
 /**
@@ -674,7 +731,14 @@ function baseDefaults({
   readPdf = pdfjsReader,
   projectRoot = env["CLAUDE_PROJECT_DIR"] || cwd,
 }: BuildOptions): Required<
-  Omit<BuildOptions, "measure" | "files" | "checkReferences">
+  Omit<
+    BuildOptions,
+    | "measure"
+    | "files"
+    | "checkReferences"
+    | "readBibliography"
+    | "recordSources"
+  >
 > {
   return { run, cwd, env, steps, log, dryRun, readPdf, projectRoot };
 }
@@ -691,7 +755,16 @@ const notWired: CheckReferences = (_bib, cache) =>
 
 /** banal as the measurer, wired from the build's environment: the one piece of root work left here (#76). */
 function defaultMeasurer(
-  b: Required<Omit<BuildOptions, "measure" | "files" | "checkReferences">>,
+  b: Required<
+    Omit<
+      BuildOptions,
+      | "measure"
+      | "files"
+      | "checkReferences"
+      | "readBibliography"
+      | "recordSources"
+    >
+  >,
 ): MeasureGeometry {
   const dirs = hostDirs({ cwd: b.cwd });
   return banalMeasurer(
@@ -710,6 +783,8 @@ function withDefaults(o: BuildOptions): Required<BuildOptions> {
     measure,
     files: o.files ?? nodeFiles,
     checkReferences: o.checkReferences ?? notWired,
+    readBibliography: o.readBibliography ?? notWiredBibliography,
+    recordSources: o.recordSources ?? notWiredRecord,
   };
 }
 
@@ -718,29 +793,14 @@ async function runSteps(
   paperDir: string,
   dir: string,
   plan: PlanLine[],
-  {
-    run,
-    env,
-    steps,
-    readPdf,
-    measure,
-    files,
-    checkReferences,
-  }: Required<BuildOptions>,
+  o: Required<BuildOptions>,
 ): Promise<BuildResult> {
-  let stepEnv = env;
+  let stepEnv = o.env;
   const notes: string[] = [];
-  for (const [i, step] of steps.entries()) {
+  for (const [i, step] of o.steps.entries()) {
     if (!plan[i]?.applies) continue;
-    const out = await step.run({
-      paperDir,
-      env: stepEnv,
-      run,
-      readPdf,
-      measure,
-      files,
-      checkReferences,
-    });
+    // Every port the options hold, the paper, and the environment so far.
+    const out = await step.run({ ...o, paperDir, env: stepEnv });
     if (!out.ok) {
       // The PDF THIS run wrote and the step then rejected (a partial pass).
       // A PDF from an earlier run is already gone — `buildPapers` removed it before anything ran.

package/src/claim-provenance.test.ts

@@ -7,10 +7,12 @@
 import { describe, expect, it } from "vitest";
 import { latexReader } from "./adapters/latex/index.ts";
 import { memoryFiles } from "./adapters/memory/index.ts";
+import { sourcesCodec } from "./adapters/sources-record/index.ts";
 import {
   claimProvenanceRule,
   judgeClaimProvenance,
 } from "./claim-provenance.ts";
+import { builtPaper } from "../test/recorded-fixture.ts";
 
 const doc = (body: string): string =>
   `\\documentclass{article}\n\\begin{document}\n${body}\n\\end{document}\n`;
@@ -317,7 +319,11 @@ function run(
 }
 
 const onDisk = (files: Record<string, string> = {}) =>
-  claimProvenanceRule({ files: memoryFiles(files), latex: latexReader });
+  claimProvenanceRule({
+    files: memoryFiles(files),
+    latex: latexReader,
+    codec: sourcesCodec,
+  });
 
 describe("the rule, as ESLint runs it", () => {
   it("reports each finding at its lines, with the message naming the owners that would do", () => {
@@ -337,16 +343,36 @@ describe("the rule, as ESLint runs it", () => {
     ]);
   });
 
-  it("🔴 reads the files the paper \\inputs: a finding there is reported at the \\input, naming its file and line", () => {
-    const rule = onDisk({
-      "/p/sections/results.tex":
-        "\\section{Results}\nIt holds.\nAgents ignore 42\\% of rules.\n",
-    });
-    expect(run(rule, doc("Intro.\n\\input{sections/results}"))).toEqual([
+  it("🔴 reads the files the build recorded TeX reading: a finding there is reported at the \\input, naming its file and line", () => {
+    const main = doc("Intro.\n\\input{sections/results}");
+    const rule = onDisk(
+      builtPaper(
+        "/p",
+        {
+          "paper.tex": main,
+          "sections/results.tex":
+            "\\section{Results}\nIt holds.\nAgents ignore 42\\% of rules.\n",
+        },
+        [
+          { path: "paper.tex", role: "body" },
+          { path: "sections/results.tex", role: "body" },
+        ],
+      ),
+    );
+    expect(run(rule, main)).toEqual([
       {
         line: 4,
         message: `sections/results.tex:3:1: ${String(rule.meta.messages["noOwner"]).replace("{{number}}", "42%")}`,
       },
     ]);
   });
+
+  it("🔴 without a record the paper is paper.tex: the file it \\inputs is not read", () => {
+    const main = doc("Intro.\n\\input{sections/results}");
+    const rule = onDisk({
+      "/p/paper.tex": main,
+      "/p/sections/results.tex": "Agents ignore 42\\% of rules.\n",
+    });
+    expect(run(rule, main)).toEqual([]);
+  });
 });

package/src/claim-provenance.ts

@@ -37,7 +37,7 @@ import {
   segmentOf,
   sentences,
 } from "./domain/sentences.ts";
-import { readPaper, reportInPaper, type PaperDeps } from "./tex-paper.ts";
+import { readPaper, reportInPaper, type ProseDeps } from "./tex-paper.ts";
 import {
   ruleDocsUrl,
   type Located,
@@ -198,7 +198,7 @@ const META: TexRuleModule["meta"] = {
 };
 
 /** The rule, over the body's prose of the whole paper, its includes spliced (`readPaper`). */
-export const claimProvenanceRule = (deps: PaperDeps): TexRuleModule => ({
+export const claimProvenanceRule = (deps: ProseDeps): TexRuleModule => ({
   meta: META,
   create(context) {
     return {

package/src/cli.harness.mjs

@@ -42,6 +42,19 @@ const { PROGRAMS } = await import(join(HERE, "doctor.ts"));
 // loads vigiles without recording a check is reported as having verified nothing.
 const check = createChecker();
 
+/** A paper.tex whose whole body is `body`. */
+const tex = (body) =>
+  `\\documentclass{article}\n\\begin{document}\n${body}\n\\end{document}\n`;
+
+/**
+ * A run that linted a paper nobody built clean: exit 0, and the one finding is the warning that no
+ * build recorded what TeX read (`paper/sources-fresh`) — what "no findings" meant before that rule.
+ */
+const cleanButUnbuilt = (r) =>
+  r.code === 0 &&
+  /paper\/sources-fresh/.test(r.out) &&
+  /1 problem \(0 errors, 1 warning\)/.test(r.out);
+
 /** Runs the utility with output captured — quieter and faster than spawning a process. */
 async function cli(args, cwd) {
   // 🔴 THE STREAMS ARE SPLIT, AND THAT IS LOAD-BEARING. As long as the harness dumped log and
@@ -129,11 +142,11 @@ check(
   const ruleBlocks = (c) => c.filter((b) => Array.isArray(b.files));
   check(
     "without a LaTeX language the config still gets built — a corpus with no .tex is not a reason to refuse",
-    Array.isArray(cfg) && ruleBlocks(cfg).length === 4,
+    Array.isArray(cfg) && ruleBlocks(cfg).length === 3,
   );
   check(
     "with a LaTeX language two blocks are added: paper.tex, and the files it includes",
-    ruleBlocks(buildConfig({}, {})).length === 6,
+    ruleBlocks(buildConfig({}, {})).length === 5,
   );
   check(
     "🔴 the project's paper TEMPLATE directory is ignored — flat config does not skip dot-directories",
@@ -178,7 +191,7 @@ check(
       join(paper, "versions", "2026-07-22-submitted.pdf"),
       "x".repeat(100),
     );
-    writeFileSync(join(paper, "paper.md"), "# Intro\n\nRQ1: does it hold?\n");
+    writeFileSync(join(paper, "paper.tex"), tex("RQ1: does it hold?"));
     writeFileSync(
       join(paper, "PIPELINE-STATUS.md"),
       `---\nstages:\n  - stage: submitted\n    date: 2026-07-22\n    pdf: versions/2026-07-22-submitted.pdf\n    bytes: 100\n    source: versions/s.tex\n    sourceBytes: 4\n---\n# S\n\n| id | note |\n|---|---|\n| cites | bib-authors run |\n`,
@@ -192,7 +205,7 @@ check(
     const bare = await cli(["lint"], root);
     check(
       "🔴 NO paperlint.json IS A VALID PROJECT — the default papers directory is linted",
-      bare.code === 0 && /no findings/.test(bare.out),
+      cleanButUnbuilt(bare),
     );
     check(
       "and no config line is printed when there is no file to name",
@@ -204,7 +217,7 @@ check(
     const empty = await cli(["lint"], root);
     check(
       `an empty paperlint.json — no \`${PAPERS_DIR_FIELD}\`, so the default`,
-      empty.code === 0 && /no findings/.test(empty.out),
+      cleanButUnbuilt(empty),
     );
 
     // 🔴 THE DECLARED DIRECTORY IS NOT THE DEFAULT: with `papers` declared, a CLI that ignored
@@ -217,7 +230,7 @@ check(
     const r = await cli(["lint"], root);
     check(
       "🔴 THE UTILITY READS THE DECLARATION FROM paperlint.json — the file `paperlint init` writes and the hooks read",
-      r.code === 0 && /no findings/.test(r.out),
+      cleanButUnbuilt(r),
     );
     check(
       "and NAMES the carrier out loud — swapping settings is never silent",
@@ -703,13 +716,13 @@ check(
     const status = (bytes) =>
       `---\nstages:\n  - stage: submitted\n    date: 2026-07-22\n    pdf: versions/2026-07-22-submitted.pdf\n    bytes: ${bytes}\n    source: versions/s.tex\n    sourceBytes: 4\n---\n# S\n\n| id | note |\n|---|---|\n| cites | bib-authors run |\n`;
     writeFileSync(join(paper, "versions", "s.tex"), "abcd");
-    writeFileSync(join(paper, "paper.md"), "# Intro\n\nRQ1: does it hold?\n");
+    writeFileSync(join(paper, "paper.tex"), tex("RQ1: does it hold?"));
 
     writeFileSync(join(paper, "PIPELINE-STATUS.md"), status(100));
     const clean = await cli(["lint", "papers"], root);
     check(
       "on a clean corpus — zero and a legible report",
-      clean.code === 0 && /no findings/.test(clean.out),
+      cleanButUnbuilt(clean),
     );
 
     writeFileSync(join(paper, "PIPELINE-STATUS.md"), status(999));
@@ -788,7 +801,7 @@ check(
       join(paper, "versions", "2026-07-22-submitted.pdf"),
       "x".repeat(100),
     );
-    writeFileSync(join(paper, "paper.md"), "# Intro\n\nRQ1: does it hold?\n");
+    writeFileSync(join(paper, "paper.tex"), tex("RQ1: does it hold?"));
     const status = (bytes) =>
       `---\nstages:\n  - stage: submitted\n    date: 2026-07-22\n    pdf: versions/2026-07-22-submitted.pdf\n    bytes: ${bytes}\n    source: versions/s.tex\n    sourceBytes: 4\n---\n# S\n\n| id | note |\n|---|---|\n| cites | bib-authors run |\n`;
     writeFileSync(join(paper, "PIPELINE-STATUS.md"), status(100));
@@ -818,7 +831,7 @@ check(
     const found = await cli(["lint"], root);
     check(
       "the config is FOUND on its own: `lint` with no argument at all runs",
-      found.code === 0 && /no findings/.test(found.out),
+      cleanButUnbuilt(found),
     );
     check(
       "and the found file is NAMED out loud — swapping settings silently is not acceptable",
@@ -832,7 +845,7 @@ check(
     const fromSub = await cli(["lint"], paper);
     check(
       "the path from the config resolves relative to the CONFIG'S DIRECTORY, not the current one",
-      fromSub.code === 0 && /no findings/.test(fromSub.out),
+      cleanButUnbuilt(fromSub),
     );
 
     // Consumer data from the found config actually reaches the rules, not just gets read.
@@ -861,7 +874,7 @@ check(
     const noPapers = await cli(["lint"], root);
     check(
       "a config WITHOUT the papers-directory field lints the default `papers/`",
-      noPapers.code === 0 && /no findings/.test(noPapers.out),
+      cleanButUnbuilt(noPapers),
     );
     check(
       'an empty string as the papers directory is refused, not read as the directory ""',
@@ -897,8 +910,8 @@ check(
     );
     // Three § signs — `paper/section-word`, warn level and only warn.
     writeFileSync(
-      join(paper, "paper.md"),
-      "# Intro\n\nRQ1: does it hold?\n\nSee \u00a7 5 and \u00a7 6 and \u00a7 7.\n",
+      join(paper, "paper.tex"),
+      tex("RQ1: does it hold?\n\nSee \u00a7 5 and \u00a7 6 and \u00a7 7."),
     );
     writeFileSync(
       join(paper, "PIPELINE-STATUS.md"),
@@ -921,7 +934,7 @@ check(
     );
     check(
       'and the failure names the NUMBER and the THRESHOLD, not just "too many"',
-      /3 warning\(s\) exceed the --max-warnings limit of 0/.test(strict.out),
+      /4 warning\(s\) exceed the --max-warnings limit of 0/.test(strict.out),
     );
     const generous = await cli(["lint", "--max-warnings", "5"], root);
     check(
@@ -1040,7 +1053,7 @@ check(
     const paper = join(tree, "papers", "p");
     mkdirSync(paper, { recursive: true });
     // Two findings of different kinds: a structural one (no scorecard) and a rule one (`§`).
-    writeFileSync(join(paper, "paper.md"), "# T\n\nSee § 3 and §4.\n");
+    writeFileSync(join(paper, "paper.tex"), tex("See § 3 and §4."));
 
     const inside = await cli(["lint", "--json", "papers"], tree);
     const outside = await cli(
@@ -1273,22 +1286,10 @@ console.log(
 
 // ── the new flags parse, and none of them becomes the directory argument ─────────────────
 {
-  const a = parseArgs([
-    "init",
-    "--yes",
-    "--no-hooks",
-    "--paper",
-    "demo",
-    "--format",
-    "md",
-  ]);
+  const a = parseArgs(["init", "--yes", "--no-hooks", "--paper", "demo"]);
   check(
     "init flags parse into fields, not into paths",
-    a.yes &&
-      a.noHooks &&
-      a.paper === "demo" &&
-      a.format === "md" &&
-      a.paths.length === 0,
+    a.yes && a.noHooks && a.paper === "demo" && a.paths.length === 0,
   );
   check("-y is --yes", parseArgs(["init", "-y"]).yes === true);
   check(
@@ -1300,11 +1301,6 @@ console.log(
     "🔴 --hooks=local is NOT implemented, and it is refused by name rather than read as a path",
     r.code === 2 && /--hooks=local is not implemented/.test(r.out),
   );
-  const f = await cli(["init", "--format", "pdf"]);
-  check(
-    "an unknown --format is refused before anything is written",
-    f.code === 2 && /--format must be one of tex, md/.test(f.out),
-  );
 }
 
 // ── init wires the hooks, and a human can say no ─────────────────────────────────────────
@@ -1315,7 +1311,7 @@ console.log(
   const mk = (name) => {
     const dir = join(root, name);
     mkdirSync(join(dir, "papers", "p1"), { recursive: true });
-    writeFileSync(join(dir, "papers", "p1", "paper.md"), "# P\n");
+    writeFileSync(join(dir, "papers", "p1", "paper.tex"), "% P\n");
     writeFileSync(
       join(dir, "papers", "p1", "PIPELINE-STATUS.md"),
       "---\n---\n",
@@ -1426,19 +1422,17 @@ console.log(
         ask: async (q) => {
           asked.push(q);
           if (/create a first paper/.test(q)) return "first";
-          if (/format:/.test(q)) return "md";
           return "";
         },
-        createPaper: async (papersRoot, name, format) => {
-          made.push({ papersRoot, name, format });
+        createPaper: async (papersRoot, name) => {
+          made.push({ papersRoot, name });
           return 0;
         },
       });
       check(
-        "a human with no paper is offered one, and the answer and format reach `paperlint new`'s routine",
+        "a human with no paper is offered one, and the answer reaches `paperlint new`'s routine",
         made.length === 1 &&
           made[0].name === "first" &&
-          made[0].format === "md" &&
           made[0].papersRoot === join(dir, "papers"),
       );
     }
@@ -1466,22 +1460,17 @@ console.log(
         log: () => {},
         interactive: false,
         paper: "given",
-        createPaper: async (papersRoot, name, format) => (
-          made.push({ name, format }),
-          0
-        ),
+        createPaper: async (papersRoot, name) => (made.push({ name }), 0),
       });
       check(
-        "--paper creates it without a human, in the default format",
-        made.length === 1 &&
-          made[0].name === "given" &&
-          made[0].format === "tex",
+        "--paper creates it without a human",
+        made.length === 1 && made[0].name === "given",
       );
     }
     {
       const dir = bare("has-one");
       mkdirSync(join(dir, "papers", "p1"), { recursive: true });
-      writeFileSync(join(dir, "papers", "p1", "paper.md"), "# P\n");
+      writeFileSync(join(dir, "papers", "p1", "paper.tex"), "% P\n");
       const asked = [];
       await init(dir, {
         ...base,
@@ -1569,7 +1558,7 @@ console.log(
       `{"${PAPERS_DIR_FIELD}":"papers"}\n`,
     );
     mkdirSync(join(root, "papers", "p1"), { recursive: true });
-    writeFileSync(join(root, "papers", "p1", "paper.md"), "# P\n");
+    writeFileSync(join(root, "papers", "p1", "paper.tex"), "% P\n");
     writeFileSync(
       join(root, "papers", "p1", "PIPELINE-STATUS.md"),
       "---\n---\n",
@@ -1591,7 +1580,7 @@ console.log(
       join(root, "papers", "p2", "PIPELINE-STATUS.md"),
       readFileSync(join(root, "papers", ".template", "PIPELINE-STATUS.md")),
     );
-    writeFileSync(join(root, "papers", "p2", "paper.md"), "# P\n");
+    writeFileSync(join(root, "papers", "p2", "paper.tex"), "% P\n");
     const r2 = await cli(["lint"], root);
     check(
       "and the same scorecard in a real paper folder fails — the ignore is scoped, not a blind spot",
@@ -1617,19 +1606,20 @@ console.log(
     );
     const r = await cli(["new", "demo"], root);
     check(
-      "🔴 `paperlint new demo` creates writing/demo/ and its lint is the verdict — exit 0, and only the warning that no venue is chosen yet",
+      "🔴 `paperlint new demo` creates writing/demo/ and its lint is the verdict — exit 0, and only two warnings: no venue is chosen yet, the paper is not built",
       r.code === 0 &&
         existsSync(join(root, "writing", "demo", "PIPELINE-STATUS.md")) &&
         existsSync(join(root, "writing", "demo", "paper.tex")) &&
         existsSync(join(root, "writing", "demo", "paperlint.json")) &&
         /names no venue preset yet/.test(r.out) &&
-        /\(0 errors, 1 warning\)/.test(r.out),
+        /paper\/sources-fresh/.test(r.out) &&
+        /\(0 errors, 2 warnings\)/.test(r.out),
     );
-    const again = await cli(["new", "demo", "--format", "md"], root);
+    const again = await cli(["new", "demo"], root);
     check(
       "a second run on the same folder adds nothing — the tex source already stands",
       again.code === 0 &&
-        !existsSync(join(root, "writing", "demo", "paper.md")) &&
+        !/\+ /.test(again.out) &&
         /kept — never overwritten/.test(again.out),
     );
     const bad = await cli(["new", "Demo"], root);