us/statute/42/402/q/9

loading…

The amount of the reduction for early retirement specified in paragraph (1)—

(A) for old-age insurance benefits, wife’s insurance benefits, and husband’s insurance benefits, shall be the amount specified in such paragraph for the first 36 months of the reduction period (as defined in paragraph (6)) or adjusted reduction period (as defined in paragraph (7)), and five-twelfths of 1 percent for any additional months included in such periods; and

(B) for widow’s insurance benefits and widower’s insurance benefits, shall be periodically revised by the Commissioner of Social Security such that— (i) the amount of the reduction at early retirement age as defined in section 416( l ) of this title shall be 28.5 percent of the full benefit; and (ii) the amount of the reduction for each month in the reduction period (specified in paragraph (6)) or the adjusted reduction period (specified in paragraph (7)) shall be established by linear interpolation between 28.5 percent at the month of attainment of early retirement age and 0 percent at the month of attainment of retirement age.

in view

Whole section

▸rulespec code

Shown source

statutes/42/402/q.yaml

Displaying the canonical repository encoding.

This encoding covers the parent provision us/statute/42/402/q; no dedicated encoding exists for this exact provision yet.

View on GitHub

Rules

old_age_first_tier_reduction_month_limit

Parameter

source: 42 USC 402(q)(9)(A)

- name: old_age_first_tier_reduction_month_limit
  kind: parameter
  dtype: Integer
  unit: months
  source: 42 USC 402(q)(9)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: for the first 36 months
  versions:
    - effective_from: '1983-01-01'
      formula: '36'

old_age_reduction_one_percent_as_rate

Parameter

source: 42 USC 402(q)(1)(A)

- name: old_age_reduction_one_percent_as_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 402(q)(1)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: of 1 percent of such amount
  versions:
    - effective_from: '1983-01-01'
      formula: '0.01'

old_age_first_tier_reduction_percent_numerator

Parameter

source: 42 USC 402(q)(1)(A)

- name: old_age_first_tier_reduction_percent_numerator
  kind: parameter
  dtype: Integer
  source: 42 USC 402(q)(1)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: 5 ⁄ 9 of 1 percent of such amount
  versions:
    - effective_from: '1983-01-01'
      formula: '5'

old_age_first_tier_reduction_percent_denominator

Parameter

source: 42 USC 402(q)(1)(A)

- name: old_age_first_tier_reduction_percent_denominator
  kind: parameter
  dtype: Integer
  source: 42 USC 402(q)(1)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: 5 ⁄ 9 of 1 percent of such amount
  versions:
    - effective_from: '1983-01-01'
      formula: '9'

old_age_additional_reduction_percent_numerator

Parameter

source: 42 USC 402(q)(9)(A)

- name: old_age_additional_reduction_percent_numerator
  kind: parameter
  dtype: Integer
  source: 42 USC 402(q)(9)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: five-twelfths of 1 percent
  versions:
    - effective_from: '1983-01-01'
      formula: '5'

old_age_additional_reduction_percent_denominator

Parameter

source: 42 USC 402(q)(9)(A)

- name: old_age_additional_reduction_percent_denominator
  kind: parameter
  dtype: Integer
  source: 42 USC 402(q)(9)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: five-twelfths of 1 percent
  versions:
    - effective_from: '1983-01-01'
      formula: '12'

old_age_reduction_rounding_multiple

Parameter

source: 42 USC 402(q)(8)

- name: old_age_reduction_rounding_multiple
  kind: parameter
  dtype: Money
  unit: USD
  source: 42 USC 402(q)(8)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: is not a multiple of $0.10
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: increased to the next higher multiple of $0.10
  versions:
    - effective_from: '1983-01-01'
      formula: '0.10'

old_age_early_claiming_reduction_months

Derived

source: 42 USC 402(q)(1), 402(q)(6)

- name: old_age_early_claiming_reduction_months
  kind: derived
  entity: Person
  dtype: Integer
  period: Month
  source: 42 USC 402(q)(1), 402(q)(6)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: before the month in which such individual attains retirement age
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: >-
              ending with the last day of the month before the month in which such individual
              attains retirement age
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/416/l#retirement_age_total_months
            output: retirement_age_total_months
            hash: sha256:c49ec29f4805607b10cceb210c1dc444f63efd37e0f692c51ac534855f44820a
  versions:
    - effective_from: '1983-01-01'
      formula: max(0, retirement_age_total_months - old_age_benefit_entitlement_age_total_months)

