{
  "claim": "Theorem 3.1 calibration convergence as written",
  "verdict": "falsified_as_written",
  "theorem_condition": "sup(lambda*T)-inf(lambda*T) <= 1",
  "construction": {
    "graph": "one false node, no edges",
    "risk": 0.5,
    "threshold_grid": [
      0.0,
      0.5,
      1.0
    ],
    "lambda": 1.0,
    "condition_lhs": 1.0
  },
  "hard_cf_nonconformity": 0.0,
  "sequential_limit": {
    "limiting_violations": [
      0.0,
      1.0,
      1.0
    ],
    "limiting_utilities": [
      0.0,
      -0.5,
      0.0
    ],
    "maximizers": [
      0.0,
      1.0
    ],
    "softmax_limit": 0.5
  },
  "single_limit_schedule": "tau_s=sqrt(T), beta=1/sqrt(T)",
  "rows": [
    {
      "temperature": 0.1,
      "tau_s": 0.31622776601683794,
      "beta": 3.162277660168379,
      "violations": [
        0.37318754703007484,
        0.9999601784052546,
        0.9999999999938359
      ],
      "utilities": [
        -0.37318754703007484,
        -0.49996017840525464,
        6.164069255021332e-12
      ],
      "weights": [
        0.20306642872645947,
        0.1359983700175665,
        0.660935201255974
      ],
      "soft_score": 0.7289343862647573
    },
    {
      "temperature": 0.05,
      "tau_s": 0.22360679774997896,
      "beta": 4.47213595499958,
      "violations": [
        0.017582726326865687,
        0.9999999980409284,
        1.0
      ],
      "utilities": [
        -0.017582726326865687,
        -0.49999999804092843,
        0.0
      ],
      "weights": [
        0.4550775328421732,
        0.052616627404334156,
        0.4923058397534925
      ],
      "soft_score": 0.5186141534556596
    },
    {
      "temperature": 0.025,
      "tau_s": 0.15811388300841897,
      "beta": 6.324555320336758,
      "violations": [
        7.275418902234627e-06,
        1.0,
        1.0
      ],
      "utilities": [
        -7.275418902234627e-06,
        -0.5,
        0.0
      ],
      "weights": [
        0.48962552494901285,
        0.020726420057878465,
        0.48964805499310876
      ],
      "soft_score": 0.500011265022048
    },
    {
      "temperature": 0.0125,
      "tau_s": 0.11180339887498948,
      "beta": 8.94427190999916,
      "violations": [
        2.9121494066836484e-13,
        1.0,
        1.0
      ],
      "utilities": [
        -2.9121494066836484e-13,
        -0.5,
        0.0
      ],
      "weights": [
        0.4971604949294267,
        0.005679010139851707,
        0.4971604949307217
      ],
      "soft_score": 0.5000000000006475
    },
    {
      "temperature": 0.00625,
      "tau_s": 0.07905694150420949,
      "beta": 12.649110640673516,
      "violations": [
        7.111159033721036e-29,
        1.0,
        1.0
      ],
      "utilities": [
        -7.111159033721036e-29,
        -0.5,
        0.0
      ],
      "weights": [
        0.49955246023408223,
        0.000895079531835494,
        0.49955246023408223
      ],
      "soft_score": 0.5
    },
    {
      "temperature": 0.003125,
      "tau_s": 0.05590169943749474,
      "beta": 17.88854381999832,
      "violations": [
        3.422581156485294e-61,
        1.0,
        1.0
      ],
      "utilities": [
        -3.422581156485294e-61,
        -0.5,
        0.0
      ],
      "weights": [
        0.49996738151840736,
        6.523696318529085e-05,
        0.49996738151840736
      ],
      "soft_score": 0.5
    },
    {
      "temperature": 0.0015625,
      "tau_s": 0.03952847075210474,
      "beta": 25.298221281347033,
      "violations": [
        2.604555897244908e-127,
        1.0,
        1.0
      ],
      "utilities": [
        -2.604555897244908e-127,
        -0.5,
        0.0
      ],
      "weights": [
        0.49999919739777515,
        1.6052044498042826e-06,
        0.49999919739777515
      ],
      "soft_score": 0.5
    },
    {
      "temperature": 0.00078125,
      "tau_s": 0.02795084971874737,
      "beta": 35.77708763999664,
      "violations": [
        1.3897231989963965e-261,
        1.0,
        1.0
      ],
      "utilities": [
        -1.3897231989963965e-261,
        -0.5,
        0.0
      ],
      "weights": [
        0.4999999957435833,
        8.51283332537817e-09,
        0.4999999957435833
      ],
      "soft_score": 0.49999999999999994
    },
    {
      "temperature": 0.000390625,
      "tau_s": 0.01976423537605237,
      "beta": 50.596442562694065,
      "violations": [
        0.0,
        1.0,
        1.0
      ],
      "utilities": [
        0.0,
        -0.5,
        0.0
      ],
      "weights": [
        0.4999999999974233,
        5.153379195757535e-12,
        0.4999999999974233
      ],
      "soft_score": 0.5
    },
    {
      "temperature": 0.0001953125,
      "tau_s": 0.013975424859373685,
      "beta": 71.55417527999327,
      "violations": [
        0.0,
        1.0,
        1.0
      ],
      "utilities": [
        0.0,
        -0.5,
        0.0
      ],
      "weights": [
        0.5,
        1.4493666491898172e-16,
        0.5
      ],
      "soft_score": 0.5000000000000001
    },
    {
      "temperature": 9.765625e-05,
      "tau_s": 0.009882117688026186,
      "beta": 101.19288512538813,
      "violations": [
        0.0,
        1.0,
        1.0
      ],
      "utilities": [
        0.0,
        -0.5,
        0.0
      ],
      "weights": [
        0.5,
        5.31146342710806e-23,
        0.5
      ],
      "soft_score": 0.5
    }
  ],
  "checks": {
    "theorem_assumption_satisfied_at_equality": true,
    "hard_score_is_zero": true,
    "last_soft_score_near_half": true,
    "last_soft_score_not_hard_score": true
  },
  "minimal_repair": "replace <= 1 by < 1 (plus the theorem's remaining assumptions)"
}