{"model":"wash-sale","specVersion":"1.0.0","specUrl":"/api/v1/models/wash-sale/spec","inputs":{"sharesSold":{"kind":"int","min":1,"max":1000000},"saleProceedsPerShare":{"kind":"float","min":0.01,"max":10000},"basisPerShare":{"kind":"float","min":0.01,"max":10000},"replacementShares":{"kind":"int","min":0,"max":2000000},"replacementCostPerShare":{"kind":"float","min":0.01,"max":10000}},"arrayInputs":{},"constraints":["basisPerShare must be ≥ saleProceedsPerShare (gains have no wash-sale question; equality degenerates to zero loss). replacementShares means shares of substantially identical stock acquired inside the §1091(a) 61-day window — the window and the substantially-identical determination are input assumptions (spec)."],"sentinels":[],"facts":[],"disclaimer":"Illustrative planning model, not financial advice. Outputs follow the published model spec exactly; read the spec for assumptions and exclusions before relying on any number."}