loading…

Limitation based on adjusted gross income

7 rules

(A) In general The amount allowable as a deduction under subsection (a) (after application of paragraph (1)) shall be reduced (but not below zero) by $100 for each $1,000 by which the taxpayer’s modified adjusted gross income exceeds $150,000 ($300,000 in the case of a joint return).

(B) Modified adjusted gross income For purposes of this paragraph, the term “modified adjusted gross income” means the adjusted gross income of the taxpayer for the taxable year increased by any amount excluded from gross income under section 911, 931, or 933.

in view

Whole section

Encodings · 7

qualified_overtime_phaseout_reduction26 USC § 225 (b)(2) (A) · parameter

26 USC 225(b)(2)(A)

name: qualified_overtime_phaseout_reduction
kind: parameter
dtype: Money
unit: USD
source: 26 USC 225(b)(2)(A)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: amount
        source:
          corpus_citation_path: us/statute/26/225
          text: shall be reduced (but not below zero) by $100 for each $1,000
versions:
  - effective_from: '2025-01-01'
    formula: '100'

open in graph ↗

qualified_overtime_phaseout_increment26 USC § 225 (b)(2) (A) · parameter

26 USC 225(b)(2)(A)

name: qualified_overtime_phaseout_increment
kind: parameter
dtype: Money
unit: USD
source: 26 USC 225(b)(2)(A)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: amount
        source:
          corpus_citation_path: us/statute/26/225
          text: >-
            by $100 for each $1,000 by which the taxpayer’s modified adjusted
            gross income exceeds $150,000 ($300,000 in the case of a joint
            return).
versions:
  - effective_from: '2025-01-01'
    formula: '1000'

open in graph ↗

qualified_overtime_phaseout_threshold_other26 USC § 225 (b)(2) (A) · parameter

26 USC 225(b)(2)(A)

name: qualified_overtime_phaseout_threshold_other
kind: parameter
dtype: Money
unit: USD
source: 26 USC 225(b)(2)(A)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: amount
        source:
          corpus_citation_path: us/statute/26/225
          text: >-
            modified adjusted gross income exceeds $150,000 ($300,000 in the
            case of a joint return).
versions:
  - effective_from: '2025-01-01'
    formula: '150000'

open in graph ↗

qualified_overtime_phaseout_threshold_joint26 USC § 225 (b)(2) (A) · parameter

26 USC 225(b)(2)(A)

name: qualified_overtime_phaseout_threshold_joint
kind: parameter
dtype: Money
unit: USD
source: 26 USC 225(b)(2)(A)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: amount
        source:
          corpus_citation_path: us/statute/26/225
          text: >-
            modified adjusted gross income exceeds $150,000 ($300,000 in the
            case of a joint return).
versions:
  - effective_from: '2025-01-01'
    formula: '300000'

open in graph ↗

qualified_overtime_modified_adjusted_gross_income26 USC § 225 (b)(2) (B) · derived

26 USC 225(b)(2)(B)

