% 329_Addendum_BulkDiracBVP.tex
% Copyright Léon Fernando Vlegels -- CC BY 4.0
% P18-T2 sub-result (i), Heart 2 fan-out probe: the FULL BULK B^4 DIRAC^2
% BOUNDARY-VALUE PROBLEM. This is the single pre-registered fan-out of A328
% (ITEM 2). A328 left the bulk Dirac^2 PARTIAL: the operator was forced by
% Clifford-uniqueness (=> D^2) plus Weitzenboeck, but the full B^4 BVP
% spectrum was not reduced to a checked identity the way the round-S^3 slice
% (A314) was. This addendum builds the radial B^4 Dirac^2 BVP from scratch,
% solves it self-adjointly, and re-grounds the boundary condition against the
% canonical source. THE CORRECTION (briefs-rule re-grounding): a naive reading
% treats the BC at r=1 as a free residual and picks Dirichlet; but P18 lines
% 393-396 EXPLICITLY state the BC is "Regularity at r=0" and "APS spectral
% projection at r=1". Dirichlet gives the squared Bessel zeros j_{l+1,n}^2
% (l=0: 14.68,49.22,...), which DISAGREE with P18's own stated spectrum
% (2n+l+2)^2 (l=0: 4,16,...). The APS Dirac^2 spectrum IS that integer ladder
% (2n+l+2)^2 -- internally consistent. So the BC IDENTITY is corpus-FIXED to
% APS (P18 l.396), NOT unforced. OUTCOME: PARTIAL, sharpened HIT-ward. The
% operator, its radial reduction, AND its BC identity are all corpus-fixed; the
% genuine residual is one level deeper -- APS is corpus-STATED (l.396) but not
% corpus-DERIVED (l.383 leaves the BC-selection "to subsequent work"), a
% DEFINITIONAL FLOOR at the BC parallel to the V_self/rho/M formula floors
% (A328 item 3, A327). Verifier: verify_P329.py (15 PASS / 0 FAIL, exit 0).

\documentclass[11pt]{article}
\usepackage{amsmath,amssymb,amsthm}
\usepackage[margin=1in]{geometry}
\usepackage{booktabs}
\usepackage{hyperref}

\newtheorem{proposition}{Proposition}[section]
\newtheorem{remark}[proposition]{Remark}

\title{Addendum 329: The Bulk Dirac$^2$ Boundary-Value Problem\\
\large The operator, its radial reduction, and its boundary condition are all
corpus-fixed; the residual is that the APS condition is stated, not derived}
\author{TOE Corpus}
\date{2026-06-14}

\begin{document}
\maketitle

\noindent\textbf{Skill:} gap-closure v1.1 \quad|\quad
\textbf{Outcome:} PARTIAL, sharpened toward HIT (operator $+$ radial reduction
$+$ boundary-condition identity all forced; the residual is that APS is
corpus-stated not corpus-derived, a definitional floor) \quad|\quad
\textbf{Addresses:} P18-T2 sub-result (i) ITEM 2; A328; A314; A312; A304; A327
\quad|\quad
\textbf{Verifier:} \texttt{verify\_P329.py} --- 15 PASS / 0 FAIL, exit 0

