Registry · Definition I.D19 tau-effective formalized

I.D19 — Boundary Ring and Scalars

Primorial inverse limits; CRT factorization; boundary ring as structured scaffold for scalars. iota_tau = 2/(pi+e) as B/C dominance mediator (earned, not imposed).

Book I Part 10 Ch. 39

Dependency Graph

Depends on (4)

I.D07 I.T04 I.D18 I.D28

Depended on by (15)

I.D20 I.D21 I.D34 I.D35 I.D83 I.D88 I.T12 I.T45 II.D01 II.D24 II.D59 II.D60 II.L04 II.P13 II.T40

Lean Formalization

Module: TauLib.BookI.Boundary.Ring

Symbol: Tau.Boundary.BdryRing