DEF0110canonicalv1Omega Readout
The map Phi_omega that assigns to each path approaching omega its base limit and its fiber limit on L. Extracts the B/C fiber dominance from paths of unbounded primorial depth.
Payload
Omega Readout
The map Phi_omega that assigns to each path approaching omega its base limit and its fiber limit on L. Extracts the B/C fiber dominance from paths of unbounded primorial depth.
Omega Readout
Summary
The map Phi_omega that assigns to each path approaching omega its base limit and its fiber limit on L. Extracts the B/C fiber dominance from paths of unbounded primorial depth.
Statement
%
\label{def:omega-readout}
Let $\mathcal{P}_\omega$ denote the set of all paths to $\omega$
--- i.e., sequences $(X_m)_{m \geq 1}$ of $\tau$-objects
whose primorial depth grows without bound.
The \textbf{omega readout} is the map
\[
\Phi_\omega \;\colon\; \mathcal{P}_\omega
\;\longrightarrow\;
\{(\Omega, \Omega)\} \times \mathbb{L}
\]
that assigns to each path approaching $\omega$
its base limit $(\Omega, \Omega)$ and its fiber limit on~$\mathbb{L}$.
Concretely, for a path $(X_m)$
with ABCD readouts $\Phi(X_m) = (A_m, B_m, C_m, D_m)$:
\begin{enumerate}
\item The \textbf{base component} is
$\operatorname{pr}_{\mathrm{base}}(\Phi_\omega(X_m))
= (\Omega, \Omega)$
for \emph{all} paths (universal collapse).
\item The \textbf{fiber component}
$\operatorname{pr}_{\mathrm{fiber}}(\Phi_\omega(X_m))
\in \mathbb{L}$
is determined by the asymptotic dominance
of the B and C coordinates:
\[
\operatorname{pr}_{\mathrm{fiber}}(\Phi_\omega(X_m))
\;=\;
\begin{cases}
e_+\text{-lobe} & \text{if } B_m / C_m \to \infty, \\[2pt]
e_-\text{-lobe} & \text{if } C_m / B_m \to \infty, \\[2pt]
\omega_{\mathbb{L}} & \text{if } B_m / C_m \to 1
\text{ (balanced)},
\end{cases}
\]
where $\omega_{\mathbb{L}}$ is the crossing-point germ
(I.D18, the node of~$\mathbb{L}$).
\end{enumerate}
The omega readout factors through the canonical projections:
the base projection $\operatorname{pr}_{\mathrm{base}} \circ \Phi_\omega$
is constant (always $(\Omega, \Omega)$),
while the fiber projection
$\operatorname{pr}_{\mathrm{fiber}} \circ \Phi_\omega$
is path-dependent and traces out all of~$\mathbb{L}$.
Proof / Justification
This item is definitional. No manuscript proof is required.
Source Context
- Registry source:
book-02.jsonlline 8 - Manuscript source:
2nd-edition/book-ii-categorical-holomorphy/02_mainmatter/part01/ch05-omega-readout-lemniscate.texlines 303-348
Lean / Formalization Notes
- Formalization:
formalized - Module:
TauLib.BookII.Interior.OmegaReadout - Name:
Tau.BookII.Interior.FiberDominance
Dependencies
- Canonical: II.D02, I.D17
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
II.D04omega-readoutdef:omega-readoutRelease lines
corpus_v3_workingcorpus_v2Relations
Appears in (1)
Sources
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.