C01.1 · Sources/receipt

**The following four paragraphs are the original S309 receipt narrative, preserved as history. Current S311 identities and execution follow them.**

Source pages are physical pages of the supplied Rev32.7 extraction: Paper 0 §4 p.15; Paper 1 abstract p.23 and algebra-selection discussion p.24; Appendix A §A.1 p.135 and §A.7.8 p.147. Quotations were checked against their page text with whitespace normalization only. The faulty “compact octonions” wording is quoted unchanged; no PDF equation image or TeX correction is claimed.

The historical input is `03_L1_MARCH_PRODUCTION_SAMPLE_REJECT.md`, not its workflow flag. Its exact byte hash is printed by the program. March P1 is the request being replaced, not evidence for the resulting table. The attached D1253 drafts are consulted only for source gaps and scope; no live Registrar binding is claimed.

Track-2 destination: Paper A §1, “Scope and adopted premises,” physical p.10 of the attached consolidated v1.3 PDF. Identity with the inaccessible served COMPLETE_SUITE PDF is **[NOT VERIFIED]**. This article supplies inspectable carrier arithmetic for that section; it does not retroactively certify A1572 or the existing Track-2 package. A1572 is a separate historical verification record in Rev32.7 Appendix Y p.379.

The delivered script and stdout are newly generated artifacts of this reply. The complete article includes both. Administrative file counts/hashes, coverage and transport fences are given separately in the new delivery receipt; they do not replace scientific checks.

Current S311 re-cut receipt

Input pilot SHA-256 `211b26a2b8dbc0524dbfc8ee1cd2f373c69efe35d5122b104d98643de8b5e53a`. Algorithm SHA-256 `e08cd79f20a37dccfe1e38c31412d1aa24a72ab7f23f1b8c6cfb7b6c7178024a`; actual stdout SHA-256 `f721d5786bdbe995ec9a7c3dea958d75881f3162c33066d19c31e0eeeaac4210`. The algorithm and stdout are byte-identical to the input S309 files; only the article headings, dated-access wrapper, invocation path, receipt and Prior art section change. Independent house verification reported in the recut brief is a supplied report, not a second reviewing lane performed here. The original definition, derivation and interpretation blocks are hashed in `RECUT_PRESERVATION.json`; the complete textual diff is `RECUT.diff`.

[NV] Gábor P. Nagy and Petr Vojtěchovský, *Octonions, simple Moufang loops and triality*, Quasigroups and Related Systems **10** (2003), 65–93; arXiv:math/0701707v1. §§3.1–3.2, Cayley–Dickson and split/Zorn models. https://arxiv.org/pdf/math/0701707

[E18] Alberto Elduque, *Composition algebras*, arXiv:1810.09979v1 (2018), §2, Proposition 2.2; §2.1 and §2.2, Theorem 2.11 and Corollary 2.12. This source explicitly does not develop the Zorn model. https://arxiv.org/html/1810.09979v1

[S61] Richard D. Schafer, *An Introduction to Nonassociative Algebras*, Stillwater lecture notes (1961), Chapter III, the alternative identities and the Theorem of Artin on printed pp.18–19. This is the notes edition served as Project Gutenberg ebook 25156, not the pagination of the later book. https://www.gutenberg.org/files/25156/25156-pdf.pdf

All supplied input files and their actual hashes are listed in `INPUT_RECEIPT.json`. Current section/output receipts are at the ZIP root. No 25 KB cap from the older pilot commission is imposed by D1260; this preserves the full original article and adds the required prior-art section.