Recorded data and provenance for the associated calculation.

Download recorded JSON

timestamp2026-09-12T12:47:03.895288+00:00
execution_modenormal
checks2238
maximum_scaled_error4.344083672064847e-10
scopeFull-current and spatial checks for the convex localization identities. These are conditional mathematical identities, not an existence search. The textured field below is explicitly a trial field, not a stationary particle.
View complete data
{
  "timestamp": "2026-09-12T12:47:03.895288+00:00",
  "execution_mode": "normal",
  "checks": 2238,
  "maximum_scaled_error": 4.344083672064847e-10,
  "scope": "Full-current and spatial checks for the convex localization identities.\n\nThese are conditional mathematical identities, not an existence search.\nThe textured field below is explicitly a trial field, not a stationary particle.\n",
  "results": {
    "current_checks": [
      {
        "depth": 2,
        "degree": 2,
        "width": null,
        "interaction": 0.6294305370005229,
        "source_contraction": 1.258861074001046,
        "lower_insertion": 0.7081093541255881,
        "smallest_insertion_eigenvalue": 0.5960362508634806
      },
      {
        "depth": 2,
        "degree": 2,
        "width": 0.0,
        "interaction": 2.7461213420943538,
        "source_contraction": 2.746121342094354,
        "lower_insertion": 1.5446932549280734,
        "smallest_insertion_eigenvalue": 1.2873549972257967
      },
      {
        "depth": 2,
        "degree": 2,
        "width": 0.01,
        "interaction": 2.686777806648732,
        "source_contraction": 2.745465035488478,
        "lower_insertion": 1.5443240824622682,
        "smallest_insertion_eigenvalue": 1.2870538460635226
      },
      {
        "depth": 2,
        "degree": 2,
        "width": 0.4,
        "interaction": 1.2478019077021014,
        "source_contraction": 2.067959561167651,
        "lower_insertion": 1.1632272531568033,
        "smallest_insertion_eigenvalue": 0.9737761493339343
      },
      {
        "depth": 3,
        "degree": 3,
        "width": null,
        "interaction": 1.8587102231430679,
        "source_contraction": 3.717420446286136,
        "lower_insertion": 1.0289835344208067,
        "smallest_insertion_eigenvalue": 1.2325026176282785
      },
      {
        "depth": 3,
        "degree": 3,
        "width": 0.0,
        "interaction": 8.498375712631482,
        "source_contraction": 8.498375712631482,
        "lower_insertion": 2.360471193783977,
        "smallest_insertion_eigenvalue": 2.675383422325064
      },
      {
        "depth": 3,
        "degree": 3,
        "width": 0.01,
        "interaction": 8.30079641793705,
        "source_contraction": 8.495955774821999,
        "lower_insertion": 2.359791355358629,
        "smallest_insertion_eigenvalue": 2.6746299461878063
      },
      {
        "depth": 3,
        "degree": 3,
        "width": 0.4,
        "interaction": 3.712881441554838,
        "source_contraction": 6.204632743612152,
        "lower_insertion": 1.7194135158707657,
        "smallest_insertion_eigenvalue": 1.9721151375413717
      },
      {
        "depth": 6,
        "degree": 2,
        "width": null,
        "interaction": 3.3418283213615436,
        "source_contraction": 6.683656642723087,
        "lower_insertion": 0.9336220223411567,
        "smallest_insertion_eigenvalue": 1.9890376701676746
      },
      {
        "depth": 6,
        "degree": 2,
        "width": 0.0,
        "interaction": 13.600463209408712,
        "source_contraction": 13.600463209408709,
        "lower_insertion": 1.8920094843558237,
        "smallest_insertion_eigenvalue": 3.690583276729947
      },
      {
        "depth": 6,
        "degree": 2,
        "width": 0.01,
        "interaction": 13.323367869801345,
        "source_contraction": 13.59755918298903,
        "lower_insertion": 1.8916067723679961,
        "smallest_insertion_eigenvalue": 3.68985661790419
      },
      {
        "depth": 6,
        "degree": 2,
        "width": 0.4,
        "interaction": 6.437544114319044,
        "source_contraction": 10.499516621087606,
        "lower_insertion": 1.4619585488996139,
        "smallest_insertion_eigenvalue": 2.91161259360471
      },
      {
        "depth": 6,
        "degree": 5,
        "width": null,
        "interaction": 47.10487556856187,
        "source_contraction": 94.20975113712375,
        "lower_insertion": 15.16142478812509,
        "smallest_insertion_eigenvalue": 16.44600761193459
      },
      {
        "depth": 6,
        "degree": 5,
        "width": 0.0,
        "interaction": 208.32227217184936,
        "source_contraction": 208.32227217184936,
        "lower_insertion": 33.52346546769575,
        "smallest_insertion_eigenvalue": 35.92400770016319
      },
      {
        "depth": 6,
        "degree": 5,
        "width": 0.01,
        "interaction": 203.75362332372126,
        "source_contraction": 208.27093378931968,
        "lower_insertion": 33.515203462596986,
        "smallest_insertion_eigenvalue": 35.915153092846
      },
      {
        "depth": 6,
        "degree": 5,
        "width": 0.4,
        "interaction": 93.76679208360082,
        "source_contraction": 155.8643362404578,
        "lower_insertion": 25.08182789178351,
        "smallest_insertion_eigenvalue": 26.920944265025017
      },
      {
        "depth": 10,
        "degree": 2,
        "width": null,
        "interaction": 9.715308323244017,
        "source_contraction": 19.43061664648803,
        "lower_insertion": 1.9081596042510045,
        "smallest_insertion_eigenvalue": 11.648071720682694
      },
      {
        "depth": 10,
        "degree": 2,
        "width": 0.0,
        "interaction": 35.69703941371885,
        "source_contraction": 35.69703941371884,
        "lower_insertion": 3.498319327298952,
        "smallest_insertion_eigenvalue": 20.778823416989493
      },
      {
        "depth": 10,
        "degree": 2,
        "width": 0.01,
        "interaction": 35.04316957837142,
        "source_contraction": 35.690910317563265,
        "lower_insertion": 3.497720560491664,
        "smallest_insertion_eigenvalue": 20.775415737174693
      },
      {
        "depth": 10,
        "degree": 2,
        "width": 0.4,
        "interaction": 18.02505044149973,
        "source_contraction": 28.699470641204478,
        "lower_insertion": 2.8142451357798652,
        "smallest_insertion_eigenvalue": 16.849150000459364
      }
    ],
    "indefinite_controls": [
      {
        "depth": 3,
        "degree": 2,
        "width": 0.0,
        "scalar_trace": 1,
        "negative_insertion_eigenvalue": -3.0249223594996213
      },
      {
        "depth": 3,
        "degree": 2,
        "width": 0.2,
        "scalar_trace": 1,
        "negative_insertion_eigenvalue": -3.0283379529954457
      },
      {
        "depth": 3,
        "degree": 2,
        "width": 1.0,
        "scalar_trace": 1,
        "negative_insertion_eigenvalue": -2.96712783298822
      },
      {
        "depth": 5,
        "degree": 9,
        "width": 0.0,
        "scalar_trace": 1,
        "negative_insertion_eigenvalue": -893.8744045954157
      },
      {
        "depth": 5,
        "degree": 9,
        "width": 0.2,
        "scalar_trace": 1,
        "negative_insertion_eigenvalue": -890.3356611022443
      },
      {
        "depth": 5,
        "degree": 9,
        "width": 1.0,
        "scalar_trace": 1,
        "negative_insertion_eigenvalue": -816.1977224370034
      },
      {
        "depth": 6,
        "degree": 12,
        "width": 0.0,
        "scalar_trace": 1,
        "negative_insertion_eigenvalue": -8300.625973265718
      },
      {
        "depth": 6,
        "degree": 12,
        "width": 0.2,
        "scalar_trace": 1,
        "negative_insertion_eigenvalue": -8267.636808691532
      },
      {
        "depth": 6,
        "degree": 12,
        "width": 1.0,
        "scalar_trace": 1,
        "negative_insertion_eigenvalue": -7577.605909099503
      },
      {
        "depth": 6,
        "degree": 34,
        "width": 0.0,
        "scalar_trace": 1,
        "negative_insertion_eigenvalue": -1716574.273481533
      },
      {
        "depth": 6,
        "degree": 34,
        "width": 0.2,
        "scalar_trace": 1,
        "negative_insertion_eigenvalue": -1709748.9168702736
      },
      {
        "depth": 6,
        "degree": 34,
        "width": 1.0,
        "scalar_trace": 1,
        "negative_insertion_eigenvalue": -1567010.9577956111
      },
      {
        "depth": 10,
        "degree": 22,
        "width": 0.0,
        "scalar_trace": 1,
        "negative_insertion_eigenvalue": -28850749.35694261
      },
      {
        "depth": 10,
        "degree": 22,
        "width": 0.2,
        "scalar_trace": 1,
        "negative_insertion_eigenvalue": -28736034.208904553
      },
      {
        "depth": 10,
        "degree": 22,
        "width": 1.0,
        "scalar_trace": 1,
        "negative_insertion_eigenvalue": -26337010.578639373
      }
    ],
    "spatial_texture": [
      {
        "depth": 6,
        "degree": 1,
        "twist": -1.2,
        "canonical_norm": 93.01883004089942,
        "root_energy": 446.99913099820134,
        "kinetic": 38.21871426736439,
        "geometric_term": 38.2187142673644,
        "scope": "A trial field; its nonzero kinetic virial prevents calling it stationary"
      },
      {
        "depth": 6,
        "degree": 1,
        "twist": 0.0,
        "canonical_norm": 93.01883004089942,
        "root_energy": 446.9991309982014,
        "kinetic": 0.0,
        "geometric_term": 0.0,
        "scope": "A trial field; its nonzero kinetic virial prevents calling it stationary"
      },
      {
        "depth": 6,
        "degree": 1,
        "twist": 0.8,
        "canonical_norm": 93.01883004089942,
        "root_energy": 446.99913099820134,
        "kinetic": -25.479142844909596,
        "geometric_term": -25.4791428449096,
        "scope": "A trial field; its nonzero kinetic virial prevents calling it stationary"
      },
      {
        "depth": 6,
        "degree": 1,
        "twist": 1.2,
        "canonical_norm": 93.01883004089942,
        "root_energy": 446.99913099820134,
        "kinetic": -38.21871426736439,
        "geometric_term": -38.2187142673644,
        "scope": "A trial field; its nonzero kinetic virial prevents calling it stationary"
      }
    ]
  },
  "source_sha256": {
    "experiments/positive_current_localization_checks.py": "e846e7584d099b2a7d4b1934c9110ab4f12438df5fd344e3391b13fc6f739201",
    "experiments/graded_current_tower.py": "cf0f72cb6d078df086ec594550155d6518b00255ed46a16d669790edb093a602",
    "experiments/graded_current_actions.py": "fbfc3e01dc993a7850c37bbf1e6b19cd96bdf111652f54baf8d42bf28d79a1f1",
    "experiments/coherent_mode_algebra.py": "4fbcbb6a1fbaa5a1a7de387746eda4d00f69fe22bbdb1e906c8795f8bb786dff",
    "experiments/spatial_dirac_mode_checks.py": "116a9f6d0f3cbcf9ee2fbe7a762e09c113194a07591191dd6663f5bcb8364552"
  }
}