Audit: Complete
Formula (LaTeX) + variables + units
This section shows the formulas used by the calculator engine, plus variable definitions and units.
Formula (extracted LaTeX)
\[\text{CTC}_\text{pre} = 2000 \cdot n_c,\quad \text{ODC}_\text{pre} = 500 \cdot n_o,\quad \text{Total}_\text{pre} = \text{CTC}_\text{pre} + \text{ODC}_\text{pre}\]
\text{CTC}_\text{pre} = 2000 \cdot n_c,\quad \text{ODC}_\text{pre} = 500 \cdot n_o,\quad \text{Total}_\text{pre} = \text{CTC}_\text{pre} + \text{ODC}_\text{pre}
Formula (extracted LaTeX)
\[P = 50 \cdot \left\lceil \frac{\max(0,\, \text{MAGI} - T)}{1000} \right\rceil\]
P = 50 \cdot \left\lceil \frac{\max(0,\, \text{MAGI} - T)}{1000} \right\rceil
Formula (extracted LaTeX)
\[\text{CTC}_\text{after} = \max\!\big(0,\, \text{CTC}_\text{pre} - P\big), \quad \text{ODC}_\text{after} = \max\!\big(0,\, \text{ODC}_\text{pre} - \max(0,\, P - \text{CTC}_\text{pre})\big)\]
\text{CTC}_\text{after} = \max\!\big(0,\, \text{CTC}_\text{pre} - P\big), \quad \text{ODC}_\text{after} = \max\!\big(0,\, \text{ODC}_\text{pre} - \max(0,\, P - \text{CTC}_\text{pre})\big)
Formula (extracted LaTeX)
\[\text{ACTC}_\text{max} = \min\!\Big( \text{CTC}_\text{after},\; R_y \cdot n_c,\; 0.15 \cdot \max(0,\, \text{EI} - 2500) \Big)\]
\text{ACTC}_\text{max} = \min\!\Big( \text{CTC}_\text{after},\; R_y \cdot n_c,\; 0.15 \cdot \max(0,\, \text{EI} - 2500) \Big)
Formula (extracted text)
Pre-credit totals Let n_c = qualifying children under 17, n_o = other dependents. \[ \text{CTC}_\text{pre} = 2000 \cdot n_c,\quad \text{ODC}_\text{pre} = 500 \cdot n_o,\quad \text{Total}_\text{pre} = \text{CTC}_\text{pre} + \text{ODC}_\text{pre} \] Phaseout (T = $400{,}000 for MFJ; $200{,}000 otherwise; MAGI = Modified AGI) \[ P = 50 \cdot \left\lceil \frac{\max(0,\, \text{MAGI} - T)}{1000} \right\rceil \] Apply to CTC first, then to ODC: \[ \text{CTC}_\text{after} = \max\!\big(0,\, \text{CTC}_\text{pre} - P\big), \quad \text{ODC}_\text{after} = \max\!\big(0,\, \text{ODC}_\text{pre} - \max(0,\, P - \text{CTC}_\text{pre})\big) \] Refundable Additional CTC (maximum potential) Earned income EI; per-child refundable cap R_y = 1700 (2024) or 1600 (2023). \[ \text{ACTC}_\text{max} = \min\!\Big( \text{CTC}_\text{after},\; R_y \cdot n_c,\; 0.15 \cdot \max(0,\, \text{EI} - 2500) \Big) \] The total estimated credit reported is \(\text{CTC}_\text{after} + \text{ODC}_\text{after}\). Actual refundable/nonrefundable split depends on your tax liability and full Schedule 8812 worksheets.
Variables and units
  • T = property tax (annual or monthly depending on input) (currency)
Sources (authoritative):
Changelog
Version: 0.1.0-draft
Last code update: 2026-01-19
0.1.0-draft · 2026-01-19
  • Initial audit spec draft generated from HTML extraction (review required).
  • Verify formulas match the calculator engine and convert any text-only formulas to LaTeX.
  • Confirm sources are authoritative and relevant to the calculator methodology.
Verified by Ugo Candido on 2026-01-19
Profile · LinkedIn
, '

