paperlint 7.1.0 → 7.2.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (119) hide show
  1. package/.github/workflows/ci.yml +3 -0
  2. package/.github/workflows/deadlines.yml +100 -0
  3. package/README.md +6 -0
  4. package/dist/adapters/hotcrp/deadlines.d.ts +8 -0
  5. package/dist/adapters/hotcrp/deadlines.d.ts.map +1 -0
  6. package/dist/adapters/hotcrp/deadlines.io.d.ts +6 -0
  7. package/dist/adapters/hotcrp/deadlines.io.d.ts.map +1 -0
  8. package/dist/adapters/hotcrp/deadlines.io.js +26 -0
  9. package/dist/adapters/hotcrp/deadlines.io.js.map +1 -0
  10. package/dist/adapters/hotcrp/deadlines.js +134 -0
  11. package/dist/adapters/hotcrp/deadlines.js.map +1 -0
  12. package/dist/adapters/hotcrp/index.d.ts +2 -0
  13. package/dist/adapters/hotcrp/index.d.ts.map +1 -1
  14. package/dist/adapters/hotcrp/index.js +2 -0
  15. package/dist/adapters/hotcrp/index.js.map +1 -1
  16. package/dist/cli.d.ts.map +1 -1
  17. package/dist/cli.js +40 -5
  18. package/dist/cli.js.map +1 -1
  19. package/dist/cycle-rules.d.ts +24 -0
  20. package/dist/cycle-rules.d.ts.map +1 -0
  21. package/dist/cycle-rules.js +212 -0
  22. package/dist/cycle-rules.js.map +1 -0
  23. package/dist/domain/cycle.d.ts +148 -0
  24. package/dist/domain/cycle.d.ts.map +1 -0
  25. package/dist/domain/cycle.js +281 -0
  26. package/dist/domain/cycle.js.map +1 -0
  27. package/dist/domain/deadline.d.ts +128 -0
  28. package/dist/domain/deadline.d.ts.map +1 -0
  29. package/dist/domain/deadline.js +281 -0
  30. package/dist/domain/deadline.js.map +1 -0
  31. package/dist/eslint-rules/cycle-stage.d.ts +39 -0
  32. package/dist/eslint-rules/cycle-stage.d.ts.map +1 -0
  33. package/dist/eslint-rules/cycle-stage.js +119 -0
  34. package/dist/eslint-rules/cycle-stage.js.map +1 -0
  35. package/dist/lib/paper-config.d.ts.map +1 -1
  36. package/dist/lib/paper-config.js +2 -0
  37. package/dist/lib/paper-config.js.map +1 -1
  38. package/dist/paper-settings.d.ts +7 -0
  39. package/dist/paper-settings.d.ts.map +1 -1
  40. package/dist/paper-settings.js +61 -8
  41. package/dist/paper-settings.js.map +1 -1
  42. package/dist/ports/venue-deadlines.d.ts +14 -0
  43. package/dist/ports/venue-deadlines.d.ts.map +1 -0
  44. package/dist/ports/venue-deadlines.js +2 -0
  45. package/dist/ports/venue-deadlines.js.map +1 -0
  46. package/dist/presets.d.ts +12 -0
  47. package/dist/presets.d.ts.map +1 -1
  48. package/dist/presets.js +19 -11
  49. package/dist/presets.js.map +1 -1
  50. package/dist/submission.d.ts +8 -0
  51. package/dist/submission.d.ts.map +1 -1
  52. package/dist/submission.js +41 -10
  53. package/dist/submission.js.map +1 -1
  54. package/dist/tex-requirements.d.ts +3 -0
  55. package/dist/tex-requirements.d.ts.map +1 -1
  56. package/dist/tex-requirements.js +19 -0
  57. package/dist/tex-requirements.js.map +1 -1
  58. package/dist/tex-venue-rules.d.ts +19 -0
  59. package/dist/tex-venue-rules.d.ts.map +1 -1
  60. package/dist/tex-venue-rules.js +69 -0
  61. package/dist/tex-venue-rules.js.map +1 -1
  62. package/dist/venue-rules.d.ts +10 -0
  63. package/dist/venue-rules.d.ts.map +1 -1
  64. package/dist/venue-rules.js +26 -10
  65. package/dist/venue-rules.js.map +1 -1
  66. package/docs/configuration.md +139 -11
  67. package/docs/rules/cycle/evidence.md +87 -0
  68. package/docs/rules/cycle/port-done.md +75 -0
  69. package/docs/rules/cycle/record.md +152 -0
  70. package/docs/rules/cycle/stage.md +85 -0
  71. package/docs/rules.md +48 -43
  72. package/docs/submission.md +5 -0
  73. package/eslint-rules/cycle-stage.test.mjs +131 -0
  74. package/eslint-rules/cycle-stage.ts +141 -0
  75. package/eslint.config.mjs +41 -1
  76. package/lib/paper-config.ts +3 -0
  77. package/package.json +1 -1
  78. package/presets/aidc.jsonc +24 -3
  79. package/presets/aidc.md +6 -3
  80. package/presets/msr.jsonc +25 -1
  81. package/presets/msr.md +5 -1
  82. package/presets/venue-profile.schema.json +39 -0
  83. package/scripts/check.ts +4 -0
  84. package/scripts/refresh-deadlines.test.ts +431 -0
  85. package/scripts/refresh-deadlines.ts +387 -0
  86. package/src/adapters/hotcrp/cassette/README.md +22 -0
  87. package/src/adapters/hotcrp/cassette/deadlines-aidc26.html +17 -0
  88. package/src/adapters/hotcrp/cassette/deadlines-fse2027.html +24 -0
  89. package/src/adapters/hotcrp/cassette/deadlines-icse2027.html +25 -0
  90. package/src/adapters/hotcrp/cassette/deadlines-msr2027.html +25 -0
  91. package/src/adapters/hotcrp/cassette/deadlines-nosuch.html +18 -0
  92. package/src/adapters/hotcrp/cassette/deadlines-sosp26.html +26 -0
  93. package/src/adapters/hotcrp/deadlines.io.test.ts +86 -0
  94. package/src/adapters/hotcrp/deadlines.io.ts +27 -0
  95. package/src/adapters/hotcrp/deadlines.test.ts +170 -0
  96. package/src/adapters/hotcrp/deadlines.ts +161 -0
  97. package/src/adapters/hotcrp/index.ts +2 -0
  98. package/src/cli.test.ts +9 -0
  99. package/src/cli.ts +43 -4
  100. package/src/cycle-rules.test.ts +278 -0
  101. package/src/cycle-rules.ts +273 -0
  102. package/src/domain/cycle.test.ts +456 -0
  103. package/src/domain/cycle.ts +432 -0
  104. package/src/domain/deadline.test.ts +386 -0
  105. package/src/domain/deadline.ts +472 -0
  106. package/src/new-paper.test.ts +1 -0
  107. package/src/paper-settings.test.ts +167 -0
  108. package/src/paper-settings.ts +85 -11
  109. package/src/ports/venue-deadlines.ts +14 -0
  110. package/src/presets.test.ts +105 -0
  111. package/src/presets.ts +43 -10
  112. package/src/rule-cases.test.ts +144 -0
  113. package/src/submission.test.ts +105 -1
  114. package/src/submission.ts +73 -12
  115. package/src/tex-requirements.ts +31 -0
  116. package/src/tex-venue-rules.test.ts +76 -0
  117. package/src/tex-venue-rules.ts +85 -0
  118. package/src/venue-rules.test.ts +82 -0
  119. package/src/venue-rules.ts +44 -12
