us/statute/42/402/w/3

loading…

For purposes of applying the provisions of paragraph (1), a determination shall be made under paragraph (2) for each year, beginning with 1972, of the total number of an individual’s increment months through the year for which the determination is made and the total so determined shall be applicable to such individual’s old-age insurance benefits beginning with benefits for January of the year following the year for which such determination is made; except that the total number applicable in the case of an individual who attains age 70 after 1972 shall be determined through the month before the month in which he attains such age and shall be applicable to his old-age insurance benefit beginning with the month in which he attains such age.

in view

Whole section

▸rulespec code

Shown source

statutes/42/402/w.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

delayed_retirement_credit_ceiling_age_years

Parameter

source: 42 USC 402(w)(2)(A)

- name: delayed_retirement_credit_ceiling_age_years
  kind: parameter
  dtype: Integer
  unit: years
  source: 42 USC 402(w)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: prior to the month in which such individual attained age 70
  versions:
    - effective_from: '1972-01-01'
      formula: '70'

months_per_year_402w

Parameter

source: 42 USC 402(w)(6)(A)

- name: months_per_year_402w
  kind: parameter
  dtype: Integer
  unit: months
  source: 42 USC 402(w)(6)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: 1/12 of 1 percent
  versions:
    - effective_from: '1972-01-01'
      formula: '12'

delayed_retirement_one_percent_as_rate

Parameter

source: 42 USC 402(w)(6)(A)

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

delayed_retirement_credit_age_ceiling_months

Derived

source: 42 USC 402(w)(2)(A)

- name: delayed_retirement_credit_age_ceiling_months
  kind: derived
  entity: Person
  dtype: Integer
  period: Month
  source: 42 USC 402(w)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: prior to the month in which such individual attained age 70
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/w#delayed_retirement_credit_ceiling_age_years
            output: delayed_retirement_credit_ceiling_age_years
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/w#months_per_year_402w
            output: months_per_year_402w
            hash: sha256:local
  versions:
    - effective_from: '1972-01-01'
      formula: delayed_retirement_credit_ceiling_age_years * months_per_year_402w

delayed_retirement_credit_transition_denominator

Parameter

source: 42 USC 402(w)(6)(C)

- name: delayed_retirement_credit_transition_denominator
  kind: parameter
  dtype: Integer
  source: 42 USC 402(w)(6)(C)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: plus 1/24 of 1 percent
  versions:
    - effective_from: '1987-01-01'
      formula: '24'

old_age_insurance_benefit_eligibility_year

Derived

source: 42 USC 402(w)(6)

- name: old_age_insurance_benefit_eligibility_year
  kind: derived
  entity: Person
  dtype: Integer
  period: Year
  source: 42 USC 402(w)(6)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: first becomes eligible for an old-age insurance benefit
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/416/l#old_age_early_retirement_age_years
            output: old_age_early_retirement_age_years
            hash: sha256:c49ec29f4805607b10cceb210c1dc444f63efd37e0f692c51ac534855f44820a
  versions:
    - effective_from: '1972-01-01'
      formula: year_of_birth + old_age_early_retirement_age_years

drc_first_transition_start_year

Parameter

source: 42 USC 402(w)(6)(B)

- name: drc_first_transition_start_year
  kind: parameter
  dtype: Integer
  unit: calendar_year
  source: 42 USC 402(w)(6)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: before 1979
  versions:
    - effective_from: '1972-01-01'
      formula: '1979'

drc_second_transition_start_year

Parameter

source: 42 USC 402(w)(6)(C)

- name: drc_second_transition_start_year
  kind: parameter
  dtype: Integer
  unit: calendar_year
  source: 42 USC 402(w)(6)(C)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: after 1978 and before 1987
  versions:
    - effective_from: '1972-01-01'
      formula: '1987'

drc_final_start_year

Parameter

source: 42 USC 402(w)(6)(D)

- name: drc_final_start_year
  kind: parameter
  dtype: Integer
  unit: calendar_year
  source: 42 USC 402(w)(6)(D)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: after 1986 and before 2005
  versions:
    - effective_from: '1972-01-01'
      formula: '2005'

