pith. sign in
module module high

IndisputableMonolith.Economics.InequalityCeilingFromSigma

show as:
view Lean formalization →

This module establishes the Gini coefficient ceiling as 1/φ within Recognition Science economics models. Researchers applying RS to inequality bounds would cite it to constrain distribution metrics. The structure consists of definitions and equalities built directly on J-cost symmetry and the phi fixed point from imported modules.

claimThe Gini coefficient satisfies an upper bound of $1/φ$, where $φ$ denotes the golden ratio fixed point.

background

Recognition Science starts from the J-uniqueness relation J(x) = (x + x^{-1})/2 - 1 and the Recognition Composition Law. The Constants module fixes the base time quantum τ₀ = 1 tick. The Cost module supplies the J-cost function and defect measures that this economics module applies to derive an inequality ceiling.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies the inequality ceiling that feeds economic applications of the phi-ladder and eight-tick octave in Recognition Science. It directly instantiates the T6 self-similar fixed point as a bound on observable distributions. No downstream theorems are recorded in the current dependency graph.

scope and limits

depends on (2)

Lean names referenced from this declaration's body.

declarations in this module (6)