\documentclass[11pt]{article}
% Addendum 353a (a-series; the Paper-41 seed). Author: Leon Fernando Vlegels. CC BY 4.0.
% Verifier: verify_P353a.py (11/11 pass).
\usepackage[margin=1in]{geometry}
\usepackage{amsmath,amssymb,amsthm}
\usepackage{booktabs}
\usepackage{hyperref}
\theoremstyle{plain}
\newtheorem{proposition}[]{Proposition}
\newtheorem{theorem}[]{Theorem}
\theoremstyle{remark}
\newtheorem*{remark}{Remark}

\title{Addendum 353a: The Witness Recursion\\
\large Deriving the $(B^4,S^3)$ / octonion substrate from coherent distinction\\[0.3em]
\normalsize (a-series; a candidate for canon promotion --- see status)}
\author{L\'eon Fernando Vlegels}
\date{2026-06-15}

\begin{document}
\maketitle

\begin{abstract}
Paper~01 takes the division-algebra tower $\mathbb R\to\mathbb C\to\mathbb H\to
\mathbb O$ as ``a second guiding thread'' --- an ansatz. This note attempts to
\emph{derive} it, and with it the substrate dimension, from the Paper~27 witness
principle, by identifying the witness step with the Cayley--Dickson doubling. A
witness (the ``with'') must (i) hold a copy of the witnessed --- the structure
doubles, $A\to A\oplus A\,e$; (ii) be orthogonal to it --- the adjoined unit
satisfies $e^2=-1$, the $90^\circ$ of Addendum~352a; (iii) reverse orientation ---
witnessing is inside-seen-from-outside, the conjugation, an involution
(witnessing the witness returns). Those three are exactly the Cayley--Dickson
doubling, which by the structure theory of composition algebras is their unique
norm-preserving realization. The recursion then \emph{self-terminates}, and we
verify the cascade on a genuine Cayley--Dickson algebra: coherent \emph{group}
composition (associativity) survives only to $\dim 4=\mathbb H$ (lost at $\mathbb
O$), and \emph{division} (no zero divisors, $|\det L_x|=1$ for unit $x$) only to
$\dim 8=\mathbb O$ (collapses at the sedenions, $\dim 16$). Hence the non-abelian
group-sphere is $S^3=SU(2)$ ($\dim 4$, the boundary; bulk $B^4$) and the division
ceiling is $\mathbb O$ ($\dim 8$, the $16$-corner octonion embedding of Paper~32):
\emph{one recursion yields both corpus scales}. This is new derived structure ---
it closes the Paper~01 ansatz from the Paper~27 principle. It is offered as a
\emph{candidate} for canon promotion; the one load-bearing premise (witness
$\Rightarrow$ conjugate doubling) is named, not yet a closed theorem.
Verifier: \texttt{verify\_P353a.py} (11/11).
\end{abstract}

\section{The witness step and its three requirements}
\label{sec:witness}

Paper~27 makes the ``with'' necessary: a distinction cannot be held without a
second to witness it. Ask what minimal structure a witness must add to a
distinction-algebra $A$.

\begin{enumerate}
\item \textbf{Copy (doubling).} To witness $A$ the witness must carry a
  representation of $A$; the combined structure contains two copies, $A\oplus A\,e$,
  where $e$ marks the witnessing copy.
\item \textbf{Orthogonality ($e^2=-1$).} By Addendum~352a a clean distinction is
  orthogonal to its witness ($90^\circ$); the witnessing unit $e$ is imaginary,
  $e^2=-1$ (a quarter-turn).
\item \textbf{Orientation-reversal (conjugation, involutive).} Witnessing is the
  inside seen from outside --- the $\Pi_\downarrow/\Pi_\uparrow$ projection pair,
  the fold's orientation reversal (Paper~4). This is a conjugation; and witnessing
  the witness returns the original, so the conjugation is an involution.
\end{enumerate}

\section{Cayley--Dickson is their unique realization}
\label{sec:cd}

\begin{proposition}[Witness step $=$ Cayley--Dickson doubling]
\label{prop:cd}
The three requirements of \S\ref{sec:witness} are realized by the Cayley--Dickson
doubling
\[
  (a,b)(c,d) = (ac-\bar d\,b,\; d\,a + b\,\bar c),
  \qquad \overline{(a,b)} = (\bar a, -b),
\]
and, by the structure theory of composition algebras (Hurwitz/Jacobson), this is
the \emph{unique} norm-preserving adjunction of one orthogonal involutive conjugate
copy. Hence the witness step is the Cayley--Dickson doubling.
\end{proposition}

Starting from the bare monad distinction $\mathbb R$ (one side, trivial
conjugation), iterating the witness gives $\mathbb R\to\mathbb C\to\mathbb H\to
\mathbb O\to\cdots$ --- the division-algebra tower as a \emph{self-similar
recursion} (a fractal doubling), each level two conjugate-paired copies of the
last.

\section{The recursion self-terminates (computed)}
\label{sec:cascade}

The recursion cannot continue cleanly forever: each doubling sheds a property.
Verified on a genuine Cayley--Dickson implementation (\texttt{verify\_P353a.py},
random elements, machine tolerance):

\begin{center}
\begin{tabular}{lccccc}
\toprule
 & $\mathbb R$ & $\mathbb C$ & $\mathbb H$ & $\mathbb O$ & sedenions \\
$\dim$ & 1 & 2 & 4 & 8 & 16 \\
\midrule
commutative      & \checkmark & \checkmark & --- & --- & --- \\
associative      & \checkmark & \checkmark & \checkmark & --- & --- \\
division ($|\det L_x|{=}1$) & \checkmark & \checkmark & \checkmark & \checkmark & $\to 0$ \\
$e^2=-1$         & (real) & \checkmark & \checkmark & \checkmark & \checkmark \\
\bottomrule
\end{tabular}
\end{center}

\begin{theorem}[The two terminations]
\label{thm:term}
Coherent \emph{group} composition requires associativity, which survives only
through $\dim 4=\mathbb H$ (lost at $\mathbb O$). \emph{Division} (no zero divisors)
requires the multiplicative norm, which survives only through $\dim 8=\mathbb O$
(collapses at the sedenions: $\min|\det L_x|$ drops from $1$ to $\sim10^{-3}$,
exhibiting zero divisors). The witness recursion therefore self-terminates at two
places: $\dim 4$ for a group, $\dim 8$ for a division algebra.
\end{theorem}

This is exactly the termination condition of the bootstrap (Addendum~351a): the
cascade runs until ``distinction closes on itself'' --- here, until composition
produces a collapse (non-associativity at $8$ for groups; zero divisors at $16$
for division).

\section{The derived substrate}
\label{sec:substrate}

\begin{proposition}[$(B^4,S^3)$ and the octonion corners, derived]
\label{prop:substrate}
The witnessing structure must be a \emph{group} (coherent associative composition)
and \emph{non-abelian} (the order of distinctions matters). The unique
sphere-group meeting both is $S^3=$ unit quaternions $=SU(2)$ ($\dim 4$; $S^0,S^1$
abelian, $S^7$ non-associative hence not a group). Its bulk is $B^4$. The division
ceiling one rung higher is $\mathbb O$ ($\dim 8$), whose $16$ unit corners in $8$
antipodal pairs are the octonion basis (Paper~32). Thus a single witness recursion
yields both substrate scales: $\dim 4$ $(B^4,S^3)$ for the boundary group, $\dim 8$
$\mathbb O$ for the corner embedding.
\end{proposition}

This is the content the corpus previously \emph{assumed}. Paper~01 introduces the
division algebras as a guiding thread and reads the gauge groups off them;
Proposition~\ref{prop:substrate} derives the thread itself from the Paper~27
witness principle, via the self-terminating Cayley--Dickson recursion. It is the
$\text{Level}\,{-}1 \to \text{Level}\,0$ bridge: from ``existence requires witness''
to ``the substrate is $(B^4,S^3)$ with octonionic corners.''

\section*{Status: a candidate for canon, and what it still needs}

\textbf{Why this is pillar-shaped.} It is \emph{new derived structure}, not
synthesis: it derives Paper~01's substrate ansatz from Paper~27's principle, with
the dimension count $4$ (and $8$) falling out of a self-terminating recursion
rather than being posited. The property cascade is computed on a genuine algebra,
not asserted. It unifies the bootstrap (351a), the $90^\circ$ pin (352a), and the
division-algebra substrate into one fractal recursion.

\textbf{The one load-bearing premise (named, not closed).} The derivation rests on
Proposition~\ref{prop:cd}: that a witness step \emph{is} a conjugate doubling. Two
of its three requirements are firm (the doubling is the copy; $e^2=-1$ is
Addendum~352a's orthogonality); the third --- that witnessing is precisely the
involutive \emph{conjugation} --- is supported by the corpus's
$\Pi_\downarrow/\Pi_\uparrow$ and fold-reversal structure but is presently an
\emph{interpretive} identification, not a theorem. Closing it (deriving
``witnessing $=$ conjugation'' from $C\circ P=I$, and the multiplicative norm from
coherent magnitude) is the work that would turn this candidate into Paper~41.

\textbf{Honest verdict.} One step from a new pillar. The recursion, the
termination, and the substrate are in hand and computed; the bridge from
``witness'' to ``conjugation'' is the single interpretive seam between this and a
closed theorem. Until then: a candidate, offered as such.

\paragraph{Sources.} Papers 27 (witness), 01 (division-algebra thread), 04
($\Pi_\downarrow/\Pi_\uparrow$, fold reversal), 32 (octonion corners); Addenda
351a (bootstrap), 352a ($90^\circ$).

\end{document}
