Docs · Model reference

wash-sale

spec v1.0.0 · 250 open cases

Full specification JSON contract Evidence pack

Inputs

Field	Type	Valid domain
sharesSold	int	1 – 1,000,000
saleProceedsPerShare	float	0.01 – 10,000
basisPerShare	float	0.01 – 10,000
replacementShares	int	0 – 2,000,000
replacementCostPerShare	float	0.01 – 10,000

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).

All fields required. Out-of-domain values are rejected with per-field errors — never clamped. Unknown fields are rejected.

Live example — generated from the real engine

Request

POST /api/v1/models/wash-sale
{
  "sharesSold": 500001,
  "saleProceedsPerShare": 5000,
  "basisPerShare": 5000,
  "replacementShares": 1000000,
  "replacementCostPerShare": 5000
}

Response (chart arrays compacted)

{
  "ok": true,
  "model": "wash-sale",
  "specVersion": "1.0.0",
  "contractUrl": "/api/v1/models/wash-sale",
  "specUrl": "/api/v1/models/wash-sale/spec",
  "inputs": {
    "sharesSold": 500001,
    "saleProceedsPerShare": 5000,
    "basisPerShare": 5000,
    "replacementShares": 1000000,
    "replacementCostPerShare": 5000
  },
  "outputs": {
    "lossPerShare": 0,
    "totalLoss": 0,
    "washedShares": 500001,
    "unwashedReplacementShares": 499999,
    "disallowedLoss": 0,
    "allowedLoss": 0,
    "adjustedBasisPerWashedShare": 5000,
    "totalReplacementBasis": 5000000000
  },
  "sentinels": [],
  "assumptions": [
    "Implements model spec wash-sale v1.0.0 (Concordance-tested: independently reimplemented from the spec).",
    "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)."
  ],
  "facts": [],
  "record": {
    "sha256": "a137ce52f86d1e1f6770f4082c2f5fa0459ff2bf525edda4a6014f0d8f00a254",
    "fields": [
      "model",
      "specVersion",
      "inputs",
      "outputs"
    ],
    "howToVerify": "Store this record with any advice or agent output built on these numbers. To verify later: build {model, specVersion, inputs, outputs} from the stored response, serialize as JSON with object keys sorted recursively (no whitespace), and SHA-256 it — a match proves the numbers came from this spec version with these inputs, unaltered."
  },
  "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."
}

This example is executed against the production engine when the page builds — it cannot drift from the API's real behavior.