From 5b66c5879ff0c391ed93a0e5780691f69c52a46f Mon Sep 17 00:00:00 2001
From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com>
Date: Thu, 1 Oct 2026 03:37:30 +0100
Subject: [PATCH 1/2] docs(citation): add CITATION.cff with the author's ORCID
 (0000-0002-3078-6652)

- CITATION.cff: created

https://orcid.org/0000-0002-3078-6652

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01B2ARtAVppZ7x7mVY5u6nAz
---
 CITATION.cff | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 CITATION.cff

diff --git a/CITATION.cff b/CITATION.cff
new file mode 100644
index 0000000..4a5a3c7
--- /dev/null
+++ b/CITATION.cff
@@ -0,0 +1,24 @@
+cff-version: 1.2.0
+message: "If you use this software, please cite it as below."
+type: software
+title: "proof-burrower"
+abstract: "Proof Burrower — specialist swarm + Burrow Ledger for proof-goal homing (private)"
+authors:
+  - family-names: "Jewell"
+    given-names: "Jonathan D.A."
+    orcid: "https://orcid.org/0000-0002-3078-6652"
+repository-code: "https://github.com/hyperpolymath/proof-burrower"
+keywords:
+  - "hyperpolymath"
+  - "ocaml"
+  - "open-source"
+  - "epistemic-computing"
+  - "epistemic-infrastructure"
+  - "equivalence-aware-computing"
+  - "formal-verification"
+  - "proof-engineering"
+  - "reproducible-research"
+  - "research-software"
+  - "theorem-proving"
+  - "typed-provenance"
+  - "veridical-computing"

From 0f7866cdfe186710f953e1c816e9056c4cddd6d1 Mon Sep 17 00:00:00 2001
From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com>
Date: Thu, 1 Oct 2026 07:58:52 +0100
Subject: [PATCH 2/2] docs(citation): correct CITATION.cff title/abstract and
 complete ORCID coverage
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Follow-up to the estate ORCID rollout (https://orcid.org/0000-0002-3078-6652):
- title → the README's project name "Proof Burrower"
- abstract: factual correction (see below)
- docs/attribution/CITATION.cff: author ORCID filled (was the all-zero placeholder or absent)

Every wording change is taken from this repo's own README or
Project.toml. No licence fields or SPDX headers were added or changed.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01B2ARtAVppZ7x7mVY5u6nAz
---
 CITATION.cff                  | 4 ++--
 docs/attribution/CITATION.cff | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/CITATION.cff b/CITATION.cff
index 4a5a3c7..9cb9e96 100644
--- a/CITATION.cff
+++ b/CITATION.cff
@@ -1,8 +1,8 @@
 cff-version: 1.2.0
 message: "If you use this software, please cite it as below."
 type: software
-title: "proof-burrower"
-abstract: "Proof Burrower — specialist swarm + Burrow Ledger for proof-goal homing (private)"
+title: "Proof Burrower"
+abstract: "Proof Burrower — specialist swarm + Burrow Ledger for proof-goal homing"
 authors:
   - family-names: "Jewell"
     given-names: "Jonathan D.A."
diff --git a/docs/attribution/CITATION.cff b/docs/attribution/CITATION.cff
index 0b6745a..a0179ce 100644
--- a/docs/attribution/CITATION.cff
+++ b/docs/attribution/CITATION.cff
@@ -3,7 +3,7 @@ message: "If you use this software, please cite it as below."
 authors:
 - family-names: "Jewell"
   given-names: "Jonathan"
-  orcid: "https://orcid.org/0000-0000-0000-0000" # Placeholder
+  orcid: "https://orcid.org/0000-0002-3078-6652"
 title: "Proof Burrower"
 version: 0.1.0
 date-released: 2026-04-26