← Back to documentation

Verification suite

Browse the scenarios used to verify financial calculations, tax rules, and portfolio analysis behavior.

288 scenarios across 13 categories

tax lots

26 scenarios

Put exercise gain can be short-term under the short-sale rule

Publication 550 generally treats buying a put as a short sale. If the underlying stock was still short-term when the put was bought, gain on exercising the put should be short-term even when the stock sale occurs more than one year after the stock was acquired.

Put short-sale rule applies when stock is bought after the put

Publication 550 applies the same short-sale character rule when the taxpayer buys the underlying stock after buying the put but before exercise. Positive gain on exercising that put should be short-term even when the later stock sale is more than one year after the stock was acquired.

tax netting

13 scenarios

wash sales

12 scenarios

portfolio backtest

8 scenarios

tax 1099

7 scenarios

amt

17 scenarios

2026 federal tax schedule matches the IRS source table

The shared federal tax schedule should expose the 2026 married-filing-jointly ordinary brackets, standard deduction, long-term capital-gain thresholds, and NIIT threshold from the IRS inflation-adjustment source.

tax computation

173 scenarios

2026 age and blindness additions stack on the federal standard deduction

The federal schedule verifier should expose the §63(f) add-on separately from the base standard deduction so retirement and tax-planning tools can model each checked age or blindness box without hiding it inside a flat deduction.

Ineligible household member does not receive survivor Social Security

SSA survivor benefits are payable only to eligible spouses, ex-spouses, children, and dependent parents. The planning engine should not infer survivor eligibility from household membership; if the living member is not marked eligible, their own Social Security benefit remains the only year-after-death benefit.

Survivor Social Security attribution starts with the lowest own benefit

When multiple eligible living members are modeled, the compact planning engine attributes a single survivor benefit to the lowest-own-benefit eligible survivor that the survivor benefit would improve. Higher-own eligible survivors keep their own benefit, and the household does not stack multiple survivor benefits.

Illinois flat tax stays proportional at $100k income

A flat-tax state is a useful contrast to progressive schedules. Illinois should simply apply its flat rate to taxable income with no bracket transitions.

Section 199A Box 5 dividends require gross ordinary-dividend cash

A dividend feed with Form 1099-DIV Box 5 characterization must also include gross ordinary-dividend cash metadata. Box 5 is tracked as Section 199A eligible, but it is not used as a cash-amount fallback.

Section 199A Box 5 dividends fail a short REIT holding period

A REIT distribution may arrive with Form 1099-DIV Box 5 characterization, but the taxpayer must still satisfy the Section 199A holding-period rule. Shares bought on the distribution date do not produce qualified REIT dividends, so the cash remains ordinary dividend income without a Section 199A dividend amount.

Mixed fund distributions keep 1099-DIV buckets separate

A fund distribution with ordinary dividends, qualified dividends, capital gain distributions, nondividend distributions, Section 199A dividends, tax-exempt interest, and specified private activity bond interest dividends should preserve each sourced Form 1099-DIV bucket instead of inferring one bucket from another.

Tax-exempt interest dividends keep federal and state buckets distinct

A municipal-bond fund distribution reported only in Form 1099-DIV Box 12 should remain outside ordinary dividend income while preserving the source portion that is taxable by the resident state.

2026 employer coverage affordability uses required contribution percentage

Revenue Procedure 2025-25 sets the 2026 section 36B required contribution percentage at 9.96%. Employer-sponsored minimum essential coverage is affordable when the employee's annual required contribution for lowest-cost self-only minimum-value coverage does not exceed that percentage of household income.

IRMAA life-event adjustments prorate from the effective month

When a Medicare beneficiary has an accepted life-event IRMAA redetermination, the planning tax kernel should price the billing year using the original MAGI for months before the adjustment and the adjusted MAGI from the effective month onward.

Direct QCDs reduce remaining split-interest QCD room

IRS Notice 2025-67 sets the aggregate 2026 QCD exclusion at $111,000 and the one-time split-interest sublimit at $55,000. Because split-interest QCDs are still qualified charitable distributions, a $100,000 direct QCD should leave only $11,000 of annual exclusion room for the split-interest transfer.

2026 401(k) high-earner catch-up is blocked without a Roth feature

