Registry · Definition V.D133 tau-effective formalized

V.D133 — Binary Coherent-Instance System

A binary coherent-instance system is a pair (I_1, I_2) of coherent instances on tau^3 sharing the same base tau^1 progression (same temporal depth), with mutual boundary holonomy H_12 governing their gravitational interaction.

Book V Part 5 Ch. 41

Lean Formalization

Module: TauLib.BookV.Astrophysics.BinaryMergersGW

Symbol: Tau.BookV.Astrophysics.BinaryCoherentinstanceSystem