{
  "seed": 1319,
  "constants": {
    "floor": 0.08,
    "Csyn": 0.8,
    "Cmeta": 0.12,
    "m": 2.0,
    "epsilon": 0.16
  },
  "scaling_checks": {
    "depth_inverse_prediction": {
      "predicted_log_slope": -1.0,
      "observed_log_slope": -0.998895762481767,
      "scaled_depth_min": 0.7995687333596901,
      "scaled_depth_max": 0.8100294955481461,
      "relative_spread": 0.013042510938075805
    },
    "metadata_exponential_prediction": {
      "predicted_ratio_for_delta_s_2": 0.5,
      "observed_ratios": [
        0.49879613159473835,
        0.5016210175932083,
        0.4950466275605574,
        0.47835715693957853
      ],
      "max_abs_ratio_error": 0.02164284306042147
    },
    "threshold_prediction": {
      "predicted_continuous_boundary_D": 11.510791366906474,
      "observed_first_grid_passing_D": 16,
      "epsilon": 0.16
    }
  },
  "calibration": {
    "floor_bracket_L_U": [
      0.07597848545363584,
      0.08397848545363584
    ],
    "fit_coefficients": [
      0.08297848545363584,
      0.7989193055645585,
      0.12015191422269511
    ],
    "residual_std": 0.0014804082298792022
  },
  "screening": {
    "total_candidates": 90,
    "doomed": 66,
    "successful": 24,
    "rejected_doomed": 0,
    "rejection_rate_among_doomed": 0.0,
    "retained_success_rate": 1.0,
    "certificate_evaluations": 68,
    "evaluations_avoided_vs_exhaustive": 22,
    "feasible_certificates": 22,
    "feasible_certificate_precision": 1.0,
    "false_rejections": 0
  },
  "sample_records": [
    {
      "D": 2,
      "s": 0,
      "bits": 2,
      "upper": 0.6207784854536359,
      "lower": -0.4608215145463642,
      "actual": 0.6168,
      "success": false,
      "decision": "unresolved"
    },
    {
      "D": 2,
      "s": 0,
      "bits": 4,
      "upper": 0.6115784854536359,
      "lower": -0.45162151454636423,
      "actual": 0.6076,
      "success": false,
      "decision": "unresolved"
    },
    {
      "D": 2,
      "s": 0,
      "bits": 8,
      "upper": 0.6069784854536359,
      "lower": -0.4470215145463642,
      "actual": 0.603,
      "success": false,
      "decision": "unresolved"
    },
    {
      "D": 2,
      "s": 2,
      "bits": 2,
      "upper": 0.5607784854536358,
      "lower": -0.40082151454636417,
      "actual": 0.5568,
      "success": false,
      "decision": "unresolved"
    },
    {
      "D": 2,
      "s": 2,
      "bits": 4,
      "upper": 0.5515784854536359,
      "lower": -0.3916215145463642,
      "actual": 0.5476,
      "success": false,
      "decision": "unresolved"
    },
    {
      "D": 2,
      "s": 2,
      "bits": 8,
      "upper": 0.5469784854536359,
      "lower": -0.3870215145463642,
      "actual": 0.543,
      "success": false,
      "decision": "unresolved"
    },
    {
      "D": 2,
      "s": 4,
      "bits": 2,
      "upper": 0.5307784854536359,
      "lower": -0.3708215145463642,
      "actual": 0.5268,
      "success": false,
      "decision": "unresolved"
    },
    {
      "D": 2,
      "s": 4,
      "bits": 4,
      "upper": 0.5215784854536358,
      "lower": -0.3616215145463642,
      "actual": 0.5176000000000001,
      "success": false,
      "decision": "unresolved"
    }
  ]
}