1{
  2  "seed": 2784,
  3  "verification": {
  4    "entrywise_bound": {
  5      "trials": 5000,
  6      "max_violation": 0.0,
  7      "max_absA_over_P": 0.9999999999999993
  8    },
  9    "phase_cancellation": [
 10      {
 11        "theta": 0.0,
 12        "predicted_ratio": 1.0,
 13        "observed_ratio": 1.0
 14      },
 15      {
 16        "theta": 0.39269908169872414,
 17        "predicted_ratio": 0.9807852804032304,
 18        "observed_ratio": 0.9807852804032304
 19      },
 20      {
 21        "theta": 0.7853981633974483,
 22        "predicted_ratio": 0.9238795325112867,
 23        "observed_ratio": 0.9238795325112867
 24      },
 25      {
 26        "theta": 1.1780972450961724,
 27        "predicted_ratio": 0.8314696123025452,
 28        "observed_ratio": 0.8314696123025452
 29      },
 30      {
 31        "theta": 1.5707963267948966,
 32        "predicted_ratio": 0.7071067811865476,
 33        "observed_ratio": 0.7071067811865476
 34      },
 35      {
 36        "theta": 1.9634954084936207,
 37        "predicted_ratio": 0.5555702330196023,
 38        "observed_ratio": 0.5555702330196022
 39      },
 40      {
 41        "theta": 2.356194490192345,
 42        "predicted_ratio": 0.38268343236508984,
 43        "observed_ratio": 0.3826834323650898
 44      },
 45      {
 46        "theta": 2.748893571891069,
 47        "predicted_ratio": 0.19509032201612833,
 48        "observed_ratio": 0.19509032201612833
 49      },
 50      {
 51        "theta": 3.141592653589793,
 52        "predicted_ratio": 6.123233995736766e-17,
 53        "observed_ratio": 6.123233995736766e-17
 54      }
 55    ],
 56    "growth_thresholds": [
 57      {
 58        "theta": 0.0,
 59        "predicted_envelope_gamma": 0.5,
 60        "observed_envelope_gamma": 0.5,
 61        "predicted_actual_gamma": 0.5,
 62        "observed_actual_gamma": 0.5,
 63        "cancellation_factor": 1.0
 64      },
 65      {
 66        "theta": 1.5707963267948966,
 67        "predicted_envelope_gamma": 0.5,
 68        "observed_envelope_gamma": 0.5,
 69        "predicted_actual_gamma": 0.7071067811865475,
 70        "observed_actual_gamma": 0.71,
 71        "cancellation_factor": 0.7071067811865476
 72      },
 73      {
 74        "theta": 2.827433388230814,
 75        "predicted_envelope_gamma": 0.5,
 76        "observed_envelope_gamma": 0.5,
 77        "predicted_actual_gamma": 3.1962266107498296,
 78        "observed_actual_gamma": 3.2,
 79        "cancellation_factor": 0.15643446504023092
 80      },
 81      {
 82        "theta": 3.141592653589793,
 83        "predicted_envelope_gamma": 0.5,
 84        "observed_envelope_gamma": 0.5,
 85        "predicted_actual_gamma": 8165619676597685.0,
 86        "observed_actual_gamma": null,
 87        "cancellation_factor": 6.123233995736766e-17
 88      }
 89    ]
 90  },
 91  "benchmark": {
 92    "baseline": {
 93      "final_train_loss": 9.113005461358625e-09,
 94      "long_rollout_rmse": 0.00010190125613007694,
 95      "unstable_steps": 0,
 96      "rho_A": 0.4814079999923706,
 97      "rho_P": 1.3657119267105102,
 98      "seconds": 14.039320397991105,
 99      "device": "cuda"
100    },
101    "envelope": {
102      "final_train_loss": 8.538332707530571e-09,
103      "long_rollout_rmse": 9.614083683118224e-05,
104      "unstable_steps": 0,
105      "rho_A": 0.6018708348274231,
106      "rho_P": 0.6356999397836786,
107      "seconds": 14.911850620002951,
108      "device": "cuda"
109    }
110  }
111}