Beginning in 2026, catch-up contributions by participants whose prior-year plan-sponsor FICA wages exceed the IRS threshold must be designated Roth contributions when the plan offers catch-up contributions with a Roth feature. If the modeled plan lacks that Roth feature, the catch-up amount should be surfaced as unavailable rather than treated as pretax.

2025 pre-deductible telehealth preserves HSA eligibility

Notice 2026-5 confirms that the OBBBA permanent telehealth and remote-care safe harbor applies retroactively for plan years beginning after December 31, 2024. A 2025 statutory HDHP that otherwise meets the deductible and out-of-pocket tests should remain HSA-eligible when it covers telehealth before the deductible.

2026 direct primary care fee above the HSA limit is ineligible

Beginning in 2026, direct primary care service arrangements can be disregarded for HSA eligibility only when the fixed periodic fee stays within the statutory monthly cap. A self-only arrangement charging more than $150 per month should fail closed.

Gift splitting requires spousal consent

Form 709 instructions require a consenting spouse signature for a gift-splitting election. Without consent, the donor's present-interest gift uses only the donor's annual exclusion.

Noncitizen spouse gifts use the special annual exclusion

Form 709 instructions allow a larger annual exclusion for present-interest gifts to a spouse who is not a U.S. citizen when the excess over the ordinary annual exclusion would otherwise qualify for the marital deduction. The transfer does not receive the unlimited marital deduction.

Child Tax Credit requires child eligibility gates

IRS Child Tax Credit guidance requires each qualifying child to satisfy age, SSN, relationship, support, residency, dependent-claim, joint-return, and citizenship or residency gates. The engine zeros CTC and ACTC when supplied candidate children fail explicit gates and only counts CTC-ineligible children for ODC when the caller supplies that separate eligible count.

Credit for Other Dependents requires ODC eligibility gates

IRS Child Tax Credit guidance limits the Credit for Other Dependents to dependents claimed on the return who are U.S. citizens, nationals, or resident aliens, have an SSN, ITIN, or ATIN, and are not eligible for CTC/ACTC.

2025 student loan interest deduction phaseout is sourced

IRS Rev. Proc. 2024-40 keeps the maximum student loan interest deduction at $2,500 for 2025 and sets phaseout ranges of $85,000-$100,000 for non-joint filers and $170,000-$200,000 for joint returns.

2026 student loan interest deduction phaseout is sourced

IRS Rev. Proc. 2025-32 keeps the maximum student loan interest deduction at $2,500 for 2026 and sets phaseout ranges of $85,000-$100,000 for non-joint filers and $175,000-$205,000 for joint returns.

Student loan interest deduction requires academic-period expense timing

IRS Topic 456 requires qualified student loan expenses to be for education during an academic period for an eligible student and paid or incurred within a reasonable period around the loan. Interest on a loan that fails those facts is not deductible.

Student loan interest deduction removes no-double-benefit amounts

IRS Publication 970 disallows student loan interest deductions for interest paid through employer educational assistance, tax-free QTP earnings, and tax-free repayment assistance. The engine subtracts those source-specific amounts before applying the $2,500 cap and MAGI phaseout.

Student loan interest deduction rejects related-person and employer-plan loans

IRS Publication 970 says loans from related persons and qualified employer plans are not qualified student loans. The engine models those source-of-loan gates explicitly instead of assuming every education-purpose loan is qualified.

2025 education savings bond exclusion phaseout is sourced

IRS Rev. Proc. 2024-40 sets the 2025 education savings bond interest exclusion phaseout range at $99,500-$114,500 for non-joint filers and $149,250-$179,250 for joint returns. The exclusion also prorates interest when adjusted qualified education expenses are less than bond proceeds.

2026 education savings bond exclusion phaseout is sourced

IRS Rev. Proc. 2025-32 sets the 2026 education savings bond interest exclusion phaseout range at $101,800-$116,800 for non-joint filers and $152,650-$182,650 for joint returns. The exclusion also prorates interest when adjusted qualified education expenses are less than bond proceeds.

2026 education savings bond exclusion requires owner age 24 at issue

IRS Publication 970 limits the education savings bond interest exclusion to qualified U.S. savings bonds whose owner was at least age 24 before the bond issue date. The engine models that bond-level eligibility gate explicitly instead of assuming every otherwise expense-matched redemption is excludable.

