{
  "timestamp_utc": "2026-10-13T21:20:33.947151+00:00",
  "passed": true,
  "count": 41,
  "checks": [
    "boost H 0",
    "boost momentum 00",
    "boost bracket 00",
    "covariant center 00",
    "boost momentum 01",
    "boost bracket 01",
    "covariant center 01",
    "boost momentum 02",
    "boost bracket 02",
    "covariant center 02",
    "boost H 1",
    "boost momentum 10",
    "boost bracket 10",
    "covariant center 10",
    "boost momentum 11",
    "boost bracket 11",
    "covariant center 11",
    "boost momentum 12",
    "boost bracket 12",
    "covariant center 12",
    "boost H 2",
    "boost momentum 20",
    "boost bracket 20",
    "covariant center 20",
    "boost momentum 21",
    "boost bracket 21",
    "covariant center 21",
    "boost momentum 22",
    "boost bracket 22",
    "covariant center 22",
    "mean branch energy",
    "quadratic slope",
    "relative phase frequency",
    "Lorentz factor",
    "Hermite Fourier overlap",
    "tilted norm coefficient",
    "tilted centroid coefficient",
    "tilted norm differs from N/gamma",
    "h0 full source frequency",
    "h4 full source frequency",
    "nonstationary example lies inside same trapping barrier"
  ],
  "counterexample": {
    "d": 2,
    "mu": "1/7",
    "Ka": "2",
    "W": "6/7",
    "relative_frequency": "2",
    "v": "3/5",
    "gamma": "5/4",
    "norm_modulation_exact": "27*sqrt(6)*exp(-9/25)/625",
    "norm_modulation_decimal": 0.07382668339412536,
    "formula": "N_lab(t)=(4N/5)*(1+I*cos(8t/5))"
  },
  "code_sha256": "cd4c419f27da44aedb17a3c30741f96a9e781cf11918e71d86bdabd470554994"
}