{
  "schema": "translation-oscillator-finite-consistency/v1",
  "checks": [
    {
      "label": "exact exterior CAR and physical Clifford signs d=1",
      "cases": 6,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=1 m=(-2,)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=1 m=(0,)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=1 m=(1,)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact exterior CAR and physical Clifford signs d=2",
      "cases": 24,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=2 m=(-2, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=2 m=(-2, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=2 m=(-2, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=2 m=(0, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=2 m=(0, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=2 m=(0, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=2 m=(1, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=2 m=(1, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=2 m=(1, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact exterior CAR and physical Clifford signs d=3",
      "cases": 54,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=3 m=(-2, -2, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=3 m=(-2, -2, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=3 m=(-2, -2, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=3 m=(-2, 0, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=3 m=(-2, 0, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=3 m=(-2, 0, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=3 m=(-2, 1, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=3 m=(-2, 1, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=3 m=(-2, 1, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=3 m=(0, -2, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=3 m=(0, -2, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=3 m=(0, -2, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=3 m=(0, 0, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=3 m=(0, 0, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=3 m=(0, 0, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=3 m=(0, 1, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=3 m=(0, 1, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=3 m=(0, 1, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=3 m=(1, -2, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=3 m=(1, -2, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=3 m=(1, -2, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=3 m=(1, 0, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=3 m=(1, 0, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=3 m=(1, 0, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=3 m=(1, 1, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=3 m=(1, 1, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=3 m=(1, 1, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact exterior CAR and physical Clifford signs d=4",
      "cases": 96,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(-2, -2, -2, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(-2, -2, -2, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(-2, -2, -2, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(-2, -2, 0, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(-2, -2, 0, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(-2, -2, 0, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(-2, -2, 1, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(-2, -2, 1, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(-2, -2, 1, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(-2, 0, -2, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(-2, 0, -2, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(-2, 0, -2, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(-2, 0, 0, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(-2, 0, 0, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(-2, 0, 0, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(-2, 0, 1, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(-2, 0, 1, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(-2, 0, 1, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(-2, 1, -2, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(-2, 1, -2, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(-2, 1, -2, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(-2, 1, 0, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(-2, 1, 0, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(-2, 1, 0, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(-2, 1, 1, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(-2, 1, 1, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(-2, 1, 1, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(0, -2, -2, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(0, -2, -2, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(0, -2, -2, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(0, -2, 0, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(0, -2, 0, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(0, -2, 0, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(0, -2, 1, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(0, -2, 1, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(0, -2, 1, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(0, 0, -2, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(0, 0, -2, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(0, 0, -2, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(0, 0, 0, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(0, 0, 0, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(0, 0, 0, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(0, 0, 1, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(0, 0, 1, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(0, 0, 1, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(0, 1, -2, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(0, 1, -2, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(0, 1, -2, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(0, 1, 0, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(0, 1, 0, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(0, 1, 0, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(0, 1, 1, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(0, 1, 1, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(0, 1, 1, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(1, -2, -2, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(1, -2, -2, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(1, -2, -2, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(1, -2, 0, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(1, -2, 0, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(1, -2, 0, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(1, -2, 1, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(1, -2, 1, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(1, -2, 1, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(1, 0, -2, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(1, 0, -2, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(1, 0, -2, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(1, 0, 0, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(1, 0, 0, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(1, 0, 0, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(1, 0, 1, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(1, 0, 1, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(1, 0, 1, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(1, 1, -2, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(1, 1, -2, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(1, 1, -2, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(1, 1, 0, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(1, 1, 0, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(1, 1, 0, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(1, 1, 1, -2)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(1, 1, 1, 0)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact translation-potential square d=4 m=(1, 1, 1, 1)",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "whole invariant energy block d=1 k=0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "whole invariant energy block d=1 k=1",
      "cases": 2,
      "passed": true,
      "maximum_residual": 4.440892098500626e-16
    },
    {
      "label": "whole invariant energy block d=1 k=2",
      "cases": 2,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "whole invariant energy block d=1 k=3",
      "cases": 2,
      "passed": true,
      "maximum_residual": 8.881784197001252e-16
    },
    {
      "label": "whole invariant energy block d=1 k=4",
      "cases": 2,
      "passed": true,
      "maximum_residual": 1.7763568394002505e-15
    },
    {
      "label": "whole invariant energy block d=1 k=5",
      "cases": 2,
      "passed": true,
      "maximum_residual": 1.7763568394002505e-15
    },
    {
      "label": "whole invariant energy block d=2 k=0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "exact d2 display multiplicity k=0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "whole invariant energy block d=2 k=1",
      "cases": 4,
      "passed": true,
      "maximum_residual": 4.440892098500626e-16
    },
    {
      "label": "exact d2 display multiplicity k=1",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "whole invariant energy block d=2 k=2",
      "cases": 8,
      "passed": true,
      "maximum_residual": 8.881784197001252e-16
    },
    {
      "label": "exact d2 display multiplicity k=2",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "whole invariant energy block d=2 k=3",
      "cases": 12,
      "passed": true,
      "maximum_residual": 8.881784197001252e-16
    },
    {
      "label": "exact d2 display multiplicity k=3",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "whole invariant energy block d=2 k=4",
      "cases": 16,
      "passed": true,
      "maximum_residual": 1.7763568394002505e-15
    },
    {
      "label": "exact d2 display multiplicity k=4",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "whole invariant energy block d=2 k=5",
      "cases": 20,
      "passed": true,
      "maximum_residual": 1.7763568394002505e-15
    },
    {
      "label": "exact d2 display multiplicity k=5",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "whole invariant energy block d=3 k=0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "whole invariant energy block d=3 k=1",
      "cases": 6,
      "passed": true,
      "maximum_residual": 4.440892098500626e-16
    },
    {
      "label": "whole invariant energy block d=3 k=2",
      "cases": 18,
      "passed": true,
      "maximum_residual": 8.881784197001252e-16
    },
    {
      "label": "whole invariant energy block d=3 k=3",
      "cases": 38,
      "passed": true,
      "maximum_residual": 8.881784197001252e-16
    },
    {
      "label": "whole invariant energy block d=3 k=4",
      "cases": 66,
      "passed": true,
      "maximum_residual": 1.7763568394002505e-15
    },
    {
      "label": "whole invariant energy block d=3 k=5",
      "cases": 102,
      "passed": true,
      "maximum_residual": 1.7763568394002505e-15
    },
    {
      "label": "normal product square and exact positivity k=1 nu=-100.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 4.440892098500626e-15
    },
    {
      "label": "normal product square and exact positivity k=1 nu=-3.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 2.220446049250313e-16
    },
    {
      "label": "normal product square and exact positivity k=1 nu=-1.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 4.440892098500626e-16
    },
    {
      "label": "normal product square and exact positivity k=1 nu=0.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 4.440892098500626e-16
    },
    {
      "label": "normal product square and exact positivity k=1 nu=0.2",
      "cases": 1,
      "passed": true,
      "maximum_residual": 4.440892098500626e-16
    },
    {
      "label": "normal product square and exact positivity k=1 nu=1.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 4.440892098500626e-16
    },
    {
      "label": "normal product square and exact positivity k=1 nu=3.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 2.220446049250313e-16
    },
    {
      "label": "normal product square and exact positivity k=1 nu=100.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 4.440892098500626e-15
    },
    {
      "label": "finite creation-connection tail samples k=1",
      "cases": 4,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "normal product square and exact positivity k=2 nu=-100.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "normal product square and exact positivity k=2 nu=-3.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "normal product square and exact positivity k=2 nu=-1.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "normal product square and exact positivity k=2 nu=0.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "normal product square and exact positivity k=2 nu=0.2",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "normal product square and exact positivity k=2 nu=1.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "normal product square and exact positivity k=2 nu=3.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "normal product square and exact positivity k=2 nu=100.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "finite creation-connection tail samples k=2",
      "cases": 4,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "normal product square and exact positivity k=3 nu=-100.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 3.552713678800501e-15
    },
    {
      "label": "normal product square and exact positivity k=3 nu=-3.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 1.7763568394002505e-15
    },
    {
      "label": "normal product square and exact positivity k=3 nu=-1.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 8.881784197001252e-16
    },
    {
      "label": "normal product square and exact positivity k=3 nu=0.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 8.881784197001252e-16
    },
    {
      "label": "normal product square and exact positivity k=3 nu=0.2",
      "cases": 1,
      "passed": true,
      "maximum_residual": 8.881784197001252e-16
    },
    {
      "label": "normal product square and exact positivity k=3 nu=1.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 8.881784197001252e-16
    },
    {
      "label": "normal product square and exact positivity k=3 nu=3.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 1.7763568394002505e-15
    },
    {
      "label": "normal product square and exact positivity k=3 nu=100.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 3.552713678800501e-15
    },
    {
      "label": "finite creation-connection tail samples k=3",
      "cases": 4,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "normal product square and exact positivity k=4 nu=-100.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 8.881784197001252e-15
    },
    {
      "label": "normal product square and exact positivity k=4 nu=-3.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 4.440892098500626e-16
    },
    {
      "label": "normal product square and exact positivity k=4 nu=-1.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 1.7763568394002505e-15
    },
    {
      "label": "normal product square and exact positivity k=4 nu=0.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 1.7763568394002505e-15
    },
    {
      "label": "normal product square and exact positivity k=4 nu=0.2",
      "cases": 1,
      "passed": true,
      "maximum_residual": 1.7763568394002505e-15
    },
    {
      "label": "normal product square and exact positivity k=4 nu=1.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 1.7763568394002505e-15
    },
    {
      "label": "normal product square and exact positivity k=4 nu=3.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 4.440892098500626e-16
    },
    {
      "label": "normal product square and exact positivity k=4 nu=100.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 8.881784197001252e-15
    },
    {
      "label": "finite creation-connection tail samples k=4",
      "cases": 4,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "normal product square and exact positivity k=5 nu=-100.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 8.881784197001252e-15
    },
    {
      "label": "normal product square and exact positivity k=5 nu=-3.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 4.440892098500626e-16
    },
    {
      "label": "normal product square and exact positivity k=5 nu=-1.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 1.7763568394002505e-15
    },
    {
      "label": "normal product square and exact positivity k=5 nu=0.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 1.7763568394002505e-15
    },
    {
      "label": "normal product square and exact positivity k=5 nu=0.2",
      "cases": 1,
      "passed": true,
      "maximum_residual": 1.7763568394002505e-15
    },
    {
      "label": "normal product square and exact positivity k=5 nu=1.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 1.7763568394002505e-15
    },
    {
      "label": "normal product square and exact positivity k=5 nu=3.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 4.440892098500626e-16
    },
    {
      "label": "normal product square and exact positivity k=5 nu=100.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 8.881784197001252e-15
    },
    {
      "label": "finite creation-connection tail samples k=5",
      "cases": 4,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "normal product square and exact positivity k=6 nu=-100.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 1.0658141036401503e-14
    },
    {
      "label": "normal product square and exact positivity k=6 nu=-3.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 8.881784197001252e-16
    },
    {
      "label": "normal product square and exact positivity k=6 nu=-1.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 1.7763568394002505e-15
    },
    {
      "label": "normal product square and exact positivity k=6 nu=0.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 1.7763568394002505e-15
    },
    {
      "label": "normal product square and exact positivity k=6 nu=0.2",
      "cases": 1,
      "passed": true,
      "maximum_residual": 1.7763568394002505e-15
    },
    {
      "label": "normal product square and exact positivity k=6 nu=1.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 1.7763568394002505e-15
    },
    {
      "label": "normal product square and exact positivity k=6 nu=3.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 8.881784197001252e-16
    },
    {
      "label": "normal product square and exact positivity k=6 nu=100.0",
      "cases": 1,
      "passed": true,
      "maximum_residual": 1.0658141036401503e-14
    },
    {
      "label": "finite creation-connection tail samples k=6",
      "cases": 4,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "dimension-one full adjoint block at paired energy 1",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "dimension-one full adjoint block at paired energy 2",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "dimension-one full adjoint block at paired energy 3",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "dimension-one full adjoint block at paired energy 4",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "dimension-one full adjoint block at paired energy 5",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "dimension-one full adjoint block at paired energy 6",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "dimension-one full adjoint block at paired energy 7",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "dimension-one full adjoint block at paired energy 8",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "dimension-one full adjoint block at paired energy 9",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "dimension-one full adjoint block at paired energy 10",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "dimension-one full adjoint block at paired energy 11",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "dimension-one full adjoint block at paired energy 12",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "dimension-one full adjoint block at paired energy 13",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "dimension-one full adjoint block at paired energy 14",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "dimension-one full adjoint block at paired energy 15",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "dimension-one full adjoint block at paired energy 16",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "dimension-one full adjoint block at paired energy 17",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "dimension-one full adjoint block at paired energy 18",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "dimension-one full adjoint block at paired energy 19",
      "cases": 1,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "all 26 unique ordered equation tags",
      "cases": 26,
      "passed": true,
      "maximum_residual": 0.0
    },
    {
      "label": "all complete solutions and 16+14+20=50 rubrics",
      "cases": 3,
      "passed": true,
      "maximum_residual": 0.0
    }
  ],
  "all_passed": true,
  "energy_counts": [
    {
      "d": 1,
      "k": 0,
      "dimension": 1,
      "even": 1,
      "odd": 0
    },
    {
      "d": 1,
      "k": 1,
      "dimension": 2,
      "even": 1,
      "odd": 1
    },
    {
      "d": 1,
      "k": 2,
      "dimension": 2,
      "even": 1,
      "odd": 1
    },
    {
      "d": 1,
      "k": 3,
      "dimension": 2,
      "even": 1,
      "odd": 1
    },
    {
      "d": 1,
      "k": 4,
      "dimension": 2,
      "even": 1,
      "odd": 1
    },
    {
      "d": 1,
      "k": 5,
      "dimension": 2,
      "even": 1,
      "odd": 1
    },
    {
      "d": 2,
      "k": 0,
      "dimension": 1,
      "even": 1,
      "odd": 0
    },
    {
      "d": 2,
      "k": 1,
      "dimension": 4,
      "even": 2,
      "odd": 2
    },
    {
      "d": 2,
      "k": 2,
      "dimension": 8,
      "even": 4,
      "odd": 4
    },
    {
      "d": 2,
      "k": 3,
      "dimension": 12,
      "even": 6,
      "odd": 6
    },
    {
      "d": 2,
      "k": 4,
      "dimension": 16,
      "even": 8,
      "odd": 8
    },
    {
      "d": 2,
      "k": 5,
      "dimension": 20,
      "even": 10,
      "odd": 10
    },
    {
      "d": 3,
      "k": 0,
      "dimension": 1,
      "even": 1,
      "odd": 0
    },
    {
      "d": 3,
      "k": 1,
      "dimension": 6,
      "even": 3,
      "odd": 3
    },
    {
      "d": 3,
      "k": 2,
      "dimension": 18,
      "even": 9,
      "odd": 9
    },
    {
      "d": 3,
      "k": 3,
      "dimension": 38,
      "even": 19,
      "odd": 19
    },
    {
      "d": 3,
      "k": 4,
      "dimension": 66,
      "even": 33,
      "odd": 33
    },
    {
      "d": 3,
      "k": 5,
      "dimension": 102,
      "even": 51,
      "odd": 51
    }
  ],
  "proof_replacement": false,
  "limits": "Finite CAR/energy/product samples and body structure only. Completeness, completed domains, scalar compactness, reduced norms, graph identification, class equality and pairing are proved in the complete Section 11E body. These finite checks do not replace its proofs.",
  "arbitrary_groupoid_target_closed": false
}