CQ
plain-language theorem explainer
The coherence quotient structure encodes a descriptor using three real parameters: listens per second, operations per second, and a coherence factor bounded between zero and one. Developers of ethical cost models within the Recognition Science framework cite this definition to specify inputs for alignment thresholds and preference relations. It appears as a direct structure definition that includes explicit bounds on the coherence parameter.
Claim. A coherence quotient consists of real numbers $l$, $o$, $c$ for listens per second, operations per second, and coherence, respectively, satisfying $0 ≤ c ≤ 1$.
background
The Measurement module re-exports eight-tick stream invariants and supplies a lightweight continuous-time measurement scaffold. The coherence quotient structure supplies the input type for this scaffold, carrying rate measurements together with an explicit coherence factor. The associated score function returns zero when operations per second vanishes and otherwise multiplies the ratio of listens per second to operations per second by the coherence value.
proof idea
The declaration is a structure definition that directly encodes the three rate and coherence fields together with the four explicit inequalities that witness the unit interval bounds on coherence. No lemmas or tactics are invoked.
why it matters
This structure supplies the concrete type referenced by the Ethics.CostModel layer, where it supports Admissible, CQAligned, prefer_by_cq, and PreferLex. It anchors the measurement scaffold to the eight-tick octave, enabling translation of stream patterns into continuous-time alignment scores for ethical preference models. The definition closes the placeholder alias in the cost model by providing the explicit bounds and score formula.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.