{
  "status": "PASS",
  "checks": 43611,
  "groups": {
    "displayed_tree_triangle_law": 2,
    "impossible_independent_cycle_edges": 1,
    "tree_independent_edge_exact_probability": 378,
    "tree_root_edge_bijection": 18,
    "triangle_first_certified_step_83": 1,
    "positive_normalized_finite_law": 81,
    "individual_Gibbs_stationarity": 234,
    "local_odds_match_full_conditional": 2538,
    "single_site_detailed_balance": 2538,
    "conditional_telescoping_influence": 33444,
    "all_subset_TV_budget_after_scan": 2952,
    "weighted_cube_coordinate_coupling_cost": 30,
    "nonuniform_refresh_slowest_coordinate": 10,
    "weighted_star_row_ratios": 1,
    "weighted_star_contraction_37_40": 1,
    "weighted_star_geometric_budget": 101,
    "zero_middle_mass_gluing_first_marginal": 294,
    "zero_middle_mass_gluing_second_marginal": 294,
    "asymmetric_star_exact_influence": 1,
    "star_stationary_center": 1,
    "center_first_budget": 1,
    "leaves_first_budget": 1,
    "center_first_actual_bias": 1,
    "leaves_first_binomial_conditional_mixture": 1,
    "leaves_first_actual_bias": 1,
    "fixed_suffix_doubling_coalescence": 4,
    "monotone_extremes_bound_every_state": 32,
    "eight_record_output": 1,
    "ferromagnetic_map_monotonicity_including_ties": 567,
    "three_site_synchronizing_word": 1,
    "synchronizing_word_expected_horizon_bound": 1,
    "two_state_exact_stationarity": 2,
    "CFTP_unresolved_history_exact_mass": 30,
    "fixed_endpoint_partial_history_brackets_stationary_mass": 30,
    "forward_first_coalescence_and_fast_sample_selection_bias": 1,
    "CFTP_even_odd_suffix_exact_geometric_sum": 1,
    "noncoalescing_maps_same_mixing_kernel": 4,
    "identity_swap_composition_closure": 4,
    "parallel_old_state_updates_destroy_target_correlation": 1,
    "state_dependent_scan_breaks_invariance": 1,
    "invalid_model_or_scan_rejected": 6
  },
  "arithmetic": "fractions.Fraction; explicit exception checks also run under python -O",
  "scope": "Finite enumerations and exact certificates for the stated models; no simulation claim and no bit-cost bound.",
  "tree_cycle": {
    "tree": {
      "Z_tilde": "32",
      "correlation_13": "1/4",
      "all_equal": "9/16",
      "C": [
        [
          "0",
          "1/2",
          "0"
        ],
        [
          "2/5",
          "0",
          "2/5"
        ],
        [
          "0",
          "1/2",
          "0"
        ]
      ]
    },
    "triangle": {
      "Z_tilde": "72",
      "correlation_13": "2/3",
      "all_equal": "3/4",
      "C": [
        [
          "0",
          "2/5",
          "2/5"
        ],
        [
          "2/5",
          "0",
          "2/5"
        ],
        [
          "2/5",
          "2/5",
          "0"
        ]
      ]
    },
    "triangle_steps": {
      "rho": "14/15",
      "steps": 83,
      "bound_82": "9605034422311206159476933228246514114315558129644540202239127395006554582308425925515328618496/916984485417784767635873896354980611306346639830007895326235978217255251365713775157928466796875",
      "bound_83": "134470481912356886232677065195451197600417813815023562831347783530091764152317962957214600658944/13754767281266771514538108445324709169595199597450118429893539673258828770485706627368927001953125"
    }
  },
  "asymmetric_star": {
    "center_first": {
      "budget": [
        "6/5",
        "36/187",
        "36/187",
        "36/187"
      ],
      "joint_TV_bound": 1,
      "actual_joint_TV": "609687/755725",
      "center_positive": "27/370",
      "center_bias": "609687/755725"
    },
    "leaves_first": {
      "budget": [
        "36/187",
        "30/187",
        "30/187",
        "30/187"
      ],
      "joint_TV_bound": "126/187",
      "actual_joint_TV": "26056647/80278420",
      "center_positive": "279153/363562",
      "center_bias": "415481886/3712876925"
    },
    "C": [
      [
        "0",
        "2/5",
        "2/5",
        "2/5"
      ],
      [
        "30/187",
        "0",
        "0",
        "0"
      ],
      [
        "30/187",
        "0",
        "0",
        "0"
      ],
      [
        "30/187",
        "0",
        "0",
        "0"
      ]
    ],
    "stationary_center": "35937/40850"
  },
  "CFTP_replay": {
    "1": {
      "lower": [
        -1,
        -1,
        -1
      ],
      "upper": [
        1,
        1,
        1
      ],
      "all_images": [
        [
          -1,
          -1,
          -1
        ],
        [
          -1,
          -1,
          1
        ],
        [
          -1,
          -1,
          -1
        ],
        [
          -1,
          -1,
          1
        ],
        [
          1,
          -1,
          -1
        ],
        [
          1,
          1,
          1
        ],
        [
          1,
          -1,
          -1
        ],
        [
          1,
          1,
          1
        ]
      ],
      "coalesced": false
    },
    "2": {
      "lower": [
        -1,
        -1,
        -1
      ],
      "upper": [
        -1,
        -1,
        1
      ],
      "all_images": [
        [
          -1,
          -1,
          -1
        ],
        [
          -1,
          -1,
          1
        ],
        [
          -1,
          -1,
          -1
        ],
        [
          -1,
          -1,
          1
        ],
        [
          -1,
          -1,
          -1
        ],
        [
          -1,
          -1,
          1
        ],
        [
          -1,
          -1,
          -1
        ],
        [
          -1,
          -1,
          1
        ]
      ],
      "coalesced": false
    },
    "4": {
      "lower": [
        -1,
        -1,
        -1
      ],
      "upper": [
        -1,
        -1,
        1
      ],
      "all_images": [
        [
          -1,
          -1,
          -1
        ],
        [
          -1,
          -1,
          -1
        ],
        [
          -1,
          -1,
          1
        ],
        [
          -1,
          -1,
          1
        ],
        [
          -1,
          -1,
          -1
        ],
        [
          -1,
          -1,
          -1
        ],
        [
          -1,
          -1,
          1
        ],
        [
          -1,
          -1,
          1
        ]
      ],
      "coalesced": false
    },
    "8": {
      "lower": [
        -1,
        -1,
        1
      ],
      "upper": [
        -1,
        -1,
        1
      ],
      "all_images": [
        [
          -1,
          -1,
          1
        ],
        [
          -1,
          -1,
          1
        ],
        [
          -1,
          -1,
          1
        ],
        [
          -1,
          -1,
          1
        ],
        [
          -1,
          -1,
          1
        ],
        [
          -1,
          -1,
          1
        ],
        [
          -1,
          -1,
          1
        ],
        [
          -1,
          -1,
          1
        ]
      ],
      "coalesced": true
    },
    "lower_trace": [
      [
        -1,
        -1,
        -1
      ],
      [
        -1,
        -1,
        -1
      ],
      [
        -1,
        -1,
        -1
      ],
      [
        -1,
        -1,
        -1
      ],
      [
        -1,
        1,
        -1
      ],
      [
        -1,
        1,
        -1
      ],
      [
        -1,
        1,
        1
      ],
      [
        -1,
        1,
        1
      ],
      [
        -1,
        -1,
        1
      ]
    ],
    "upper_trace": [
      [
        1,
        1,
        1
      ],
      [
        1,
        1,
        1
      ],
      [
        1,
        1,
        1
      ],
      [
        1,
        1,
        1
      ],
      [
        1,
        1,
        1
      ],
      [
        1,
        1,
        1
      ],
      [
        1,
        1,
        1
      ],
      [
        -1,
        1,
        1
      ],
      [
        -1,
        -1,
        1
      ]
    ],
    "records_1_based": [
      [
        2,
        "1/2"
      ],
      [
        1,
        "1/4"
      ],
      [
        2,
        "3/4"
      ],
      [
        2,
        "1/20"
      ],
      [
        1,
        "1/2"
      ],
      [
        3,
        "1/4"
      ],
      [
        1,
        "19/20"
      ],
      [
        2,
        "1/2"
      ]
    ],
    "word_probability": "1/27000",
    "expected_horizon_bound": "81000"
  },
  "stopping": {
    "P": [
      [
        "1/2",
        "1/2"
      ],
      [
        "3/4",
        "1/4"
      ]
    ],
    "stationary_one": "2/5",
    "forward_stop_one": "1/3",
    "one_step_completed_conditional_one": "1/3",
    "partial_histories": [
      {
        "horizon": 1,
        "completed_one_mass": "1/4",
        "unresolved_mass": "1/4"
      },
      {
        "horizon": 2,
        "completed_one_mass": "3/8",
        "unresolved_mass": "1/16"
      },
      {
        "horizon": 3,
        "completed_one_mass": "25/64",
        "unresolved_mass": "1/64"
      },
      {
        "horizon": 4,
        "completed_one_mass": "51/128",
        "unresolved_mass": "1/256"
      },
      {
        "horizon": 5,
        "completed_one_mass": "409/1024",
        "unresolved_mass": "1/1024"
      },
      {
        "horizon": 6,
        "completed_one_mass": "819/2048",
        "unresolved_mass": "1/4096"
      },
      {
        "horizon": 7,
        "completed_one_mass": "6553/16384",
        "unresolved_mass": "1/16384"
      },
      {
        "horizon": 8,
        "completed_one_mass": "13107/32768",
        "unresolved_mass": "1/65536"
      },
      {
        "horizon": 9,
        "completed_one_mass": "104857/262144",
        "unresolved_mass": "1/262144"
      },
      {
        "horizon": 10,
        "completed_one_mass": "209715/524288",
        "unresolved_mass": "1/1048576"
      },
      {
        "horizon": 11,
        "completed_one_mass": "1677721/4194304",
        "unresolved_mass": "1/4194304"
      },
      {
        "horizon": 12,
        "completed_one_mass": "3355443/8388608",
        "unresolved_mass": "1/16777216"
      },
      {
        "horizon": 13,
        "completed_one_mass": "26843545/67108864",
        "unresolved_mass": "1/67108864"
      },
      {
        "horizon": 14,
        "completed_one_mass": "53687091/134217728",
        "unresolved_mass": "1/268435456"
      },
      {
        "horizon": 15,
        "completed_one_mass": "429496729/1073741824",
        "unresolved_mass": "1/1073741824"
      },
      {
        "horizon": 16,
        "completed_one_mass": "858993459/2147483648",
        "unresolved_mass": "1/4294967296"
      },
      {
        "horizon": 17,
        "completed_one_mass": "6871947673/17179869184",
        "unresolved_mass": "1/17179869184"
      },
      {
        "horizon": 18,
        "completed_one_mass": "13743895347/34359738368",
        "unresolved_mass": "1/68719476736"
      },
      {
        "horizon": 19,
        "completed_one_mass": "109951162777/274877906944",
        "unresolved_mass": "1/274877906944"
      },
      {
        "horizon": 20,
        "completed_one_mass": "219902325555/549755813888",
        "unresolved_mass": "1/1099511627776"
      },
      {
        "horizon": 21,
        "completed_one_mass": "1759218604441/4398046511104",
        "unresolved_mass": "1/4398046511104"
      },
      {
        "horizon": 22,
        "completed_one_mass": "3518437208883/8796093022208",
        "unresolved_mass": "1/17592186044416"
      },
      {
        "horizon": 23,
        "completed_one_mass": "28147497671065/70368744177664",
        "unresolved_mass": "1/70368744177664"
      },
      {
        "horizon": 24,
        "completed_one_mass": "56294995342131/140737488355328",
        "unresolved_mass": "1/281474976710656"
      },
      {
        "horizon": 25,
        "completed_one_mass": "450359962737049/1125899906842624",
        "unresolved_mass": "1/1125899906842624"
      },
      {
        "horizon": 26,
        "completed_one_mass": "900719925474099/2251799813685248",
        "unresolved_mass": "1/4503599627370496"
      },
      {
        "horizon": 27,
        "completed_one_mass": "7205759403792793/18014398509481984",
        "unresolved_mass": "1/18014398509481984"
      },
      {
        "horizon": 28,
        "completed_one_mass": "14411518807585587/36028797018963968",
        "unresolved_mass": "1/72057594037927936"
      },
      {
        "horizon": 29,
        "completed_one_mass": "115292150460684697/288230376151711744",
        "unresolved_mass": "1/288230376151711744"
      },
      {
        "horizon": 30,
        "completed_one_mass": "230584300921369395/576460752303423488",
        "unresolved_mass": "1/1152921504606846976"
      }
    ]
  }
}