US_substantive_sigma_creating
plain-language theorem explainer
The definition assigns the integer 6 to the count of substantive sigma-creating amendments in US constitutional history after filtering out procedural refinements. Jurisprudence modelers applying Recognition Science would cite this constant when checking observed rates against the 1/45 yr ceiling derived from the consciousness-gap cycle. The assignment is a direct numerical constant drawn from the historical record of 27 amendments reduced to the 6 sigma-creating cases.
Claim. Let $n$ be the number of substantive sigma-creating amendments to the US Constitution. Then $n = 6$.
background
In the Precedent Stability from sigma-Conservation module, sigma is the conserved charge carried by precedents on the legal-decision graph, with a precedent's sigma-weight equal to its jurisdictional level (trial, appeal, or supreme). Total sigma of a corpus is additive under union and strictly decreases when a positive-sigma precedent is overturned without an equivalent replacement. The module derives an upper bound of one sigma-creating change per 45-year consciousness-gap cycle.
proof idea
The declaration is a direct definition that assigns the natural number 6 to the filtered count of US substantive sigma-creating amendments.
why it matters
This constant supplies the empirical numerator for the theorem US_substantive_rate, which confirms the observed rate lies at or below 1/35 yr and thereby populates the master certificate PrecedentStabilityCert. It instantiates the general bound maxAmendmentRate = 1/45 from sigma-conservation in the jurisprudence track of the Recognition framework. The definition closes the loop between the abstract conservation law and concrete constitutional history.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.