@@ -0,0 +1,472 @@
1
+ /**
2
+ * A VENUE'S DEADLINE — what each page said about it, and which instant binds.
3
+ *
4
+ * One entry per deadline of an attempt, in a cycle's `deadlines`:
5
+ *
6
+ * {
7
+ * "what": "submission",
8
+ * "observed": [
9
+ * { "at": "2026-10-20T04:00:00Z", "source": "portal", "url": "…/deadlines", "read": "2026-10-05" },
10
+ * { "at": "2026-10-23 AoE", "source": "call", "url": "…/cfp", "read": "2026-10-05" }
11
+ * ],
12
+ * "override": { "at": "2026-10-27T04:00:00Z", "reason": "…", "evidence": "mail/extension.eml" }
13
+ * }
14
+ *
15
+ * ── OBSERVED, THEN OVERRIDDEN ──────────────────────────────────────────────────────────
16
+ * A READING is what one page said on one day: its instant, whether the page was the portal (which
17
+ * refuses the upload) or the call (which only announces), where, and when it was read. The portal
18
+ * and the call often disagree — an AoE day in a call is a day after the portal's UTC instant, and a
19
+ * HotCRP "submissions must be completed by" can fall on the call's abstract day — so both are kept,
20
+ * and the EARLIER binds: the safe reading of two. An OVERRIDE is a human decision that another
21
+ * instant binds (the chairs extended by mail); it wins, and it carries its reason and a file as
22
+ * evidence, so it is never a silent edit of a reading.
23
+ *
24
+ * ── THE WORDS ───────────────────────────────────────────────────────────────────────────
25
+ * A call says "abstract" and "paper"; HotCRP says registration, submission and resubmission. Here:
26
+ * `registration` is the abstract registration (a call's "abstract" date), `submission` the full paper
27
+ * (a call's "paper" date, HotCRP's "submissions must be completed by"), `resubmission` the updates a
28
+ * portal allows to a completed submission. Recorded honestly, a call's "paper" day and a portal's
29
+ * earlier "submission" cutoff are two readings of ONE deadline, and the earlier binds.
30
+ *
31
+ * Parsed by hand: the domain imports no schema library (see `src/CLAUDE.md`). Every object in the
32
+ * record refuses a key it does not know: an `override` typed under another name would otherwise look
33
+ * recorded and not be in force.
34
+ */
35
+ import { err, ok, type Result } from "./result.ts";
36
+ import { isRecord } from "./record.ts";
37
+
38
+ /** A calendar day, `YYYY-MM-DD`. */
39
+ export type IsoDate = string;
40
+ /** A moment, as an ISO string in UTC: `2026-10-20T04:00:00Z`. Never a bare date. */
41
+ export type Instant = string;
42
+
43
+ export type DeadlineWhat =
44
+ | "registration"
45
+ | "submission"
46
+ | "resubmission"
47
+ | "notification"
48
+ | "camera-ready";
49
+ /** The kinds, in the order a venue's deadlines keep. */
50
+ export const DEADLINE_WHATS: readonly DeadlineWhat[] = [
51
+ "registration",
52
+ "submission",
53
+ "resubmission",
54
+ "notification",
55
+ "camera-ready",
56
+ ];
57
+
58
+ /** What each kind is, in a call's words where they differ — said in every message that names the kinds. */
59
+ export const WHAT_MEANS: Readonly<Record<DeadlineWhat, string | null>> = {
60
+ registration: 'abstract registration: a call\'s "abstract" date',
61
+ submission: 'the full paper: a call\'s "paper" date',
62
+ resubmission: "updates to a completed submission",
63
+ notification: null,
64
+ "camera-ready": null,
65
+ };
66
+
67
+ export type DeadlineSource = "portal" | "call";
68
+
69
+ /** What one page said about one deadline, and on which day it was read. */
70
+ export interface Observation {
71
+ readonly at: Instant;
72
+ readonly source: DeadlineSource;
73
+ /** The page it was read on. */
74
+ readonly url: string;
75
+ readonly read: IsoDate;
76
+ }
77
+
78
+ /** A human decision that another instant binds, with why and the file it rests on. */
79
+ export interface Override {
80
+ readonly at: Instant;
81
+ readonly reason: string;
82
+ /** A file in the paper folder: the mail, the saved page. `cycle/evidence` requires it on disk. */
83
+ readonly evidence: string;
84
+ }
85
+
86
+ /** One deadline of an attempt, as the paper records it. */
87
+ export interface Deadline {
88
+ readonly what: DeadlineWhat;
89
+ readonly observed: readonly Observation[];
90
+ readonly override: Override | null;
91
+ }
92
+
93
+ /** One reading of one deadline, as a venue preset carries it. */
94
+ export interface Reading extends Observation {
95
+ readonly what: DeadlineWhat;
96
+ }
97
+
98
+ /** What binds a deadline: the override, or the reading that was earliest. */
99
+ export type Binding =
100
+ | { readonly kind: "override"; readonly override: Override }
101
+ | { readonly kind: "reading"; readonly reading: Observation };
102
+
103
+ /** A deadline in force: its instant, what set it, and every reading of it. */
104
+ export interface InForce {
105
+ readonly what: DeadlineWhat;
106
+ readonly at: Instant;
107
+ readonly by: Binding;
108
+ readonly readings: readonly Observation[];
109
+ }
110
+
111
+ /**
112
+ * What a venue's portal says about its deadlines, in paperlint's words — what the scheduled refresh
113
+ * of the shipped presets reads (`scripts/refresh-deadlines.ts`). One adapter per portal kind.
114
+ */
115
+ export interface PortalDeadlines {
116
+ /** The portal's clock when it answered, Unix seconds. */
117
+ readonly now: number;
118
+ /** Whether the portal takes submissions now. */
119
+ readonly open: boolean;
120
+ /** How the venue reviews, as the portal says it; null when it does not say. */
121
+ readonly blind: boolean | "optional" | "until-review" | null;
122
+ readonly deadlines: readonly PortalDeadline[];
123
+ }
124
+
125
+ /** One deadline the portal lists: its kind when it is one paperlint names, the portal's own label, and when. */
126
+ export interface PortalDeadline {
127
+ readonly what: DeadlineWhat | null;
128
+ readonly label: string;
129
+ readonly at: Instant;
130
+ }
131
+
132
+ // ── instants ───────────────────────────────────────────────────────────────────────────
133
+
134
+ const ISO_DATE = /^\d{4}-\d{2}-\d{2}$/;
135
+ export const isIsoDate = (v: unknown): v is IsoDate =>
136
+ typeof v === "string" && ISO_DATE.test(v) && !Number.isNaN(Date.parse(v));
137
+
138
+ const asInstant = (ms: number): Instant =>
139
+ new Date(ms).toISOString().replace(/\.\d{3}Z$/, "Z");
140
+
141
+ /** Unix seconds → the instant, in UTC. */
142
+ export const instantOfUnix = (seconds: number): Instant =>
143
+ asInstant(seconds * 1000);
144
+
145
+ /** The forms `at` takes, for every message that refuses one. */
146
+ const INSTANT_FORMS = `an instant with its zone (2026-10-20T04:00:00Z) or a call's "YYYY-MM-DD AoE"`;
147
+
148
+ /**
149
+ * An ISO instant with its zone (`Z` or `±hh:mm`), or a call's `YYYY-MM-DD AoE`; normalised to UTC.
150
+ * A bare date or a zoneless time is refused: it is the deadline people get wrong.
151
+ */
152
+ export function instantOf(text: string): Result<Instant, string> {
153
+ const bad = err(
154
+ `"${text}" must be an instant with its zone (2026-10-20T04:00:00Z, 2026-10-20T09:00:00+05:00) or a call's "YYYY-MM-DD AoE"`,
155
+ );
156
+ const aoe = /^(\d{4}-\d{2}-\d{2}) AoE$/i.exec(text.trim());
157
+ if (aoe) {
158
+ const day = String(aoe[1]); // the group always participates in a match
159
+ // The end of that day at UTC−12: 23:59:59 there is 11:59:59 UTC of the next day.
160
+ const ms = Date.parse(`${day}T23:59:59-12:00`);
161
+ return Number.isNaN(ms) ? bad : ok(asInstant(ms));
162
+ }
163
+ if (!/^\d{4}-\d{2}-\d{2}T\d{2}:\d{2}(:\d{2})?(Z|[+-]\d{2}:\d{2})$/.test(text))
164
+ return bad;
165
+ const ms = Date.parse(text);
166
+ return Number.isNaN(ms) ? bad : ok(asInstant(ms));
167
+ }
168
+
169
+ // ── parsing ────────────────────────────────────────────────────────────────────────────
170
+
171
+ /** The first key of `v` that is not in `known`, as the refusal naming it; null when there is none. */
172
+ export const unknownKey = (
173
+ v: Readonly<Record<string, unknown>>,
174
+ known: readonly string[],
175
+ at: string,
176
+ whose: string,
177
+ ): string | null => {
178
+ const k = Object.keys(v).find((x) => !known.includes(x));
179
+ return k === undefined
180
+ ? null
181
+ : `${at}: unknown key "${k}" — ${whose} keys: ${known.join(", ")}`;
182
+ };
183
+
184
+ /** `v[key]` as an instant, or the refusal naming the key and both forms. */
185
+ const instantField = (
186
+ v: Readonly<Record<string, unknown>>,
187
+ key: string,
188
+ at: string,
189
+ ): Result<Instant, string> => {
190
+ const text = v[key];
191
+ const instant =
192
+ typeof text === "string" ? instantOf(text) : err("not a string");
193
+ return instant.ok
194
+ ? instant
195
+ : err(
196
+ `${at}: "${key}" must be ${INSTANT_FORMS}, got ${JSON.stringify(text)}`,
197
+ );
198
+ };
199
+
200
+ const nonEmpty = (v: unknown): v is string => typeof v === "string" && v !== "";
201
+
202
+ const READING_KEYS: readonly string[] = ["at", "source", "url", "read"];
203
+
204
+ /** `source`, `url` and `read` of a reading: where and when it was read. */
205
+ function provenance(
206
+ v: Readonly<Record<string, unknown>>,
207
+ at: string,
208
+ ): Result<Omit<Observation, "at">, string> {
209
+ const { source, url, read } = v;
210
+ if (source !== "portal" && source !== "call")
211
+ return err(
212
+ `${at}: "source" must be "portal" or "call", got ${JSON.stringify(source)} — a deadline moved by mail is an "override", with the mail as its "evidence"`,
213
+ );
214
+ if (!nonEmpty(url))
215
+ return err(`${at}: "url" must be where the deadline was read`);
216
+ if (!isIsoDate(read))
217
+ return err(`${at}: "read" must be the day the page was read, YYYY-MM-DD`);
218
+ return ok({ source, url, read });
219
+ }
220
+
221
+ function parseObservation(v: unknown, at: string): Result<Observation, string> {
222
+ if (!isRecord(v))
223
+ return err(`${at}: a reading must be { "at", "source", "url", "read" }`);
224
+ const unknown = unknownKey(v, READING_KEYS, at, "a reading's");
225
+ if (unknown !== null) return err(unknown);
226
+ const instant = instantField(v, "at", at);
227
+ if (!instant.ok) return instant;
228
+ const rest = provenance(v, at);
229
+ return rest.ok ? ok({ at: instant.value, ...rest.value }) : rest;
230
+ }
231
+
232
+ /** Each item of a list through `one`; the first refusal, naming its index. */
233
+ function eachOf<T>(
234
+ list: readonly unknown[],
235
+ at: string,
236
+ one: (v: unknown, at: string) => Result<T, string>,
237
+ ): Result<readonly T[], string> {
238
+ return list.reduce<Result<readonly T[], string>>((acc, v, i) => {
239
+ if (!acc.ok) return acc;
240
+ const p = one(v, `${at}[${String(i)}]`);
241
+ return p.ok ? ok([...acc.value, p.value]) : p;
242
+ }, ok([]));
243
+ }
244
+
245
+ /** The readings of one deadline: at most one per source — a re-read replaces the earlier one. */
246
+ function parseObserved(
247
+ v: unknown,
248
+ at: string,
249
+ ): Result<readonly Observation[], string> {
250
+ if (v === undefined) return ok([]);
251
+ if (!Array.isArray(v))
252
+ return err(
253
+ `${at}: "observed" must be a list of readings { "at", "source", "url", "read" }`,
254
+ );
255
+ const list = eachOf(v, `${at}.observed`, parseObservation);
256
+ if (!list.ok) return list;
257
+ const twice = (["portal", "call"] as const).find(
258
+ (s) => list.value.filter((o) => o.source === s).length > 1,
259
+ );
260
+ return twice === undefined
261
+ ? list
262
+ : err(
263
+ `${at}: two "${twice}" readings — keep one per source, the latest (its "read" says when)`,
264
+ );
265
+ }
266
+
267
+ const OVERRIDE_KEYS: readonly string[] = ["at", "reason", "evidence"];
268
+
269
+ function parseOverride(
270
+ v: unknown,
271
+ at: string,
272
+ ): Result<Override | null, string> {
273
+ if (v === undefined) return ok(null);
274
+ if (!isRecord(v))
275
+ return err(`${at}: "override" must be { "at", "reason", "evidence" }`);
276
+ const where = `${at}.override`;
277
+ const unknown = unknownKey(v, OVERRIDE_KEYS, where, "an override's");
278
+ if (unknown !== null) return err(unknown);
279
+ const instant = instantField(v, "at", where);
280
+ if (!instant.ok) return instant;
281
+ const { reason, evidence } = v;
282
+ if (!nonEmpty(reason))
283
+ return err(
284
+ `${where}: "reason" must say why this instant binds rather than the readings (the chairs extended it by mail, …)`,
285
+ );
286
+ return nonEmpty(evidence)
287
+ ? ok({ at: instant.value, reason, evidence })
288
+ : err(
289
+ `${where}: "evidence" must be a file in the paper folder — the mail or the saved page the override rests on`,
290
+ );
291
+ }
292
+
293
+ const isWhat = (v: unknown): v is DeadlineWhat =>
294
+ DEADLINE_WHATS.some((w) => w === v);
295
+
296
+ /** Every kind with what it is, for the message that refuses an unknown one. */
297
+ const KINDS_TEXT = DEADLINE_WHATS.map((w) => {
298
+ const means = WHAT_MEANS[w];
299
+ return means === null ? w : `${w} (${means})`;
300
+ }).join(", ");
301
+
302
+ const DEADLINE_KEYS: readonly string[] = ["what", "observed", "override"];
303
+
304
+ function parseDeadline(v: unknown, at: string): Result<Deadline, string> {
305
+ if (!isRecord(v))
306
+ return err(
307
+ `${at}: a deadline must be { "what", "observed": [ … ], "override"? }`,
308
+ );
309
+ const unknown = unknownKey(v, DEADLINE_KEYS, at, "a deadline's");
310
+ if (unknown !== null) return err(unknown);
311
+ const what = v["what"];
312
+ if (!isWhat(what))
313
+ return err(
314
+ `${at}: "what" must be one of ${KINDS_TEXT}; got ${JSON.stringify(what)}`,
315
+ );
316
+ const observed = parseObserved(v["observed"], at);
317
+ if (!observed.ok) return observed;
318
+ const override = parseOverride(v["override"], at);
319
+ if (!override.ok) return override;
320
+ return observed.value.length === 0 && override.value === null
321
+ ? err(
322
+ `${at}: the "${what}" deadline records nothing — add what a page said ("observed") or an "override"`,
323
+ )
324
+ : ok({ what, observed: observed.value, override: override.value });
325
+ }
326
+
327
+ /** The first kind with two entries, as the refusal naming both; null when each kind has one. */
328
+ function twoEntries(list: readonly Deadline[], at: string): string | null {
329
+ const second = list.findIndex(
330
+ (d, i) => list.findIndex((e) => e.what === d.what) !== i,
331
+ );
332
+ const d = list[second];
333
+ if (d === undefined) return null;
334
+ const first = list.findIndex((e) => e.what === d.what);
335
+ return `${at}: the "${d.what}" deadline has two entries (deadlines[${String(first)}] and deadlines[${String(second)}]) — one entry per deadline: put every reading of it in that entry's "observed" list`;
336
+ }
337
+
338
+ /** A cycle's `deadlines` value → the list, or one line naming the place and the cure. Pure. */
339
+ export function parseDeadlines(
340
+ v: unknown,
341
+ at: string,
342
+ ): Result<readonly Deadline[], string> {
343
+ if (v === undefined) return ok([]);
344
+ if (!Array.isArray(v)) return err(`${at}: "deadlines" must be a list`);
345
+ const list = eachOf(v, `${at}.deadlines`, parseDeadline);
346
+ if (!list.ok) return list;
347
+ const twice = twoEntries(list.value, at);
348
+ return twice === null ? list : err(twice);
349
+ }
350
+
351
+ // ── deriving ───────────────────────────────────────────────────────────────────────────
352
+
353
+ /** The earliest of the readings; the first of equals. */
354
+ const earliest = (readings: readonly Observation[]): Observation | undefined =>
355
+ readings.reduce<Observation | undefined>(
356
+ (best, o) => (best === undefined || o.at < best.at ? o : best),
357
+ undefined,
358
+ );
359
+
360
+ const withoutWhat = ({ at, source, url, read }: Reading): Observation => ({
361
+ at,
362
+ source,
363
+ url,
364
+ read,
365
+ });
366
+
367
+ /** One kind in force from the preset's readings and the paper's entry; null when neither says anything. */
368
+ function oneInForce(
369
+ what: DeadlineWhat,
370
+ own: Deadline | undefined,
371
+ preset: readonly Reading[],
372
+ ): InForce | null {
373
+ const readings = [
374
+ ...preset.filter((r) => r.what === what).map(withoutWhat),
375
+ ...(own?.observed ?? []),
376
+ ];
377
+ const override = own?.override ?? null;
378
+ if (override !== null)
379
+ return {
380
+ what,
381
+ at: override.at,
382
+ by: { kind: "override", override },
383
+ readings,
384
+ };
385
+ const first = earliest(readings);
386
+ return first === undefined
387
+ ? null
388
+ : { what, at: first.at, by: { kind: "reading", reading: first }, readings };
389
+ }
390
+
391
+ /**
392
+ * Every deadline in force for an attempt: the paper's own entries over the venue preset's readings
393
+ * (empty for a venue without a preset). The override, else the earliest reading. Pure.
394
+ */
395
+ export function deadlinesInForce(
396
+ own: readonly Deadline[],
397
+ preset: readonly Reading[],
398
+ ): readonly InForce[] {
399
+ return DEADLINE_WHATS.flatMap((what) => {
400
+ const d = oneInForce(
401
+ what,
402
+ own.find((x) => x.what === what),
403
+ preset,
404
+ );
405
+ return d === null ? [] : [d];
406
+ });
407
+ }
408
+
409
+ /** One instant per kind, the earliest a layer holds for it, in the order of the kinds. */
410
+ type Layer = readonly { readonly what: DeadlineWhat; readonly at: Instant }[];
411
+
412
+ const layerOf = (entries: Layer): Layer =>
413
+ DEADLINE_WHATS.flatMap((what) => {
414
+ const ats = entries.filter((e) => e.what === what).map((e) => e.at);
415
+ const first = ats.toSorted()[0];
416
+ return first === undefined ? [] : [{ what, at: first }];
417
+ });
418
+
419
+ /** The pairs of a layer out of the order registration ≤ submission ≤ resubmission < notification < camera-ready. */
420
+ const inversions = (
421
+ layer: Layer,
422
+ says: (what: DeadlineWhat, at: Instant, later: boolean) => string,
423
+ ): readonly string[] =>
424
+ layer.flatMap((d, i) => {
425
+ const before = layer[i - 1];
426
+ return before !== undefined && before.at > d.at
427
+ ? [
428
+ `${says(before.what, before.at, false)} is after ${says(d.what, d.at, true)}`,
429
+ ]
430
+ : [];
431
+ });
432
+
433
+ const readingsOf = (
434
+ own: readonly Deadline[],
435
+ preset: readonly Reading[],
436
+ source: DeadlineSource,
437
+ ): Layer => [
438
+ ...preset.filter((r) => r.source === source),
439
+ ...own.flatMap((d) =>
440
+ d.observed
441
+ .filter((o) => o.source === source)
442
+ .map((o) => ({ what: d.what, at: o.at })),
443
+ ),
444
+ ];
445
+
446
+ /**
447
+ * The deadlines out of order WITHIN one source — the portal's readings, the call's, the overrides —
448
+ * the shape a date typed wrong or an AoE day miscounted takes. Across sources a disagreement is what
449
+ * the record holds, and the earlier binds; it is not a problem. Pure.
450
+ */
451
+ export function deadlineOrderProblems(
452
+ own: readonly Deadline[],
453
+ preset: readonly Reading[],
454
+ ): readonly string[] {
455
+ const overrides = own.flatMap((d) =>
456
+ d.override === null ? [] : [{ what: d.what, at: d.override.at }],
457
+ );
458
+ return [
459
+ ...inversions(
460
+ layerOf(readingsOf(own, preset, "portal")),
461
+ (w, at, later) => `${later ? "its" : "the portal's"} "${w}" (${at})`,
462
+ ),
463
+ ...inversions(
464
+ layerOf(readingsOf(own, preset, "call")),
465
+ (w, at, later) => `${later ? "its" : "the call's"} "${w}" (${at})`,
466
+ ),
467
+ ...inversions(
468
+ layerOf(overrides),
469
+ (w, at) => `the override of "${w}" (${at})`,
470
+ ),
471
+ ];
472
+ }
@@ -60,6 +60,7 @@ describe("paperlint new — paperlint.json", () => {
60
60
  identity: null,
61
61
  talk: null,
62
62
  submission: null,
63
+ cycles: null,
63
64
  },
64
65
  });
