adjacentSeverityRatio
plain-language theorem explainer
Recognition Science sets the ratio between adjacent sentencing severity categories to φ² to match observed multiplicative scaling in guidelines. A criminologist or legal theorist applying the framework would cite this when bounding punishment-to-harm ratios. The declaration is a direct one-line assignment with no lemmas or tactics.
Claim. Let φ denote the golden ratio (self-similar fixed point). The adjacent severity category ratio is defined as φ².
background
The module Sentencing Proportionality from J-Cost treats proportionality as harm × culpability = punishment and predicts the canonical punishment-to-harm ratio equals the recognition quantum φ. Sentencing guidelines are observed to scale multiplicatively, with adjacent severity category ratios falling in the range 2–3, which the module identifies with φ² ≈ 2.618. No upstream results are required; the definition stands alone in the module.
proof idea
One-line definition that directly sets adjacentSeverityRatio equal to phi raised to the natural number 2.
why it matters
The definition supplies the concrete value required by the downstream theorem adjacentSeverityRatio_gt_two (which shows the ratio exceeds 2) and by the SentencingCert structure that packages the proportionality axioms. It directly encodes the module's RS prediction that adjacent severity ratios align with φ². In the larger framework this instantiates the self-similar fixed point φ forced at T6 of the UnifiedForcingChain.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.