hilbert-sharpness-v2/results/verification.json

{
  "status": "passed",
  "distribution": "uniform radius in {0.20, 0.45}, random sign and coordinate axis",
  "assumption_checks": {
    "max_norm_le_half": true,
    "mean_is_zero_by_symmetry": true,
    "constant_variance": 0.12125000000000001,
    "constant_variance_of_squared_norm": 0.006601562500000001
  },
  "settings": 15,
  "max_dimension": 512,
  "max_n": 200000,
  "total_paths": 1920,
  "oracle_scaled_width": 0.19887942999281635,
  "max_n_upper_relative_error_range": [
    0.023675035838271453,
    0.023759140256989764
  ],
  "max_n_lower_relative_error_range": [
    0.7177256747037787,
    0.7368647020854767
  ],
  "max_n_lower_radius_relative_error_range": [
    0.03854683360880767,
    0.03876376754993228
  ],
  "lower_mean_penalty_decreases_in_every_dimension": true,
  "dimension_spread_at_max_n": {
    "upper": 1.6726638854575038e-05,
    "lower": 0.003806358856288994
  }
}