2025 long-term-care premium age bands are sourced

IRS Rev. Proc. 2024-40 sets the 2025 age-banded limits for qualified long-term-care insurance premiums includible as medical care under section 213(d)(10).

2026 long-term-care premium age bands are sourced

IRS Rev. Proc. 2025-32 sets the 2026 age-banded limits for qualified long-term-care insurance premiums includible as medical care under section 213(d)(10).

Nonqualified long-term-care contract premiums are not deductible

Publication 502 limits deductible long-term-care insurance premiums to qualified contracts. A contract that does not provide only qualified long-term-care services fails before the age-banded premium cap is applied.

New Hampshire 2024 I&D tax applies after the taxpayer exemption

New Hampshire's Interest and Dividends Tax was still in phaseout for 2024. A single filer receives the standard $2,400 exemption before the 3% tax applies.

Massachusetts 2026 short-term capital gains use the 8.5% rate

Massachusetts short-term capital gains use the post-2023 8.5% rate rather than the old 12% rate.

Massachusetts collectibles gains receive a 50% deduction before 12% tax

Massachusetts taxes long-term collectibles gains at 12% after a 50% deduction. A $10k collectibles gain produces $600 of base MA collectibles tax.

Capital gains stack on ordinary income

The same $40k LTCG is taxed at 0% with $0 wages, but at 15% with $300k wages. Capital gains "stack" on top of ordinary income.

metrics

11 scenarios

Longest drawdown uses calendar days, including weekends

A drawdown that spans a weekend should count Saturday and Sunday in its duration. This is a common source of confusion when users expect trading days instead of calendar days.

Sharpe ratio on near-constant returns

252 daily returns of +0.04% each (≈10% annualized) with tiny noise. rf=4%. The Sharpe ratio should be high and positive.

Sortino > Sharpe for positive-skew returns

Returns with positive skew (many small gains, rare small losses). Sortino exceeds Sharpe because downside volatility is less than total volatility.

Withdrawal clamping on depleted portfolio

A portfolio crashes 50% in month 2, wiping out most of the withdrawal budget. ArthaPilot clamps each withdrawal to the available balance, so the total withdrawn reflects what the portfolio could actually pay, not a phantom fixed amount.

Correlation matrix handles zero variance and opposite returns

The correlation engine reports finite JSON-safe values even when one asset has constant returns. Off-diagonal correlations involving that zero-variance asset are set to 0.0, diagonal self-correlations stay 1.0, and ordinary nonconstant series still produce the expected Pearson correlation.

Average drawdown: full curve vs. underwater-days only

A 21-value curve: 19 all-time highs, then one trough at −10%, then recovery. One method averages only over the single drawdown observation (−10%). ArthaPilot averages the drawdown depth at every point, so the 19 ATH days (0% drawdown each) pull the average down to ~0.5%.

monte carlo

6 scenarios

No withdrawals means there is no success rate to report

Success rate counts the paths that were never depleted. With no withdrawals the portfolio cannot deplete, so the figure would read 100% whatever returns, horizon, or allocation you entered. This scenario verifies the engine reports the metric as undefined instead of a 100% that cannot mean anything.

Sequence risk with identical average returns

Two retirement paths use the same return set and identical average return, but in reverse order. Early losses can deplete capital even when long-run averages match.

optimizer

6 scenarios

Max Diversification tilts to inverse volatility

Three near-uncorrelated assets with distinct volatilities. The Maximum Diversification objective ignores expected returns and tilts toward inverse-volatility weighting, so the low-volatility asset receives more weight than the medium-volatility asset, which in turn receives more weight than the high-volatility asset.

Efficient frontier spans minimum variance to maximum return

A low-volatility asset and a higher-return volatile asset should produce a long-only efficient frontier that starts near the minimum-variance mix and ends fully allocated to the higher-return asset.

tax aware portfolio

5 scenarios

letf

3 scenarios

leverage calc

1 scenarios

Leverage calculator preserves dollars while hitting target exposure

A 50/50 SPY/UPRO mix has 2x SPY-family exposure. Moving $2,500 from UPRO to SPY lowers exposure to 1.5x with the minimum dollar turnover because the 3x-to-1x leverage gap is two exposure dollars per dollar moved.