{
  "schema": "AN04-spectral-algebra-finite-checks/v1",
  "passed": true,
  "script_sha256": "f7bdbbf9f1e16eecc51c056840fcfad80252e46c038175de552db420b357ea11",
  "source_sha256": "92412459ab0edf8365d459df736d92b0fc3b9057122ef26f3e85ff138e112f23",
  "checks": [
    {
      "name": "Nonorthogonal invariant chain projection in a mixed-length nilpotent matrix",
      "passed": true,
      "chain_lengths": [
        3,
        2,
        1
      ],
      "scope": "Exact conjugated six-dimensional matrix, mixed chain generator, full functional formula, idempotence, commutation, range and invariant kernel."
    },
    {
      "name": "Bezout splitting and oriented circle projection with unequal Jordan lengths",
      "passed": true,
      "contour_center": "5i",
      "contour_radius": "9/2",
      "angular_samples": 2048,
      "projection_residual": 1.7426445130667021e-13,
      "scope": "Exact annihilating polynomial and all three complementary projections; independent numerical resolvent integral selects the two upper generalized summands."
    }
  ],
  "general_theorems_certified_by_finite_checks": false
}