old_age_first_tier_reduction_months

Derived

source: 42 USC 402(q)(9)(A)

- name: old_age_first_tier_reduction_months
  kind: derived
  entity: Person
  dtype: Integer
  period: Month
  source: 42 USC 402(q)(9)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: for the first 36 months of the reduction period
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/q#old_age_first_tier_reduction_month_limit
            output: old_age_first_tier_reduction_month_limit
            hash: sha256:local
  versions:
    - effective_from: '1983-01-01'
      formula: min(old_age_early_claiming_reduction_months, old_age_first_tier_reduction_month_limit)

old_age_additional_reduction_months

Derived

source: 42 USC 402(q)(9)(A)

- name: old_age_additional_reduction_months
  kind: derived
  entity: Person
  dtype: Integer
  period: Month
  source: 42 USC 402(q)(9)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: for any additional months included in such periods
  versions:
    - effective_from: '1983-01-01'
      formula: max(0, old_age_early_claiming_reduction_months - old_age_first_tier_reduction_month_limit)

old_age_early_claiming_reduction_rate

Derived

source: 42 USC 402(q)(1)(A), 402(q)(9)(A)

- name: old_age_early_claiming_reduction_rate
  kind: derived
  entity: Person
  dtype: Rate
  period: Month
  source: 42 USC 402(q)(1)(A), 402(q)(9)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: multiplied by the number of months in the reduction period
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: five-twelfths of 1 percent for any additional months
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/q#old_age_first_tier_reduction_percent_numerator
            output: old_age_first_tier_reduction_percent_numerator
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/q#old_age_first_tier_reduction_percent_denominator
            output: old_age_first_tier_reduction_percent_denominator
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/q#old_age_additional_reduction_percent_numerator
            output: old_age_additional_reduction_percent_numerator
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/q#old_age_additional_reduction_percent_denominator
            output: old_age_additional_reduction_percent_denominator
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/q#old_age_reduction_one_percent_as_rate
            output: old_age_reduction_one_percent_as_rate
            hash: sha256:local
  versions:
    - effective_from: '1983-01-01'
      formula: |-
        old_age_first_tier_reduction_months
        * old_age_first_tier_reduction_percent_numerator
        * old_age_reduction_one_percent_as_rate
        / old_age_first_tier_reduction_percent_denominator
        + old_age_additional_reduction_months
        * old_age_additional_reduction_percent_numerator
        * old_age_reduction_one_percent_as_rate
        / old_age_additional_reduction_percent_denominator

unrounded_old_age_early_claiming_reduction_amount

Derived

source: 42 USC 402(q)(1)(A)

- name: unrounded_old_age_early_claiming_reduction_amount
  kind: derived
  entity: Person
  dtype: Money
  period: Month
  unit: USD
  source: 42 USC 402(q)(1)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: reduced by
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: of such amount
  versions:
    - effective_from: '1983-01-01'
      formula: |-
        old_age_insurance_benefit_before_section_402_q_reduction
        * old_age_early_claiming_reduction_rate

old_age_early_claiming_reduction_amount

Derived

source: 42 USC 402(q)(8)

- name: old_age_early_claiming_reduction_amount
  kind: derived
  entity: Person
  dtype: Money
  period: Month
  unit: USD
  source: 42 USC 402(q)(8)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: >-
              If the amount of any reduction computed under paragraph (1), (2), or (3) is not a
              multiple of $0.10
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: it shall be increased to the next higher multiple of $0.10
  versions:
    - effective_from: '1983-01-01'
      formula: >-
        ceil(unrounded_old_age_early_claiming_reduction_amount /
        old_age_reduction_rounding_multiple) * old_age_reduction_rounding_multiple

old_age_insurance_benefit_after_early_claiming_reduction

Derived

source: 42 USC 402(q)(1)

- name: old_age_insurance_benefit_after_early_claiming_reduction
  kind: derived
  entity: Person
  dtype: Money
  period: Month
  unit: USD
  source: 42 USC 402(q)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: >-
              the amount of such benefit for such month and for any subsequent month shall ... be
              reduced
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/q#old_age_early_claiming_reduction_amount
            output: old_age_early_claiming_reduction_amount
            hash: sha256:local
  versions:
    - effective_from: '1983-01-01'
      formula: |-
        max(
            0,
            old_age_insurance_benefit_before_section_402_q_reduction
            - old_age_early_claiming_reduction_amount
        )