delayed_retirement_credit_applicable_monthly_rate

Derived

source: 42 USC 402(w)(6)

- name: delayed_retirement_credit_applicable_monthly_rate
  kind: derived
  entity: Person
  dtype: Rate
  period: Year
  source: 42 USC 402(w)(6)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: the "applicable percentage" is
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: in any calendar year before 1979
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: after 1978 and before 1987
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: after 1986 and before 2005
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: >-
              if the calendar year in which that particular individual first becomes eligible for
              such benefit is not evenly divisible by 2
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: after 2004
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/w#drc_first_transition_start_year
            output: drc_first_transition_start_year
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/w#drc_second_transition_start_year
            output: drc_second_transition_start_year
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/w#drc_final_start_year
            output: drc_final_start_year
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/w#delayed_retirement_one_percent_as_rate
            output: delayed_retirement_one_percent_as_rate
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/w#months_per_year_402w
            output: months_per_year_402w
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/w#delayed_retirement_credit_transition_denominator
            output: delayed_retirement_credit_transition_denominator
            hash: sha256:local
  versions:
    - effective_from: '1972-01-01'
      formula: >-
        if old_age_insurance_benefit_eligibility_year < drc_first_transition_start_year:
        delayed_retirement_one_percent_as_rate / months_per_year_402w else: if
        old_age_insurance_benefit_eligibility_year < drc_second_transition_start_year:
        delayed_retirement_one_percent_as_rate / 2 / 2 else: if
        old_age_insurance_benefit_eligibility_year < drc_final_start_year:
        delayed_retirement_one_percent_as_rate / 2 / 2 +
        floor((old_age_insurance_benefit_eligibility_year - (drc_second_transition_start_year - 2))
        / 2) * delayed_retirement_one_percent_as_rate /
        delayed_retirement_credit_transition_denominator else: 2 *
        delayed_retirement_one_percent_as_rate / 3

delayed_retirement_credit_increment_months

Derived

source: 42 USC 402(w)(2)

- name: delayed_retirement_credit_increment_months
  kind: derived
  entity: Person
  dtype: Integer
  period: Month
  source: 42 USC 402(w)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: >-
              the number of increment months for any individual shall be a number equal to the total
              number of the months
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: after the month before the month in which such individual attained retirement age
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: prior to the month in which such individual attained age 70
        - 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: '1972-01-01'
      formula: |-
        max(
            0,
            min(
                old_age_benefit_entitlement_age_total_months,
                delayed_retirement_credit_age_ceiling_months
            )
            - retirement_age_total_months
        )

delayed_retirement_credit_total_rate

Derived

source: 42 USC 402(w)(1)

- name: delayed_retirement_credit_total_rate
  kind: derived
  entity: Person
  dtype: Rate
  period: Month
  source: 42 USC 402(w)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: the applicable percentage ... multiplied by
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: the number (if any) of the increment months
  versions:
    - effective_from: '1972-01-01'
      formula: |-
        delayed_retirement_credit_applicable_monthly_rate
        * delayed_retirement_credit_increment_months

delayed_retirement_credit_increase_amount

Derived

source: 42 USC 402(w)(1)

- name: delayed_retirement_credit_increase_amount
  kind: derived
  entity: Person
  dtype: Money
  period: Month
  unit: USD
  source: 42 USC 402(w)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: shall be increased by
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: of such amount
  versions:
    - effective_from: '1972-01-01'
      formula: |-
        old_age_insurance_benefit_before_delayed_retirement_credit
        * delayed_retirement_credit_total_rate

old_age_insurance_benefit_after_delayed_retirement_credit

Derived

source: 42 USC 402(w)(1)

- name: old_age_insurance_benefit_after_delayed_retirement_credit
  kind: derived
  entity: Person
  dtype: Money
  period: Month
  unit: USD
  source: 42 USC 402(w)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: The amount of an old-age insurance benefit ... shall be increased
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/w#delayed_retirement_credit_increase_amount
            output: delayed_retirement_credit_increase_amount
            hash: sha256:local
  versions:
    - effective_from: '1972-01-01'
      formula: |-
        old_age_insurance_benefit_before_delayed_retirement_credit
        + delayed_retirement_credit_increase_amount

