{
  "density": [
    0.2,
    0.8
  ],
  "log_spectral_ratio": -1.3862943611198906,
  "real_time_period": 4.532360141827194,
  "upper_strip": "G(z)=(1/5) exp(-i z log 4)",
  "height_radii": [
    {
      "s": 0,
      "radius": 0.2
    },
    {
      "s": 0.5,
      "radius": 0.4
    },
    {
      "s": 1,
      "radius": 0.8
    }
  ],
  "maximum_log_convexity_error": 3.3306690738754696e-16,
  "proof": "KMS-FIGURE.md; KT1\u2013KT7; KU9\u2013KU14",
  "interpretation": "Complete exact M2 scalar coefficient; phase labels are continuous unwrapped phases, not principal arguments."
}