{
  "alphabet": [
    "a",
    "b"
  ],
  "certificate_type": "fprd-result-review-left-quotient.v1",
  "checker_sha256": "7b2fce0f8d927b9dfd817e761e6e121cfd57fffd7badf7eceb857ef740dc07ff",
  "construction": "Antimirov partial-derivative relation semantics",
  "expression_pairs": 405,
  "matches_published_semantic_transcript": true,
  "maximum_antimirov_carrier_states": 3,
  "maximum_glushkov_product_states": 7,
  "maximum_suffix_length": 4,
  "membership_comparisons": 12555,
  "mismatch_count": 0,
  "mismatches": [],
  "not_shared": [
    "derivative transitions",
    "automaton state space",
    "quotient acceptance algorithm"
  ],
  "oracle": "epsilon-free Glushkov position automata with synchronized state-pair reachability",
  "quotienting_expressions": 27,
  "shared_mechanics": [
    "parser",
    "fixed infix corpus",
    "alphabet and case ordering"
  ],
  "suffixes": 31,
  "target_expressions": 15,
  "transcript_sha256": "a300699c810c093da47b5a4dd51a25b565f2040eb5abc8d69bb8a7e4ee059fa6",
  "unbounded_star_family": {
    "cases": 65,
    "failure_count": 0,
    "failures": [],
    "k_max": 64,
    "k_min": 0
  }
}