fix(R5): honest CITATION.cff abstract + replace misleading metric badges

.trinity/patent/status.json

@@ -1,31 +1,229 @@
 {
   "zenodo": {
     "records": [
-      {"id": 18939352, "doi": "10.5281/zenodo.18939352", "version": "v2.0.1", "title": "FPGA Autoregressive Ternary LLM", "date": "2026-03-10", "status": "defensive_publication", "cpc": ["H03K19/20", "G06F30/34", "G06N3/04", "G06F7/544"]},
-      {"id": 18947017, "doi": "10.5281/zenodo.18947017", "version": "concept", "title": "Concept DOI (all versions)", "date": "2026-03-10"},
-      {"id": 18950696, "doi": "10.5281/zenodo.18950696", "version": "v2.0.3", "title": "Latest version", "date": "2026-03-10"},
-      {"id": 19020211, "doi": "10.5281/zenodo.19020211", "version": "v1.0.0", "title": "D004: Self-Evolving Ouroboros", "date": "2026-03-14", "status": "defensive_publication", "cpc": ["G06F8/65", "G06N20/00", "G06F11/36"]},
-      {"id": 19020213, "doi": "10.5281/zenodo.19020213", "version": "v1.0.0", "title": "D005: VSA Balanced Ternary + SIMD", "date": "2026-03-14", "status": "defensive_publication", "cpc": ["G06F7/72", "G06N3/04", "G06F17/16"]},
-      {"id": 19020215, "doi": "10.5281/zenodo.19020215", "version": "v1.0.0", "title": "D006: phi-RoPE Attention", "date": "2026-03-14", "status": "defensive_publication", "cpc": ["G06N3/0455", "G06F17/14", "G06N3/084"]},
-      {"id": 19020217, "doi": "10.5281/zenodo.19020217", "version": "v1.0.0", "title": "D007: Sparse Ternary MatMul", "date": "2026-03-14", "status": "defensive_publication", "cpc": ["G06F7/544", "G06F7/72", "G06F17/16"]},
-      {"id": "TBD", "doi": "TBD", "version": "v1.0.0", "title": "D008: SEVO — Sacred EVolutionary Objective Search", "date": "2026-03-16", "status": "draft", "cpc": ["G06N3/086", "G06N20/00", "G06F18/24"]}
+      {
+        "id": 18939352,
+        "doi": "10.5281/zenodo.18939352",
+        "version": "v2.0.1",
+        "title": "FPGA Autoregressive Ternary LLM",
+        "date": "2026-03-10",
+        "status": "defensive_publication",
+        "cpc": [
+          "H03K19/20",
+          "G06F30/34",
+          "G06N3/04",
+          "G06F7/544"
+        ]
+      },
+      {
+        "id": 18947017,
+        "doi": "10.5281/zenodo.18947017",
+        "version": "concept",
+        "title": "Concept DOI (all versions)",
+        "date": "2026-03-10"
+      },
+      {
+        "id": 18950696,
+        "doi": "10.5281/zenodo.18950696",
+        "version": "v2.0.3",
+        "title": "Latest version",
+        "date": "2026-03-10"
+      },
+      {
+        "id": 19020270,
+        "doi": "10.5281/zenodo.19020270",
+        "version": "v1.0.0",
+        "title": "D004: Self-Evolving Ouroboros",
+        "date": "2026-03-14",
+        "status": "defensive_publication",
+        "cpc": [
+          "G06F8/65",
+          "G06N20/00",
+          "G06F11/36"
+        ]
+      },
+      {
+        "id": 19020275,
+        "doi": "10.5281/zenodo.19020275",
+        "version": "v1.0.0",
+        "title": "D005: VSA Balanced Ternary + SIMD",
+        "date": "2026-03-14",
+        "status": "defensive_publication",
+        "cpc": [
+          "G06F7/72",
+          "G06N3/04",
+          "G06F17/16"
+        ]
+      },
+      {
+        "id": 19020280,
+        "doi": "10.5281/zenodo.19020280",
+        "version": "v1.0.0",
+        "title": "D006: phi-RoPE Attention",
+        "date": "2026-03-14",
+        "status": "defensive_publication",
+        "cpc": [
+          "G06N3/0455",
+          "G06F17/14",
+          "G06N3/084"
+        ]
+      },
+      {
+        "id": 19020282,
+        "doi": "10.5281/zenodo.19020282",
+        "version": "v1.0.0",
+        "title": "D007: Sparse Ternary MatMul",
+        "date": "2026-03-14",
+        "status": "defensive_publication",
+        "cpc": [
+          "G06F7/544",
+          "G06F7/72",
+          "G06F17/16"
+        ]
+      },
+      {
+        "id": "TBD",
+        "doi": "TBD",
+        "version": "v1.0.0",
+        "title": "D008: SEVO — Sacred EVolutionary Objective Search",
+        "date": "2026-03-16",
+        "status": "draft",
+        "cpc": [
+          "G06N3/086",
+          "G06N20/00",
+          "G06F18/24"
+        ]
+      }
     ],
     "author": "Vasilev Dmitrii",
     "license": "MIT",
     "repository": "github.com/gHashTag/trinity"
   },
   "discoveries": [
-    {"name": "ternary-resonance-law", "id": "D001", "doi": "10.5281/zenodo.18939352", "status": "defensive_publication", "priority": "CRITICAL", "strength": "HIGH", "claims": 2, "cpc": ["H03K19/20", "G06N3/04"]},
-    {"name": "square-attention", "id": "D002", "doi": "10.5281/zenodo.18939352", "status": "defensive_publication", "priority": "CRITICAL", "strength": "HIGH", "claims": 2, "cpc": ["G06N3/04", "G06F7/544"]},
-    {"name": "0-dsp-fpga-inference", "id": "D003", "doi": "10.5281/zenodo.18939352", "status": "defensive_publication", "priority": "CRITICAL", "strength": "HIGH", "claims": 5, "cpc": ["G06F30/34", "H03K19/20"]},
-    {"name": "self-evolving-ouroboros", "id": "D004", "doi": "10.5281/zenodo.19020211", "status": "defensive_publication", "priority": "HIGH", "strength": "MEDIUM+", "claims": 4, "cpc": ["G06F8/65", "G06N20/00", "G06F11/36"]},
-    {"name": "vsa-ternary-simd", "id": "D005", "doi": "10.5281/zenodo.19020213", "status": "defensive_publication", "priority": "MEDIUM", "strength": "MEDIUM", "claims": 1, "cpc": ["G06F7/72", "G06N3/04", "G06F17/16"]},
-    {"name": "phi-rope", "id": "D006", "doi": "10.5281/zenodo.19020215", "status": "defensive_publication", "priority": "MEDIUM", "strength": "MEDIUM", "claims": 1, "cpc": ["G06N3/0455", "G06F17/14", "G06N3/084"]},
-    {"name": "sparse-ternary-matmul", "id": "D007", "doi": "10.5281/zenodo.19020217", "status": "defensive_publication", "priority": "MEDIUM", "strength": "MEDIUM", "claims": 1, "cpc": ["G06F7/544", "G06F7/72", "G06F17/16"]},
-    {"name": "sevo-evolutionary-objective", "id": "D008", "status": "draft", "priority": "HIGH", "strength": "HIGH", "claims": 5, "cpc": ["G06N3/086", "G06N20/00", "G06F18/24"]}
+    {
+      "name": "ternary-resonance-law",
+      "id": "D001",
+      "doi": "10.5281/zenodo.18939352",
+      "status": "defensive_publication",
+      "priority": "CRITICAL",
+      "strength": "HIGH",
+      "claims": 2,
+      "cpc": [
+        "H03K19/20",
+        "G06N3/04"
+      ]
+    },
+    {
+      "name": "square-attention",
+      "id": "D002",
+      "doi": "10.5281/zenodo.18939352",
+      "status": "defensive_publication",
+      "priority": "CRITICAL",
+      "strength": "HIGH",
+      "claims": 2,
+      "cpc": [
+        "G06N3/04",
+        "G06F7/544"
+      ]
+    },
+    {
+      "name": "0-dsp-fpga-inference",
+      "id": "D003",
+      "doi": "10.5281/zenodo.18939352",
+      "status": "defensive_publication",
+      "priority": "CRITICAL",
+      "strength": "HIGH",
+      "claims": 5,
+      "cpc": [
+        "G06F30/34",
+        "H03K19/20"
+      ]
+    },
+    {
+      "name": "self-evolving-ouroboros",
+      "id": "D004",
+      "doi": "10.5281/zenodo.19020270",
+      "status": "defensive_publication",
+      "priority": "HIGH",
+      "strength": "MEDIUM+",
+      "claims": 4,
+      "cpc": [
+        "G06F8/65",
+        "G06N20/00",
+        "G06F11/36"
+      ]
+    },
+    {
+      "name": "vsa-ternary-simd",
+      "id": "D005",
+      "doi": "10.5281/zenodo.19020275",
+      "status": "defensive_publication",
+      "priority": "MEDIUM",
+      "strength": "MEDIUM",
+      "claims": 1,
+      "cpc": [
+        "G06F7/72",
+        "G06N3/04",
+        "G06F17/16"
+      ]
+    },
+    {
+      "name": "phi-rope",
+      "id": "D006",
+      "doi": "10.5281/zenodo.19020280",
+      "status": "defensive_publication",
+      "priority": "MEDIUM",
+      "strength": "MEDIUM",
+      "claims": 1,
+      "cpc": [
+        "G06N3/0455",
+        "G06F17/14",
+        "G06N3/084"
+      ]
+    },
+    {
+      "name": "sparse-ternary-matmul",
+      "id": "D007",
+      "doi": "10.5281/zenodo.19020282",
+      "status": "defensive_publication",
+      "priority": "MEDIUM",
+      "strength": "MEDIUM",
+      "claims": 1,
+      "cpc": [
+        "G06F7/544",
+        "G06F7/72",
+        "G06F17/16"
+      ]
+    },
+    {
+      "name": "sevo-evolutionary-objective",
+      "id": "D008",
+      "status": "draft",
+      "priority": "HIGH",
+      "strength": "HIGH",
+      "claims": 5,
+      "cpc": [
+        "G06N3/086",
+        "G06N20/00",
+        "G06F18/24"
+      ]
+    }
   ],
   "modules": [
-    {"name": "zig-hslm", "version": "zig-hslm-f16-utils-from-codeberg", "status": "reference_implementation", "features": ["GF16", "TF3", "vecF16ToF32", "testF16EdgeCases"], "patent_claim": "D004", "date": "2026-03-20", "source": "src/hslm/f16_utils.zig"}
+    {
+      "name": "zig-hslm",
+      "version": "zig-hslm-f16-utils-from-codeberg",
+      "status": "reference_implementation",
+      "features": [
+        "GF16",
+        "TF3",
+        "vecF16ToF32",
+        "testF16EdgeCases"
+      ],
+      "patent_claim": "D004",
+      "date": "2026-03-20",
+      "source": "src/hslm/f16_utils.zig"
+    }
   ],
   "strategy": {
     "approach": "defensive_publication",
@@ -35,5 +233,6 @@
     "total_3yr": "$50,000-83,000"
   },
   "ip_score": "8/8 = 100%",
-  "updated": "2026-03-20"
-}
+  "updated": "2026-03-20",
+  "_audit": "DOIs 19020211/13/15/17 replaced with canonical 19020270/75/80/82 on 2026-05-12 (ZENODO-REHAB Phase 2 supersession)"
+}

