diff --git a/CHANGELOG.md b/CHANGELOG.md index 4d64a72..b9d964c 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,6 +1,24 @@ # Changelog -## Unreleased — D4-TIA-15 v2.0.0 evaluated-orbit profile +## D4-TIA v2.0.0 — 2026-09-18 + +Frozen implementation tag: `d4-tia-v2.0.0` +Frozen implementation commit: `7aa6df165d0ad70297365dbf0d69072634ed4314` +Zenodo DOI: `10.5281/zenodo.22831753` + +The immutable `d4-tia-v2.0.0` tag freezes the tested mathematical/software +implementation underlying the Zenodo formalization. Publication metadata was finalized +immediately afterward on the repository documentation line: the DOI badge, +released-status changelog/roadmap text, rights-and-archiving update, and +`CITATION-D4-TIA.cff` do not alter the frozen runtime contracts, fixtures, +receiver mapping, or deterministic commitments. + +This release archives the D4-TIA-COV v0.1.0 algebra engine, +D4-TIA-S3-EQUIV v0.1.0 symmetry harness, and D4-TIA-15 v2.0.0 +evaluated-covariant sonification profile as one separately versioned D4-TIA +research line. + +### D4-TIA-15 v2.0.0 — evaluated-orbit profile - Added an evaluated-covariant sonification profile downstream of the exact D4-TIA-COV algebra engine and D4-TIA-S3-EQUIV symmetry harness. @@ -22,7 +40,7 @@ build command, verifier, tests, and documentation while retaining the root ban on rendered audio and canonical tempo/tuning. -## Unreleased — D4-TIA-S3-EQUIV v0.1.0 harness +### D4-TIA-S3-EQUIV v0.1.0 — exact symmetry harness - Added the exact six-element D4/F4 triality action generated by Sakai's \(w_S,w_T\) involutions and pinned a deterministic six-point D4 orbit. @@ -36,10 +54,9 @@ under all six representatives: 90 symbolic identities. - Explicitly documented that the six modular representatives are quotient-class representatives, not a literal six-element subgroup of \(SL_2(\mathbb Z)\). -- Added a verifier, tests, roadmap integration, and no new sonification, - MIDI, tuning, tempo, timbre, or rendered-audio behavior. +- Added the canonical harness fixture, verifier, tests, and documentation. -## Unreleased — D4-TIA-COV v0.1.0 algebra engine +### D4-TIA-COV v0.1.0 — exact covariant algebra engine - Added an exact sparse-polynomial engine over reduced rational arithmetic for a binary quadratic and binary cubic. @@ -51,12 +68,13 @@ \(d,m,k\) and checked them against the existing literature ledger. - Added canonical term-count and SHA-256 fixtures, a schema, verifier, tests, and a dedicated mathematical specification. -- Locked the follow-up sequence to: \(S_3\) orbit/equivariance harness, - D4-TIA-15 v2 evaluated-covariant sonification, then freeze/tag/archive and - Zenodo update. - No ETQ identity, MIDI mapping, tempo, tuning, or rendered-audio behavior was changed. +The freeze/tag/archive and Zenodo formalization steps for this line are complete. +Any future D4-TIA receiver remapping or semantic change must use a new version +rather than modifying the frozen v2.0.0 release. + ## Unreleased — D4-TIA-15 v1.0.0 profile - Added a separately versioned symbolic sonification profile over the published diff --git a/CITATION-D4-TIA.cff b/CITATION-D4-TIA.cff new file mode 100644 index 0000000..cead685 --- /dev/null +++ b/CITATION-D4-TIA.cff @@ -0,0 +1,39 @@ +cff-version: 1.2.0 +message: "If you use or discuss the D4-TIA v2 research line, please cite it using this metadata and preserve the repository attribution." +title: "D4-TIA v2.0.0 — Exact D4 Triality Covariants, S3 Equivariance, and Evaluated Sonification" +type: software +authors: + - family-names: "Slade" + given-names: "Trent" + affiliation: "QSOL-IMC" +repository-code: "https://github.com/QSOLKCB/SONIFICATION" +url: "https://doi.org/10.5281/zenodo.22831753" +version: 2.0.0 +date-released: 2026-09-18 +license: MPL-2.0 +identifiers: + - type: doi + value: "10.5281/zenodo.22831753" + description: "Archived D4-TIA v2.0.0 release" +keywords: + - D4 triality + - F4 Weyl group + - S3 equivariance + - invariant theory + - binary covariants + - transvectants + - exact rational arithmetic + - mathematical sonification + - symbolic MIDI + - reproducible research +preferred-citation: + type: software + authors: + - family-names: "Slade" + given-names: "Trent" + affiliation: "QSOL-IMC" + title: "D4-TIA v2.0.0 — Exact D4 Triality Covariants, S3 Equivariance, and Evaluated Sonification" + version: 2.0.0 + year: 2026 + doi: "10.5281/zenodo.22831753" + url: "https://doi.org/10.5281/zenodo.22831753" diff --git a/NOTICE b/NOTICE index e58641c..6c55fa0 100644 --- a/NOTICE +++ b/NOTICE @@ -14,6 +14,8 @@ Preferred attribution: Trent Slade / QSOL-IMC, SONIFICATION and ETQ-101, https://github.com/QSOLKCB/SONIFICATION -Citation metadata is provided in CITATION.cff. +Citation metadata is version-specific: +- use `CITATION.cff` for the ETQ-303 v3.0.1 documentation/publication release; +- use `CITATION-D4-TIA.cff` for the archived D4-TIA v2.0.0 release. No ownership is claimed over pre-existing mathematics or scientific facts. diff --git a/README.md b/README.md index f5911d4..342de1c 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,6 @@ # SONIFICATION — ETQ-303 and D4 Triality Research -[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.21494678.svg)](https://doi.org/10.5281/zenodo.21494678) +[![ETQ-303 v3.0.1 DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.21494678.svg)](https://doi.org/10.5281/zenodo.21494678) [![D4-TIA v2.0.0 DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.22831753.svg)](https://doi.org/10.5281/zenodo.22831753) This repository contains two related but separately versioned research lines: @@ -253,16 +253,17 @@ Where a mapping is authored rather than mathematically forced, the documentation - [Implementation roadmap](docs/ROADMAP.md) - [Formal ETQ-303 v3.0.1 paper](docs/etq-303/README.md) -## Archived ETQ releases +## Archived releases - **ETQ-101 v2.0.0** — DOI `10.5281/zenodo.21432511` - **ETQ-303 v3.0.0** — DOI `10.5281/zenodo.21455181` - **ETQ-303 v3.0.1 documentation/publication release** — DOI `10.5281/zenodo.21494678` +- **D4-TIA v2.0.0** — DOI `10.5281/zenodo.22831753` -The D4-TIA-COV, D4-TIA-S3-EQUIV, and D4-TIA-15 v2 line is implemented and is the next research line to freeze and archive. +D4-TIA v2.0.0 archives the frozen D4-TIA-COV v0.1.0, D4-TIA-S3-EQUIV v0.1.0, and D4-TIA-15 v2.0.0 research line. The immutable implementation tag `d4-tia-v2.0.0` points to commit `7aa6df165d0ad70297365dbf0d69072634ed4314`. Publication/citation metadata was finalized afterward on the documentation line without changing the frozen D4-TIA runtime identity or deterministic commitments. D4-TIA remains separately versioned from the preserved ETQ runtime contracts. ## Creator and licence Created by **Trent Slade / QSOL-IMC**. -Licensed under the Mozilla Public License 2.0. Preserve the copyright and licence notices and use `CITATION.cff` for citation metadata. +Licensed under the Mozilla Public License 2.0. Preserve the copyright and licence notices. Use `CITATION.cff` for ETQ-303 citation metadata and `CITATION-D4-TIA.cff` for the archived D4-TIA v2.0.0 release. diff --git a/docs/D4_TRIALITY_COVARIANT_ENGINE.md b/docs/D4_TRIALITY_COVARIANT_ENGINE.md index fb716f5..f9c5888 100644 --- a/docs/D4_TRIALITY_COVARIANT_ENGINE.md +++ b/docs/D4_TRIALITY_COVARIANT_ENGINE.md @@ -101,8 +101,8 @@ is a verification failure. - exact sparse term count; and - SHA-256 of the canonical exact polynomial. -The fixture was deliberately kept separate from D4-TIA-15's MIDI/event contract. -This PR does not alter MIDI mapping, tempo, tuning, timbre, or any ETQ identity. +The fixture is deliberately kept separate from D4-TIA-15's MIDI/event contract. +This engine does not alter MIDI mapping, tempo, tuning, timbre, or any ETQ identity. Run: @@ -111,18 +111,28 @@ npm test npm run verify:d4-tia-cov ``` -## Sequenced follow-up - -The research sequence is intentionally locked: - -1. **D4-TIA-COV v0.1** — exact covariant algebra engine — this phase. -2. **D4/F4 \(S_3\) orbit + equivariance harness** — next. -3. **D4-TIA-15 v2** — sonify evaluated covariants/orbits while testing - equivariance before invariant projection. -4. Freeze/tag/archive the resulting research line, then update Zenodo. - -The next phase should test commutation of the mathematical action and the -symbolic receiver action rather than adding another ad-hoc three-way mapping. +## Completed research sequence and archive + +This engine became the first executable layer of the now-completed D4-TIA v2 +research sequence: + +1. **D4-TIA-COV v0.1.0** — exact covariant algebra engine — complete. +2. **D4-TIA-S3-EQUIV v0.1.0** — exact D4/F4 \(S_3\) orbit and equivariance + harness — complete. +3. **D4-TIA-15 v2.0.0** — evaluated-covariant orbit sonification downstream of + those exact checks — complete. +4. **Freeze/tag/archive** — implementation frozen at immutable Git tag + `d4-tia-v2.0.0`, commit + `7aa6df165d0ad70297365dbf0d69072634ed4314`. Publication/citation metadata + was finalized afterward on the documentation line without changing that + frozen implementation identity. +5. **Zenodo formalization** — complete at DOI + `10.5281/zenodo.22831753`. + +The completed sequence preserves the original design rule: test the mathematical +action and covariant equivariance before introducing the receiver mapping. Any +future receiver remapping or semantic change belongs to a new D4-TIA version, +not a modification of the frozen v2.0.0 release. ## Source boundary diff --git a/docs/D4_TRIALITY_S3_EQUIVARIANCE.md b/docs/D4_TRIALITY_S3_EQUIVARIANCE.md index afd8caa..cb220d7 100644 --- a/docs/D4_TRIALITY_S3_EQUIVARIANCE.md +++ b/docs/D4_TRIALITY_S3_EQUIVARIANCE.md @@ -3,7 +3,7 @@ **Status:** implemented research harness **Harness ID:** `D4-TIA-S3-EQUIV` **Version:** `0.1.0` -**Sonification impact:** none — this phase tests symmetry before receiver design +**Sonification impact:** this harness itself adds no receiver mapping; it supplies the exact symmetry boundary used by the released D4-TIA-15 v2.0.0 profile ## Purpose @@ -181,22 +181,28 @@ exact symbolic equivariance checks. No numerical tolerance, floating-point comparison, sampling argument, or listener-facing receiver is involved. -## Why this comes before D4-TIA-15 v2 +## Role in the completed D4-TIA-15 v2 sequence D4-TIA-15 v1 maps invariant-algebra grading metadata into symbolic MIDI fields. -The next version is intended to sonify **evaluated covariants and their orbit -behavior**. - -Before that can be done responsibly, the repository needs a tested statement of -what is allowed to move under triality and what must remain invariant after -projection. - -This harness supplies that boundary. - -The next phase may define a receiver \(\Phi\) only if it preserves the tested -equivariance structure before any invariant aggregation. In other words, the -design target is a commuting diagram, not an aesthetically chosen three-way -permutation. +This harness was introduced before v2 so that evaluated-covariant sonification +would have a tested statement of what is allowed to move under triality and what +must remain invariant after projection. + +That sequence is now complete. **D4-TIA-15 v2.0.0** evaluates the covariants +across the six frozen quotient representatives, rechecks exact equivariance +before receiver mapping, and then applies its separately declared symbolic MIDI +mapping. + +The harness therefore remains the mathematical boundary underneath the released +receiver rather than a plan for future work: the receiver layer is downstream of +the exact symmetry checks, not an aesthetically chosen three-way permutation. + +The combined D4-TIA-COV v0.1.0, D4-TIA-S3-EQUIV v0.1.0, and D4-TIA-15 v2.0.0 +implementation is frozen at Git tag `d4-tia-v2.0.0`, commit +`7aa6df165d0ad70297365dbf0d69072634ed4314`. Publication/citation metadata +was finalized afterward on the documentation line without changing that frozen +implementation identity, and the formalized release is archived at Zenodo DOI +`10.5281/zenodo.22831753`. ## Verify diff --git a/docs/RIGHTS_AND_ARCHIVING.md b/docs/RIGHTS_AND_ARCHIVING.md index c617e38..628d66a 100644 --- a/docs/RIGHTS_AND_ARCHIVING.md +++ b/docs/RIGHTS_AND_ARCHIVING.md @@ -4,7 +4,7 @@ This project permits reuse while keeping origin and changes visible. Trent Slade / QSOL-IMC is identified as the original creator in [`NOTICE`](../NOTICE), -[`AUTHORS.md`](../AUTHORS.md), and [`CITATION.cff`](../CITATION.cff). +[`AUTHORS.md`](../AUTHORS.md), [`CITATION.cff`](../CITATION.cff), and the D4-TIA-specific [`CITATION-D4-TIA.cff`](../CITATION-D4-TIA.cff). The repository uses the [Mozilla Public License 2.0](https://www.mozilla.org/MPL/2.0/). MPL-2.0 allows @@ -48,8 +48,9 @@ presentations: 1. retain `LICENSE` and applicable source notices as MPL-2.0 requires; 2. retain `NOTICE` when redistributing the project as a whole; 3. identify modifications accurately; and -4. cite the project using `CITATION.cff` and a DOI for the same released - version, once available. +4. cite the matching released line using `CITATION.cff` for ETQ-303 or + `CITATION-D4-TIA.cff` for D4-TIA, together with the DOI for that same + released version. Git hashes, ETQ contract hashes, basis hashes, adjacency hashes, release tags, and archive DOIs should be recorded together. Hashes show artifact identity; @@ -61,8 +62,9 @@ The repository includes [`.zenodo.json`](../.zenodo.json) for the current open software deposit under MPL-2.0. Version-specific archives must remain distinct: - ETQ-101 v2.0.0: `10.5281/zenodo.21432511`; -- ETQ-303 v3.0.0: `10.5281/zenodo.21455181`; and -- ETQ-303 v3.0.1: `10.5281/zenodo.21494678` (documentation-only clarification). +- ETQ-303 v3.0.0: `10.5281/zenodo.21455181`; +- ETQ-303 v3.0.1: `10.5281/zenodo.21494678` (documentation-only clarification); and +- D4-TIA v2.0.0: `10.5281/zenodo.22831753` (separately versioned D4-TIA research release; frozen implementation tag `d4-tia-v2.0.0` at commit `7aa6df165d0ad70297365dbf0d69072634ed4314`). For each new version: @@ -70,10 +72,26 @@ For each new version: 2. preserve prior version tags, files, and DOI metadata unchanged; 3. confirm creator spelling, affiliation, and verified ORCID metadata; 4. regenerate checksums for every changed publication artifact; -5. confirm the new version DOI in the paper source, `CITATION.cff`, release notes, - and version-specific archiving documentation; and +5. confirm the new version DOI in the paper source, the matching citation file + (`CITATION.cff` for ETQ-303 or `CITATION-D4-TIA.cff` for D4-TIA), release + notes, and version-specific archiving documentation; and 6. verify Zenodo's current rights field in the draft interface. Zenodo record metadata remains separately reusable under Zenodo's metadata terms. Keep the public record accurate and avoid claiming that the archive DOI validates the model's scientific interpretation. + + +### Current citation-file split + +`CITATION.cff` remains the citation record for the ETQ-303 v3.0.1 +documentation/publication release. The separately archived D4-TIA v2.0.0 line +uses `CITATION-D4-TIA.cff`, which records DOI +`10.5281/zenodo.22831753`, the repository location, and the D4-TIA release +title/version. The frozen implementation tag `d4-tia-v2.0.0` and commit +`7aa6df165d0ad70297365dbf0d69072634ed4314` are recorded separately in the +README, changelog, and archive history above. Publication/citation metadata was +finalized afterward on the documentation line; no intermediate documentation +commit is designated as a complete archive snapshot. This avoids relabelling +either research line while keeping the frozen implementation identity distinct +from later metadata-only corrections. diff --git a/docs/ROADMAP.md b/docs/ROADMAP.md index 468dd17..6cc0d28 100644 --- a/docs/ROADMAP.md +++ b/docs/ROADMAP.md @@ -109,16 +109,19 @@ The coefficient probe, temporal layout, and exact-rank-to-pitch rule are authored receiver choices. The exact algebra, quotient action, equivariance checks, and order-zero invariant behavior are separately verified. -## Sequenced D4-TIA research follow-up +## D4-TIA v2 release and archive — completed -The remaining D4-TIA sequence is intentionally ordered: +The first complete D4-TIA research line is now frozen and archived: -1. **Freeze/tag/archive** the D4-TIA-COV, D4-TIA-S3-EQUIV, and D4-TIA-15 v2 - research line. -2. **Update Zenodo** with the frozen research release and provenance. +1. **Freeze/tag/archive — complete.** The immutable GitHub release + `d4-tia-v2.0.0` freezes D4-TIA-COV v0.1.0, D4-TIA-S3-EQUIV v0.1.0, + and D4-TIA-15 v2.0.0. +2. **Zenodo formalization — complete.** The archived release is published at + DOI `10.5281/zenodo.22831753`. -The evaluated-covariant sonification layer is now implemented. No further -receiver remapping should occur before this line is frozen and archived. +The v2 receiver mapping and its exact commitments are now historical release +identity. Any future receiver remapping or semantic change must use a new +version rather than modifying the frozen v2.0.0 line. The remaining numbered phases below apply only to the independent `APP/` and `sonification/` audio laboratories.