maxAmendmentRate
plain-language theorem explainer
The definition supplies the predicted maximum constitutional amendment rate per year in the σ-conservation model of legal precedent. Constitutional scholars would cite it to bound amendment frequency by the 45-year consciousness-gap cycle. It is introduced directly as the reciprocal of the amendment cycle constant.
Claim. The predicted maximum amendment rate is $1/45$ per year.
background
In the Precedent Stability from σ-Conservation framework, a Precedent carries a σ-weight equal to its jurisdictional level (trial/appeal/supreme) and an age in years since adoption. The total σ of a legal corpus must remain conserved across overturning events, with overturning a positive-σ precedent strictly decreasing the total. The upstream definition amendmentCycle sets the consciousness-gap amendment cycle to 45 years.
proof idea
One-line definition that sets the rate to the rational reciprocal of amendmentCycle.
why it matters
This definition feeds the equality theorem maxAmendmentRate_eq, the positivity result maxAmendmentRate_pos, the structure PrecedentStabilityCert, and the one-statement summary precedent_stability_one_statement. It implements the bound on constitutional amendment rates by the gap-45 frustration period stated in the module.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.