DEF0281canonicalv1Complete Dependency Chain
The full 14-link derivation path: 5 generators → 9 axioms → 4 orbits → ABCD → boundary ring → Central Theorem → enrichment ladder → 4+1 sector template → spectral algebra → Millennium clusters → enriched bi-square → tower assembly → computational collapse → Hinge. Every link earned, no free parameters.
Payload
Complete Dependency Chain
The full 14-link derivation path: 5 generators → 9 axioms → 4 orbits → ABCD → boundary ring → Central Theorem → enrichment ladder → 4+1 sector template → spectral algebra → Millennium clusters → enriched bi-square → tower assembly → computational collapse → Hinge. Every link earned, no free parameters.
Complete Dependency Chain
Summary
The full 14-link derivation path: 5 generators → 9 axioms → 4 orbits → ABCD → boundary ring → Central Theorem → enrichment ladder → 4+1 sector template → spectral algebra → Millennium clusters → enriched bi-square → tower assembly → computational collapse → Hinge. Every link earned, no free parameters.
Statement
\label{def:complete-dependency-chain}
The \emph{complete dependency chain} of Category~$\T$:
\begin{enumerate}
\item \textbf{Five generators.}
$\{\alpha, \pi, \gamma, \eta, \omega\}$
(Book~I, Part~I); the minimal-alphabet theorem forbids fewer.
\item \textbf{Seven axioms.}
$\KAxiom{0}$--$\KAxiom{6}$
(Book~I, Parts~II--III); each is the unique constraint
compatible with five generators.
\item \textbf{Four orbits.}
Progression on the seed~$\rho$ produces exactly four orbits
(Book~I, Part~V, ABCD Orbit Theorem).
\item \textbf{ABCD coordinates.}
The peel map $\Phi(x) = (A, B, C, D)$ assigns every
$\T$-object a quadruple (Book~I, Part~V).
\item \textbf{Boundary ring.}
$H_\tau = \mathbb{Z}[\,\jj\,]/(\jj^2 - 1)$,
forced by the fiber~$T^2$
(Book~I, Part~VII; Book~II, Part~III).
\item \textbf{Central Theorem.}
$\mathcal{O}(\tau^3) \cong A_{\mathrm{spec}}(\Lemniscate)$
(Book~II, II.T40).
\item \textbf{Enrichment ladder.}
$\mathcal{F}_E$
(Theorem~\ref{def:enrichment-functor}, Ch~4;
Definition~\ref{def:layer-template}, Ch~5)
produces
$\Elayer{0} \subsetneq \Elayer{1}
\subsetneq \Elayer{2} \subsetneq \Elayer{3}$,
saturating at $\Elayer{3}$
(Theorem~\ref{thm:saturation-e3}, Ch~7).
\item \textbf{4+1 sector template.}
Four ABCD orbits plus one mixed sector partition every
$\Elayer{1}$~datum
(Definition~\ref{def:four-plus-one-decomposition}, Ch~10).
\item \textbf{Spectral algebra.}
$\mathfrak{A}_\tau$ collects the eight spectral forces
(Definition~\ref{ch:spectral-algebra-complete}, Ch~20).
\item \textbf{Millennium clusters.}
Spectral purity (Definition~\ref{def:ch25-spectral-purity}, Ch~25),
BSD coherence (Theorem~\ref{thm:bsd-coherence-theorem}, Ch~47),
and five further readings (Parts~IV--VI)
follow from~$\mathfrak{A}_\tau$ applied sector by sector.
\item \textbf{Enriched bi-square.}
Book~I's bi-square (I.T41) lifts to~$\Elayer{1}+$
(Definition~\ref{def:enriched-bi-square}, Ch~50),
unifying all readings in one $2 \times 3$ pasted diagram.
\item \textbf{Enrichment tower assembly.}
$\Elayer{0} \to \Elayer{1} \to \Elayer{2} \to \Elayer{3}$
assembles into a single commutative diagram
(Theorem~\ref{thm:enrichment-tower-assembly}, Ch~51).
\item \textbf{Computational collapse.}
Product-meet collapse at $\Elayer{2}$
identifies witness-search with composite-construction
(Theorem~\ref{thm:product-meet-collapse}, Ch~58).
\item \textbf{Hinge.}
The assembled tower, enriched bi-square, and computational
collapse combine: \emph{the eight spectral forces are jointly
determined by the five generators and no free parameter.}
This is the Hinge Theorem (Ch~61).
\end{enumerate}
Proof / Justification
This item is definitional. No manuscript proof is required.
Source Context
- Registry source:
book-03.jsonlline 161 - Manuscript source:
2nd-edition/book-iii-categorical-spectrum/02_mainmatter/part07/ch60-the-complete-dependency-chain.texlines 55-132
Lean / Formalization Notes
- Formalization:
formalized - Module:
TauLib.BookIII.Hinge.DependencyChain - Name:
dependency_chain_check
Dependencies
- Canonical: III.T01, III.T03, III.D05, III.D10, III.D16, III.T19, III.T35, III.D65, III.T32, III.T40
Related Results
Generated by later projection phases.
Related Publications
Generated by later projection phases.
Revision Notes
- 2026-04-24: Initial pilot migration.
Identifiers
Aliases & legacy IDs
III.D66complete-dependency-chaindef:complete-dependency-chainRelease lines
corpus_v3_workingcorpus_v2Relations
Formalized by (6)
Appears in (1)
Downstream uses (computed) (12)
Items in the corpus that reference this one via load-bearing relations. Computed from the full corpus-v3 graph at build time.
FTH0611formal theorem
FTH0611formal theorem
FTH0614formal theorem
FTH0614formal theorem
FTH0615formal theorem
FTH0615formal theorem
FTH0616formal theorem
FTH0616formal theorem
FTH0617formal theorem
FTH0617formal theorem
FTH0621formal theorem
FTH0621formal theoremSources
Version & History
Status disclaimer
A Corpus Item page reports the program's current internal record for this item. It does not imply external verification, scientific consensus, or final proof unless explicitly stated. Read it together with its dependencies, formalization status, and the program's overall stance.