Recorded data and provenance for the associated calculation.

Download recorded JSON

created2026-10-13T23:02:46.941220+00:00
passedtrue
checks20
scopeExact algebra only; all compact variation proof is in shape-frequency-mobility.md.
View complete data
{
  "created": "2026-10-13T23:02:46.941220+00:00",
  "passed": true,
  "checks": 20,
  "conditions": [
    "Euler identity",
    "density Hessian null 0",
    "density Hessian null 1",
    "branch frequency (-1/2, 0)",
    "complete variation (-1/2, 0)",
    "branch frequency (-1/2, 1)",
    "complete variation (-1/2, 1)",
    "branch frequency (1/2, 0)",
    "complete variation (1/2, 0)",
    "branch frequency (1/2, 1)",
    "complete variation (1/2, 1)",
    "full amplitude derivative before Hessian cancellation",
    "velocity",
    "rest inertia",
    "comoving frequency",
    "canonical sign",
    "response width 3/4",
    "input width 3/4",
    "response width 15/4",
    "input width 15/4"
  ],
  "sources": {
    "experiments/shape-frequency-mobility-review.py": "f2fe7fd994b1449f372128a7ad20fc37e00fb5fbee804709bddf63f7baa70a1b"
  },
  "scope": "Exact algebra only; all compact variation proof is in shape-frequency-mobility.md."
}