Corpus definition canonical 2026-05-27T20:53:50+00:00
Corpus v3 · Definition cid001237DEF0110canonicalv1

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.

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.jsonl line 8
  • Manuscript source: 2nd-edition/book-ii-categorical-holomorphy/02_mainmatter/part01/ch05-omega-readout-lemniscate.tex lines 303-348

Lean / Formalization Notes

  • Formalization: formalized
  • Module: TauLib.BookII.Interior.OmegaReadout
  • Name: Tau.BookII.Interior.FiberDominance

Dependencies

  • Canonical: II.D02, I.D17

Generated by later projection phases.

Generated by later projection phases.

Revision Notes

  • 2026-04-24: Initial pilot migration.

Identifiers

  • Corpus ID cid001237
  • Primary alias DEF0110
  • Type Definition
  • Status canonical
  • Visibility public
  • Version v1

Aliases & legacy IDs

II.D04omega-readoutdef:omega-readout

Release lines

corpus_v3_workingcorpus_v2

Relations

Appears in (1)

Sources

  • Monograph cid000001Book II, Part 1, Chapter 5 (Part I)

Version & History

  • v1 · 2026-05-10 imported from v2 registry

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.

Save or share this page for inspection

Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.

Email to expert