{
  "format": "sortia",
  "formatVersion": 1,
  "createdBy": "sortia.io, scripts/proof-model.js",
  "question": "Will profit clear $120,000?",
  "goal": {
    "output": "profit_thousands",
    "op": ">=",
    "value": 120
  },
  "spec": {
    "specVersion": 1,
    "kind": "simulation",
    "seed": 42,
    "trials": 10000,
    "sampling": "lhs",
    "inputs": [
      {
        "name": "price_per_unit",
        "dist": "normal",
        "params": {
          "mean": 52,
          "sd": 4
        }
      },
      {
        "name": "cost_per_unit",
        "dist": "triangular",
        "params": {
          "min": 28,
          "mode": 34,
          "max": 43
        }
      },
      {
        "name": "demand_thousand_units",
        "dist": "triangular",
        "params": {
          "min": 6,
          "mode": 9,
          "max": 13
        }
      }
    ],
    "model": [
      {
        "name": "profit_thousands",
        "formula": "(price_per_unit-cost_per_unit)*demand_thousand_units"
      }
    ],
    "outputs": [
      "profit_thousands"
    ],
    "name": "Profit model"
  },
  "receipt": {
    "specVersion": 1,
    "engineVersion": "sortia-sheets unstamped 118b628a077c",
    "seed": 42,
    "specHash": "5b04ab44702947e0c6c004706725176cbdb51afc75e6dd3eed5d66651eab719c",
    "resultHash": "4d4b52464ae89d284004fe423fcdffd422edf172ef6c730ded252b78496c6c5a",
    "trials": 10000,
    "sampler": "latin hypercube",
    "timestamp": "2026-10-05T00:00:00.000Z"
  },
  "receiptSpec": {
    "inputs": [
      {
        "a1": "B3",
        "spec": {
          "dist": "normal",
          "mean": 52,
          "sd": 4
        }
      },
      {
        "a1": "B4",
        "spec": {
          "dist": "triangular",
          "min": 28,
          "mode": 34,
          "max": 43
        }
      },
      {
        "a1": "B5",
        "spec": {
          "dist": "triangular",
          "min": 6,
          "mode": 9,
          "max": 13
        }
      }
    ],
    "correlations": [],
    "outputs": [
      "D10"
    ],
    "coherent": false
  },
  "receiptOutput": "profit_thousands"
}