us/statute/42/402/q/8

loading…

This subsection shall be applied after reduction under section 403(a) of this title and before application of section 415(g) of this title . If the amount of any reduction computed under paragraph (1), (2), or (3) is not a multiple of $0.10, it shall be increased to the next higher multiple of $0.10.

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 (2)

References

This rule cites 2 other rules.

42 USC § 403 (a)inferredUS Federal › Statutes › Title 42 › § 403 › (a)
42 USC § 415 (g)inferredUS Federal › Statutes › Title 42 › § 415 › (g)

loading…

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

Official source

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 (2)

References

This rule cites 2 other rules.

42 USC § 403 (a)inferredUS Federal › Statutes › Title 42 › § 403 › (a)
42 USC § 415 (g)inferredUS Federal › Statutes › Title 42 › § 415 › (g)