fix paper completeness check false warning (#1049)

* fix completeness check: use covered-rules.final() instead of .get()

The warning falsely reported 4 missing rules because .get() only sees
state accumulated before the current location. Rules defined after the
check were invisible. Using .final() sees all rules in the document.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

* update arxiv

* Update arXiv link

* add citation section to README

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

---------

Co-authored-by: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: isPANN

README.md

@@ -100,6 +100,22 @@ This project draws inspiration from the following packages:
 - **[A Compendium of NP Optimization Problems](https://www.csc.kth.se/tcs/compendium/)** — Online catalog of NP optimization problems with approximability results (Crescenzi & Kann).
 - **Computers and Intractability** (Garey & Johnson, 1979) — The classic reference cataloging 300+ NP-complete problems with reductions. The most cited book in computer science.
 
+## Citation
+
+If you find this project useful in your research, please cite:
+
+```bibtex
+@misc{pan2026problemreductionsscaleagentic,
+      title={Problem Reductions at Scale: Agentic Integration of Computationally Hard Problems}, 
+      author={Xi-Wei Pan and Shi-Wen An and Jin-Guo Liu},
+      year={2026},
+      eprint={2604.11535},
+      archivePrefix={arXiv},
+      primaryClass={cs.AI},
+      url={https://arxiv.org/abs/2604.11535}, 
+}
+```
+
 ## License
 
 MIT License - see [LICENSE](LICENSE) for details.

docs/paper/reductions.typ

@@ -607,7 +607,7 @@
     #super[2]Institute of Science Tokyo #h(0.3em) #super[3]RIKEN
   ]
   #v(1.5em)
-  #text(size: 10pt, style: "italic")[arXiv:2604.xxxxx]
+  #text(size: 10pt, style: "italic")[#link("https://arxiv.org/abs/2604.11535")[arXiv:2604.11535]]
   #v(0.3em)
   #text(size: 10pt, style: "italic", fill: blue)[#link("https://github.com/CodingThrust/problem-reductions")[github.com/CodingThrust/problem-reductions]]
   #v(1.5em)
@@ -15027,7 +15027,7 @@ Problems parameterized by graph type, weight type, or clause-width ($k$) admit i
 
 // Completeness check: warn about reduction rules in JSON but missing from paper
 #context {
-  let covered = covered-rules.get()
+  let covered = covered-rules.final()
   let json-edges = {
     let edges = graph-data.edges.map(e => (graph-data.nodes.at(e.source).name, graph-data.nodes.at(e.target).name))
     let unique = ()