paperlint 7.1.0 → 8.0.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 (261) 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/build.d.ts.map +1 -1
  17. package/dist/build.js +1 -6
  18. package/dist/build.js.map +1 -1
  19. package/dist/cli.d.ts +3 -4
  20. package/dist/cli.d.ts.map +1 -1
  21. package/dist/cli.js +53 -47
  22. package/dist/cli.js.map +1 -1
  23. package/dist/cycle-rules.d.ts +24 -0
  24. package/dist/cycle-rules.d.ts.map +1 -0
  25. package/dist/cycle-rules.js +212 -0
  26. package/dist/cycle-rules.js.map +1 -0
  27. package/dist/domain/cycle.d.ts +148 -0
  28. package/dist/domain/cycle.d.ts.map +1 -0
  29. package/dist/domain/cycle.js +281 -0
  30. package/dist/domain/cycle.js.map +1 -0
  31. package/dist/domain/deadline.d.ts +128 -0
  32. package/dist/domain/deadline.d.ts.map +1 -0
  33. package/dist/domain/deadline.js +281 -0
  34. package/dist/domain/deadline.js.map +1 -0
  35. package/dist/eslint-rules/cycle-stage.d.ts +39 -0
  36. package/dist/eslint-rules/cycle-stage.d.ts.map +1 -0
  37. package/dist/eslint-rules/cycle-stage.js +119 -0
  38. package/dist/eslint-rules/cycle-stage.js.map +1 -0
  39. package/dist/eslint-rules/latex-language.d.ts.map +1 -1
  40. package/dist/eslint-rules/latex-language.js +10 -13
  41. package/dist/eslint-rules/latex-language.js.map +1 -1
  42. package/dist/eslint-rules/paper-context.js +2 -2
  43. package/dist/eslint-rules/paper-typography.d.ts.map +1 -1
  44. package/dist/eslint-rules/paper-typography.js +22 -91
  45. package/dist/eslint-rules/paper-typography.js.map +1 -1
  46. package/dist/eslint-rules/papers.d.ts +1 -3
  47. package/dist/eslint-rules/papers.d.ts.map +1 -1
  48. package/dist/eslint-rules/papers.js +2 -4
  49. package/dist/eslint-rules/papers.js.map +1 -1
  50. package/dist/eslint-rules/tex-build.d.ts.map +1 -1
  51. package/dist/eslint-rules/tex-build.js +8 -25
  52. package/dist/eslint-rules/tex-build.js.map +1 -1
  53. package/dist/init.d.ts +1 -4
  54. package/dist/init.d.ts.map +1 -1
  55. package/dist/init.js +3 -9
  56. package/dist/init.js.map +1 -1
  57. package/dist/lib/markdown.d.ts +5 -81
  58. package/dist/lib/markdown.d.ts.map +1 -1
  59. package/dist/lib/markdown.js +5 -116
  60. package/dist/lib/markdown.js.map +1 -1
  61. package/dist/lib/paper-config.d.ts.map +1 -1
  62. package/dist/lib/paper-config.js +2 -2
  63. package/dist/lib/paper-config.js.map +1 -1
  64. package/dist/lib/skill-eval-fixture.d.ts +6 -4
  65. package/dist/lib/skill-eval-fixture.d.ts.map +1 -1
  66. package/dist/lib/skill-eval-fixture.js +25 -18
  67. package/dist/lib/skill-eval-fixture.js.map +1 -1
  68. package/dist/new-paper.d.ts +5 -11
  69. package/dist/new-paper.d.ts.map +1 -1
  70. package/dist/new-paper.js +12 -23
  71. package/dist/new-paper.js.map +1 -1
  72. package/dist/paper-files.d.ts +4 -4
  73. package/dist/paper-prose.d.ts +17 -0
  74. package/dist/paper-prose.d.ts.map +1 -0
  75. package/dist/paper-prose.js +46 -0
  76. package/dist/paper-prose.js.map +1 -0
  77. package/dist/paper-settings.d.ts +7 -0
  78. package/dist/paper-settings.d.ts.map +1 -1
  79. package/dist/paper-settings.js +61 -8
  80. package/dist/paper-settings.js.map +1 -1
  81. package/dist/ports/venue-deadlines.d.ts +14 -0
  82. package/dist/ports/venue-deadlines.d.ts.map +1 -0
  83. package/dist/ports/venue-deadlines.js +2 -0
  84. package/dist/ports/venue-deadlines.js.map +1 -0
  85. package/dist/presets.d.ts +12 -0
  86. package/dist/presets.d.ts.map +1 -1
  87. package/dist/presets.js +19 -11
  88. package/dist/presets.js.map +1 -1
  89. package/dist/structure.d.ts.map +1 -1
  90. package/dist/structure.js +4 -3
  91. package/dist/structure.js.map +1 -1
  92. package/dist/submission.d.ts +8 -0
  93. package/dist/submission.d.ts.map +1 -1
  94. package/dist/submission.js +41 -10
  95. package/dist/submission.js.map +1 -1
  96. package/dist/tex-requirements.d.ts +3 -0
  97. package/dist/tex-requirements.d.ts.map +1 -1
  98. package/dist/tex-requirements.js +19 -0
  99. package/dist/tex-requirements.js.map +1 -1
  100. package/dist/tex-venue-rules.d.ts +19 -0
  101. package/dist/tex-venue-rules.d.ts.map +1 -1
  102. package/dist/tex-venue-rules.js +69 -0
  103. package/dist/tex-venue-rules.js.map +1 -1
  104. package/dist/types.d.ts +0 -2
  105. package/dist/types.d.ts.map +1 -1
  106. package/dist/venue-rules.d.ts +10 -0
  107. package/dist/venue-rules.d.ts.map +1 -1
  108. package/dist/venue-rules.js +26 -10
  109. package/dist/venue-rules.js.map +1 -1
  110. package/docs/configuration.md +146 -20
  111. package/docs/e2e.md +4 -6
  112. package/docs/prior-art/paper-folder-scaffolding.md +24 -29
  113. package/docs/rules/cycle/evidence.md +87 -0
  114. package/docs/rules/cycle/port-done.md +75 -0
  115. package/docs/rules/cycle/record.md +152 -0
  116. package/docs/rules/cycle/stage.md +85 -0
  117. package/docs/rules/tex/claim-provenance.md +0 -1
  118. package/docs/rules.md +48 -47
  119. package/docs/submission.md +5 -0
  120. package/eslint-rules/cycle-stage.test.mjs +131 -0
  121. package/eslint-rules/cycle-stage.ts +141 -0
  122. package/eslint-rules/latex-language.harness.mjs +3 -3
  123. package/eslint-rules/latex-language.ts +10 -13
  124. package/eslint-rules/paper-context.ts +2 -2
  125. package/eslint-rules/paper-typography.test.mjs +17 -85
  126. package/eslint-rules/paper-typography.ts +22 -98
  127. package/eslint-rules/papers.harness.mjs +1 -1
  128. package/eslint-rules/papers.ts +2 -4
  129. package/eslint-rules/tex-build.harness.mjs +2 -2
  130. package/eslint-rules/tex-build.ts +8 -25
  131. package/eslint.config.mjs +41 -2
  132. package/hooks/hooks.harness.ts +15 -15
  133. package/hooks/paper-edit-guard.hook.mjs +5 -8
  134. package/hooks/paper-edit-guard.test.ts +12 -3
  135. package/hooks/paper-skills-nudge.hook.mjs +2 -3
  136. package/hooks/paper-skills-nudge.test.ts +13 -3
  137. package/hooks/paper-status-gates.hook.mjs +2 -2
  138. package/hooks/paper-status-gates.test.ts +14 -2
  139. package/lib/markdown.test.mjs +5 -60
  140. package/lib/markdown.ts +9 -136
  141. package/lib/paper-config.ts +3 -2
  142. package/lib/skill-checks.test.mjs +4 -1
  143. package/lib/skill-eval-fixture.ts +25 -18
  144. package/package.json +1 -3
  145. package/presets/aidc.jsonc +24 -3
  146. package/presets/aidc.md +6 -3
  147. package/presets/msr.jsonc +25 -1
  148. package/presets/msr.md +5 -1
  149. package/presets/realm.jsonc +1 -1
  150. package/presets/venue-profile.schema.json +39 -0
  151. package/scripts/check.ts +4 -0
  152. package/scripts/harness-api.frozen.json +0 -5
  153. package/scripts/refresh-deadlines.test.ts +431 -0
  154. package/scripts/refresh-deadlines.ts +387 -0
  155. package/skills/cold-read-diff/SKILL.md +3 -3
  156. package/skills/cold-read-diff/SKILL.md.spec.ts +2 -2
  157. package/skills/grade-paper-writing/SKILL.md +14 -22
  158. package/skills/grade-paper-writing/SKILL.md.spec.ts +13 -21
  159. package/skills/grade-paper-writing/__snapshots__/prose-lint.test.ts.snap +40 -26
  160. package/skills/grade-paper-writing/prose-lint.mjs +108 -278
  161. package/skills/grade-paper-writing/prose-lint.test.ts +184 -81
  162. package/skills/paper-adversarial-review/SKILL.md +2 -2
  163. package/skills/paper-adversarial-review/SKILL.md.spec.ts +1 -1
  164. package/skills/paper-pipeline/SKILL.md +9 -12
  165. package/skills/paper-pipeline/SKILL.md.spec.ts +8 -11
  166. package/skills/paper-pipeline/description-language.eval.mjs +25 -15
  167. package/skills/paper-pipeline/framing-vs-vocabulary.eval.mjs +25 -15
  168. package/skills/paper-pipeline/grade-paper-writing-ablation.eval.mjs +25 -15
  169. package/skills/paper-pipeline/pipeline-firing.eval.mjs +27 -16
  170. package/skills/paper-pipeline/pipeline-language.eval.mjs +25 -15
  171. package/skills/paper-pipeline/references/acceptance-gate.md +16 -20
  172. package/skills/paper-pipeline/references/artifact-checklist.md +4 -5
  173. package/skills/paper-pipeline/references/pipeline-status-template.md +1 -1
  174. package/skills/paper-pipeline/scripts/README.md +0 -4
  175. package/skills/paper-pipeline/scripts/extract-ref-facts.harness.mjs +8 -72
  176. package/skills/paper-pipeline/scripts/extract-ref-facts.mjs +48 -156
  177. package/skills/paper-pipeline/scripts/extract-ref-facts.test.mjs +81 -75
  178. package/skills/paper-pipeline/scripts/generated-code.harness.mjs +3 -3
  179. package/skills/paper-status/SKILL.md +2 -2
  180. package/skills/paper-status/SKILL.md.spec.ts +1 -1
  181. package/skills/render-paper/SKILL.md +2 -2
  182. package/skills/render-paper/SKILL.md.spec.ts +1 -1
  183. package/skills/render-paper/extract-pdf-facts.mjs +2 -2
  184. package/skills/tighten-paper/SKILL.md +29 -42
  185. package/skills/tighten-paper/SKILL.md.spec.ts +28 -41
  186. package/skills/verify-citations/scripts/bib-authors.check.test.mjs +0 -13
  187. package/skills/verify-citations/scripts/bib-authors.cli.test.ts +23 -11
  188. package/skills/verify-citations/scripts/bib-authors.mjs +8 -93
  189. package/skills/verify-citations/scripts/bib-authors.test.mjs +1 -44
  190. package/src/adapters/hotcrp/cassette/README.md +22 -0
  191. package/src/adapters/hotcrp/cassette/deadlines-aidc26.html +17 -0
  192. package/src/adapters/hotcrp/cassette/deadlines-fse2027.html +24 -0
  193. package/src/adapters/hotcrp/cassette/deadlines-icse2027.html +25 -0
  194. package/src/adapters/hotcrp/cassette/deadlines-msr2027.html +25 -0
  195. package/src/adapters/hotcrp/cassette/deadlines-nosuch.html +18 -0
  196. package/src/adapters/hotcrp/cassette/deadlines-sosp26.html +26 -0
  197. package/src/adapters/hotcrp/deadlines.io.test.ts +86 -0
  198. package/src/adapters/hotcrp/deadlines.io.ts +27 -0
  199. package/src/adapters/hotcrp/deadlines.test.ts +170 -0
  200. package/src/adapters/hotcrp/deadlines.ts +161 -0
  201. package/src/adapters/hotcrp/index.ts +2 -0
  202. package/src/build.harness.mjs +2 -2
  203. package/src/build.test.ts +1 -1
  204. package/src/build.ts +1 -6
  205. package/src/cli.harness.mjs +26 -46
  206. package/src/cli.test.ts +41 -40
  207. package/src/cli.ts +57 -58
  208. package/src/cycle-rules.test.ts +278 -0
  209. package/src/cycle-rules.ts +273 -0
  210. package/src/domain/cycle.test.ts +456 -0
  211. package/src/domain/cycle.ts +432 -0
  212. package/src/domain/deadline.test.ts +386 -0
  213. package/src/domain/deadline.ts +472 -0
  214. package/src/folder-venue-rule.test.ts +1 -1
  215. package/src/init.test.ts +6 -7
  216. package/src/init.ts +3 -22
  217. package/src/lint-fix.test.ts +10 -4
  218. package/src/new-paper.harness.mjs +9 -28
  219. package/src/new-paper.test.ts +7 -6
  220. package/src/new-paper.ts +11 -30
  221. package/src/paper-files.test.ts +5 -4
  222. package/src/paper-files.ts +4 -4
  223. package/src/paper-prose.test.ts +49 -0
  224. package/src/paper-prose.ts +67 -0
  225. package/src/paper-settings.test.ts +167 -0
  226. package/src/paper-settings.ts +85 -11
  227. package/src/parse-args.test.ts +0 -1
  228. package/src/ports/venue-deadlines.ts +14 -0
  229. package/src/presets.test.ts +105 -0
  230. package/src/presets.ts +43 -10
  231. package/src/rule-cases.test.ts +144 -0
  232. package/src/structure.harness.ts +5 -11
  233. package/src/structure.ts +4 -3
  234. package/src/submission.test.ts +105 -1
  235. package/src/submission.ts +73 -12
  236. package/src/tex-requirements.ts +31 -0
  237. package/src/tex-venue-rules.test.ts +76 -0
  238. package/src/tex-venue-rules.ts +85 -0
  239. package/src/types.ts +0 -2
  240. package/src/venue-rules.test.ts +82 -0
  241. package/src/venue-rules.ts +44 -12
  242. package/fixtures/real-markdown-paper/baseline.json +0 -22
  243. package/fixtures/real-markdown-paper/baseline.ts +0 -70
  244. package/skills/paper-pipeline/PIPELINE-MAP.md +0 -381
  245. package/skills/paper-pipeline/pipeline-firing.baseline.json +0 -270
  246. package/skills/paper-pipeline/references/sweep-2026-08-09-ideal-pipeline.md +0 -585
  247. package/skills/paper-pipeline/scripts/artifact-coverage.harness.mjs +0 -492
  248. package/skills/paper-pipeline/scripts/artifact-coverage.mjs +0 -397
  249. package/skills/paper-pipeline/scripts/artifact-coverage.test.ts +0 -86
  250. package/skills/paper-pipeline/scripts/check-provenance.mjs +0 -184
  251. package/skills/paper-pipeline/scripts/population-map.harness.mjs +0 -135
  252. package/skills/paper-pipeline/scripts/population-map.mjs +0 -188
  253. package/skills/paper-pipeline/scripts/population-map.test.mjs +0 -154
  254. package/skills/paper-pipeline/scripts/provenance.harness.mjs +0 -266
  255. package/skills/paper-pipeline/scripts/round-diff.harness.ts +0 -907
  256. package/skills/paper-pipeline/scripts/round-diff.mjs +0 -583
  257. package/skills/paper-pipeline/scripts/round-diff.test.mjs +0 -159
  258. package/skills/tighten-paper/__snapshots__/structure.test.ts.snap +0 -133
  259. package/skills/tighten-paper/structure.mjs +0 -364
  260. package/skills/tighten-paper/structure.test.ts +0 -117
  261. package/templates/paper/paper.md +0 -4