loading…

us/statute/42/402/w/3 · Axiom

Official source

in view

Whole section

▸rulespec code

Shown source

statutes/42/402/w.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

delayed_retirement_credit_ceiling_age_years

Parameter

source: 42 USC 402(w)(2)(A)

- name: delayed_retirement_credit_ceiling_age_years
  kind: parameter
  dtype: Integer
  unit: years
  source: 42 USC 402(w)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: prior to the month in which such individual attained age 70
  versions:
    - effective_from: '1972-01-01'
      formula: '70'

months_per_year_402w

Parameter

source: 42 USC 402(w)(6)(A)

- name: months_per_year_402w
  kind: parameter
  dtype: Integer
  unit: months
  source: 42 USC 402(w)(6)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: 1/12 of 1 percent
  versions:
    - effective_from: '1972-01-01'
      formula: '12'

delayed_retirement_one_percent_as_rate

Parameter

source: 42 USC 402(w)(6)(A)

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

delayed_retirement_credit_age_ceiling_months

Derived

source: 42 USC 402(w)(2)(A)

- name: delayed_retirement_credit_age_ceiling_months
  kind: derived
  entity: Person
  dtype: Integer
  period: Month
  source: 42 USC 402(w)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: prior to the month in which such individual attained age 70
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/w#delayed_retirement_credit_ceiling_age_years
            output: delayed_retirement_credit_ceiling_age_years
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/w#months_per_year_402w
            output: months_per_year_402w
            hash: sha256:local
  versions:
    - effective_from: '1972-01-01'
      formula: delayed_retirement_credit_ceiling_age_years * months_per_year_402w

delayed_retirement_credit_transition_denominator

Parameter

source: 42 USC 402(w)(6)(C)

- name: delayed_retirement_credit_transition_denominator
  kind: parameter
  dtype: Integer
  source: 42 USC 402(w)(6)(C)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: plus 1/24 of 1 percent
  versions:
    - effective_from: '1987-01-01'
      formula: '24'

old_age_insurance_benefit_eligibility_year

Derived

source: 42 USC 402(w)(6)

- name: old_age_insurance_benefit_eligibility_year
  kind: derived
  entity: Person
  dtype: Integer
  period: Year
  source: 42 USC 402(w)(6)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: first becomes eligible for an old-age insurance benefit
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/416/l#old_age_early_retirement_age_years
            output: old_age_early_retirement_age_years
            hash: sha256:c49ec29f4805607b10cceb210c1dc444f63efd37e0f692c51ac534855f44820a
  versions:
    - effective_from: '1972-01-01'
      formula: year_of_birth + old_age_early_retirement_age_years

drc_first_transition_start_year

Parameter

source: 42 USC 402(w)(6)(B)

- name: drc_first_transition_start_year
  kind: parameter
  dtype: Integer
  unit: calendar_year
  source: 42 USC 402(w)(6)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: before 1979
  versions:
    - effective_from: '1972-01-01'
      formula: '1979'

drc_second_transition_start_year

Parameter

source: 42 USC 402(w)(6)(C)

- name: drc_second_transition_start_year
  kind: parameter
  dtype: Integer
  unit: calendar_year
  source: 42 USC 402(w)(6)(C)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: after 1978 and before 1987
  versions:
    - effective_from: '1972-01-01'
      formula: '1987'

drc_final_start_year

Parameter

source: 42 USC 402(w)(6)(D)

- name: drc_final_start_year
  kind: parameter
  dtype: Integer
  unit: calendar_year
  source: 42 USC 402(w)(6)(D)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: after 1986 and before 2005
  versions:
    - effective_from: '1972-01-01'
      formula: '2005'

delayed_retirement_credit_applicable_monthly_rate

Derived

source: 42 USC 402(w)(6)

