{
  "date": "2026-10-21",
  "status": "Illustrative extra-assumption model; not Lean-derived, not a DESI fit",
  "map": "ln(a_observed)=x+beta*x^2/2; x=ln(a_lattice)",
  "scalarDensityRelabeling": "rho constant -> w=-1 for any regular monotone map",
  "additionalEnergyVolumeRule": "E=rho_lattice*a_lattice^3; rho_effective=E/a_observed^3",
  "effectiveW": "-1/sqrt(1+2*beta*ln(a_observed))",
  "localCPL": "w0=-1, wa=-beta; tangent at a_observed=1, not a global fit",
  "validity": "1+2*beta*ln(a_observed)>0; null entries outside the regular branch",
  "rows": [
    {
      "beta": 0,
      "w0": -1,
      "waLocal": 0,
      "maximumRedshiftExclusive": null,
      "wAtRedshift": {
        "1": -1,
        "2": -1,
        "0.5": -1
      }
    },
    {
      "beta": 0.03,
      "w0": -1,
      "waLocal": -0.03,
      "maximumRedshiftExclusive": 17307778.95336729,
      "wAtRedshift": {
        "1": -1.0214663560041741,
        "2": -1.034682740898275,
        "0.5": -1.012390493306238
      }
    },
    {
      "beta": 0.07,
      "w0": -1,
      "waLocal": -0.07,
      "maximumRedshiftExclusive": 1264.03762380433,
      "wAtRedshift": {
        "1": -1.052363773486776,
        "2": -1.0870886400727375,
        "0.5": -1.0296510643779286
      }
    },
    {
      "beta": 0.5,
      "w0": -1,
      "waLocal": -0.5,
      "maximumRedshiftExclusive": 1.718281828459045,
      "wAtRedshift": {
        "1": -1.8052399711038225,
        "2": null,
        "0.5": -1.2969144415152531
      }
    },
    {
      "beta": 0.7,
      "w0": -1,
      "waLocal": -0.7,
      "maximumRedshiftExclusive": 1.0427270702661422,
      "wAtRedshift": {
        "1": -5.812976303548977,
        "2": null,
        "0.5": -1.5208376191283561
      }
    },
    {
      "beta": 1,
      "w0": -1,
      "waLocal": -1,
      "maximumRedshiftExclusive": 0.6487212707001282,
      "wAtRedshift": {
        "1": null,
        "2": null,
        "0.5": -2.2997939980315225
      }
    }
  ],
  "chsh": {
    "exactAbsoluteSCounts": {
      "1": 576,
      "2": 336,
      "0.5": 288,
      "2.5": 96
    },
    "total": 1296,
    "max": 2.5,
    "saturators": 96
  },
  "checks": [
    "continuity finite difference",
    "map inverse",
    "local CPL derivative",
    "branch exclusions",
    "exact integer CHSH enumeration"
  ]
}