@@ -0,0 +1 @@
1
+ {"version":3,"file":"cycle.js","sourceRoot":"","sources":["../../src/domain/cycle.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AACH,OAAO,EAAE,GAAG,EAAE,EAAE,EAAe,MAAM,aAAa,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,EACL,SAAS,EACT,cAAc,EACd,UAAU,GAGX,MAAM,eAAe,CAAC;AA2BvB,MAAM,CAAC,MAAM,aAAa,GAA+B;IACvD,MAAM;IACN,UAAU;IACV,UAAU;IACV,WAAW;CACZ,CAAC;AAqCF,0FAA0F;AAE1F,MAAM,UAAU,GAAsB;IACpC,IAAI;IACJ,OAAO;IACP,MAAM;IACN,QAAQ;IACR,OAAO;IACP,WAAW;IACX,YAAY;IACZ,SAAS;CACV,CAAC;AAEF,MAAM,KAAK,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,UAAU,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC;AAE5D,MAAM,QAAQ,GAAG,CAAC,CAAU,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,EAAE,CAAC;AAEhF,MAAM,UAAU,GAAG;IACjB,MAAM,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC;CACtB,CAAC;AAEX,4DAA4D;AAC5D,SAAS,WAAW,CAClB,IAAwB,EACxB,CAAoC;IAEpC,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACtC,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACvD,KAAK,OAAO;YACV,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IACxE,CAAC;AACH,CAAC;AAED,gGAAgG;AAChG,SAAS,UAAU,CACjB,CAAoC,EACpC,EAAU;IAEV,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;IACvB,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACvD,MAAM,OAAO,GAAG,UAAU,CACxB,CAAC,EACD,UAAU,CAAC,IAAI,CAAC,EAChB,GAAG,EAAE,QAAQ,EACb,KAAK,IAAI,UAAU,CACpB,CAAC;IACF,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,GAAG,CAAC,OAAO,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACnC,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,UAAU,CAAC,CAAU,EAAE,EAAU;IACxC,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACtD,OAAO,CACL,MAAM;QACN,GAAG,CACD,GAAG,EAAE,kGAAkG,CACxG,CACF,CAAC;AACJ,CAAC;AAED,MAAM,aAAa,GAAG,CAAC,CAAU,EAAwB,EAAE,CACzD,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;AAErC,wFAAwF;AACxF,MAAM,UAAU,GAAG,CACjB,IAAsC,EACtC,OAA8D,EAC9D,IAAa,EACb,EAAU,EACe,EAAE;IAC3B,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,UAAU;YACb,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;QAClC,KAAK,WAAW;YACd,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;QAClC,KAAK,UAAU;YACb,OAAO,OAAO,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS;gBACpD,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,OAAO,EAAE,IAAI,EAAE,IAAI,KAAK,IAAI,EAAE,CAAC;gBAC/C,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,wCAAwC,CAAC,CAAC;IAC3D,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,YAAY,GAAyD;IACzE,IAAI,EAAE,CAAC,MAAM,CAAC;IACd,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,CAAC;IACtC,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC;IAC9C,SAAS,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,CAAC;CACxC,CAAC;AAEF,SAAS,YAAY,CAAC,CAAU,EAAE,EAAU;IAC1C,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IAChC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;QACtC,OAAO,GAAG,CACR,GAAG,EAAE,mCAAmC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAChG,CAAC;IACJ,MAAM,OAAO,GAAG,UAAU,CACxB,CAAC,EACD,YAAY,CAAC,IAAI,CAAC,EAClB,GAAG,EAAE,UAAU,EACf,GAAG,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,YAAY,CAC3E,CAAC;IACF,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,GAAG,CAAC,OAAO,CAAC,CAAC;IAC1C,IAAI,IAAI,KAAK,MAAM;QAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;IACzC,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;IACvB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;QAClB,OAAO,GAAG,CAAC,GAAG,EAAE,uBAAuB,IAAI,4BAA4B,CAAC,CAAC;IAC3E,MAAM,QAAQ,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC;IAC/B,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,QAAQ,KAAK,EAAE;QACjD,OAAO,GAAG,CACR,GAAG,EAAE,uBAAuB,IAAI,sHAAsH,CACvJ,CAAC;IACJ,OAAO,UAAU,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;AAC7D,CAAC;AAED,SAAS,eAAe,CACtB,CAAU,EACV,EAAU;IAEV,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC;IACnD,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC;QACzB,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,aAAa,EAAE,gBAAgB,CAAC;QAC7D,CAAC,CAAC,IAAI,CAAC;IACT,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,GAAG,CAAC,OAAO,CAAC,CAAC;IAC1C,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAC5B,OAAO,OAAO,EAAE,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC;QAC7D,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC;QACZ,CAAC,CAAC,GAAG,CACD,GAAG,EAAE,gFAAgF,CACtF,CAAC;AACR,CAAC;AAKD,MAAM,OAAO,GAAG,CAAC,CAAU,EAAc,EAAE,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,UAAU,CAAC;AAEhF,6FAA6F;AAC7F,MAAM,MAAM,GAAG,CAAC,CAAU,EAAiC,EAAE,CAC3D,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,IAAI;IAC3B,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC;IACV,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ;QACrB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACP,CAAC,CAAC,GAAG,CAAC,iCAAiC,CAAC,CAAC;AAE/C,SAAS,SAAS,CAChB,CAAoC,EACpC,EAAU;IAEV,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACnB,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,KAAK,EAAE;QACrC,OAAO,GAAG,CAAC,GAAG,EAAE,0DAA0D,CAAC,CAAC;IAC9E,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;IACzC,IAAI,CAAC,KAAK,CAAC,EAAE;QAAE,OAAO,KAAK,CAAC;IAC5B,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/B,IAAI,CAAC,IAAI,CAAC,EAAE;QAAE,OAAO,GAAG,CAAC,GAAG,EAAE,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;IACjD,MAAM,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC;IAC3B,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC;QACpB,OAAO,GAAG,CACR,GAAG,EAAE,yEAAyE,CAC/E,CAAC;IACJ,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,UAAU,CAAC;IACvC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;QACjB,OAAO,GAAG,CAAC,GAAG,EAAE,2CAA2C,CAAC,CAAC;IAC/D,OAAO,EAAE,CAAC;QACR,EAAE;QACF,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,IAAI,EAAE,IAAI,CAAC,KAAK;QAChB,MAAM;QACN,KAAK;KACN,CAAC,CAAC;AACL,CAAC;AAKD,SAAS,SAAS,CAChB,CAAoC,EACpC,EAAU;IAEV,MAAM,SAAS,GAAG,cAAc,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC;IACrD,IAAI,CAAC,SAAS,CAAC,EAAE;QAAE,OAAO,SAAS,CAAC;IACpC,MAAM,UAAU,GAAG,eAAe,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,CAAC;IACxD,IAAI,CAAC,UAAU,CAAC,EAAE;QAAE,OAAO,UAAU,CAAC;IACtC,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;IACnE,IAAI,CAAC,OAAO,CAAC,EAAE;QAAE,OAAO,OAAO,CAAC;IAChC,OAAO,EAAE,CAAC;QACR,SAAS,EAAE,SAAS,CAAC,KAAK;QAC1B,UAAU,EAAE,UAAU,CAAC,KAAK;QAC5B,OAAO,EAAE,OAAO,CAAC,KAAK;KACvB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,UAAU,CAAC,CAAU,EAAE,CAAS;IACvC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACpB,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,GAAG,CAAC,GAAG,EAAE,oBAAoB,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IACpE,IAAI,OAAO,KAAK,SAAS;QACvB,OAAO,GAAG,CACR,GAAG,EAAE,kBAAkB,OAAO,mBAAmB,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACzE,CAAC;IACJ,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC9B,IAAI,CAAC,IAAI,CAAC,EAAE;QAAE,OAAO,IAAI,CAAC;IAC1B,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC9B,OAAO,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/D,CAAC;AAED,qGAAqG;AACrG,MAAM,UAAU,WAAW,CACzB,CAAU;IAEV,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QACnB,OAAO,GAAG,CACR,sFAAsF,CACvF,CAAC;IACJ,OAAO,CAAC,CAAC,MAAM,CAAmC,CAAC,GAAG,EAAE,CAAU,EAAE,CAAC,EAAE,EAAE;QACvE,IAAI,CAAC,GAAG,CAAC,EAAE;YAAE,OAAO,GAAG,CAAC;QACxB,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3B,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACb,CAAC;AAED,0FAA0F;AAE1F,MAAM,MAAM,GAAG,CAAC,CAAQ,EAAW,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC;AAEhE;;;GAGG;AACH,MAAM,UAAU,YAAY,CAC1B,MAAwB;IAExB,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CACrB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CACvD,CAAC;IACF,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,GAAG,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;IACxE,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACnC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QACjB,OAAO,GAAG,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAC/D,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3B,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IACpD,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IACpB,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,IAAI;QACrC,OAAO,GAAG,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;IACrD,IAAI,MAAM,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5D,OAAO,EAAE,CACP,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,UAAU;QAC9B,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE;QACnC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAC7B,CAAC;AACJ,CAAC;AAED,2DAA2D;AAC3D,MAAM,UAAU,gBAAgB,CAAC,CAAe;IAC9C,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,UAAU;YACb,OAAO,UAAU,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,sNAAsN,CAAC;QACpR,KAAK,eAAe;YAClB,OAAO,UAAU,CAAC,CAAC,EAAE,+GAA+G,CAAC;QACvI,KAAK,cAAc;YACjB,OAAO,4BAA4B,CAAC,CAAC,EAAE,0EAA0E,CAAC;IACtH,CAAC;AACH,CAAC;AAQD,2EAA2E;AAC3E,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,IAAsB,EACQ,EAAE;IAChC,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACnC,OAAO,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;AACrE,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAU,EAAgB,EAAE;IACvD,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,OAAO;YACV,OAAO,CAAC,CAAC,KAAK,CAAC;QACjB,KAAK,UAAU;YACb,OAAO,CAAC,CAAC,KAAK,CAAC;QACjB,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC;QACd,KAAK,MAAM;YACT,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF,yGAAyG;AACzG,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAU,EAAuB,EAAE,CAClE,YAAY,CAAC,CAAC,CAAC,EAAE,SAAS,IAAI,EAAE,CAAC;AAEnC;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,UAAmB,EACnB,OAAgB,EACP,EAAE,CAAC,UAAU,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC;AAExD,0FAA0F;AAC1F,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,OAAgB,EAAW,EAAE,CACrD,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC"}
@@ -0,0 +1,128 @@
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 { type Result } from "./result.ts";
36
+ /** A calendar day, `YYYY-MM-DD`. */
37
+ export type IsoDate = string;
38
+ /** A moment, as an ISO string in UTC: `2026-10-20T04:00:00Z`. Never a bare date. */
39
+ export type Instant = string;
40
+ export type DeadlineWhat = "registration" | "submission" | "resubmission" | "notification" | "camera-ready";
41
+ /** The kinds, in the order a venue's deadlines keep. */
42
+ export declare const DEADLINE_WHATS: readonly DeadlineWhat[];
43
+ /** What each kind is, in a call's words where they differ — said in every message that names the kinds. */
44
+ export declare const WHAT_MEANS: Readonly<Record<DeadlineWhat, string | null>>;
45
+ export type DeadlineSource = "portal" | "call";
46
+ /** What one page said about one deadline, and on which day it was read. */
47
+ export interface Observation {
48
+ readonly at: Instant;
49
+ readonly source: DeadlineSource;
50
+ /** The page it was read on. */
51
+ readonly url: string;
52
+ readonly read: IsoDate;
53
+ }
54
+ /** A human decision that another instant binds, with why and the file it rests on. */
55
+ export interface Override {
56
+ readonly at: Instant;
57
+ readonly reason: string;
58
+ /** A file in the paper folder: the mail, the saved page. `cycle/evidence` requires it on disk. */
59
+ readonly evidence: string;
60
+ }
61
+ /** One deadline of an attempt, as the paper records it. */
62
+ export interface Deadline {
63
+ readonly what: DeadlineWhat;
64
+ readonly observed: readonly Observation[];
65
+ readonly override: Override | null;
66
+ }
67
+ /** One reading of one deadline, as a venue preset carries it. */
68
+ export interface Reading extends Observation {
69
+ readonly what: DeadlineWhat;
70
+ }
71
+ /** What binds a deadline: the override, or the reading that was earliest. */
72
+ export type Binding = {
73
+ readonly kind: "override";
74
+ readonly override: Override;
75
+ } | {
76
+ readonly kind: "reading";
77
+ readonly reading: Observation;
78
+ };
79
+ /** A deadline in force: its instant, what set it, and every reading of it. */
80
+ export interface InForce {
81
+ readonly what: DeadlineWhat;
82
+ readonly at: Instant;
83
+ readonly by: Binding;
84
+ readonly readings: readonly Observation[];
85
+ }
86
+ /**
87
+ * What a venue's portal says about its deadlines, in paperlint's words — what the scheduled refresh
88
+ * of the shipped presets reads (`scripts/refresh-deadlines.ts`). One adapter per portal kind.
89
+ */
90
+ export interface PortalDeadlines {
91
+ /** The portal's clock when it answered, Unix seconds. */
92
+ readonly now: number;
93
+ /** Whether the portal takes submissions now. */
94
+ readonly open: boolean;
95
+ /** How the venue reviews, as the portal says it; null when it does not say. */
96
+ readonly blind: boolean | "optional" | "until-review" | null;
97
+ readonly deadlines: readonly PortalDeadline[];
98
+ }
99
+ /** One deadline the portal lists: its kind when it is one paperlint names, the portal's own label, and when. */
100
+ export interface PortalDeadline {
101
+ readonly what: DeadlineWhat | null;
102
+ readonly label: string;
103
+ readonly at: Instant;
104
+ }
105
+ export declare const isIsoDate: (v: unknown) => v is IsoDate;
106
+ /** Unix seconds → the instant, in UTC. */
107
+ export declare const instantOfUnix: (seconds: number) => Instant;
108
+ /**
109
+ * An ISO instant with its zone (`Z` or `±hh:mm`), or a call's `YYYY-MM-DD AoE`; normalised to UTC.
110
+ * A bare date or a zoneless time is refused: it is the deadline people get wrong.
111
+ */
112
+ export declare function instantOf(text: string): Result<Instant, string>;
113
+ /** The first key of `v` that is not in `known`, as the refusal naming it; null when there is none. */
114
+ export declare const unknownKey: (v: Readonly<Record<string, unknown>>, known: readonly string[], at: string, whose: string) => string | null;
115
+ /** A cycle's `deadlines` value → the list, or one line naming the place and the cure. Pure. */
116
+ export declare function parseDeadlines(v: unknown, at: string): Result<readonly Deadline[], string>;
117
+ /**
118
+ * Every deadline in force for an attempt: the paper's own entries over the venue preset's readings
119
+ * (empty for a venue without a preset). The override, else the earliest reading. Pure.
120
+ */
121
+ export declare function deadlinesInForce(own: readonly Deadline[], preset: readonly Reading[]): readonly InForce[];
122
+ /**
123
+ * The deadlines out of order WITHIN one source — the portal's readings, the call's, the overrides —
124
+ * the shape a date typed wrong or an AoE day miscounted takes. Across sources a disagreement is what
125
+ * the record holds, and the earlier binds; it is not a problem. Pure.
126
+ */
127
+ export declare function deadlineOrderProblems(own: readonly Deadline[], preset: readonly Reading[]): readonly string[];
128
+ //# sourceMappingURL=deadline.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"deadline.d.ts","sourceRoot":"","sources":["../../src/domain/deadline.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,OAAO,EAAW,KAAK,MAAM,EAAE,MAAM,aAAa,CAAC;AAGnD,oCAAoC;AACpC,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC;AAC7B,oFAAoF;AACpF,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC;AAE7B,MAAM,MAAM,YAAY,GACpB,cAAc,GACd,YAAY,GACZ,cAAc,GACd,cAAc,GACd,cAAc,CAAC;AACnB,wDAAwD;AACxD,eAAO,MAAM,cAAc,EAAE,SAAS,YAAY,EAMjD,CAAC;AAEF,2GAA2G;AAC3G,eAAO,MAAM,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC,CAMpE,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG,QAAQ,GAAG,MAAM,CAAC;AAE/C,2EAA2E;AAC3E,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;IAChC,+BAA+B;IAC/B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;CACxB;AAED,sFAAsF;AACtF,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,kGAAkG;IAClG,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,2DAA2D;AAC3D,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,CAAC;IAC1C,QAAQ,CAAC,QAAQ,EAAE,QAAQ,GAAG,IAAI,CAAC;CACpC;AAED,iEAAiE;AACjE,MAAM,WAAW,OAAQ,SAAQ,WAAW;IAC1C,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;CAC7B;AAED,6EAA6E;AAC7E,MAAM,MAAM,OAAO,GACf;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE,GAC1D;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAA;CAAE,CAAC;AAEhE,8EAA8E;AAC9E,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,CAAC;CAC3C;AAED;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B,yDAAyD;IACzD,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,gDAAgD;IAChD,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,+EAA+E;IAC/E,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,UAAU,GAAG,cAAc,GAAG,IAAI,CAAC;IAC7D,QAAQ,CAAC,SAAS,EAAE,SAAS,cAAc,EAAE,CAAC;CAC/C;AAED,gHAAgH;AAChH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,YAAY,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;CACtB;AAKD,eAAO,MAAM,SAAS,GAAI,GAAG,OAAO,KAAG,CAAC,IAAI,OAC+B,CAAC;AAK5E,0CAA0C;AAC1C,eAAO,MAAM,aAAa,GAAI,SAAS,MAAM,KAAG,OACrB,CAAC;AAK5B;;;GAGG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAe/D;AAID,sGAAsG;AACtG,eAAO,MAAM,UAAU,GACrB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACpC,OAAO,SAAS,MAAM,EAAE,EACxB,IAAI,MAAM,EACV,OAAO,MAAM,KACZ,MAAM,GAAG,IAKX,CAAC;AA4JF,+FAA+F;AAC/F,wBAAgB,cAAc,CAC5B,CAAC,EAAE,OAAO,EACV,EAAE,EAAE,MAAM,GACT,MAAM,CAAC,SAAS,QAAQ,EAAE,EAAE,MAAM,CAAC,CAOrC;AA0CD;;;GAGG;AACH,wBAAgB,gBAAgB,CAC9B,GAAG,EAAE,SAAS,QAAQ,EAAE,EACxB,MAAM,EAAE,SAAS,OAAO,EAAE,GACzB,SAAS,OAAO,EAAE,CASpB;AAuCD;;;;GAIG;AACH,wBAAgB,qBAAqB,CACnC,GAAG,EAAE,SAAS,QAAQ,EAAE,EACxB,MAAM,EAAE,SAAS,OAAO,EAAE,GACzB,SAAS,MAAM,EAAE,CAkBnB"}
@@ -0,0 +1,281 @@
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 } from "./result.js";
36
+ import { isRecord } from "./record.js";
37
+ /** The kinds, in the order a venue's deadlines keep. */
38
+ export const DEADLINE_WHATS = [
39
+ "registration",
40
+ "submission",
41
+ "resubmission",
42
+ "notification",
43
+ "camera-ready",
44
+ ];
45
+ /** What each kind is, in a call's words where they differ — said in every message that names the kinds. */
46
+ export const WHAT_MEANS = {
47
+ registration: 'abstract registration: a call\'s "abstract" date',
48
+ submission: 'the full paper: a call\'s "paper" date',
49
+ resubmission: "updates to a completed submission",
50
+ notification: null,
51
+ "camera-ready": null,
52
+ };
53
+ // ── instants ───────────────────────────────────────────────────────────────────────────
54
+ const ISO_DATE = /^\d{4}-\d{2}-\d{2}$/;
55
+ export const isIsoDate = (v) => typeof v === "string" && ISO_DATE.test(v) && !Number.isNaN(Date.parse(v));
56
+ const asInstant = (ms) => new Date(ms).toISOString().replace(/\.\d{3}Z$/, "Z");
57
+ /** Unix seconds → the instant, in UTC. */
58
+ export const instantOfUnix = (seconds) => asInstant(seconds * 1000);
59
+ /** The forms `at` takes, for every message that refuses one. */
60
+ const INSTANT_FORMS = `an instant with its zone (2026-10-20T04:00:00Z) or a call's "YYYY-MM-DD AoE"`;
61
+ /**
62
+ * An ISO instant with its zone (`Z` or `±hh:mm`), or a call's `YYYY-MM-DD AoE`; normalised to UTC.
63
+ * A bare date or a zoneless time is refused: it is the deadline people get wrong.
64
+ */
65
+ export function instantOf(text) {
66
+ const bad = err(`"${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"`);
67
+ const aoe = /^(\d{4}-\d{2}-\d{2}) AoE$/i.exec(text.trim());
68
+ if (aoe) {
69
+ const day = String(aoe[1]); // the group always participates in a match
70
+ // The end of that day at UTC−12: 23:59:59 there is 11:59:59 UTC of the next day.
71
+ const ms = Date.parse(`${day}T23:59:59-12:00`);
72
+ return Number.isNaN(ms) ? bad : ok(asInstant(ms));
73
+ }
74
+ if (!/^\d{4}-\d{2}-\d{2}T\d{2}:\d{2}(:\d{2})?(Z|[+-]\d{2}:\d{2})$/.test(text))
75
+ return bad;
76
+ const ms = Date.parse(text);
77
+ return Number.isNaN(ms) ? bad : ok(asInstant(ms));
78
+ }
79
+ // ── parsing ────────────────────────────────────────────────────────────────────────────
80
+ /** The first key of `v` that is not in `known`, as the refusal naming it; null when there is none. */
81
+ export const unknownKey = (v, known, at, whose) => {
82
+ const k = Object.keys(v).find((x) => !known.includes(x));
83
+ return k === undefined
84
+ ? null
85
+ : `${at}: unknown key "${k}" — ${whose} keys: ${known.join(", ")}`;
86
+ };
87
+ /** `v[key]` as an instant, or the refusal naming the key and both forms. */
88
+ const instantField = (v, key, at) => {
89
+ const text = v[key];
90
+ const instant = typeof text === "string" ? instantOf(text) : err("not a string");
91
+ return instant.ok
92
+ ? instant
93
+ : err(`${at}: "${key}" must be ${INSTANT_FORMS}, got ${JSON.stringify(text)}`);
94
+ };
95
+ const nonEmpty = (v) => typeof v === "string" && v !== "";
96
+ const READING_KEYS = ["at", "source", "url", "read"];
97
+ /** `source`, `url` and `read` of a reading: where and when it was read. */
98
+ function provenance(v, at) {
99
+ const { source, url, read } = v;
100
+ if (source !== "portal" && source !== "call")
101
+ return err(`${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"`);
102
+ if (!nonEmpty(url))
103
+ return err(`${at}: "url" must be where the deadline was read`);
104
+ if (!isIsoDate(read))
105
+ return err(`${at}: "read" must be the day the page was read, YYYY-MM-DD`);
106
+ return ok({ source, url, read });
107
+ }
108
+ function parseObservation(v, at) {
109
+ if (!isRecord(v))
110
+ return err(`${at}: a reading must be { "at", "source", "url", "read" }`);
111
+ const unknown = unknownKey(v, READING_KEYS, at, "a reading's");
112
+ if (unknown !== null)
113
+ return err(unknown);
114
+ const instant = instantField(v, "at", at);
115
+ if (!instant.ok)
116
+ return instant;
117
+ const rest = provenance(v, at);
118
+ return rest.ok ? ok({ at: instant.value, ...rest.value }) : rest;
119
+ }
120
+ /** Each item of a list through `one`; the first refusal, naming its index. */
121
+ function eachOf(list, at, one) {
122
+ return list.reduce((acc, v, i) => {
123
+ if (!acc.ok)
124
+ return acc;
125
+ const p = one(v, `${at}[${String(i)}]`);
126
+ return p.ok ? ok([...acc.value, p.value]) : p;
127
+ }, ok([]));
128
+ }
129
+ /** The readings of one deadline: at most one per source — a re-read replaces the earlier one. */
130
+ function parseObserved(v, at) {
131
+ if (v === undefined)
132
+ return ok([]);
133
+ if (!Array.isArray(v))
134
+ return err(`${at}: "observed" must be a list of readings { "at", "source", "url", "read" }`);
135
+ const list = eachOf(v, `${at}.observed`, parseObservation);
136
+ if (!list.ok)
137
+ return list;
138
+ const twice = ["portal", "call"].find((s) => list.value.filter((o) => o.source === s).length > 1);
139
+ return twice === undefined
140
+ ? list
141
+ : err(`${at}: two "${twice}" readings — keep one per source, the latest (its "read" says when)`);
142
+ }
143
+ const OVERRIDE_KEYS = ["at", "reason", "evidence"];
144
+ function parseOverride(v, at) {
145
+ if (v === undefined)
146
+ return ok(null);
147
+ if (!isRecord(v))
148
+ return err(`${at}: "override" must be { "at", "reason", "evidence" }`);
149
+ const where = `${at}.override`;
150
+ const unknown = unknownKey(v, OVERRIDE_KEYS, where, "an override's");
151
+ if (unknown !== null)
152
+ return err(unknown);
153
+ const instant = instantField(v, "at", where);
154
+ if (!instant.ok)
155
+ return instant;
156
+ const { reason, evidence } = v;
157
+ if (!nonEmpty(reason))
158
+ return err(`${where}: "reason" must say why this instant binds rather than the readings (the chairs extended it by mail, …)`);
159
+ return nonEmpty(evidence)
160
+ ? ok({ at: instant.value, reason, evidence })
161
+ : err(`${where}: "evidence" must be a file in the paper folder — the mail or the saved page the override rests on`);
162
+ }
163
+ const isWhat = (v) => DEADLINE_WHATS.some((w) => w === v);
164
+ /** Every kind with what it is, for the message that refuses an unknown one. */
165
+ const KINDS_TEXT = DEADLINE_WHATS.map((w) => {
166
+ const means = WHAT_MEANS[w];
167
+ return means === null ? w : `${w} (${means})`;
168
+ }).join(", ");
169
+ const DEADLINE_KEYS = ["what", "observed", "override"];
170
+ function parseDeadline(v, at) {
171
+ if (!isRecord(v))
172
+ return err(`${at}: a deadline must be { "what", "observed": [ … ], "override"? }`);
173
+ const unknown = unknownKey(v, DEADLINE_KEYS, at, "a deadline's");
174
+ if (unknown !== null)
175
+ return err(unknown);
176
+ const what = v["what"];
177
+ if (!isWhat(what))
178
+ return err(`${at}: "what" must be one of ${KINDS_TEXT}; got ${JSON.stringify(what)}`);
179
+ const observed = parseObserved(v["observed"], at);
180
+ if (!observed.ok)
181
+ return observed;
182
+ const override = parseOverride(v["override"], at);
183
+ if (!override.ok)
184
+ return override;
185
+ return observed.value.length === 0 && override.value === null
186
+ ? err(`${at}: the "${what}" deadline records nothing — add what a page said ("observed") or an "override"`)
187
+ : ok({ what, observed: observed.value, override: override.value });
188
+ }
189
+ /** The first kind with two entries, as the refusal naming both; null when each kind has one. */
190
+ function twoEntries(list, at) {
191
+ const second = list.findIndex((d, i) => list.findIndex((e) => e.what === d.what) !== i);
192
+ const d = list[second];
193
+ if (d === undefined)
194
+ return null;
195
+ const first = list.findIndex((e) => e.what === d.what);
196
+ 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`;
197
+ }
198
+ /** A cycle's `deadlines` value → the list, or one line naming the place and the cure. Pure. */
199
+ export function parseDeadlines(v, at) {
200
+ if (v === undefined)
201
+ return ok([]);
202
+ if (!Array.isArray(v))
203
+ return err(`${at}: "deadlines" must be a list`);
204
+ const list = eachOf(v, `${at}.deadlines`, parseDeadline);
205
+ if (!list.ok)
206
+ return list;
207
+ const twice = twoEntries(list.value, at);
208
+ return twice === null ? list : err(twice);
209
+ }
210
+ // ── deriving ───────────────────────────────────────────────────────────────────────────
211
+ /** The earliest of the readings; the first of equals. */
212
+ const earliest = (readings) => readings.reduce((best, o) => (best === undefined || o.at < best.at ? o : best), undefined);
213
+ const withoutWhat = ({ at, source, url, read }) => ({
214
+ at,
215
+ source,
216
+ url,
217
+ read,
218
+ });
219
+ /** One kind in force from the preset's readings and the paper's entry; null when neither says anything. */
220
+ function oneInForce(what, own, preset) {
221
+ const readings = [
222
+ ...preset.filter((r) => r.what === what).map(withoutWhat),
223
+ ...(own?.observed ?? []),
224
+ ];
225
+ const override = own?.override ?? null;
226
+ if (override !== null)
227
+ return {
228
+ what,
229
+ at: override.at,
230
+ by: { kind: "override", override },
231
+ readings,
232
+ };
233
+ const first = earliest(readings);
234
+ return first === undefined
235
+ ? null
236
+ : { what, at: first.at, by: { kind: "reading", reading: first }, readings };
237
+ }
238
+ /**
239
+ * Every deadline in force for an attempt: the paper's own entries over the venue preset's readings
240
+ * (empty for a venue without a preset). The override, else the earliest reading. Pure.
241
+ */
242
+ export function deadlinesInForce(own, preset) {
243
+ return DEADLINE_WHATS.flatMap((what) => {
244
+ const d = oneInForce(what, own.find((x) => x.what === what), preset);
245
+ return d === null ? [] : [d];
246
+ });
247
+ }
248
+ const layerOf = (entries) => DEADLINE_WHATS.flatMap((what) => {
249
+ const ats = entries.filter((e) => e.what === what).map((e) => e.at);
250
+ const first = ats.toSorted()[0];
251
+ return first === undefined ? [] : [{ what, at: first }];
252
+ });
253
+ /** The pairs of a layer out of the order registration ≤ submission ≤ resubmission < notification < camera-ready. */
254
+ const inversions = (layer, says) => layer.flatMap((d, i) => {
255
+ const before = layer[i - 1];
256
+ return before !== undefined && before.at > d.at
257
+ ? [
258
+ `${says(before.what, before.at, false)} is after ${says(d.what, d.at, true)}`,
259
+ ]
260
+ : [];
261
+ });
262
+ const readingsOf = (own, preset, source) => [
263
+ ...preset.filter((r) => r.source === source),
264
+ ...own.flatMap((d) => d.observed
265
+ .filter((o) => o.source === source)
266
+ .map((o) => ({ what: d.what, at: o.at }))),
267
+ ];
268
+ /**
269
+ * The deadlines out of order WITHIN one source — the portal's readings, the call's, the overrides —
270
+ * the shape a date typed wrong or an AoE day miscounted takes. Across sources a disagreement is what
271
+ * the record holds, and the earlier binds; it is not a problem. Pure.
272
+ */
273
+ export function deadlineOrderProblems(own, preset) {
274
+ const overrides = own.flatMap((d) => d.override === null ? [] : [{ what: d.what, at: d.override.at }]);
275
+ return [
276
+ ...inversions(layerOf(readingsOf(own, preset, "portal")), (w, at, later) => `${later ? "its" : "the portal's"} "${w}" (${at})`),
277
+ ...inversions(layerOf(readingsOf(own, preset, "call")), (w, at, later) => `${later ? "its" : "the call's"} "${w}" (${at})`),
278
+ ...inversions(layerOf(overrides), (w, at) => `the override of "${w}" (${at})`),
279
+ ];
280
+ }
281
+ //# sourceMappingURL=deadline.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"deadline.js","sourceRoot":"","sources":["../../src/domain/deadline.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,OAAO,EAAE,GAAG,EAAE,EAAE,EAAe,MAAM,aAAa,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAavC,wDAAwD;AACxD,MAAM,CAAC,MAAM,cAAc,GAA4B;IACrD,cAAc;IACd,YAAY;IACZ,cAAc;IACd,cAAc;IACd,cAAc;CACf,CAAC;AAEF,2GAA2G;AAC3G,MAAM,CAAC,MAAM,UAAU,GAAkD;IACvE,YAAY,EAAE,kDAAkD;IAChE,UAAU,EAAE,wCAAwC;IACpD,YAAY,EAAE,mCAAmC;IACjD,YAAY,EAAE,IAAI;IAClB,cAAc,EAAE,IAAI;CACrB,CAAC;AAmEF,0FAA0F;AAE1F,MAAM,QAAQ,GAAG,qBAAqB,CAAC;AACvC,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAU,EAAgB,EAAE,CACpD,OAAO,CAAC,KAAK,QAAQ,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AAE5E,MAAM,SAAS,GAAG,CAAC,EAAU,EAAW,EAAE,CACxC,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;AAEvD,0CAA0C;AAC1C,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,OAAe,EAAW,EAAE,CACxD,SAAS,CAAC,OAAO,GAAG,IAAI,CAAC,CAAC;AAE5B,gEAAgE;AAChE,MAAM,aAAa,GAAG,8EAA8E,CAAC;AAErG;;;GAGG;AACH,MAAM,UAAU,SAAS,CAAC,IAAY;IACpC,MAAM,GAAG,GAAG,GAAG,CACb,IAAI,IAAI,mHAAmH,CAC5H,CAAC;IACF,MAAM,GAAG,GAAG,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAC3D,IAAI,GAAG,EAAE,CAAC;QACR,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,2CAA2C;QACvE,iFAAiF;QACjF,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,iBAAiB,CAAC,CAAC;QAC/C,OAAO,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC;IACpD,CAAC;IACD,IAAI,CAAC,6DAA6D,CAAC,IAAI,CAAC,IAAI,CAAC;QAC3E,OAAO,GAAG,CAAC;IACb,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5B,OAAO,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC;AACpD,CAAC;AAED,0FAA0F;AAE1F,sGAAsG;AACtG,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,CAAoC,EACpC,KAAwB,EACxB,EAAU,EACV,KAAa,EACE,EAAE;IACjB,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IACzD,OAAO,CAAC,KAAK,SAAS;QACpB,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,GAAG,EAAE,kBAAkB,CAAC,OAAO,KAAK,UAAU,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AACvE,CAAC,CAAC;AAEF,4EAA4E;AAC5E,MAAM,YAAY,GAAG,CACnB,CAAoC,EACpC,GAAW,EACX,EAAU,EACe,EAAE;IAC3B,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IACpB,MAAM,OAAO,GACX,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;IACnE,OAAO,OAAO,CAAC,EAAE;QACf,CAAC,CAAC,OAAO;QACT,CAAC,CAAC,GAAG,CACD,GAAG,EAAE,MAAM,GAAG,aAAa,aAAa,SAAS,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CACxE,CAAC;AACR,CAAC,CAAC;AAEF,MAAM,QAAQ,GAAG,CAAC,CAAU,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,EAAE,CAAC;AAEhF,MAAM,YAAY,GAAsB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;AAExE,2EAA2E;AAC3E,SAAS,UAAU,CACjB,CAAoC,EACpC,EAAU;IAEV,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAChC,IAAI,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,MAAM;QAC1C,OAAO,GAAG,CACR,GAAG,EAAE,8CAA8C,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,+EAA+E,CACzJ,CAAC;IACJ,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAChB,OAAO,GAAG,CAAC,GAAG,EAAE,6CAA6C,CAAC,CAAC;IACjE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;QAClB,OAAO,GAAG,CAAC,GAAG,EAAE,wDAAwD,CAAC,CAAC;IAC5E,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;AACnC,CAAC;AAED,SAAS,gBAAgB,CAAC,CAAU,EAAE,EAAU;IAC9C,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;QACd,OAAO,GAAG,CAAC,GAAG,EAAE,uDAAuD,CAAC,CAAC;IAC3E,MAAM,OAAO,GAAG,UAAU,CAAC,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,aAAa,CAAC,CAAC;IAC/D,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,GAAG,CAAC,OAAO,CAAC,CAAC;IAC1C,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;IAC1C,IAAI,CAAC,OAAO,CAAC,EAAE;QAAE,OAAO,OAAO,CAAC;IAChC,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC/B,OAAO,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACnE,CAAC;AAED,8EAA8E;AAC9E,SAAS,MAAM,CACb,IAAwB,EACxB,EAAU,EACV,GAAkD;IAElD,OAAO,IAAI,CAAC,MAAM,CAA+B,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;QAC7D,IAAI,CAAC,GAAG,CAAC,EAAE;YAAE,OAAO,GAAG,CAAC;QACxB,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACxC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACb,CAAC;AAED,iGAAiG;AACjG,SAAS,aAAa,CACpB,CAAU,EACV,EAAU;IAEV,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;IACnC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QACnB,OAAO,GAAG,CACR,GAAG,EAAE,2EAA2E,CACjF,CAAC;IACJ,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,gBAAgB,CAAC,CAAC;IAC3D,IAAI,CAAC,IAAI,CAAC,EAAE;QAAE,OAAO,IAAI,CAAC;IAC1B,MAAM,KAAK,GAAI,CAAC,QAAQ,EAAE,MAAM,CAAW,CAAC,IAAI,CAC9C,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAC3D,CAAC;IACF,OAAO,KAAK,KAAK,SAAS;QACxB,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,GAAG,CACD,GAAG,EAAE,UAAU,KAAK,qEAAqE,CAC1F,CAAC;AACR,CAAC;AAED,MAAM,aAAa,GAAsB,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;AAEtE,SAAS,aAAa,CACpB,CAAU,EACV,EAAU;IAEV,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;QACd,OAAO,GAAG,CAAC,GAAG,EAAE,qDAAqD,CAAC,CAAC;IACzE,MAAM,KAAK,GAAG,GAAG,EAAE,WAAW,CAAC;IAC/B,MAAM,OAAO,GAAG,UAAU,CAAC,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE,eAAe,CAAC,CAAC;IACrE,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,GAAG,CAAC,OAAO,CAAC,CAAC;IAC1C,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAC7C,IAAI,CAAC,OAAO,CAAC,EAAE;QAAE,OAAO,OAAO,CAAC;IAChC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;IAC/B,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;QACnB,OAAO,GAAG,CACR,GAAG,KAAK,yGAAyG,CAClH,CAAC;IACJ,OAAO,QAAQ,CAAC,QAAQ,CAAC;QACvB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;QAC7C,CAAC,CAAC,GAAG,CACD,GAAG,KAAK,oGAAoG,CAC7G,CAAC;AACR,CAAC;AAED,MAAM,MAAM,GAAG,CAAC,CAAU,EAAqB,EAAE,CAC/C,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;AAEtC,+EAA+E;AAC/E,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;IAC1C,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;IAC5B,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,KAAK,GAAG,CAAC;AAChD,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEd,MAAM,aAAa,GAAsB,CAAC,MAAM,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;AAE1E,SAAS,aAAa,CAAC,CAAU,EAAE,EAAU;IAC3C,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;QACd,OAAO,GAAG,CACR,GAAG,EAAE,iEAAiE,CACvE,CAAC;IACJ,MAAM,OAAO,GAAG,UAAU,CAAC,CAAC,EAAE,aAAa,EAAE,EAAE,EAAE,cAAc,CAAC,CAAC;IACjE,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,GAAG,CAAC,OAAO,CAAC,CAAC;IAC1C,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;IACvB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;QACf,OAAO,GAAG,CACR,GAAG,EAAE,2BAA2B,UAAU,SAAS,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAC1E,CAAC;IACJ,MAAM,QAAQ,GAAG,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC;IAClD,IAAI,CAAC,QAAQ,CAAC,EAAE;QAAE,OAAO,QAAQ,CAAC;IAClC,MAAM,QAAQ,GAAG,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC;IAClD,IAAI,CAAC,QAAQ,CAAC,EAAE;QAAE,OAAO,QAAQ,CAAC;IAClC,OAAO,QAAQ,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,KAAK,KAAK,IAAI;QAC3D,CAAC,CAAC,GAAG,CACD,GAAG,EAAE,UAAU,IAAI,iFAAiF,CACrG;QACH,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;AACvE,CAAC;AAED,gGAAgG;AAChG,SAAS,UAAU,CAAC,IAAyB,EAAE,EAAU;IACvD,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAC3B,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CACzD,CAAC;IACF,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;IACvB,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACjC,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC;IACvD,OAAO,GAAG,EAAE,UAAU,CAAC,CAAC,IAAI,yCAAyC,MAAM,CAAC,KAAK,CAAC,mBAAmB,MAAM,CAAC,MAAM,CAAC,sFAAsF,CAAC;AAC5M,CAAC;AAED,+FAA+F;AAC/F,MAAM,UAAU,cAAc,CAC5B,CAAU,EACV,EAAU;IAEV,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;IACnC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,GAAG,CAAC,GAAG,EAAE,8BAA8B,CAAC,CAAC;IACvE,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;IACzD,IAAI,CAAC,IAAI,CAAC,EAAE;QAAE,OAAO,IAAI,CAAC;IAC1B,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACzC,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AAC5C,CAAC;AAED,0FAA0F;AAE1F,yDAAyD;AACzD,MAAM,QAAQ,GAAG,CAAC,QAAgC,EAA2B,EAAE,CAC7E,QAAQ,CAAC,MAAM,CACb,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAC9D,SAAS,CACV,CAAC;AAEJ,MAAM,WAAW,GAAG,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAW,EAAe,EAAE,CAAC,CAAC;IACxE,EAAE;IACF,MAAM;IACN,GAAG;IACH,IAAI;CACL,CAAC,CAAC;AAEH,2GAA2G;AAC3G,SAAS,UAAU,CACjB,IAAkB,EAClB,GAAyB,EACzB,MAA0B;IAE1B,MAAM,QAAQ,GAAG;QACf,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC;QACzD,GAAG,CAAC,GAAG,EAAE,QAAQ,IAAI,EAAE,CAAC;KACzB,CAAC;IACF,MAAM,QAAQ,GAAG,GAAG,EAAE,QAAQ,IAAI,IAAI,CAAC;IACvC,IAAI,QAAQ,KAAK,IAAI;QACnB,OAAO;YACL,IAAI;YACJ,EAAE,EAAE,QAAQ,CAAC,EAAE;YACf,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE;YAClC,QAAQ;SACT,CAAC;IACJ,MAAM,KAAK,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACjC,OAAO,KAAK,KAAK,SAAS;QACxB,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,QAAQ,EAAE,CAAC;AAChF,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAC9B,GAAwB,EACxB,MAA0B;IAE1B,OAAO,cAAc,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QACrC,MAAM,CAAC,GAAG,UAAU,CAClB,IAAI,EACJ,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,EAChC,MAAM,CACP,CAAC;QACF,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;AACL,CAAC;AAKD,MAAM,OAAO,GAAG,CAAC,OAAc,EAAS,EAAE,CACxC,cAAc,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;IAC9B,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACpE,MAAM,KAAK,GAAG,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC;IAChC,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;AAC1D,CAAC,CAAC,CAAC;AAEL,oHAAoH;AACpH,MAAM,UAAU,GAAG,CACjB,KAAY,EACZ,IAAiE,EAC9C,EAAE,CACrB,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;IACrB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5B,OAAO,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE;QAC7C,CAAC,CAAC;YACE,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,aAAa,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE;SAC9E;QACH,CAAC,CAAC,EAAE,CAAC;AACT,CAAC,CAAC,CAAC;AAEL,MAAM,UAAU,GAAG,CACjB,GAAwB,EACxB,MAA0B,EAC1B,MAAsB,EACf,EAAE,CAAC;IACV,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC;IAC5C,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CACnB,CAAC,CAAC,QAAQ;SACP,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC;SAClC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAC5C;CACF,CAAC;AAEF;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CACnC,GAAwB,EACxB,MAA0B;IAE1B,MAAM,SAAS,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAClC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,CACjE,CAAC;IACF,OAAO;QACL,GAAG,UAAU,CACX,OAAO,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,EAC1C,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,cAAc,KAAK,CAAC,MAAM,EAAE,GAAG,CACrE;QACD,GAAG,UAAU,CACX,OAAO,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,EACxC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,KAAK,CAAC,MAAM,EAAE,GAAG,CACnE;QACD,GAAG,UAAU,CACX,OAAO,CAAC,SAAS,CAAC,EAClB,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,oBAAoB,CAAC,MAAM,EAAE,GAAG,CAC5C;KACF,CAAC;AACJ,CAAC"}
@@ -0,0 +1,39 @@
1
+ import type { RuleContext } from "./rule-context.ts";
2
+ interface Head {
3
+ readonly id: string;
4
+ readonly phase: string;
5
+ }
6
+ interface Finding {
7
+ readonly messageId: "noCycle" | "unknownCycle" | "porting";
8
+ readonly data: Readonly<Record<string, string>>;
9
+ }
10
+ /** Each stage against the declared cycles. Pure. */
11
+ export declare function judgeStages(stages: readonly unknown[], cycles: readonly Head[]): readonly Finding[];
12
+ declare const _default: {
13
+ rules: {
14
+ stage: {
15
+ meta: {
16
+ type: "problem";
17
+ docs: {
18
+ description: string;
19
+ url: string;
20
+ };
21
+ schema: never[];
22
+ messages: {
23
+ noCycle: string;
24
+ unknownCycle: string;
25
+ porting: string;
26
+ };
27
+ };
28
+ create(context: RuleContext): {
29
+ yaml?: never;
30
+ } | {
31
+ yaml(node: {
32
+ readonly value: string;
33
+ }): void;
34
+ };
35
+ };
36
+ };
37
+ };
38
+ export default _default;
39
+ //# sourceMappingURL=cycle-stage.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"cycle-stage.d.ts","sourceRoot":"","sources":["../../eslint-rules/cycle-stage.ts"],"names":[],"mappings":"AAqBA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAwBrD,UAAU,IAAI;IACZ,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAuBD,UAAU,OAAO;IACf,QAAQ,CAAC,SAAS,EAAE,SAAS,GAAG,cAAc,GAAG,SAAS,CAAC;IAC3D,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CACjD;AAED,oDAAoD;AACpD,wBAAgB,WAAW,CACzB,MAAM,EAAE,SAAS,OAAO,EAAE,EAC1B,MAAM,EAAE,SAAS,IAAI,EAAE,GACtB,SAAS,OAAO,EAAE,CAgBpB;;;;;;;;;;;;;;;;;4BAsBqB,WAAW;;;2BAIZ;oBAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;iBAAE;;;;;AAxB/C,wBA0CE"}
@@ -0,0 +1,119 @@
1
+ /**
2
+ * `cycle/stage` — a declared stage names the ATTEMPT it belongs to, and that attempt exists.
3
+ *
4
+ * With `cycles` in the paper's `paperlint.json`, a `stages` entry in the scorecard's frontmatter
5
+ * says `cycle: <id>` instead of a free `venue:` string: the venue's name is then the cycle's
6
+ * preset's, spelled once, and a consumer can tell which rows of the scorecard belong to which
7
+ * attempt. Three things can be wrong, each an error:
8
+ *
9
+ * noCycle `cycles` is declared and a stage names no `cycle`
10
+ * unknownCycle the stage's `cycle` is no declared cycle's id
11
+ * porting a `submitted` or `camera-ready` stage in a cycle whose phase is still `porting` —
12
+ * a PDF was sent while the record says the source is in the previous venue's template
13
+ *
14
+ * Without `cycles` (the flat form) the rule is silent: `venue:` stays what it was. The settings file
15
+ * is read here only for the cycles' ids and phases; `cycle/record` (src/cycle-rules.ts) judges the
16
+ * whole record.
17
+ */
18
+ import { existsSync, readFileSync } from "node:fs";
19
+ import { dirname, join } from "node:path";
20
+ import { load } from "js-yaml";
21
+ import { z } from "zod";
22
+ const SETTINGS_FILE = "paperlint.json";
23
+ /** What this rule reads of a cycle: its id and phase. `cycle/record` parses the rest. */
24
+ const CycleHead = z.looseObject({
25
+ id: z.string(),
26
+ phase: z.string().optional(),
27
+ });
28
+ const Settings = z.looseObject({
29
+ cycles: z.array(CycleHead.catch({ id: "" })).optional(),
30
+ });
31
+ const Frontmatter = z.looseObject({ stages: z.unknown().optional() }).catch({});
32
+ const Stage = z
33
+ .looseObject({
34
+ stage: z.unknown().optional(),
35
+ cycle: z.unknown().optional(),
36
+ date: z.unknown().optional(),
37
+ })
38
+ .catch({});
39
+ /** The stages that send a PDF to the venue: a cycle still porting cannot have one. */
40
+ const SENT = ["submitted", "camera-ready"];
41
+ /** The declared cycles' heads, or null when the paper has no `cycles` (or no readable settings). */
42
+ function cyclesOf(dir) {
43
+ const file = join(dir, SETTINGS_FILE);
44
+ if (!existsSync(file))
45
+ return null;
46
+ try {
47
+ const s = Settings.safeParse(JSON.parse(readFileSync(file, "utf8")));
48
+ return s.success && s.data.cycles !== undefined
49
+ ? s.data.cycles.map((c) => ({ id: c.id, phase: c.phase ?? "prepared" }))
50
+ : null;
51
+ }
52
+ catch {
53
+ return null;
54
+ }
55
+ }
56
+ const text = (v) => typeof v === "string" ? v : v === undefined ? "" : JSON.stringify(v);
57
+ /** A YAML date without quotes is a `Date`; shown as the day it names, as `paper/stages` does. */
58
+ const dateText = (v) => v instanceof Date ? v.toISOString().slice(0, 10) : text(v);
59
+ /** Each stage against the declared cycles. Pure. */
60
+ export function judgeStages(stages, cycles) {
61
+ const known = cycles.map((c) => c.id).join(" · ") || "(none)";
62
+ return stages.flatMap((entry) => {
63
+ const s = Stage.parse(entry);
64
+ const stage = text(s.stage);
65
+ const date = dateText(s.date);
66
+ if (s.cycle === undefined)
67
+ return [{ messageId: "noCycle", data: { stage, date, known } }];
68
+ const id = text(s.cycle);
69
+ const cycle = cycles.find((c) => c.id === id);
70
+ if (cycle === undefined)
71
+ return [{ messageId: "unknownCycle", data: { stage, date, id, known } }];
72
+ return SENT.includes(stage) && cycle.phase === "porting"
73
+ ? [{ messageId: "porting", data: { stage, date, id } }]
74
+ : [];
75
+ });
76
+ }
77
+ export default {
78
+ rules: {
79
+ stage: {
80
+ meta: {
81
+ type: "problem",
82
+ docs: {
83
+ description: "with `cycles` declared, every stage names the cycle it belongs to, and no PDF is sent from a cycle still porting",
84
+ url: "https://github.com/zernie/paperlint/blob/main/docs/rules/cycle/stage.md",
85
+ },
86
+ schema: [],
87
+ messages: {
88
+ noCycle: "the «{{stage}}» stage ({{date}}) names no `cycle` — this paper declares `cycles` in paperlint.json, so each stage says which attempt it belongs to: `cycle: <id>`, one of {{known}}",
89
+ unknownCycle: "the «{{stage}}» stage ({{date}}) names the cycle «{{id}}», which paperlint.json does not declare — the declared ids: {{known}}",
90
+ porting: "the «{{stage}}» stage ({{date}}) belongs to the cycle «{{id}}», whose phase is still `porting`: a PDF was sent while the record says the source is in the previous venue's template. Finish the port and drop the phase, or the stage is wrong",
91
+ },
92
+ },
93
+ create(context) {
94
+ const cycles = cyclesOf(dirname(context.filename));
95
+ if (cycles === null)
96
+ return {};
97
+ return {
98
+ yaml(node) {
99
+ const data = (() => {
100
+ try {
101
+ return load(node.value);
102
+ }
103
+ catch {
104
+ return undefined; // `paper/stages` reports the unreadable YAML
105
+ }
106
+ })();
107
+ const stages = Frontmatter.parse(data).stages;
108
+ if (!Array.isArray(stages))
109
+ return;
110
+ judgeStages(stages, cycles).forEach((f) => {
111
+ context.report({ node, messageId: f.messageId, data: f.data });
112
+ });
113
+ },
114
+ };
115
+ },
116
+ },
117
+ },
118
+ };
119
+ //# sourceMappingURL=cycle-stage.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"cycle-stage.js","sourceRoot":"","sources":["../../eslint-rules/cycle-stage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAC;AAC/B,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,MAAM,aAAa,GAAG,gBAAgB,CAAC;AAEvC,yFAAyF;AACzF,MAAM,SAAS,GAAG,CAAC,CAAC,WAAW,CAAC;IAC9B,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC7B,CAAC,CAAC;AACH,MAAM,QAAQ,GAAG,CAAC,CAAC,WAAW,CAAC;IAC7B,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE;CACxD,CAAC,CAAC;AACH,MAAM,WAAW,GAAG,CAAC,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAChF,MAAM,KAAK,GAAG,CAAC;KACZ,WAAW,CAAC;IACX,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAC7B,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAC7B,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;CAC7B,CAAC;KACD,KAAK,CAAC,EAAE,CAAC,CAAC;AAEb,sFAAsF;AACtF,MAAM,IAAI,GAAsB,CAAC,WAAW,EAAE,cAAc,CAAC,CAAC;AAO9D,oGAAoG;AACpG,SAAS,QAAQ,CAAC,GAAW;IAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;IACtC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QACrE,OAAO,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS;YAC7C,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,IAAI,UAAU,EAAE,CAAC,CAAC;YACxE,CAAC,CAAC,IAAI,CAAC;IACX,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,MAAM,IAAI,GAAG,CAAC,CAAU,EAAU,EAAE,CAClC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;AAEvE,iGAAiG;AACjG,MAAM,QAAQ,GAAG,CAAC,CAAU,EAAU,EAAE,CACtC,CAAC,YAAY,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAO7D,oDAAoD;AACpD,MAAM,UAAU,WAAW,CACzB,MAA0B,EAC1B,MAAuB;IAEvB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC;IAC9D,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAsB,EAAE;QAClD,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC5B,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS;YACvB,OAAO,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QAClE,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACzB,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QAC9C,IAAI,KAAK,KAAK,SAAS;YACrB,OAAO,CAAC,EAAE,SAAS,EAAE,cAAc,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QAC3E,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS;YACtD,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC;YACvD,CAAC,CAAC,EAAE,CAAC;IACT,CAAC,CAAC,CAAC;AACL,CAAC;AAED,eAAe;IACb,KAAK,EAAE;QACL,KAAK,EAAE;YACL,IAAI,EAAE;gBACJ,IAAI,EAAE,SAAkB;gBACxB,IAAI,EAAE;oBACJ,WAAW,EACT,kHAAkH;oBACpH,GAAG,EAAE,yEAAyE;iBAC/E;gBACD,MAAM,EAAE,EAAE;gBACV,QAAQ,EAAE;oBACR,OAAO,EACL,qLAAqL;oBACvL,YAAY,EACV,gIAAgI;oBAClI,OAAO,EACL,gPAAgP;iBACnP;aACF;YACD,MAAM,CAAC,OAAoB;gBACzB,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;gBACnD,IAAI,MAAM,KAAK,IAAI;oBAAE,OAAO,EAAE,CAAC;gBAC/B,OAAO;oBACL,IAAI,CAAC,IAAgC;wBACnC,MAAM,IAAI,GAAG,CAAC,GAAY,EAAE;4BAC1B,IAAI,CAAC;gCACH,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;4BAC1B,CAAC;4BAAC,MAAM,CAAC;gCACP,OAAO,SAAS,CAAC,CAAC,6CAA6C;4BACjE,CAAC;wBACH,CAAC,CAAC,EAAE,CAAC;wBACL,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;wBAC9C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;4BAAE,OAAO;wBACnC,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;4BACxC,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;wBACjE,CAAC,CAAC,CAAC;oBACL,CAAC;iBACF,CAAC;YACJ,CAAC;SACF;KACF;CACF,CAAC"}