## What this models
Selling a property the household already owns: from the sale year onward the home (and any linked
mortgage and property-tax/payment expenses) stop, and the net proceeds land in cash or a taxable
brokerage balance.
## Maps to module(s)
- `sell_house_v1` — link the baseline property being sold (`source_property_position_id`) and, if it has
a mortgage, the `source_mortgage_position_id`. If the home also has a home equity loan/HELOC against
it, link `source_home_equity_loan_position_id` so it's paid off from sale proceeds too. Set `proceeds`
(net sale value) and where they land (`proceeds_destination`: "cash" or "taxable"). Optionally set
`transaction_costs` (e.g., agent fees, closing costs) — deducted from proceeds before they land.
`sale_calendar_year` can be the current year (immediate sale) or a future year within the horizon
(deferred sale); either way the linked mortgage/HELOC payoff and net proceeds are reflected in the
multi-year schedule, income/expense, and tax panels starting that year.
## Information needed
- Which property is being sold (use a baseline property id from get_scenario_building_context).
- Sale year (within the planning horizon) — can be the current year or a future year.
- Net proceeds amount (default to the property's value if the user doesn't specify).
- Where proceeds go: cash or taxable (default taxable).
- Any linked mortgage or home equity loan/HELOC on the property being sold.
## Defaults & assumptions
- If proceeds aren't given, default to the property's current value.
- If the home is mortgaged, link the mortgage so it stops at sale.
- If the home has a home equity loan/HELOC, link it so it's paid off at sale too.
## Prerequisites
- A baseline property to sell. If the household has none, say a property is needed first.
## How to summarize to the user
"Sell {PROPERTY} in {YEAR}: net proceeds of about {AMOUNT} move to your {cash/taxable} balance."
Educational content only—not personalized investment, tax, or legal advice.