{
  "schema": "AN02-nonconvex-localization-direct-probes192/v1",
  "observed_at_utc": "2026-10-07T06:47:40.935128+00:00",
  "status": "PASS",
  "checks": 427,
  "max_contour_relative_error": 4.671689395826909e-12,
  "max_grid_partition_error": 1.1102230246251565e-16,
  "max_factorial_relative_error_decimal": "1.616304732380645e-65",
  "mpmath_digits": 65,
  "contour_scope": "72 independent real/top/double-correction integrals with a finite-smooth auxiliary polynomial cutoff,nontrivial entire polynomial/atomic transform,both normals,three heights and three spatial derivative orders.",
  "cutoff_scope": "Exact uniform-sum CDF convolved numerically with a smooth final probability factor;grid sums,symmetry and finite derivative probes. Analytic all-frequency/all-order theorem supplied in full prose.",
  "numerical_probes_are_not_a_proof_or_independent_mathematical_review": true,
  "records": [
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K0-theta-1-T0.4-dx0",
      "pass_": true,
      "relative_error": 1.2428206111534412e-16
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K0-theta-1-T0.4-dx1",
      "pass_": true,
      "relative_error": 4.4579939753119533e-17
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K0-theta-1-T0.4-dx2",
      "pass_": true,
      "relative_error": 8.559802548625527e-17
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K0-theta-1-T0.9-dx0",
      "pass_": true,
      "relative_error": 1.1340345729673608e-16
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K0-theta-1-T0.9-dx1",
      "pass_": true,
      "relative_error": 3.2454761614980816e-16
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K0-theta-1-T0.9-dx2",
      "pass_": true,
      "relative_error": 5.927855253341057e-16
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K0-theta-1-T1.3-dx0",
      "pass_": true,
      "relative_error": 2.6938282151248137e-16
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K0-theta-1-T1.3-dx1",
      "pass_": true,
      "relative_error": 5.639712136413077e-16
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K0-theta-1-T1.3-dx2",
      "pass_": true,
      "relative_error": 1.0608461716284611e-15
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K0-theta1-T0.4-dx0",
      "pass_": true,
      "relative_error": 3.499615815610962e-17
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K0-theta1-T0.4-dx1",
      "pass_": true,
      "relative_error": 3.0604953626134234e-17
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K0-theta1-T0.4-dx2",
      "pass_": true,
      "relative_error": 2.146179822633542e-17
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K0-theta1-T0.9-dx0",
      "pass_": true,
      "relative_error": 1.4156169582800368e-16
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K0-theta1-T0.9-dx1",
      "pass_": true,
      "relative_error": 2.443492795607498e-16
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K0-theta1-T0.9-dx2",
      "pass_": true,
      "relative_error": 5.7548679005948425e-16
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K0-theta1-T1.3-dx0",
      "pass_": true,
      "relative_error": 2.1534505363122027e-16
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K0-theta1-T1.3-dx1",
      "pass_": true,
      "relative_error": 5.806955190065369e-16
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K0-theta1-T1.3-dx2",
      "pass_": true,
      "relative_error": 1.306079101388832e-15
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K2-theta-1-T0.4-dx0",
      "pass_": true,
      "relative_error": 1.169378898466693e-16
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K2-theta-1-T0.4-dx1",
      "pass_": true,
      "relative_error": 7.483320348055656e-17
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K2-theta-1-T0.4-dx2",
      "pass_": true,
      "relative_error": 3.1110550240066393e-16
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K2-theta-1-T0.9-dx0",
      "pass_": true,
      "relative_error": 8.193126156582792e-16
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K2-theta-1-T0.9-dx1",
      "pass_": true,
      "relative_error": 1.0075936888643955e-15
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K2-theta-1-T0.9-dx2",
      "pass_": true,
      "relative_error": 1.2176669075226994e-15
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K2-theta-1-T1.3-dx0",
      "pass_": true,
      "relative_error": 2.0257176242977644e-15
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K2-theta-1-T1.3-dx1",
      "pass_": true,
      "relative_error": 1.828628293266186e-15
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K2-theta-1-T1.3-dx2",
      "pass_": true,
      "relative_error": 1.8437582997868598e-15
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K2-theta1-T0.4-dx0",
      "pass_": true,
      "relative_error": 2.7708213542180242e-17
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K2-theta1-T0.4-dx1",
      "pass_": true,
      "relative_error": 4.808088888773406e-17
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K2-theta1-T0.4-dx2",
      "pass_": true,
      "relative_error": 3.644162393712907e-17
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K2-theta1-T0.9-dx0",
      "pass_": true,
      "relative_error": 1.300721448712583e-16
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K2-theta1-T0.9-dx1",
      "pass_": true,
      "relative_error": 2.709698268681241e-16
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K2-theta1-T0.9-dx2",
      "pass_": true,
      "relative_error": 3.8253383783595483e-16
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K2-theta1-T1.3-dx0",
      "pass_": true,
      "relative_error": 7.208052603619145e-17
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K2-theta1-T1.3-dx1",
      "pass_": true,
      "relative_error": 5.785971168283485e-16
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K2-theta1-T1.3-dx2",
      "pass_": true,
      "relative_error": 3.3970834992114207e-16
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K4-theta-1-T0.4-dx0",
      "pass_": true,
      "relative_error": 1.9396023635645792e-16
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K4-theta-1-T0.4-dx1",
      "pass_": true,
      "relative_error": 1.0803482879305187e-15
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K4-theta-1-T0.4-dx2",
      "pass_": true,
      "relative_error": 1.988475342078896e-15
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K4-theta-1-T0.9-dx0",
      "pass_": true,
      "relative_error": 2.490395381421119e-14
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K4-theta-1-T0.9-dx1",
      "pass_": true,
      "relative_error": 3.946630961924218e-14
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K4-theta-1-T0.9-dx2",
      "pass_": true,
      "relative_error": 2.733869783185843e-14
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K4-theta-1-T1.3-dx0",
      "pass_": true,
      "relative_error": 7.497213341323668e-14
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K4-theta-1-T1.3-dx1",
      "pass_": true,
      "relative_error": 4.239594803158853e-14
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K4-theta-1-T1.3-dx2",
      "pass_": true,
      "relative_error": 2.585605683575558e-14
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K4-theta1-T0.4-dx0",
      "pass_": true,
      "relative_error": 1.5840810925743625e-16
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K4-theta1-T0.4-dx1",
      "pass_": true,
      "relative_error": 3.2941799368389213e-16
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K4-theta1-T0.4-dx2",
      "pass_": true,
      "relative_error": 4.919418040308221e-16
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K4-theta1-T0.9-dx0",
      "pass_": true,
      "relative_error": 2.049803299901409e-15
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K4-theta1-T0.9-dx1",
      "pass_": true,
      "relative_error": 4.017794450633994e-15
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K4-theta1-T0.9-dx2",
      "pass_": true,
      "relative_error": 5.5457753201558994e-15
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K4-theta1-T1.3-dx0",
      "pass_": true,
      "relative_error": 1.1511186895377785e-14
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K4-theta1-T1.3-dx1",
      "pass_": true,
      "relative_error": 2.5668734405246604e-14
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K4-theta1-T1.3-dx2",
      "pass_": true,
      "relative_error": 3.414429217095606e-14
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K6-theta-1-T0.4-dx0",
      "pass_": true,
      "relative_error": 2.885391533643175e-15
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K6-theta-1-T0.4-dx1",
      "pass_": true,
      "relative_error": 1.4478028634230518e-14
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K6-theta-1-T0.4-dx2",
      "pass_": true,
      "relative_error": 2.6592551318245108e-14
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K6-theta-1-T0.9-dx0",
      "pass_": true,
      "relative_error": 2.4282315111445076e-13
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K6-theta-1-T0.9-dx1",
      "pass_": true,
      "relative_error": 1.0604567380800378e-12
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K6-theta-1-T0.9-dx2",
      "pass_": true,
      "relative_error": 2.012740513828726e-12
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K6-theta-1-T1.3-dx0",
      "pass_": true,
      "relative_error": 4.671689395826909e-12
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K6-theta-1-T1.3-dx1",
      "pass_": true,
      "relative_error": 2.852854271288335e-12
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K6-theta-1-T1.3-dx2",
      "pass_": true,
      "relative_error": 2.1235005500521696e-12
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K6-theta1-T0.4-dx0",
      "pass_": true,
      "relative_error": 6.341513890582969e-16
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K6-theta1-T0.4-dx1",
      "pass_": true,
      "relative_error": 3.539951583576339e-15
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K6-theta1-T0.4-dx2",
      "pass_": true,
      "relative_error": 6.594687353011081e-15
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K6-theta1-T0.9-dx0",
      "pass_": true,
      "relative_error": 1.946941296346865e-14
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K6-theta1-T0.9-dx1",
      "pass_": true,
      "relative_error": 5.519641810739101e-14
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K6-theta1-T0.9-dx2",
      "pass_": true,
      "relative_error": 1.9445989361569932e-13
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K6-theta1-T1.3-dx0",
      "pass_": true,
      "relative_error": 2.9449226728092015e-13
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K6-theta1-T1.3-dx1",
      "pass_": true,
      "relative_error": 3.9067337895636945e-13
    },
    {
      "kind": "independent_double_contour_quadrature",
      "label": "K6-theta1-T1.3-dx2",
      "pass_": true,
      "relative_error": 1.0673608515823693e-12
    },
    {
      "kind": "independent_factorial_integral",
      "label": "K0-r0.4",
      "pass_": true,
      "relative_error_decimal": "0.0"
    },
    {
      "kind": "independent_factorial_integral",
      "label": "K0-r2",
      "pass_": true,
      "relative_error_decimal": "0.0"
    },
    {
      "kind": "independent_factorial_integral",
      "label": "K0-r3",
      "pass_": true,
      "relative_error_decimal": "0.0"
    },
    {
      "kind": "independent_factorial_integral",
      "label": "K1-r0.4",
      "pass_": true,
      "relative_error_decimal": "1.46085657627e-66"
    },
    {
      "kind": "independent_factorial_integral",
      "label": "K1-r2",
      "pass_": true,
      "relative_error_decimal": "0.0"
    },
    {
      "kind": "independent_factorial_integral",
      "label": "K1-r3",
      "pass_": true,
      "relative_error_decimal": "4.10865912076e-67"
    },
    {
      "kind": "independent_factorial_integral",
      "label": "K4-r0.4",
      "pass_": true,
      "relative_error_decimal": "3.110512275e-66"
    },
    {
      "kind": "independent_factorial_integral",
      "label": "K4-r2",
      "pass_": true,
      "relative_error_decimal": "0.0"
    },
    {
      "kind": "independent_factorial_integral",
      "label": "K4-r3",
      "pass_": true,
      "relative_error_decimal": "5.24414309595e-67"
    },
    {
      "kind": "independent_factorial_integral",
      "label": "K12-r0.4",
      "pass_": true,
      "relative_error_decimal": "8.3523897122e-66"
    },
    {
      "kind": "independent_factorial_integral",
      "label": "K12-r2",
      "pass_": true,
      "relative_error_decimal": "0.0"
    },
    {
      "kind": "independent_factorial_integral",
      "label": "K12-r3",
      "pass_": true,
      "relative_error_decimal": "3.69024482004e-68"
    },
    {
      "kind": "independent_factorial_integral",
      "label": "K26-r0.4",
      "pass_": true,
      "relative_error_decimal": "1.61630473238e-65"
    },
    {
      "kind": "independent_factorial_integral",
      "label": "K26-r2",
      "pass_": true,
      "relative_error_decimal": "0.0"
    },
    {
      "kind": "independent_factorial_integral",
      "label": "K26-r3",
      "pass_": true,
      "relative_error_decimal": "2.8977663018e-70"
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell4.0-q2-x-4.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q2-x-4.000-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 4.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell4.0-q2-x-3.500",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q2-x-3.500-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 4.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell4.0-q2-x-3.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q2-x-3.000-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 4.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell4.0-q2-x-2.500",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q2-x-2.500-d1",
      "pass_": true,
      "observed": 0.33448663890699565,
      "proved_bound": 4.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell4.0-q2-x-2.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q2-x-2.000-d1",
      "pass_": true,
      "observed": 1.3310267221860084,
      "proved_bound": 4.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell4.0-q2-x-1.500",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q2-x-1.500-d1",
      "pass_": true,
      "observed": 0.33448663890699565,
      "proved_bound": 4.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell4.0-q2-x-1.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q2-x-1.000-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 4.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell4.0-q2-x-0.500",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q2-x-0.500-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 4.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell4.0-q2-x0.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q2-x0.000-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 4.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell4.0-q2-x0.500",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q2-x0.500-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 4.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell4.0-q2-x1.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q2-x1.000-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 4.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell4.0-q2-x1.500",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q2-x1.500-d1",
      "pass_": true,
      "observed": 0.33448663890699565,
      "proved_bound": 4.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell4.0-q2-x2.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q2-x2.000-d1",
      "pass_": true,
      "observed": 1.3310267221860084,
      "proved_bound": 4.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell4.0-q2-x2.500",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q2-x2.500-d1",
      "pass_": true,
      "observed": 0.33448663890699565,
      "proved_bound": 4.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell4.0-q2-x3.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q2-x3.000-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 4.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell4.0-q2-x3.500",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q2-x3.500-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 4.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell4.0-q2-x4.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q2-x4.000-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 4.0
    },
    {
      "kind": "cutoff_symmetry",
      "label": "ell4.0-q2",
      "pass_": true
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell4.0-q4-x-4.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x-4.000-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 8.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x-4.000-d2",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 64.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x-4.000-d3",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 512.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell4.0-q4-x-3.500",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x-3.500-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 8.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x-3.500-d2",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 64.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x-3.500-d3",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 512.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell4.0-q4-x-3.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x-3.000-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 8.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x-3.000-d2",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 64.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x-3.000-d3",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 512.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell4.0-q4-x-2.500",
      "pass_": true,
      "partition_error": 1.1102230246251565e-16
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x-2.500-d1",
      "pass_": true,
      "observed": 0.21688705031082905,
      "proved_bound": 8.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x-2.500-d2",
      "pass_": true,
      "observed": 2.120087302062961,
      "proved_bound": 64.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x-2.500-d3",
      "pass_": true,
      "observed": 13.07893481432792,
      "proved_bound": 512.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell4.0-q4-x-2.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x-2.000-d1",
      "pass_": true,
      "observed": 1.5028527089815968,
      "proved_bound": 8.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x-2.000-d2",
      "pass_": true,
      "observed": 4.440892098500626e-16,
      "proved_bound": 64.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x-2.000-d3",
      "pass_": true,
      "observed": 16.213550811153276,
      "proved_bound": 512.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell4.0-q4-x-1.500",
      "pass_": true,
      "partition_error": 1.1102230246251565e-16
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x-1.500-d1",
      "pass_": true,
      "observed": 0.21688705031082903,
      "proved_bound": 8.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x-1.500-d2",
      "pass_": true,
      "observed": 2.120087302062961,
      "proved_bound": 64.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x-1.500-d3",
      "pass_": true,
      "observed": 13.078934814327916,
      "proved_bound": 512.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell4.0-q4-x-1.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x-1.000-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 8.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x-1.000-d2",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 64.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x-1.000-d3",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 512.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell4.0-q4-x-0.500",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x-0.500-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 8.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x-0.500-d2",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 64.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x-0.500-d3",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 512.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell4.0-q4-x0.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x0.000-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 8.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x0.000-d2",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 64.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x0.000-d3",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 512.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell4.0-q4-x0.500",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x0.500-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 8.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x0.500-d2",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 64.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x0.500-d3",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 512.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell4.0-q4-x1.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x1.000-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 8.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x1.000-d2",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 64.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x1.000-d3",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 512.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell4.0-q4-x1.500",
      "pass_": true,
      "partition_error": 1.1102230246251565e-16
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x1.500-d1",
      "pass_": true,
      "observed": 0.21688705031082905,
      "proved_bound": 8.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x1.500-d2",
      "pass_": true,
      "observed": 2.120087302062961,
      "proved_bound": 64.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x1.500-d3",
      "pass_": true,
      "observed": 13.07893481432792,
      "proved_bound": 512.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell4.0-q4-x2.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x2.000-d1",
      "pass_": true,
      "observed": 1.5028527089815968,
      "proved_bound": 8.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x2.000-d2",
      "pass_": true,
      "observed": 4.440892098500626e-16,
      "proved_bound": 64.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x2.000-d3",
      "pass_": true,
      "observed": 16.213550811153276,
      "proved_bound": 512.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell4.0-q4-x2.500",
      "pass_": true,
      "partition_error": 1.1102230246251565e-16
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x2.500-d1",
      "pass_": true,
      "observed": 0.21688705031082903,
      "proved_bound": 8.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x2.500-d2",
      "pass_": true,
      "observed": 2.120087302062961,
      "proved_bound": 64.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x2.500-d3",
      "pass_": true,
      "observed": 13.078934814327916,
      "proved_bound": 512.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell4.0-q4-x3.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x3.000-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 8.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x3.000-d2",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 64.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x3.000-d3",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 512.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell4.0-q4-x3.500",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x3.500-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 8.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x3.500-d2",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 64.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x3.500-d3",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 512.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell4.0-q4-x4.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x4.000-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 8.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x4.000-d2",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 64.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell4.0-q4-x4.000-d3",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 512.0
    },
    {
      "kind": "cutoff_symmetry",
      "label": "ell4.0-q4",
      "pass_": true
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell6.0-q3-x-6.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell6.0-q3-x-6.000-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 4.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell6.0-q3-x-6.000-d2",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 16.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell6.0-q3-x-5.250",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell6.0-q3-x-5.250-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 4.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell6.0-q3-x-5.250-d2",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 16.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell6.0-q3-x-4.500",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell6.0-q3-x-4.500-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 4.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell6.0-q3-x-4.500-d2",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 16.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell6.0-q3-x-3.750",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell6.0-q3-x-3.750-d1",
      "pass_": true,
      "observed": 0.17547483613039874,
      "proved_bound": 4.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell6.0-q3-x-3.750-d2",
      "pass_": true,
      "observed": 0.9479039561474645,
      "proved_bound": 16.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell6.0-q3-x-3.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell6.0-q3-x-3.000-d1",
      "pass_": true,
      "observed": 0.9641781736119457,
      "proved_bound": 4.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell6.0-q3-x-3.000-d2",
      "pass_": true,
      "observed": 2.220446049250313e-16,
      "proved_bound": 16.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell6.0-q3-x-2.250",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell6.0-q3-x-2.250-d1",
      "pass_": true,
      "observed": 0.17547483613039866,
      "proved_bound": 4.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell6.0-q3-x-2.250-d2",
      "pass_": true,
      "observed": 0.9479039561474644,
      "proved_bound": 16.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell6.0-q3-x-1.500",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell6.0-q3-x-1.500-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 4.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell6.0-q3-x-1.500-d2",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 16.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell6.0-q3-x-0.750",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell6.0-q3-x-0.750-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 4.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell6.0-q3-x-0.750-d2",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 16.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell6.0-q3-x0.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell6.0-q3-x0.000-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 4.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell6.0-q3-x0.000-d2",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 16.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell6.0-q3-x0.750",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell6.0-q3-x0.750-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 4.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell6.0-q3-x0.750-d2",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 16.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell6.0-q3-x1.500",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell6.0-q3-x1.500-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 4.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell6.0-q3-x1.500-d2",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 16.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell6.0-q3-x2.250",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell6.0-q3-x2.250-d1",
      "pass_": true,
      "observed": 0.17547483613039874,
      "proved_bound": 4.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell6.0-q3-x2.250-d2",
      "pass_": true,
      "observed": 0.9479039561474645,
      "proved_bound": 16.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell6.0-q3-x3.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell6.0-q3-x3.000-d1",
      "pass_": true,
      "observed": 0.9641781736119457,
      "proved_bound": 4.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell6.0-q3-x3.000-d2",
      "pass_": true,
      "observed": 2.220446049250313e-16,
      "proved_bound": 16.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell6.0-q3-x3.750",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell6.0-q3-x3.750-d1",
      "pass_": true,
      "observed": 0.17547483613039866,
      "proved_bound": 4.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell6.0-q3-x3.750-d2",
      "pass_": true,
      "observed": 0.9479039561474644,
      "proved_bound": 16.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell6.0-q3-x4.500",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell6.0-q3-x4.500-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 4.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell6.0-q3-x4.500-d2",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 16.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell6.0-q3-x5.250",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell6.0-q3-x5.250-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 4.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell6.0-q3-x5.250-d2",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 16.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell6.0-q3-x6.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell6.0-q3-x6.000-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 4.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell6.0-q3-x6.000-d2",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 16.0
    },
    {
      "kind": "cutoff_symmetry",
      "label": "ell6.0-q3",
      "pass_": true
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell8.0-q6-x-8.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x-8.000-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 6.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x-8.000-d2",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 36.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x-8.000-d3",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 216.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell8.0-q6-x-7.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x-7.000-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 6.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x-7.000-d2",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 36.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x-7.000-d3",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 216.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell8.0-q6-x-6.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x-6.000-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 6.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x-6.000-d2",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 36.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x-6.000-d3",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 216.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell8.0-q6-x-5.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x-5.000-d1",
      "pass_": true,
      "observed": 0.07974495844233281,
      "proved_bound": 6.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x-5.000-d2",
      "pass_": true,
      "observed": 0.5073668135201599,
      "proved_bound": 36.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x-5.000-d3",
      "pass_": true,
      "observed": 2.1906882726860264,
      "proved_bound": 216.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell8.0-q6-x-4.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x-4.000-d1",
      "pass_": true,
      "observed": 0.7787592977244049,
      "proved_bound": 6.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x-4.000-d2",
      "pass_": true,
      "observed": 4.996003610813204e-16,
      "proved_bound": 36.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x-4.000-d3",
      "pass_": true,
      "observed": 1.944666266430603,
      "proved_bound": 216.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell8.0-q6-x-3.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x-3.000-d1",
      "pass_": true,
      "observed": 0.07974495844233132,
      "proved_bound": 6.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x-3.000-d2",
      "pass_": true,
      "observed": 0.5073668135201526,
      "proved_bound": 36.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x-3.000-d3",
      "pass_": true,
      "observed": 2.1906882726860046,
      "proved_bound": 216.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell8.0-q6-x-2.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x-2.000-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 6.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x-2.000-d2",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 36.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x-2.000-d3",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 216.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell8.0-q6-x-1.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x-1.000-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 6.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x-1.000-d2",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 36.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x-1.000-d3",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 216.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell8.0-q6-x0.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x0.000-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 6.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x0.000-d2",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 36.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x0.000-d3",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 216.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell8.0-q6-x1.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x1.000-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 6.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x1.000-d2",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 36.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x1.000-d3",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 216.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell8.0-q6-x2.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x2.000-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 6.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x2.000-d2",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 36.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x2.000-d3",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 216.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell8.0-q6-x3.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x3.000-d1",
      "pass_": true,
      "observed": 0.07974495844233281,
      "proved_bound": 6.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x3.000-d2",
      "pass_": true,
      "observed": 0.5073668135201599,
      "proved_bound": 36.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x3.000-d3",
      "pass_": true,
      "observed": 2.1906882726860264,
      "proved_bound": 216.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell8.0-q6-x4.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x4.000-d1",
      "pass_": true,
      "observed": 0.7787592977244049,
      "proved_bound": 6.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x4.000-d2",
      "pass_": true,
      "observed": 4.996003610813204e-16,
      "proved_bound": 36.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x4.000-d3",
      "pass_": true,
      "observed": 1.944666266430603,
      "proved_bound": 216.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell8.0-q6-x5.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x5.000-d1",
      "pass_": true,
      "observed": 0.07974495844233132,
      "proved_bound": 6.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x5.000-d2",
      "pass_": true,
      "observed": 0.5073668135201526,
      "proved_bound": 36.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x5.000-d3",
      "pass_": true,
      "observed": 2.1906882726860046,
      "proved_bound": 216.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell8.0-q6-x6.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x6.000-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 6.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x6.000-d2",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 36.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x6.000-d3",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 216.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell8.0-q6-x7.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x7.000-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 6.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x7.000-d2",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 36.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x7.000-d3",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 216.0
    },
    {
      "kind": "actual_finite_convolution_grid",
      "label": "ell8.0-q6-x8.000",
      "pass_": true,
      "partition_error": 0.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x8.000-d1",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 6.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x8.000-d2",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 36.0
    },
    {
      "kind": "finite_derivative_probe",
      "label": "ell8.0-q6-x8.000-d3",
      "pass_": true,
      "observed": 0.0,
      "proved_bound": 216.0
    },
    {
      "kind": "cutoff_symmetry",
      "label": "ell8.0-q6",
      "pass_": true
    },
    {
      "kind": "exact_support_function_probe",
      "label": "angle-3.14159265",
      "pass_": true
    },
    {
      "kind": "exact_support_function_probe",
      "label": "angle-2.94524311",
      "pass_": true
    },
    {
      "kind": "exact_support_function_probe",
      "label": "angle-2.74889357",
      "pass_": true
    },
    {
      "kind": "exact_support_function_probe",
      "label": "angle-2.55254403",
      "pass_": true
    },
    {
      "kind": "exact_support_function_probe",
      "label": "angle-2.35619449",
      "pass_": true
    },
    {
      "kind": "exact_support_function_probe",
      "label": "angle-2.15984495",
      "pass_": true
    },
    {
      "kind": "exact_support_function_probe",
      "label": "angle-1.96349541",
      "pass_": true
    },
    {
      "kind": "exact_support_function_probe",
      "label": "angle-1.76714587",
      "pass_": true
    },
    {
      "kind": "exact_support_function_probe",
      "label": "angle-1.57079633",
      "pass_": true
    },
    {
      "kind": "exact_support_function_probe",
      "label": "angle-1.37444679",
      "pass_": true
    },
    {
      "kind": "exact_support_function_probe",
      "label": "angle-1.17809725",
      "pass_": true
    },
    {
      "kind": "exact_support_function_probe",
      "label": "angle-0.98174770",
      "pass_": true
    },
    {
      "kind": "exact_support_function_probe",
      "label": "angle-0.78539816",
      "pass_": true
    },
    {
      "kind": "exact_support_function_probe",
      "label": "angle-0.58904862",
      "pass_": true
    },
    {
      "kind": "exact_support_function_probe",
      "label": "angle-0.39269908",
      "pass_": true
    },
    {
      "kind": "exact_support_function_probe",
      "label": "angle-0.19634954",
      "pass_": true
    },
    {
      "kind": "exact_support_function_probe",
      "label": "angle0.00000000",
      "pass_": true
    },
    {
      "kind": "exact_support_function_probe",
      "label": "angle0.19634954",
      "pass_": true
    },
    {
      "kind": "exact_support_function_probe",
      "label": "angle0.39269908",
      "pass_": true
    },
    {
      "kind": "exact_support_function_probe",
      "label": "angle0.58904862",
      "pass_": true
    },
    {
      "kind": "exact_support_function_probe",
      "label": "angle0.78539816",
      "pass_": true
    },
    {
      "kind": "exact_support_function_probe",
      "label": "angle0.98174770",
      "pass_": true
    },
    {
      "kind": "exact_support_function_probe",
      "label": "angle1.17809725",
      "pass_": true
    },
    {
      "kind": "exact_support_function_probe",
      "label": "angle1.37444679",
      "pass_": true
    },
    {
      "kind": "exact_support_function_probe",
      "label": "angle1.57079633",
      "pass_": true
    },
    {
      "kind": "exact_support_function_probe",
      "label": "angle1.76714587",
      "pass_": true
    },
    {
      "kind": "exact_support_function_probe",
      "label": "angle1.96349541",
      "pass_": true
    },
    {
      "kind": "exact_support_function_probe",
      "label": "angle2.15984495",
      "pass_": true
    },
    {
      "kind": "exact_support_function_probe",
      "label": "angle2.35619449",
      "pass_": true
    },
    {
      "kind": "exact_support_function_probe",
      "label": "angle2.55254403",
      "pass_": true
    },
    {
      "kind": "exact_support_function_probe",
      "label": "angle2.74889357",
      "pass_": true
    },
    {
      "kind": "exact_support_function_probe",
      "label": "angle2.94524311",
      "pass_": true
    },
    {
      "kind": "exact_support_function_probe",
      "label": "angle3.14159265",
      "pass_": true
    },
    {
      "kind": "nonconvex_gap",
      "label": "x0-strictly-inside-convex-hull",
      "pass_": true,
      "edge_cross_products": [
        4.5,
        2.0,
        0.5,
        1.0
      ]
    },
    {
      "kind": "nonconvex_gap",
      "label": "two-different-normals",
      "pass_": true
    },
    {
      "kind": "nonconvex_gap",
      "label": "smooth-ball-distance",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "window-radius-integer",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "all-three-budget-conditions",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j26-annulus-derivatives",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j26-cell-radius",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j26-center-size",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j26-window",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j26-polynomial-window",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j26-shift-size",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j26-summability-factors",
      "pass_": true,
      "top_factor_log": -129909.8908665272,
      "correction_factor_log": -45.86160028338186
    },
    {
      "kind": "explicit_budget",
      "label": "j27-annulus-derivatives",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j27-cell-radius",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j27-center-size",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j27-window",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j27-polynomial-window",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j27-shift-size",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j27-summability-factors",
      "pass_": true,
      "top_factor_log": -134906.4251306244,
      "correction_factor_log": -47.431817482662666
    },
    {
      "kind": "explicit_budget",
      "label": "j28-annulus-derivatives",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j28-cell-radius",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j28-center-size",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j28-window",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j28-polynomial-window",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j28-shift-size",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j28-summability-factors",
      "pass_": true,
      "top_factor_log": -139902.9593947216,
      "correction_factor_log": -49.0020346819435
    },
    {
      "kind": "explicit_budget",
      "label": "j29-annulus-derivatives",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j29-cell-radius",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j29-center-size",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j29-window",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j29-polynomial-window",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j29-shift-size",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j29-summability-factors",
      "pass_": true,
      "top_factor_log": -144899.4936588188,
      "correction_factor_log": -50.57225188122432
    },
    {
      "kind": "explicit_budget",
      "label": "j30-annulus-derivatives",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j30-cell-radius",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j30-center-size",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j30-window",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j30-polynomial-window",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j30-shift-size",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j30-summability-factors",
      "pass_": true,
      "top_factor_log": -149896.02792291602,
      "correction_factor_log": -52.14246908050512
    },
    {
      "kind": "explicit_budget",
      "label": "j31-annulus-derivatives",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j31-cell-radius",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j31-center-size",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j31-window",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j31-polynomial-window",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j31-shift-size",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j31-summability-factors",
      "pass_": true,
      "top_factor_log": -154892.56218701322,
      "correction_factor_log": -53.712686279785956
    },
    {
      "kind": "explicit_budget",
      "label": "j32-annulus-derivatives",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j32-cell-radius",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j32-center-size",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j32-window",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j32-polynomial-window",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j32-shift-size",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j32-summability-factors",
      "pass_": true,
      "top_factor_log": -159889.0964511104,
      "correction_factor_log": -55.282903479066775
    },
    {
      "kind": "explicit_budget",
      "label": "j33-annulus-derivatives",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j33-cell-radius",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j33-center-size",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j33-window",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j33-polynomial-window",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j33-shift-size",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j33-summability-factors",
      "pass_": true,
      "top_factor_log": -164885.6307152076,
      "correction_factor_log": -56.85312067834758
    },
    {
      "kind": "explicit_budget",
      "label": "j34-annulus-derivatives",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j34-cell-radius",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j34-center-size",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j34-window",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j34-polynomial-window",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j34-shift-size",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j34-summability-factors",
      "pass_": true,
      "top_factor_log": -169882.1649793048,
      "correction_factor_log": -58.42333787762841
    },
    {
      "kind": "explicit_budget",
      "label": "j35-annulus-derivatives",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j35-cell-radius",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j35-center-size",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j35-window",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j35-polynomial-window",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j35-shift-size",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j35-summability-factors",
      "pass_": true,
      "top_factor_log": -174878.69924340202,
      "correction_factor_log": -59.99355507690923
    },
    {
      "kind": "explicit_budget",
      "label": "j36-annulus-derivatives",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j36-cell-radius",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j36-center-size",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j36-window",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j36-polynomial-window",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j36-shift-size",
      "pass_": true
    },
    {
      "kind": "explicit_budget",
      "label": "j36-summability-factors",
      "pass_": true,
      "top_factor_log": -179875.23350749922,
      "correction_factor_log": -61.563772276190036
    }
  ]
}