{
  "seed": 2454,
  "n": 64,
  "m": 16,
  "trials": 500,
  "predictions": {
    "P1": "orthogonality defect remains at floating-point roundoff for every T",
    "P2": "scaled quadratic norm has mean near 1",
    "P3": "quadratic-statistic spread moves toward the Haar reference as T increases"
  },
  "haar_reference": {
    "mean": 0.9879658601820245,
    "mean_abs_error": 0.24585224130094555,
    "std": 0.3033873109125205,
    "p95_abs_error": 0.5708391549891169,
    "mse": 0.09218868094388902
  },
  "sweep": [
    {
      "T": 0,
      "predicted_mean": 0.838756991345252,
      "mean_prediction_abs_error": 0.0,
      "mean": 0.838756991345252,
      "mean_abs_error": 0.16124300865474803,
      "std": 0.0,
      "p95_abs_error": 0.16124300865474805,
      "mse": 0.025999307840035166,
      "std_over_haar_std": 0.0,
      "orthogonality_max_abs": 0.0
    },
    {
      "T": 16,
      "predicted_mean": 0.8746714253145371,
      "mean_prediction_abs_error": 0.009827489638699172,
      "mean": 0.8844989149532363,
      "mean_abs_error": 0.16662975653573112,
      "std": 0.17228955195523923,
      "p95_abs_error": 0.4010438504774926,
      "mse": 0.043024190359916815,
      "std_over_haar_std": 0.5678864796191745,
      "orthogonality_max_abs": 3.3306690738754696e-16
    },
    {
      "T": 32,
      "predicted_mean": 0.9025864639730093,
      "mean_prediction_abs_error": 0.0005472278077658377,
      "mean": 0.9031336917807752,
      "mean_abs_error": 0.19786587193311828,
      "std": 0.22451350571342904,
      "p95_abs_error": 0.46145775311892717,
      "mse": 0.05978939591575581,
      "std_over_haar_std": 0.7400227288285166,
      "orthogonality_max_abs": 4.440892098500626e-16
    },
    {
      "T": 64,
      "predicted_mean": 0.9411484747124732,
      "mean_prediction_abs_error": 0.01593885670077888,
      "mean": 0.9570873314132521,
      "mean_abs_error": 0.2112396154467171,
      "std": 0.2569156458503895,
      "p95_abs_error": 0.5044858161837708,
      "mse": 0.06784714620795881,
      "std_over_haar_std": 0.8468239659649748,
      "orthogonality_max_abs": 5.551115123125783e-16
    },
    {
      "T": 128,
      "predicted_mean": 0.9785199863388532,
      "mean_prediction_abs_error": 0.014967283469470627,
      "mean": 0.9635527028693825,
      "mean_abs_error": 0.23713427195734552,
      "std": 0.290624555582949,
      "p95_abs_error": 0.5805786150416217,
      "mse": 0.08579103777591408,
      "std_over_haar_std": 0.9579324682657819,
      "orthogonality_max_abs": 6.661338147750939e-16
    },
    {
      "T": 256,
      "predicted_mean": 0.9971385364814732,
      "mean_prediction_abs_error": 0.002980861021396497,
      "mean": 1.0001193975028697,
      "mean_abs_error": 0.23541314724740478,
      "std": 0.29398953286292934,
      "p95_abs_error": 0.5844288045823447,
      "mse": 0.08642985968872707,
      "std_over_haar_std": 0.9690238262723487,
      "orthogonality_max_abs": 8.881784197001252e-16
    },
    {
      "T": 512,
      "predicted_mean": 0.9999492196682748,
      "mean_prediction_abs_error": 0.006510397835092552,
      "mean": 0.9934388218331822,
      "mean_abs_error": 0.24679200082426792,
      "std": 0.30397494970515937,
      "p95_abs_error": 0.5727224398537988,
      "mse": 0.09244381910719089,
      "std_over_haar_std": 1.00193692607272,
      "orthogonality_max_abs": 9.992007221626409e-16
    },
    {
      "T": 1024,
      "predicted_mean": 0.9999999840077277,
      "mean_prediction_abs_error": 0.001307790647278595,
      "mean": 0.9986921933604491,
      "mean_abs_error": 0.24711666118119982,
      "std": 0.3103349723771712,
      "p95_abs_error": 0.5850943407514426,
      "mse": 0.09630950543854609,
      "std_over_haar_std": 1.0229003033902562,
      "orthogonality_max_abs": 1.3322676295501878e-15
    }
  ],
  "prediction_checks": {
    "P1_max_defect_all_T": 1.3322676295501878e-15,
    "P2_mean_range": [
      0.838756991345252,
      1.0001193975028697
    ],
    "P2_max_abs_error_vs_analytic_mean": 0.01593885670077888,
    "P3_std_ratio_T0": 0.0,
    "P3_std_ratio_T8n": 1.00193692607272,
    "P3_std_ratio_T16n": 1.0229003033902562
  },
  "distortion": {
    "Kac": {
      "mean": 1.0477705918676499,
      "mean_abs_error": 0.26780808787389754,
      "std": 0.316543062652471,
      "p95_abs_error": 0.5413659929601528,
      "mse": 0.10248153996079176
    },
    "Gaussian": {
      "mean": 1.0469103647640492,
      "mean_abs_error": 0.27487495919301674,
      "std": 0.34031561980687786,
      "p95_abs_error": 0.6405946415592678,
      "mse": 0.1180153034068356
    },
    "Haar": {
      "mean": 1.0421004930962474,
      "mean_abs_error": 0.28978171718940077,
      "std": 0.3444372197218333,
      "p95_abs_error": 0.661808466356042,
      "mse": 0.12040944984865364
    }
  },
  "timing_seconds_per_batch": {
    "Kac_literal": 0.017296526397694835,
    "Gaussian_dense": 4.3902997276745737e-05,
    "Haar_dense_not_timed": 5.9994999901391566e-05
  },
  "storage": {
    "Kac_runtime_arrays_bytes": 12288,
    "Kac_explicit_i_j_theta_bytes": 8192,
    "dense_projection_bytes": 8192,
    "dense_full_orthogonal_bytes": 32768,
    "dense_full_over_explicit_triples": 4.0,
    "dense_projection_over_runtime_arrays": 0.6666666666666666
  }
}