Registry · Definition IV.D01 tau-effective formalized

IV.D01 — Sector Physics Template

Four defining parameters for each sector at E₁: self-coupling κ(S;d) as rational function of ι_τ, polarity signature (χ₊-dom/balanced/χ₋-dom/crossing), primorial depth d ∈ {1,2,3}, and kernel generator. Also defines PolaritySign inductive type.

Book IV Part 1 Ch. 1

Dependency Graph

Depends on (2)

III.D13 III.T08

Depended on by (133)

IV.D02 IV.D03 IV.D04 IV.D05 IV.D06 IV.D15 IV.D328 IV.D329 IV.T99 IV.T102 IV.T104 IV.T106 IV.P172 IV.T140 IV.P120 IV.T78 IV.T90 IV.P80 IV.P84 IV.P88 IV.P91 IV.P93 IV.P96 IV.L8 IV.P99 IV.P100 IV.P101 IV.P102 IV.P104 IV.P109 IV.T80 IV.T81 IV.T84 IV.T87 IV.P128 IV.P131 IV.P132 IV.P136 IV.P140 IV.P142 IV.P146 IV.T97 IV.T98 IV.P154 IV.P155 IV.P156 IV.T100 IV.T101 IV.P160 IV.P161 IV.P162 IV.P163 IV.P164 IV.T105 IV.P165 IV.T108 IV.P168 IV.P169 IV.P170 IV.T120 IV.T121 IV.C01 IV.T124 IV.T136 IV.T137 IV.T139 IV.T141 IV.T219 IV.T220 IV.T221 IV.T225 IV.T226 IV.T245 IV.T250 IV.T259 IV.T260 IV.T261 IV.T269 IV.T272 IV.T282 IV.T284 IV.T289 IV.T311 IV.T313 IV.T314 IV.T316 IV.T317 IV.T323 IV.T325 IV.T326 IV.T335 IV.T338 IV.T342 IV.T343 IV.T344 IV.T345 IV.T355 IV.T379 IV.T384 IV.T387 IV.P235 IV.P241 IV.P243 IV.P245 IV.P257 IV.P260 IV.P261 IV.P264 IV.P267 IV.P280 IV.P281 IV.P282 IV.P301 IV.P322 IV.P326 IV.P335 IV.P341 IV.P349 IV.P350 IV.P359 IV.P361 IV.P362 IV.P363 IV.P366 IV.P367 IV.P368 IV.P372 IV.P382 IV.P386 IV.P387 IV.P388 IV.P391 IV.C5

Lean Formalization

Module: TauLib.BookIV.Sectors.SectorParameters

Symbol: Tau.BookIV.Sectors.SectorPhysics