▸citations (1)

References

This rule cites 1 other rule.

42 USC § 416 (l)inferredUS Federal › Statutes › Title 42 › § 416 › (l)

loading…

us/statute/42/402/q/9 · Axiom

Official source

The amount of the reduction for early retirement specified in paragraph (1)—

in view

Whole section

▸rulespec code

Shown source

statutes/42/402/q.yaml

Displaying the canonical repository encoding.

This encoding covers the parent provision us/statute/42/402/q; no dedicated encoding exists for this exact provision yet.

View on GitHub

Rules

old_age_first_tier_reduction_month_limit

Parameter

source: 42 USC 402(q)(9)(A)

- name: old_age_first_tier_reduction_month_limit
  kind: parameter
  dtype: Integer
  unit: months
  source: 42 USC 402(q)(9)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: for the first 36 months
  versions:
    - effective_from: '1983-01-01'
      formula: '36'

old_age_reduction_one_percent_as_rate

Parameter

source: 42 USC 402(q)(1)(A)

- name: old_age_reduction_one_percent_as_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 402(q)(1)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: of 1 percent of such amount
  versions:
    - effective_from: '1983-01-01'
      formula: '0.01'

old_age_first_tier_reduction_percent_numerator

Parameter

source: 42 USC 402(q)(1)(A)

- name: old_age_first_tier_reduction_percent_numerator
  kind: parameter
  dtype: Integer
  source: 42 USC 402(q)(1)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: 5 ⁄ 9 of 1 percent of such amount
  versions:
    - effective_from: '1983-01-01'
      formula: '5'

old_age_first_tier_reduction_percent_denominator

Parameter

source: 42 USC 402(q)(1)(A)

- name: old_age_first_tier_reduction_percent_denominator
  kind: parameter
  dtype: Integer
  source: 42 USC 402(q)(1)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: 5 ⁄ 9 of 1 percent of such amount
  versions:
    - effective_from: '1983-01-01'
      formula: '9'

old_age_additional_reduction_percent_numerator

Parameter

source: 42 USC 402(q)(9)(A)

- name: old_age_additional_reduction_percent_numerator
  kind: parameter
  dtype: Integer
  source: 42 USC 402(q)(9)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: five-twelfths of 1 percent
  versions:
    - effective_from: '1983-01-01'
      formula: '5'

old_age_additional_reduction_percent_denominator

Parameter

source: 42 USC 402(q)(9)(A)

- name: old_age_additional_reduction_percent_denominator
  kind: parameter
  dtype: Integer
  source: 42 USC 402(q)(9)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: five-twelfths of 1 percent
  versions:
    - effective_from: '1983-01-01'
      formula: '12'

old_age_reduction_rounding_multiple

Parameter

source: 42 USC 402(q)(8)

- name: old_age_reduction_rounding_multiple
  kind: parameter
  dtype: Money
  unit: USD
  source: 42 USC 402(q)(8)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: is not a multiple of $0.10
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: increased to the next higher multiple of $0.10
  versions:
    - effective_from: '1983-01-01'
      formula: '0.10'

old_age_early_claiming_reduction_months

Derived

source: 42 USC 402(q)(1), 402(q)(6)

- name: old_age_early_claiming_reduction_months
  kind: derived
  entity: Person
  dtype: Integer
  period: Month
  source: 42 USC 402(q)(1), 402(q)(6)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: before the month in which such individual attains retirement age
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: >-
              ending with the last day of the month before the month in which such individual
              attains retirement age
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/416/l#retirement_age_total_months
            output: retirement_age_total_months
            hash: sha256:c49ec29f4805607b10cceb210c1dc444f63efd37e0f692c51ac534855f44820a
  versions:
    - effective_from: '1983-01-01'
      formula: max(0, retirement_age_total_months - old_age_benefit_entitlement_age_total_months)

old_age_first_tier_reduction_months

Derived

source: 42 USC 402(q)(9)(A)

