{
  "designs": [
    "naive_hybrid_akm",
    "naive_pqc_eaptls",
    "naive_pqc_fast_roam",
    "naive_pqc_fils",
    "naive_pqc_fragmentation",
    "naive_pqc_mlo",
    "naive_pqc_owe",
    "naive_pqc_pake",
    "naive_pqc_pasn",
    "naive_pqc_sae"
  ],
  "families": [
    "algorithm_substitution",
    "ap_flood",
    "beacon_batch_replay",
    "beacon_forgery",
    "capability_spoof",
    "combiner_downgrade",
    "compression_bomb",
    "cross_protocol_confusion",
    "eap_method_downgrade",
    "eap_pqc_strip",
    "fec_downgrade",
    "flood_starvation",
    "forced_fallback",
    "fragment_splice",
    "fragment_swap",
    "fragment_truncate",
    "ft_roam_fs_erosion",
    "group_key_injection",
    "kem_impersonation_no_confirm",
    "krack_retransmission",
    "length_fingerprint",
    "mlo_key_crosslink",
    "mlo_misbind",
    "mtu_downgrade",
    "offline_dictionary",
    "online_guess",
    "owe_quantum_recoverable",
    "policy_substitution",
    "puzzle_replay",
    "recovery_downgrade",
    "resumption_replay",
    "roam_key_reuse",
    "roam_ticket_replay",
    "sae_role_confusion",
    "sig_profile_substitution",
    "single_family_break",
    "skipped_reencryption_check",
    "stale_credential_replay",
    "suite_rollback"
  ],
  "long_name": "Post-Quantum Migration Failure Benchmark",
  "n_cases": 322,
  "n_designs": 10,
  "n_failures": 312,
  "n_families": 39,
  "name": "PQC-MFB",
  "public_fields": [
    "case_id",
    "design",
    "family",
    "invariant",
    "is_failure",
    "naive_detail",
    "naive_held",
    "prior_art_analogue"
  ],
  "schema_version": 1,
  "withheld_fields": [
    "repair_mechanism",
    "repaired_detail",
    "repaired_held"
  ]
}