pith. sign in
module module high

IndisputableMonolith.Jurisprudence.SentencingProportionalityFromJCost

show as:
view Lean formalization →

The module derives sentencing proportionality from the J-cost function in Recognition Science, establishing the canonical punishment/harm ratio as the golden ratio φ. Jurisprudence researchers applying RS to legal models would cite its definitions for ratio-based severity. It consists of imported constants and cost structures used to build proportionalityRatio and related objects without internal proofs.

claimThe canonical punishment/harm ratio equals $\phi$.

background

Recognition Science applies the J-cost function (satisfying the Recognition Composition Law) beyond physics into jurisprudence. The module imports the RS time quantum $\tau_0 = 1$ tick from Constants and the cost framework from Cost. It introduces proportionalityRatio, adjacentSeverityRatio, sentencingCost, and SentencingCert as objects that enforce J-cost proportionality in sentencing.

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

The module supplies the proportionality foundation for sentencing models in the Recognition framework. It realizes the canonical ratio $\phi$ from the self-similar fixed point (T6) and feeds definitions such as SentencingCert into downstream jurisprudence applications.

scope and limits

depends on (2)

Lean names referenced from this declaration's body.

declarations in this module (9)