loading…

Basis reduction

For purposes of this subtitle, the basis of any property for which a credit is allowable under subsection (a) shall be reduced by the amount of such credit so allowed (determined without regard to subsection (c)).

in view

Whole section

▸rulespec code

Shown source

statutes/26/30D.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

critical_minerals_credit_amount

Parameter

source: 26 USC 30D(b)(2)

- name: critical_minerals_credit_amount
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 30D(b)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: the amount determined under this paragraph is $3,750
  versions:
    - effective_from: '2023-01-01'
      formula: '3750'

battery_components_credit_amount

Parameter

source: 26 USC 30D(b)(3)

- name: battery_components_credit_amount
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 30D(b)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: the amount determined under this paragraph is $3,750
  versions:
    - effective_from: '2023-01-01'
      formula: '3750'

new_clean_vehicle_gross_vehicle_weight_rating_limit

Parameter

source: 26 USC 30D(d)(1)(E)

- name: new_clean_vehicle_gross_vehicle_weight_rating_limit
  kind: parameter
  dtype: Integer
  source: 26 USC 30D(d)(1)(E)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: less than 14,000 pounds
  versions:
    - effective_from: '2023-01-01'
      formula: '14000'

new_clean_vehicle_battery_capacity_minimum_kilowatt_hours

Parameter

source: 26 USC 30D(d)(1)(F)(i)

- name: new_clean_vehicle_battery_capacity_minimum_kilowatt_hours
  kind: parameter
  dtype: Decimal
  source: 26 USC 30D(d)(1)(F)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: not less than 7 kilowatt hours
  versions:
    - effective_from: '2023-01-01'
      formula: '7'

critical_minerals_applicable_percentage_initial

Parameter

source: 26 USC 30D(e)(1)(B)(i)

- name: critical_minerals_applicable_percentage_initial
  kind: parameter
  dtype: Rate
  source: 26 USC 30D(e)(1)(B)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: 40 percent
  versions:
    - effective_from: '2023-01-01'
      formula: '0.40'

critical_minerals_applicable_percentage_calendar_year_following_initial

Parameter

source: 26 USC 30D(e)(1)(B)(ii)

