@misc{Hir17,
  author       = {Hironaka, Heisuke},
  title        = {Resolution of Singularities in Positive Characteristics},
  year         = {2017},
  note         = {Preprint dated March 23, 2017, 92 pp.; \url{https://people.math.harvard.edu/~hironaka/pRes.pdf}.
                  Read from the local copy \texttt{refs/hironaka-resolution-of-singularities-in-char-p.pdf}
                  (SHA-256 \texttt{d7bb6db6\ldots 6647382}) of the \texttt{tdupu/dumps} repository}
}

@article{Hir03,
  author       = {Hironaka, Heisuke},
  title        = {Theory of infinitely near singular points},
  journal      = {J. Korean Math. Soc.},
  volume       = {40},
  number       = {5},
  year         = {2003},
  pages        = {901--920},
  note         = {Cited as reference [23] of \cite{Hir17}; not opened}
}

@misc{Hau08,
  author       = {Hauser, Herwig},
  title        = {Kangaroo points and oblique polynomials in resolution of positive characteristic},
  year         = {2008},
  eprint       = {0811.4151},
  archiveprefix= {arXiv},
  primaryclass = {math.AG},
  note         = {arXiv:0811.4151v2, 18 Dec 2008; \url{https://arxiv.org/abs/0811.4151}}
}

@article{Moh87,
  author       = {Moh, Tzuong-Tsieng},
  title        = {On a stability theorem for local uniformization in characteristic $p$},
  journal      = {Publ. Res. Inst. Math. Sci.},
  volume       = {23},
  year         = {1987},
  pages        = {965--973},
  note         = {DOI: 10.2977/prims/1195175867; stability theorem on p.~966,
                  checked in the original PDF at \url{https://ems.press/content/serial-article-files/42412}}
}

@article{Nar83a,
  author       = {Narasimhan, R.},
  title        = {Monomial equimultiple curves in positive characteristic},
  journal      = {Proc. Amer. Math. Soc.},
  volume       = {89},
  year         = {1983},
  pages        = {402--406},
  note         = {Bibliographic metadata checked against the journal volume contents and the Clay Mathematics Institute bibliography; primary text not opened}
}

@article{Nar83b,
  author       = {Narasimhan, R.},
  title        = {Hyperplanarity of the equimultiple locus},
  journal      = {Proc. Amer. Math. Soc.},
  volume       = {87},
  year         = {1983},
  pages        = {403--408},
  note         = {Bibliographic metadata checked against the Clay Mathematics Institute bibliography; primary text not opened}
}

@misc{SageMath,
  author       = {{The Sage Developers}},
  title        = {{SageMath}, the {S}age {M}athematics {S}oftware {S}ystem ({V}ersion 10.8)},
  year         = {2025},
  note         = {\url{https://www.sagemath.org}}
}

@misc{ClaudeCode,
  author       = {{Anthropic}},
  title        = {Claude Code},
  year         = {2026},
  note         = {Agentic coding tool; models \texttt{claude-opus-5-5} and \texttt{claude-fable-5-1}. \url{https://claude.com/claude-code}}
}

@misc{Mathcity,
  author       = {Dupuy, Taylor},
  title        = {mathcity: agent skills for mathematical research and manuscripts},
  year         = {2026},
  note         = {\url{https://github.com/tdupu/mathcity/tree/e9a249037bce38b7f360a348bdde97a6f7503ae0} (repository may be private)}
}

@misc{AgentSkills,
  author       = {Dupuy, Taylor},
  title        = {agent-skills: frontier-dump and harvest-dumps workflows},
  year         = {2026},
  note         = {\url{https://github.com/tdupu/agent-skills/tree/0eb34a5cbaf8f68aed0365467e96bc6d8a7798a1} (repository may be private)}
}

@misc{OpenAICodex,
  author       = {{OpenAI}},
  title        = {Codex desktop app},
  year         = {2026},
  note         = {\url{https://openai.com/index/introducing-the-codex-app/}, accessed 26 October 2026}
}

@misc{Python,
  author       = {{Python Software Foundation}},
  title        = {Python, version 3.13 documentation},
  year         = {2026},
  note         = {\url{https://docs.python.org/3.13/}, accessed 26 October 2026}
}

@misc{Dump,
  author       = {{Claude Code agent (claude-fable-5-1) for Taylor Dupuy}},
  title        = {Adversarial review of {H}. {H}ironaka, ``{R}esolution of {S}ingularities in {P}ositive {C}haracteristics''},
  year         = {2026},
  note         = {AI-generated research record, not human-reviewed: \texttt{report.md}, \texttt{math-audit.md},
                  \texttt{verify.sage} (sections V1--V4), \texttt{verify-output.txt}, \texttt{search\_constant\_ridge*.py};
                  directory \texttt{ai/2026-10-23-hironaka-char-p-resolution-review/} of
                  \url{https://github.com/tdupu/dumps} (repository may be private)}
}

@misc{Checks,
  author       = {{Claude Code agent (claude-opus-5-5) for Taylor Dupuy}},
  title        = {Coordinator checks for the harvest of the {H}ironaka review},
  year         = {2026},
  note         = {SageMath 10.8 scripts \texttt{integral\_closure\_check.sage}, \texttt{followup\_all\_p.sage},
                  \texttt{kangaroo\_narasimhan\_check.sage} and their outputs; directory
                  \texttt{latex/hironaka-char-p-counterexamples/harvest/checks/} of
                  \url{https://github.com/tdupu/dumps} (repository may be private)}
}