docs(census): name one writer for census data (WO 0.2)

CLAUDE.md

@@ -6,7 +6,7 @@ SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 <!-- The region between the ARRIVAL-PACK markers is generated from this
      repo's deed by `just claude-md` — do not hand-edit it. -->
 
-<!-- ARRIVAL-PACK:BEGIN — estate-common @Manifesto:DRAFT-unratified · repo @deed:DEED@fcb9b64043a6 ANCHOR@7d952f46b36b — generated by `just claude-md`, do not hand-edit -->
+<!-- ARRIVAL-PACK:BEGIN — estate-common @Manifesto:DRAFT-unratified · repo @deed:DEED@26df8c6bf4c3 ANCHOR@5193cc48cb23 — generated by `just claude-md`, do not hand-edit -->
 
 # You are in the hyperpolymath estate — orient before acting
 
@@ -68,17 +68,17 @@ Put every question that needs the owner's decision through the selector (the Ask
 
 ---
 
-# This repo: `mathesis`  ·  clade `UNASSIGNED-mathesis`
+# This repo: `mathesis`  ·  clade `fv-mathesis`
 
-- **Identity** — uuid `#u5"github.com/hyperpolymath/mathesis"`; clade `UNASSIGNED` (secondary ``); born 2026-10-29; forge `hyperpolymath/mathesis`.
-- **IS** — UNASSIGNED
+- **Identity** — uuid `#u5"github.com/hyperpolymath/mathesis"`; clade `fv` (secondary ``); born 2026-10-29; forge `hyperpolymath/mathesis`.
+- **IS** — Index and connect mathematical concepts, proof sources, assumptions and evidence across repositories without asserting unverified equivalence or proof status.
 - **IS-NOT** — (not yet declared — add (ecosystem :not (…)) to the deed)
-- **Where it sits** — pipeline position **UNASSIGNED**; chain `UNASSIGNED`; coordination = `standards`.
+- **Where it sits** — pipeline position **discovery-and-evidence-navigation**; chain `source-repositories -> census -> reviewed mathematical atlas -> proof tooling and researchers`; coordination = `standards`.
 - **Constraints here** (AGENTIC) — fail-closed; evidence-per-step; no-silent-skip; rerun-after-fix; release-claim-requires-hard-pass. Never: banned langs (above), secrets, state files in repo root, AGPL. Details: the deed's `(bot-directives (methodology) (coverage) (debt))` clauses.
 - **Golden path** (ANCHOR) — `just test && just quality` → Core tests pass; Quality gates pass; No unresolved critical security findings.
 - **State** — phase incubating; maturity experimental. Milestones and next actions: `docs/status/ROADMAP.adoc`.
 
-<!-- ARRIVAL-PACK:END · provenance: DEED@fcb9b64043a6 ANCHOR@7d952f46b36b · Manifesto@DRAFT-unratified · regenerate: `just claude-md` (k9 drift-detects; do not hand-edit above) -->
+<!-- ARRIVAL-PACK:END · provenance: DEED@26df8c6bf4c3 ANCHOR@5193cc48cb23 · Manifesto@DRAFT-unratified · regenerate: `just claude-md` (k9 drift-detects; do not hand-edit above) -->
 
 <!-- Hand-authored (owner, 2026-10-05): kept below the generated region so `just claude-md` does not overwrite it. -->
 ## Estate-Wide Format Migration Directives

docs/atlas/README.adoc

@@ -2,8 +2,8 @@
 = Mathesis discovery atlas — census-backed first slice
 
 This is a *generated, read-only directory of proof-source repositories*, not yet a
-complete alphabetic mathematical concept atlas. It derives from the existing
-248-row `docs/catalogue/census/catalogue-rows.json` snapshot and never alters
+complete alphabetic mathematical concept atlas. It derives from
+`docs/catalogue/census/catalogue-rows.json` and never alters
 or reclassifies the source census. A–Z means repository-name order, not a claim
 that these are all the mathematical concepts relevant to the estate.
 
@@ -22,3 +22,15 @@ The next slice requires a separately reviewed, source-anchored claims registry;
 it is proposed in link:../decisions/0004-claims-registry.adoc[ADR 0004]
 (pilot view: link:../registry/registry.adoc[`docs/registry/registry.adoc`]).
 No private-source records are added or published by this generator.
+
+== One writer for census data
+
+Census rows change in one way only: `just census` (the whole frame) or
+`just update-rows OWNER/REPO...` (named repositories). Both rebuild the
+catalogue and this atlas from the same rows. Nobody edits
+`catalogue-rows.json`, `unreachable.json` or the generated views by hand.
+Only one pull request that changes rows is open at a time; record it under
+"Open census work" in link:../status/ROADMAP.adoc[`ROADMAP.adoc`] before it
+opens. The deed states the same rule in `(bot-directives (census-writer))`.
+Two sessions that refreshed rows at once made the 17 conflicting pull requests
+that work order 0.1 of the re-anchoring plan had to triage.

docs/atlas/generated/az.adoc

@@ -182,6 +182,7 @@
 * `metadatastician/marid` — engineering; 1 own proof files, 0 detected declarations; provers: idris2 1
 * `catachresis-colloquium/megadog` — theory; 3 own proof files, 25 detected declarations; provers: lean 3
 * `metadatastician/MetaManifold-Evidence` — theory; 13 own proof files, 70 detected declarations; provers: agda 13