name: qualified_overtime_modified_adjusted_gross_income
kind: derived
entity: TaxUnit
dtype: Money
period: Year
unit: USD
source: 26 USC 225(b)(2)(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: definition
        source:
          corpus_citation_path: us/statute/26/225
          excerpt: qualified overtime deduction amount for the taxable year
          text: >-
            the term “modified adjusted gross income” means the adjusted gross
            income of the taxpayer for the taxable year increased by any amount
            excluded from gross income under section 911, 931, or 933.
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/26/911/a#section_911_amount_excluded_from_gross_income
          output: section_911_amount_excluded_from_gross_income
          hash: >-
            sha256:b128d251a0f74fc46a27e516e864e53c8d25442f5b419c7bb3bb4b607542d725
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us:statutes/26/931#amount_excluded_from_gross_income_under_section_931
          output: amount_excluded_from_gross_income_under_section_931
          hash: >-
            sha256:1fa430ea6a413cdaea822ffd05121d78a82954e52929f5a8e48a80c85249c295
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us:statutes/26/933#income_excluded_from_gross_income_under_section_933
          output: income_excluded_from_gross_income_under_section_933
          hash: >-
            sha256:e9b939801362efae757d1886823555c38a5f4ea828538308fe531f3619adc72f
versions:
  - effective_from: '2025-01-01'
    formula: |-
      max(0, adjusted_gross_income)
      + section_911_amount_excluded_from_gross_income
      + amount_excluded_from_gross_income_under_section_931
      + income_excluded_from_gross_income_under_section_933

open in graph ↗

qualified_overtime_phaseout_threshold26 USC § 225 (b)(2) (A) · derived

26 USC 225(b)(2)(A)

name: qualified_overtime_phaseout_threshold
kind: derived
entity: TaxUnit
dtype: Money
period: Year
unit: USD
source: 26 USC 225(b)(2)(A)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/26/225
          excerpt: qualified overtime deduction amount for the taxable year
          text: >-
            modified adjusted gross income exceeds $150,000 ($300,000 in the
            case of a joint return)
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/26/225#qualified_overtime_phaseout_threshold_other
          output: qualified_overtime_phaseout_threshold_other
          hash: sha256:local
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/26/225#qualified_overtime_phaseout_threshold_joint
          output: qualified_overtime_phaseout_threshold_joint
          hash: sha256:local
versions:
  - effective_from: '2025-01-01'
    formula: |-
      if (filing_status == 1):
          qualified_overtime_phaseout_threshold_joint
      else:
          qualified_overtime_phaseout_threshold_other

open in graph ↗

qualified_overtime_phaseout_amount26 USC § 225 (b)(2) (A) · derived

26 USC 225(b)(2)(A)

name: qualified_overtime_phaseout_amount
kind: derived
entity: TaxUnit
dtype: Money
period: Year
unit: USD
source: 26 USC 225(b)(2)(A)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us/statute/26/225
          excerpt: qualified overtime deduction amount for the taxable year
          text: >-
            shall be reduced (but not below zero) by $100 for each $1,000 by
            which the taxpayer’s modified adjusted gross income exceeds $150,000
            ($300,000 in the case of a joint return).
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/26/225#qualified_overtime_phaseout_reduction
          output: qualified_overtime_phaseout_reduction
          hash: sha256:local
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/26/225#qualified_overtime_phaseout_increment
          output: qualified_overtime_phaseout_increment
          hash: sha256:local
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/26/225#qualified_overtime_modified_adjusted_gross_income
          output: qualified_overtime_modified_adjusted_gross_income
          hash: sha256:local
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/26/225#qualified_overtime_phaseout_threshold
          output: qualified_overtime_phaseout_threshold
          hash: sha256:local
versions:
  - effective_from: '2025-01-01'
    formula: |-
      qualified_overtime_phaseout_reduction
      * floor(
          max(
              0,
              qualified_overtime_modified_adjusted_gross_income
              - qualified_overtime_phaseout_threshold
          )
          / qualified_overtime_phaseout_increment
      )

open in graph ↗

▸rulespec code

Shown source

statutes/26/225.yaml

Displaying the canonical repository encoding.

This encoding covers the parent provision us/statute/26/225; no dedicated encoding exists for this exact provision yet.

View on GitHub

Rules

qualified_overtime_deduction_cap_other

Parameter

source: 26 USC 225(b)(1)

- name: qualified_overtime_deduction_cap_other
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 225(b)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/225
            text: >-
              The amount allowed as a deduction under this section for any taxable year shall not
              exceed $12,500 ($25,000 in the case of a joint return).
  versions:
    - effective_from: '2025-01-01'
      formula: '12500'

qualified_overtime_deduction_cap_joint

Parameter

source: 26 USC 225(b)(1)

- name: qualified_overtime_deduction_cap_joint
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 225(b)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/225
            text: >-
              The amount allowed as a deduction under this section for any taxable year shall not
              exceed $12,500 ($25,000 in the case of a joint return).
  versions:
    - effective_from: '2025-01-01'
      formula: '25000'

qualified_overtime_phaseout_reduction

Parameter(A) in text ↖

source: 26 USC 225(b)(2)(A)

- name: qualified_overtime_phaseout_reduction
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 225(b)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/225
            text: shall be reduced (but not below zero) by $100 for each $1,000
  versions:
    - effective_from: '2025-01-01'
      formula: '100'

qualified_overtime_phaseout_increment

Parameter(A) in text ↖

source: 26 USC 225(b)(2)(A)

- name: qualified_overtime_phaseout_increment
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 225(b)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/225
            text: >-
              by $100 for each $1,000 by which the taxpayer’s modified adjusted gross income exceeds
              $150,000 ($300,000 in the case of a joint return).
  versions:
    - effective_from: '2025-01-01'
      formula: '1000'

qualified_overtime_phaseout_threshold_other

Parameter(A) in text ↖

source: 26 USC 225(b)(2)(A)

- name: qualified_overtime_phaseout_threshold_other
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 225(b)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/225
            text: >-
              modified adjusted gross income exceeds $150,000 ($300,000 in the case of a joint
              return).
  versions:
    - effective_from: '2025-01-01'
      formula: '150000'

qualified_overtime_phaseout_threshold_joint

Parameter(A) in text ↖

source: 26 USC 225(b)(2)(A)

- name: qualified_overtime_phaseout_threshold_joint
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 225(b)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/225
            text: >-
              modified adjusted gross income exceeds $150,000 ($300,000 in the case of a joint
              return).
  versions:
    - effective_from: '2025-01-01'
      formula: '300000'

qualified_overtime_compensation

Derived

source: 26 USC 225(a), 26 USC 225(c)

- name: qualified_overtime_compensation
  kind: derived
  entity: TaxUnit
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 225(a), 26 USC 225(c)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/26/225
            excerpt: qualified overtime deduction amount for the taxable year
            text: >-
              qualified overtime compensation means overtime compensation paid to an individual
              required under section 7 of the Fair Labor Standards Act of 1938 that is in excess of
              the regular rate (as used in such section) at which such individual is employed.
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/26/225
            excerpt: qualified overtime deduction amount for the taxable year
            text: Such term shall not include any qualified tip (as defined in section 224(d)).
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/225
            excerpt: qualified overtime deduction amount for the taxable year
            text: >-
              received during the taxable year and included on statements furnished to the
              individual pursuant to section 6041(d)(4) or 6051(a)(19).
  versions:
    - effective_from: '2025-01-01'
      formula: |-
        max(
            0,
            overtime_compensation_required_under_flsa_section_7_in_excess_of_regular_rate_included_on_statements
            - qualified_tips_included_in_overtime_compensation
        )

qualified_overtime_modified_adjusted_gross_income

Derived(B) in text ↖

source: 26 USC 225(b)(2)(B)

- name: qualified_overtime_modified_adjusted_gross_income
  kind: derived
  entity: TaxUnit
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 225(b)(2)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/26/225
            excerpt: qualified overtime deduction amount for the taxable year
            text: >-
              the term “modified adjusted gross income” means the adjusted gross income of the
              taxpayer for the taxable year increased by any amount excluded from gross income under
              section 911, 931, or 933.
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/911/a#section_911_amount_excluded_from_gross_income
            output: section_911_amount_excluded_from_gross_income
            hash: sha256:b128d251a0f74fc46a27e516e864e53c8d25442f5b419c7bb3bb4b607542d725
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/931#amount_excluded_from_gross_income_under_section_931
            output: amount_excluded_from_gross_income_under_section_931
            hash: sha256:1fa430ea6a413cdaea822ffd05121d78a82954e52929f5a8e48a80c85249c295
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/933#income_excluded_from_gross_income_under_section_933
            output: income_excluded_from_gross_income_under_section_933
            hash: sha256:e9b939801362efae757d1886823555c38a5f4ea828538308fe531f3619adc72f
  versions:
    - effective_from: '2025-01-01'
      formula: |-
        max(0, adjusted_gross_income)
        + section_911_amount_excluded_from_gross_income
        + amount_excluded_from_gross_income_under_section_931
        + income_excluded_from_gross_income_under_section_933

qualified_overtime_deduction_cap

Derived

source: 26 USC 225(b)(1)

- name: qualified_overtime_deduction_cap
  kind: derived
  entity: TaxUnit
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 225(b)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/225
            excerpt: qualified overtime deduction amount for the taxable year
            text: $12,500 ($25,000 in the case of a joint return)
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/225#qualified_overtime_deduction_cap_other
            output: qualified_overtime_deduction_cap_other
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/225#qualified_overtime_deduction_cap_joint
            output: qualified_overtime_deduction_cap_joint
            hash: sha256:local
  versions:
    - effective_from: '2025-01-01'
      formula: |-
        if (filing_status == 1):
            qualified_overtime_deduction_cap_joint
        else:
            qualified_overtime_deduction_cap_other

qualified_overtime_phaseout_threshold

Derived(A) in text ↖

source: 26 USC 225(b)(2)(A)

- name: qualified_overtime_phaseout_threshold
  kind: derived
  entity: TaxUnit
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 225(b)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/225
            excerpt: qualified overtime deduction amount for the taxable year
            text: >-
              modified adjusted gross income exceeds $150,000 ($300,000 in the case of a joint
              return)
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/225#qualified_overtime_phaseout_threshold_other
            output: qualified_overtime_phaseout_threshold_other
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/225#qualified_overtime_phaseout_threshold_joint
            output: qualified_overtime_phaseout_threshold_joint
            hash: sha256:local
  versions:
    - effective_from: '2025-01-01'
      formula: |-
        if (filing_status == 1):
            qualified_overtime_phaseout_threshold_joint
        else:
            qualified_overtime_phaseout_threshold_other

qualified_overtime_deduction_before_phaseout

Derived

source: 26 USC 225(a), 225(b)(1)

- name: qualified_overtime_deduction_before_phaseout
  kind: derived
  entity: TaxUnit
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 225(a), 225(b)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/225
            excerpt: qualified overtime deduction amount for the taxable year
            text: >-
              There shall be allowed as a deduction an amount equal to the qualified overtime
              compensation received during the taxable year
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/225
            excerpt: qualified overtime deduction amount for the taxable year
            text: >-
              The amount allowed as a deduction under this section for any taxable year shall not
              exceed $12,500 ($25,000 in the case of a joint return).
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/225#qualified_overtime_compensation
            output: qualified_overtime_compensation
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/225#qualified_overtime_deduction_cap
            output: qualified_overtime_deduction_cap
            hash: sha256:local
  versions:
    - effective_from: '2025-01-01'
      formula: min(qualified_overtime_compensation, qualified_overtime_deduction_cap)

qualified_overtime_phaseout_amount

Derived(A) in text ↖

source: 26 USC 225(b)(2)(A)

- name: qualified_overtime_phaseout_amount
  kind: derived
  entity: TaxUnit
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 225(b)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/225
            excerpt: qualified overtime deduction amount for the taxable year
            text: >-
              shall be reduced (but not below zero) by $100 for each $1,000 by which the taxpayer’s
              modified adjusted gross income exceeds $150,000 ($300,000 in the case of a joint
              return).
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/225#qualified_overtime_phaseout_reduction
            output: qualified_overtime_phaseout_reduction
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/225#qualified_overtime_phaseout_increment
            output: qualified_overtime_phaseout_increment
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/225#qualified_overtime_modified_adjusted_gross_income
            output: qualified_overtime_modified_adjusted_gross_income
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/225#qualified_overtime_phaseout_threshold
            output: qualified_overtime_phaseout_threshold
            hash: sha256:local
  versions:
    - effective_from: '2025-01-01'
      formula: |-
        qualified_overtime_phaseout_reduction
        * floor(
            max(
                0,
                qualified_overtime_modified_adjusted_gross_income
                - qualified_overtime_phaseout_threshold
            )
            / qualified_overtime_phaseout_increment
        )

qualified_overtime_deduction_eligibility

Derived

source: 26 USC 225(d), 225(e), 225(g)

- name: qualified_overtime_deduction_eligibility
  kind: derived
  entity: TaxUnit
  dtype: Judgment
  period: Year
  source: 26 USC 225(d), 225(e), 225(g)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/225
            excerpt: qualified overtime deduction amount for the taxable year
            text: >-
              No deduction shall be allowed under this section unless the taxpayer includes on the
              return of tax for the taxable year such individual’s social security number.
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/225
            excerpt: qualified overtime deduction amount for the taxable year
            text: >-
              If the taxpayer is a married individual (within the meaning of section 7703), this
              section shall apply only if the taxpayer and the taxpayer’s spouse file a joint return
              for the taxable year.
        - path: versions[0].formula
          kind: effective_period
          source:
            corpus_citation_path: us/statute/26/225
            excerpt: qualified overtime deduction amount for the taxable year
            text: >-
              No deduction shall be allowed under this section for any taxable year beginning after
              December 31, 2028.
  versions:
    - effective_from: '2025-01-01'
      formula: |-
        taxpayer_social_security_number_included_on_return
        and (
            not (filing_status == 1 or filing_status == 2)
            or (filing_status == 1)
        )
        and not taxable_year_begins_after_termination_date

qualified_overtime_deduction

Derived

source: 26 USC 225(a), 225(b), 225(d), 225(e), 225(g)

- name: qualified_overtime_deduction
  kind: derived
  entity: TaxUnit
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 225(a), 225(b), 225(d), 225(e), 225(g)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/225
            excerpt: qualified overtime deduction amount for the taxable year
            text: >-
              There shall be allowed as a deduction an amount equal to the qualified overtime
              compensation received during the taxable year
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/225
            excerpt: qualified overtime deduction amount for the taxable year
            text: >-
              The amount allowable as a deduction under subsection (a) (after application of
              paragraph (1)) shall be reduced (but not below zero)
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/225#qualified_overtime_deduction_before_phaseout
            output: qualified_overtime_deduction_before_phaseout
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/225#qualified_overtime_phaseout_amount
            output: qualified_overtime_phaseout_amount
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/225#qualified_overtime_deduction_eligibility
            output: qualified_overtime_deduction_eligibility
            hash: sha256:local
  versions:
    - effective_from: '2025-01-01'
      formula: |-
        if qualified_overtime_deduction_eligibility:
            max(
                0,
                qualified_overtime_deduction_before_phaseout
                - qualified_overtime_phaseout_amount
            )
        else:
            0

▸citations (1)

References

This rule cites 1 other rule.

26 USC § 911inferredUS Federal › Statutes › Title 26 › § 911

loading…

us/statute/26/225/b/2 — Limitation based on adjusted gross income · Axiom

Limitation based on adjusted gross income

7 rules

Official source

graph ↗build calculator ↗

in view

Whole section

Encodings · 7

qualified_overtime_phaseout_reduction26 USC § 225 (b)(2) (A) · parameter

26 USC 225(b)(2)(A)

name: qualified_overtime_phaseout_reduction
kind: parameter
dtype: Money
unit: USD
source: 26 USC 225(b)(2)(A)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: amount
        source:
          corpus_citation_path: us/statute/26/225
          text: shall be reduced (but not below zero) by $100 for each $1,000
versions:
  - effective_from: '2025-01-01'
    formula: '100'

open in graph ↗

qualified_overtime_phaseout_increment26 USC § 225 (b)(2) (A) · parameter

26 USC 225(b)(2)(A)

name: qualified_overtime_phaseout_increment
kind: parameter
dtype: Money
unit: USD
source: 26 USC 225(b)(2)(A)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: amount
        source:
          corpus_citation_path: us/statute/26/225
          text: >-
            by $100 for each $1,000 by which the taxpayer’s modified adjusted
            gross income exceeds $150,000 ($300,000 in the case of a joint
            return).
versions:
  - effective_from: '2025-01-01'
    formula: '1000'

open in graph ↗

qualified_overtime_phaseout_threshold_other26 USC § 225 (b)(2) (A) · parameter

26 USC 225(b)(2)(A)

name: qualified_overtime_phaseout_threshold_other
kind: parameter
dtype: Money
unit: USD
source: 26 USC 225(b)(2)(A)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: amount
        source:
          corpus_citation_path: us/statute/26/225
          text: >-
            modified adjusted gross income exceeds $150,000 ($300,000 in the
            case of a joint return).
versions:
  - effective_from: '2025-01-01'
    formula: '150000'

open in graph ↗

qualified_overtime_phaseout_threshold_joint26 USC § 225 (b)(2) (A) · parameter

26 USC 225(b)(2)(A)

name: qualified_overtime_phaseout_threshold_joint
kind: parameter
dtype: Money
unit: USD
source: 26 USC 225(b)(2)(A)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: amount
        source:
          corpus_citation_path: us/statute/26/225
          text: >-
            modified adjusted gross income exceeds $150,000 ($300,000 in the
            case of a joint return).
versions:
  - effective_from: '2025-01-01'
    formula: '300000'

open in graph ↗

qualified_overtime_modified_adjusted_gross_income26 USC § 225 (b)(2) (B) · derived

26 USC 225(b)(2)(B)

name: qualified_overtime_modified_adjusted_gross_income
kind: derived
entity: TaxUnit
dtype: Money
period: Year
unit: USD
source: 26 USC 225(b)(2)(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: definition
        source:
          corpus_citation_path: us/statute/26/225
          excerpt: qualified overtime deduction amount for the taxable year
          text: >-
            the term “modified adjusted gross income” means the adjusted gross
            income of the taxpayer for the taxable year increased by any amount
            excluded from gross income under section 911, 931, or 933.
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/26/911/a#section_911_amount_excluded_from_gross_income
          output: section_911_amount_excluded_from_gross_income
          hash: >-
            sha256:b128d251a0f74fc46a27e516e864e53c8d25442f5b419c7bb3bb4b607542d725
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us:statutes/26/931#amount_excluded_from_gross_income_under_section_931
          output: amount_excluded_from_gross_income_under_section_931
          hash: >-
            sha256:1fa430ea6a413cdaea822ffd05121d78a82954e52929f5a8e48a80c85249c295
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us:statutes/26/933#income_excluded_from_gross_income_under_section_933
          output: income_excluded_from_gross_income_under_section_933
          hash: >-
            sha256:e9b939801362efae757d1886823555c38a5f4ea828538308fe531f3619adc72f
versions:
  - effective_from: '2025-01-01'
    formula: |-
      max(0, adjusted_gross_income)
      + section_911_amount_excluded_from_gross_income
      + amount_excluded_from_gross_income_under_section_931
      + income_excluded_from_gross_income_under_section_933

open in graph ↗

qualified_overtime_phaseout_threshold26 USC § 225 (b)(2) (A) · derived

26 USC 225(b)(2)(A)

name: qualified_overtime_phaseout_threshold
kind: derived
entity: TaxUnit
dtype: Money
period: Year
unit: USD
source: 26 USC 225(b)(2)(A)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/26/225
          excerpt: qualified overtime deduction amount for the taxable year
          text: >-
            modified adjusted gross income exceeds $150,000 ($300,000 in the
            case of a joint return)
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/26/225#qualified_overtime_phaseout_threshold_other
          output: qualified_overtime_phaseout_threshold_other
          hash: sha256:local
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/26/225#qualified_overtime_phaseout_threshold_joint
          output: qualified_overtime_phaseout_threshold_joint
          hash: sha256:local
versions:
  - effective_from: '2025-01-01'
    formula: |-
      if (filing_status == 1):
          qualified_overtime_phaseout_threshold_joint
      else:
          qualified_overtime_phaseout_threshold_other

open in graph ↗

qualified_overtime_phaseout_amount26 USC § 225 (b)(2) (A) · derived

26 USC 225(b)(2)(A)

name: qualified_overtime_phaseout_amount
kind: derived
entity: TaxUnit
dtype: Money
period: Year
unit: USD
source: 26 USC 225(b)(2)(A)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us/statute/26/225
          excerpt: qualified overtime deduction amount for the taxable year
          text: >-
            shall be reduced (but not below zero) by $100 for each $1,000 by
            which the taxpayer’s modified adjusted gross income exceeds $150,000
            ($300,000 in the case of a joint return).
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/26/225#qualified_overtime_phaseout_reduction
          output: qualified_overtime_phaseout_reduction
          hash: sha256:local
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/26/225#qualified_overtime_phaseout_increment
          output: qualified_overtime_phaseout_increment
          hash: sha256:local
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/26/225#qualified_overtime_modified_adjusted_gross_income
          output: qualified_overtime_modified_adjusted_gross_income
          hash: sha256:local
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/26/225#qualified_overtime_phaseout_threshold
          output: qualified_overtime_phaseout_threshold
          hash: sha256:local
versions:
  - effective_from: '2025-01-01'
    formula: |-
      qualified_overtime_phaseout_reduction
      * floor(
          max(
              0,
              qualified_overtime_modified_adjusted_gross_income
              - qualified_overtime_phaseout_threshold
          )
          / qualified_overtime_phaseout_increment
      )

open in graph ↗

▸rulespec code

Shown source

statutes/26/225.yaml

Displaying the canonical repository encoding.

This encoding covers the parent provision us/statute/26/225; no dedicated encoding exists for this exact provision yet.

View on GitHub

Rules

qualified_overtime_deduction_cap_other

Parameter

source: 26 USC 225(b)(1)

- name: qualified_overtime_deduction_cap_other
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 225(b)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/225
            text: >-
              The amount allowed as a deduction under this section for any taxable year shall not
              exceed $12,500 ($25,000 in the case of a joint return).
  versions:
    - effective_from: '2025-01-01'
      formula: '12500'

qualified_overtime_deduction_cap_joint

Parameter

source: 26 USC 225(b)(1)

- name: qualified_overtime_deduction_cap_joint
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 225(b)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/225
            text: >-
              The amount allowed as a deduction under this section for any taxable year shall not
              exceed $12,500 ($25,000 in the case of a joint return).
  versions:
    - effective_from: '2025-01-01'
      formula: '25000'

qualified_overtime_phaseout_reduction

Parameter(A) in text ↖

source: 26 USC 225(b)(2)(A)

- name: qualified_overtime_phaseout_reduction
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 225(b)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/225
            text: shall be reduced (but not below zero) by $100 for each $1,000
  versions:
    - effective_from: '2025-01-01'
      formula: '100'

qualified_overtime_phaseout_increment

Parameter(A) in text ↖

source: 26 USC 225(b)(2)(A)

- name: qualified_overtime_phaseout_increment
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 225(b)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/225
            text: >-
              by $100 for each $1,000 by which the taxpayer’s modified adjusted gross income exceeds
              $150,000 ($300,000 in the case of a joint return).
  versions:
    - effective_from: '2025-01-01'
      formula: '1000'

qualified_overtime_phaseout_threshold_other

Parameter(A) in text ↖

source: 26 USC 225(b)(2)(A)

- name: qualified_overtime_phaseout_threshold_other
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 225(b)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/225
            text: >-
              modified adjusted gross income exceeds $150,000 ($300,000 in the case of a joint
              return).
  versions:
    - effective_from: '2025-01-01'
      formula: '150000'

qualified_overtime_phaseout_threshold_joint

Parameter(A) in text ↖

source: 26 USC 225(b)(2)(A)

- name: qualified_overtime_phaseout_threshold_joint
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 225(b)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/225
            text: >-
              modified adjusted gross income exceeds $150,000 ($300,000 in the case of a joint
              return).
  versions:
    - effective_from: '2025-01-01'
      formula: '300000'

qualified_overtime_compensation

Derived

source: 26 USC 225(a), 26 USC 225(c)

- name: qualified_overtime_compensation
  kind: derived
  entity: TaxUnit
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 225(a), 26 USC 225(c)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/26/225
            excerpt: qualified overtime deduction amount for the taxable year
            text: >-
              qualified overtime compensation means overtime compensation paid to an individual
              required under section 7 of the Fair Labor Standards Act of 1938 that is in excess of
              the regular rate (as used in such section) at which such individual is employed.
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/26/225
            excerpt: qualified overtime deduction amount for the taxable year
            text: Such term shall not include any qualified tip (as defined in section 224(d)).
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/225
            excerpt: qualified overtime deduction amount for the taxable year
            text: >-
              received during the taxable year and included on statements furnished to the
              individual pursuant to section 6041(d)(4) or 6051(a)(19).
  versions:
    - effective_from: '2025-01-01'
      formula: |-
        max(
            0,
            overtime_compensation_required_under_flsa_section_7_in_excess_of_regular_rate_included_on_statements
            - qualified_tips_included_in_overtime_compensation
        )

qualified_overtime_modified_adjusted_gross_income

Derived(B) in text ↖

source: 26 USC 225(b)(2)(B)

- name: qualified_overtime_modified_adjusted_gross_income
  kind: derived
  entity: TaxUnit
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 225(b)(2)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/26/225
            excerpt: qualified overtime deduction amount for the taxable year
            text: >-
              the term “modified adjusted gross income” means the adjusted gross income of the
              taxpayer for the taxable year increased by any amount excluded from gross income under
              section 911, 931, or 933.
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/911/a#section_911_amount_excluded_from_gross_income
            output: section_911_amount_excluded_from_gross_income
            hash: sha256:b128d251a0f74fc46a27e516e864e53c8d25442f5b419c7bb3bb4b607542d725
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/931#amount_excluded_from_gross_income_under_section_931
            output: amount_excluded_from_gross_income_under_section_931
            hash: sha256:1fa430ea6a413cdaea822ffd05121d78a82954e52929f5a8e48a80c85249c295
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/933#income_excluded_from_gross_income_under_section_933
            output: income_excluded_from_gross_income_under_section_933
            hash: sha256:e9b939801362efae757d1886823555c38a5f4ea828538308fe531f3619adc72f
  versions:
    - effective_from: '2025-01-01'
      formula: |-
        max(0, adjusted_gross_income)
        + section_911_amount_excluded_from_gross_income
        + amount_excluded_from_gross_income_under_section_931
        + income_excluded_from_gross_income_under_section_933

qualified_overtime_deduction_cap

Derived

source: 26 USC 225(b)(1)

- name: qualified_overtime_deduction_cap
  kind: derived
  entity: TaxUnit
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 225(b)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/225
            excerpt: qualified overtime deduction amount for the taxable year
            text: $12,500 ($25,000 in the case of a joint return)
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/225#qualified_overtime_deduction_cap_other
            output: qualified_overtime_deduction_cap_other
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/225#qualified_overtime_deduction_cap_joint
            output: qualified_overtime_deduction_cap_joint
            hash: sha256:local
  versions:
    - effective_from: '2025-01-01'
      formula: |-
        if (filing_status == 1):
            qualified_overtime_deduction_cap_joint
        else:
            qualified_overtime_deduction_cap_other

qualified_overtime_phaseout_threshold

Derived(A) in text ↖

source: 26 USC 225(b)(2)(A)

- name: qualified_overtime_phaseout_threshold
  kind: derived
  entity: TaxUnit
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 225(b)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/225
            excerpt: qualified overtime deduction amount for the taxable year
            text: >-
              modified adjusted gross income exceeds $150,000 ($300,000 in the case of a joint
              return)
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/225#qualified_overtime_phaseout_threshold_other
            output: qualified_overtime_phaseout_threshold_other
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/225#qualified_overtime_phaseout_threshold_joint
            output: qualified_overtime_phaseout_threshold_joint
            hash: sha256:local
  versions:
    - effective_from: '2025-01-01'
      formula: |-
        if (filing_status == 1):
            qualified_overtime_phaseout_threshold_joint
        else:
            qualified_overtime_phaseout_threshold_other

qualified_overtime_deduction_before_phaseout

Derived

source: 26 USC 225(a), 225(b)(1)

- name: qualified_overtime_deduction_before_phaseout
  kind: derived
  entity: TaxUnit
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 225(a), 225(b)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/225
            excerpt: qualified overtime deduction amount for the taxable year
            text: >-
              There shall be allowed as a deduction an amount equal to the qualified overtime
              compensation received during the taxable year
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/225
            excerpt: qualified overtime deduction amount for the taxable year
            text: >-
              The amount allowed as a deduction under this section for any taxable year shall not
              exceed $12,500 ($25,000 in the case of a joint return).
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/225#qualified_overtime_compensation
            output: qualified_overtime_compensation
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/225#qualified_overtime_deduction_cap
            output: qualified_overtime_deduction_cap
            hash: sha256:local
  versions:
    - effective_from: '2025-01-01'
      formula: min(qualified_overtime_compensation, qualified_overtime_deduction_cap)

qualified_overtime_phaseout_amount

Derived(A) in text ↖

source: 26 USC 225(b)(2)(A)

- name: qualified_overtime_phaseout_amount
  kind: derived
  entity: TaxUnit
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 225(b)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/225
            excerpt: qualified overtime deduction amount for the taxable year
            text: >-
              shall be reduced (but not below zero) by $100 for each $1,000 by which the taxpayer’s
              modified adjusted gross income exceeds $150,000 ($300,000 in the case of a joint
              return).
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/225#qualified_overtime_phaseout_reduction
            output: qualified_overtime_phaseout_reduction
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/225#qualified_overtime_phaseout_increment
            output: qualified_overtime_phaseout_increment
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/225#qualified_overtime_modified_adjusted_gross_income
            output: qualified_overtime_modified_adjusted_gross_income
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/225#qualified_overtime_phaseout_threshold
            output: qualified_overtime_phaseout_threshold
            hash: sha256:local
  versions:
    - effective_from: '2025-01-01'
      formula: |-
        qualified_overtime_phaseout_reduction
        * floor(
            max(
                0,
                qualified_overtime_modified_adjusted_gross_income
                - qualified_overtime_phaseout_threshold
            )
            / qualified_overtime_phaseout_increment
        )

qualified_overtime_deduction_eligibility

Derived

source: 26 USC 225(d), 225(e), 225(g)

- name: qualified_overtime_deduction_eligibility
  kind: derived
  entity: TaxUnit
  dtype: Judgment
  period: Year
  source: 26 USC 225(d), 225(e), 225(g)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/225
            excerpt: qualified overtime deduction amount for the taxable year
            text: >-
              No deduction shall be allowed under this section unless the taxpayer includes on the
              return of tax for the taxable year such individual’s social security number.
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/225
            excerpt: qualified overtime deduction amount for the taxable year
            text: >-
              If the taxpayer is a married individual (within the meaning of section 7703), this
              section shall apply only if the taxpayer and the taxpayer’s spouse file a joint return
              for the taxable year.
        - path: versions[0].formula
          kind: effective_period
          source:
            corpus_citation_path: us/statute/26/225
            excerpt: qualified overtime deduction amount for the taxable year
            text: >-
              No deduction shall be allowed under this section for any taxable year beginning after
              December 31, 2028.
  versions:
    - effective_from: '2025-01-01'
      formula: |-
        taxpayer_social_security_number_included_on_return
        and (
            not (filing_status == 1 or filing_status == 2)
            or (filing_status == 1)
        )
        and not taxable_year_begins_after_termination_date

qualified_overtime_deduction

Derived

source: 26 USC 225(a), 225(b), 225(d), 225(e), 225(g)

- name: qualified_overtime_deduction
  kind: derived
  entity: TaxUnit
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 225(a), 225(b), 225(d), 225(e), 225(g)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/225
            excerpt: qualified overtime deduction amount for the taxable year
            text: >-
              There shall be allowed as a deduction an amount equal to the qualified overtime
              compensation received during the taxable year
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/225
            excerpt: qualified overtime deduction amount for the taxable year
            text: >-
              The amount allowable as a deduction under subsection (a) (after application of
              paragraph (1)) shall be reduced (but not below zero)
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/225#qualified_overtime_deduction_before_phaseout
            output: qualified_overtime_deduction_before_phaseout
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/225#qualified_overtime_phaseout_amount
            output: qualified_overtime_phaseout_amount
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/225#qualified_overtime_deduction_eligibility
            output: qualified_overtime_deduction_eligibility
            hash: sha256:local
  versions:
    - effective_from: '2025-01-01'
      formula: |-
        if qualified_overtime_deduction_eligibility:
            max(
                0,
                qualified_overtime_deduction_before_phaseout
                - qualified_overtime_phaseout_amount
            )
        else:
            0

▸citations (1)

References

This rule cites 1 other rule.

26 USC § 911inferredUS Federal › Statutes › Title 26 › § 911