CITATION.cff

@@ -1,7 +1,7 @@
 cff-version: 1.2.0
 message: "If you use this software, please cite it as below."
 title: "Trinity S³AI: Pure-Zig Autonomous AI Agent Swarm"
-abstract: "Trinity S³AI is a pure-Zig autonomous AI agent swarm implementing ternary neural networks, FPGA acceleration, and symbolic reasoning. Zero external dependencies - 100% Zig standard library. Features HSLM-1.95M (1.95M params, PPL 125.3), zero-DSP FPGA synthesis, VSA hyperdimensional computing, and TRI-27 stack machine. Full FAIR compliance with statistical rigor (bootstrap CI, p-values, Cohen's d)."
+abstract: "Trinity S³AI is a research software stack written in Zig, exploring ternary neural networks, FPGA inference, and Vector-Symbolic-Architecture (VSA) reasoning over balanced ternary. Includes the HSLM-1.95M ternary LM, a zero-DSP FPGA architecture sketch (XOR-popcount, no multipliers), the TRI-27 stack machine, and a balanced-ternary VSA module. Status: software description stubs, not peer-reviewed papers. Coq witness for the anchor identity φ²+φ⁻²=3 lives in gHashTag/t27 (28 .v files in coq/+proofs/, 218 statements, 162 Qed, 32 Admitted, 11 Abort on 2026-05-12). Statistical evaluation methodology (bootstrap CI, Welch t, Cohen's d) is described as a methodology in the companion PhD monograph in gHashTag/trios/docs/phd; per-experiment statistical results are not asserted by this CITATION.cff."
 authors:
   - family-names: "Vasilev"
     given-names: "Dmitrii"
