us/statute/42/415/a/6

loading…

(A) In applying the table of benefits in effect in December 1978 under this section for purposes of the last sentence of paragraph (4), such table, revised as provided by subsection (i), as applicable, shall be extended for average monthly wages of less than $76.00 and primary insurance benefits (as determined under subsection (d)) of less than $16.20.

(B) The Commissioner of Social Security shall determine and promulgate in regulations the methodology for extending the table under subparagraph (A).

in view

Whole section

▸rulespec code

Shown source

statutes/42/415/a.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

first_pia_formula_factor

Parameter

source: 42 USC 415(a)(1)(A)(i)

- name: first_pia_formula_factor
  kind: parameter
  dtype: Rate
  source: 42 USC 415(a)(1)(A)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/415/a/1
            excerpt: 90 percent of the individual's average indexed monthly earnings
  versions:
    - effective_from: '1979-01-01'
      formula: '0.90'

second_pia_formula_factor

Parameter

source: 42 USC 415(a)(1)(A)(ii)

- name: second_pia_formula_factor
  kind: parameter
  dtype: Rate
  source: 42 USC 415(a)(1)(A)(ii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/415/a/1
            excerpt: 32 percent of the individual's average indexed monthly earnings
  versions:
    - effective_from: '1979-01-01'
      formula: '0.32'

third_pia_formula_factor

Parameter

source: 42 USC 415(a)(1)(A)(iii)

- name: third_pia_formula_factor
  kind: parameter
  dtype: Rate
  source: 42 USC 415(a)(1)(A)(iii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/415/a/1
            excerpt: 15 percent of the individual's average indexed monthly earnings
  versions:
    - effective_from: '1979-01-01'
      formula: '0.15'

pia_rounding_multiple

Parameter

source: 42 USC 415(a)(1)(A)

- name: pia_rounding_multiple
  kind: parameter
  dtype: Money
  unit: USD
  source: 42 USC 415(a)(1)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/415/a/1
            excerpt: if not a multiple of $0.10
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/415/a/1
            excerpt: to the next lower multiple of $0.10
  versions:
    - effective_from: '1979-01-01'
      formula: '0.10'

aime_in_first_pia_segment

Derived

source: 42 USC 415(a)(1)(A)(i)

- name: aime_in_first_pia_segment
  kind: derived
  entity: Person
  dtype: Money
  period: Year
  unit: USD
  source: 42 USC 415(a)(1)(A)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/415/a/1
            excerpt: >-
              to the extent that such earnings do not exceed the amount established for purposes of
              this clause
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/415/b#average_indexed_monthly_earnings
            output: average_indexed_monthly_earnings
            hash: sha256:27fa5eb3bb8e437cfdf12283d133bca9241c321e7b50f6fc46e66ca3a147ea98
        - path: versions[0].formula
          kind: import
          import:
            target: us:policies/ssa/pia-bend-points/2026#first_pia_bend_point
            output: first_pia_bend_point
            hash: sha256:dd39d3ceda711c0eca7e2a752561c368efd59d64dbf35343b16d1cd5e7c882e0
  versions:
    - effective_from: '1979-01-01'
      formula: min(average_indexed_monthly_earnings, first_pia_bend_point)

aime_in_second_pia_segment

Derived

source: 42 USC 415(a)(1)(A)(ii)

- name: aime_in_second_pia_segment
  kind: derived
  entity: Person
  dtype: Money
  period: Year
  unit: USD
  source: 42 USC 415(a)(1)(A)(ii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/415/a/1
            excerpt: >-
              to the extent that such earnings exceed the amount established for purposes of clause
              (i) but do not exceed the amount established for purposes of this clause
        - path: versions[0].formula
          kind: import
          import:
            target: us:policies/ssa/pia-bend-points/2026#first_pia_bend_point
            output: first_pia_bend_point
            hash: sha256:dd39d3ceda711c0eca7e2a752561c368efd59d64dbf35343b16d1cd5e7c882e0
        - path: versions[0].formula
          kind: import
          import:
            target: us:policies/ssa/pia-bend-points/2026#second_pia_bend_point
            output: second_pia_bend_point
            hash: sha256:dd39d3ceda711c0eca7e2a752561c368efd59d64dbf35343b16d1cd5e7c882e0
  versions:
    - effective_from: '1979-01-01'
      formula: |-
        min(
            max(average_indexed_monthly_earnings - first_pia_bend_point, 0),
            second_pia_bend_point - first_pia_bend_point
        )

aime_in_third_pia_segment

Derived

source: 42 USC 415(a)(1)(A)(iii)

- name: aime_in_third_pia_segment
  kind: derived
  entity: Person
  dtype: Money
  period: Year
  unit: USD
  source: 42 USC 415(a)(1)(A)(iii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/415/a/1
            excerpt: >-
              to the extent that such earnings exceed the amount established for purposes of clause
              (ii)
        - path: versions[0].formula
          kind: import
          import:
            target: us:policies/ssa/pia-bend-points/2026#second_pia_bend_point
            output: second_pia_bend_point
            hash: sha256:dd39d3ceda711c0eca7e2a752561c368efd59d64dbf35343b16d1cd5e7c882e0
  versions:
    - effective_from: '1979-01-01'
      formula: max(average_indexed_monthly_earnings - second_pia_bend_point, 0)

unrounded_primary_insurance_amount

Derived

source: 42 USC 415(a)(1)(A)(i)-(iii)

- name: unrounded_primary_insurance_amount
  kind: derived
  entity: Person
  dtype: Money
  period: Year
  unit: USD
  source: 42 USC 415(a)(1)(A)(i)-(iii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/415/a/1
            excerpt: be equal to the sum of
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/415/a#aime_in_first_pia_segment
            output: aime_in_first_pia_segment
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/415/a#aime_in_second_pia_segment
            output: aime_in_second_pia_segment
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/415/a#aime_in_third_pia_segment
            output: aime_in_third_pia_segment
            hash: sha256:local
  versions:
    - effective_from: '1979-01-01'
      formula: |-
        first_pia_formula_factor * aime_in_first_pia_segment
        + second_pia_formula_factor * aime_in_second_pia_segment
        + third_pia_formula_factor * aime_in_third_pia_segment

primary_insurance_amount

Derived

source: 42 USC 415(a)(1)(A)

- name: primary_insurance_amount
  kind: derived
  entity: Person
  dtype: Money
  period: Year
  unit: USD
  source: 42 USC 415(a)(1)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/415/a/1
            excerpt: rounded, if not a multiple of $0.10, to the next lower multiple of $0.10
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/415/a#unrounded_primary_insurance_amount
            output: unrounded_primary_insurance_amount
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/415/a#pia_rounding_multiple
            output: pia_rounding_multiple
            hash: sha256:local
  versions:
    - effective_from: '1979-01-01'
      formula: floor(unrounded_primary_insurance_amount / pia_rounding_multiple) * pia_rounding_multiple

loading…

us/statute/42/415/a/6 · Axiom

Official source

(B) The Commissioner of Social Security shall determine and promulgate in regulations the methodology for extending the table under subparagraph (A).

in view

Whole section

▸rulespec code

Shown source

statutes/42/415/a.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

first_pia_formula_factor

Parameter

source: 42 USC 415(a)(1)(A)(i)

- name: first_pia_formula_factor
  kind: parameter
  dtype: Rate
  source: 42 USC 415(a)(1)(A)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/415/a/1
            excerpt: 90 percent of the individual's average indexed monthly earnings
  versions:
    - effective_from: '1979-01-01'
      formula: '0.90'

second_pia_formula_factor

Parameter

source: 42 USC 415(a)(1)(A)(ii)

- name: second_pia_formula_factor
  kind: parameter
  dtype: Rate
  source: 42 USC 415(a)(1)(A)(ii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/415/a/1
            excerpt: 32 percent of the individual's average indexed monthly earnings
  versions:
    - effective_from: '1979-01-01'
      formula: '0.32'

third_pia_formula_factor

Parameter

source: 42 USC 415(a)(1)(A)(iii)

- name: third_pia_formula_factor
  kind: parameter
  dtype: Rate
  source: 42 USC 415(a)(1)(A)(iii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/415/a/1
            excerpt: 15 percent of the individual's average indexed monthly earnings
  versions:
    - effective_from: '1979-01-01'
      formula: '0.15'

pia_rounding_multiple

Parameter

source: 42 USC 415(a)(1)(A)

- name: pia_rounding_multiple
  kind: parameter
  dtype: Money
  unit: USD
  source: 42 USC 415(a)(1)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/415/a/1
            excerpt: if not a multiple of $0.10
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/415/a/1
            excerpt: to the next lower multiple of $0.10
  versions:
    - effective_from: '1979-01-01'
      formula: '0.10'

aime_in_first_pia_segment

Derived

source: 42 USC 415(a)(1)(A)(i)

- name: aime_in_first_pia_segment
  kind: derived
  entity: Person
  dtype: Money
  period: Year
  unit: USD
  source: 42 USC 415(a)(1)(A)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/415/a/1
            excerpt: >-
              to the extent that such earnings do not exceed the amount established for purposes of
              this clause
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/415/b#average_indexed_monthly_earnings
            output: average_indexed_monthly_earnings
            hash: sha256:27fa5eb3bb8e437cfdf12283d133bca9241c321e7b50f6fc46e66ca3a147ea98
        - path: versions[0].formula
          kind: import
          import:
            target: us:policies/ssa/pia-bend-points/2026#first_pia_bend_point
            output: first_pia_bend_point
            hash: sha256:dd39d3ceda711c0eca7e2a752561c368efd59d64dbf35343b16d1cd5e7c882e0
  versions:
    - effective_from: '1979-01-01'
      formula: min(average_indexed_monthly_earnings, first_pia_bend_point)

aime_in_second_pia_segment

Derived

source: 42 USC 415(a)(1)(A)(ii)

- name: aime_in_second_pia_segment
  kind: derived
  entity: Person
  dtype: Money
  period: Year
  unit: USD
  source: 42 USC 415(a)(1)(A)(ii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/415/a/1
            excerpt: >-
              to the extent that such earnings exceed the amount established for purposes of clause
              (i) but do not exceed the amount established for purposes of this clause
        - path: versions[0].formula
          kind: import
          import:
            target: us:policies/ssa/pia-bend-points/2026#first_pia_bend_point
            output: first_pia_bend_point
            hash: sha256:dd39d3ceda711c0eca7e2a752561c368efd59d64dbf35343b16d1cd5e7c882e0
        - path: versions[0].formula
          kind: import
          import:
            target: us:policies/ssa/pia-bend-points/2026#second_pia_bend_point
            output: second_pia_bend_point
            hash: sha256:dd39d3ceda711c0eca7e2a752561c368efd59d64dbf35343b16d1cd5e7c882e0
  versions:
    - effective_from: '1979-01-01'
      formula: |-
        min(
            max(average_indexed_monthly_earnings - first_pia_bend_point, 0),
            second_pia_bend_point - first_pia_bend_point
        )

aime_in_third_pia_segment

Derived

source: 42 USC 415(a)(1)(A)(iii)

- name: aime_in_third_pia_segment
  kind: derived
  entity: Person
  dtype: Money
  period: Year
  unit: USD
  source: 42 USC 415(a)(1)(A)(iii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/415/a/1
            excerpt: >-
              to the extent that such earnings exceed the amount established for purposes of clause
              (ii)
        - path: versions[0].formula
          kind: import
          import:
            target: us:policies/ssa/pia-bend-points/2026#second_pia_bend_point
            output: second_pia_bend_point
            hash: sha256:dd39d3ceda711c0eca7e2a752561c368efd59d64dbf35343b16d1cd5e7c882e0
  versions:
    - effective_from: '1979-01-01'
      formula: max(average_indexed_monthly_earnings - second_pia_bend_point, 0)

unrounded_primary_insurance_amount

Derived

source: 42 USC 415(a)(1)(A)(i)-(iii)

- name: unrounded_primary_insurance_amount
  kind: derived
  entity: Person
  dtype: Money
  period: Year
  unit: USD
  source: 42 USC 415(a)(1)(A)(i)-(iii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/415/a/1
            excerpt: be equal to the sum of
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/415/a#aime_in_first_pia_segment
            output: aime_in_first_pia_segment
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/415/a#aime_in_second_pia_segment
            output: aime_in_second_pia_segment
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/415/a#aime_in_third_pia_segment
            output: aime_in_third_pia_segment
            hash: sha256:local
  versions:
    - effective_from: '1979-01-01'
      formula: |-
        first_pia_formula_factor * aime_in_first_pia_segment
        + second_pia_formula_factor * aime_in_second_pia_segment
        + third_pia_formula_factor * aime_in_third_pia_segment

primary_insurance_amount

Derived

source: 42 USC 415(a)(1)(A)

- name: primary_insurance_amount
  kind: derived
  entity: Person
  dtype: Money
  period: Year
  unit: USD
  source: 42 USC 415(a)(1)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/415/a/1
            excerpt: rounded, if not a multiple of $0.10, to the next lower multiple of $0.10
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/415/a#unrounded_primary_insurance_amount
            output: unrounded_primary_insurance_amount
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/415/a#pia_rounding_multiple
            output: pia_rounding_multiple
            hash: sha256:local
  versions:
    - effective_from: '1979-01-01'
      formula: floor(unrounded_primary_insurance_amount / pia_rounding_multiple) * pia_rounding_multiple