{
  "filing": "#15_cross_protocol_confusion_impossibility",
  "honest_scope": "Tier-3 model-relative structural impossibility over an abstract model of cross-protocol key derivation (accepted_protocol / derived_protocol / a domain-label bit) under a relay attacker; NOT a claim about a deployed multi-protocol stack and NOT a legal design-around conclusion. Replaces the self-designed-algebra uniqueness argument for AH with an impossibility. Companion to filings #12 (DoS) and #14 (cross-layer). No legal/novelty/FTO/essentiality conclusion.",
  "kind": "REAL",
  "verdict": "real",
  "z3": {
    "all_three_jointly_unsat": true,
    "available": true,
    "claim": "{protocol isolation, shared base secret, no domain label} are jointly impossible under a cross-protocol relay attacker; any two are achievable; therefore a domain label (mechanism AH) is FORCED for cross-protocol key isolation over a shared base \u2014 and the 20-protocol genus shows this shape is industry-wide.",
    "domain_label_forced": true,
    "ok": true,
    "pair_ISO_SH_sat": true,
    "pair_ISO_noDS_sat": true,
    "pair_SH_noDS_sat": true,
    "z3_version": "4.15.4"
  }
}