@@ -29,7 +29,6 @@ keywords:
   - "symbolic reasoning"
   - "hyperdimensional computing"
   - "FAIR principles"
-  - "statistical rigor"
 identifiers:
   - description: "Zenodo DOI"
     type: "doi"

README.md

@@ -36,9 +36,10 @@
   <!-- NEW: Zenodo v9.0 Badges -->
   <a href="https://doi.org/10.5281/zenodo.19227879"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.19227879.svg" alt="DOI"></a>
   <a href="https://doi.org/10.5281/zenodo.19227879"><img src="https://img.shields.io/badge/Zenodo-v9.0-blue?logo=zenodo" alt="Zenodo v9.0"></a>
-  <a href="https://doi.org/10.5281/zenodo.19227865"><img src="https://img.shields.io/badge/PPL-125.3-brightgreen?style=flat-square" alt="HSLM"></a>
-  <a href="https://doi.org/10.5281/zenodo.19227869"><img src="https://img.shields.io/badge/tests-98.7%25-brightgreen?style=flat-square" alt="Tests"></a>
-  <a href="https://doi.org/10.5281/zenodo.19227877"><img src="https://img.shields.io/badge/SIMD-11.5%25C3%97-orange?style=flat-square" alt="SIMD"></a>
+  <!-- Per-record DOI badges (each links to a Trinity S³AI software description stub on Zenodo, not a peer-reviewed paper) -->
+  <a href="https://doi.org/10.5281/zenodo.19227865"><img src="https://img.shields.io/badge/B001-HSLM-blue?style=flat-square" alt="B001 HSLM stub"></a>
+  <a href="https://doi.org/10.5281/zenodo.19227869"><img src="https://img.shields.io/badge/B003-TRI--27%20ISA-blue?style=flat-square" alt="B003 TRI-27 ISA stub"></a>
+  <a href="https://doi.org/10.5281/zenodo.19227877"><img src="https://img.shields.io/badge/B007-VSA-blue?style=flat-square" alt="B007 VSA stub"></a>
 </p>
 
 ---

