% !TEX root = DFD_Extended_Derivations.tex
%=============================================================================
% Density Field Dynamics v4.0 --- Extended Derivations and Frontier Predictions
% Companion volume to the primary paper (main.tex / DFD_Main.pdf).
% Self-contained: cross-volume references resolve via the baked-in label
% snapshot in this preamble; no external files are needed to compile.
%=============================================================================
\documentclass[aps,prd,twocolumn,superscriptaddress,showpacs,floatfix,nofootinbib]{revtex4-2}

%-----------------------------------------------------------------------------
% PACKAGES
%-----------------------------------------------------------------------------
% Mathematics
\usepackage{amsmath,amssymb,amsfonts,amsthm}
\usepackage{bm} % Bold math symbols
\usepackage{mathtools} % Enhanced math environments
\usepackage{slashed} % Feynman-slash for Dirac operator
\usepackage[utf8]{inputenc} % UTF-8 support

% UTF-8 Greek-letter mappings (so inline ψ, α, etc. compile to math symbols)
\DeclareUnicodeCharacter{03B1}{\ensuremath{\alpha}}
\DeclareUnicodeCharacter{03B2}{\ensuremath{\beta}}
\DeclareUnicodeCharacter{03B3}{\ensuremath{\gamma}}
\DeclareUnicodeCharacter{03B4}{\ensuremath{\delta}}
\DeclareUnicodeCharacter{03B5}{\ensuremath{\varepsilon}}
\DeclareUnicodeCharacter{03B6}{\ensuremath{\zeta}}
\DeclareUnicodeCharacter{03B7}{\ensuremath{\eta}}
\DeclareUnicodeCharacter{03B8}{\ensuremath{\theta}}
\DeclareUnicodeCharacter{03B9}{\ensuremath{\iota}}
\DeclareUnicodeCharacter{03BA}{\ensuremath{\kappa}}
\DeclareUnicodeCharacter{03BB}{\ensuremath{\lambda}}
\DeclareUnicodeCharacter{03BC}{\ensuremath{\mu}}
\DeclareUnicodeCharacter{03BD}{\ensuremath{\nu}}
\DeclareUnicodeCharacter{03BE}{\ensuremath{\xi}}
\DeclareUnicodeCharacter{03C0}{\ensuremath{\pi}}
\DeclareUnicodeCharacter{03C1}{\ensuremath{\rho}}
\DeclareUnicodeCharacter{03C3}{\ensuremath{\sigma}}
\DeclareUnicodeCharacter{03C4}{\ensuremath{\tau}}
\DeclareUnicodeCharacter{03C5}{\ensuremath{\upsilon}}
\DeclareUnicodeCharacter{03C6}{\ensuremath{\varphi}}
\DeclareUnicodeCharacter{03C7}{\ensuremath{\chi}}
\DeclareUnicodeCharacter{03C8}{\ensuremath{\psi}}
\DeclareUnicodeCharacter{03C9}{\ensuremath{\omega}}
\DeclareUnicodeCharacter{0394}{\ensuremath{\Delta}}
\DeclareUnicodeCharacter{0398}{\ensuremath{\Theta}}
\DeclareUnicodeCharacter{039B}{\ensuremath{\Lambda}}
\DeclareUnicodeCharacter{039E}{\ensuremath{\Xi}}
\DeclareUnicodeCharacter{03A0}{\ensuremath{\Pi}}
\DeclareUnicodeCharacter{03A3}{\ensuremath{\Sigma}}
\DeclareUnicodeCharacter{03A6}{\ensuremath{\Phi}}
\DeclareUnicodeCharacter{03A8}{\ensuremath{\Psi}}
\DeclareUnicodeCharacter{03A9}{\ensuremath{\Omega}}
\DeclareUnicodeCharacter{00B2}{\ensuremath{^{2}}}
\DeclareUnicodeCharacter{00B3}{\ensuremath{^{3}}}
\DeclareUnicodeCharacter{2212}{\ensuremath{-}}
\DeclareUnicodeCharacter{2248}{\ensuremath{\approx}}
\DeclareUnicodeCharacter{223C}{\ensuremath{\sim}}
\DeclareUnicodeCharacter{2192}{\ensuremath{\rightarrow}}
\DeclareUnicodeCharacter{00D7}{\ensuremath{\times}}
\DeclareUnicodeCharacter{2194}{\ensuremath{\leftrightarrow}}
\DeclareUnicodeCharacter{2265}{\ensuremath{\ge}}
\DeclareUnicodeCharacter{2264}{\ensuremath{\le}}
\DeclareUnicodeCharacter{2282}{\ensuremath{\subset}}
\DeclareUnicodeCharacter{2283}{\ensuremath{\supset}}
\DeclareUnicodeCharacter{2208}{\ensuremath{\in}}
\DeclareUnicodeCharacter{2209}{\ensuremath{\notin}}
\DeclareUnicodeCharacter{2229}{\ensuremath{\cap}}
\DeclareUnicodeCharacter{222A}{\ensuremath{\cup}}
\DeclareUnicodeCharacter{2295}{\ensuremath{\oplus}}
\DeclareUnicodeCharacter{2297}{\ensuremath{\otimes}}
\DeclareUnicodeCharacter{2218}{\ensuremath{\circ}}
\DeclareUnicodeCharacter{2202}{\ensuremath{\partial}}
\DeclareUnicodeCharacter{221A}{\ensuremath{\sqrt{}}}
\DeclareUnicodeCharacter{221E}{\ensuremath{\infty}}
\DeclareUnicodeCharacter{2200}{\ensuremath{\forall}}
\DeclareUnicodeCharacter{2203}{\ensuremath{\exists}}
\DeclareUnicodeCharacter{00B1}{\ensuremath{\pm}}
\DeclareUnicodeCharacter{2014}{\textemdash}
\DeclareUnicodeCharacter{2013}{\textendash}
\DeclareUnicodeCharacter{2026}{\textellipsis}
\DeclareUnicodeCharacter{0304}{\=}

