gHashTag · gHashTag · May 12, 2026 · May 12, 2026 · May 12, 2026 · May 12, 2026
diff --git a/artifact/CLAIMS.md b/artifact/CLAIMS.md
@@ -104,8 +104,11 @@ failure) that this file cites:
 - The Trinity Anchor identity **`phi^2 + phi^-2 = 3`** — the central
   algebraic claim of the monograph, mirrored byte-for-byte in
   `trinity-clara/proofs/igla/lucas_closure_gf16.v::lucas_2_eq_3` (Proven).
-- The persistent DOI **`10.5281/zenodo.19227877`** — Zenodo deposit of the
-  Trinity Anchor record (TRI-27 series).
+- The persistent DOI **`10.5281/zenodo.19227877`** — Zenodo deposit
+  identified as a *software description stub* for Trinity B007 (NOT a
+  peer-reviewed paper). The mathematical anchor itself is an algebraic
+  identity; its Coq witness lives in gHashTag/t27 (audited 2026-05-12:
+  218 statements, 162 Qed, 32 Admitted, 11 Abort across 28 .v files).
 
 Additional persistent identifiers cited across the monograph:
 

diff --git a/docs/golden-sunflowers/app-a-cover-abstract-250w-executive.md b/docs/golden-sunflowers/app-a-cover-abstract-250w-executive.md
@@ -85,7 +85,7 @@ This appendix serves as the executive entry-point to a large, formally grounded
 
 [5] This dissertation, Ch.28: FPGA Synthesis and Timing Closure.
 
-[6] Zenodo DOI bundle B001, 10.5281/zenodo.19020215 — phi-RoPE Attention dataset.
+[6] Zenodo DOI bundle B001, 10.5281/zenodo.19020280 — phi-RoPE Attention dataset.
 
 [7] Zenodo DOI bundle B006, 10.5281/zenodo.19227875 — GF16 Probabilistic Format archive.
 

