predictedEchoDelay
plain-language theorem explainer
The definition maps each of the four canonical LIGO headline events to its predicted echo delay by composing the rung assignment with the general echo-delay formula. Gravitational-wave analysts testing Recognition Science forecasts against LIGO timing residuals would cite these per-event values when building the catalog table. It is realized as a direct functional composition of the rung selector and the echo-delay expression.
Claim. For each headline event $e$, let $N(e)$ be its assigned recognition rung obtained from log-mass scaling. The predicted echo delay is then $2 r_b(N(e)) log phi$, where $r_b(N)$ denotes the bounce radius at rung $N$.
background
The module records per-event predictions for the four headline LIGO/Virgo events GW150914, GW170817, GW190521, and GW230529. Each event is assigned a source mass and a recognition rung chosen from log-mass scaling on the phi-ladder. The echo delay at rung $N$ is given by twice the bounce radius at that rung multiplied by the natural logarithm of phi, which encodes the geometric round-trip multiplier from the bounce surface.
proof idea
The definition is a one-line wrapper that applies echoDelay to the output of predictedRung.
why it matters
This definition supplies the concrete delay values required by the BHEchoCatalogCert structure, which asserts positive delays and frequencies for all four events together with the rung ordering. It completes the per-event table that permits falsification of the Recognition Science echo predictions by any single high-SNR LIGO event whose timing fails to match the assigned rung. The construction directly implements the catalog described in the module documentation.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.