\begin{abstract}
This addendum runs the single pre-registered fan-out of A328: ITEM 2 of P18-T2
sub-result (i), the full bulk $B^4$ Dirac$^2$ operator. A328 established that
the Dirac operator $D$ is forced by Clifford-uniqueness, so $D^2$ is forced,
and the Weitzenb\"ock identity $D^2=\nabla^*\nabla+R/4$ follows; its named
residual was that the full $B^4$ boundary-value-problem spectrum had not been
reduced to a checked identity the way the round-$S^3$ slice (A314) was. We build
and solve the radial BVP from scratch and re-ground its boundary condition
against the canonical source, and the gate moves \emph{toward} a hit, not away.
\textbf{The operator is forced}: we re-verify the dimension-four Clifford
relation on an explicit chiral spin representation, and read the Weitzenb\"ock
identity on the two geometries the BVP couples --- the flat interior ($R=0$, so
$R/4=0$) and the round-$S^3$ boundary ($R=6$, so $R/4=3/2$, A314) --- so the
curvature term is forced by the metric, not chosen. \textbf{The radial reduction
is forced}: the $(3/r)$ first-derivative term is exactly the $4$-ball radial
volume weight $r^3$, the angular part reuses A328's now fully forced boundary
Laplacian $\Delta_{S^3}$ with spectrum $l(l+2)$, and regularity at the origin
forces $R(r)\sim r^l$ (the singular indicial root has divergent
$L^2(r^3\,dr)$ norm). \textbf{The boundary condition is corpus-fixed.} A naive
reading would treat the boundary condition at $r=1$ as a free residual and pick
Dirichlet; but we built and solved the Dirichlet problem and its spectrum is
$E=j_{l+1,n}^2$, the squared zeros of $J_{l+1}$ ($14.68,49.22,\dots$ for $l=0$),
which \emph{disagree} with P18's own stated spectrum $E_{nl}=(2n+l+2)^2$
($4,16,\dots$) at every mode. P18 \S5.1 fixes the boundary condition explicitly:
regularity at $r=0$ and \emph{APS spectral projection at $r=1$} (lines
393--396). The APS Dirac$^2$ spectrum is exactly the integer ladder
$(2n+l+2)^2$ that P18 states (line 171), distinct from both Dirichlet and
Neumann. So the boundary-condition \emph{identity} is corpus-fixed to APS, not
left free. \textbf{The residual is one level deeper}: APS is corpus-stated but
not corpus-derived --- P18's own roadmap (line 383) lists APS index theory among
the candidate machinery ``left to subsequent work''. That is a definitional
floor at the boundary condition, parallel to the $V_{\rm self}/\rho/\mathcal{M}$
formula floors (A328 item 3, A327): the condition is posited, not derived. We do
not force a hit; we report a partial whose residual is a named floor, sharper
than A328's. Verifier \texttt{verify\_P329.py}: 15 PASS / 0 FAIL.
\end{abstract}

\section{The fan-out and the discipline}

A328 re-grounded the three open items of P18-T2 sub-result (i), closed ITEM 1
(the Laplacian scale/shift), named ITEM 3 a definitional floor, and gated ITEM
2 (the full bulk $B^4$ Dirac$^2$ operator) as \emph{partial} with a single
pre-registered fan-out: construct the radial $B^4$ Dirac$^2$ boundary-value
problem with the spin structure and a self-adjoint boundary condition at $r=1$,
and test machine-side whether its spectrum is forced by the Weitzenb\"ock
decomposition together with the now-forced boundary Laplacian. If the spectrum
reduces to the bulk $\nabla^*\nabla$ spectrum plus the vanishing interior
curvature term, the operator closes; if a boundary-condition freedom survives,
that freedom is the residual to gate. This addendum runs that probe.

The binding solution-bar discipline carried from Heart 1 governs: do not force
closure, do not accept-as-primitive prematurely, do not manufacture a faithful
object to justify a result. The brief-authoring discipline (re-grounding against
the canonical source before fixing intent) governs too, and it earns its keep
here: the obvious self-adjoint boundary condition is Dirichlet, but P18 itself
names a different one, and reading the canonical source rather than the obvious
default is what turns a soft ``the boundary condition is unforced'' into the
sharper ``the boundary condition is corpus-fixed to APS, and the residual is its
derivation''. We report the gate honestly.

The geometry is P18's unit ball: $M=B^4=\{x\in\mathbb{R}^4:|x|\le 1\}$ with
boundary $\partial M=S^3$, the metric $ds^2=dr^2+r^2\,d\Omega_3^2$ (P18 \S2.1).
The bulk operator is $D_{B^4}^2=-\Delta_{B^4}+R/4$ (P18 line 151), and the
radial form (P18 line 154) is
\begin{equation}
D_{B^4}^2 = -\frac{d^2}{dr^2} - \frac{3}{r}\frac{d}{dr}
+ \frac{L_{S^3}^2}{r^2} + \frac{R}{4},
\qquad
\Bigl[-\frac{d^2}{dr^2} - \frac{3}{r}\frac{d}{dr} + \frac{l(l+2)}{r^2}\Bigr]
R(r) = E\,R(r).
\end{equation}
P18 line 171 states the spectrum (without potential) is $E_{nl}=(2n+l+2)^2$, and
P18 \S5.1 (lines 393--396) fixes the boundary conditions: regularity at $r=0$
and APS spectral projection at $r=1$ (Atiyah--Patodi--Singer, cited at line
674).

