C01.1 · Prior art

Here **STANDARD** means established mathematics or an explicitly identified elementary consequence of it; **PROGRAMME** means this corpus's registered construction, application or audit, not demonstrated historical originality; **UNRESOLVED** records a source/identification boundary. These are provenance classifications, not scientific tiers. Every listed predicate has one category.

Result-by-result classification, keyed to the existing headings

| Result key | Existing heading(s) | Classification | Substantive result | Specific source and boundary | |---|---|---|---|---| | C01.1-PA01 | Definitions/conventions; The multiplication tensor | STANDARD | Zorn vector matrices and Cayley–Dickson doubling are established models of the split Cayley algebra. | [NV] §3.1–3.2; [E18] §2. This article fixes its own signs and verifies the basis change; Elduque is not a source for a Zorn table. | | C01.1-PA02 | The multiplication tensor | STANDARD | The displayed table is an evaluation of that declared product, not a discovered multiplication law. | [NV] §3.2. The table entries and code comparison are the article’s executable exposition. | | C01.1-PA03 | The norm, null cone and zero divisors | STANDARD | Composition, conjugation, split norm, isotropy and failure of the division property. | [E18] Proposition 2.2, Theorem 2.11 and Corollary 2.12; [S61] Chapter III. The displayed zero divisors are elementary substitutions. | | C01.1-PA04 | The norm, null cone and zero divisors | STANDARD | Distinguishing a negative definite coordinate subspace from a totally isotropic subspace. | [E18] §2, split-norm classification; the distinction follows by restricting the explicitly displayed quadratic form, not by a physics interpretation. | | C01.1-PA05 | Alternativity beyond a basis spot check | STANDARD | Alternativity, polarization of its identities, and non-associativity. | [E18] Proposition 2.2; [S61] Chapter III. Polarization supplies the passage from the basis tensor to arbitrary vectors. | | C01.1-PA06 | Negative control: the supplied March table | PROGRAMME | The specified archived table fails left and right alternativity in 30 of 64 basis-pair tests, with its displayed witness. | NONE/files-only. March L1 production table; the target article’s executed output; D1258 dispatch lines 8–12 reports the separate house reconstruction. This is a finding about those bytes, not a theorem about all split-octonion tables. | | C01.1-PA07 | Negative control: the supplied March table | PROGRAMME | The old table’s conjugation-induced form and its composition failure differ from the requested carrier. | NONE/files-only. The target article’s exact negative-control output and the archived L1 table. Do not credit these calculations to the old March verifier. | | C01.1-PA08 | Claims used; Interpretation | PROGRAMME | Adoption of the split carrier is a programme premise, not a physical necessity established by neutral signature. | Rev32.7 Paper 1 §2, PDF p.24; no foundation Registrar record is assigned to this section. | | C01.1-PA09 | Computations; Actual stdout | PROGRAMME | The deterministic comparison counts and old-table audit are the verification record of this particular implementation. | Target article and its script/stdout hashes. Execution counts are not additional algebraic discoveries. | | C01.1-PA10 | What this does not show | UNRESOLVED | Identification of this basis with all frozen programme arrays and a physical carrier-selection mechanism. | The old article does not supply either map. Prior-art identification does not remove those verification obligations. |

Attribution note

Artin’s theorem is standard, but this addendum does not turn the pilot’s alternativity test into an independent proof of every QFT containment assertion. The later house assessment is a supplied report, not a second computation performed in this prior-art pass.

**Novelty-language check:** no mathematical-priority sentence requires removal. The previous addendum reached the same disposition. The technical exposition and its negative control are preserved, not rewritten.

**C01.1-PA11 — PROGRAMME:** the p.135 half-algebra naming defect is an audit of the sealed suite wording, not a claim to the Cayley–Dickson construction. It is reported beside the original quotation; the recut brief reports the house confirmation and REV32.9_CHANGELOG S310.2 (landed in Rev32.9).