[
  {
    "question": "Can RTL decode and execute this instruction with the same semantics assumed by the compiler?",
    "required_evidence": [
      "RTL decode source",
      "RTL execute source",
      "instruction-level RTL trace",
      "compiler instruction-selection rule"
    ],
    "target_id": "rtl_absent:op_002:VDOT8",
    "title": "VDOT8 selected without RTL decode/execute support"
  },
  {
    "question": "What RTL trace or source reference closes this compiler-hardware assumption?",
    "required_evidence": [
      "RTL source reference",
      "decode/execute trace",
      "simulator trace comparison"
    ],
    "target_id": "rtl_known_gap:VDOT8",
    "title": "Known RTL evidence gap for VDOT8"
  },
  {
    "question": "What paired simulator and RTL traces support or refute this behavior?",
    "required_evidence": [
      "paired simulator trace",
      "RTL trace",
      "instruction-by-instruction comparison",
      "known divergence list"
    ],
    "target_id": "sim_rtl_equivalence_boundary:claim_003",
    "title": "Simulator/RTL equivalence claim has no RTL trace evidence"
  },
  {
    "question": "What RTL trace or source reference closes this compiler-hardware assumption?",
    "required_evidence": [
      "RTL source reference",
      "decode/execute trace",
      "simulator trace comparison"
    ],
    "target_id": "rtl_known_gap:HALT",
    "title": "Known RTL evidence gap for HALT"
  }
]