Gardado en:
| Autor Principal: | |
|---|---|
| Formato: | Recurso digital |
| Idioma: | inglés |
| Publicado: |
Zenodo
2026
|
| Subjects: | |
| Acceso en liña: | https://doi.org/10.5281/zenodo.19293467 |
| Tags: |
Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
Table of Contents:
- <p>This archival package captures a CC BY 4.0-identified public snapshot of ARQ materials from the sovereign-entity-recursion repository, updated after the 2026-03-25 snapshot.</p> <p>It contains the canonical ARQ normative and supporting note materials, corresponding PDF twins, and package-level provenance files.</p> <p>This version adds:<br>- the formal theorem companion `protocol/arq/theorem_bounded_entropy_arq.md`<br>- its PDF twin `pdf/arq/theorem_bounded_entropy_arq.pdf`<br>- the addendum hash manifest `hashes/SHA256SUMS_arq_addendum_2026-03-27.txt`<br>- discoverability updates across `protocol/arq/README.md`, `DOC_MAP.md`, `START_HERE.md`, and `pdf/arq/README.md`</p> <p>The theorem companion is additive. It does not replace the existing supporting note `docs/arq/Bounded_Entropy_Accumulation_in_ARQ_Entities_EN.md`; it provides a more compact, publication-facing formal statement of the same boundedness claim under explicit L4 budgets.</p> <p>ARQ is presented here as an additive subsystem linking correction logic to SER continuity and L4 bounded accountability. Promoted deviations require witness-backed traceability, and adaptive handling remains bounded rather than open-ended.</p>