+* `hyperpolymath/MetaManifold-WebUI` — theory; 13 own proof files, 107 detected declarations; provers: agda 13
 * `hyperpolymath/modshells` — engineering; 12 own proof files, 0 detected declarations; provers: spark 9, other 3
 * `hyperpolymath/my-lang` — theory; 25 own proof files, 617 detected declarations; provers: rocq 16, idris2 9
 * `hyperpolymath/mylangiser` — engineering; 9 own proof files, 135 detected declarations; provers: idris2 9

docs/atlas/generated/classes.adoc

@@ -28,6 +28,7 @@
 * `hyperpolymath/kitchenspeak` — theory; 6 own proof files, 82 detected declarations; provers: agda 5, idris2 1
 * `hyperpolymath/lithoglyph` — theory; 13 own proof files, 264 detected declarations; provers: lean 8, idris2 5
 * `hyperpolymath/marches` — theory; 17 own proof files, 198 detected declarations; provers: lean 17
+* `hyperpolymath/MetaManifold-WebUI` — theory; 13 own proof files, 107 detected declarations; provers: agda 13
 * `hyperpolymath/my-lang` — theory; 25 own proof files, 617 detected declarations; provers: rocq 16, idris2 9
 * `hyperpolymath/neurophone` — theory; 6 own proof files, 19 detected declarations; provers: lean 3, tla 2, dafny 1
 * `hyperpolymath/nextgen-typing` — theory; 16 own proof files, 118 detected declarations; provers: agda 3, lean 6, rocq 7

docs/atlas/generated/organisations.adoc

@@ -139,6 +139,7 @@
 * `hyperpolymath/lustreiser` — engineering; 9 own proof files, 141 detected declarations; provers: idris2 9
 * `hyperpolymath/maa-framework` — engineering; 9 own proof files, 11 detected declarations; provers: agda 3, spark 4, other 2
 * `hyperpolymath/marches` — theory; 17 own proof files, 198 detected declarations; provers: lean 17
+* `hyperpolymath/MetaManifold-WebUI` — theory; 13 own proof files, 107 detected declarations; provers: agda 13
 * `hyperpolymath/modshells` — engineering; 12 own proof files, 0 detected declarations; provers: spark 9, other 3
 * `hyperpolymath/my-lang` — theory; 25 own proof files, 617 detected declarations; provers: rocq 16, idris2 9
 * `hyperpolymath/mylangiser` — engineering; 9 own proof files, 135 detected declarations; provers: idris2 9

docs/catalogue/catalogue.adoc

@@ -85,6 +85,8 @@ than one.
 
 |https://github.com/hyperpolymath/zotero-tools[hyperpolymath/zotero-tools] |15 |0 |lean 9, idris2 3, tla 3 |94 |0 |0 |0 |0 |`PROOF-NEEDS.adoc`
 
+|https://github.com/hyperpolymath/MetaManifold-WebUI[hyperpolymath/MetaManifold-WebUI] |13 |0 |agda 13 |107 |0 |0 |0 |0 |`proofs/PROOF-STATUS.md`
+
 |https://github.com/hyperpolymath/lithoglyph[hyperpolymath/lithoglyph] |13 |0 |lean 8, idris2 5 |264 |1 |0 |0 |0 |`docs/status/PROOF-NEEDS.adoc`
 
 |https://github.com/metadatastician/MetaManifold-Evidence[metadatastician/MetaManifold-Evidence] |13 |0 |agda 13 |70 |0 |0 |0 |0 |—

docs/proposals/mathesis-re-anchoring.adoc

@@ -1279,7 +1279,9 @@ not on the `main` of echidna. Closed.
 
 |39
 |A third-party upstream added to `repos.json` by hand.
-|Closed. `main` lists the fork; a sync of the fork gives the row.
+|Closed. `main` lists the fork. The fork has its own proofs; it had no row
+only because the census of 2026-11-09 ran before the fork was listed.
+`just update-rows` took its row on 2026-11-10.
 
 |40
 |Nothing: a census rerun.

docs/status/ROADMAP.adoc

@@ -35,6 +35,17 @@ Initial development phase.
   The Rocq and Lean gates should also fail when `Print Assumptions` or
   `#print axioms` lists an axiom for a gated theorem.
 
+=== Open census work
+
+One pull request that changes census rows is open at a time (atlas README,
+"One writer for census data"). Record it here before it opens.
+
+* 2026-11-10: the row of `hyperpolymath/MetaManifold-WebUI`, taken by
+  `just update-rows`. The census of 2026-11-09 ran before the fork was listed
+  in `forks-with-own-proofs.txt`, so it had no row. The row uses the scanner
+  rules of 2026-11-10; the other rows still use the rules of 2026-11-09
+  until the next full census.
+
 == Milestones
 
 === v0.1.0 - Foundation

mathesis_chora.deed

@@ -657,7 +657,15 @@
           (merge :sources (".gitattributes-legacy" ".gitattributes-os") :dest ".gitattributes"))
         ; Explicitly ignore certain paths from being cleaned
         (ignores
-          :dirs ("src/" "tests/" ".git/" "docs/" ".machine_readable/")))))
+          :dirs ("src/" "tests/" ".git/" "docs/" ".machine_readable/"))))
+    ; census-writer: one writer for census data (re-anchoring plan WO 0.2,
+    ; 2026-11-10). Two sessions that refresh rows at the same time made the
+    ; conflicting pull requests that WO 0.1 had to triage.
+    (census-writer
+      :writers ("just census" "just update-rows")
+      :hand-edit-rows #f
+      :open-row-pull-requests-max 1
+      :open-work-recorded-in "docs/status/ROADMAP.adoc"))
   ; Optional ecosystem integrations.
   ; Each clause is opt-in; delete the ones your project does not use.
   (integrations