- name: critical_minerals_applicable_percentage_calendar_year_following_initial
  kind: parameter
  dtype: Rate
  source: 26 USC 30D(e)(1)(B)(ii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: calendar year 2024, 50 percent
  versions:
    - effective_from: '2024-01-01'
      formula: '0.50'

critical_minerals_applicable_percentage_second_calendar_year_after_initial

Parameter

source: 26 USC 30D(e)(1)(B)(iii)

- name: critical_minerals_applicable_percentage_second_calendar_year_after_initial
  kind: parameter
  dtype: Rate
  source: 26 USC 30D(e)(1)(B)(iii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: calendar year 2025, 60 percent
  versions:
    - effective_from: '2025-01-01'
      formula: '0.60'

critical_minerals_applicable_percentage_third_calendar_year_after_initial

Parameter

source: 26 USC 30D(e)(1)(B)(iv)

- name: critical_minerals_applicable_percentage_third_calendar_year_after_initial
  kind: parameter
  dtype: Rate
  source: 26 USC 30D(e)(1)(B)(iv)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: calendar year 2026, 70 percent
  versions:
    - effective_from: '2026-01-01'
      formula: '0.70'

battery_components_applicable_percentage_initial

Parameter

source: 26 USC 30D(e)(2)(B)(i)

- name: battery_components_applicable_percentage_initial
  kind: parameter
  dtype: Rate
  source: 26 USC 30D(e)(2)(B)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: 50 percent
  versions:
    - effective_from: '2023-01-01'
      formula: '0.50'

battery_components_applicable_percentage_following_two_calendar_years

Parameter

source: 26 USC 30D(e)(2)(B)(ii)

- name: battery_components_applicable_percentage_following_two_calendar_years
  kind: parameter
  dtype: Rate
  source: 26 USC 30D(e)(2)(B)(ii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: calendar year 2024 or 2025, 60 percent
  versions:
    - effective_from: '2024-01-01'
      formula: '0.60'

battery_components_applicable_percentage_third_calendar_year_after_initial

Parameter

source: 26 USC 30D(e)(2)(B)(iii)

- name: battery_components_applicable_percentage_third_calendar_year_after_initial
  kind: parameter
  dtype: Rate
  source: 26 USC 30D(e)(2)(B)(iii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: calendar year 2026, 70 percent
  versions:
    - effective_from: '2026-01-01'
      formula: '0.70'

modified_adjusted_gross_income_other_threshold

Parameter

source: 26 USC 30D(f)(10)(B)(iii)

- name: modified_adjusted_gross_income_other_threshold
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 30D(f)(10)(B)(iii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: $150,000
  versions:
    - effective_from: '2023-01-01'
      formula: '150000'

manufacturer_suggested_retail_price_van_limitation

Parameter

source: 26 USC 30D(f)(11)(B)(i)

- name: manufacturer_suggested_retail_price_van_limitation
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 30D(f)(11)(B)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: In the case of a van, $80,000
  versions:
    - effective_from: '2023-01-01'
      formula: '80000'

manufacturer_suggested_retail_price_sport_utility_vehicle_limitation

Parameter

source: 26 USC 30D(f)(11)(B)(ii)

- name: manufacturer_suggested_retail_price_sport_utility_vehicle_limitation
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 30D(f)(11)(B)(ii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: In the case of a sport utility vehicle, $80,000
  versions:
    - effective_from: '2023-01-01'
      formula: '80000'

manufacturer_suggested_retail_price_pickup_truck_limitation

Parameter

source: 26 USC 30D(f)(11)(B)(iii)

- name: manufacturer_suggested_retail_price_pickup_truck_limitation
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 30D(f)(11)(B)(iii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: In the case of a pickup truck, $80,000
  versions:
    - effective_from: '2023-01-01'
      formula: '80000'

manufacturer_suggested_retail_price_other_vehicle_limitation

Parameter

source: 26 USC 30D(f)(11)(B)(iv)

- name: manufacturer_suggested_retail_price_other_vehicle_limitation
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 30D(f)(11)(B)(iv)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: In the case of any other vehicle, $55,000
  versions:
    - effective_from: '2023-01-01'
      formula: '55000'

modified_adjusted_gross_income_for_new_clean_vehicle_credit

Derived

source: 26 USC 30D(f)(10)(C)

- name: modified_adjusted_gross_income_for_new_clean_vehicle_credit
  kind: derived
  entity: TaxUnit
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 30D(f)(10)(C)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/30D
        - 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: '2023-01-01'
      formula: |-
        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

vehicle_satisfies_new_clean_vehicle_definition

Derived

source: 26 USC 30D(d)

- name: vehicle_satisfies_new_clean_vehicle_definition
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: 26 USC 30D(d)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/26/30D
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/30D
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/26/30D
  versions:
    - effective_from: '2023-01-01'
      formula: >-
        original_use_of_vehicle_commences_with_taxpayer

        and vehicle_acquired_for_use_or_lease_by_taxpayer

        and not vehicle_acquired_for_resale

        and vehicle_made_by_qualified_manufacturer

        and vehicle_treated_as_motor_vehicle_for_clean_air_act_title_ii

        and gross_vehicle_weight_rating < new_clean_vehicle_gross_vehicle_weight_rating_limit

        and
        vehicle_propelled_to_significant_extent_by_electric_motor_drawing_electricity_from_battery

        and battery_capacity_kilowatt_hours >=
        new_clean_vehicle_battery_capacity_minimum_kilowatt_hours

        and battery_capable_of_recharge_from_external_electricity_source

        and final_assembly_occurs_within_north_america

        and seller_report_furnished_to_taxpayer_and_secretary

        and not vehicle_excluded_by_foreign_entity_of_concern_critical_minerals_rule

        and not vehicle_excluded_by_foreign_entity_of_concern_battery_components_rule

critical_minerals_requirement_satisfied

Derived

source: 26 USC 30D(e)(1)(A)

- name: critical_minerals_requirement_satisfied
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: 26 USC 30D(e)(1)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/30D
  versions:
    - effective_from: '2023-01-01'
      formula: |-
        applicable_critical_minerals_value_percentage_from_qualifying_sources
        >= applicable_critical_minerals_percentage_certified_by_qualified_manufacturer

battery_components_requirement_satisfied

Derived

source: 26 USC 30D(e)(2)(A)

- name: battery_components_requirement_satisfied
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: 26 USC 30D(e)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/30D
  versions:
    - effective_from: '2023-01-01'
      formula: |-
        battery_components_value_percentage_manufactured_or_assembled_in_north_america
        >= applicable_battery_components_percentage_certified_by_qualified_manufacturer

per_vehicle_credit_amount_before_special_rules

Derived

source: 26 USC 30D(b)

- name: per_vehicle_credit_amount_before_special_rules
  kind: derived
  entity: Asset
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 30D(b)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/30D
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/30D#critical_minerals_credit_amount
            output: critical_minerals_credit_amount
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/30D#battery_components_credit_amount
            output: battery_components_credit_amount
            hash: sha256:local
  versions:
    - effective_from: '2023-01-01'
      formula: |-
        (if critical_minerals_requirement_satisfied: critical_minerals_credit_amount else: 0)
        + (if battery_components_requirement_satisfied: battery_components_credit_amount else: 0)

vehicle_credit_allowed_after_vehicle_special_rules

Derived

source: 26 USC 30D(f)

- name: vehicle_credit_allowed_after_vehicle_special_rules
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: 26 USC 30D(f)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/30D
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/26/30D
  versions:
    - effective_from: '2023-01-01'
      formula: >-
        vehicle_satisfies_new_clean_vehicle_definition

        and vehicle_complies_with_applicable_clean_air_act_or_state_air_quality_provisions

        and vehicle_complies_with_title_49_motor_vehicle_safety_provisions

        and credit_has_not_previously_been_allowed_for_vehicle_identification_number

        and taxpayer_includes_vehicle_identification_number_on_return

        and manufacturer_suggested_retail_price <=
        applicable_manufacturer_suggested_retail_price_limitation

        and vehicle_acquired_not_after_credit_termination_date

        and not taxpayer_elects_not_to_have_section_apply_to_vehicle

per_vehicle_credit_amount_after_vehicle_special_rules

Derived

source: 26 USC 30D(b), 26 USC 30D(f), 26 USC 30D(h)

- name: per_vehicle_credit_amount_after_vehicle_special_rules
  kind: derived
  entity: Asset
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 30D(b), 26 USC 30D(f), 26 USC 30D(h)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/30D
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/30D#per_vehicle_credit_amount_before_special_rules
            output: per_vehicle_credit_amount_before_special_rules
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/30D#vehicle_credit_allowed_after_vehicle_special_rules
            output: vehicle_credit_allowed_after_vehicle_special_rules
            hash: sha256:local
  versions:
    - effective_from: '2023-01-01'
      formula: >-
        if vehicle_credit_allowed_after_vehicle_special_rules:
        per_vehicle_credit_amount_before_special_rules else: 0

property_basis_reduction_for_allowed_credit

Derived

source: 26 USC 30D(f)

- name: property_basis_reduction_for_allowed_credit
  kind: derived
  entity: Asset
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 30D(f)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: >-
              the basis of any property for which a credit is allowable under subsection (a) shall
              be reduced by the amount of such credit so allowed
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/30D#per_vehicle_credit_amount_after_vehicle_special_rules
            output: per_vehicle_credit_amount_after_vehicle_special_rules
            hash: sha256:local
  versions:
    - effective_from: '2023-01-01'
      formula: per_vehicle_credit_amount_after_vehicle_special_rules

deduction_or_other_credit_allowed_after_no_double_benefit_rule

Derived

source: 26 USC 30D(f)(2)

- name: deduction_or_other_credit_allowed_after_no_double_benefit_rule
  kind: derived
  entity: Asset
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 30D(f)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: shall be reduced by the amount of credit allowed under such subsection
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/30D#per_vehicle_credit_amount_after_vehicle_special_rules
            output: per_vehicle_credit_amount_after_vehicle_special_rules
            hash: sha256:local
  versions:
    - effective_from: '2023-01-01'
      formula: |-
        max(
            0,
            deduction_or_other_credit_allowable_for_vehicle_before_section_30D_no_double_benefit_rule
            - per_vehicle_credit_amount_after_vehicle_special_rules
        )

credit_transfer_to_eligible_entity_allowed

Derived

source: 26 USC 30D(g)

- name: credit_transfer_to_eligible_entity_allowed
  kind: derived
  entity: TaxUnit
  dtype: Judgment
  period: Year
  source: 26 USC 30D(g)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/30D
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/26/30D
  versions:
    - effective_from: '2024-01-01'
      formula: |-
        taxpayer_elects_transfer_of_new_clean_vehicle_credit
        and election_made_not_later_than_vehicle_purchase_date
        and dealer_registered_with_secretary_for_transfer
        and dealer_disclosed_required_items_to_taxpayer_not_later_than_sale
        and dealer_made_required_credit_equivalent_payment_to_taxpayer_not_later_than_sale
        and dealer_preserved_other_purchase_incentives

transferred_credit_payment_includible_in_taxpayer_gross_income

Derived

source: 26 USC 30D(g)(5)(A)

- name: transferred_credit_payment_includible_in_taxpayer_gross_income
  kind: derived
  entity: TaxUnit
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 30D(g)(5)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: shall not be includible in the gross income of the taxpayer
  versions:
    - effective_from: '2024-01-01'
      formula: '0'

transferred_credit_payment_deductible_by_dealer

Derived

source: 26 USC 30D(g)(5)(B)

- name: transferred_credit_payment_deductible_by_dealer
  kind: derived
  entity: Employer
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 30D(g)(5)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: with respect to the dealer, shall not be deductible under this title
  versions:
    - effective_from: '2024-01-01'
      formula: '0'

transferred_credit_magi_recapture_tax_increase

Derived

source: 26 USC 30D(g)(10)

- name: transferred_credit_magi_recapture_tax_increase
  kind: derived
  entity: TaxUnit
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 30D(g)(10)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/30D
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        if taxpayer_made_transfer_election_and_received_dealer_payment and
        credit_would_not_be_allowable_to_taxpayer_because_of_modified_adjusted_gross_income_limitation:
        max(0, dealer_payment_received_by_taxpayer_for_transfer_election) else: 0

loading…

us/statute/26/30D/f/1 — Basis reduction · Axiom

Basis reduction

Official source

in view

Whole section

▸rulespec code

Shown source

statutes/26/30D.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

critical_minerals_credit_amount

Parameter

source: 26 USC 30D(b)(2)

- name: critical_minerals_credit_amount
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 30D(b)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: the amount determined under this paragraph is $3,750
  versions:
    - effective_from: '2023-01-01'
      formula: '3750'

battery_components_credit_amount

Parameter

source: 26 USC 30D(b)(3)

- name: battery_components_credit_amount
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 30D(b)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: the amount determined under this paragraph is $3,750
  versions:
    - effective_from: '2023-01-01'
      formula: '3750'

new_clean_vehicle_gross_vehicle_weight_rating_limit

Parameter

source: 26 USC 30D(d)(1)(E)

- name: new_clean_vehicle_gross_vehicle_weight_rating_limit
  kind: parameter
  dtype: Integer
  source: 26 USC 30D(d)(1)(E)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: less than 14,000 pounds
  versions:
    - effective_from: '2023-01-01'
      formula: '14000'

new_clean_vehicle_battery_capacity_minimum_kilowatt_hours

Parameter

source: 26 USC 30D(d)(1)(F)(i)

- name: new_clean_vehicle_battery_capacity_minimum_kilowatt_hours
  kind: parameter
  dtype: Decimal
  source: 26 USC 30D(d)(1)(F)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: not less than 7 kilowatt hours
  versions:
    - effective_from: '2023-01-01'
      formula: '7'

critical_minerals_applicable_percentage_initial

Parameter

source: 26 USC 30D(e)(1)(B)(i)

- name: critical_minerals_applicable_percentage_initial
  kind: parameter
  dtype: Rate
  source: 26 USC 30D(e)(1)(B)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: 40 percent
  versions:
    - effective_from: '2023-01-01'
      formula: '0.40'

critical_minerals_applicable_percentage_calendar_year_following_initial

Parameter

source: 26 USC 30D(e)(1)(B)(ii)

- name: critical_minerals_applicable_percentage_calendar_year_following_initial
  kind: parameter
  dtype: Rate
  source: 26 USC 30D(e)(1)(B)(ii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: calendar year 2024, 50 percent
  versions:
    - effective_from: '2024-01-01'
      formula: '0.50'

critical_minerals_applicable_percentage_second_calendar_year_after_initial

Parameter

source: 26 USC 30D(e)(1)(B)(iii)

- name: critical_minerals_applicable_percentage_second_calendar_year_after_initial
  kind: parameter
  dtype: Rate
  source: 26 USC 30D(e)(1)(B)(iii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: calendar year 2025, 60 percent
  versions:
    - effective_from: '2025-01-01'
      formula: '0.60'

critical_minerals_applicable_percentage_third_calendar_year_after_initial

Parameter

source: 26 USC 30D(e)(1)(B)(iv)

- name: critical_minerals_applicable_percentage_third_calendar_year_after_initial
  kind: parameter
  dtype: Rate
  source: 26 USC 30D(e)(1)(B)(iv)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: calendar year 2026, 70 percent
  versions:
    - effective_from: '2026-01-01'
      formula: '0.70'

battery_components_applicable_percentage_initial

Parameter

source: 26 USC 30D(e)(2)(B)(i)

- name: battery_components_applicable_percentage_initial
  kind: parameter
  dtype: Rate
  source: 26 USC 30D(e)(2)(B)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: 50 percent
  versions:
    - effective_from: '2023-01-01'
      formula: '0.50'

battery_components_applicable_percentage_following_two_calendar_years

Parameter

source: 26 USC 30D(e)(2)(B)(ii)

- name: battery_components_applicable_percentage_following_two_calendar_years
  kind: parameter
  dtype: Rate
  source: 26 USC 30D(e)(2)(B)(ii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: calendar year 2024 or 2025, 60 percent
  versions:
    - effective_from: '2024-01-01'
      formula: '0.60'

battery_components_applicable_percentage_third_calendar_year_after_initial

Parameter

source: 26 USC 30D(e)(2)(B)(iii)

- name: battery_components_applicable_percentage_third_calendar_year_after_initial
  kind: parameter
  dtype: Rate
  source: 26 USC 30D(e)(2)(B)(iii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: calendar year 2026, 70 percent
  versions:
    - effective_from: '2026-01-01'
      formula: '0.70'

modified_adjusted_gross_income_other_threshold

Parameter

source: 26 USC 30D(f)(10)(B)(iii)

- name: modified_adjusted_gross_income_other_threshold
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 30D(f)(10)(B)(iii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: $150,000
  versions:
    - effective_from: '2023-01-01'
      formula: '150000'

manufacturer_suggested_retail_price_van_limitation

Parameter

source: 26 USC 30D(f)(11)(B)(i)

- name: manufacturer_suggested_retail_price_van_limitation
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 30D(f)(11)(B)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: In the case of a van, $80,000
  versions:
    - effective_from: '2023-01-01'
      formula: '80000'

manufacturer_suggested_retail_price_sport_utility_vehicle_limitation

Parameter

source: 26 USC 30D(f)(11)(B)(ii)

- name: manufacturer_suggested_retail_price_sport_utility_vehicle_limitation
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 30D(f)(11)(B)(ii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: In the case of a sport utility vehicle, $80,000
  versions:
    - effective_from: '2023-01-01'
      formula: '80000'

manufacturer_suggested_retail_price_pickup_truck_limitation

Parameter

source: 26 USC 30D(f)(11)(B)(iii)

- name: manufacturer_suggested_retail_price_pickup_truck_limitation
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 30D(f)(11)(B)(iii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: In the case of a pickup truck, $80,000
  versions:
    - effective_from: '2023-01-01'
      formula: '80000'

manufacturer_suggested_retail_price_other_vehicle_limitation

Parameter

source: 26 USC 30D(f)(11)(B)(iv)

- name: manufacturer_suggested_retail_price_other_vehicle_limitation
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 30D(f)(11)(B)(iv)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: In the case of any other vehicle, $55,000
  versions:
    - effective_from: '2023-01-01'
      formula: '55000'

modified_adjusted_gross_income_for_new_clean_vehicle_credit

Derived

source: 26 USC 30D(f)(10)(C)

- name: modified_adjusted_gross_income_for_new_clean_vehicle_credit
  kind: derived
  entity: TaxUnit
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 30D(f)(10)(C)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/30D
        - 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: '2023-01-01'
      formula: |-
        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

vehicle_satisfies_new_clean_vehicle_definition

Derived

source: 26 USC 30D(d)

- name: vehicle_satisfies_new_clean_vehicle_definition
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: 26 USC 30D(d)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/26/30D
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/30D
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/26/30D
  versions:
    - effective_from: '2023-01-01'
      formula: >-
        original_use_of_vehicle_commences_with_taxpayer

        and vehicle_acquired_for_use_or_lease_by_taxpayer

        and not vehicle_acquired_for_resale

        and vehicle_made_by_qualified_manufacturer

        and vehicle_treated_as_motor_vehicle_for_clean_air_act_title_ii

        and gross_vehicle_weight_rating < new_clean_vehicle_gross_vehicle_weight_rating_limit

        and
        vehicle_propelled_to_significant_extent_by_electric_motor_drawing_electricity_from_battery

        and battery_capacity_kilowatt_hours >=
        new_clean_vehicle_battery_capacity_minimum_kilowatt_hours

        and battery_capable_of_recharge_from_external_electricity_source

        and final_assembly_occurs_within_north_america

        and seller_report_furnished_to_taxpayer_and_secretary

        and not vehicle_excluded_by_foreign_entity_of_concern_critical_minerals_rule

        and not vehicle_excluded_by_foreign_entity_of_concern_battery_components_rule

critical_minerals_requirement_satisfied

Derived

source: 26 USC 30D(e)(1)(A)

- name: critical_minerals_requirement_satisfied
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: 26 USC 30D(e)(1)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/30D
  versions:
    - effective_from: '2023-01-01'
      formula: |-
        applicable_critical_minerals_value_percentage_from_qualifying_sources
        >= applicable_critical_minerals_percentage_certified_by_qualified_manufacturer

battery_components_requirement_satisfied

Derived

source: 26 USC 30D(e)(2)(A)

- name: battery_components_requirement_satisfied
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: 26 USC 30D(e)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/30D
  versions:
    - effective_from: '2023-01-01'
      formula: |-
        battery_components_value_percentage_manufactured_or_assembled_in_north_america
        >= applicable_battery_components_percentage_certified_by_qualified_manufacturer

per_vehicle_credit_amount_before_special_rules

Derived

source: 26 USC 30D(b)

- name: per_vehicle_credit_amount_before_special_rules
  kind: derived
  entity: Asset
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 30D(b)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/30D
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/30D#critical_minerals_credit_amount
            output: critical_minerals_credit_amount
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/30D#battery_components_credit_amount
            output: battery_components_credit_amount
            hash: sha256:local
  versions:
    - effective_from: '2023-01-01'
      formula: |-
        (if critical_minerals_requirement_satisfied: critical_minerals_credit_amount else: 0)
        + (if battery_components_requirement_satisfied: battery_components_credit_amount else: 0)

vehicle_credit_allowed_after_vehicle_special_rules

Derived

source: 26 USC 30D(f)

- name: vehicle_credit_allowed_after_vehicle_special_rules
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: 26 USC 30D(f)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/30D
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/26/30D
  versions:
    - effective_from: '2023-01-01'
      formula: >-
        vehicle_satisfies_new_clean_vehicle_definition

        and vehicle_complies_with_applicable_clean_air_act_or_state_air_quality_provisions

        and vehicle_complies_with_title_49_motor_vehicle_safety_provisions

        and credit_has_not_previously_been_allowed_for_vehicle_identification_number

        and taxpayer_includes_vehicle_identification_number_on_return

        and manufacturer_suggested_retail_price <=
        applicable_manufacturer_suggested_retail_price_limitation

        and vehicle_acquired_not_after_credit_termination_date

        and not taxpayer_elects_not_to_have_section_apply_to_vehicle

per_vehicle_credit_amount_after_vehicle_special_rules

Derived

source: 26 USC 30D(b), 26 USC 30D(f), 26 USC 30D(h)

- name: per_vehicle_credit_amount_after_vehicle_special_rules
  kind: derived
  entity: Asset
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 30D(b), 26 USC 30D(f), 26 USC 30D(h)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/30D
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/30D#per_vehicle_credit_amount_before_special_rules
            output: per_vehicle_credit_amount_before_special_rules
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/30D#vehicle_credit_allowed_after_vehicle_special_rules
            output: vehicle_credit_allowed_after_vehicle_special_rules
            hash: sha256:local
  versions:
    - effective_from: '2023-01-01'
      formula: >-
        if vehicle_credit_allowed_after_vehicle_special_rules:
        per_vehicle_credit_amount_before_special_rules else: 0

property_basis_reduction_for_allowed_credit

Derived

source: 26 USC 30D(f)

- name: property_basis_reduction_for_allowed_credit
  kind: derived
  entity: Asset
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 30D(f)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: >-
              the basis of any property for which a credit is allowable under subsection (a) shall
              be reduced by the amount of such credit so allowed
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/30D#per_vehicle_credit_amount_after_vehicle_special_rules
            output: per_vehicle_credit_amount_after_vehicle_special_rules
            hash: sha256:local
  versions:
    - effective_from: '2023-01-01'
      formula: per_vehicle_credit_amount_after_vehicle_special_rules

deduction_or_other_credit_allowed_after_no_double_benefit_rule

Derived

source: 26 USC 30D(f)(2)

- name: deduction_or_other_credit_allowed_after_no_double_benefit_rule
  kind: derived
  entity: Asset
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 30D(f)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: shall be reduced by the amount of credit allowed under such subsection
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/30D#per_vehicle_credit_amount_after_vehicle_special_rules
            output: per_vehicle_credit_amount_after_vehicle_special_rules
            hash: sha256:local
  versions:
    - effective_from: '2023-01-01'
      formula: |-
        max(
            0,
            deduction_or_other_credit_allowable_for_vehicle_before_section_30D_no_double_benefit_rule
            - per_vehicle_credit_amount_after_vehicle_special_rules
        )

credit_transfer_to_eligible_entity_allowed

Derived

source: 26 USC 30D(g)

- name: credit_transfer_to_eligible_entity_allowed
  kind: derived
  entity: TaxUnit
  dtype: Judgment
  period: Year
  source: 26 USC 30D(g)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/30D
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/26/30D
  versions:
    - effective_from: '2024-01-01'
      formula: |-
        taxpayer_elects_transfer_of_new_clean_vehicle_credit
        and election_made_not_later_than_vehicle_purchase_date
        and dealer_registered_with_secretary_for_transfer
        and dealer_disclosed_required_items_to_taxpayer_not_later_than_sale
        and dealer_made_required_credit_equivalent_payment_to_taxpayer_not_later_than_sale
        and dealer_preserved_other_purchase_incentives

transferred_credit_payment_includible_in_taxpayer_gross_income

Derived

source: 26 USC 30D(g)(5)(A)

- name: transferred_credit_payment_includible_in_taxpayer_gross_income
  kind: derived
  entity: TaxUnit
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 30D(g)(5)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: shall not be includible in the gross income of the taxpayer
  versions:
    - effective_from: '2024-01-01'
      formula: '0'

transferred_credit_payment_deductible_by_dealer

Derived

source: 26 USC 30D(g)(5)(B)

- name: transferred_credit_payment_deductible_by_dealer
  kind: derived
  entity: Employer
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 30D(g)(5)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/30D
            excerpt: with respect to the dealer, shall not be deductible under this title
  versions:
    - effective_from: '2024-01-01'
      formula: '0'

transferred_credit_magi_recapture_tax_increase

Derived

source: 26 USC 30D(g)(10)

- name: transferred_credit_magi_recapture_tax_increase
  kind: derived
  entity: TaxUnit
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 30D(g)(10)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/30D
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        if taxpayer_made_transfer_election_and_received_dealer_payment and
        credit_would_not_be_allowable_to_taxpayer_because_of_modified_adjusted_gross_income_limitation:
        max(0, dealer_payment_received_by_taxpayer_for_transfer_election) else: 0