[
  {
    "local_id": "C1",
    "type": "empirical",
    "core": true,
    "statement": "In the frozen Great Britain daily-batch benchmark, seasonal profiles trained on 2023 data reduce assigned carbon versus uniform processing by 11.63% and 12.81% at 50% utilization with zero idle power in 2024 and 2025, but by 3.88% and 4.27% when idle power is 50% of maximum; at 87.5% utilization with zero idle power the reductions are 3.37% and 3.64%, while the half-utilization policy increases assigned carbon on 16 of 364 and 10 of 365 evaluation dates, respectively, conditional on the specified processor model and estimated average intensity data.",
    "evidence": [
      {
        "result": "R2.y2024.u50.seasonal_percent",
        "produced_by": "code/analyze.py",
        "tolerance": 1e-06
      },
      {
        "result": "R2.y2024.u50.seasonal_half_idle_percent",
        "produced_by": "code/analyze.py",
        "tolerance": 1e-06
      },
      {
        "result": "R2.y2024.u50.higher_days",
        "produced_by": "code/analyze.py",
        "tolerance": 1e-06
      },
      {
        "result": "R2.y2024.u50.days",
        "produced_by": "code/analyze.py",
        "tolerance": 1e-06
      },
      {
        "result": "R2.y2024.u87_5.seasonal_percent",
        "produced_by": "code/analyze.py",
        "tolerance": 1e-06
      },
      {
        "result": "R2.y2025.u50.seasonal_percent",
        "produced_by": "code/analyze.py",
        "tolerance": 1e-06
      },
      {
        "result": "R2.y2025.u50.seasonal_half_idle_percent",
        "produced_by": "code/analyze.py",
        "tolerance": 1e-06
      },
      {
        "result": "R2.y2025.u50.higher_days",
        "produced_by": "code/analyze.py",
        "tolerance": 1e-06
      },
      {
        "result": "R2.y2025.u50.days",
        "produced_by": "code/analyze.py",
        "tolerance": 1e-06
      },
      {
        "result": "R2.y2025.u87_5.seasonal_percent",
        "produced_by": "code/analyze.py",
        "tolerance": 1e-06
      }
    ],
    "depends_on": [],
    "falsified_if": "A faithful reimplementation of the stated frozen-data workload model gives a claimed result outside its declared numerical tolerance.",
    "confidence": 0.99
  }
]