{
  "schema": "MCC-OE-21-Evidence-v0.1",
  "certificate_monotonicity": {
    "grid": "64^3",
    "cells": 262144,
    "sheet_transitions": 40,
    "comparisons": 10485760,
    "cells_with_any_Cenv_increase": 0,
    "required_Dini_Q_slope_lower": -72.88629694657871,
    "first_sheet_max_Cenv": 700.2596280614171,
    "envelope_budget": 710.257790741
  },
  "high_precision_slope": {
    "float64_worst_discrete_candidate": -6.50646076960637,
    "hp_replay_same_candidate": -1.4817818527559623,
    "hp_random_80_min": -2.542110192701128,
    "hp_DE_min_5seeds": -2.9154922214988104
  },
  "first_gap_chamber_quadratic": {
    "chambers": 8,
    "max_fit_residual": 7.113304389960717e-11,
    "max_holdout_residual": 3.247626612079557e-10,
    "crude_full_box_lowers": [
      -2.6610625408407174,
      -2.972431631424705,
      -2.8735159207782672,
      -3.3229396195111622,
      -2.959089750781107,
      -2.7742482540190707,
      -2.7790785005783034,
      -3.125722509827143
    ],
    "worst_crude_lower": -3.3229396195111622
  },
  "authority": {
    "formal": [
      "Dini-slope monotonicity lemma",
      "gate derivation"
    ],
    "exhaustive_discrete": [
      "64^3 cell-wise certificate monotonicity on 41 sheets"
    ],
    "high_precision_diagnostic": [
      "random slope replay",
      "DE adversarial replay",
      "quadratic reconstruction"
    ],
    "outward_uniform_slope": "OPEN"
  }
}