Registry · Definition V.D77 tau-effective formalized

V.D77 — Topology Crossing Event

A topology crossing event at orbit depth n is a transition x_n^(ball) -> x_{n+1}^(torus) from a ball-topology configuration at the structural threshold to a torus-topology configuration that is a valid torus vacuum. The topology change is discontinuous.

Book V Part 2 Ch. 18

Dependency Graph

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.GravityField.TOVPhaseBoundary

Symbol: Tau.BookV.GravityField.TopologyCrossingEvent