Audit: Complete
Formula (LaTeX) + variables + units
This section shows the formulas used by the calculator engine, plus variable definitions and units.
Formula (extracted LaTeX)
\[\text{CTC}_\text{pre} = 2000 \cdot n_c,\quad \text{ODC}_\text{pre} = 500 \cdot n_o,\quad \text{Total}_\text{pre} = \text{CTC}_\text{pre} + \text{ODC}_\text{pre}\]
\text{CTC}_\text{pre} = 2000 \cdot n_c,\quad \text{ODC}_\text{pre} = 500 \cdot n_o,\quad \text{Total}_\text{pre} = \text{CTC}_\text{pre} + \text{ODC}_\text{pre}
Formula (extracted LaTeX)
\[P = 50 \cdot \left\lceil \frac{\max(0,\, \text{MAGI} - T)}{1000} \right\rceil\]
P = 50 \cdot \left\lceil \frac{\max(0,\, \text{MAGI} - T)}{1000} \right\rceil
Formula (extracted LaTeX)
\[\text{CTC}_\text{after} = \max\!\big(0,\, \text{CTC}_\text{pre} - P\big), \quad \text{ODC}_\text{after} = \max\!\big(0,\, \text{ODC}_\text{pre} - \max(0,\, P - \text{CTC}_\text{pre})\big)\]
\text{CTC}_\text{after} = \max\!\big(0,\, \text{CTC}_\text{pre} - P\big), \quad \text{ODC}_\text{after} = \max\!\big(0,\, \text{ODC}_\text{pre} - \max(0,\, P - \text{CTC}_\text{pre})\big)
Formula (extracted LaTeX)
\[\text{ACTC}_\text{max} = \min\!\Big( \text{CTC}_\text{after},\; R_y \cdot n_c,\; 0.15 \cdot \max(0,\, \text{EI} - 2500) \Big)\]
\text{ACTC}_\text{max} = \min\!\Big( \text{CTC}_\text{after},\; R_y \cdot n_c,\; 0.15 \cdot \max(0,\, \text{EI} - 2500) \Big)
Formula (extracted text)
Pre-credit totals Let n_c = qualifying children under 17, n_o = other dependents. \[ \text{CTC}_\text{pre} = 2000 \cdot n_c,\quad \text{ODC}_\text{pre} = 500 \cdot n_o,\quad \text{Total}_\text{pre} = \text{CTC}_\text{pre} + \text{ODC}_\text{pre} \] Phaseout (T = $400{,}000 for MFJ; $200{,}000 otherwise; MAGI = Modified AGI) \[ P = 50 \cdot \left\lceil \frac{\max(0,\, \text{MAGI} - T)}{1000} \right\rceil \] Apply to CTC first, then to ODC: \[ \text{CTC}_\text{after} = \max\!\big(0,\, \text{CTC}_\text{pre} - P\big), \quad \text{ODC}_\text{after} = \max\!\big(0,\, \text{ODC}_\text{pre} - \max(0,\, P - \text{CTC}_\text{pre})\big) \] Refundable Additional CTC (maximum potential) Earned income EI; per-child refundable cap R_y = 1700 (2024) or 1600 (2023). \[ \text{ACTC}_\text{max} = \min\!\Big( \text{CTC}_\text{after},\; R_y \cdot n_c,\; 0.15 \cdot \max(0,\, \text{EI} - 2500) \Big) \] The total estimated credit reported is \(\text{CTC}_\text{after} + \text{ODC}_\text{after}\). Actual refundable/nonrefundable split depends on your tax liability and full Schedule 8812 worksheets.
Variables and units
  • T = property tax (annual or monthly depending on input) (currency)
Sources (authoritative):
Changelog
Version: 0.1.0-draft
Last code update: 2026-01-19
0.1.0-draft · 2026-01-19
  • Initial audit spec draft generated from HTML extraction (review required).
  • Verify formulas match the calculator engine and convert any text-only formulas to LaTeX.
  • Confirm sources are authoritative and relevant to the calculator methodology.
Verified by Ugo Candido on 2026-01-19
Profile · LinkedIn
]], displayMath: [['\\[','\\]']] }, svg: { fontCache: 'global' } };

