{
  "version": "calculator-proof-1",
  "claim": "The calculator exactly reproduces six locally executed Cheapifier workload paths before applying declared organizational scaling assumptions.",
  "executed_evidence": {
    "scenarios_reproduced": 6,
    "scenarios_total": 6,
    "cases": 93,
    "automated_checks_passed": 3447,
    "automated_checks_total": 3447,
    "semantic_probes_passed": 867,
    "semantic_probes_total": 867,
    "source_report_sha256": "c252393dc247a62c5e33493649aa2d0eab4c4caafcc4ac47c5992178a05043c9",
    "model_sha256": "0fddee8b1e0de33216b534370b884481f033f8d5225e73ac88f38bb8f829caff",
    "tokenizer_sha256": "d5e1e0abdc17f93ca3c0c02a75d90c7c1f4ef556dd1a4e5c12d4ad4e8812e112"
  },
  "calculator_verification": {
    "scenario_stage_paths_exact": "6/6",
    "published_evidence_matches_compiled_values": true,
    "preset_combinations_finite_and_deterministic": "600/600",
    "input_surface": "four selectors plus one optional monthly-spend input; no hidden advanced controls",
    "dollar_basis_equivalence": "$7500 = 1000000000 baseline tokens at $7.50 blended/M"
  },
  "projection_assumptions": {
    "active_days_per_month": 22,
    "input_token_share": 0.75,
    "input_price_per_million_usd": 5,
    "output_price_per_million_usd": 15,
    "blended_price_per_million_usd": 7.5,
    "dollar_basis_formula": "monthly spend / blended price per million * 1000000",
    "scaling": "The selected executed workload path is scaled linearly across qualified input traffic.",
    "semantic_boundary": "100% was observed on the 867 semantic probes in the 93 executed cases; it is not a universal guarantee."
  },
  "reproduce": ["npm run prove:calculator", "npm test", "npm run build"]
}