docs/lab/papers/patent-strategy/full-analysis.md

@@ -415,10 +415,10 @@ Each record is tagged with relevant Cooperative Patent Classification codes for
 | Record | CPC Codes |
 |--------|-----------|
 | D001-D003 (18939352) | H03K19/20, G06F30/34, G06N3/04, G06F7/544 |
-| D004 (19020211) | G06F8/65, G06N20/00, G06F11/36 |
-| D005 (19020213) | G06F7/72, G06N3/04, G06F17/16 |
-| D006 (19020215) | G06N3/0455, G06F17/14, G06N3/084 |
-| D007 (19020217) | G06F7/544, G06F7/72, G06F17/16 |
+| D004 (19020270) | G06F8/65, G06N20/00, G06F11/36 |
+| D005 (19020275) | G06F7/72, G06N3/04, G06F17/16 |
+| D006 (19020280) | G06N3/0455, G06F17/14, G06N3/084 |
+| D007 (19020282) | G06F7/544, G06F7/72, G06F17/16 |
 | D008 (TBD) | G06N3/086, G06N20/00, G06F18/24 |
 
 ### Description Files

docs/lab/papers/patent-strategy/zenodo-descriptions/D001-D003.html

@@ -110,9 +110,9 @@ <h2>Source Files</h2>
 </ul>
 
 <p><strong>Related DOIs:</strong>