65
66
  });
@@ -33,6 +33,7 @@ describe("parsePaperSettings", () => {
33
33
  identity: null,
34
34
  talk: null,
35
35
  submission: null,
36
+ cycles: null,
36
37
  },
37
38
  });
38
39
  expect(parsePaperSettings({})).toEqual({
@@ -45,6 +46,7 @@ describe("parsePaperSettings", () => {
45
46
  identity: null,
46
47
  talk: null,
47
48
  submission: null,
49
+ cycles: null,
48
50
  },
49
51
  });
50
52
  });
@@ -60,6 +62,7 @@ describe("parsePaperSettings", () => {
60
62
  identity: null,
61
63
  talk: null,
62
64
  submission: null,
65
+ cycles: null,
63
66
  },
64
67
  });
65
68
  });
@@ -164,6 +167,7 @@ const UNSET = {
164
167
  identity: null,
165
168
  talk: null,
166
169
  submission: null,
170
+ cycles: null,
167
171
  };
168
172
 
169
173
  describe("readPaperSettings — the root paperlint.json's defaults, the paper's file over them", () => {
@@ -220,8 +224,14 @@ describe("readPaperSettings — the root paperlint.json's defaults, the paper's
220
224
  identity: null,
221
225
  talk: null,
222
226
  submission: null,
227
+ cycles: null,
223
228
  });
224
229
  });
