diff --git a/cabal.project.freeze b/cabal.project.freeze
index b48a697..06893b9 100644
--- a/cabal.project.freeze
+++ b/cabal.project.freeze
@@ -90,8 +90,6 @@ constraints: any.Glob ==0.10.2,
              any.half ==0.3.3,
              any.hashable ==1.4.7.0,
              any.haskell-lexer ==1.2,
-             any.haskell-src-exts ==1.23.1,
-             any.haskell-src-meta ==0.8.15,
              any.hinotify ==0.4.2,
              any.hourglass ==0.2.12,
              any.http-client ==0.7.19,
@@ -110,19 +108,12 @@ constraints: any.Glob ==0.10.2,
              any.ipynb ==0.2,
              any.jira-wiki-markup ==1.5.1,
              any.libyaml ==0.1.4,
-             any.lifted-base ==0.2.3.12,
              any.lrucache ==1.2.0.1,
              any.memory ==0.18.0,
              any.mime-types ==0.1.2.1,
              any.monad-control ==1.0.3.1,
-             any.monad-logger ==0.3.42,
-             monad-logger +template_haskell,
-             any.monad-loops ==0.4.3,
-             monad-loops +base4,
              any.mono-traversable ==1.0.21.0,
              any.mtl ==2.3.1,
-             any.mtl-compat ==0.2.2,
-             mtl-compat -two-point-one -two-point-two,
              any.network ==3.1.4.0,
              any.network-byte-order ==0.1.7,
              any.network-control ==0.1.3,
@@ -148,8 +139,6 @@ constraints: any.Glob ==0.10.2,
              any.regex-base ==0.94.0.3,
              any.regex-tdfa ==1.3.2.5,
              any.resourcet ==1.2.6,
-             any.retry ==0.9.3.1,
-             retry -lib-werror,
              any.rts ==1.0.2,
              any.safe ==0.3.21,
              any.safe-exceptions ==0.1.7.4,
@@ -167,11 +156,8 @@ constraints: any.Glob ==0.10.2,
              any.split ==0.2.5,
              any.splitmix ==0.1.3,
              any.stm ==2.5.1.0,
-             any.stm-chans ==3.0.0.11,
              any.streaming-commons ==0.2.3.1,
              any.strict ==0.5.1,
-             any.string-interpolate ==0.3.4.0,
-             string-interpolate -bytestring-builder -extended-benchmarks -text-builder,
              any.syb ==0.7.3,
              any.tagged ==0.8.9,
              any.tagsoup ==0.14.8,
@@ -185,11 +171,8 @@ constraints: any.Glob ==0.10.2,
              any.text-short ==0.1.6.1,
              any.th-abstraction ==0.6.0.0,
              any.th-compat ==0.1.7,
-             any.th-expand-syns ==0.4.12.0,
-             any.th-lift ==0.8.6,
+             any.th-lift ==0.8.7,
              any.th-lift-instances ==0.1.20,
-             any.th-orphans ==0.13.17,
-             any.th-reify-many ==0.1.10,
              any.these ==1.2.1,
              any.time ==1.12.2,
              any.time-compat ==1.9.9,
diff --git a/data/branch-capture-paper.bib b/data/branch-capture-paper.bib
new file mode 100644
index 0000000..efa38b6
--- /dev/null
+++ b/data/branch-capture-paper.bib
@@ -0,0 +1,95 @@
+% ── Foundational papers (cops-and-robbers) ──────────────────────────────────
+
+@article{NowakowskiWinkler,
+  author  = {Nowakowski, R. and Winkler, P.},
+  title   = {Vertex-to-vertex pursuit in a graph},
+  journal = {Discrete Mathematics},
+  volume  = {43},
+  year    = {1983},
+  pages   = {235--239},
+}
+
+@phdthesis{Quilliot,
+  author = {Quilliot, A.},
+  title  = {Jeux et points fixes sur les graphes},
+  school = {Universit\'e de Paris VI},
+  type   = {Th\`ese de 3\`eme cycle},
+  year   = {1978},
+}
+
+@article{AignerFromme,
+  author  = {Aigner, M. and Fromme, M.},
+  title   = {A game of cops and robbers},
+  journal = {Discrete Applied Mathematics},
+  volume  = {8},
+  number  = {1},
+  year    = {1984},
+  pages   = {1--12},
+}
+
+% ── Meyniel's conjecture: bounds and partial progress ───────────────────────
+
+@article{Frankl,
+  author  = {Frankl, P.},
+  title   = {Cops and robbers in graphs with large girth and {Cayley} graphs},
+  journal = {Discrete Applied Mathematics},
+  volume  = {17},
+  year    = {1987},
+  pages   = {301--305},
+}
+
+@article{LuPeng,
+  author  = {Lu, L. and Peng, X.},
+  title   = {On {Meyniel}'s conjecture of the cop number},
+  journal = {Journal of Graph Theory},
+  volume  = {71},
+  number  = {2},
+  year    = {2012},
+  pages   = {192--205},
+}
+
+@article{ScottSudakov,
+  author  = {Scott, A. and Sudakov, B.},
+  title   = {A bound for the cops and robbers problem},
+  journal = {SIAM Journal on Discrete Mathematics},
+  volume  = {25},
+  number  = {3},
+  year    = {2011},
+  pages   = {1438--1442},
+}
+
+@article{FriezeKrivelevichLoh,
+  author  = {Frieze, A. and Krivelevich, M. and Loh, P.-S.},
+  title   = {Variations on cops and robbers},
+  journal = {Journal of Graph Theory},
+  volume  = {69},
+  number  = {4},
+  year    = {2012},
+  pages   = {383--402},
+}
+
+@article{PralatWormald,
+  author  = {Pra{\l}at, P. and Wormald, N.},
+  title   = {{Meyniel}'s conjecture holds for random graphs},
+  journal = {Random Structures \& Algorithms},
+  volume  = {48},
+  number  = {2},
+  year    = {2016},
+  pages   = {396--421},
+}
+
+@article{BradshawHosseiniMoharStacho,
+  author  = {Bradshaw, P. and Hosseini, S. A. and Mohar, B. and Stacho, L.},
+  title   = {On the cop number of graphs of high girth},
+  journal = {Journal of Graph Theory},
+  year    = {2023},
+}
+
+@article{HMG,
+  author  = {Hosseini, S. A. and Mohar, B. and {Gonzalez Hermosillo de la Maza}, S.},
+  title   = {{Meyniel}'s conjecture on graphs of bounded degree},
+  journal = {Journal of Graph Theory},
+  volume  = {97},
+  year    = {2021},
+  pages   = {401--407},
+}
diff --git a/static/papers/branch-capture-paper.pdf b/static/papers/branch-capture-paper.pdf
new file mode 100644
index 0000000..921dd7a
Binary files /dev/null and b/static/papers/branch-capture-paper.pdf differ
diff --git a/static/papers/branch-capture-paper.thumb.png b/static/papers/branch-capture-paper.thumb.png
new file mode 100644
index 0000000..87a3b5d
Binary files /dev/null and b/static/papers/branch-capture-paper.thumb.png differ