Registry · Definition IV.D05 tau-effective formalized

IV.D05 — Gravity Sector at E₁

D-sector instantiation: α-generator, self-coupling κ(D;1) = 1−ι_τ, χ₊-dominant polarity, depth 1. Temporal sector on base τ¹. Physical: frame holonomy, gravitational constant G = (c³/ℏ)·ι_τ².

Book IV Part 1 Ch. 1

Dependency Graph

Depends on (2)

IV.D01 III.D13

Depended on by (70)

IV.D07 IV.D127 IV.D128 IV.P154 IV.P160 IV.P182 IV.T01 IV.T02 IV.T102 IV.T105 IV.T62 V.C05 V.D12 V.D14 V.L01 V.L02 V.P07 V.P08 V.P09 V.P104 V.P106 V.P114 V.P119 V.P201 V.P208 V.P34 V.P35 V.P36 V.P37 V.P52 V.P55 V.P69 V.P71 V.P73 V.P77 V.T120 V.T129 V.T131 V.T133 V.T136 V.T137 V.T156 V.T159 V.T17 V.T170 V.T18 V.T19 V.T21 V.T22 V.T23 V.T286 V.T290 V.T293 V.T294 V.T304 V.T321 V.T323 V.T334 V.T340 V.T341 V.T42 V.T50 V.T54 V.T63 V.T64 V.T73 V.T86 V.T88 V.T89 V.T97

Lean Formalization

Module: TauLib.BookIV.Sectors.SectorParameters

Symbol: Tau.BookIV.Sectors.gravity_sector