{
  "reports": [
    {
      "J": 5,
      "L": 20,
      "M_source": "derived_from_E_D",
      "P": 37,
      "directions": {
        "X": {
          "cyclic_orbit_completion": {
            "attempts": [
              {
                "finite_label_audit": {
                  "boundary": false,
                  "components": 1,
                  "distance_upper_bound": 20,
                  "exponents": [
                    0,
                    8,
                    2,
                    16,
                    15,
                    32,
                    25,
                    27,
                    15,
                    13,
                    9,
                    10,
                    1,
                    25,
                    30,
                    34,
                    14,
                    10,
                    33,
                    2
                  ],
                  "nontrivial_logical": true,
                  "solvable": true,
                  "support": [
                    0,
                    75,
                    98,
                    105,
                    154,
                    207,
                    246,
                    253,
                    423,
                    444,
                    448,
                    476,
                    489,
                    551,
                    557,
                    570,
                    581,
                    702,
                    719,
                    732
                  ],
                  "syndrome_zero": true,
                  "weight": 20
                },
                "labels": [
                  1,
                  2,
                  8,
                  5,
                  3
                ],
                "rational_extension": {
                  "augmented_nullity": 48,
                  "base_nullity": 47,
                  "fiber_nullity": 1,
                  "projection_codimension": 0,
                  "projection_dimension": 47,
                  "universal_extension": true
                }
              }
            ],
            "complete": true,
            "geometry": {
              "bipartition": [
                [
                  0,
                  1,
                  2,
                  3,
                  4,
                  5,
                  6,
                  7,
                  8,
                  9
                ],
                [
                  10,
                  11,
                  12,
                  13,
                  14,
                  15,
                  16,
                  17,
                  18,
                  19
                ]
              ],
              "complete": true,
              "half": 10,
              "labels": [
                [
                  0,
                  1,
                  7,
                  4,
                  2
                ],
                [
                  9,
                  0,
                  6,
                  3,
                  1
                ],
                [
                  3,
                  4,
                  0,
                  7,
                  5
                ],
                [
                  8,
                  9,
                  5,
                  2,
                  0
                ],
                [
                  4,
                  5,
                  1,
                  8,
                  6
                ]
              ],
              "reason": null
            },
            "reason": null,
            "translate_candidates": {
              "base": [
                0,
                1,
                7,
                4,
                2
              ],
              "existing": [
                [
                  0,
                  1,
                  7,
                  4,
                  2
                ],
                [
                  3,
                  4,
                  0,
                  7,
                  5
                ],
                [
                  4,
                  5,
                  1,
                  8,
                  6
                ],
                [
                  8,
                  9,
                  5,
                  2,
                  0
                ],
                [
                  9,
                  0,
                  6,
                  3,
                  1
                ]
              ],
              "missing": [
                [
                  1,
                  2,
                  8,
                  5,
                  3
                ],
                [
                  2,
                  3,
                  9,
                  6,
                  4
                ],
                [
                  5,
                  6,
                  2,
                  9,
                  7
                ],
                [
                  6,
                  7,
                  3,
                  0,
                  8
                ],
                [
                  7,
                  8,
                  4,
                  1,
                  9
                ]
              ]
            },
            "universal_extension": true,
            "witness": {
              "finite_label_audit": {
                "boundary": false,
                "components": 1,
                "distance_upper_bound": 20,
                "exponents": [
                  0,
                  8,
                  2,
                  16,
                  15,
                  32,
                  25,
                  27,
                  15,
                  13,
                  9,
                  10,
                  1,
                  25,
                  30,
                  34,
                  14,
                  10,
                  33,
                  2
                ],
                "nontrivial_logical": true,
                "solvable": true,
                "support": [
                  0,
                  75,
                  98,
                  105,
                  154,
                  207,
                  246,
                  253,
                  423,
                  444,
                  448,
                  476,
                  489,
                  551,
                  557,
                  570,
                  581,
                  702,
                  719,
                  732
                ],
                "syndrome_zero": true,
                "weight": 20
              },
              "labels": [
                1,
                2,
                8,
                5,
                3
              ],
              "rational_extension": {
                "augmented_nullity": 48,
                "base_nullity": 47,
                "fiber_nullity": 1,
                "projection_codimension": 0,
                "projection_dimension": 47,
                "universal_extension": true
              }
            }
          },
          "forced_weight_L_kernel_transversal": true,
          "rational_extension": null,
          "unique_bipartite_completion": {
            "complete": false,
            "fixed_rows": [],
            "reason": "unique-complement geometry requires J=L/2-1",
            "required_J": 9
          }
        },
        "Z": {
          "cyclic_orbit_completion": {
            "attempts": [
              {
                "finite_label_audit": {
                  "boundary": false,
                  "components": 1,
                  "distance_upper_bound": 20,
                  "exponents": [
                    0,
                    31,
                    9,
                    13,
                    26,
                    1,
                    9,
                    22,
                    19,
                    7,
                    16,
                    7,
                    7,
                    25,
                    34,
                    20,
                    8,
                    21,
                    17,
                    34
                  ],
                  "nontrivial_logical": true,
                  "solvable": true,
                  "support": [
                    0,
                    74,
                    79,
                    121,
                    224,
                    253,
                    307,
                    337,
                    355,
                    368,
                    418,
                    430,
                    483,
                    562,
                    566,
                    596,
                    609,
                    611,
                    612,
                    725
                  ],
                  "syndrome_zero": true,
                  "weight": 20
                },
                "labels": [
                  3,
                  2,
                  6,
                  1,
                  7
                ],
                "rational_extension": {
                  "augmented_nullity": 48,
                  "base_nullity": 47,
                  "fiber_nullity": 1,
                  "projection_codimension": 0,
                  "projection_dimension": 47,
                  "universal_extension": true
                }
              }
            ],
            "complete": true,
            "geometry": {
              "bipartition": [
                [
                  0,
                  1,
                  2,
                  3,
                  4,
                  5,
                  6,
                  7,
                  8,
                  9
                ],
                [
                  10,
                  11,
                  12,
                  13,
                  14,
                  15,
                  16,
                  17,
                  18,
                  19
                ]
              ],
              "complete": true,
              "half": 10,
              "labels": [
                [
                  0,
                  1,
                  7,
                  4,
                  2
                ],
                [
                  9,
                  0,
                  6,
                  3,
                  1
                ],
                [
                  3,
                  4,
                  0,
                  7,
                  5
                ],
                [
                  8,
                  9,
                  5,
                  2,
                  0
                ],
                [
                  4,
                  5,
                  1,
                  8,
                  6
                ]
              ],
              "reason": null
            },
            "reason": null,
            "translate_candidates": {
              "base": [
                0,
                9,
                3,
                8,
                4
              ],
              "existing": [
                [
                  0,
                  9,
                  3,
                  8,
                  4
                ],
                [
                  1,
                  0,
                  4,
                  9,
                  5
                ],
                [
                  2,
                  1,
                  5,
                  0,
                  6
                ],
                [
                  4,
                  3,
                  7,
                  2,
                  8
                ],
                [
                  7,
                  6,
                  0,
                  5,
                  1
                ]
              ],
              "missing": [
                [
                  3,
                  2,
                  6,
                  1,
                  7
                ],
                [
                  5,
                  4,
                  8,
                  3,
                  9
                ],
                [
                  6,
                  5,
                  9,
                  4,
                  0
                ],
                [
                  8,
                  7,
                  1,
                  6,
                  2
                ],
                [
                  9,
                  8,
                  2,
                  7,
                  3
                ]
              ]
            },
            "universal_extension": true,
            "witness": {
              "finite_label_audit": {
                "boundary": false,
                "components": 1,
                "distance_upper_bound": 20,
                "exponents": [
                  0,
                  31,
                  9,
                  13,
                  26,
                  1,
                  9,
                  22,
                  19,
                  7,
                  16,
                  7,
                  7,
                  25,
                  34,
                  20,
                  8,
                  21,
                  17,
                  34
                ],
                "nontrivial_logical": true,
                "solvable": true,
                "support": [
                  0,
                  74,
                  79,
                  121,
                  224,
                  253,
                  307,
                  337,
                  355,
                  368,
                  418,
                  430,
                  483,
                  562,
                  566,
                  596,
                  609,
                  611,
                  612,
                  725
                ],
                "syndrome_zero": true,
                "weight": 20
              },
              "labels": [
                3,
                2,
                6,
                1,
                7
              ],
              "rational_extension": {
                "augmented_nullity": 48,
                "base_nullity": 47,
                "fiber_nullity": 1,
                "projection_codimension": 0,
                "projection_dimension": 47,
                "universal_extension": true
              }
            }
          },
          "forced_weight_L_kernel_transversal": true,
          "rational_extension": null,
          "unique_bipartite_completion": {
            "complete": false,
            "fixed_rows": [],
            "reason": "unique-complement geometry requires J=L/2-1",
            "required_J": 9
          }
        }
      },
      "distance_upper_bound": 20,
      "finite_nontrivial_logical_sides": [
        "X",
        "Z"
      ],
      "forced_kernel_transversal_sides": [
        "X",
        "Z"
      ],
      "record_id": "PP37J5L20",
      "schema": "pp-forced-transversal-audit-v1",
      "scope": "A universal weight-L kernel transversal is present on the listed sides."
    }
  ]
}