loading…

us/statute/26/225/b/1 — In general · Axiom

In general

4 rules

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).

in view

Whole section

Encodings · 4

qualified_overtime_deduction_cap_other26 USC § 225 (b)(1) · parameter

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'

open in graph ↗

qualified_overtime_deduction_cap_joint26 USC § 225 (b)(1) · parameter

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'

open in graph ↗

qualified_overtime_deduction_cap26 USC § 225 (b)(1) · derived

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

open in graph ↗

qualified_overtime_deduction_before_phaseout26 USC § 225 (b)(1) · derived

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)

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

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

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

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

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

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

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

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

loading…

In general

4 rules

Official source

graph ↗build calculator ↗

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).

in view

Whole section

Encodings · 4

qualified_overtime_deduction_cap_other26 USC § 225 (b)(1) · parameter

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'

open in graph ↗

qualified_overtime_deduction_cap_joint26 USC § 225 (b)(1) · parameter

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'

open in graph ↗

qualified_overtime_deduction_cap26 USC § 225 (b)(1) · derived

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

open in graph ↗

qualified_overtime_deduction_before_phaseout26 USC § 225 (b)(1) · derived

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)

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

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

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

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

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

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

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

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