proportionalityRatio
plain-language theorem explainer
Recognition Science sets the optimal punishment-to-harm ratio in sentencing to the golden ratio phi. Jurisprudence researchers modeling proportionality from J-cost principles cite this when deriving canonical departure from null cost. The declaration is a direct one-line assignment to phi, the self-similar fixed point.
Claim. The canonical punishment-to-harm ratio equals the golden ratio $phi$.
background
The module derives sentencing proportionality from J-cost, where harm times culpability equals punishment. Recognition Science predicts the optimal punishment-to-harm ratio is phi, the recognition quantum that marks the canonical just departure from null cost. This matches the multiplicative scaling observed in guidelines, with adjacent severity ratios near phi squared.
proof idea
One-line definition that directly assigns the ratio to phi.
why it matters
This definition anchors the structural theorem on sentencing proportionality. It feeds proportionalityRatio_gt_one, which proves the ratio exceeds one, and the SentencingCert structure, which requires the ratio greater than one together with adjacent severity greater than two. It realizes the RS prediction that the optimal ratio is phi, consistent with the self-similar fixed point in the forcing chain.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.