- name: delayed_retirement_credit_applicable_monthly_rate
  kind: derived
  entity: Person
  dtype: Rate
  period: Year
  source: 42 USC 402(w)(6)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: the "applicable percentage" is
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: in any calendar year before 1979
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: after 1978 and before 1987
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: after 1986 and before 2005
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: >-
              if the calendar year in which that particular individual first becomes eligible for
              such benefit is not evenly divisible by 2
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: after 2004
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/w#drc_first_transition_start_year
            output: drc_first_transition_start_year
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/w#drc_second_transition_start_year
            output: drc_second_transition_start_year
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/w#drc_final_start_year
            output: drc_final_start_year
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/w#delayed_retirement_one_percent_as_rate
            output: delayed_retirement_one_percent_as_rate
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/w#months_per_year_402w
            output: months_per_year_402w
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/w#delayed_retirement_credit_transition_denominator
            output: delayed_retirement_credit_transition_denominator
            hash: sha256:local
  versions:
    - effective_from: '1972-01-01'
      formula: >-
        if old_age_insurance_benefit_eligibility_year < drc_first_transition_start_year:
        delayed_retirement_one_percent_as_rate / months_per_year_402w else: if
        old_age_insurance_benefit_eligibility_year < drc_second_transition_start_year:
        delayed_retirement_one_percent_as_rate / 2 / 2 else: if
        old_age_insurance_benefit_eligibility_year < drc_final_start_year:
        delayed_retirement_one_percent_as_rate / 2 / 2 +
        floor((old_age_insurance_benefit_eligibility_year - (drc_second_transition_start_year - 2))
        / 2) * delayed_retirement_one_percent_as_rate /
        delayed_retirement_credit_transition_denominator else: 2 *
        delayed_retirement_one_percent_as_rate / 3

delayed_retirement_credit_increment_months

Derived

source: 42 USC 402(w)(2)

- name: delayed_retirement_credit_increment_months
  kind: derived
  entity: Person
  dtype: Integer
  period: Month
  source: 42 USC 402(w)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: >-
              the number of increment months for any individual shall be a number equal to the total
              number of the months
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: after the month before the month in which such individual attained retirement age
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: prior to the month in which such individual attained age 70
        - 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: '1972-01-01'
      formula: |-
        max(
            0,
            min(
                old_age_benefit_entitlement_age_total_months,
                delayed_retirement_credit_age_ceiling_months
            )
            - retirement_age_total_months
        )

delayed_retirement_credit_total_rate

Derived

source: 42 USC 402(w)(1)

- name: delayed_retirement_credit_total_rate
  kind: derived
  entity: Person
  dtype: Rate
  period: Month
  source: 42 USC 402(w)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: the applicable percentage ... multiplied by
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: the number (if any) of the increment months
  versions:
    - effective_from: '1972-01-01'
      formula: |-
        delayed_retirement_credit_applicable_monthly_rate
        * delayed_retirement_credit_increment_months

delayed_retirement_credit_increase_amount

Derived

source: 42 USC 402(w)(1)

- name: delayed_retirement_credit_increase_amount
  kind: derived
  entity: Person
  dtype: Money
  period: Month
  unit: USD
  source: 42 USC 402(w)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: shall be increased by
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: of such amount
  versions:
    - effective_from: '1972-01-01'
      formula: |-
        old_age_insurance_benefit_before_delayed_retirement_credit
        * delayed_retirement_credit_total_rate

old_age_insurance_benefit_after_delayed_retirement_credit

Derived

source: 42 USC 402(w)(1)

- name: old_age_insurance_benefit_after_delayed_retirement_credit
  kind: derived
  entity: Person
  dtype: Money
  period: Month
  unit: USD
  source: 42 USC 402(w)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: The amount of an old-age insurance benefit ... shall be increased
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/w#delayed_retirement_credit_increase_amount
            output: delayed_retirement_credit_increase_amount
            hash: sha256:local
  versions:
    - effective_from: '1972-01-01'
      formula: |-
        old_age_insurance_benefit_before_delayed_retirement_credit
        + delayed_retirement_credit_increase_amount