Registry · Proposition V.P151 conjectural formalized

V.P151 — Stacked Echo SNR

O1-O3 10-event stack: SNR ~ 2.2 (below 3-sigma; ~19 events needed). ET: single-event SNR ~10.4. Key discriminator: echo time ratio t+/t- = iota_tau^{-2} ~ 8.585.

Book V Part 5 Ch. 41

Dependency Graph

Depends on (1)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Gravity.BHTopoModes

Symbol: Tau.BookV.Gravity.stacked_echo_snr_x10