{
  "carrier_rectangles": {
    "ordinary_first_retained_time": 1,
    "parameter_pairs": 144,
    "recursive_first_retained_time": 2,
    "recursive_zero_carrier_case_is_singleton": true
  },
  "exhaustive_small_histories": {
    "behavioral_recursive_but_not_literal": 33060,
    "detours": 288292,
    "garbage_descriptor_changes": 1817736,
    "garbage_label_changes": 122748,
    "histories": 124828,
    "literal_absorptions": 103242,
    "slides_changing_prefix_trace": 40978,
    "temporal_slides": 68584,
    "terminal_base": 937,
    "terminal_missing": 62414,
    "terminal_recursive": 61477
  },
  "proved_boundary": {
    "A_requires_a_literal_old_self_loop": true,
    "D_uses_physical_endpoint_equality": true,
    "G_uses_replay_closed_causal_irrelevance": true,
    "T_cannot_cross_the_unlabelled_base": true,
    "T_uses_equal_labelled_carriers_and_may_change_prefixes": true,
    "full_behavior_not_same_radius_identity_is_inherited": true,
    "recursive_termination_reserves_one_extra_time_row": true,
    "terminal_kind_is_preserved_by_every_move": true
  },
  "scope": "Finite falsification plus exact source markers; the uniform coherence proof is argued in Run 10 and the paper.",
  "statement_markers": {
    "causal_full_behavior_present": true,
    "causal_support_explicit": true,
    "literal_guard_explicit": true,
    "recursive_time_one_exclusion_explicit": true,
    "temporal_label_guard_explicit": true,
    "three_terminal_cases_explicit": true,
    "unlabelled_base_explicit": true
  },
  "status": "pass"
}