{
  "status": "all_checks_passed",
  "arithmetic": "exact rational for finite state sums and schedules",
  "bf_equalities_checked": 400,
  "groups": [
    "Z2",
    "Z3",
    "Z2xZ2",
    "S3"
  ],
  "models": [
    {
      "model": "fixed_retained_operator",
      "alpha": "1/4",
      "beta": "-1/4",
      "plaquette_weights": [
        "1",
        "3/2",
        "1/2",
        "1"
      ],
      "transfer_eigenvalues": [
        "1",
        "1/4",
        "-1/4",
        "0"
      ],
      "retained_one_step": [
        "1",
        "0"
      ],
      "retained_two_step": [
        "1",
        "1/16"
      ],
      "residual_two_step": "1/16",
      "retained_one_step_is_fixed": true,
      "ordered_schedules_checked": 1023
    },
    {
      "model": "positive_semidefinite_transfer",
      "alpha": "3/8",
      "beta": "1/8",
      "plaquette_weights": [
        "3/2",
        "5/4",
        "3/4",
        "1/2"
      ],
      "transfer_eigenvalues": [
        "1",
        "3/8",
        "1/8",
        "0"
      ],
      "retained_one_step": [
        "1",
        "1/4"
      ],
      "retained_two_step": [
        "1",
        "5/64"
      ],
      "residual_two_step": "1/64",
      "retained_one_step_is_fixed": false,
      "ordered_schedules_checked": 1023
    }
  ],
  "residual_pairs_checked": 72,
  "ordered_schedules_checked": 2046,
  "interface_channels_plotted": 64,
  "test_graph_max_vertices": 64,
  "matched_models": {
    "models_checked": 2,
    "arithmetic": "exact rational",
    "one_step_operators_equal": true,
    "two_step_difference": "1/64",
    "residuals": {
      "A": "1/64",
      "B": "0"
    }
  },
  "graph_and_channel_checks": {
    "path_spectra_checked": 63,
    "complete_graph_spectra_checked": 63,
    "vertex_range": [
      2,
      64
    ],
    "independent_channel_matrices_checked": 7
  },
  "sharpness_witnesses_checked": 15,
  "python_version": "3.13.12",
  "numpy_version": "2.3.5",
  "matplotlib_version": "3.10.8"
}