Audit: Complete
Formula (LaTeX) + variables + units
This section shows the formulas used by the calculator engine, plus variable definitions and units.
Formula (extracted LaTeX)
\[\text{CTC}_\text{pre} = 2000 \cdot n_c,\quad \text{ODC}_\text{pre} = 500 \cdot n_o,\quad \text{Total}_\text{pre} = \text{CTC}_\text{pre} + \text{ODC}_\text{pre}\]
\text{CTC}_\text{pre} = 2000 \cdot n_c,\quad \text{ODC}_\text{pre} = 500 \cdot n_o,\quad \text{Total}_\text{pre} = \text{CTC}_\text{pre} + \text{ODC}_\text{pre}
Formula (extracted LaTeX)
\[P = 50 \cdot \left\lceil \frac{\max(0,\, \text{MAGI} - T)}{1000} \right\rceil\]
P = 50 \cdot \left\lceil \frac{\max(0,\, \text{MAGI} - T)}{1000} \right\rceil
Formula (extracted LaTeX)
\[\text{CTC}_\text{after} = \max\!\big(0,\, \text{CTC}_\text{pre} - P\big), \quad \text{ODC}_\text{after} = \max\!\big(0,\, \text{ODC}_\text{pre} - \max(0,\, P - \text{CTC}_\text{pre})\big)\]
\text{CTC}_\text{after} = \max\!\big(0,\, \text{CTC}_\text{pre} - P\big), \quad \text{ODC}_\text{after} = \max\!\big(0,\, \text{ODC}_\text{pre} - \max(0,\, P - \text{CTC}_\text{pre})\big)
Formula (extracted LaTeX)
\[\text{ACTC}_\text{max} = \min\!\Big( \text{CTC}_\text{after},\; R_y \cdot n_c,\; 0.15 \cdot \max(0,\, \text{EI} - 2500) \Big)\]
\text{ACTC}_\text{max} = \min\!\Big( \text{CTC}_\text{after},\; R_y \cdot n_c,\; 0.15 \cdot \max(0,\, \text{EI} - 2500) \Big)
Formula (extracted text)
Pre-credit totals Let n_c = qualifying children under 17, n_o = other dependents. \[ \text{CTC}_\text{pre} = 2000 \cdot n_c,\quad \text{ODC}_\text{pre} = 500 \cdot n_o,\quad \text{Total}_\text{pre} = \text{CTC}_\text{pre} + \text{ODC}_\text{pre} \] Phaseout (T = $400{,}000 for MFJ; $200{,}000 otherwise; MAGI = Modified AGI) \[ P = 50 \cdot \left\lceil \frac{\max(0,\, \text{MAGI} - T)}{1000} \right\rceil \] Apply to CTC first, then to ODC: \[ \text{CTC}_\text{after} = \max\!\big(0,\, \text{CTC}_\text{pre} - P\big), \quad \text{ODC}_\text{after} = \max\!\big(0,\, \text{ODC}_\text{pre} - \max(0,\, P - \text{CTC}_\text{pre})\big) \] Refundable Additional CTC (maximum potential) Earned income EI; per-child refundable cap R_y = 1700 (2024) or 1600 (2023). \[ \text{ACTC}_\text{max} = \min\!\Big( \text{CTC}_\text{after},\; R_y \cdot n_c,\; 0.15 \cdot \max(0,\, \text{EI} - 2500) \Big) \] The total estimated credit reported is \(\text{CTC}_\text{after} + \text{ODC}_\text{after}\). Actual refundable/nonrefundable split depends on your tax liability and full Schedule 8812 worksheets.
Variables and units
  • T = property tax (annual or monthly depending on input) (currency)
Sources (authoritative):
Changelog
Version: 0.1.0-draft
Last code update: 2026-01-19
0.1.0-draft · 2026-01-19
  • Initial audit spec draft generated from HTML extraction (review required).
  • Verify formulas match the calculator engine and convert any text-only formulas to LaTeX.
  • Confirm sources are authoritative and relevant to the calculator methodology.
Verified by Ugo Candido on 2026-01-19
Profile · LinkedIn