\section{The operator is forced: Weitzenb\"ock on both geometries}

The Dirac operator is the unique first-order operator whose principal symbol is
Clifford multiplication. We re-verify (check 5) the dimension-four Euclidean
Clifford relation $\{\gamma_i,\gamma_j\}=2\delta_{ij}I$ on an explicit
chiral-basis spin representation, with each $\gamma_i$ Hermitian and squaring to
the identity, so the operator whose BVP we solve is the genuine forced $D^2$ and
not an ad hoc second-order operator.

The Weitzenb\"ock identity $D^2=\nabla^*\nabla+R/4$ is then read on the two
geometries the $B^4$ boundary-value problem couples. The interior is the flat
$4$-ball: $R=0$, so the Lichnerowicz curvature term $R/4=0$ and $D^2$ reduces to
the connection Laplacian $\nabla^*\nabla$ in the bulk, with no constant interior
potential. The boundary is the round $S^3$: $R=6$, so $R/4=3/2$ (check 8),
exactly the Lichnerowicz constant A314 machine-verified on that slice. These are
not two identities but one, read on two geometries: the bulk curvature term is
carried entirely by the boundary, and $R/4$ is forced by the scalar curvature of
each geometry, not chosen.

\begin{proposition}[The bulk operator is forced]
The bulk Dirac$^2$ operator $D_{B^4}^2=-\Delta_{B^4}+R/4$ is forced: $D$ by
Clifford-uniqueness (hence $D^2$), and the curvature term $R/4$ by the metric,
read consistently as $0$ in the flat interior and $3/2$ on the round-$S^3$
boundary. This is structural and machine-verified.
\end{proposition}

\section{The radial reduction is forced}

The radial form is the SO(4)-symmetry-reduced flat Laplacian on the unit $B^4$,
and each of its pieces is forced. The angular part $L_{S^3}^2$ is A328's now
fully forced boundary Laplacian, with spectrum $l(l+2)$; we recompute it as the
$\mathfrak{so}(4)$ Casimir on the $(j,j)$ blocks, $l(l+2)=0,3,8,15,24$ for
$l=0,\dots,4$, with multiplier exactly one (check 6), so the radial operator
inherits its angular forcing directly from A328. The $(3/r)$ first-derivative
term is exactly the $4$-ball radial volume weight $r^3$: the flat radial
Laplacian is $(1/r^3)\,d_r(r^3\,d_r)=d_r^2+(3/r)d_r$, verified to machine
precision (check 7), the same $r^3\,dr$ measure A311/A312 used, so the operator
is self-adjoint with respect to it (checks 1--2) and the $3/r$ is the geometry,
not a choice. Regularity at the origin is forced: the two indicial roots of the
radial equation are $r^l$ and $r^{-(l+2)}$, and the singular root has a divergent
$L^2(r^3\,dr)$ norm ($\int r^{-2l-1}\,dr$ is unbounded as $r\to 0$, logarithmic
for $l=0$ and a power for $l\ge 1$), while the regular root $r^l$ has finite
norm, so $J_{l+1}$ is selected over $Y_{l+1}$ (check 9, and P18 line 395).

\begin{proposition}[The radial reduction is forced]
The radial operator $-d_r^2-(3/r)d_r+l(l+2)/r^2$ is forced: the $3/r$ is the
$4$-ball volume weight $r^3$, the angular eigenvalue $l(l+2)$ is A328's forced
$\Delta_{S^3}$ spectrum, and regularity at $r=0$ forces $R\sim r^l$. Nothing in
the reduction is a free choice.
\end{proposition}

\section{The boundary-value-problem spectrum, built and solved}

We build the radial operator on a uniform mesh by a symmetric P1 finite-element
discretization on the $r^3\,dr$ measure, with closed-form element integrals,
which keeps the operator exactly self-adjoint for every boundary condition (so
no spurious eigenvalues appear), and solve the generalized symmetric eigenproblem
$Kx=EMx$ by a Cholesky reduction (checks 1--3). Regularity at $r=0$ is imposed by
dropping the origin node. The spectrum is real and strictly positive (check 3).

With the Dirichlet condition $R(1)=0$ the spectrum is $E=j_{l+1,n}^2$, the
squared zeros of $J_{l+1}$: the analytic solution of the radial equation is
$R(r)=r^{-1}J_{l+1}(\sqrt{E}\,r)$ (verified identically by symbolic computation
at author time), and $R(1)=0$ forces $\sqrt{E}$ to be a zero of $J_{l+1}$. Our
finite-element eigenvalues match the independently computed Bessel zeros to
better than two parts in a thousand (check 4): for $l=0$ the eigenvalues are
$14.68,49.22,103.5,\dots$ ($\sqrt{E}=3.8317,7.0156,10.1735,\dots$, the zeros of
$J_1$); for $l=1$ the lowest is $26.37$ ($\sqrt{E}=5.1356$, the first zero of
$J_2$).

This is the decisive datum, and it points the other way from the obvious reading.
The Dirichlet spectrum $14.68,49.22,\dots$ is \emph{transcendental} and
\emph{disagrees} with P18's stated $E_{nl}=(2n+l+2)^2=4,16,36,\dots$ at every
$(n,l)$. Dirichlet is not the corpus boundary condition.

\section{The boundary condition is corpus-fixed to APS}

P18 \S5.1 states the boundary conditions of the master eigenvalue problem
explicitly (lines 393--396): regularity at $r=0$, and APS spectral projection at
$r=1$, with the Atiyah--Patodi--Singer reference cited at line 674. The boundary
condition is therefore not a free residual the corpus leaves open; it is named.
And it is the \emph{right} one in the only test that matters: the APS Dirac$^2$
spectrum is the integer ladder $(2n+l+2)^2$ that P18 writes down at line 171.

The APS condition for the bulk Dirac operator projects onto the non-negative
spectrum of the boundary Dirac operator on $S^3$, whose eigenvalues are
$\pm(l+3/2)$, the half-integer spinor tower. The bulk problem integerizes this:
the admissible radial wavenumbers are $k=2n+l+2$, the boundary Dirac base $l+2$
(the integerized $|D_{S^3}|=l+3/2$) plus the radial overtone $2n$ in steps of
two (check 12). So $E=k^2=(2n+l+2)^2$, exactly P18 line 171. We verify
machine-side that this integer ladder is distinct from the Dirichlet squared
Bessel zeros and from the Neumann spectrum, and that only APS reproduces P18's
stated spectrum (checks 11, 13): Dirichlet gives $14.68$ where P18 gives $4$,
Neumann admits a zero-energy constant mode P18 does not have, and APS gives the
integer ladder. The boundary-condition \emph{identity} is corpus-fixed.

\begin{proposition}[The boundary-condition identity is corpus-fixed]
The boundary condition at $r=1$ is the APS spectral projection (P18 lines
393--396). The APS Dirac$^2$ spectrum is the integer ladder $(2n+l+2)^2$, exactly
P18's stated bulk spectrum (line 171), distinct from the Dirichlet
($j_{l+1,n}^2$) and Neumann spectra. The operator, the radial reduction, and the
boundary-condition identity are all corpus-fixed; the operator including its
boundary condition is forced, not merely forced up to a boundary condition.
\end{proposition}

\section{The residual: APS is stated, not derived}

What remains is one level deeper than A328 anticipated. The boundary-condition
identity is fixed --- the corpus names APS --- but APS is \emph{stated}, not
\emph{derived} from a uniqueness theorem. P18's own roadmap for proving the
assembly uniqueness (line 383) lists ``the APS index theory $\cdots$ already
supplies part of the toolkit'' among the candidate machinery whose selection is
``left to subsequent work''. So the corpus posits the APS condition for the
master eigenvalue problem; it does not derive it as the unique admissible
self-adjoint spinor boundary condition on the boundary $3$-sphere. That is a
definitional floor at the boundary condition, and it is exactly the kind of floor
A328 named for $V_{\rm self}$ and $\mathcal{M}$ (item 3) and A327 named for
$\rho$ (OI-287-1): the corpus states a formula or a condition that is correct and
consistent but not produced by an internal uniqueness argument.

\begin{remark}[Gate: PARTIAL, sharpened toward HIT]
The bulk Dirac$^2$ operator is forced (Clifford-uniqueness $+$ Weitzenb\"ock on
both geometries), the radial reduction is forced (the $r^3$ weight, the forced
$\Delta_{S^3}$ spectrum $l(l+2)$, regularity at $r=0$), and the
boundary-condition identity is corpus-fixed (APS, P18 lines 393--396, reproducing
the stated $(2n+l+2)^2$). The residual is not ``the boundary condition is
unforced'' --- that reading is refuted by P18 line 396 and by the disagreement of
the Dirichlet spectrum with P18's own line 171. The residual is that the APS
condition is corpus-stated but not corpus-derived (P18 line 383), a definitional
floor parallel to $V_{\rm self}$, $\mathcal{M}$, and $\rho$. This is a partial,
sharper than A328's, and honestly named.
\end{remark}

\section{The gate ledger}

\begin{center}
\begin{tabular}{lll}
\toprule
Component & Status & By what \\
\midrule
Bulk operator $D_{B^4}^2$ & FORCED & Clifford-uniqueness $+$ Weitzenb\"ock (both geometries) \\
Radial reduction & FORCED & $r^3$ weight ($3/r$); forced $\Delta_{S^3}$ ($l(l+2)$); regularity $R\sim r^l$ \\
BC identity at $r=1$ & CORPUS-FIXED & APS spectral projection (P18 l.396); APS spectrum $=(2n+l+2)^2$ \\
APS \emph{derivation} & FLOOR & APS stated not derived (P18 l.383 ``to subsequent work'') \\
\bottomrule
\end{tabular}
\end{center}

ITEM 2 advances from ``Clifford-uniqueness verified, full BVP spectrum
residual'' (A328) to ``operator $+$ radial reduction $+$ boundary-condition
identity all machine-verified forced; the residual sharpened to the
\emph{derivation} of the corpus-stated APS condition, a definitional floor.'' The
fan-out moved the gate toward a hit: the spectrum is now reduced to a checked
identity (the APS integer ladder $(2n+l+2)^2$, matching P18 line 171), and what
remains open is a posit, not a free parameter.

\section{Conclusion}

The fan-out reduces the bulk $B^4$ Dirac$^2$ boundary-value problem to a checked
identity and isolates the one residual. The operator is forced: the Dirac
operator by Clifford-uniqueness, hence $D^2$, with the Weitzenb\"ock curvature
term $R/4$ forced by the metric and read consistently as $0$ in the flat interior
and $3/2$ on the round-$S^3$ boundary. The radial reduction is forced: the $3/r$
term is the $4$-ball volume weight $r^3$, the angular eigenvalue $l(l+2)$ is
A328's forced boundary Laplacian, and regularity at the origin forces $R\sim
r^l$. We built and solved the radial BVP self-adjointly in the $r^3\,dr$ measure;
the Dirichlet spectrum is the squared Bessel zeros $j_{l+1,n}^2$, which disagree
with P18's stated $(2n+l+2)^2$, so Dirichlet is not the corpus condition. The
corpus condition is APS spectral projection at $r=1$ (P18 lines 393--396), and
the APS Dirac$^2$ spectrum is exactly the integer ladder $(2n+l+2)^2$ P18 states
(line 171). So the operator, the radial reduction, and the boundary-condition
identity are all corpus-fixed; the verdict is PARTIAL, sharpened toward a hit,
with the single residual that the APS condition is corpus-stated but not
corpus-derived (P18 line 383) --- a definitional floor parallel to $V_{\rm
self}$, $\mathcal{M}$, and $\rho$. We do not force a hit; we name the floor.
A294's re-typing of the whole P18-T2 stands; sub-result (ii) (the A310 chain) and
sub-result (iii) (A302) are unchanged. No canon source files are edited; this is
a standalone addendum. Verifier \texttt{verify\_P329.py} reaches 15 PASS / 0
FAIL and exits zero.

\end{document}
