diff --git a/CHANGELOG.adoc b/CHANGELOG.adoc
index a7a7507..3dda9db 100644
--- a/CHANGELOG.adoc
+++ b/CHANGELOG.adoc
@@ -10,6 +10,16 @@ https://semver.org/spec/v2.0.0.html[Semantic Versioning].
 
 ==== Fixed
 
+* The census picked a repository's status document by alphabetical order, so a
+  template-era `PROOF-NEEDS.adoc` was chosen over the real ledger beside it.
+  `scripts/census/build-rows.sh` now prefers `PROOF-STATUS`, then
+  `PROOF-NEEDS`, then `proof-debt`. Rows already committed change only when
+  they are rebuilt.
+* The `metadatastician/hvn-dehallucinator` row is rebuilt from that
+  repository's `main` at `f2f31f7`, 2026-11-09 (16 own proof files, was 9; status
+  document `docs/status/PROOF-STATUS.adoc`). The other rows are still the
+  2026-10-26 census.
+
 * `repo-init` minting a repository created with GitHub's "Use this
   template" (measured on metadatastician/lintel, 2026-10-14):
 ** provenance recorded the CHILD's own HEAD as the template commit. The
diff --git a/docs/catalogue/catalogue.adoc b/docs/catalogue/catalogue.adoc
index 974f5a5..0df0ac3 100644
--- a/docs/catalogue/catalogue.adoc
+++ b/docs/catalogue/catalogue.adoc
@@ -72,6 +72,8 @@ verdicts.
 
 |https://github.com/hyperpolymath/CompositionalDA.jl[hyperpolymath/CompositionalDA.jl] |15 |0 |agda 15 |63 |0 |1 |0 |0 |`proofs/PROOF-STATUS.md`
 
+|https://github.com/metadatastician/hvn-dehallucinator[metadatastician/hvn-dehallucinator] |16 |7 |agda 10, idris2 1, tla 5 |203 |0 |0 |0 |0 |`docs/status/PROOF-STATUS.adoc`
+
 |https://github.com/hyperpolymath/ExactCounts.jl[hyperpolymath/ExactCounts.jl] |15 |0 |agda 15 |236 |0 |1 |0 |6 |`proofs/PROOF-STATUS.md`
 
 |https://github.com/hyperpolymath/jtv-lang[hyperpolymath/jtv-lang] |15 |0 |agda 5, lean 9, idris2 1 |287 |0 |0 |0 |0 |`verification/PROOF-STATUS.adoc`
diff --git a/scripts/census/build-rows.sh b/scripts/census/build-rows.sh
index 4fc6127..ec73ba1 100644
--- a/scripts/census/build-rows.sh
+++ b/scripts/census/build-rows.sh
@@ -44,7 +44,13 @@ jq -r '[.repo,.file,.class]|@tsv' "$R/holes.jsonl" \
 jq -r '[.repo,.file]|@tsv' "$R/decls.jsonl" \
 | awk -F'\t' 'NR==FNR{t[$1]=1;next} !($2 in t){print $1}' "$T" - > "$tmp/decls.tsv"
 
-jq -r '.repo+"\t"+.path' "$R/repos-with-status.jsonl" | sort > "$tmp/status.tsv"
+# A repository may carry more than one status document (a ledger beside a
+# template-era requirements list). Prefer the ledger: PROOF-STATUS, then
+# PROOF-NEEDS, then proof-debt, then the path, so the choice does not depend
+# on alphabetical order.
+jq -r '.repo+"\t"+(if (.path|test("(^|/)PROOF-STATUS[^/]*$";"i")) then "0"
+    elif (.path|test("(^|/)PROOF-NEEDS[^/]*$";"i")) then "1" else "2" end)+"\t"+.path' \
+  "$R/repos-with-status.jsonl" | sort | cut -f1,3 > "$tmp/status.tsv"
 
 awk -F'\t' '
   FILENAME ~ /holes\.tsv$/  { h[$1" "$2]++; next }