From 4ac5e9e95a475ab98e1900fbd98fae4ff0182c11 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:53 +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 | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)
 create mode 100644 CITATION.cff

diff --git a/CITATION.cff b/CITATION.cff
new file mode 100644
index 0000000..babbd5e
--- /dev/null
+++ b/CITATION.cff
@@ -0,0 +1,29 @@
+cff-version: 1.2.0
+message: "If you use this software, please cite it as below."
+type: software
+title: "tropical-types"
+abstract: "Lean 4 applied to max-plus (tropical) algebra to resource-aware type systems for compositional worst-case bounds. Provides a reusable resource-grade axis with parametric transport, a no-go theorem refuting universal protocol interoperability (hub_ceiling); separation proofs distinguishing tropical instances from finite {0,1,ω} reifications & Echosh"
+authors:
+  - family-names: "Jewell"
+    given-names: "Jonathan D.A."
+    orcid: "https://orcid.org/0000-0002-3078-6652"
+repository-code: "https://github.com/hyperpolymath/tropical-types"
+keywords:
+  - "tropical-algebra"
+  - "lean4"
+  - "epistemic-computing"
+  - "epistemic-infrastructure"
+  - "equivalence-aware-computing"
+  - "formal-verification"
+  - "hyperpolymath"
+  - "isabelle"
+  - "max-plus-algebra"
+  - "open-source"
+  - "research-software"
+  - "theorem-proving"
+  - "typed-provenance"
+  - "veridical-computing"
+  - "resource-aware-computing"
+  - "protocol-interop"
+  - "type-theory-in-number-theory"
+  - "worst-case-analysis"

From fe6f010bfdd14b70d50f394cb831654471170035 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:27 +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 "Tropical Resource Typing"
- abstract: factual correction (see below)

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 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/CITATION.cff b/CITATION.cff
index babbd5e..0ac87b0 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: "tropical-types"
-abstract: "Lean 4 applied to max-plus (tropical) algebra to resource-aware type systems for compositional worst-case bounds. Provides a reusable resource-grade axis with parametric transport, a no-go theorem refuting universal protocol interoperability (hub_ceiling); separation proofs distinguishing tropical instances from finite {0,1,ω} reifications & Echosh"
+title: "Tropical Resource Typing"
+abstract: "Lean 4 applied to max-plus (tropical) algebra to resource-aware type systems for compositional worst-case bounds. Provides a reusable resource-grade axis with parametric transport, a no-go theorem (hub_ceiling) refuting Protocol Squisher's universal-interoperability claim; separation proofs distinguishing tropical instances from finite {0,1,ω} reifications; and a separation proof that resource algebras measure Echo residues but are not Echo instances."
 authors:
   - family-names: "Jewell"
     given-names: "Jonathan D.A."