[SUPERSEDED — see 10.5281/zenodo.19227873] Trinity B005: Tri Language — Linear Types, Effects, Dual-Target Compilation v4.0
Fuente:
Zenodo
Saved in:
| Main Author: | |
|---|---|
| Format: | Recurso digital |
| Published: |
Zenodo
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866901714706104320 |
|---|---|
| author | Vasilev, Dmitrii |
| author_facet | Vasilev, Dmitrii |
| contents | <p><strong>⚠ SUPERSEDED</strong></p><p>This record is an earlier version of the Trinity B005 software description stub. The canonical current version is <a href="https://doi.org/10.5281/zenodo.19227873">10.5281/zenodo.19227873</a>.</p><p>This DOI remains active as a historical pointer; new citations should use the canonical DOI above.</p> <p><strong>Honest provenance (audit 2026-05-12):</strong> This Zenodo record is a <em>software description stub</em>, not a peer-reviewed paper. Anchor identity <code>φ² + φ⁻² = 3</code> is an algebraic identity, not an empirical claim. Coq witness: <a href="https://github.com/gHashTag/t27/tree/main/coq">gHashTag/t27/coq</a> (48 statements, 35 Proven, 0 Admitted as of 2026-05-12). Repository: <a href="https://github.com/gHashTag/trios">gHashTag/trios</a>. Author: Dmitrii Vasilev (<a href="https://orcid.org/0009-0008-4294-6159">ORCID 0009-0008-4294-6159</a>).</p> |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_19227743 |
| institution | Zenodo |
| language | |
| publishDate | 2026 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | [SUPERSEDED — see 10.5281/zenodo.19227873] Trinity B005: Tri Language — Linear Types, Effects, Dual-Target Compilation v4.0 Vasilev, Dmitrii Trinity S³AI ternary computing balanced ternary golden ratio phi VSA software stub Coq verified gHashTag superseded <p><strong>⚠ SUPERSEDED</strong></p><p>This record is an earlier version of the Trinity B005 software description stub. The canonical current version is <a href="https://doi.org/10.5281/zenodo.19227873">10.5281/zenodo.19227873</a>.</p><p>This DOI remains active as a historical pointer; new citations should use the canonical DOI above.</p> <p><strong>Honest provenance (audit 2026-05-12):</strong> This Zenodo record is a <em>software description stub</em>, not a peer-reviewed paper. Anchor identity <code>φ² + φ⁻² = 3</code> is an algebraic identity, not an empirical claim. Coq witness: <a href="https://github.com/gHashTag/t27/tree/main/coq">gHashTag/t27/coq</a> (48 statements, 35 Proven, 0 Admitted as of 2026-05-12). Repository: <a href="https://github.com/gHashTag/trios">gHashTag/trios</a>. Author: Dmitrii Vasilev (<a href="https://orcid.org/0009-0008-4294-6159">ORCID 0009-0008-4294-6159</a>).</p> |
| title | [SUPERSEDED — see 10.5281/zenodo.19227873] Trinity B005: Tri Language — Linear Types, Effects, Dual-Target Compilation v4.0 |
| topic | Trinity S³AI ternary computing balanced ternary golden ratio phi VSA software stub Coq verified gHashTag superseded |
| url | https://doi.org/10.5281/zenodo.19227743 |