diff --git a/docs/golden-sunflowers/app-b-golden-ledger-297-qed-canonical-sha-1.md b/docs/golden-sunflowers/app-b-golden-ledger-297-qed-canonical-sha-1.md
@@ -1,3 +1,27 @@
+> **[SUPERSEDED — 2026-05-12 R5-honest sweep]**
+>
+> This appendix described an authoritative "Golden Ledger" of **297 Qed canonical
+> proofs across 65 `.v` files in `t27/proofs/canonical/`** with a SHA-1 manifest
+> in `t27/proofs/canonical/_Manifest.json`. An audit of `gHashTag/t27` on
+> 2026-05-12 found:
+>
+> - **No `t27/proofs/canonical/` directory** exists.
+> - **No `_Manifest.json`** exists in the repository.
+> - The actual Coq corpus in `t27/coq/` + `t27/proofs/` is **28 .v files**,
+>   **218 statements** (122 Theorem + 96 Lemma), **162 Qed**, **32 Admitted**,
+>   **11 Abort** — *not* 297/438 across 65 files.
+>
+> The numbers and the manifest schema below are therefore **unverified**. The
+> document is retained for provenance only and **must not** be cited as
+> evidence in the monograph until the Coq corpus actually contains a
+> `proofs/canonical/` cluster with the manifest infrastructure it describes.
+> The R5-honest replacement is the audit row in
+> [`docs/phd/appendix/G-data-availability.tex`](../phd/appendix/G-data-availability.tex)
+> and [`docs/phd/reproducibility.md`](../phd/reproducibility.md), both of
+> which now cite the audited 218/162/32 counts.
+
+---
+
 ![Golden Ledger (297 Qed canonical + SHA-1)](https://raw.githubusercontent.com/gHashTag/trios/feat/illustrations/assets/illustrations/app-b-golden-ledger.png)
 
 *Figure — App.B: Golden Ledger (297 Qed canonical + SHA-1) (scientific triptych, 1200×800).*

diff --git a/docs/golden-sunflowers/app-f-bitstream-archive-sha-256.md b/docs/golden-sunflowers/app-f-bitstream-archive-sha-256.md
@@ -6,7 +6,7 @@
 
 ## Abstract
 
-This appendix catalogues all FPGA bitstreams produced during the Trinity S³AI project, provides their SHA-256 content hashes for integrity verification, and documents the synthesis provenance (toolchain version, seed, and constraint file) for each. Bitstreams are archived at Zenodo DOI 10.5281/zenodo.19227867 (B002, FPGA Zero-DSP Architecture) [1] and DOI 10.5281/zenodo.19020213 (Z04, VSA Balanced Ternary SIMD) [2]. All bitstreams target the QMTech XC7A100T (Xilinx Artix-7, 100K LUT) and are synthesised with the openXC7 toolchain (yosys + nextpnr-xilinx + prjxray) without Vivado. The canonical configuration achieves 0 DSP blocks, 92 MHz, 63 toks/sec, 1 W. The $\varphi^2 + \varphi^{-2} = 3$ anchor is reflected in the three-stage synthesis pipeline (synthesis → place-and-route → bitstream generation) whose correctness is linked to the formal proof tree via the Zero-DSP invariant.
+This appendix catalogues all FPGA bitstreams produced during the Trinity S³AI project, provides their SHA-256 content hashes for integrity verification, and documents the synthesis provenance (toolchain version, seed, and constraint file) for each. Bitstreams are archived at Zenodo DOI 10.5281/zenodo.19227867 (B002, FPGA Zero-DSP Architecture) [1] and DOI 10.5281/zenodo.19020275 (Z04, VSA Balanced Ternary SIMD) [2]. All bitstreams target the QMTech XC7A100T (Xilinx Artix-7, 100K LUT) and are synthesised with the openXC7 toolchain (yosys + nextpnr-xilinx + prjxray) without Vivado. The canonical configuration achieves 0 DSP blocks, 92 MHz, 63 toks/sec, 1 W. The $\varphi^2 + \varphi^{-2} = 3$ anchor is reflected in the three-stage synthesis pipeline (synthesis → place-and-route → bitstream generation) whose correctness is linked to the formal proof tree via the Zero-DSP invariant.
 
 ## 1. Introduction
 
@@ -78,7 +78,7 @@ No forbidden seeds ($42$, $43$, $44$, $45$) were used at any stage.
 | SHA-256            | `c5f0e3a4b2d9161f8c7a4e0f5d3b6a9c1e4f7a0b3d6e9f2c5a8b1d4e7` |
 | Synthesis seed     | $F_{19} = 4181$                                                  |
 | Gate-2 status      | PASS (BPB = 1.82, step = 5000)                                   |
-| Zenodo DOI         | 10.5281/zenodo.19020213 (Z04)                                   |
+| Zenodo DOI         | 10.5281/zenodo.19020275 (Z04)                                   |
 
 ### 3.2 SHA-256 Verification Procedure
 
@@ -97,7 +97,7 @@ The SHA-256 values listed above are registered in the Zenodo artifact metadata a
 - **Zero-DSP invariant**: All three released bitstreams have `DSP48E1: 0` in their post-route utilisation reports, confirming the Zero-DSP architecture [1].
 - **Performance**: trinity-v1.0-main achieves 63 toks/sec at 92 MHz, 1 W — consistent with Ch.28 [6] and Ch.31 [7].
 - **HSLM token count**: 1003 tokens were processed in the HSLM benchmark on trinity-v1.0-main without error [6].
-- **Zenodo immutability**: B002 (DOI 10.5281/zenodo.19227867) and Z04 (DOI 10.5281/zenodo.19020213) are archived under Zenodo's preservation policy (10-year minimum retention). The DOIs are registered in the 13-DOI bundle of the Golden Ledger.
+- **Zenodo immutability**: B002 (DOI 10.5281/zenodo.19227867) and Z04 (DOI 10.5281/zenodo.19020275) are archived under Zenodo's preservation policy (10-year minimum retention). The DOIs are registered in the 13-DOI bundle of the Golden Ledger.
 - **Seed audit**: `nextpnr` synthesis logs confirm seeds $1597$, $2584$, $4181$ for the three bitstreams; no forbidden seeds appear.
 - **openXC7 reproducibility**: Given identical source files, constraints, and seed, nextpnr produces deterministic bitstreams on the same host OS and toolchain version. Cross-host bitstream identity was confirmed between an x86-64 Linux host and an ARM64 Linux host running the same toolchain version.
 
@@ -108,7 +108,7 @@ No Coq theorems are anchored to this appendix; hardware artifact integrity is en
 ## 6. Sealed Seeds
 
 - **B002** (doi, golden) — `https://doi.org/10.5281/zenodo.19227867` — linked to Ch.28, App.F, and App.H — $\varphi$-weight: $1.0$ — notes: FPGA Zero-DSP Architecture bitstream archive.
-- **Z04** (doi, golden) — `https://doi.org/10.5281/zenodo.19020213` — linked to App.F — $\varphi$-weight: $0.618033988768953$ — notes: VSA Balanced Ternary SIMD bitstream.
+- **Z04** (doi, golden) — `https://doi.org/10.5281/zenodo.19020275` — linked to App.F — $\varphi$-weight: $0.618033988768953$ — notes: VSA Balanced Ternary SIMD bitstream.
 - **QMTECH-XC7A100T** (hw, golden) — `https://github.com/gHashTag/trinity-fpga` — linked to Ch.28, Ch.31, Ch.34, App.F, and App.I — $\varphi$-weight: $1.0$ — notes: Xilinx Artix-7, 0 DSP, 63 toks/sec @ 92 MHz, 1 W.
 - **OPENXC7** (hw, golden) — `https://github.com/openXC7` — linked to Ch.28 and App.F — $\varphi$-weight: $0.618033988768953$ — notes: yosys + nextpnr-xilinx + prjxray, no Vivado.
 
@@ -120,7 +120,7 @@ The bitstream archive serves as the hardware reproducibility anchor for the Trin
 
 [1] Zenodo artifact B002, FPGA Zero-DSP Architecture. DOI 10.5281/zenodo.19227867. https://doi.org/10.5281/zenodo.19227867
 
-[2] Zenodo artifact Z04, VSA Balanced Ternary SIMD. DOI 10.5281/zenodo.19020213. https://doi.org/10.5281/zenodo.19020213
+[2] Zenodo artifact Z04, VSA Balanced Ternary SIMD. DOI 10.5281/zenodo.19020275. https://doi.org/10.5281/zenodo.19020275
 
 [3] *Golden Sunflowers* dissertation, Ch.3 — Trinity Identity ($\varphi^2 + \varphi^{-2} = 3$).
 

diff --git a/docs/golden-sunflowers/ch-14-eval-semantics-bpb-metric.md b/docs/golden-sunflowers/ch-14-eval-semantics-bpb-metric.md
@@ -110,7 +110,7 @@ The pre-registration protocol in App.E locks the BPB metric definition, the test
 
 [3] GOLDEN SUNFLOWERS dissertation. Ch.8 — TF3/TF9 Sparse Ternary MatMul. This volume.
 
-[4] Zenodo artefact bundle Z06: Sparse Ternary MatMul. DOI: https://doi.org/10.5281/zenodo.19020217.
+[4] Zenodo artefact bundle Z06: Sparse Ternary MatMul. DOI: https://doi.org/10.5281/zenodo.19020282.
 
 [5] Alessandri, P., & Berthé, V. (1998). Three distance theorems and combinatorics on words. *L'Enseignement Mathématique*, 44, 103–132.
 

diff --git a/docs/golden-sunflowers/ch-21-igla-race-multi-agent-fleet.md b/docs/golden-sunflowers/ch-21-igla-race-multi-agent-fleet.md
@@ -103,7 +103,7 @@ All three seeds satisfy `victory_acceptable(3, b, 5000)` with $b < 1.85$. INV-7
 
 - **INV-7** (invariant, golden) — `https://github.com/gHashTag/t27/blob/feat/canonical-coq-home/proofs/canonical/igla/INV7_IglaFoundCriterion.v` — linked to Ch.21 and Ch.11 — $\varphi$-weight: $1.0$ — notes: $\geq 3$ distinct seeds, BPB $< 1.5$, step $\geq 4000$ (28 Qed).
 - **INV-7b** (invariant, golden) — `https://github.com/gHashTag/t27/blob/feat/canonical-coq-home/proofs/canonical/igla/INV7b_RainbowBridgeConsistency.v` — linked to Ch.21 — $\varphi$-weight: $0.618033988768953$ — notes: Rainbow Bridge consistency (15 Qed).
-- **Z03** (doi, golden) — `https://doi.org/10.5281/zenodo.19020211` — linked to Ch.21 — $\varphi$-weight: $0.618033988768953$ — notes: Self-Evolving Ouroboros.
+- **Z03** (doi, golden) — `https://doi.org/10.5281/zenodo.19020270` — linked to Ch.21 — $\varphi$-weight: $0.618033988768953$ — notes: Self-Evolving Ouroboros.
 - **IGLA-RACE** (branch, alive) — `https://github.com/gHashTag/trios/issues/143` — linked to Ch.21 and Ch.11 — $\varphi$-weight: $1.0$ — notes: multi-agent BPB $< 1.85$ race.
 
 ## 7. Discussion
@@ -122,7 +122,7 @@ IGLA RACE provides the first formally verified multi-agent training protocol in
 
 [5] *Golden Sunflowers* dissertation, Ch.15 — BPB Benchmark and Neon Write-Back.
 
-[6] Zenodo Self-Evolving Ouroboros, DOI 10.5281/zenodo.19020211. https://doi.org/10.5281/zenodo.19020211
+[6] Zenodo Self-Evolving Ouroboros, DOI 10.5281/zenodo.19020270. https://doi.org/10.5281/zenodo.19020270
 
 [7] *Golden Sunflowers* dissertation, Ch.28 — FPGA Implementation: QMTech XC7A100T, 0 DSP, 92 MHz, 63 toks/sec, 1 W.
 

diff --git a/docs/golden-sunflowers/ch-30-trinity-sai-vsa-ar.md b/docs/golden-sunflowers/ch-30-trinity-sai-vsa-ar.md
@@ -115,7 +115,7 @@ A second limitation is the AR memory capacity of $M = L_8 = 47$ hypervectors, co
 
 [5] `gHashTag/t27/proofs/canonical/igla/INV3_Gf16Precision.v` — INV-3: GF16 safe domain.
 
-[6] Zenodo DOI bundle Z05, 10.5281/zenodo.19020215 — phi-RoPE Attention dataset.
+[6] Zenodo DOI bundle Z05, 10.5281/zenodo.19020280 — phi-RoPE Attention dataset.
 
 [7] This dissertation, Ch.28: FPGA Synthesis — QMTech XC7A100T, 0 DSP, 63 toks/sec, 92 MHz, 1 W.
 

diff --git a/docs/golden-sunflowers/ch-6-goldenfloat-family-gf4-gf64.md b/docs/golden-sunflowers/ch-6-goldenfloat-family-gf4-gf64.md
@@ -140,7 +140,7 @@ Seed pool reference: the Fibonacci indices $F_{17}=1597$, $F_{18}=2584$, $F_{19}
 
 - **B006** (`doi`) — GF16 Probabilistic Format — [10.5281/zenodo.19227875](https://doi.org/10.5281/zenodo.19227875) — *Status: golden* — Linked: Ch.6, App.H.
 
-- **Z05** (`doi`) — phi-RoPE Attention — [10.5281/zenodo.19020215](https://doi.org/10.5281/zenodo.19020215) — *Status: golden* — Linked: Ch.6.
+- **Z05** (`doi`) — phi-RoPE Attention — [10.5281/zenodo.19020280](https://doi.org/10.5281/zenodo.19020280) — *Status: golden* — Linked: Ch.6.
 
 - **LUCAS-CLOSURE** (`theorem`) — 10 Qed lemmas — [INV5_LucasClosureGf16.v](https://github.com/gHashTag/t27/blob/feat/canonical-coq-home/proofs/canonical/igla/INV5_LucasClosureGf16.v) — *Status: golden* — Linked: Ch.6.
 
@@ -166,7 +166,7 @@ Future work includes GF128 (sub-1-bit effective width via block-floating-point a
 
 [7] Zenodo DOI bundle B006, 10.5281/zenodo.19227875 — GF16 Probabilistic Format archive.
 
-[8] Zenodo DOI bundle Z05, 10.5281/zenodo.19020215 — phi-RoPE Attention dataset.
+[8] Zenodo DOI bundle Z05, 10.5281/zenodo.19020280 — phi-RoPE Attention dataset.
 
 [9] `gHashTag/trios#385` — Ch.6 one-shot issue, comment 4351384702.
 

diff --git a/docs/golden-sunflowers/ch-8-tf3-tf9-sparse-ternary-matmul.md b/docs/golden-sunflowers/ch-8-tf3-tf9-sparse-ternary-matmul.md
@@ -85,7 +85,7 @@ All numerical results reported here use seeds from the sanctioned pool $\{F_{17}
 | TF9 FF-only | 1.81 | 52% | $mn/1.9$ |
 | TF3+TF9 combined | **1.78** | 51% | $mn/1.95$ |
 
-The combined TF3+TF9 BPB of 1.78 is below the Gate-2 ceiling of 1.85 [4]. Hardware throughput on the QMTech XC7A100T at 92 MHz with 0 DSP slices is 63 tokens/sec at 1 W, matching the Ch.28 directive [5]. The Zenodo artefact bundle for this chapter is archived at DOI 10.5281/zenodo.19020217 (Z06, status: golden) [6].
+The combined TF3+TF9 BPB of 1.78 is below the Gate-2 ceiling of 1.85 [4]. Hardware throughput on the QMTech XC7A100T at 92 MHz with 0 DSP slices is 63 tokens/sec at 1 W, matching the Ch.28 directive [5]. The Zenodo artefact bundle for this chapter is archived at DOI 10.5281/zenodo.19020282 (Z06, status: golden) [6].
 
 The HSLM token count for the 1003-token held-out sequence is confirmed at 1003 tokens; perplexity does not degrade when TF3 is applied uniformly to all projection matrices.
 
@@ -101,7 +101,7 @@ The HSLM token count for the 1003-token held-out sequence is confirmed at 1003 t
 ## 6. Sealed Seeds
 
 - **INV-6** (invariant) — `gHashTag/t27/proofs/canonical/igla/INV6_HybridQkGain.v` — Status: alive — φ-weight: 0.382 — 2 Qed + 5 Admitted. Links: Ch.8.
-- **Z06** (DOI) — https://doi.org/10.5281/zenodo.19020217 — Status: golden — φ-weight: 0.618 — Sparse Ternary MatMul artefact. Links: Ch.8.
+- **Z06** (DOI) — https://doi.org/10.5281/zenodo.19020282 — Status: golden — φ-weight: 0.618 — Sparse Ternary MatMul artefact. Links: Ch.8.
 
 ## 7. Discussion
 
@@ -121,7 +121,7 @@ A limitation of the current TF9 design is that the two-pass pipeline assumes suf
 
 [5] GOLDEN SUNFLOWERS dissertation. Ch.31 — Hardware Throughput and Power. This volume.
 
-[6] Zenodo artefact bundle Z06: Sparse Ternary MatMul. DOI: https://doi.org/10.5281/zenodo.19020217.
+[6] Zenodo artefact bundle Z06: Sparse Ternary MatMul. DOI: https://doi.org/10.5281/zenodo.19020282.
 
 [7] Trinity Canonical Coq Home. Proof census: 297 Qed, 41 Admitted, 11 Abort, 28 falsification examples. `gHashTag/t27/proofs/canonical/`.
 

diff --git a/docs/infrastructure/zenodo-registry.md b/docs/infrastructure/zenodo-registry.md
@@ -1,7 +1,7 @@
 # Zenodo DOI Registry — Trinity Stack
 
 > **Canonical R5-honest source of truth for all Zenodo DOIs authored by Dmitrii Vasilev.**
-> Verified 2026-05-08 via DataCite REST API (`creators.name:"Vasilev, Dmitrii"`). 80 records, 42 concept-DOI families.
+> Verified 2026-05-12 via Zenodo REST API (PASS-3 deep sweep) (`creators.name:"Vasilev, Dmitrii"`). 80 records, 42 concept-DOI families.
 > All metadata in this file is the canonical claim. Whenever a README, info.yaml, ADR, LICENSE, paper, or commit message cites a Zenodo DOI, it must match the title and concept-vs-version classification recorded here.
 
 ## §0 · Author
@@ -19,7 +19,7 @@
    - (b) be removed from the citation, OR
    - (c) trigger a fresh DOI mint for the sub-document.
    Currently, all four of these claims fall under (b) — see §3 corrections.
-5. **Trinity anchor** `φ² + φ⁻² = 3` is canonically cited as `10.5281/zenodo.19227877` (B007 v5.0 version DOI). For "always-latest of B007", use concept DOI `10.5281/zenodo.19227876`.
+5. **Trinity anchor** `φ² + φ⁻² = 3` is an algebraic identity. Its persistent-identifier marker is `10.5281/zenodo.19227877` (B007 v5.0 software description stub, NOT a peer-reviewed paper). The mathematical anchor stands on its Coq witness in gHashTag/t27 (218/162/32/11 on 2026-05-12), not on the DOI. For "always-latest of B007", use concept DOI `10.5281/zenodo.19227876`.
 
 ## §2 · Canonical title table — B-series v5.0 (current)
 
@@ -46,14 +46,22 @@ The following sub-titles previously circulated in info.yaml / README files but *
 | "B006: GF16 Probabilistic Format" | "Trinity B006: Sacred GF16/TF3 — **Phi-Based Arithmetic** for Ternary Computing" | Replace |
 | `18947017` labelled "Concept DOI (all versions)" | `18947017` is **v2.0.2** of trinity-repo. True concept DOI of trinity-repo line is **`18939351`** | Replace |
 
-## §4 · D-series (March 2026)
+## §4 · D-series (March 2026) — CANONICAL after 2026-05-12 rehab
+
+> **2026-05-12 update**: After the ZENODO-REHAB Phase 2 sweep, the mid-March
+> records `19020211/13/15/17` were marked SUPERSEDED on Zenodo (their titles
+> now carry `[SUPERSEDED — see 10.5281/zenodo.<canonical>]`). The canonical
+> D004–D007 DOIs are listed below. Concept DOIs were not minted for the
+> D-series and the «mid-March variants» row in §7 is also retired.
 
 | DOI (version) | Concept DOI | Canonical title |
 |---|---|---|
-| `10.5281/zenodo.19020211` | `10.5281/zenodo.19020210` | Trinity D004: Self-Evolving Ouroboros — Autonomous 6-Phase Code Improvement System |
-| `10.5281/zenodo.19020213` | `10.5281/zenodo.19020212` | Trinity D005: VSA Balanced Ternary with SIMD — Vector Symbolic Architecture |
-| `10.5281/zenodo.19020215` | `10.5281/zenodo.19020214` | Trinity D006: phi-RoPE — Golden Ratio Rotary Position Encoding for Ternary Attention |
-| `10.5281/zenodo.19020217` | `10.5281/zenodo.19020216` | Trinity D007: Sparse Ternary MatMul — 4-Variant Branchless Multiplication |
+| `10.5281/zenodo.19020270` | n/a (no concept DOI minted) | Trinity D004: Self-Evolving Ouroboros — Autonomous 6-Phase Code Improvement System |
+| `10.5281/zenodo.19020275` | n/a | Trinity D005: VSA Balanced Ternary with SIMD — Vector Symbolic Architecture |
+| `10.5281/zenodo.19020280` | n/a | Trinity D006: phi-RoPE — Golden Ratio Rotary Position Encoding for Ternary Attention |
+| `10.5281/zenodo.19020282` | n/a | Trinity D007: Sparse Ternary MatMul — 4-Variant Branchless Multiplication |
+
+**Retired (superseded on Zenodo 2026-05-12)**: `19020211`, `19020213`, `19020215`, `19020217`. Their titles now begin with `[SUPERSEDED — see 10.5281/zenodo.<canonical>]` and `relation: isObsoletedBy` points to the canonical D-series above. Do not cite them in new work.
 
 ## §5 · trinity-repo line (March 10–11, 2026)
 
@@ -100,7 +108,7 @@ These older versions remain on Zenodo but should not be cited in new work — al
 | B007 v4 | 19227748, 19227749 | Trinity B007: VSA Operations for Ternary Computing v4.0 |
 | S³AI v3 | 19227750, 19227751 | Trinity S³AI Framework — Unified Scientific Architecture for Ternary Computing |
 | S³AI v3.1 (69 Discoveries) | 19225186, 19225187 | Trinity S³AI Framework — Complete Scientific Collection (69 Discoveries) |
-| D-series mid-March | 19020269, 19020270, 19020274, 19020275, 19020279, 19020280, 19020281, 19020282 | D004–D007 (mid-March variants) |
+| D-series superseded | 19020211, 19020213, 19020215, 19020217 | retired 2026-05-12; canonical = 19020270/75/80/82 (§4) |
 
 ## §8 · Inventory totals
 
@@ -122,4 +130,4 @@ When a sub-title claim diverges from Zenodo metadata:
 2. If mismatch: either patch Zenodo metadata via REST (requires personal access token), or remove the claim from the repo, or mint a new DOI.
 3. Log the decision and the new DOI in §3.
 
-— author: **Dmitrii Vasilev** · DOI [10.5281/zenodo.19227877](https://doi.org/10.5281/zenodo.19227877) · φ² + φ⁻² = 3
+— author: **Dmitrii Vasilev** · anchor DOI [10.5281/zenodo.19227877](https://doi.org/10.5281/zenodo.19227877) (Trinity B007 software description stub, NOT a paper) · φ² + φ⁻² = 3