{
  "predictions": {
    "P1_monotone_derivatives_nonnegative": {
      "predicted": "100% samples",
      "observed_fraction": 1.0,
      "tolerance": "exact up to numerical precision"
    },
    "P2_error_bound": {
      "predicted": "|delta V| <= 0.7|e1|+1.4|e2| and linear scaling",
      "max_ratio_observed": 1.0007299184799194,
      "loglog_scaling_exponent": 0.999923480526178,
      "expected_exponent": 1.0
    },
    "P3_negative_crossing": {
      "predicted": "set/order failure begins at c2<0",
      "sweep": [
        {
          "c2": 1.0,
          "derivative": 1.0,
          "set_disagreement": 0.02319999970495701,
          "order_reversal_fraction": 0.0
        },
        {
          "c2": 0.5,
          "derivative": 0.5,
          "set_disagreement": 0.041999999433755875,
          "order_reversal_fraction": 0.0
        },
        {
          "c2": 0.2,
          "derivative": 0.2,
          "set_disagreement": 0.11640000343322754,
          "order_reversal_fraction": 0.0
        },
        {
          "c2": 0.05,
          "derivative": 0.05,
          "set_disagreement": 0.18039999902248383,
          "order_reversal_fraction": 0.0
        },
        {
          "c2": 0.0,
          "derivative": 0.0,
          "set_disagreement": 0.20960000157356262,
          "order_reversal_fraction": 0.0
        },
        {
          "c2": -0.02,
          "derivative": -0.02,
          "set_disagreement": 0.2231999933719635,
          "order_reversal_fraction": 1.0
        },
        {
          "c2": -0.05,
          "derivative": -0.05,
          "set_disagreement": 0.24040000140666962,
          "order_reversal_fraction": 1.0
        },
        {
          "c2": -0.1,
          "derivative": -0.1,
          "set_disagreement": 0.2678000032901764,
          "order_reversal_fraction": 1.0
        },
        {
          "c2": -0.2,
          "derivative": -0.2,
          "set_disagreement": 0.32339999079704285,
          "order_reversal_fraction": 1.0
        },
        {
          "c2": -0.5,
          "derivative": -0.5,
          "set_disagreement": 0.40540000796318054,
          "order_reversal_fraction": 1.0
        },
        {
          "c2": -1.0,
          "derivative": -1.0,
          "set_disagreement": 0.49799999594688416,
          "order_reversal_fraction": 1.0
        }
      ]
    }
  },
  "mini_experiment": {
    "positive_aggregator_weights": [
      0.9989890456199646,
      0.7955543994903564
    ],
    "unconstrained_weights": [
      0.9989889860153198,
      0.7955544590950012
    ],
    "heldout_rmse": {
      "monotone": 0.031863730400800705,
      "unconstrained": 0.031863726675510406
    },
    "heldout_set_iou": {
      "monotone": 0.9279778599739075,
      "unconstrained": 0.9279778599739075
    }
  }
}