Registry · Definition IV.D256 tau-effective formalized

IV.D256 — Lemniscate boundary --- physical reading

The boundary of tau^3 is partial(tau^3) = {omega} x_f L where L = S^1 v S^1 is the lemniscate: two circles meeting at a single point (the omega crossing). Each lobe carries one fiber generator: the chi_+-lobe hosts EM (B-coordinate), the chi_--lobe hosts Strong (C-coordinate).

Book IV Part 1 Ch. 4

Lean Formalization

Module: TauLib.BookIV.Arena.Tau3Arena

Symbol: Tau.BookIV.Arena.LemniscateBoundaryPhysicalReading