{
  "status": "PASS",
  "synthetic": true,
  "implementation": "Python standard-library cohort ledger, independent of the JS aggregate annual renewal recurrence and Excel formulas",
  "numericComparisons": 5028,
  "maximumAbsoluteDifference": 1.6880221664905548e-09,
  "absoluteTolerance": 1e-05,
  "formulaCount": 46213,
  "cachedFormulaCount": 46213,
  "errorCells": [],
  "checks": [
    "Independent Python cohort ledger agrees with every monthly JS operating and cash output in Base, Upside and Downside.",
    "Workbook live calculated values agree with Python across four plan tabs; all 23 visible checks pass.",
    "All 27 sensitivity outputs agree with independent full recalculations for nine driver combinations.",
    "Exported OOXML readback: 46,213 formulas, every formula has a cached value, zero error cells and no external workbook links.",
    "Monotonicity: higher acquisition budget grows members at each sampled churn rate; higher monthly churn reduces members at each sampled budget. Zero-budget and zero-churn cases stay finite.",
    "Raw duplicate contents agree; 12 historical member/cash roll-forwards and product-mix totals reconcile; historical monthly cohorts tie to opening subscribers."
  ],
  "cases": {
    "Base": {
      "endCash": 754423.7557647958,
      "endMembers": 6923.049136868493,
      "minimumCash": 176348.38511567604,
      "runwayMonths": 36,
      "exhaustedMonth": null,
      "floorBreach": null,
      "year1Revenue": 1210183.609670908,
      "year1NetIncome": -121628.07703408698
    },
    "Upside": {
      "endCash": 1610768.245045681,
      "endMembers": 9665.476988318507,
      "minimumCash": 208818.51108713273,
      "runwayMonths": 36,
      "exhaustedMonth": null,
      "floorBreach": null,
      "year1Revenue": 1401103.107300059,
      "year1NetIncome": -36664.21969863588
    },
    "Downside": {
      "endCash": -76425.8945161427,
      "endMembers": 4416.98634047821,
      "minimumCash": -81123.84823260376,
      "runwayMonths": 21,
      "exhaustedMonth": 22,
      "floorBreach": 7,
      "year1Revenue": 993531.2442693432,
      "year1NetIncome": -179419.15568320575
    }
  },
  "signature": {
    "base": {
      "endCash": 754423.7557647958,
      "endMembers": 6923.049136868493,
      "minimumCash": 176348.38511567604,
      "runwayMonths": 36,
      "exhaustedMonth": null,
      "floorBreach": null,
      "year1Revenue": 1210183.609670908,
      "year1NetIncome": -121628.07703408698
    },
    "doubleBudget": {
      "endCash": 782495.3476405499,
      "endMembers": 9551.906588953972,
      "minimumCash": 52831.17808313698,
      "runwayMonths": 36,
      "exhaustedMonth": null,
      "floorBreach": 4,
      "year1Revenue": 1422722.7543931366,
      "year1NetIncome": -293997.42537098925
    },
    "lowerChurn": {
      "endCash": 1029205.0999206945,
      "endMembers": 7769.147835798635,
      "minimumCash": 191106.26954544822,
      "runwayMonths": 36,
      "exhaustedMonth": null,
      "floorBreach": null,
      "year1Revenue": 1256319.706220454,
      "year1NetIncome": -87906.36845794873
    }
  },
  "limitations": [
    "No Excel desktop recalculation has been claimed. Artifact-tool calculations and exported cached values were independently checked; native formula mutation is tested separately.",
    "Annual price and 12/36-month structural constants must remain fixed without revising cohort recognition logic.",
    "No cash monotonicity claim is made for acquisition budget: saturation, capacity limits and stepwise hiring affect cash."
  ]
}