Recorded data and provenance for the associated calculation.

Download recorded JSON

timestamp20261014T054920Z
statuspassed
source_sha2560c1f2df188dcc5e543ea4a82b12b0035a2504000cabe4d037698f900c0974076
scopeExact variable-coefficient 2D tensor identities; finite-energy chain rule is an analytic argument.
View complete data
{
  "timestamp": "20261014T054920Z",
  "status": "passed",
  "exact_checks": [
    "complete density flux",
    "canonical current component 0",
    "canonical current component 1",
    "nonlinear transport cancellation"
  ],
  "source_sha256": "0c1f2df188dcc5e543ea4a82b12b0035a2504000cabe4d037698f900c0974076",
  "scope": "Exact variable-coefficient 2D tensor identities; finite-energy chain rule is an analytic argument."
}