{
  "intersecting_core": {
    "direct_vs_factored": "exact",
    "families_of_size_at_most_7": 16384,
    "matching_states": 181196,
    "minimum_complement_equals_vertex_cover": "exact",
    "strict_improvements_over_diversity": 1776
  },
  "projective_plane_controls": [
    {
      "gamma": 4,
      "kappa": 0,
      "q": 2,
      "supports": 7
    },
    {
      "gamma": 9,
      "kappa": 0,
      "q": 3,
      "supports": 13
    },
    {
      "gamma": 25,
      "kappa": 0,
      "q": 5,
      "supports": 31
    }
  ],
  "schema": "fprd.result-review.kernel-minimal-shuffle.v1",
  "scope": [
    "kappa is optimal only within the supplied intersecting-core decomposition",
    "the negative witness is occurrence-minimal among shuffles with two nonempty operands",
    "finite checks corroborate but do not replace the general proofs"
  ],
  "status": "pass_with_scope_corrections",
  "two_occurrence_shuffle": {
    "exact_quotient_maps": 0,
    "minimum_nonempty_operand_occurrences": 2,
    "mixed_loop_source_state": 3,
    "source_states": 4,
    "surjective_initial_preserving_maps": 12,
    "target_mixed_loop_states": 0,
    "target_states": 3,
    "witness_occurrences": 2
  }
}