% Graphics and Figures
\usepackage{graphicx}
\graphicspath{{figures/}} % Path to figure files
\usepackage{tikz}
\usepackage{tikz-cd}
\usepackage{pgfplots}
\pgfplotsset{compat=1.18}
\usetikzlibrary{arrows.meta,calc,decorations.pathmorphing,patterns,positioning}

% Tables
\usepackage{booktabs}
\usepackage{array}
\usepackage{multirow}
\usepackage{tabularx}

% References and Links
\usepackage{hyperref}
\hypersetup{
 pdftitle={Density Field Dynamics: A Complete Unified Theory},
 pdfauthor={Gary Alcock},
 pdfsubject={Unified Theory of Gravity and Particle Physics},
 pdfkeywords={gravity, scalar field, MOND, fine-structure constant, dark matter alternative},
 colorlinks=true,
 linkcolor=blue!60!black,
 citecolor=green!50!black,
 urlcolor=blue!70!black
}
\usepackage{cleveref}

% Miscellaneous
\usepackage{xcolor}
\usepackage{physics} % Convenient physics notation
\usepackage{siunitx} % SI units
\usepackage{enumitem} % List customization
\usepackage{xspace}
\usepackage{pifont} % For checkmarks and x-marks
\usepackage{placeins}
\usepackage{float} % H float specifier used by some closure appendices
\raggedbottom % Allows uneven column bottoms instead of stretching

% Colored boxes for key results
\usepackage{tcolorbox}
\tcbuselibrary{skins,breakable}
\tcbset{breakable}

