{
  "seed": 2189,
  "mechanism_checks": {
    "scaling_lambda": [
      {
        "lambda_": 0.25,
        "predicted_delta": 4.0,
        "observed_delta": 4.000000004,
        "weights": [
          11.999999996,
          4.000000004
        ],
        "residual": 1.000000082740371e-09
      },
      {
        "lambda_": 0.5,
        "predicted_delta": 2.0,
        "observed_delta": 2.000000002,
        "weights": [
          5.999999998,
          2.000000002
        ],
        "residual": 1.000000082740371e-09
      },
      {
        "lambda_": 1.0,
        "predicted_delta": 1.0,
        "observed_delta": 1.000000001,
        "weights": [
          2.999999999,
          1.000000001
        ],
        "residual": 1.000000082740371e-09
      },
      {
        "lambda_": 2.0,
        "predicted_delta": 0.5,
        "observed_delta": 0.5000000005,
        "weights": [
          1.4999999995,
          0.5000000005
        ],
        "residual": 1.000000082740371e-09
      },
      {
        "lambda_": 4.0,
        "predicted_delta": 0.25,
        "observed_delta": 0.25000000025,
        "weights": [
          0.74999999975,
          0.25000000025
        ],
        "residual": 1.000000082740371e-09
      }
    ],
    "feasibility_transition": [
      {
        "epsilon": 0.25,
        "predicted_positive": false,
        "observed_positive": false,
        "delta": 0.0,
        "weight": [
          0.0
        ]
      },
      {
        "epsilon": 0.75,
        "predicted_positive": false,
        "observed_positive": false,
        "delta": 0.0,
        "weight": [
          0.0
        ]
      },
      {
        "epsilon": 1.0,
        "predicted_positive": true,
        "observed_positive": true,
        "delta": 2.0,
        "weight": [
          2.0
        ]
      },
      {
        "epsilon": 1.25,
        "predicted_positive": true,
        "observed_positive": true,
        "delta": 2.0,
        "weight": [
          2.0
        ]
      },
      {
        "epsilon": 2.0,
        "predicted_positive": true,
        "observed_positive": true,
        "delta": 2.0,
        "weight": [
          2.0
        ]
      }
    ],
    "slack_margin": [
      {
        "epsilon": 0.0,
        "predicted_delta": 1.0,
        "observed_delta": 1.0,
        "residual": 0.0
      },
      {
        "epsilon": 0.25,
        "predicted_delta": 1.25,
        "observed_delta": 1.25,
        "residual": 0.25
      },
      {
        "epsilon": 0.5,
        "predicted_delta": 1.5,
        "observed_delta": 1.5,
        "residual": 0.5
      },
      {
        "epsilon": 0.75,
        "predicted_delta": 1.75,
        "observed_delta": 1.75,
        "residual": 0.75
      },
      {
        "epsilon": 1.0,
        "predicted_delta": 2.0,
        "observed_delta": 2.0,
        "residual": 1.0
      }
    ]
  },
  "check_summary": {
    "lambda_scaling_max_relative_error": 1.000000082740371e-09,
    "transition_all_correct": true,
    "slack_margin_max_absolute_error": 0.0
  },
  "training_comparison": {
    "equal": {
      "final_z": [
        0.23133661093699842,
        0.4344611198153801,
        0.5639965340505805
      ],
      "final_J": 0.5503883265031,
      "final_total_violation": 0.06579773075237849,
      "final_high_priority_violation": 0.03133661093699841
    },
    "fixed": {
      "final_z": [
        -4.283944920126085,
        0.37083182660937236,
        0.5639965340505805
      ],
      "final_J": 14.25301276582693,
      "final_total_violation": 0.0,
      "final_high_priority_violation": 0.0
    },
    "certificate": {
      "final_z": [
        0.23133661093699842,
        0.4344611198153801,
        0.5639965340505805
      ],
      "final_J": 0.5503883265031,
      "final_total_violation": 0.06579773075237849,
      "final_high_priority_violation": 0.03133661093699841
    }
  }
}