score
plain-language theorem explainer
Score maps each CQ descriptor to the product of its listens-to-operations ratio and coherence8 factor, returning zero when operations per second vanish. Aesthetic and habitability modules cite it to quantify recognition efficiency in visual and orbital settings. The definition is a direct conditional expression enforcing the zero-denominator safeguard.
Claim. For a coherence quotient descriptor $c$ with fields $l$, $o$, and $γ$ for listens per second, operations per second, and coherence8, the score equals $0$ if $o=0$ and equals $(l/o)·γ$ otherwise.
background
The module supplies eight-tick stream invariants together with a lightweight continuous-time measurement scaffold. CQ is the coherence quotient structure carrying listensPerSec, opsPerSec, and coherence8, the last field bounded explicitly by 0 ≤ coherence8 ≤ 1. Upstream results include the generic Measurement record from Data.Import (name, value, error) and the RSNative.Core Measurement (value, window, protocol, uncertainty) that supply the protocol and uncertainty conventions used by the scaffold.
proof idea
The definition is a direct conditional expression on the opsPerSec field of the CQ structure, returning zero on equality to zero and otherwise the scaled ratio of the remaining fields.
why it matters
This definition supplies the CQ score consumed by beautyScore and visualBeautyCert in Aesthetics.VisualBeauty as well as habitability_score and T_RS_period_pos in Astrophysics.ExoplanetHabitability. It realizes the continuous-time measurement scaffold inside the eight-tick octave framework, enabling recognition-cost calculations that connect to the phi-ladder and coherence invariants.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.