Recorded data and provenance for the associated calculation.

Download recorded JSON

timestamp_utc2026-10-13T21:20:33.947151+00:00
passedtrue
count41
code_sha256cd4c419f27da44aedb17a3c30741f96a9e781cf11918e71d86bdabd470554994
View complete data
{
  "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"
}