{
  "alphabet": [
    "a",
    "b"
  ],
  "certificate_type": "fprd-left-quotient-independent-audit.v1",
  "checker_sha256": "3b7a4f77ef2875bb4e37da858ee9249c7aea11397270a927ebea1baadd85b9fa",
  "construction": "Antimirov partial derivatives on an independently parsed raw binary AST",
  "expression_pairs": 405,
  "matches_v2_semantic_transcript": true,
  "maximum_antimirov_carrier_states": 3,
  "maximum_suffix_length": 4,
  "maximum_thompson_product_states": 11,
  "membership_comparisons": 12555,
  "mismatch_count": 0,
  "mismatches": [],
  "not_shared": [
    "regular-expression normalization",
    "nullability",
    "derivative code",
    "acceptance algorithm"
  ],
  "oracle": "Thompson epsilon-NFAs with subset-product reachability",
  "quotienting_expressions": 27,
  "shared_mechanics": [
    "fixed infix expression corpus",
    "alphabet and case ordering"
  ],
  "suffixes": 31,
  "target_expressions": 15,
  "transcript_sha256": "a300699c810c093da47b5a4dd51a25b565f2040eb5abc8d69bb8a7e4ee059fa6"
}