230
+ });
231
+
232
+ describe("readPaperSettings — a project key in a paper's file", () => {
233
+ const withFiles = (f: Record<string, string>) =>
234
+ memoryFiles({ "/work/package.json": "{}", ...f });
225
235
 
226
236
  it("papersDir in a paper's file: broken, naming the root file as its place", () => {
227
237
  const r = readPaperSettings(
@@ -264,6 +274,7 @@ describe("paperRules — `rules` in paperlint.json", () => {
264
274
  identity: null,
265
275
  talk: null,
266
276
  submission: null,
277
+ cycles: null,
267
278
  });
268
279
 
269
280
  it("no rules: none", () => {
@@ -352,3 +363,159 @@ describe("talk in a paper's paperlint.json", () => {
352
363
  expect(r.ok ? "" : r.error).toMatch(/"talk.mode"/);
353
364
  });
354
365
  });
366
+
367
+ describe("parsePaperSettings — `cycles`: the current attempt supplies extends, kind and submission", () => {
368
+ const closed = {
369
+ id: "alpha-2026",
370
+ venue: { kind: "preset", extends: "paperlint:acm-sigconf" },
371
+ kind: "short",
372
+ opened: "2026-07-01",
373
+ outcome: {
374
+ kind: "rejected",
375
+ date: "2026-09-08",
376
+ desk: true,
377
+ evidence: "reviews/alpha.md",
378
+ },
379
+ };
380
+ const open = {
381
+ id: "beta-2027",
382
+ venue: { kind: "preset", extends: "paperlint:ieee-conference" },
383
+ kind: "technical",
384
+ opened: "2026-09-09",
385
+ submission: { id: 52 },
386
+ outcome: { kind: "open" },
387
+ };
388
+ const settingsOf = (json: unknown) => {
389
+ const r = parsePaperSettings(json);
390
+ if (!r.ok) throw new Error(r.error);
391
+ return r.value;
392
+ };
393
+
394
+ it("an open cycle: its venue, kind and submission are the paper's", () => {
395
+ const s = settingsOf({ cycles: [closed, open] });
396
+ expect(s.extends).toBe("paperlint:ieee-conference");
397
+ expect(s.kind).toBe("technical");
398
+ expect(s.submission).toEqual({ id: 52 });
399
+ expect(s.cycles?.current.kind).toBe("cycle");
400
+ expect(s.cycles?.list.map((c) => c.id)).toEqual([
401
+ "alpha-2026",
402
+ "beta-2027",
403
+ ]);
404
+ });
405
+
406
+ it("parked (the last cycle closed) and none (`cycles: []`): no venue, as `extends: null` reads", () => {
407
+ const parked = settingsOf({ cycles: [closed] });
408
+ expect([parked.extends, parked.kind, parked.submission]).toEqual([
409
+ null,
410
+ null,
411
+ null,
412
+ ]);
413
+ expect(parked.cycles?.current.kind).toBe("parked");
414
+ expect(settingsOf({ cycles: [] }).cycles?.current).toEqual({
415
+ kind: "none",
416
+ });
417
+ });
418
+ });
419
+
420
+ describe("parsePaperSettings — `cycles`, closed and named", () => {
421
+ const closed = {
422
+ id: "alpha-2026",
423
+ venue: { kind: "preset", extends: "paperlint:acm-sigconf" },
424
+ kind: "short",
425
+ opened: "2026-07-01",
426
+ outcome: { kind: "withdrawn", date: "2026-09-08", evidence: "n.md" },
427
+ };
428
+ const open = {
429
+ id: "beta-2027",
430
+ venue: { kind: "preset", extends: "paperlint:ieee-conference" },
431
+ kind: "technical",
432
+ opened: "2026-09-09",
433
+ };
434
+ const settingsOf = (json: unknown) => {
435
+ const r = parsePaperSettings(json);
436
+ if (!r.ok) throw new Error(r.error);
437
+ return r.value;
438
+ };
439
+
440
+ it("an accepted last cycle keeps its venue and kind: camera-ready and talk are judged against it", () => {
441
+ const accepted = { kind: "accepted", date: "2026-08-21", evidence: "r.md" };
442
+ const s = settingsOf({ cycles: [{ ...closed, outcome: accepted }] });
443
+ expect([s.extends, s.kind, s.cycles?.current.kind]).toEqual([
444
+ "paperlint:acm-sigconf",
445
+ "short",
446
+ "accepted",
447
+ ]);
448
+ });
449
+
450
+ it("a named venue (no preset yet) resolves no preset: extends is null, the record stays", () => {
451
+ const venue = {
452
+ kind: "named",
453
+ name: "X '27",
454
+ url: "https://example.org/c",
455
+ };
456
+ const s = settingsOf({ cycles: [{ ...open, venue }] });
457
+ expect([s.extends, s.kind]).toEqual([null, "technical"]);
458
+ });
459
+ });
460
+
461
+ describe("parsePaperSettings — `cycles` refused", () => {
462
+ const open = {
463
+ id: "beta-2027",
464
+ venue: { kind: "preset", extends: "paperlint:ieee-conference" },
465
+ opened: "2026-09-09",
466
+ };
467
+ const alsoOpen = {
468
+ id: "alpha-2026",
469
+ venue: { kind: "preset", extends: "paperlint:acm-sigconf" },
470
+ opened: "2026-07-01",
471
+ };
472
+
473
+ it("one derived key beside `cycles` is refused in the singular", () => {
474
+ const error: unknown = expect.stringMatching(
475
+ /^"kind" beside "cycles": with cycles, it is the current attempt's/,
476
+ );
477
+ expect(parsePaperSettings({ kind: "short", cycles: [open] })).toEqual({
478
+ ok: false,
479
+ error,
480
+ });
481
+ });
482
+
483
+ it("a derived key written beside `cycles` is refused, naming it — two sources for one fact", () => {
484
+ const error: unknown = expect.stringMatching(
485
+ /^"extends", "kind" beside "cycles": with cycles, they are the current attempt's/,
486
+ );
487
+ expect(
488
+ parsePaperSettings({
489
+ extends: "paperlint:acm-sigconf",
490
+ kind: "short",
491
+ cycles: [open],
492
+ }),
493
+ ).toEqual({ ok: false, error });
494
+ });
495
+
496
+ it("two open cycles is refused as the file's problem: dual submission has no current venue", () => {
497
+ const error: unknown = expect.stringMatching(
498
+ /are both open — a paper is on one attempt/,
499
+ );
500
+ expect(parsePaperSettings({ cycles: [alsoOpen, open] })).toEqual({
501
+ ok: false,
502
+ error,
503
+ });
504
+ });
505
+
506
+ it("a malformed cycle is refused with the entry and key, through readPaperSettings as `broken`", () => {
507
+ const files = memoryFiles({
508
+ "/work/package.json": "{}",
509
+ [`${PAPER}/paperlint.json`]: JSON.stringify({
510
+ cycles: [{ ...open, opened: "soon" }],
511
+ }),
512
+ });
513
+ const why: unknown = expect.stringMatching(
514
+ /^cycles\[0\]: "opened" must be a date/,
515
+ );
516
+ expect(readPaperSettings(files, PAPER)).toEqual({
517
+ ok: false,
518
+ error: { kind: "broken", why },
519
+ });
520
+ });
521
+ });