- name: old_age_first_tier_reduction_months
  kind: derived
  entity: Person
  dtype: Integer
  period: Month
  source: 42 USC 402(q)(9)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: for the first 36 months of the reduction period
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/q#old_age_first_tier_reduction_month_limit
            output: old_age_first_tier_reduction_month_limit
            hash: sha256:local
  versions:
    - effective_from: '1983-01-01'
      formula: min(old_age_early_claiming_reduction_months, old_age_first_tier_reduction_month_limit)

old_age_additional_reduction_months

Derived

source: 42 USC 402(q)(9)(A)

- name: old_age_additional_reduction_months
  kind: derived
  entity: Person
  dtype: Integer
  period: Month
  source: 42 USC 402(q)(9)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: for any additional months included in such periods
  versions:
    - effective_from: '1983-01-01'
      formula: max(0, old_age_early_claiming_reduction_months - old_age_first_tier_reduction_month_limit)

old_age_early_claiming_reduction_rate

Derived

source: 42 USC 402(q)(1)(A), 402(q)(9)(A)

- name: old_age_early_claiming_reduction_rate
  kind: derived
  entity: Person
  dtype: Rate
  period: Month
  source: 42 USC 402(q)(1)(A), 402(q)(9)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: multiplied by the number of months in the reduction period
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: five-twelfths of 1 percent for any additional months
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/q#old_age_first_tier_reduction_percent_numerator
            output: old_age_first_tier_reduction_percent_numerator
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/q#old_age_first_tier_reduction_percent_denominator
            output: old_age_first_tier_reduction_percent_denominator
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/q#old_age_additional_reduction_percent_numerator
            output: old_age_additional_reduction_percent_numerator
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/q#old_age_additional_reduction_percent_denominator
            output: old_age_additional_reduction_percent_denominator
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/q#old_age_reduction_one_percent_as_rate
            output: old_age_reduction_one_percent_as_rate
            hash: sha256:local
  versions:
    - effective_from: '1983-01-01'
      formula: |-
        old_age_first_tier_reduction_months
        * old_age_first_tier_reduction_percent_numerator
        * old_age_reduction_one_percent_as_rate
        / old_age_first_tier_reduction_percent_denominator
        + old_age_additional_reduction_months
        * old_age_additional_reduction_percent_numerator
        * old_age_reduction_one_percent_as_rate
        / old_age_additional_reduction_percent_denominator

unrounded_old_age_early_claiming_reduction_amount

Derived

source: 42 USC 402(q)(1)(A)

- name: unrounded_old_age_early_claiming_reduction_amount
  kind: derived
  entity: Person
  dtype: Money
  period: Month
  unit: USD
  source: 42 USC 402(q)(1)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: reduced by
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: of such amount
  versions:
    - effective_from: '1983-01-01'
      formula: |-
        old_age_insurance_benefit_before_section_402_q_reduction
        * old_age_early_claiming_reduction_rate

old_age_early_claiming_reduction_amount

Derived

source: 42 USC 402(q)(8)

- name: old_age_early_claiming_reduction_amount
  kind: derived
  entity: Person
  dtype: Money
  period: Month
  unit: USD
  source: 42 USC 402(q)(8)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: >-
              If the amount of any reduction computed under paragraph (1), (2), or (3) is not a
              multiple of $0.10
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: it shall be increased to the next higher multiple of $0.10
  versions:
    - effective_from: '1983-01-01'
      formula: >-
        ceil(unrounded_old_age_early_claiming_reduction_amount /
        old_age_reduction_rounding_multiple) * old_age_reduction_rounding_multiple

old_age_insurance_benefit_after_early_claiming_reduction

Derived

source: 42 USC 402(q)(1)

- name: old_age_insurance_benefit_after_early_claiming_reduction
  kind: derived
  entity: Person
  dtype: Money
  period: Month
  unit: USD
  source: 42 USC 402(q)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: >-
              the amount of such benefit for such month and for any subsequent month shall ... be
              reduced
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/q#old_age_early_claiming_reduction_amount
            output: old_age_early_claiming_reduction_amount
            hash: sha256:local
  versions:
    - effective_from: '1983-01-01'
      formula: |-
        max(
            0,
            old_age_insurance_benefit_before_section_402_q_reduction
            - old_age_early_claiming_reduction_amount
        )

▸citations (1)

References

This rule cites 1 other rule.

42 USC § 416 (l)inferredUS Federal › Statutes › Title 42 › § 416 › (l)