Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion CITATION.cff
Original file line number Diff line number Diff line change
@@ -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 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."
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/coq (10 .v files, 48 statements: 6 Theorem + 42 Lemma, 35 Qed, 0 Admitted, audited 2026-05-12; the broader t27/proofs/ tree adds further work-in-progress lemmas outside the canonical coq/ directory and is not counted here). Canonical Zenodo source of truth (community level): https://zenodo.org/communities/trinity-s3ai/ (12 records: 8 v5.0 description stubs B001-B008 + 4 D-series D004-D007). 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"
Expand Down
2 changes: 2 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -42,6 +42,8 @@
<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>

> **Canonical Zenodo SOT:** [zenodo.org/communities/trinity-s3ai](https://zenodo.org/communities/trinity-s3ai/) — the single source of truth for all Vasilev / Trinity-S³AI Zenodo records. Any DOI badge above outside this community (e.g. the v2.0.x FPGA-software series 18939351-18950696) is legitimate authorship but not part of the curated S³AI v5.0 record set (B001-B008 = 19227865-79).

---

## Trinity S³AI DNA
Expand Down
10 changes: 8 additions & 2 deletions src/tri/zenodo_v17_fair.zig
Original file line number Diff line number Diff line change
Expand Up @@ -414,8 +414,14 @@ test "FAIR score: full metadata" {
.publication_year = 2025,
.keywords = &[_][]const u8{ "machine learning", "ternary computing" },
.formats = &[_][]const u8{ "application/zig", "application/json" },
.references = &[_][]const u8{"10.5281/zenodo.19227863"},
.communities = &[_][]const u8{ "zenodo", "machine-learning" },
// R5-honest audit (PASS-6, 2026-05-12): previous test fixture used
// `10.5281/zenodo.19227863` which resolves to an unrelated paper
// ("Restoration Axiom: Biological or Synthetic CNN State Retention"
// by other authors). Replaced with the canonical Trinity S³AI
// Framework parent collection (B008, 10.5281/zenodo.19227879), a
// confirmed member of community trinity-s3ai.
.references = &[_][]const u8{"10.5281/zenodo.19227879"},
.communities = &[_][]const u8{ "trinity-s3ai", "machine-learning" },
.license = "MIT",
.doi = "10.5281/zenodo.19227865",
};
Expand Down
Loading