Registry · Definition III.D44 tau-effective formalized

III.D44 — τ-Admissible Gauge Data

Gauge data = section of the strong sector bundle over clopen cylinders, with finite primorial depth and bounded C-coordinate extraction. Admissibility parallels the NS case.

Book III Part 5 Ch. 38

Dependency Graph

Depends on (2)

III.D43 III.T15

Depended on by (2)

III.T26 III.T27

Lean Formalization

Module: TauLib.BookIII.Physics.StrongSector

Symbol: gauge_data_check