-<a href="https://doi.org/10.5281/zenodo.19020211">D004: Ouroboros</a> |
-<a href="https://doi.org/10.5281/zenodo.19020213">D005: VSA</a> |
-<a href="https://doi.org/10.5281/zenodo.19020215">D006: phi-RoPE</a> |
-<a href="https://doi.org/10.5281/zenodo.19020217">D007: Sparse MatMul</a></p>
+<a href="https://doi.org/10.5281/zenodo.19020270">D004: Ouroboros</a> |
+<a href="https://doi.org/10.5281/zenodo.19020275">D005: VSA</a> |
+<a href="https://doi.org/10.5281/zenodo.19020280">D006: phi-RoPE</a> |
+<a href="https://doi.org/10.5281/zenodo.19020282">D007: Sparse MatMul</a></p>
 
 <p><strong>CPC Classifications:</strong> H03K19/20 (Logic circuits using ternary), G06F30/34 (Computer-aided design for FPGA), G06N3/04 (Neural network architecture), G06F7/544 (Arithmetic using non-standard number systems)</p>

docs/lab/papers/patent-strategy/zenodo-descriptions/D004.html

@@ -92,8 +92,8 @@ <h2>Source Files</h2>
 
 <p><strong>Related DOIs:</strong>
 <a href="https://doi.org/10.5281/zenodo.18939352">D001-D003: Ternary Resonance + FPGA</a> |
-<a href="https://doi.org/10.5281/zenodo.19020213">D005: VSA</a> |
-<a href="https://doi.org/10.5281/zenodo.19020215">D006: phi-RoPE</a> |
-<a href="https://doi.org/10.5281/zenodo.19020217">D007: Sparse MatMul</a></p>
+<a href="https://doi.org/10.5281/zenodo.19020275">D005: VSA</a> |
+<a href="https://doi.org/10.5281/zenodo.19020280">D006: phi-RoPE</a> |
+<a href="https://doi.org/10.5281/zenodo.19020282">D007: Sparse MatMul</a></p>
 
 <p><strong>CPC Classifications:</strong> G06F8/65 (Updates, patches), G06N20/00 (Machine learning), G06F11/36 (Software testing and debugging)</p>

docs/lab/papers/patent-strategy/zenodo-descriptions/D005.html

@@ -82,8 +82,8 @@ <h2>Source Files</h2>
 
 <p><strong>Related DOIs:</strong>
 <a href="https://doi.org/10.5281/zenodo.18939352">D001-D003: Ternary Resonance + FPGA</a> |
-<a href="https://doi.org/10.5281/zenodo.19020211">D004: Ouroboros</a> |
-<a href="https://doi.org/10.5281/zenodo.19020215">D006: phi-RoPE</a> |
-<a href="https://doi.org/10.5281/zenodo.19020217">D007: Sparse MatMul</a></p>
+<a href="https://doi.org/10.5281/zenodo.19020270">D004: Ouroboros</a> |
+<a href="https://doi.org/10.5281/zenodo.19020280">D006: phi-RoPE</a> |
+<a href="https://doi.org/10.5281/zenodo.19020282">D007: Sparse MatMul</a></p>
 
 <p><strong>CPC Classifications:</strong> G06F7/72 (Methods for operating on vectors), G06N3/04 (Neural network architecture), G06F17/16 (Matrix or vector computation)</p>

