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 site registry + lifted edges + 303 events + -> canonical event-document commitment + -> deterministic receiver bytes + -> observation receipt + -> manifest core + manifest-core receipt +\end{lstlisting} +No document claims an ordinary hash of final bytes that already contain that same hash. The documentation-only v3.0.1 release deliberately leaves the v3.0.0 implementation identity and all deterministic receipts unchanged. The receipt architecture is methodologically informed by the separately archived receipt-bound observation protocols \cite{slade_collective_v10_2026,slade_collective_v12_2026}; those records are method references, not mathematical dependencies of ETQ-303. + +\section{Build safety} +The build command writes only to a dedicated subdirectory beneath \texttt{dist/}. A custom path outside \texttt{dist/}, the \texttt{dist/} root itself, or an existing non-empty directory is rejected. The builder does not recursively delete a caller-selected path and uses exclusive file creation. These are operational safety properties, not mathematical consequences of E8, but they are part of the reproducible export contract. + +The generated bundle places \texttt{contract.json} beside \texttt{contract.schema.json}; the generated contract therefore uses \texttt{./contract.schema.json}. The committed repository fixture uses \texttt{../spec/etq-303.v3.schema.json}. The \texttt{\$schema} location is excluded from the semantic contract payload hash, so a location-correct bundle reference does not change the mathematical contract identity. + +\section{Breaking change from v2} +Version 3.0.0 was a semantic expansion, not a silent rewrite of v2. Version 3.0.1 introduces no further semantic or protocol change. + +\begin{longtable}{@{}p{37mm}p{52mm}p{60mm}@{}} +\toprule +Topic & ETQ-101 v2.0.0 & ETQ-303 v3.0.0 \\ +\midrule +\endfirsthead +\toprule +Topic & ETQ-101 v2.0.0 & ETQ-303 v3.0.0 \\ +\midrule +\endhead +Forward state space & 101 root-indexed graph states & $101\times3=303$ root-indexed tensor states \\ +Ternary structure & 33 internal triality/qutrit blocks plus two singlets & Independent external fibre on every one of 101 sites; internal labels remain separate \\ +Canonical observation & 101-entry symbolic MIDI codebook & Receiver-neutral 303-entry event document \\ +MIDI & Implemented symbolic codebook & One optional deterministic receiver using channel plus preserved v2 note \\ +Graph context & Selected graph $\Gone$ & Exact Cartesian lift $\Gone\square C_3$ \\ +Order 303 & Optional appendix extension & Exact named monomial step with proved order 303 \\ +Provenance & Contract and fixture receipts & Contract, implementation identity, event commitment, receiver receipts, manifest \\ +Acoustic output & Excluded & Still excluded \\ +\bottomrule +\end{longtable} + +The v1 and v2 contracts remain immutable historical identities. A v3 citation must not be substituted for a v2-specific result, and vice versa. + +\section{Auxiliary Tanner and spectral modules} +The repository retains Tanner-graph spectral tuning tools, grouped eigenspace projectors, non-backtracking operators, and nominal frame-bin calibration experiments. Their graph ratios and numerical receipts may support diagnostics, external receivers, or future conditional tests, but they do not define canonical v3 event identity. In particular: +\begin{itemize} +\item no floating eigenvalue or eigenvector enters the v3 contract; +\item no frame-bin calibration supplies a root-model clock or hertz scale; +\item no Tanner graph replaces the selected E8-root graph; +\item no golden-ratio occurrence in a test graph restores a golden modulation profile; and +\item no auxiliary numerical result validates a physical E8, QEC, or acoustic system. +\end{itemize} + +\section{Reproducibility and verification} +A conforming source checkout requires Node.js 20 or later and runs: +\begin{lstlisting}[language=bash] +npm test +npm run verify +npm run build:v3 +\end{lstlisting} +The test and verification chain checks: +\begin{enumerate} +\item 240 unique E8 roots with doubled squared norm eight; +\item order-three, orthogonal, root-preserving embedded triality; +\item orbit decomposition $12+76(3)=240$; +\item preserved selector size and v2 basis, adjacency, and degree-potential receipts; +\item tensor-index and inverse bijection on 303 states; +\item CRT event traversal and inverse; +\item phase exponents $(3,2,3)$ and aligned symbols $(-i,-1,-i)$; +\item no positive operator power below 303 is the identity; +\item 303-step closure from all 303 basis states; +\item exact graph-product vertices, edges, degree sequence, and connectivity; +\item event-document, site-registry, event-array, and edge-list hashes; +\item allowlisted root artifact extensions only; +\item normalized implementation identity; +\item generated bundle schema portability; +\item unsafe output-path rejection and exclusive writes; +\item acyclic receipt and manifest construction; and +\item continued verification of the preserved v2 and v1 contracts. +\end{enumerate} + +\section{Zenodo v3.0.1 deposit package} +The documentation-only v3.0.1 publication update contains: +\begin{itemize} +\item \texttt{ETQ-303\_formal\_model\_v3.0.1.pdf}; +\item \texttt{ETQ-303\_formal\_model\_v3.0.1.tex}; +\item \texttt{ETQ-303\_references.bib}; +\item a regenerated \texttt{UPLOAD\_SHA256SUMS.txt}; and +\item, if a convenience bundle is used, \texttt{ETQ-303\_Zenodo\_Submission\_v3.0.1.zip}. +\end{itemize} + +Retain the unchanged data artifacts under their original names: +\begin{itemize} +\item \path{ETQ-303_data_table_v3.0.0.xlsx}; and +\item \path{ETQ-303_parameter_table_v3.0.0.csv}. +\end{itemize} +They describe the unchanged v3.0.0 protocol identity and deterministic data. Use Zenodo's \emph{New version} workflow from the v3.0.0 record, preserve DOI \href{https://doi.org/10.5281/zenodo.21455181}{10.5281/zenodo.21455181} as the immutable original release, and allow Zenodo to mint a distinct version-specific DOI for v3.0.1. The checksum file intentionally does not contain its own checksum, avoiding a circular self-hash. + +The spreadsheet contains the 101-entry site registry, 303 events, 5,364 lifted edges, parameter and claim tables, degree distributions, formulas that verify key counts, and the implementation/hash receipts. The CSV is the compact reviewer-facing parameter table. + +\section{Claim matrix and reviewer-facing limits} +\begin{longtable}{@{}p{31mm}p{58mm}p{59mm}@{}} +\toprule +Topic & Supported wording & Do not claim \\ +\midrule +\endfirsthead +\toprule +Topic & Supported wording & Do not claim \\ +\midrule +\endhead +E8 roots & 101 preserved selected E8-root labels, each paired with three external fibre states & 303 distinct E8 roots \\ +State space & $\Hthree=\Hone\otimes\mathbb C^3$ & A 303-dimensional representation of the E8 Lie algebra \\ +Dimension terminology & Finite-dimensional algebraic vector spaces; $101\times3=303$ basis-indexed states & Physical spacetime dimensions or an implied physical ontology \\ +Ternary labels & Internal triality and external fibre are separate fields & The two labels are the same physical degree of freedom \\ +Exact step & Finite monomial action with exponents $(3,2,3)$ and symbols $(-i,-1,-i)$ & A measured physical evolution \\ +Order 303 & Exact order of the declared product step & Periodicity of an arbitrary generator, receiver, or audio renderer \\ +Graph & Exact Cartesian product $\Gone\square C_3$ & The event sequence follows graph edges \\ +Receivers & Deterministic JSON, CSV, and MIDI serializations & Receiver choices are forced by E8 \\ +Graph/atlas JSON & Exact graph data and authored integer-grid coordinates & A unique natural embedding of E8 geometry \\ +MIDI & Symbolic channel/note code & Canonical pitch, tempo, loudness, or hertz \\ +Hashes & Identity under stated serialization domains & Proof of authorship, validity, or physical truth \\ +Implementation identity & Normalized hash of named source files & Self-authenticating authorship proof \\ +Receipt protocol & Acyclic provenance binding & Quantum measurement, collapse, or observer causation \\ +Tanner numerics & Optional auxiliary numerical tools & Canonical v3 identity or exact spectral proof \\ +Audio & Outside the v3 root contract & WAV or PCM as a canonical ETQ-303 artifact \\ +\bottomrule +\end{longtable} + +\section{Conclusion} +ETQ-303 v3.0.1 clarifies the exposition of the bounded, exact, and reproducible finite event protocol first released as v3.0.0. The central result is not ``303 E8 roots'' or 303 physical dimensions, but a 303-state tensor basis over 101 preserved root labels, equipped with an exact order-303 monomial step and an exact Cartesian graph context. The canonical artifact is the event document; MIDI is one symbolic receiver among several deterministic views. + +The formal contribution is the separation of preserved mathematics, exact consequences, authored protocol choices, receiver encodings, numerical auxiliaries, and excluded physical claims. This separation makes the model independently reproducible without converting designed mappings into claims of natural necessity. + +\appendix +\section{Canonical parameter summary} +\begin{longtable}{@{}p{48mm}p{48mm}p{52mm}@{}} +\toprule +Parameter or fixture & Canonical value & Origin/status \\ +\midrule +\endfirsthead +\toprule +Parameter or fixture & Canonical value & Origin/status \\ +\midrule +\endhead +Model/profile & ETQ-303@3.0.0 / \path{full-qutrit-event-protocol-v1} & Named release identity \\ +Documentation version & 3.0.1 & Terminology and exposition clarification only \\ +Ambient roots & 240 & Preserved exact E8 realization \\ +V2 orbit decomposition & 12 fixed; 76 three-cycles & Exact enumeration \\ +Preserved selector & first 2 fixed; first 33 complete orbits & Authored lexicographic rule \\ +Base dimension & 101 & Exact after selector \\ +External fibre & 3 & Authored v3 extension \\ +Total dimension & 303 & Exact tensor dimension \\ +Tensor index & $3j+a$ & Authored canonical ordering; exact bijection \\ +SCL stencil & $(1,-2,1)$ & Preserved exact diagonal \\ +Phase exponents & $(3,2,3)$ & Exact modulo-four consequence \\ +Phase symbols & $(-i,-1,-i)$ & Exact lookup \\ +Support action & $(j,a)\mapsto(j+1,a+1)$ modulo $(101,3)$ & Exact finite permutation \\ +Operator order & 303 & Exact support and phase proof \\ +Event address & $(n\bmod101,n\bmod3)$ & Exact CRT bijection \\ +Base graph & 101 vertices; 1,687 edges; connected & Preserved v2 fixture \\ +Lifted graph & 303 vertices; 5,364 edges; connected & Exact Cartesian product \\ +Lifted degree range & 24--57 & Exact $d_j+2$ rule \\ +Allowed root outputs & \texttt{.json}, \texttt{.csv}, \texttt{.mid} & Root output policy \\ +Canonical event artifact & \texttt{events.json} & Authored receiver-neutral commitment \\ +Absolute frequency & null / undefined & Explicitly excluded \\ +Rendered audio & disabled in root workflow & Explicitly excluded \\ +Implementation bundle & \hash{2b99e929ba604e44ab9391d4a04ac3314188b13d0c902d603829f13639cc10b6} & Normalized source identity \\ +\bottomrule +\end{longtable} + +\section{Required deterministic checks} +A conforming independent implementation should check all of the following: +\begin{enumerate} +\item exact 240-root E8 generation and doubled norm eight; +\item exact embedded triality and orbit decomposition; +\item preserved 101-label selector and ordering; +\item preserved v2 fixture hashes; +\item 303 tensor addresses and index inverse; +\item 303 CRT event addresses and inverse; +\item aligned phase exponents and symbols; +\item exact order 303 and closure on all basis states; +\item exact site-registry labels and degree-potential numerators; +\item exact 5,364-edge Cartesian lift and degree distribution; +\item connectedness and zero duplicate edges; +\item canonical event document and domain-separated hashes; +\item allowlisted artifact extensions only; +\item normalized source implementation identity; +\item portable generated schema reference; +\item safe output-path behavior; and +\item independent v2 and legacy verification. +\end{enumerate} + +\section{Optional extension boundaries} +External receivers may map the committed event document to OSC, DMX, graphics, haptics, robotics, graph-signal arrays, or rendered sound. Each extension must declare its complete mapping, units, timing, numeric ABI, runtime requirements, and receipts. Such a receiver is not part of ETQ-303 v3 canonical identity unless introduced by a new named profile. + +An open-system or continuous generator may also be declared separately, but it must not be inferred from the order-303 monomial step. In particular, the exact identity $\Fthree^{303}=I$ does not imply periodicity for an arbitrary Hamiltonian, matrix exponential, Floquet composition, interpolation, or audio renderer. + +\printbibliography[title={References}] + +\end{document} diff --git a/docs/etq-303/v3.0.1/ETQ-303_references.bib b/docs/etq-303/v3.0.1/ETQ-303_references.bib new file mode 100644 index 0000000..896db0d --- /dev/null +++ b/docs/etq-303/v3.0.1/ETQ-303_references.bib @@ -0,0 +1,151 @@ +@article{baez2002octonions, + author = {Baez, John C.}, + title = {The Octonions}, + journaltitle = {Bulletin of the American Mathematical Society}, + year = {2002}, + volume = {39}, + number = {2}, + pages = {145--205}, + doi = {10.1090/S0273-0979-01-00934-X} +} + +@book{bourbaki2002lie, + author = {{N. Bourbaki}}, + title = {Lie Groups and Lie Algebras: Chapters 4--6}, + publisher = {Springer}, + location = {Berlin}, + year = {2002}, + isbn = {978-3-540-42650-9} +} + +@online{dechant2016e8, + author = {Dechant, Pierre-Philippe}, + title = {The E8 Geometry from a Clifford Perspective}, + year = {2016}, + eprint = {1603.04805}, + eprinttype = {arXiv}, + url = {https://arxiv.org/abs/1603.04805} +} + +@article{feger2015lieart, + author = {Feger, Robert and Kephart, Thomas W.}, + title = {LieART---A Mathematica Application for Lie Algebras and Representation Theory}, + journaltitle = {Computer Physics Communications}, + year = {2015}, + volume = {192}, + pages = {166--195}, + doi = {10.1016/j.cpc.2014.12.023} +} + +@incollection{grond2011parameter, + author = {Grond, Florian and Berger, Jonathan}, + title = {Parameter Mapping Sonification}, + booktitle = {The Sonification Handbook}, + editor = {Hermann, Thomas and Hunt, Andy and Neuhoff, John G.}, + publisher = {Logos Publishing House}, + location = {Berlin}, + year = {2011}, + pages = {363--397}, + isbn = {978-3-8325-2819-5}, + url = {https://sonification.de/handbook/chapters/chapter15/} +} + +@book{hammack2011product, + author = {Hammack, Richard and Imrich, Wilfried and Klav{\v{z}}ar, Sandi}, + title = {Handbook of Product Graphs}, + edition = {2}, + publisher = {CRC Press}, + location = {Boca Raton}, + year = {2011}, + doi = {10.1201/b10959} +} + +@article{schwinger1960unitary, + author = {Schwinger, Julian}, + title = {Unitary Operator Bases}, + journaltitle = {Proceedings of the National Academy of Sciences of the United States of America}, + year = {1960}, + volume = {46}, + number = {4}, + pages = {570--579}, + doi = {10.1073/pnas.46.4.570} +} + +@article{shuman2013gsp, + author = {Shuman, David I. and Narang, Sunil K. and Frossard, Pascal and Ortega, Antonio and Vandergheynst, Pierre}, + title = {The Emerging Field of Signal Processing on Graphs: Extending High-Dimensional Data Analysis to Networks and Other Irregular Domains}, + journaltitle = {IEEE Signal Processing Magazine}, + year = {2013}, + volume = {30}, + number = {3}, + pages = {83--98}, + doi = {10.1109/MSP.2012.2235192} +} + +@article{pirondini2016surrogate, + author = {Pirondini, Elvira and Vybornova, Anna and Coscia, Martina and Van De Ville, Dimitri}, + title = {A Spectral Method for Generating Surrogate Graph Signals}, + journaltitle = {IEEE Signal Processing Letters}, + year = {2016}, + volume = {23}, + number = {9}, + pages = {1275--1278}, + doi = {10.1109/LSP.2016.2594072} +} + +@techreport{nist2015sha, + author = {{National Institute of Standards and Technology}}, + title = {Secure Hash Standard (SHS)}, + institution = {National Institute of Standards and Technology}, + number = {FIPS PUB 180-4}, + year = {2015}, + doi = {10.6028/NIST.FIPS.180-4} +} + +@techreport{rfc8259, + author = {Bray, Tim}, + title = {The JavaScript Object Notation (JSON) Data Interchange Format}, + institution = {Internet Engineering Task Force}, + number = {RFC 8259}, + year = {2017}, + doi = {10.17487/RFC8259} +} + +@software{slade_etq_v2_2026, + author = {Slade, Trent}, + title = {ETQ-101 v2: E8-Root-Derived, D4-Triality Ternary MIDI Model}, + version = {2.0.0}, + year = {2026}, + publisher = {Zenodo}, + doi = {10.5281/zenodo.21432511}, + url = {https://doi.org/10.5281/zenodo.21432511} +} + +@software{slade_etq_v3_repo_2026, + author = {Slade, Trent}, + title = {ETQ-303 v3: Exact 303-State Root-Indexed Event Protocol}, + version = {3.0.0}, + year = {2026}, + url = {https://github.com/QSOLKCB/SONIFICATION}, + note = {Merged implementation commit 6b55e51647226d1c248dc8d79f9ed9336241c2ac; v3 Zenodo version DOI pending} +} + +@software{slade_collective_v10_2026, + author = {Slade, Trent}, + title = {Collective Modes, Stable Supports, and Observation-Dark Subspaces in Deterministic Information Lattices: Graph Dynamics and a Reproducible Protocol for Receipt-Bound Sonification}, + version = {1.0}, + year = {2026}, + publisher = {Zenodo}, + doi = {10.5281/zenodo.21292906}, + url = {https://doi.org/10.5281/zenodo.21292906} +} + +@software{slade_collective_v12_2026, + author = {Slade, Trent}, + title = {Collective Modes, Stable Supports, and Observation-Dark Subspaces in Deterministic Information Lattices: Graph Dynamics and a Reproducible Protocol for Receipt-Bound Sonification}, + version = {1.2}, + year = {2026}, + publisher = {Zenodo}, + doi = {10.5281/zenodo.21293821}, + url = {https://doi.org/10.5281/zenodo.21293821} +} diff --git a/docs/etq-303/v3.0.1/UPLOAD_SHA256SUMS.txt b/docs/etq-303/v3.0.1/UPLOAD_SHA256SUMS.txt new file mode 100644 index 0000000..61bc0ce --- /dev/null +++ b/docs/etq-303/v3.0.1/UPLOAD_SHA256SUMS.txt @@ -0,0 +1,3 @@ +28d84c8e75970b68331b49494ac631e7eecc485a6824103b4daacc8f36212226 ETQ-303_formal_model_v3.0.1.pdf +3c26b22f7986b751716c5303d6c6c05033738f510c6c3b1795139144ecfb7939 ETQ-303_formal_model_v3.0.1.tex +3974efe0265bd4e2ed2b9d21b1134bb7a42159d90225252dd73a4cf916f5e93e ETQ-303_references.bib diff --git a/package.json b/package.json index 4d137a0..66ba60f 100644 --- a/package.json +++ b/package.json @@ -1,12 +1,13 @@ { "name": "@qsol-imc/etq-303", - "version": "3.0.0", + "version": "3.0.1", "private": true, "type": "module", "scripts": { "test": "node --test", "test:tuning": "node --test tests/tanner-tuning-fork.test.mjs", "build:v3": "node scripts/build-v3-artifacts.mjs", + "build:paper": "bash scripts/build-etq303-paper.sh", "verify": "node scripts/verify-v3.mjs && node scripts/verify.mjs && node scripts/verify-legacy.mjs", "verify:v3": "node scripts/verify-v3.mjs", "verify:v2": "node scripts/verify.mjs", diff --git a/scripts/build-etq303-paper.sh b/scripts/build-etq303-paper.sh new file mode 100644 index 0000000..c330c14 --- /dev/null +++ b/scripts/build-etq303-paper.sh @@ -0,0 +1,61 @@ +#!/usr/bin/env bash +set -euo pipefail + +project_root="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)" +paper_dir="$project_root/docs/etq-303/v3.0.1" +tex_name="ETQ-303_formal_model_v3.0.1.tex" +pdf_name="ETQ-303_formal_model_v3.0.1.pdf" +bib_name="ETQ-303_references.bib" +checksum_name="UPLOAD_SHA256SUMS.txt" + +for command_name in latexmk pdflatex biber sha256sum; do + if ! command -v "$command_name" >/dev/null 2>&1; then + echo "required publication-build command not found: $command_name" >&2 + exit 1 + fi +done + +build_dir="$(mktemp -d /tmp/etq303-paper-v3.0.1.XXXXXX)" +cleanup() { + rm -rf -- "$build_dir" +} +trap cleanup EXIT + +export TZ=UTC +export SOURCE_DATE_EPOCH=1784678400 +export FORCE_SOURCE_DATE=1 +export TEXINPUTS="$paper_dir:" +export BIBINPUTS="$paper_dir:" + +( + cd "$paper_dir" + latexmk \ + -pdf \ + -interaction=nonstopmode \ + -halt-on-error \ + -file-line-error \ + -outdir="$build_dir" \ + "$tex_name" +) + +log_file="$build_dir/${tex_name%.tex}.log" +if grep -Eiq \ + 'LaTeX Warning|Package .* Warning|Overfull \\[hv]box|undefined|multiply defined|duplicate label|Empty bibliography|Please \(re\)run' \ + "$log_file"; then + echo "publication build completed with unresolved LaTeX diagnostics:" >&2 + grep -Ein \ + 'LaTeX Warning|Package .* Warning|Overfull \\[hv]box|undefined|multiply defined|duplicate label|Empty bibliography|Please \(re\)run' \ + "$log_file" >&2 + exit 1 +fi + +cp "$build_dir/$pdf_name" "$paper_dir/$pdf_name" + +( + cd "$paper_dir" + sha256sum "$pdf_name" "$tex_name" "$bib_name" > "$checksum_name.tmp" + mv "$checksum_name.tmp" "$checksum_name" +) + +echo "built $paper_dir/$pdf_name" +echo "updated $paper_dir/$checksum_name"