diff --git a/.zenodo.json b/.zenodo.json index 4628738..18cfd38 100644 --- a/.zenodo.json +++ b/.zenodo.json @@ -6,8 +6,8 @@ "affiliation": "QSOL-IMC" } ], - "description": "
ETQ-303 v3.0.0 is an exact finite 303-state event protocol constructed as H_101 tensor C^3 over the preserved ETQ-101 v2 selected-root basis. It defines a single exact 303-step monomial support traversal, aligned Gaussian-unit phase labels, the Cartesian graph lift G_101 square C_3, a canonical event document, deterministic JSON/CSV/MIDI receiver artifacts, and acyclic provenance receipts that bind a normalized v3 implementation source bundle.
The 303 states are root-indexed tensor states, not 303 distinct E8 roots. Root artifacts are restricted to .json, .csv, and .mid; graph and atlas data are serialized as JSON. The canonical contract contains no hertz, sample rate, waveform, PCM, WAV, floating eigensolver identity, physical validation, or privileged receiver. The archived ETQ-101 v2.0.0 base release is DOI 10.5281/zenodo.21432511.
", - "version": "3.0.0", + "description": "ETQ-303 v3.0.1 is a documentation-only terminology and exposition clarification of the exact finite event protocol archived as v3.0.0 at DOI 10.5281/zenodo.21455181. It explicitly declares complex scalars, finite-dimensional vector spaces, algebraic dimension, and tensor products over C.
The state space is H_303 = H_101 tensor C^3, with dim(H_303) = dim(H_101) dim(C^3) = 101 x 3 = 303. Here 303 is the algebraic dimension of the finite event/state vector space and the number of basis-indexed states; it is not a claim about physical spacetime dimensions. The C^3 factor is the declared independent three-state or qutrit-like protocol factor and implies no additional physical ontology.
The E8 root system is represented in an 8-dimensional Euclidean root space, D4 has algebraic rank 4, ETQ-101 contains 101 selected basis states, and ETQ-303 contains 303 tensor states. These mathematical dimensions and state counts do not by themselves imply a physical interpretation.
No mathematical construction, event ordering, deterministic artifact, fixture, implementation identity, protocol hash, software behavior, or scientific claim was changed. Root artifacts remain restricted to .json, .csv, and .mid, and the archived ETQ-101 v2.0.0 base release remains DOI 10.5281/zenodo.21432511.
", + "version": "3.0.1", "upload_type": "software", "access_right": "open", "license": "MPL-2.0", @@ -22,8 +22,13 @@ "reproducible artifacts", "symbolic MIDI" ], - "notes": "Copyright (c) 2026 Trent Slade / QSOL-IMC. Distributed under the Mozilla Public License 2.0. Preserve copyright and licence notices, identify modifications, and use the repository CITATION.cff for scholarly citation. The v3 release preserves ETQ-101 v2.0.0 at Git tag v2.0.0 and DOI 10.5281/zenodo.21432511 as its immutable base lineage.", + "notes": "Documentation-only patch. ETQ-303 v3.0.0 remains immutable at Git tag v3.0.0, commit 6b55e51647226d1c248dc8d79f9ed9336241c2ac, and DOI 10.5281/zenodo.21455181. Copyright (c) 2026 Trent Slade / QSOL-IMC. Distributed under the Mozilla Public License 2.0. Preserve copyright and licence notices, identify modifications, and use the repository CITATION.cff for scholarly citation. ETQ-101 v2.0.0 remains the immutable base lineage at DOI 10.5281/zenodo.21432511.", "related_identifiers": [ + { + "identifier": "https://doi.org/10.5281/zenodo.21455181", + "relation": "isNewVersionOf", + "resource_type": "software" + }, { "identifier": "https://doi.org/10.5281/zenodo.21432511", "relation": "isDerivedFrom", diff --git a/CHANGELOG.md b/CHANGELOG.md index 07105f9..3c6675c 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,5 +1,24 @@ # Changelog +## 3.0.1 — dimension terminology clarification + +- Clarified that every use of “dimension” in the ETQ-303 construction refers + to finite-dimensional algebraic vector spaces unless explicitly stated + otherwise; it does not refer to physical spacetime dimensions. +- Added notation conventions for scalars in `C`, `dim(V)`, tensor products over + `C`, and operators on declared finite-dimensional spaces. +- Added the explicit derivation + `dim(H_303) = dim(H_101) dim(C^3) = 101*3 = 303` and stated that 303 is both + the algebraic state-space dimension and the number of basis-indexed states. +- Clarified that `E8` is represented in an 8-dimensional Euclidean root space, + `D4` has rank 4, ETQ-101 contains 101 selected basis states, and ETQ-303 + contains 303 tensor states. +- Added the canonical LaTeX source, rebuilt PDF, publication build instructions, + and regenerated publication-file checksums to the repository. +- No mathematical behavior, state indexing, event generation, deterministic + output, protocol hash, test fixture, implementation identity, or scientific + claim was changed. The archived v3.0.0 release remains immutable. + ## 3.0.0 — ETQ-303 exact event protocol - Promoted the optional `H_303 = H_101 tensor C^3` extension into a separately diff --git a/CITATION.cff b/CITATION.cff index cf4c346..7eb2d1e 100644 --- a/CITATION.cff +++ b/CITATION.cff @@ -8,10 +8,13 @@ authors: affiliation: "QSOL-IMC" repository-code: "https://github.com/QSOLKCB/SONIFICATION" url: "https://github.com/QSOLKCB/SONIFICATION" -version: 3.0.0 -date-released: 2026-07-20 +version: 3.0.1 +date-released: 2026-07-22 license: MPL-2.0 identifiers: + - type: doi + value: "10.5281/zenodo.21455181" + description: "Archived ETQ-303 v3.0.0 original release" - type: doi value: "10.5281/zenodo.21432511" description: "Archived ETQ-101 v2.0.0 base release" @@ -31,6 +34,6 @@ preferred-citation: given-names: "Trent" affiliation: "QSOL-IMC" title: "ETQ-303 v3: Exact 303-State Root-Indexed Event Protocol" - version: 3.0.0 + version: 3.0.1 year: 2026 url: "https://github.com/QSOLKCB/SONIFICATION" diff --git a/README.md b/README.md index ea89fda..7362453 100644 --- a/README.md +++ b/README.md @@ -1,11 +1,13 @@ -# ETQ-303 v3: Exact 303-State Root-Indexed Event Protocol +# ETQ-303 v3.0.1: Exact 303-State Root-Indexed Event Protocol **A deterministic, receiver-neutral event protocol built as the exact product `H_101 tensor C^3` over the preserved ETQ-101 v2 selected-root model.** -ETQ-303 v3.0.0 turns the optional full-qutrit extension from ETQ-101 v2 into a -complete implementation. Its canonical output is a 303-entry event document, -not a MIDI file and not rendered audio. +ETQ-303 v3.0.1 is a documentation-only clarification of the exact protocol +first archived as v3.0.0. It does not change the mathematical construction, +state indexing, event generation, deterministic outputs, or scientific claim +boundary. The canonical output remains a 303-entry event document, not a MIDI +file and not rendered audio. ```text ETQ-101 v2 selected roots @@ -34,6 +36,42 @@ monomial operator has exact order 303. **These are 303 root-indexed tensor states, not 303 distinct E8 roots.** +## Notation and Conventions + +Unless explicitly stated otherwise, scalars are in \(\mathbb C\), all vector +spaces in the ETQ-303 construction are finite-dimensional, \(\dim(V)\) is +algebraic vector-space dimension, and \(\otimes\) is the tensor product over +\(\mathbb C\). Operators act on the finite-dimensional spaces declared by the +construction. + +Throughout the ETQ-303 documentation, “dimension” means finite-dimensional +vector-space dimension unless another mathematical meaning is explicitly +declared. It never means physical spacetime dimension. The \(E_8\) root system +is represented in an 8-dimensional Euclidean root space, while each \(D_4\) +factor has rank 4. Those numbers describe algebraic root spaces, not spacetime. +No physical interpretation follows from rank, dimension, state count, or +tensor-product notation alone. + +The state-space construction is explicitly + +\[ +\mathcal H_{303}=\mathcal H_{101}\otimes\mathbb C^3, +\] + +with + +\[ +\dim(\mathcal H_{303}) +=\dim(\mathcal H_{101})\dim(\mathbb C^3) +=101\times3 +=303. +\] + +Thus 303 is both the algebraic dimension of the finite event/state vector space +and the number of basis-indexed states. The \(\mathbb C^3\) factor is the +declared independent three-state, or qutrit-like, protocol factor; it introduces +no additional physical ontology. + ## Exact graph context V3 defines the Cartesian graph lift @@ -89,6 +127,10 @@ core, canonical serializer, receivers, artifact builder, and build entrypoint. This binds generated artifacts to the implementation that produced them even when the semantic version remains `3.0.0`. +The repository/documentation release is v3.0.1, while the unchanged canonical +runtime contract remains v3.0.0. Consequently this patch does not regenerate or +rename protocol fixtures, event hashes, or the v3 implementation identity. + The generated bundle uses `./contract.schema.json`, so its contract validates without depending on the repository directory layout. The committed repository fixture continues to reference `../spec/etq-303.v3.schema.json`. `$schema` is @@ -123,6 +165,8 @@ non-`dist/` output paths and never recursively deletes a caller-selected path. - [Exact event protocol](docs/ETQ_V3_EVENT_PROTOCOL.md) - [Claim boundaries](docs/ETQ_V3_CLAIM_BOUNDARIES.md) - [v2 to v3 migration](docs/ETQ_V2_TO_V3_MIGRATION.md) +- [Formal v3.0.1 paper and build instructions](docs/etq-303/README.md) +- [v3.0.1 release notes](docs/ETQ_V3_0_1_RELEASE_NOTES.md) - [ETQ-101 v2 mathematical model](docs/MATHEMATICAL_MODEL.md) - [Auxiliary Tanner tuning fork](docs/TANNER_TUNING_FORK.md) @@ -134,6 +178,15 @@ The preserved base release is ETQ-101 v2.0.0: `8c24d58ca76abbac77c427a4f63ca434570c82b3` - archive DOI: `10.5281/zenodo.21432511` +The original ETQ-303 release remains immutable: + +- source: Git tag `v3.0.0`, commit + `6b55e51647226d1c248dc8d79f9ed9336241c2ac` +- archive DOI: `10.5281/zenodo.21455181` + +Version 3.0.1 adds only terminology and exposition clarifications. It is +intended to receive its own tag and Zenodo version DOI after review and merge. + The acyclic receipt architecture is methodologically informed by the archived receipt-bound observation protocol versions `10.5281/zenodo.21292906` and `10.5281/zenodo.21293821`. They are provenance-method references, not @@ -143,13 +196,14 @@ mathematical dependencies of ETQ-303. A precise description is: -> ETQ-303 v3.0.0 is an exact finite 303-state tensor extension of the preserved +> ETQ-303 v3.0.1 documents the exact finite 303-state tensor extension of the preserved > ETQ-101 v2 selected-root basis, with a single 303-step monomial support > traversal, exact Gaussian-unit phase labels, an exact Cartesian graph lift, > and deterministic receiver artifacts bound to one canonical event document. -It does not claim a 303-dimensional E8 representation, 303 distinct roots, -physical qutrit hardware, an E8-selected acoustic scale, or empirical +Here “303-dimensional” is strictly algebraic. The construction does not claim +303 physical dimensions, a 303-dimensional E8 representation, 303 distinct +roots, physical qutrit hardware, an E8-selected acoustic scale, or empirical validation. ## Creator and licence diff --git a/docs/ETQ_V2_TO_V3_MIGRATION.md b/docs/ETQ_V2_TO_V3_MIGRATION.md index 7e0d57d..6650b1e 100644 --- a/docs/ETQ_V2_TO_V3_MIGRATION.md +++ b/docs/ETQ_V2_TO_V3_MIGRATION.md @@ -1,5 +1,20 @@ # ETQ-101 v2 to ETQ-303 v3 Migration +## v3.0.1 documentation clarification + +Version 3.0.1 adds notation conventions and makes the finite-dimensional +identity explicit: + +\[ +\mathcal H_{303}=\mathcal H_{101}\otimes\mathbb C^3, +\qquad +\dim(\mathcal H_{303})=101\times3=303. +\] + +These are algebraic vector-space dimensions and basis-state counts, not +physical spacetime dimensions. The clarification does not change any item in +the preserved or new-v3 lists below, nor any runtime artifact or hash. + ## Preserved unchanged - standard 240-root E8 construction; diff --git a/docs/ETQ_V3_0_1_RELEASE_NOTES.md b/docs/ETQ_V3_0_1_RELEASE_NOTES.md new file mode 100644 index 0000000..a11a839 --- /dev/null +++ b/docs/ETQ_V3_0_1_RELEASE_NOTES.md @@ -0,0 +1,55 @@ +# ETQ-303 v3.0.1 — terminology and exposition clarification + +ETQ-303 v3.0.1 is a documentation-only patch to the exact protocol archived as +v3.0.0. It responds to reader feedback by removing any possible ambiguity +between algebraic vector-space dimension and physical spacetime dimension. + +## Clarifications + +- Added a “Notation and conventions” subsection declaring complex scalars, + finite-dimensional state spaces, algebraic `dim(V)`, tensor products over + `C`, and the domains on which operators act. +- Made the tensor construction and its dimension explicit: + + \[ + \mathcal H_{303}=\mathcal H_{101}\otimes\mathbb C^3, + \qquad + \dim(\mathcal H_{303}) + =\dim(\mathcal H_{101})\dim(\mathbb C^3) + =101\times3 + =303. + \] + +- Stated that 303 is the dimension of the finite event/state vector space and + the number of basis-indexed states, not a claim of 303 physical dimensions. +- Clarified that `E8` is realized in an 8-dimensional Euclidean root space, + `D4` has algebraic rank 4, ETQ-101 contains 101 selected basis states, and + ETQ-303 contains 303 tensor states. +- Added the canonical v3.0.1 LaTeX source, generated PDF, build instructions, + and publication-file checksums to the repository. + +## Change boundary + +No mathematical construction, equation of motion, operator, state ordering, +event ordering, canonical JSON, schema, deterministic receiver, fixture, +checksum, implementation identity, test behavior, or scientific claim was +changed. The protocol's machine-readable identity remains v3.0.0. + +The original Git tag `v3.0.0`, commit +`6b55e51647226d1c248dc8d79f9ed9336241c2ac`, and Zenodo DOI +`10.5281/zenodo.21455181` remain immutable. + +## Zenodo v3.0.1 upload set + +Replace the prior paper source and PDF with: + +- `ETQ-303_formal_model_v3.0.1.tex`; +- `ETQ-303_formal_model_v3.0.1.pdf`; and +- regenerated `UPLOAD_SHA256SUMS.txt`. + +Retain the unchanged `ETQ-303_references.bib`, +`ETQ-303_data_table_v3.0.0.xlsx`, and +`ETQ-303_parameter_table_v3.0.0.csv` under their existing names because they +describe the unchanged v3.0.0 protocol and data identity. If a convenience +archive is desired, rebuild it as `ETQ-303_Zenodo_Submission_v3.0.1.zip` +without altering those retained data files. diff --git a/docs/ETQ_V3_CLAIM_BOUNDARIES.md b/docs/ETQ_V3_CLAIM_BOUNDARIES.md index d8b5e42..e73627b 100644 --- a/docs/ETQ_V3_CLAIM_BOUNDARIES.md +++ b/docs/ETQ_V3_CLAIM_BOUNDARIES.md @@ -1,4 +1,7 @@ -# ETQ-303 v3.0.0 Claim Boundaries +# ETQ-303 v3.0.1 Claim Boundaries + +Version 3.0.1 clarifies terminology only. The exact protocol, canonical v3.0.0 +contract, deterministic artifacts, and scientific claim boundary are unchanged. ## Supported wording @@ -12,6 +15,8 @@ | Topic | Supported | Do not claim | |---|---|---| +| Dimension terminology | Finite-dimensional algebraic vector-space dimension; `dim(H_303) = dim(H_101) dim(C^3) = 101*3 = 303` | Physical spacetime dimensions or physical ontology inferred from a tensor product | +| E8 and D4 spaces | `E8` in an 8-dimensional Euclidean root space; `D4` of algebraic rank 4 | Eight- or four-dimensional spacetime models | | E8 roots | 101 preserved selected E8 root labels, each paired with three external fibre states | 303 distinct E8 roots | | State space | `H_303 = H_101 tensor C^3` | 303-dimensional representation of the E8 Lie algebra | | Ternary labels | internal triality label and external fibre label are separate fields | the two labels are the same physical degree of freedom | diff --git a/docs/ETQ_V3_EVENT_PROTOCOL.md b/docs/ETQ_V3_EVENT_PROTOCOL.md index 3a4f972..a222955 100644 --- a/docs/ETQ_V3_EVENT_PROTOCOL.md +++ b/docs/ETQ_V3_EVENT_PROTOCOL.md @@ -1,15 +1,36 @@ -# ETQ-303 v3.0.0 Exact Event Protocol +# ETQ-303 v3 Exact Event Protocol + +> **Documentation version 3.0.1.** This is a terminology and exposition +> clarification of the protocol first archived as v3.0.0. No mathematical +> construction, event behavior, ordering, fixture, hash, or scientific claim +> changed. ## 1. Scope and normative status -ETQ-303 v3.0.0 is an exact finite extension of the released ETQ-101 v2.0.0 -selected-root model. It promotes the optional product space from the v2 formal -specification into a separately named event protocol: +ETQ-303 v3.0.1 documents the exact finite extension of the released ETQ-101 +v2.0.0 selected-root model first published as ETQ-303 v3.0.0. The original +release promotes the optional product space from the v2 formal specification +into a separately named event protocol: \[ \mathcal H_{303}=\mathcal H_{101}\otimes\mathbb C^3. \] +Because both factors are finite-dimensional, + +\[ +\dim(\mathcal H_{303}) +=\dim(\mathcal H_{101})\dim(\mathbb C^3) +=101\times3 +=303. +\] + +Thus 303 is the algebraic dimension of the finite event/state vector space and +also the number of basis-indexed states in the exact construction. It is not a +claim about 303 physical dimensions. The `C^3` factor is the declared +independent three-state, or qutrit-like, factor used by the protocol; the tensor +product introduces no additional physical ontology. + The v3 core is not an audio renderer. It defines a finite state registry, an exact monomial step, one complete 303-event traversal, an exact graph lift, and canonical reproducibility receipts. Persisted root receiver artifacts are JSON, @@ -20,6 +41,22 @@ The repository fixture is `examples/etq-303.v3.canonical.json`, with schema `contract.json` beside `contract.schema.json`, and the generated contract uses `./contract.schema.json` so it remains valid outside the repository layout. +## Notation and Conventions + +Unless explicitly stated otherwise, scalars are elements of \(\mathbb C\), all +vector spaces in the ETQ-303 construction are finite-dimensional, and +\(\dim(V)\) denotes the algebraic dimension of the vector space \(V\). The +symbol \(\otimes\) denotes the tensor product over \(\mathbb C\). Operators act +on the finite-dimensional spaces declared by the construction; real Euclidean +root-coordinate spaces are identified explicitly where used. + +Throughout this document, “dimension” means finite-dimensional vector-space +dimension unless another mathematical meaning is explicitly declared. It does +not mean physical spacetime dimension. References to the rank or dimensionality +of \(D_4\), \(E_8\), root spaces, selected-state spaces, and tensor-product +spaces are purely mathematical. No physical interpretation should be inferred +unless one is explicitly introduced. + ## 2. Preserved v2 base The base is the immutable ETQ-101 v2.0.0 release: @@ -37,6 +74,13 @@ V3 imports the v2 root generator and selector rather than modifying them. The site with an independent three-state fibre creates 303 states; it does not create 303 distinct E8 roots. +The ambient \(E_8\) root system is realized in the 8-dimensional Euclidean root +space \(\mathbb R^8\). The embedded \(D_4\) subsystem has rank 4; the numeral 4 +describes algebraic rank/root-space dimension, not four-dimensional spacetime. +The selected ETQ-101 graph-state basis contains 101 states, whereas its ETQ-303 +tensor extension contains 303 states. These counts are not coordinate-space or +spacetime dimensions. + ## 3. Two ternary labels that must not be conflated For a non-fixed v2 site, the selected basis already carries an **internal D4 diff --git a/docs/MATHEMATICAL_MODEL.md b/docs/MATHEMATICAL_MODEL.md index 8e59683..0e8f986 100644 --- a/docs/MATHEMATICAL_MODEL.md +++ b/docs/MATHEMATICAL_MODEL.md @@ -686,6 +686,16 @@ are conserved under the continuous unitary dynamics. ## 13. Full-qutrit tensor extension +> **ETQ-303 v3.0.1 terminology note.** In this extension, scalars are in +> \(\mathbb C\) unless explicitly stated otherwise, all vector spaces are +> finite-dimensional, \(\dim(V)\) is algebraic vector-space dimension, and +> \(\otimes\) is the tensor product over \(\mathbb C\). “Dimension” does not +> mean physical spacetime dimension. The 8-dimensional \(E_8\) root space, +> rank-4 \(D_4\) subsystem, 101-state selected basis, and 303-state tensor basis +> are distinct mathematical notions and imply no physical ontology. This note +> clarifies terminology only and does not revise the normative ETQ-101 v2 +> construction above. + Because 101 is not divisible by three, a qutrit cannot be a tensor factor of the entire 101-dimensional compact space. If every one of the 101 modes must carry a full qutrit, use @@ -698,6 +708,21 @@ $$ } $$ +Consequently, + +$$ +\dim(\mathcal H_{303}) +=\dim(\mathcal H_{101})\dim(\mathbb C^3) +=101\times3 +=303. +$$ + +Here 303 is the algebraic dimension of the finite event/state vector space and +the number of its basis-indexed states, not a claim of 303 physical dimensions. +The \(\mathbb C^3\) factor is the declared three-state, or qutrit-like, tensor +factor used by the protocol; the tensor product introduces no additional +physical ontology. + The original 101-dimensional state is then the reduced state $$ diff --git a/docs/RIGHTS_AND_ARCHIVING.md b/docs/RIGHTS_AND_ARCHIVING.md index 61f907f..f432c92 100644 --- a/docs/RIGHTS_AND_ARCHIVING.md +++ b/docs/RIGHTS_AND_ARCHIVING.md @@ -57,16 +57,22 @@ they do not by themselves prove legal authorship. ## Zenodo record policy -The repository includes [`.zenodo.json`](../.zenodo.json) for a future ETQ-101 -v2 open-software deposit under MPL-2.0. The displayed DOI currently identifies -the immutable v1.0.0 release and must not be cited as the v2 artifact. Before -publishing a v2 record: +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: documentation-only clarification, with its version DOI to be + added after Zenodo publishes the new version. + +For each new version: 1. archive an immutable release tag, not a moving branch; -2. confirm creator spelling and affiliation; -3. add an ORCID only if Trent Slade supplies and verifies it; -4. confirm the DOI back into `CITATION.cff` and the release notes; and -5. verify Zenodo's current rights field in the draft interface. +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 back into `CITATION.cff` and release notes; 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 diff --git a/docs/etq-303/README.md b/docs/etq-303/README.md new file mode 100644 index 0000000..25da3fd --- /dev/null +++ b/docs/etq-303/README.md @@ -0,0 +1,49 @@ +# ETQ-303 formal publication files + +The repository's canonical human-readable paper is stored by documentation +version under this directory. The original v3.0.0 paper was published on +Zenodo but was not tracked in the Git repository. + +| Version | Treatment | +|---|---| +| v3.0.0 | Immutable original release at DOI `10.5281/zenodo.21455181`, Git tag `v3.0.0`, commit `6b55e51647226d1c248dc8d79f9ed9336241c2ac` | +| v3.0.1 | Terminology and exposition clarification only; no protocol, state, event, fixture, hash, implementation, or claim change | + +The v3.0.0 archive identifies its original source and PDF with these SHA-256 +hashes: + +```text +120b248d0af5100aa9720fda971f0fbf5a5f0ee924e4d8be74a9a08e182412f2 ETQ-303_formal_model_v3.0.0.tex +1e81d6836afc75287c6f064835470a284c462b8b3c014bb2a2ca3c7ab2b96c63 ETQ-303_formal_model_v3.0.0.pdf +``` + +Those archived artifacts are not modified by v3.0.1. + +## v3.0.1 files + +- `v3.0.1/ETQ-303_formal_model_v3.0.1.tex` — canonical LaTeX source; +- `v3.0.1/ETQ-303_formal_model_v3.0.1.pdf` — generated PDF; +- `v3.0.1/ETQ-303_references.bib` — bibliography preserved from v3.0.0; and +- `v3.0.1/UPLOAD_SHA256SUMS.txt` — hashes of the tracked publication files. + +## Build + +The publication build requires `latexmk`, `pdflatex`, and `biber`, together +with the LaTeX packages declared in the source preamble. From the repository +root, run: + +```bash +npm run build:paper +``` + +The script builds in a temporary directory outside the repository, sets a fixed +`SOURCE_DATE_EPOCH`, fails on unresolved LaTeX diagnostics, writes the PDF +beside its source, and regenerates `UPLOAD_SHA256SUMS.txt`. Generated LaTeX +auxiliary files are not tracked. + +To verify the checksum manifest: + +```bash +cd docs/etq-303/v3.0.1 +sha256sum --check UPLOAD_SHA256SUMS.txt +``` diff --git a/docs/etq-303/v3.0.1/ETQ-303_formal_model_v3.0.1.pdf b/docs/etq-303/v3.0.1/ETQ-303_formal_model_v3.0.1.pdf new file mode 100644 index 0000000..3945fde Binary files /dev/null and b/docs/etq-303/v3.0.1/ETQ-303_formal_model_v3.0.1.pdf differ diff --git a/docs/etq-303/v3.0.1/ETQ-303_formal_model_v3.0.1.tex b/docs/etq-303/v3.0.1/ETQ-303_formal_model_v3.0.1.tex new file mode 100644 index 0000000..0bd3e04 --- /dev/null +++ b/docs/etq-303/v3.0.1/ETQ-303_formal_model_v3.0.1.tex @@ -0,0 +1,776 @@ +\documentclass[11pt,a4paper]{article} + +\usepackage[T1]{fontenc} +\usepackage[utf8]{inputenc} +\usepackage{lmodern} +\usepackage{microtype} +\usepackage[a4paper,margin=24mm,headheight=15pt]{geometry} +\usepackage{amsmath,amssymb,amsthm,mathtools} +\usepackage{booktabs,longtable,tabularx,array,multirow} +\usepackage{enumitem} +\usepackage{xcolor} +\usepackage{xurl} +\usepackage{hyperref} +\usepackage{fancyhdr} +\usepackage{caption} +\usepackage{listings} +\usepackage{seqsplit} +\usepackage{csquotes} +\usepackage[backend=biber,style=numeric,sorting=none,maxbibnames=99]{biblatex} +\addbibresource{ETQ-303_references.bib} + +% Keep the generated publication PDF byte-stable when SOURCE_DATE_EPOCH is set. +\ifdefined\pdftrailerid + \pdftrailerid{} +\fi + +\definecolor{etqblue}{HTML}{1F4E79} +\definecolor{etqcyan}{HTML}{008DA8} +\definecolor{etqlight}{HTML}{EEF3F6} +\definecolor{etqgray}{HTML}{4B5563} +\hypersetup{ + colorlinks=true, + linkcolor=etqblue, + citecolor=etqblue, + urlcolor=etqcyan, + pdfauthor={Trent Slade / QSOL-IMC}, + pdftitle={ETQ-303 v3.0.1 Formal Mathematical Specification and Reproducibility Record}, + pdfsubject={Exact 303-state root-indexed event protocol}, + pdfkeywords={E8, D4 triality, qutrit, graph product, deterministic event protocol, reproducibility} +} +\urlstyle{same} +\setlength{\emergencystretch}{3em} +\setlist{nosep,leftmargin=*} +\setcounter{tocdepth}{2} +\setcounter{secnumdepth}{3} + +\pagestyle{fancy} +\fancyhf{} +\fancyhead[L]{\small ETQ-303 v3.0.1 Formal specification} +\fancyhead[R]{\small Trent Slade / QSOL-IMC} +\fancyfoot[C]{\thepage} +\renewcommand{\headrulewidth}{0.3pt} + +\newtheorem{theorem}{Theorem} +\newtheorem{proposition}[theorem]{Proposition} +\newtheorem{lemma}[theorem]{Lemma} +\newtheorem{corollary}[theorem]{Corollary} +\theoremstyle{definition} +\newtheorem{definition}[theorem]{Definition} +\newtheorem{remark}[theorem]{Remark} + +\newcommand{\Hone}{\mathcal H_{101}} +\newcommand{\Hthree}{\mathcal H_{303}} +\newcommand{\Gone}{G_{101}} +\newcommand{\Gthree}{G_{303}} +\newcommand{\Fthree}{F_{303}} +\newcommand{\Zthree}{\mathbb Z_{3}} +\newcommand{\Zone}{\mathbb Z_{101}} +\newcommand{\hash}[1]{\texttt{\footnotesize\seqsplit{#1}}} +\newcommand{\statusExact}{\textbf{Exact}} +\newcommand{\statusAuthored}{\textbf{Authored}} +\newcommand{\statusExcluded}{\textbf{Excluded}} + +\lstset{ + basicstyle=\ttfamily\small, + backgroundcolor=\color{etqlight}, + frame=single, + rulecolor=\color{gray!40}, + breaklines=true, + columns=fullflexible, + keepspaces=true, + showstringspaces=false +} + +\begin{document} +\hypersetup{pageanchor=false} +\thispagestyle{empty} + +\begin{center} + \vspace*{22mm} + {\fontsize{31}{36}\selectfont\bfseries\color{etqblue} ETQ-303 v3}\par + \vspace{9mm} + {\fontsize{22}{27}\selectfont\bfseries Exact 303-State Root-Indexed\\[1.5mm]Event Protocol}\par + \vspace{14mm} + {\Large Formal Mathematical Specification\\and Reproducibility Record}\par + \vspace{22mm} + {\large Trent Slade}\par + {\large QSOL-IMC}\par + \vspace{8mm} + {\large Version 3.0.1 --- 22 July 2026}\par +\end{center} + +\vfill +\small +\noindent +\begin{tabularx}{\textwidth}{@{}>{\bfseries}p{38mm}>{\raggedright\arraybackslash}X@{}} +Archive source & \url{https://github.com/QSOLKCB/SONIFICATION} \\ +Original v3 release & Git tag \texttt{v3.0.0}; commit \hash{6b55e51647226d1c248dc8d79f9ed9336241c2ac} \\ +Original v3 DOI & \href{https://doi.org/10.5281/zenodo.21455181}{10.5281/zenodo.21455181} (ETQ-303 v3.0.0) \\ +Documentation patch & Version 3.0.1; terminology and exposition clarification only \\ +Base version DOI & \href{https://doi.org/10.5281/zenodo.21432511}{10.5281/zenodo.21432511} (ETQ-101 v2.0.0) \\ +v3.0.1 version DOI & Pending Zenodo \emph{New version} deposition; replace this field after publication \\ +Licence & Mozilla Public License 2.0 (MPL-2.0) \\ +Record status & Formal software specification and reproducibility record; no empirical or physical validation claim \\ +\end{tabularx} +\normalsize + +\vspace{8mm} +\colorbox{etqlight}{\parbox{0.95\textwidth}{\textbf{Archival note.} +This document is a documentation-only successor to the immutable ETQ-303 v3.0.0 release identified above. Version 3.0.1 clarifies algebraic dimension and tensor notation; it does not alter the mathematical construction, state indexing, event protocol, deterministic artifacts, implementation identity, or scientific claim boundary. The v3.0.0 tag and archived files remain unchanged.}} + +\clearpage +\hypersetup{pageanchor=true} +\pagenumbering{roman} +\begin{abstract} +ETQ-303 v3.0.1 documents the exact finite event protocol first released as ETQ-303 v3.0.0 and constructed from the released ETQ-101 v2.0.0 selected-root model. The preserved base has 101 E8-root labels arranged as two triality-fixed singlets and 33 complete order-three D4 triality orbits. Version 3 forms the tensor state space +\[ +\Hthree=\Hone\otimes\mathbb C^3, +\] +so every preserved site carries an independent three-state external fibre. A declared monomial step acts on support as +\[ +(j,a)\longmapsto(j+1\bmod 101,\ a+1\bmod 3) +\] +and carries exact Gaussian-unit phase exponents $(3,2,3)$, with aligned symbols $(-i,-1,-i)$. Coprimality of 101 and 3 gives one 303-state support orbit, while the three-step phase product equals one; hence the complete monomial operator has exact order 303. + +The graph context is the Cartesian product $\Gthree=\Gone\square C_3$. It has 303 vertices, 5,364 edges, degree range 24--57, and one connected component. Here 303 is the algebraic dimension and the number of basis-indexed states in a finite complex vector space, not a number of physical spacetime dimensions. The canonical output is a receiver-neutral 303-entry event document. JSON, CSV, graph JSON, atlas JSON, and symbolic MIDI artifacts are deterministic projections; no receiver is mathematically privileged. Identity-bearing JSON uses safe integers only, recursive lexicographic key order, domain-separated SHA-256 receipts, and an implementation source-bundle identity. The root workflow emits no hertz, sample rate, waveform, PCM, WAV, floating eigensolver identity, or empirical validation claim. +\end{abstract} + +\tableofcontents +\clearpage +\pagenumbering{arabic} + +\section{Purpose, scope, and normative status} +This manuscript is the human-readable formal specification and reproducibility record for the ETQ-303 v3.0.1 documentation patch. It describes the exact protocol and machine-readable identity first archived as ETQ-303 v3.0.0. The current machine-readable repository fixture is +\texttt{examples/etq-303.v3.canonical.json}; its schema is +\texttt{spec/etq-303.v3.schema.json}. The exact construction is implemented by the dependency-free Node.js modules named in the implementation identity, and the release verification entrypoint is \texttt{npm run verify}. + +The supported forward claim, unchanged from v3.0.0, is: +\begin{quote} +ETQ-303 v3.0.0 is an exact finite 303-state tensor extension of the preserved ETQ-101 v2 selected-root basis. It defines a single 303-step monomial support traversal with exact Gaussian-unit phase labels, the Cartesian graph lift $\Gone\square C_3$, a canonical event document, and deterministic allowlisted receiver artifacts with acyclic provenance receipts. +\end{quote} + +The word \emph{exact} refers to finite integer combinatorics, modular arithmetic, and finite-dimensional linear algebra after the declared v2 selector and v3 protocol choices have been fixed. It does not mean that the selector, external fibre, starting address, receiver mapping, or serialization vocabulary is uniquely selected by E8 or by nature. + +\subsection{Version lineage and archival identity} +Version 3 preserves the ETQ-101 v2.0.0 base release, its source tag, selected basis, adjacency, degree-potential numerators, and contract receipt \cite{slade_etq_v2_2026}. The v3 implementation was merged through repository pull request 12 at commit +\hash{6b55e51647226d1c248dc8d79f9ed9336241c2ac}, frozen at tag \texttt{v3.0.0}, and archived at DOI \href{https://doi.org/10.5281/zenodo.21455181}{10.5281/zenodo.21455181}. + +Version 3.0.1 is a terminology and exposition clarification only. It does not replace, retag, or silently rewrite the v3.0.0 archive. Its repository tag and version-specific Zenodo DOI should identify the clarification separately once published. + +\subsection{Notation and Conventions} +Unless explicitly stated otherwise, scalars are elements of $\mathbb C$, all vector spaces appearing in the construction are finite-dimensional, and $\dim(V)$ denotes the algebraic dimension of a vector space $V$. The symbol $\otimes$ denotes the tensor product over $\mathbb C$ unless another scalar field is explicitly declared. Operators act on the finite-dimensional spaces declared in the construction; the real Euclidean root-coordinate spaces used to realize root systems are identified explicitly when they occur. + +\paragraph{Terminology (Dimensions).} +Throughout this document, \emph{dimension} refers exclusively to finite-dimensional vector-space dimension, including tensor-product spaces, unless another mathematical meaning is explicitly declared. It does not refer to physical spacetime dimensions. References to the rank or dimensionality of algebraic structures such as $D_4$, $E_8$, root spaces, selected-state spaces, or tensor-product spaces are purely mathematical unless an additional physical interpretation is explicitly introduced. No physical interpretation is to be inferred from dimension, rank, state count, or tensor-product notation alone. + +\section{Epistemic layers and interpretation rules} +To prevent reproducibility from being confused with mathematical necessity or empirical validation, statements in this specification belong to the following layers. + +\begin{longtable}{@{}p{36mm}p{114mm}@{}} +\toprule +Layer & Meaning in this specification \\ +\midrule +\endfirsthead +\toprule +Layer & Meaning in this specification \\ +\midrule +\endhead +Preserved exact base & The 240 standard E8 roots, embedded order-three D4 triality, v2 orbit decomposition, selected 101 root labels, selected adjacency, and preserved v2 receipts. \\ +Exact v3 consequence & Tensor dimension, tensor-index bijection, CRT traversal, phase closure, order 303, Cartesian graph-product counts, degrees, and connectivity. \\ +Authored protocol & Promotion of the optional product extension, selector-order shift $R_{101}$, starting address $(0,0)$, event field names, external fibre semantics, and receiver profiles. \\ +Symbolic receiver & JSON, CSV, graph/atlas JSON, and MIDI serializations. These are deterministic encodings, not physical spectra or unique observations. \\ +Numerical auxiliary & Floating eigensolvers, spectral ratios, frame-bin calibration, graph surrogates, or rendered laboratory experiments. None enters v3 canonical identity. \\ +Empirical/perceptual & Any listener study, measured system, physical qutrit, acoustic apparatus, or falsifiable physical interpretation. No such validation is claimed. \\ +\bottomrule +\end{longtable} + +``Canonical'' means canonical within the named v3 contract. A changed base selector, fibre action, event ordering, source-file identity set, or receiver mapping defines a different named profile and requires new receipts. + +\section{Preserved ETQ-101 v2 base} +\subsection{Exact E8 root realization} +Use the standard 240-root coordinate realization in the eight-dimensional Euclidean root space $\mathbb R^8$ \cite{bourbaki2002lie,baez2002octonions,dechant2016e8}: +\begin{equation} +\mathcal R_{E_8}= +\{\pm e_i\pm e_j:i