docs/lab/papers/patent-strategy/zenodo-descriptions/D006.html

@@ -83,8 +83,8 @@ <h2>Source Files</h2>
 
 <p><strong>Related DOIs:</strong>
 <a href="https://doi.org/10.5281/zenodo.18939352">D001-D003: Ternary Resonance + FPGA</a> |
-<a href="https://doi.org/10.5281/zenodo.19020211">D004: Ouroboros</a> |
-<a href="https://doi.org/10.5281/zenodo.19020213">D005: VSA</a> |
-<a href="https://doi.org/10.5281/zenodo.19020217">D007: Sparse MatMul</a></p>
+<a href="https://doi.org/10.5281/zenodo.19020270">D004: Ouroboros</a> |
+<a href="https://doi.org/10.5281/zenodo.19020275">D005: VSA</a> |
+<a href="https://doi.org/10.5281/zenodo.19020282">D007: Sparse MatMul</a></p>
 
 <p><strong>CPC Classifications:</strong> G06N3/0455 (Attention mechanisms in neural networks), G06F17/14 (Fourier and related transforms), G06N3/084 (Backpropagation / training methods)</p>

docs/lab/papers/patent-strategy/zenodo-descriptions/D007.html

@@ -93,8 +93,8 @@ <h2>Source Files</h2>
 
 <p><strong>Related DOIs:</strong>
 <a href="https://doi.org/10.5281/zenodo.18939352">D001-D003: Ternary Resonance + FPGA</a> |
-<a href="https://doi.org/10.5281/zenodo.19020211">D004: Ouroboros</a> |
-<a href="https://doi.org/10.5281/zenodo.19020213">D005: VSA</a> |
-<a href="https://doi.org/10.5281/zenodo.19020215">D006: phi-RoPE</a></p>
+<a href="https://doi.org/10.5281/zenodo.19020270">D004: Ouroboros</a> |
+<a href="https://doi.org/10.5281/zenodo.19020275">D005: VSA</a> |
+<a href="https://doi.org/10.5281/zenodo.19020280">D006: phi-RoPE</a></p>
 
 <p><strong>CPC Classifications:</strong> G06F7/544 (Arithmetic using non-standard number systems), G06F7/72 (Methods for operating on vectors), G06F17/16 (Matrix or vector computation)</p>

docs/lab/papers/patent-strategy/zenodo-descriptions/D008.html

@@ -102,9 +102,9 @@ <h2>Source Files</h2>
 
 <p><strong>Related DOIs:</strong>
 <a href="https://doi.org/10.5281/zenodo.18939352">D001-D003: Ternary Resonance + FPGA</a> |
-<a href="https://doi.org/10.5281/zenodo.19020211">D004: Ouroboros</a> |
-<a href="https://doi.org/10.5281/zenodo.19020213">D005: VSA</a> |
-<a href="https://doi.org/10.5281/zenodo.19020215">D006: phi-RoPE</a> |
-<a href="https://doi.org/10.5281/zenodo.19020217">D007: Sparse MatMul</a></p>
+<a href="https://doi.org/10.5281/zenodo.19020270">D004: Ouroboros</a> |
+<a href="https://doi.org/10.5281/zenodo.19020275">D005: VSA</a> |
+<a href="https://doi.org/10.5281/zenodo.19020280">D006: phi-RoPE</a> |
+<a href="https://doi.org/10.5281/zenodo.19020282">D007: Sparse MatMul</a></p>
 
 <p><strong>CPC Classifications:</strong> G06N3/086 (Learning methods using evolutionary computation), G06N20/00 (Machine learning), G06F18/24 (Classification techniques — evolutionary algorithms)</p>