%-----------------------------------------------------------------------------
% COLUMN-OVERFLOW PREVENTION (v4.0 — universal horizontal-spill fix)
% Universal patches: every display-math environment and every tabular gets
% clamped to \columnwidth via adjustbox. Wide content shrinks to fit instead
% of spilling into the gutter / adjacent column.
% Plus aggressive sloppiness + microtype for residual text-line tuning.
%-----------------------------------------------------------------------------
\usepackage{microtype}
\usepackage{adjustbox}
\usepackage{etoolbox}
% breqn dmath line-breaker was too slow when applied to all equations
% (each equation triggers an O(N) line-break optimization). Reverted to
% rely on \sloppy + \emergencystretch + \hfuzz=20pt for text overflow.
\setlength{\emergencystretch}{2em}
\tolerance=9999
\hbadness=99999
\vbadness=99999
\hfuzz=0.5pt
\vfuzz=20pt
\setlength{\jot}{4pt}
\sloppy
\setlength{\parskip}{0pt plus 1pt}
% tcolorbox: NOT breakable + force the box's horizontal extent to never
% exceed \columnwidth, eliminate all outer-skip horizontal offsets so
% the box left-aligns to the column edge instead of centering across
% the page. \raggedright + zero \emergencystretch + \hfuzz=0pt forces
% text inside the box to find real break points and never overhang.
% Simple tcolorbox setup. Width=\columnwidth (246pt in revtex prd
% twocolumn). \noindent before each box at source level (added
% at source level during typesetting) ensures it starts flush-left at the column
% edge instead of centered. The `before=` key in \tcbset doesn't
% reliably control outer positioning, so we fix it at source.
\tcbset{
 enhanced, breakable=false, width=\columnwidth,
 before upper={\setlength{\parindent}{0pt}\raggedright%
 \setlength{\emergencystretch}{1em}\sloppy},
 fontupper=\small, fontlower=\small,
 left=4pt, right=4pt, top=4pt, bottom=4pt
}
% \fittab{<tabular content>}: shrink-to-column-width if too wide.
% Used at SOURCE level OUTSIDE the tabular: \fittab{\begin{tabular}.\end{tabular}}.
\newsavebox{\dfdfitbox}
\newcommand{\fittab}[1]{%
 \sbox\dfdfitbox{#1}%
 \ifdim\wd\dfdfitbox>\columnwidth%
 \resizebox{\columnwidth}{!}{\usebox\dfdfitbox}%
 \else%
 \usebox\dfdfitbox%
 \fi%
}
% \fiteq{<math body>}: shrink-to-column-width if too wide. Called
% INSIDE \begin{equation}.\end{equation}: \begin{equation}\fiteq{<math>}\end{equation}.
% Inside the equation env's display math mode, \sbox enters LR mode (text),
% then $\displaystyle <math>$ opens a measured inline-display-math box.
% If wider than \columnwidth, we re-typeset with \resizebox to shrink-to-fit.
\makeatletter
\newcommand{\fiteq}[1]{%
 \sbox\dfdfitbox{\m@th$\displaystyle #1$}%
 \ifdim\wd\dfdfitbox>\columnwidth%
 \resizebox{\columnwidth}{!}{\usebox\dfdfitbox}%
 \else%
 \usebox\dfdfitbox%
 \fi%
}
\makeatother
% \fittabFull{<tabular>}: shrink-to-textwidth (full page width across
% both columns). For use inside table*/figure*/widetext when content
% is wider than even textwidth.
\newcommand{\fittabFull}[1]{%
 \sbox\dfdfitbox{#1}%
 \ifdim\wd\dfdfitbox>\textwidth%
 \resizebox{\textwidth}{!}{\usebox\dfdfitbox}%
 \else%
 \usebox\dfdfitbox%
 \fi%
}
\everydisplay{\setlength{\abovedisplayskip}{4pt}\setlength{\belowdisplayskip}{4pt}}
% Tables: a global \BeforeBeginEnvironment{tabular} patch breaks tcolorbox-
% embedded tabulars and triggers cascading "Missing number" errors in
% certain amsmath contexts. Instead we rely on revtex's table* (full-width)
% for wide tables and small fonts for narrow ones; individual problem cases
% can use \resizebox{\columnwidth}{!}{.} around the tabular.
% NOTE on wide equations:
% Globally wrapping equation/align/gather in adjustbox breaks amsmath internals
% (\split, alignment columns, equation numbers). Instead we rely on
% \sloppy + \emergencystretch + \hfuzz=20pt above to absorb most spill.
% Authors should use \resizebox{\columnwidth}{!}{$\displaystyle. $} on
% individually problematic display equations.

%-----------------------------------------------------------------------------
% v4.0.37 integration: math-mode-safe \' accent so that
% e.g. "Pad\'e" inside an inline math expression typesets as an acute
% accent on the letter rather than triggering "Command \' invalid in
% math mode". In text mode \' is unchanged.
%-----------------------------------------------------------------------------
\let\OldTextAcute\'
\renewcommand{\'}[1]{\ifmmode\acute{#1}\else\OldTextAcute{#1}\fi}

% \degree macro (used by some closures files); siunitx provides
% \si{\degree} but a bare \degree command isn't defined by default.
\providecommand{\degree}{^\circ}

%-----------------------------------------------------------------------------
% CUSTOM COMMANDS --- Standard Notation
%-----------------------------------------------------------------------------
% Fields and indices
\newcommand{\psifield}{\psi}
\newcommand{\nindex}{n}
\newcommand{\mufunction}{\mu}
\newcommand{\avec}{\mathbf{a}}
\newcommand{\asq}{a^2}
\newcommand{\astar}{a_\star}
\newcommand{\azero}{a_0}

% Couplings
\newcommand{\ka}{k_a}
\newcommand{\kalpha}{k_\alpha}
\newcommand{\ks}{k_s}
\newcommand{\alphafine}{\alpha}

% Potentials
\newcommand{\Phipot}{\Phi}
\newcommand{\Wfunc}{W}
\newcommand{\Ffunc}{F}

% Operators
% Note: physics package may define \order, so we use \providecommand with fallback
\let\order\relax
\newcommand{\order}[1]{\mathcal{O}\!\left(#1\right)}

% Units
\DeclareSIUnit\parsec{pc}
\DeclareSIUnit\solarmass{M_\odot}
\DeclareSIUnit\year{yr}

% Theory names
\newcommand{\DFD}{DFD\xspace}
\newcommand{\GR}{GR\xspace}
\newcommand{\MOND}{MOND\xspace}
\newcommand{\LCDM}{$\Lambda$CDM\xspace}

% Common phrases
\newcommand{\ie}{\textit{i.e.}\xspace}
\newcommand{\eg}{\textit{e.g.}\xspace}
\newcommand{\cf}{\textit{cf.}\xspace}
\newcommand{\etal}{\textit{et~al.}\xspace}

%-----------------------------------------------------------------------------
% THEOREM ENVIRONMENTS
%-----------------------------------------------------------------------------
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{corollary}[theorem]{Corollary}

\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}
\newtheorem{assumption}[theorem]{Assumption}

\theoremstyle{remark}
\newtheorem{remark}[theorem]{Remark}
\newtheorem{benchmark}[theorem]{Benchmark}
\newtheorem{antitheorem}[theorem]{Anti-Theorem}
\newtheorem{falsifier}[theorem]{Falsifier}
\theoremstyle{plain}
\newtheorem{postulate}[theorem]{Postulate}
\newtheorem{axiom}[theorem]{Axiom}
\theoremstyle{remark}

%-----------------------------------------------------------------------------
% DOCUMENT METADATA
%-----------------------------------------------------------------------------

%======= Closure Archive additions =======
% --- Cross-volume reference snapshot (baked from DFD_Main.aux, v4.0 final build, July 4 2026) ---
% The following labels resolve references into the primary volume (DFD_Main.pdf).
% This makes the companion volume fully self-contained: no external .aux needed.
\makeatletter
\newlabel{ap:cor:BH-triage}{{AP.36}{272}{Temperature-claim triage}{theorem.A.36}{}}
\newlabel{ap:thm:no-minimal-horizon}{{AP.35}{272}{No finite-radius horizon in the minimal branch}{theorem.A.35}{}}
\newlabel{app:O_alpha57_clean}{{O}{183}{}{section*.1304}{}}
\newlabel{app:alpha57-closure}{{AP}{266}{}{section*.1708}{}}
\newlabel{app:chi-matter}{{AV}{289}{}{section*.1783}{}}
\newlabel{app:ckm-update}{{AO}{257}{}{section*.1692}{}}
\newlabel{app:cluster-full}{{I}{155}{}{section*.1095}{}}
\newlabel{app:linear-growth-closure}{{AC}{232}{}{section*.1611}{}}
\newlabel{app:mu-derivation}{{N}{178}{}{section*.1275}{}}
\newlabel{app:neutrino}{{X}{209}{}{section*.1485}{}}
\newlabel{app:pade-identity}{{AA}{225}{}{section*.1583}{}}
\newlabel{app:qm-status}{{QM}{313}{}{section*.1848}{}}
\newlabel{app:sigma8-optical}{{AE}{236}{}{section*.1627}{}}
\newlabel{app:strongcp_selection_rule}{{L}{175}{}{section*.1250}{}}
\newlabel{app:temporal-completion}{{Q}{188}{}{section*.1335}{}}
\newlabel{app:uniqueness-manifold}{{AB}{228}{}{section*.1596}{}}
\newlabel{cor:cosmo-deep-MOND}{{AE.2}{236}{Cosmological perturbations are in deep MOND}{theorem.A.2}{}}
\newlabel{rem:optical-engine-grade}{{Q.11}{190}{Status: DFD \emph {permits} the engine; it does not yet \emph {predict} it}{theorem.Q.11}{}}
\newlabel{sec:galactic-calibration}{{VII\,E}{55}{}{section*.276}{}}
\newlabel{sec:gauge-coupling}{{IX}{66}{}{section*.366}{}}
\newlabel{thm:aext-FRW}{{AE.1}{236}{FRW-derived cosmological external field}{theorem.A.1}{}}
\newlabel{thm:ckm-obstruction}{{AO.7}{259}{Real Yukawa kernels imply \(J_{\mathrm {CKM}}=0\)}{theorem.A.7}{}}
\newlabel{thm:new-compactstar}{{AT.13}{284}{DFD-native compact-star structure, (T)}{theorem.A.13}{}}
\newlabel{thm:new-eosfamily}{{AT.14}{284}{Equation-of-state family and causal ceiling, (T/P)}{theorem.A.14}{}}
\newlabel{thm:one-H-unique-J}{{QM.9}{315}{One physical $H$ forces a unique global $J_\star $}{theorem.A.9}{}}
\newlabel{thm:optical-momentum}{{Q.10}{190}{Branch selection by the optical arrow}{theorem.Q.10}{}}
\newlabel{thm:proton-bombproof}{{F.23}{149}{Topological Proton Stability}{theorem.F.23}{}}
\newlabel{thm:uniqueness}{{AB.1}{229}{Uniqueness of $\mathbb {C}P^2\times S^3$}{theorem.A.1}{}}
\makeatother
\begin{document}
\title{Density Field Dynamics v4.0:\\ Extended Derivations and Frontier Predictions}
\author{Gary Alcock\\\small Density Field Dynamics Program}
\date{v4.0 --- July 4, 2026}
\maketitle

\noindent\textbf{Purpose of this volume.} This is the complete extended-derivation companion to the main paper \emph{Density Field Dynamics: A Complete Unified Theory}. It collects the full proofs, multi-route derivations, frontier predictions, and high-precision numerical results that support the theory but are too lengthy for the main text: theorem-grade closures and promotions, the new-territory frontier (particle, astrophysical, and cosmological predictions), the CKM/$\tau$ and series IV--VI derivations, the mathematical-foundation and quantum-gravity closures, and the multi-route fortifications and sharpenings. It is \emph{not} the statement of the theory; the final axioms, theorems, predictions, and falsifiers are in the main paper, whose revision ledger is authoritative. The wave-by-wave development record is deliberately omitted. Cross-references of the form ``Theorem~T\,$n$'' or ``Appendix~A--AS'' point to the main paper (resolved via the baked-in label snapshot in this volume's preamble); references within this volume are internal.

\tableofcontents
\newpage

\appendix
\newpage
\renewcommand{\thesection}{AH}
\setcounter{section}{0}
\input{appendix_AH1a_blocking_promotions}
\input{appendix_AH1b_new_territories_frontier}
\input{appendix_AH2a_ckm_tau}
\input{appendix_AH2b_series_IV_VI}
\input{appendix_AH3a_math_foundations_QG}
\input{appendix_AH3b_closures_partials_fortifying}

% No \bibliography: this companion contains no \cite commands; cross-volume
% references resolve through the baked-in label snapshot in the preamble
% (self-contained: no external files required to compile this volume).
\end{document}
