{
  "schema": "sentryward.kernel-results.v1",
  "verification_results_source": {
    "repository": "gpu-verifier/sentryward",
    "revision": "cd77367a41e5327291f634f691fc1e009a3d8d28",
    "path": "examples/results.md",
    "sha256": "fe75aecaffe7754bc125a80b121ce7efc2acf0009e87ded0e21c2fb296b72afd"
  },
  "counts": {
    "not_wellsynced": 1,
    "invalid_lifecycle": 7,
    "potential_race": 24,
    "verified": 53,
    "unsupported": 76,
    "equivalence_not_proven": 1,
    "analysis_budget_exceeded": 1,
    "timeout": 6
  },
  "synchronization_removal_study": {
    "schema": "sentryward.sync-removal-study.v1",
    "source": {
      "repository": "wmdi/wasp_verification",
      "revision": "3281444e96473d554a813f96e196015a4c84bdf1",
      "published_at": "2026-10-14T18:15:03Z",
      "path": "examples/index.md",
      "sha256": "43aa5142a29e9e1f47731f5b9d54d804d24b6f3985ddbe23099e10162a0db1b1"
    },
    "device": "NVIDIA B200",
    "methodology": [
      "**Synchronization columns.** Filled for the examples that verify `race_free`. **Sync Instructions** counts the synchronization statements in the analyzed entry (barriers, `mbarrier` operations, async-copy waits, `tcgen05.commit`/`tcgen05.wait`, fences, `griddepcontrol.wait`) and, in parentheses, how many of them are executed for the recorded input and are removal candidates; fences and `griddepcontrol.wait` are never candidates because the verifier does not check what they protect. **Removable (recorded input)** is how many of those candidates can be removed together while the verifier still reports `race_free`; the linked issues list the sites. **Performance Improvement (recorded input)** is the change in in-kernel time of the reduced kernel on a B200 (negative is faster); \"output identical\" means byte-identical to the original kernel on 500,000 launches. These three columns hold for the recorded input only. Verdicts are from the verifier at `a47ae4f` (the fix in #269), or at `be4e9f3` for the examples whose input changed afterwards; the reduced kernels were re-verified at `be4e9f3`.",
      "**Larger-input columns.** Most recorded inputs run the main loop fewer times than the kernel's pipeline has stages, so no pipeline buffer is ever reused and synchronization that guards buffer reuse looks redundant. We reran each reduction at a larger input, named in the cell, at which every pipeline stage is written at least twice, with the verifier at `f8339ff`. **Removable (larger input)** is how many of the candidates executed at that input can be removed together while the verifier still reports `race_free`. To find them, the recorded-input removals and the candidates that only execute at the larger input were ablated one at a time, the redundant ones were removed together, and the result was verified in full. Sites that were necessary at the recorded input were not retried. The cell also says whether the recorded-input reduction still verifies at the larger input, and what it did on a B200 when it did not. **Performance Improvement (larger input)** is the change in in-kernel time of the larger-input reduction at that input. \"output identical\" means byte-identical to the original kernel on 20,000 launches. Some FlashAttention and DeepGEMM inputs launch only the first CTAs or cluster of the larger problem; the cell says so. Kernels with compile-time shapes (TileLang) were re-checked at the recorded input. The linked issues list the sites that the larger input needs and, for most GEMM-style kernels, a second check at an even larger input."
    ],
    "record_source": {
      "pull_request": "https://github.com/wmdi/wasp_verification/pull/304",
      "revision": "ba83a5f0f4c4c6f7e4d676855d9b5da3a69e9189",
      "path": "docs/kernel-verification-results.json"
    }
  },
  "results": [
    {
      "name": "cutlass112_blackwell_ssd.compute_100a",
      "result": "timeout",
      "diagnostics": [
        {
          "code": "timeout",
          "stage": "verification"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/cutlass112_blackwell_ssd.compute_100a.ptx"
        },
        "input": {
          "path": "examples/cutlass112_blackwell_ssd.compute_100a/input.json"
        },
        "result": {
          "path": "examples/cutlass112_blackwell_ssd.compute_100a/output.json"
        }
      },
      "analysis_time_seconds": 500.074721047,
      "analysis_time_source": {
        "path": "examples/cutlass112_blackwell_ssd.compute_100a/output.json",
        "field": "elapsed_seconds"
      }
    },
    {
      "name": "cutlass77_blackwell_fmha_fp16.compute_100a",
      "result": "not_wellsynced",
      "diagnostics": [
        {
          "code": "issue_not_ordered_before_next_phase",
          "stage": "synchronization_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/cutlass77_blackwell_fmha_fp16.compute_100a.ptx"
        },
        "input": {
          "path": "examples/cutlass77_blackwell_fmha_fp16.compute_100a/input.json"
        },
        "result": {
          "path": "examples/cutlass77_blackwell_fmha_fp16.compute_100a/output.json"
        }
      },
      "analysis_time_seconds": 7.435162335,
      "analysis_time_source": {
        "path": "examples/cutlass77_blackwell_fmha_fp16.compute_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "cutlass86_blackwell_mixed_dtype_gemm.compute_100a",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/cutlass86_blackwell_mixed_dtype_gemm.compute_100a.ptx"
        },
        "input": {
          "path": "examples/cutlass86_blackwell_mixed_dtype_gemm.compute_100a/input.json"
        },
        "result": {
          "path": "examples/cutlass86_blackwell_mixed_dtype_gemm.compute_100a/output.json"
        },
        "reference": {
          "path": "examples/cutlass86_blackwell_mixed_dtype_gemm.compute_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/cutlass86_blackwell_mixed_dtype_gemm.compute_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 163,
        "sync_instructions_note": "163 (82 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 41,
            "candidates": 82,
            "note": "41 of 82 ([#59](https://github.com/wmdi/wasp_verification/issues/59), [#60](https://github.com/wmdi/wasp_verification/issues/60))"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -4.1,
            "note": "-4.1% (3.46 \u2192 3.29 \u00b5s); B200 output identical",
            "original_us": 3.46,
            "reduced_us": 3.29
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 37,
            "candidates": 86,
            "note": "37 of 86 with K 128 \u2192 1,280; the 41-site recorded-input reduction is `not_wellsynced` here and hangs on a B200"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -2.4,
            "note": "-2.4% (6.41 \u2192 6.23 \u00b5s); B200 output identical",
            "original_us": 6.41,
            "reduced_us": 6.23
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/59",
          "https://github.com/wmdi/wasp_verification/issues/60"
        ]
      },
      "analysis_time_seconds": 70.774872258,
      "analysis_time_source": {
        "path": "examples/cutlass86_blackwell_mixed_dtype_gemm.compute_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "cutlass92_blackwell_moe_gemm_regular.compute_100a",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/cutlass92_blackwell_moe_gemm_regular.compute_100a.ptx"
        },
        "input": {
          "path": "examples/cutlass92_blackwell_moe_gemm_regular.compute_100a/input.json"
        },
        "result": {
          "path": "examples/cutlass92_blackwell_moe_gemm_regular.compute_100a/output.json"
        },
        "reference": {
          "path": "examples/cutlass92_blackwell_moe_gemm_regular.compute_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/cutlass92_blackwell_moe_gemm_regular.compute_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 97,
        "sync_instructions_note": "97 (64 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 36,
            "candidates": 64,
            "note": "36 of 64 ([#61](https://github.com/wmdi/wasp_verification/issues/61), [#62](https://github.com/wmdi/wasp_verification/issues/62))"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -11.0,
            "note": "-11.0% (2.17 \u2192 1.93 \u00b5s); B200 output identical",
            "original_us": 2.17,
            "reduced_us": 1.93
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 33,
            "candidates": 64,
            "note": "33 of 64 with K 128 \u2192 3,328; the 36-site recorded-input reduction is `not_wellsynced` here and hangs on a B200"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -4.7,
            "note": "-4.7% (5.74 \u2192 5.47 \u00b5s); B200 output identical",
            "original_us": 5.74,
            "reduced_us": 5.47
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/61",
          "https://github.com/wmdi/wasp_verification/issues/62"
        ]
      },
      "analysis_time_seconds": 1.015967177,
      "analysis_time_source": {
        "path": "examples/cutlass92_blackwell_moe_gemm_regular.compute_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "cutlass93_blackwell_low_latency_gqa.compute_100a",
      "result": "invalid_lifecycle",
      "diagnostics": [
        {
          "code": "access_completion_before_deallocation_not_proven",
          "stage": "lifecycle_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/cutlass93_blackwell_low_latency_gqa.compute_100a.ptx"
        },
        "input": {
          "path": "examples/cutlass93_blackwell_low_latency_gqa.compute_100a/input.json"
        },
        "result": {
          "path": "examples/cutlass93_blackwell_low_latency_gqa.compute_100a/output.json"
        }
      },
      "analysis_time_seconds": 103.349909569,
      "analysis_time_source": {
        "path": "examples/cutlass93_blackwell_low_latency_gqa.compute_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "cutlass__block-scaled-gemm-mixed-8-bit__sm_100a",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/cutlass__block-scaled-gemm-mixed-8-bit__sm_100a.ptx"
        },
        "input": {
          "path": "examples/cutlass__block-scaled-gemm-mixed-8-bit__sm_100a/input.json"
        },
        "result": {
          "path": "examples/cutlass__block-scaled-gemm-mixed-8-bit__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/cutlass__block-scaled-gemm-mixed-8-bit__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/cutlass__block-scaled-gemm-mixed-8-bit__sm_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 77,
        "sync_instructions_note": "77 (50 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 20,
            "candidates": 50,
            "note": "20 of 50 ([#64](https://github.com/wmdi/wasp_verification/issues/64), [#65](https://github.com/wmdi/wasp_verification/issues/65))"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -13.4,
            "note": "-13.4% (3.41 \u2192 2.95 \u00b5s); B200 output identical",
            "original_us": 3.41,
            "reduced_us": 2.95
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 19,
            "candidates": 52,
            "note": "19 of 52 with K 256 \u2192 1,280; the 20-site recorded-input reduction is `not_wellsynced` here and hangs on a B200"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -6.7,
            "note": "-6.7% (4.63 \u2192 4.32 \u00b5s); B200 output identical",
            "original_us": 4.63,
            "reduced_us": 4.32
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/64",
          "https://github.com/wmdi/wasp_verification/issues/65"
        ]
      },
      "analysis_time_seconds": 7.152582624,
      "analysis_time_source": {
        "path": "examples/cutlass__block-scaled-gemm-mixed-8-bit__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "cutlass__block-scaled-gemm-mxfp4__sm_100a",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/cutlass__block-scaled-gemm-mxfp4__sm_100a.ptx"
        },
        "input": {
          "path": "examples/cutlass__block-scaled-gemm-mxfp4__sm_100a/input.json"
        },
        "result": {
          "path": "examples/cutlass__block-scaled-gemm-mxfp4__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/cutlass__block-scaled-gemm-mxfp4__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/cutlass__block-scaled-gemm-mxfp4__sm_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 77,
        "sync_instructions_note": "77 (50 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 20,
            "candidates": 50,
            "note": "20 of 50 ([#66](https://github.com/wmdi/wasp_verification/issues/66), [#67](https://github.com/wmdi/wasp_verification/issues/67))"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -13.3,
            "note": "-13.3% (3.44 \u2192 2.98 \u00b5s); B200 output identical",
            "original_us": 3.44,
            "reduced_us": 2.98
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 19,
            "candidates": 52,
            "note": "19 of 52 with K 256 \u2192 1,280; the 20-site recorded-input reduction is `not_wellsynced` here and hangs on a B200"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -6.3,
            "note": "-6.3% (4.71 \u2192 4.42 \u00b5s); B200 output identical",
            "original_us": 4.71,
            "reduced_us": 4.42
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/66",
          "https://github.com/wmdi/wasp_verification/issues/67"
        ]
      },
      "analysis_time_seconds": 7.408670476,
      "analysis_time_source": {
        "path": "examples/cutlass__block-scaled-gemm-mxfp4__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "cutlass__block-scaled-moe-fp4__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/cutlass__block-scaled-moe-fp4__sm_100a.ptx"
        },
        "input": {
          "path": "examples/cutlass__block-scaled-moe-fp4__sm_100a/input.json"
        },
        "result": {
          "path": "examples/cutlass__block-scaled-moe-fp4__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.052319433,
      "analysis_time_source": {
        "path": "examples/cutlass__block-scaled-moe-fp4__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "cutlass__block-scaled-mxfp4-gemm-2sm__sm_100a",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/cutlass__block-scaled-mxfp4-gemm-2sm__sm_100a.ptx"
        },
        "input": {
          "path": "examples/cutlass__block-scaled-mxfp4-gemm-2sm__sm_100a/input.json"
        },
        "result": {
          "path": "examples/cutlass__block-scaled-mxfp4-gemm-2sm__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/cutlass__block-scaled-mxfp4-gemm-2sm__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/cutlass__block-scaled-mxfp4-gemm-2sm__sm_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 82,
        "sync_instructions_note": "82 (55 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 21,
            "candidates": 55,
            "note": "21 of 55 ([#69](https://github.com/wmdi/wasp_verification/issues/69), [#70](https://github.com/wmdi/wasp_verification/issues/70))"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -9.8,
            "note": "-9.8% (3.34 \u2192 3.00 \u00b5s); B200 output identical",
            "original_us": 3.34,
            "reduced_us": 3.0
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 20,
            "candidates": 57,
            "note": "20 of 57 with K 256 \u2192 1,792; the 21-site recorded-input reduction is `not_wellsynced` here and hangs on a B200"
          },
          "performance": {
            "status": "no_measurable_change",
            "runtime_change_percent": 0.0,
            "note": "no measurable change (4.86 vs 4.73 \u00b5s); B200 output identical",
            "original_us": 4.86,
            "reduced_us": 4.73
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/69",
          "https://github.com/wmdi/wasp_verification/issues/70"
        ]
      },
      "analysis_time_seconds": 13.323632286,
      "analysis_time_source": {
        "path": "examples/cutlass__block-scaled-mxfp4-gemm-2sm__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "cutlass__blockwise-scaled-gemm-runtime-fp8__sm_100a",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/cutlass__blockwise-scaled-gemm-runtime-fp8__sm_100a.ptx"
        },
        "input": {
          "path": "examples/cutlass__blockwise-scaled-gemm-runtime-fp8__sm_100a/input.json"
        },
        "result": {
          "path": "examples/cutlass__blockwise-scaled-gemm-runtime-fp8__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/cutlass__blockwise-scaled-gemm-runtime-fp8__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/cutlass__blockwise-scaled-gemm-runtime-fp8__sm_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 215,
        "sync_instructions_note": "215 (144 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 87,
            "candidates": 144,
            "note": "87 of 144 ([#71](https://github.com/wmdi/wasp_verification/issues/71), [#72](https://github.com/wmdi/wasp_verification/issues/72))"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -14.1,
            "note": "-14.1% (4.89 \u2192 4.20 \u00b5s); B200 output identical",
            "original_us": 4.89,
            "reduced_us": 4.2
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 83,
            "candidates": 146,
            "note": "83 of 146 with K 256 \u2192 4,352; the 87-site recorded-input reduction is `not_wellsynced` here and hangs on a B200"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -5.2,
            "note": "-5.2% (9.80 \u2192 9.29 \u00b5s); B200 output identical",
            "original_us": 9.8,
            "reduced_us": 9.29
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/71",
          "https://github.com/wmdi/wasp_verification/issues/72"
        ]
      },
      "analysis_time_seconds": 1.959850442,
      "analysis_time_source": {
        "path": "examples/cutlass__blockwise-scaled-gemm-runtime-fp8__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "cutlass__dense-gemm-f16-cp-async-alignment-fallback__sm_100a",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/cutlass__dense-gemm-f16-cp-async-alignment-fallback__sm_100a.ptx"
        },
        "input": {
          "path": "examples/cutlass__dense-gemm-f16-cp-async-alignment-fallback__sm_100a/input.json"
        },
        "result": {
          "path": "examples/cutlass__dense-gemm-f16-cp-async-alignment-fallback__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/cutlass__dense-gemm-f16-cp-async-alignment-fallback__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/cutlass__dense-gemm-f16-cp-async-alignment-fallback__sm_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 55,
        "sync_instructions_note": "55 (40 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 17,
            "candidates": 40,
            "note": "17 of 40 ([#73](https://github.com/wmdi/wasp_verification/issues/73), [#74](https://github.com/wmdi/wasp_verification/issues/74))"
          },
          "performance": {
            "status": "no_measurable_change",
            "runtime_change_percent": 0.0,
            "note": "no measurable change (7.20 vs 7.05 \u00b5s); B200 output identical",
            "original_us": 7.2,
            "reduced_us": 7.05
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 16,
            "candidates": 40,
            "note": "16 of 40 with K 128 \u2192 1,152; the 17-site recorded-input reduction is `not_wellsynced` here and hangs on a B200"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -2.9,
            "note": "-2.9% (42.81 \u2192 41.43 \u00b5s); B200 output identical",
            "original_us": 42.81,
            "reduced_us": 41.43
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/73",
          "https://github.com/wmdi/wasp_verification/issues/74"
        ]
      },
      "analysis_time_seconds": 7.720924379,
      "analysis_time_source": {
        "path": "examples/cutlass__dense-gemm-f16-cp-async-alignment-fallback__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "cutlass__dense-gemm-f16-stream-k__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/cutlass__dense-gemm-f16-stream-k__sm_100a.ptx"
        },
        "input": {
          "path": "examples/cutlass__dense-gemm-f16-stream-k__sm_100a/input.json"
        },
        "result": {
          "path": "examples/cutlass__dense-gemm-f16-stream-k__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.879822849,
      "analysis_time_source": {
        "path": "examples/cutlass__dense-gemm-f16-stream-k__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "cutlass__dense-gemm-f16-tma-1sm__sm_100a",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/cutlass__dense-gemm-f16-tma-1sm__sm_100a.ptx"
        },
        "input": {
          "path": "examples/cutlass__dense-gemm-f16-tma-1sm__sm_100a/input.json"
        },
        "result": {
          "path": "examples/cutlass__dense-gemm-f16-tma-1sm__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/cutlass__dense-gemm-f16-tma-1sm__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/cutlass__dense-gemm-f16-tma-1sm__sm_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 117,
        "sync_instructions_note": "117 (55 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 29,
            "candidates": 55,
            "note": "29 of 55 ([#76](https://github.com/wmdi/wasp_verification/issues/76), [#77](https://github.com/wmdi/wasp_verification/issues/77))"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -9.3,
            "note": "-9.3% (3.35 \u2192 3.02 \u00b5s); B200 output identical",
            "original_us": 3.35,
            "reduced_us": 3.02
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 28,
            "candidates": 57,
            "note": "28 of 57 with K 128 \u2192 1,024; the 29-site recorded-input reduction is `not_wellsynced` here and hangs on a B200"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -3.0,
            "note": "-3.0% (5.13 \u2192 4.95 \u00b5s); B200 output identical",
            "original_us": 5.13,
            "reduced_us": 4.95
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/76",
          "https://github.com/wmdi/wasp_verification/issues/77"
        ]
      },
      "analysis_time_seconds": 7.913149187,
      "analysis_time_source": {
        "path": "examples/cutlass__dense-gemm-f16-tma-1sm__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "cutlass__dense-gemm-f16-tma-2sm__sm_100a",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/cutlass__dense-gemm-f16-tma-2sm__sm_100a.ptx"
        },
        "input": {
          "path": "examples/cutlass__dense-gemm-f16-tma-2sm__sm_100a/input.json"
        },
        "result": {
          "path": "examples/cutlass__dense-gemm-f16-tma-2sm__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/cutlass__dense-gemm-f16-tma-2sm__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/cutlass__dense-gemm-f16-tma-2sm__sm_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 120,
        "sync_instructions_note": "120 (58 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 28,
            "candidates": 58,
            "note": "28 of 58 ([#78](https://github.com/wmdi/wasp_verification/issues/78), [#79](https://github.com/wmdi/wasp_verification/issues/79))"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -6.7,
            "note": "-6.7% (3.34 \u2192 3.13 \u00b5s); B200 output identical",
            "original_us": 3.34,
            "reduced_us": 3.13
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 27,
            "candidates": 60,
            "note": "27 of 60 with K 128 \u2192 1,024; the 28-site recorded-input reduction is `not_wellsynced` here and hangs on a B200"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -1.9,
            "note": "-1.9% (5.13 \u2192 5.00 \u00b5s); B200 output identical",
            "original_us": 5.13,
            "reduced_us": 5.0
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/78",
          "https://github.com/wmdi/wasp_verification/issues/79"
        ]
      },
      "analysis_time_seconds": 43.323172365,
      "analysis_time_source": {
        "path": "examples/cutlass__dense-gemm-f16-tma-2sm__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "cutlass__dense-gemm-fp8-cp-async-fallback__sm_100a",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/cutlass__dense-gemm-fp8-cp-async-fallback__sm_100a.ptx"
        },
        "input": {
          "path": "examples/cutlass__dense-gemm-fp8-cp-async-fallback__sm_100a/input.json"
        },
        "result": {
          "path": "examples/cutlass__dense-gemm-fp8-cp-async-fallback__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/cutlass__dense-gemm-fp8-cp-async-fallback__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/cutlass__dense-gemm-fp8-cp-async-fallback__sm_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 55,
        "sync_instructions_note": "55 (40 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 17,
            "candidates": 40,
            "note": "17 of 40 ([#80](https://github.com/wmdi/wasp_verification/issues/80), [#81](https://github.com/wmdi/wasp_verification/issues/81))"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -3.3,
            "note": "-3.3% (4.12 \u2192 3.95 \u00b5s); B200 output identical",
            "original_us": 4.12,
            "reduced_us": 3.95
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 16,
            "candidates": 40,
            "note": "16 of 40 with K 128 \u2192 2,304; the 17-site recorded-input reduction is `not_wellsynced` here and hangs on a B200"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -1.6,
            "note": "-1.6% (15.05 \u2192 14.80 \u00b5s); B200 output identical",
            "original_us": 15.05,
            "reduced_us": 14.8
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/80",
          "https://github.com/wmdi/wasp_verification/issues/81"
        ]
      },
      "analysis_time_seconds": 1.707389992,
      "analysis_time_source": {
        "path": "examples/cutlass__dense-gemm-fp8-cp-async-fallback__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "cutlass__dense-gemm-fp8__sm_100a",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/cutlass__dense-gemm-fp8__sm_100a.ptx"
        },
        "input": {
          "path": "examples/cutlass__dense-gemm-fp8__sm_100a/input.json"
        },
        "result": {
          "path": "examples/cutlass__dense-gemm-fp8__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/cutlass__dense-gemm-fp8__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/cutlass__dense-gemm-fp8__sm_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 117,
        "sync_instructions_note": "117 (55 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 29,
            "candidates": 55,
            "note": "29 of 55 ([#82](https://github.com/wmdi/wasp_verification/issues/82), [#83](https://github.com/wmdi/wasp_verification/issues/83))"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -11.0,
            "note": "-11.0% (3.38 \u2192 3.03 \u00b5s); B200 output identical",
            "original_us": 3.38,
            "reduced_us": 3.03
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 28,
            "candidates": 57,
            "note": "28 of 57 with K 128 \u2192 2,048; the 29-site recorded-input reduction is `not_wellsynced` here and hangs on a B200; same sites with 2 \u00d7 2 output tiles"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -2.7,
            "note": "-2.7% (5.24 \u2192 5.10 \u00b5s); B200 output identical",
            "original_us": 5.24,
            "reduced_us": 5.1
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/82",
          "https://github.com/wmdi/wasp_verification/issues/83"
        ]
      },
      "analysis_time_seconds": 2.968258019,
      "analysis_time_source": {
        "path": "examples/cutlass__dense-gemm-fp8__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "cutlass__grouped-block-scaled-gemm-mxfp4__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "allocation_alias_relation_unknown",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/cutlass__grouped-block-scaled-gemm-mxfp4__sm_100a.ptx"
        },
        "input": {
          "path": "examples/cutlass__grouped-block-scaled-gemm-mxfp4__sm_100a/input.json"
        },
        "result": {
          "path": "examples/cutlass__grouped-block-scaled-gemm-mxfp4__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 20.204217182,
      "analysis_time_source": {
        "path": "examples/cutlass__grouped-block-scaled-gemm-mxfp4__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "cutlass__grouped-block-scaled-mxfp4-gemm-2sm__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "allocation_alias_relation_unknown",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/cutlass__grouped-block-scaled-mxfp4-gemm-2sm__sm_100a.ptx"
        },
        "input": {
          "path": "examples/cutlass__grouped-block-scaled-mxfp4-gemm-2sm__sm_100a/input.json"
        },
        "result": {
          "path": "examples/cutlass__grouped-block-scaled-mxfp4-gemm-2sm__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 32.839318587,
      "analysis_time_source": {
        "path": "examples/cutlass__grouped-block-scaled-mxfp4-gemm-2sm__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "cutlass__grouped-blockwise-scaled-gemm-fp8__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_parameter_value_missing",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/cutlass__grouped-blockwise-scaled-gemm-fp8__sm_100a.ptx"
        },
        "input": {
          "path": "examples/cutlass__grouped-blockwise-scaled-gemm-fp8__sm_100a/input.json"
        },
        "result": {
          "path": "examples/cutlass__grouped-blockwise-scaled-gemm-fp8__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.509053802,
      "analysis_time_source": {
        "path": "examples/cutlass__grouped-blockwise-scaled-gemm-fp8__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "cutlass__grouped-gemm-f16-2sm__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "allocation_alias_relation_unknown",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/cutlass__grouped-gemm-f16-2sm__sm_100a.ptx"
        },
        "input": {
          "path": "examples/cutlass__grouped-gemm-f16-2sm__sm_100a/input.json"
        },
        "result": {
          "path": "examples/cutlass__grouped-gemm-f16-2sm__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 118.101557335,
      "analysis_time_source": {
        "path": "examples/cutlass__grouped-gemm-f16-2sm__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "cutlass__grouped-gemm-f16-stream-k__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "allocation_alias_relation_unknown",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/cutlass__grouped-gemm-f16-stream-k__sm_100a.ptx"
        },
        "input": {
          "path": "examples/cutlass__grouped-gemm-f16-stream-k__sm_100a/input.json"
        },
        "result": {
          "path": "examples/cutlass__grouped-gemm-f16-stream-k__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 76.650201851,
      "analysis_time_source": {
        "path": "examples/cutlass__grouped-gemm-f16-stream-k__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "cutlass__grouped-gemm-f16__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "allocation_alias_relation_unknown",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/cutlass__grouped-gemm-f16__sm_100a.ptx"
        },
        "input": {
          "path": "examples/cutlass__grouped-gemm-f16__sm_100a/input.json"
        },
        "result": {
          "path": "examples/cutlass__grouped-gemm-f16__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 18.232167201,
      "analysis_time_source": {
        "path": "examples/cutlass__grouped-gemm-f16__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "cutlass__moe-gemm-f16-mixed-cp-async__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/cutlass__moe-gemm-f16-mixed-cp-async__sm_100a.ptx"
        },
        "input": {
          "path": "examples/cutlass__moe-gemm-f16-mixed-cp-async__sm_100a/input.json"
        },
        "result": {
          "path": "examples/cutlass__moe-gemm-f16-mixed-cp-async__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.055694025,
      "analysis_time_source": {
        "path": "examples/cutlass__moe-gemm-f16-mixed-cp-async__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "cutlass__sparse-block-scaled-gemm-mxfp8__sm_100a",
      "result": "potential_race",
      "diagnostics": [
        {
          "code": "conflicting_accesses_unordered",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/cutlass__sparse-block-scaled-gemm-mxfp8__sm_100a.ptx"
        },
        "input": {
          "path": "examples/cutlass__sparse-block-scaled-gemm-mxfp8__sm_100a/input.json"
        },
        "result": {
          "path": "examples/cutlass__sparse-block-scaled-gemm-mxfp8__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 33.957281843,
      "analysis_time_source": {
        "path": "examples/cutlass__sparse-block-scaled-gemm-mxfp8__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "cutlass__sparse-block-scaled-gemm-nvfp4__sm_100a",
      "result": "potential_race",
      "diagnostics": [
        {
          "code": "conflicting_accesses_unordered",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/cutlass__sparse-block-scaled-gemm-nvfp4__sm_100a.ptx"
        },
        "input": {
          "path": "examples/cutlass__sparse-block-scaled-gemm-nvfp4__sm_100a/input.json"
        },
        "result": {
          "path": "examples/cutlass__sparse-block-scaled-gemm-nvfp4__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 31.834005691,
      "analysis_time_source": {
        "path": "examples/cutlass__sparse-block-scaled-gemm-nvfp4__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "cutlass__sparse-block-scaled-mxfp8-gemm-2sm__sm_100a",
      "result": "potential_race",
      "diagnostics": [
        {
          "code": "conflicting_accesses_unordered",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/cutlass__sparse-block-scaled-mxfp8-gemm-2sm__sm_100a.ptx"
        },
        "input": {
          "path": "examples/cutlass__sparse-block-scaled-mxfp8-gemm-2sm__sm_100a/input.json"
        },
        "result": {
          "path": "examples/cutlass__sparse-block-scaled-mxfp8-gemm-2sm__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 33.535260837,
      "analysis_time_source": {
        "path": "examples/cutlass__sparse-block-scaled-mxfp8-gemm-2sm__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "cutlass__sparse-gemm-f16-stream-k-1sm__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/cutlass__sparse-gemm-f16-stream-k-1sm__sm_100a.ptx"
        },
        "input": {
          "path": "examples/cutlass__sparse-gemm-f16-stream-k-1sm__sm_100a/input.json"
        },
        "result": {
          "path": "examples/cutlass__sparse-gemm-f16-stream-k-1sm__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 4.863797619,
      "analysis_time_source": {
        "path": "examples/cutlass__sparse-gemm-f16-stream-k-1sm__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "cutlass__sparse-gemm-f16-stream-k-2sm__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/cutlass__sparse-gemm-f16-stream-k-2sm__sm_100a.ptx"
        },
        "input": {
          "path": "examples/cutlass__sparse-gemm-f16-stream-k-2sm__sm_100a/input.json"
        },
        "result": {
          "path": "examples/cutlass__sparse-gemm-f16-stream-k-2sm__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 4.688520289,
      "analysis_time_source": {
        "path": "examples/cutlass__sparse-gemm-f16-stream-k-2sm__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "cutlass__sparse-gemm-f16__sm_100a",
      "result": "potential_race",
      "diagnostics": [
        {
          "code": "conflicting_accesses_unordered",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/cutlass__sparse-gemm-f16__sm_100a.ptx"
        },
        "input": {
          "path": "examples/cutlass__sparse-gemm-f16__sm_100a/input.json"
        },
        "result": {
          "path": "examples/cutlass__sparse-gemm-f16__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 27.229989333,
      "analysis_time_source": {
        "path": "examples/cutlass__sparse-gemm-f16__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "cutlass__sparse-gemm-runtime-fp8-family__sm_100a",
      "result": "potential_race",
      "diagnostics": [
        {
          "code": "conflicting_accesses_unordered",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/cutlass__sparse-gemm-runtime-fp8-family__sm_100a.ptx"
        },
        "input": {
          "path": "examples/cutlass__sparse-gemm-runtime-fp8-family__sm_100a/input.json"
        },
        "result": {
          "path": "examples/cutlass__sparse-gemm-runtime-fp8-family__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 25.025053835,
      "analysis_time_source": {
        "path": "examples/cutlass__sparse-gemm-runtime-fp8-family__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "deepgemm__deepgemm_sm100_bf16_gemm_m128_n256_k128__sm_100f",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/deepgemm__deepgemm_sm100_bf16_gemm_m128_n256_k128__sm_100f.ptx"
        },
        "input": {
          "path": "examples/deepgemm__deepgemm_sm100_bf16_gemm_m128_n256_k128__sm_100f/input.json"
        },
        "result": {
          "path": "examples/deepgemm__deepgemm_sm100_bf16_gemm_m128_n256_k128__sm_100f/output.json"
        },
        "reference": {
          "path": "examples/deepgemm__deepgemm_sm100_bf16_gemm_m128_n256_k128__sm_100f/reference.py"
        },
        "reference_binding": {
          "path": "examples/deepgemm__deepgemm_sm100_bf16_gemm_m128_n256_k128__sm_100f/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 73,
        "sync_instructions_note": "73 (31 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 16,
            "candidates": 31,
            "note": "16 of 31 ([#98](https://github.com/wmdi/wasp_verification/issues/98), [#99](https://github.com/wmdi/wasp_verification/issues/99))"
          },
          "performance": {
            "status": "no_measurable_change",
            "runtime_change_percent": 0.0,
            "note": "no measurable change (1.36 vs 1.38 \u00b5s); B200 output identical",
            "original_us": 1.36,
            "reduced_us": 1.38
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 19,
            "candidates": 45,
            "note": "19 of 45 with M 128 \u2192 18,944 on the first cluster only; the 16-site recorded-input reduction is `not_wellsynced` here and hangs on a B200"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -0.4,
            "note": "-0.4% (7.63 \u2192 7.60 \u00b5s); B200 output identical",
            "original_us": 7.63,
            "reduced_us": 7.6
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/98",
          "https://github.com/wmdi/wasp_verification/issues/99"
        ]
      },
      "analysis_time_seconds": 20.588045216,
      "analysis_time_source": {
        "path": "examples/deepgemm__deepgemm_sm100_bf16_gemm_m128_n256_k128__sm_100f/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "deepgemm__deepgemm_sm100_mqa_logits_m128_n512_h8_d64__sm_100f",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/deepgemm__deepgemm_sm100_mqa_logits_m128_n512_h8_d64__sm_100f.ptx"
        },
        "input": {
          "path": "examples/deepgemm__deepgemm_sm100_mqa_logits_m128_n512_h8_d64__sm_100f/input.json"
        },
        "result": {
          "path": "examples/deepgemm__deepgemm_sm100_mqa_logits_m128_n512_h8_d64__sm_100f/output.json"
        }
      },
      "analysis_time_seconds": 0.034362305,
      "analysis_time_source": {
        "path": "examples/deepgemm__deepgemm_sm100_mqa_logits_m128_n512_h8_d64__sm_100f/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flash_attention__bwd_block_sparse_bf16_h128__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_parameter_value_missing",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flash_attention__bwd_block_sparse_bf16_h128__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flash_attention__bwd_block_sparse_bf16_h128__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flash_attention__bwd_block_sparse_bf16_h128__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.080729368,
      "analysis_time_source": {
        "path": "examples/flash_attention__bwd_block_sparse_bf16_h128__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flash_attention__bwd_dense_bf16_h64__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "atomic_add_value_semantics_unsupported",
          "stage": "value_lowering"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flash_attention__bwd_dense_bf16_h64__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flash_attention__bwd_dense_bf16_h64__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flash_attention__bwd_dense_bf16_h64__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/flash_attention__bwd_dense_bf16_h64__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/flash_attention__bwd_dense_bf16_h64__sm_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 123,
        "sync_instructions_note": "123 (109 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 46,
            "candidates": 109,
            "note": "46 of 109 ([#102](https://github.com/wmdi/wasp_verification/issues/102), [#103](https://github.com/wmdi/wasp_verification/issues/103))"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -10.2,
            "note": "-10.2% (6.65 \u2192 5.97 \u00b5s); B200 output identical",
            "original_us": 6.65,
            "reduced_us": 5.97
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 37,
            "candidates": 109,
            "note": "37 of 109 with query and key length 256 \u2192 512, first 2 of 4 CTAs; the 46-site recorded-input reduction is `not_wellsynced` here and hangs on a B200"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -8.3,
            "note": "-8.3% (10.57 \u2192 9.69 \u00b5s); B200 output identical",
            "original_us": 10.57,
            "reduced_us": 9.69
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/102",
          "https://github.com/wmdi/wasp_verification/issues/103"
        ]
      },
      "analysis_time_seconds": 71.680643552,
      "analysis_time_source": {
        "path": "examples/flash_attention__bwd_dense_bf16_h64__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flash_attention__bwd_dense_fp16_h128_causal_gqa__sm_100a",
      "result": "invalid_lifecycle",
      "diagnostics": [
        {
          "code": "barrier_initialized_multiple_times",
          "stage": "event_view_validation"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flash_attention__bwd_dense_fp16_h128_causal_gqa__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flash_attention__bwd_dense_fp16_h128_causal_gqa__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flash_attention__bwd_dense_fp16_h128_causal_gqa__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 16.166174151,
      "analysis_time_source": {
        "path": "examples/flash_attention__bwd_dense_fp16_h128_causal_gqa__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flash_attention__bwd_deterministic_bf16_h128__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flash_attention__bwd_deterministic_bf16_h128__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flash_attention__bwd_deterministic_bf16_h128__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flash_attention__bwd_deterministic_bf16_h128__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 1.71900233,
      "analysis_time_source": {
        "path": "examples/flash_attention__bwd_deterministic_bf16_h128__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flash_attention__bwd_hd256_bf16_2cta__sm_100a",
      "result": "invalid_lifecycle",
      "diagnostics": [
        {
          "code": "access_completion_before_deallocation_not_proven",
          "stage": "lifecycle_check"
        },
        {
          "code": "paired_access_completion_before_deallocation_not_proven",
          "stage": "lifecycle_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flash_attention__bwd_hd256_bf16_2cta__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flash_attention__bwd_hd256_bf16_2cta__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flash_attention__bwd_hd256_bf16_2cta__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 302.799368699,
      "analysis_time_source": {
        "path": "examples/flash_attention__bwd_hd256_bf16_2cta__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flash_attention__bwd_mla_sparse_bf16__dk__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flash_attention__bwd_mla_sparse_bf16__dk__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flash_attention__bwd_mla_sparse_bf16__dk__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flash_attention__bwd_mla_sparse_bf16__dk__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.210960563,
      "analysis_time_source": {
        "path": "examples/flash_attention__bwd_mla_sparse_bf16__dk__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flash_attention__bwd_mla_sparse_bf16__dq_dqv__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "async_copy_source_control_not_static",
          "stage": "event_view_construction"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flash_attention__bwd_mla_sparse_bf16__dq_dqv__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flash_attention__bwd_mla_sparse_bf16__dq_dqv__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flash_attention__bwd_mla_sparse_bf16__dq_dqv__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 1.249013463,
      "analysis_time_source": {
        "path": "examples/flash_attention__bwd_mla_sparse_bf16__dq_dqv__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flash_attention__bwd_mla_sparse_bf16__main__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_parameter_value_missing",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flash_attention__bwd_mla_sparse_bf16__main__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flash_attention__bwd_mla_sparse_bf16__main__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flash_attention__bwd_mla_sparse_bf16__main__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.138360337,
      "analysis_time_source": {
        "path": "examples/flash_attention__bwd_mla_sparse_bf16__main__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flash_attention__bwd_varlen_bf16_h128__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flash_attention__bwd_varlen_bf16_h128__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flash_attention__bwd_varlen_bf16_h128__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flash_attention__bwd_varlen_bf16_h128__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.239188997,
      "analysis_time_source": {
        "path": "examples/flash_attention__bwd_varlen_bf16_h128__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flash_attention__fwd_block_sparse_bf16_h128__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flash_attention__fwd_block_sparse_bf16_h128__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flash_attention__fwd_block_sparse_bf16_h128__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flash_attention__fwd_block_sparse_bf16_h128__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.877524272,
      "analysis_time_source": {
        "path": "examples/flash_attention__fwd_block_sparse_bf16_h128__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flash_attention__fwd_dense_bf16_h192_dv128__sm_100a",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/flash_attention__fwd_dense_bf16_h192_dv128__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flash_attention__fwd_dense_bf16_h192_dv128__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flash_attention__fwd_dense_bf16_h192_dv128__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/flash_attention__fwd_dense_bf16_h192_dv128__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/flash_attention__fwd_dense_bf16_h192_dv128__sm_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 83,
        "sync_instructions_note": "83 (80 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 26,
            "candidates": 80,
            "note": "26 of 80 ([#235](https://github.com/wmdi/wasp_verification/issues/235), [#236](https://github.com/wmdi/wasp_verification/issues/236))"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -11.4,
            "note": "-11.4% (6.34 \u2192 5.57 \u00b5s); B200 output identical",
            "original_us": 6.34,
            "reduced_us": 5.57
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "not_run",
            "note": "not rerun in full: with 2 output tiles per CTA the original kernel is reported `potential_race` (not reproduced on a B200); 17 of the 26 recorded-input removals break the barrier protocol there, 9 undecided"
          },
          "performance": {
            "status": "not_reported",
            "note": ""
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/235",
          "https://github.com/wmdi/wasp_verification/issues/236"
        ]
      },
      "analysis_time_seconds": 227.246186032,
      "analysis_time_source": {
        "path": "examples/flash_attention__fwd_dense_bf16_h192_dv128__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flash_attention__fwd_dense_bf16_h64__sm_100a",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/flash_attention__fwd_dense_bf16_h64__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flash_attention__fwd_dense_bf16_h64__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flash_attention__fwd_dense_bf16_h64__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/flash_attention__fwd_dense_bf16_h64__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/flash_attention__fwd_dense_bf16_h64__sm_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 86,
        "sync_instructions_note": "86 (84 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 32,
            "candidates": 84,
            "note": "32 of 84 ([#230](https://github.com/wmdi/wasp_verification/issues/230), [#231](https://github.com/wmdi/wasp_verification/issues/231))"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -14.5,
            "note": "-14.5% (5.11 \u2192 4.39 \u00b5s); B200 output identical",
            "original_us": 5.11,
            "reduced_us": 4.39
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 18,
            "candidates": 84,
            "note": "18 of 84 with 2 output tiles per CTA, key/value length 256 \u2192 512; the 32-site recorded-input reduction is `not_wellsynced` here and faults (launch failure) on a B200"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -1.1,
            "note": "-1.1% (10.90 \u2192 10.73 \u00b5s); B200 output identical",
            "original_us": 10.9,
            "reduced_us": 10.73
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/230",
          "https://github.com/wmdi/wasp_verification/issues/231"
        ]
      },
      "analysis_time_seconds": 283.982981615,
      "analysis_time_source": {
        "path": "examples/flash_attention__fwd_dense_bf16_h64__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flash_attention__fwd_dense_fp16_h128_causal_gqa__sm_100a",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/flash_attention__fwd_dense_fp16_h128_causal_gqa__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flash_attention__fwd_dense_fp16_h128_causal_gqa__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flash_attention__fwd_dense_fp16_h128_causal_gqa__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/flash_attention__fwd_dense_fp16_h128_causal_gqa__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/flash_attention__fwd_dense_fp16_h128_causal_gqa__sm_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 113,
        "sync_instructions_note": "113 (102 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 28,
            "candidates": 102,
            "note": "28 of 102 ([#237](https://github.com/wmdi/wasp_verification/issues/237), [#238](https://github.com/wmdi/wasp_verification/issues/238)); verified with the pipeline timeout raised above 300 s"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -14.8,
            "note": "-14.8% (6.24 \u2192 5.37 \u00b5s); B200 output identical",
            "original_us": 6.24,
            "reduced_us": 5.37
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "not_run",
            "note": "not rerun: its tile scheduler parameters were not rescaled"
          },
          "performance": {
            "status": "not_reported",
            "note": ""
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/237",
          "https://github.com/wmdi/wasp_verification/issues/238"
        ]
      },
      "analysis_time_seconds": 447.520892126,
      "analysis_time_source": {
        "path": "examples/flash_attention__fwd_dense_fp16_h128_causal_gqa__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flash_attention__fwd_fp8_h128__sm_100a",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/flash_attention__fwd_fp8_h128__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flash_attention__fwd_fp8_h128__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flash_attention__fwd_fp8_h128__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/flash_attention__fwd_fp8_h128__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/flash_attention__fwd_fp8_h128__sm_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 85,
        "sync_instructions_note": "85 (83 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 31,
            "candidates": 83,
            "note": "31 of 83 ([#232](https://github.com/wmdi/wasp_verification/issues/232), [#233](https://github.com/wmdi/wasp_verification/issues/233))"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -13.8,
            "note": "-13.8% (5.15 \u2192 4.42 \u00b5s); B200 output identical",
            "original_us": 5.15,
            "reduced_us": 4.42
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 17,
            "candidates": 83,
            "note": "17 of 83 with 2 output tiles per CTA, key/value length 256 \u2192 512; the 31-site recorded-input reduction is `not_wellsynced` with 2 output tiles per CTA and faults (launch failure) on a B200; 19 sites remain removable at the recorded key/value length, but not at twice that length"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -0.8,
            "note": "-0.8% (10.58 \u2192 10.45 \u00b5s); B200 output identical",
            "original_us": 10.58,
            "reduced_us": 10.45
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/232",
          "https://github.com/wmdi/wasp_verification/issues/233"
        ]
      },
      "analysis_time_seconds": 184.472521184,
      "analysis_time_source": {
        "path": "examples/flash_attention__fwd_fp8_h128__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flash_attention__fwd_hd256_bf16_2cta__sm_100a",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/flash_attention__fwd_hd256_bf16_2cta__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flash_attention__fwd_hd256_bf16_2cta__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flash_attention__fwd_hd256_bf16_2cta__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/flash_attention__fwd_hd256_bf16_2cta__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/flash_attention__fwd_hd256_bf16_2cta__sm_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 93,
        "sync_instructions_note": "93 (73 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 35,
            "candidates": 73,
            "note": "35 of 73 ([#112](https://github.com/wmdi/wasp_verification/issues/112), [#113](https://github.com/wmdi/wasp_verification/issues/113))"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -2.7,
            "note": "-2.7% (42.04 \u2192 40.89 \u00b5s); B200 output identical",
            "original_us": 42.04,
            "reduced_us": 40.89
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 28,
            "candidates": 83,
            "note": "28 of 83 with key/value length 256 \u2192 512; the 35-site recorded-input reduction is `not_wellsynced` here and hangs on a B200"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -2.8,
            "note": "-2.8% (43.83 \u2192 42.58 \u00b5s); B200 output identical",
            "original_us": 43.83,
            "reduced_us": 42.58
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/112",
          "https://github.com/wmdi/wasp_verification/issues/113"
        ]
      },
      "analysis_time_seconds": 43.219330524,
      "analysis_time_source": {
        "path": "examples/flash_attention__fwd_hd256_bf16_2cta__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flash_attention__fwd_mla_dense_bf16__sm_100a",
      "result": "invalid_lifecycle",
      "diagnostics": [
        {
          "code": "cluster_barrier_arrive_repeated_without_wait",
          "stage": "event_view_construction"
        },
        {
          "code": "cluster_wait_without_arrive",
          "stage": "event_view_construction"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flash_attention__fwd_mla_dense_bf16__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flash_attention__fwd_mla_dense_bf16__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flash_attention__fwd_mla_dense_bf16__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 4.03943552,
      "analysis_time_source": {
        "path": "examples/flash_attention__fwd_mla_dense_bf16__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flash_attention__fwd_mla_sparse_bf16__sm_100a",
      "result": "invalid_lifecycle",
      "diagnostics": [
        {
          "code": "async_copy_source_control_not_static",
          "stage": "event_view_construction"
        },
        {
          "code": "cluster_barrier_arrive_repeated_without_wait",
          "stage": "event_view_construction"
        },
        {
          "code": "cluster_wait_without_arrive",
          "stage": "event_view_construction"
        },
        {
          "code": "missing_tma_descriptor",
          "stage": "event_view_construction"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flash_attention__fwd_mla_sparse_bf16__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flash_attention__fwd_mla_sparse_bf16__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flash_attention__fwd_mla_sparse_bf16__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 1.581065937,
      "analysis_time_source": {
        "path": "examples/flash_attention__fwd_mla_sparse_bf16__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flash_attention__fwd_paged_bf16_h128__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "input_alignment_not_proven",
          "stage": "equivalence_import"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flash_attention__fwd_paged_bf16_h128__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flash_attention__fwd_paged_bf16_h128__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flash_attention__fwd_paged_bf16_h128__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/flash_attention__fwd_paged_bf16_h128__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/flash_attention__fwd_paged_bf16_h128__sm_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 75,
        "sync_instructions_note": "75 (73 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 25,
            "candidates": 73,
            "note": "25 of 73 ([#293](https://github.com/wmdi/wasp_verification/issues/293), [#294](https://github.com/wmdi/wasp_verification/issues/294))"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -18.1,
            "note": "-18.1% (5.76 \u2192 4.71 \u00b5s); B200 output identical",
            "original_us": 5.76,
            "reduced_us": 4.71
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "not_run",
            "note": "not rerun: it needs a larger page table"
          },
          "performance": {
            "status": "not_reported",
            "note": ""
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/293",
          "https://github.com/wmdi/wasp_verification/issues/294"
        ]
      },
      "analysis_time_seconds": 283.151018678,
      "analysis_time_source": {
        "path": "examples/flash_attention__fwd_paged_bf16_h128__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flash_attention__fwd_split_bf16_h64__sm_100a",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/flash_attention__fwd_split_bf16_h64__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flash_attention__fwd_split_bf16_h64__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flash_attention__fwd_split_bf16_h64__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/flash_attention__fwd_split_bf16_h64__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/flash_attention__fwd_split_bf16_h64__sm_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 85,
        "sync_instructions_note": "85 (83 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 31,
            "candidates": 83,
            "note": "31 of 83 ([#117](https://github.com/wmdi/wasp_verification/issues/117), [#118](https://github.com/wmdi/wasp_verification/issues/118))"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -11.5,
            "note": "-11.5% (4.66 \u2192 4.09 \u00b5s); B200 output identical",
            "original_us": 4.66,
            "reduced_us": 4.09
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 26,
            "candidates": 83,
            "note": "26 of 83 with key/value length 512 \u2192 2,048, first CTA only; the 31-site recorded-input reduction is `not_wellsynced` here and faults (launch failure) on a B200"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -6.1,
            "note": "-6.1% (10.09 \u2192 9.46 \u00b5s); B200 output identical",
            "original_us": 10.09,
            "reduced_us": 9.46
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/117",
          "https://github.com/wmdi/wasp_verification/issues/118"
        ]
      },
      "analysis_time_seconds": 103.643864632,
      "analysis_time_source": {
        "path": "examples/flash_attention__fwd_split_bf16_h64__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flash_attention__fwd_varlen_bf16_h128__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flash_attention__fwd_varlen_bf16_h128__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flash_attention__fwd_varlen_bf16_h128__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flash_attention__fwd_varlen_bf16_h128__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.101513831,
      "analysis_time_source": {
        "path": "examples/flash_attention__fwd_varlen_bf16_h128__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__bgmv_moe__moe_bgmv_bf16_bf16_bf16__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__bgmv_moe__moe_bgmv_bf16_bf16_bf16__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__bgmv_moe__moe_bgmv_bf16_bf16_bf16__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__bgmv_moe__moe_bgmv_bf16_bf16_bf16__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 1.433708955,
      "analysis_time_source": {
        "path": "examples/flashinfer__bgmv_moe__moe_bgmv_bf16_bf16_bf16__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__blackwell_bgmv_moe__blackwell_bgmv_moe_bf16_h2688_sm100a__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__blackwell_bgmv_moe__blackwell_bgmv_moe_bf16_h2688_sm100a__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__blackwell_bgmv_moe__blackwell_bgmv_moe_bf16_h2688_sm100a__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__blackwell_bgmv_moe__blackwell_bgmv_moe_bf16_h2688_sm100a__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.122871532,
      "analysis_time_source": {
        "path": "examples/flashinfer__blackwell_bgmv_moe__blackwell_bgmv_moe_bf16_h2688_sm100a__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__blackwell_msa__decode_m16_bf16_flat__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__blackwell_msa__decode_m16_bf16_flat__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__blackwell_msa__decode_m16_bf16_flat__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__blackwell_msa__decode_m16_bf16_flat__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.842361977,
      "analysis_time_source": {
        "path": "examples/flashinfer__blackwell_msa__decode_m16_bf16_flat__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__blackwell_msa__decode_m16_bf16_paged__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__blackwell_msa__decode_m16_bf16_paged__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__blackwell_msa__decode_m16_bf16_paged__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__blackwell_msa__decode_m16_bf16_paged__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.801288588,
      "analysis_time_source": {
        "path": "examples/flashinfer__blackwell_msa__decode_m16_bf16_paged__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__blackwell_msa__decode_m16_bf16_query_fp8_kv_paged__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__blackwell_msa__decode_m16_bf16_query_fp8_kv_paged__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__blackwell_msa__decode_m16_bf16_query_fp8_kv_paged__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__blackwell_msa__decode_m16_bf16_query_fp8_kv_paged__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 1.144017662,
      "analysis_time_source": {
        "path": "examples/flashinfer__blackwell_msa__decode_m16_bf16_query_fp8_kv_paged__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__blackwell_msa__long_prefill_paged_bf16_gqa16_sm100__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__blackwell_msa__long_prefill_paged_bf16_gqa16_sm100__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__blackwell_msa__long_prefill_paged_bf16_gqa16_sm100__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__blackwell_msa__long_prefill_paged_bf16_gqa16_sm100__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.093700297,
      "analysis_time_source": {
        "path": "examples/flashinfer__blackwell_msa__long_prefill_paged_bf16_gqa16_sm100__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__blackwell_msa__prefill_union_bf16_flat__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__blackwell_msa__prefill_union_bf16_flat__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__blackwell_msa__prefill_union_bf16_flat__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__blackwell_msa__prefill_union_bf16_flat__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.216270736,
      "analysis_time_source": {
        "path": "examples/flashinfer__blackwell_msa__prefill_union_bf16_flat__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__blackwell_msa__prefill_union_bf16_paged__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__blackwell_msa__prefill_union_bf16_paged__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__blackwell_msa__prefill_union_bf16_paged__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__blackwell_msa__prefill_union_bf16_paged__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.226953665,
      "analysis_time_source": {
        "path": "examples/flashinfer__blackwell_msa__prefill_union_bf16_paged__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__blackwell_msa__reverse_prefill_bf16_paged_topk4_qload4__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__blackwell_msa__reverse_prefill_bf16_paged_topk4_qload4__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__blackwell_msa__reverse_prefill_bf16_paged_topk4_qload4__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__blackwell_msa__reverse_prefill_bf16_paged_topk4_qload4__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.123376356,
      "analysis_time_source": {
        "path": "examples/flashinfer__blackwell_msa__reverse_prefill_bf16_paged_topk4_qload4__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__cake_kda_decode__sm100_split8__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__cake_kda_decode__sm100_split8__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__cake_kda_decode__sm100_split8__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__cake_kda_decode__sm100_split8__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.009418144,
      "analysis_time_source": {
        "path": "examples/flashinfer__cake_kda_decode__sm100_split8__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__cake_kda_fused__sm100_unbounded_softplus__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__cake_kda_fused__sm100_unbounded_softplus__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__cake_kda_fused__sm100_unbounded_softplus__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__cake_kda_fused__sm100_unbounded_softplus__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.12756727,
      "analysis_time_source": {
        "path": "examples/flashinfer__cake_kda_fused__sm100_unbounded_softplus__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__cake_kda_packed_t1__cpasync_tile128_register_pipeline__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__cake_kda_packed_t1__cpasync_tile128_register_pipeline__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__cake_kda_packed_t1__cpasync_tile128_register_pipeline__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__cake_kda_packed_t1__cpasync_tile128_register_pipeline__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.032962787,
      "analysis_time_source": {
        "path": "examples/flashinfer__cake_kda_packed_t1__cpasync_tile128_register_pipeline__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__cake_kda_packed_t1__register_tile8_interleaved__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__cake_kda_packed_t1__register_tile8_interleaved__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__cake_kda_packed_t1__register_tile8_interleaved__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__cake_kda_packed_t1__register_tile8_interleaved__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.007046376,
      "analysis_time_source": {
        "path": "examples/flashinfer__cake_kda_packed_t1__register_tile8_interleaved__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__cake_mamba_ssd_combined__exact_bf16_batched__sm_100a",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__cake_mamba_ssd_combined__exact_bf16_batched__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__cake_mamba_ssd_combined__exact_bf16_batched__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__cake_mamba_ssd_combined__exact_bf16_batched__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/flashinfer__cake_mamba_ssd_combined__exact_bf16_batched__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/flashinfer__cake_mamba_ssd_combined__exact_bf16_batched__sm_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 84,
        "sync_instructions_note": "84 (72 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 35,
            "candidates": 72,
            "note": "35 of 72 ([#133](https://github.com/wmdi/wasp_verification/issues/133), [#134](https://github.com/wmdi/wasp_verification/issues/134))"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -6.0,
            "note": "-6.0% (19.66 \u2192 18.86 \u00b5s); B200 output identical",
            "original_us": 19.66,
            "reduced_us": 18.86
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 27,
            "candidates": 74,
            "note": "27 of 74 with sequence length 256 \u2192 512; the 35-site recorded-input reduction is `not_wellsynced` here and faults (launch failure) on a B200"
          },
          "performance": {
            "status": "no_measurable_change",
            "runtime_change_percent": 0.0,
            "note": "no measurable change (29.83 vs 29.18 \u00b5s); B200 output identical",
            "original_us": 29.83,
            "reduced_us": 29.18
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/133",
          "https://github.com/wmdi/wasp_verification/issues/134"
        ]
      },
      "analysis_time_seconds": 57.81329823,
      "analysis_time_source": {
        "path": "examples/flashinfer__cake_mamba_ssd_combined__exact_bf16_batched__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__cake_mamba_ssd_combined__exact_bf16_varlen__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__cake_mamba_ssd_combined__exact_bf16_varlen__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__cake_mamba_ssd_combined__exact_bf16_varlen__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__cake_mamba_ssd_combined__exact_bf16_varlen__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.470017201,
      "analysis_time_source": {
        "path": "examples/flashinfer__cake_mamba_ssd_combined__exact_bf16_varlen__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__cake_selective_state_update__mtp_horizontal__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "opaque_compute_diamond",
          "stage": "value_lowering"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__cake_selective_state_update__mtp_horizontal__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__cake_selective_state_update__mtp_horizontal__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__cake_selective_state_update__mtp_horizontal__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/flashinfer__cake_selective_state_update__mtp_horizontal__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/flashinfer__cake_selective_state_update__mtp_horizontal__sm_100a/reference_binding.json"
        }
      },
      "analysis_time_seconds": 4.244945745,
      "analysis_time_source": {
        "path": "examples/flashinfer__cake_selective_state_update__mtp_horizontal__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__cake_selective_state_update__mtp_short__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__cake_selective_state_update__mtp_short__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__cake_selective_state_update__mtp_short__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__cake_selective_state_update__mtp_short__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.011042302,
      "analysis_time_source": {
        "path": "examples/flashinfer__cake_selective_state_update__mtp_short__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__cake_selective_state_update__stp_bf16_direct__sm_100a",
      "result": "potential_race",
      "diagnostics": [
        {
          "code": "conflicting_accesses_unordered",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__cake_selective_state_update__stp_bf16_direct__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__cake_selective_state_update__stp_bf16_direct__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__cake_selective_state_update__stp_bf16_direct__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 2.416004476,
      "analysis_time_source": {
        "path": "examples/flashinfer__cake_selective_state_update__stp_bf16_direct__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__cake_selective_state_update__stp_bf16_persistent__sm_100a",
      "result": "potential_race",
      "diagnostics": [
        {
          "code": "conflicting_accesses_unordered",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__cake_selective_state_update__stp_bf16_persistent__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__cake_selective_state_update__stp_bf16_persistent__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__cake_selective_state_update__stp_bf16_persistent__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 2.37079799,
      "analysis_time_source": {
        "path": "examples/flashinfer__cake_selective_state_update__stp_bf16_persistent__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__cake_vsa__blk64_persistent_ws_m64n256__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__cake_vsa__blk64_persistent_ws_m64n256__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__cake_vsa__blk64_persistent_ws_m64n256__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__cake_vsa__blk64_persistent_ws_m64n256__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.094478982,
      "analysis_time_source": {
        "path": "examples/flashinfer__cake_vsa__blk64_persistent_ws_m64n256__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__cake_vsa__ultrasparse_bsr__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__cake_vsa__ultrasparse_bsr__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__cake_vsa__ultrasparse_bsr__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__cake_vsa__ultrasparse_bsr__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 1.819747498,
      "analysis_time_source": {
        "path": "examples/flashinfer__cake_vsa__ultrasparse_bsr__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__cascade__merge_state_bf16__sm_100a",
      "result": "potential_race",
      "diagnostics": [
        {
          "code": "conflicting_accesses_unordered",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__cascade__merge_state_bf16__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__cascade__merge_state_bf16__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__cascade__merge_state_bf16__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.02182485,
      "analysis_time_source": {
        "path": "examples/flashinfer__cascade__merge_state_bf16__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__flash_kda__cake_flashkda_bf16_persistent_m128__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__flash_kda__cake_flashkda_bf16_persistent_m128__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__flash_kda__cake_flashkda_bf16_persistent_m128__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__flash_kda__cake_flashkda_bf16_persistent_m128__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.10501665,
      "analysis_time_source": {
        "path": "examples/flashinfer__flash_kda__cake_flashkda_bf16_persistent_m128__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__flash_kda_backward__flashkda_backward__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__flash_kda_backward__flashkda_backward__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__flash_kda_backward__flashkda_backward__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__flash_kda_backward__flashkda_backward__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.434955143,
      "analysis_time_source": {
        "path": "examples/flashinfer__flash_kda_backward__flashkda_backward__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__flash_kda_training__cake_flashkda_training_c16_aligned_forward_36075669f2__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__flash_kda_training__cake_flashkda_training_c16_aligned_forward_36075669f2__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__flash_kda_training__cake_flashkda_training_c16_aligned_forward_36075669f2__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__flash_kda_training__cake_flashkda_training_c16_aligned_forward_36075669f2__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.622426427,
      "analysis_time_source": {
        "path": "examples/flashinfer__flash_kda_training__cake_flashkda_training_c16_aligned_forward_36075669f2__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__fused_moe_cutlass__cutlass_kernel_file_gemm_grouped_sm100_M128_BS_group0.generated__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "allocation_alias_relation_unknown",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__fused_moe_cutlass__cutlass_kernel_file_gemm_grouped_sm100_M128_BS_group0.generated__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__fused_moe_cutlass__cutlass_kernel_file_gemm_grouped_sm100_M128_BS_group0.generated__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__fused_moe_cutlass__cutlass_kernel_file_gemm_grouped_sm100_M128_BS_group0.generated__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 30.41084346,
      "analysis_time_source": {
        "path": "examples/flashinfer__fused_moe_cutlass__cutlass_kernel_file_gemm_grouped_sm100_M128_BS_group0.generated__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__fused_moe_cutlass__cutlass_kernel_file_gemm_grouped_sm100_M128_group0.generated__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "allocation_alias_relation_unknown",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__fused_moe_cutlass__cutlass_kernel_file_gemm_grouped_sm100_M128_group0.generated__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__fused_moe_cutlass__cutlass_kernel_file_gemm_grouped_sm100_M128_group0.generated__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__fused_moe_cutlass__cutlass_kernel_file_gemm_grouped_sm100_M128_group0.generated__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 29.33021349,
      "analysis_time_source": {
        "path": "examples/flashinfer__fused_moe_cutlass__cutlass_kernel_file_gemm_grouped_sm100_M128_group0.generated__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__fused_moe_cutlass_static__moe_gemm_kernels_bf16_bf16__sm_100a",
      "result": "timeout",
      "diagnostics": [
        {
          "code": "timeout",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__fused_moe_cutlass_static__moe_gemm_kernels_bf16_bf16__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__fused_moe_cutlass_static__moe_gemm_kernels_bf16_bf16__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__fused_moe_cutlass_static__moe_gemm_kernels_bf16_bf16__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 500.009478938,
      "analysis_time_source": {
        "path": "examples/flashinfer__fused_moe_cutlass_static__moe_gemm_kernels_bf16_bf16__sm_100a/output.json",
        "field": "elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__fused_moe_cutlass_static__moe_gemm_kernels_bf16_uint4__sm_100a",
      "result": "timeout",
      "diagnostics": [
        {
          "code": "timeout",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__fused_moe_cutlass_static__moe_gemm_kernels_bf16_uint4__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__fused_moe_cutlass_static__moe_gemm_kernels_bf16_uint4__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__fused_moe_cutlass_static__moe_gemm_kernels_bf16_uint4__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 500.08059429,
      "analysis_time_source": {
        "path": "examples/flashinfer__fused_moe_cutlass_static__moe_gemm_kernels_bf16_uint4__sm_100a/output.json",
        "field": "elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__fused_moe_cutlass_static__moe_gemm_kernels_fp8_fp8__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__fused_moe_cutlass_static__moe_gemm_kernels_fp8_fp8__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__fused_moe_cutlass_static__moe_gemm_kernels_fp8_fp8__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__fused_moe_cutlass_static__moe_gemm_kernels_fp8_fp8__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.410620831,
      "analysis_time_source": {
        "path": "examples/flashinfer__fused_moe_cutlass_static__moe_gemm_kernels_fp8_fp8__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__gemm_sm100_module__gemm_groupwise_e4m3_bf16_majorfalse_mma1_sm100__sm_100a",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__gemm_sm100_module__gemm_groupwise_e4m3_bf16_majorfalse_mma1_sm100__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__gemm_sm100_module__gemm_groupwise_e4m3_bf16_majorfalse_mma1_sm100__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__gemm_sm100_module__gemm_groupwise_e4m3_bf16_majorfalse_mma1_sm100__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/flashinfer__gemm_sm100_module__gemm_groupwise_e4m3_bf16_majorfalse_mma1_sm100__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/flashinfer__gemm_sm100_module__gemm_groupwise_e4m3_bf16_majorfalse_mma1_sm100__sm_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 145,
        "sync_instructions_note": "145 (76 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 44,
            "candidates": 76,
            "note": "44 of 76 ([#151](https://github.com/wmdi/wasp_verification/issues/151), [#152](https://github.com/wmdi/wasp_verification/issues/152))"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -6.5,
            "note": "-6.5% (4.29 \u2192 4.00 \u00b5s); B200 output identical",
            "original_us": 4.29,
            "reduced_us": 4.0
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 40,
            "candidates": 78,
            "note": "40 of 78 with K 256 \u2192 1,280; the 44-site recorded-input reduction is `not_wellsynced` here and hangs on a B200"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -4.0,
            "note": "-4.0% (6.84 \u2192 6.60 \u00b5s); B200 output identical",
            "original_us": 6.84,
            "reduced_us": 6.6
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/151",
          "https://github.com/wmdi/wasp_verification/issues/152"
        ]
      },
      "analysis_time_seconds": 11.1337382,
      "analysis_time_source": {
        "path": "examples/flashinfer__gemm_sm100_module__gemm_groupwise_e4m3_bf16_majorfalse_mma1_sm100__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__gemm_sm100_module__gemm_groupwise_e4m3_bf16_majorfalse_mma2_sm100__sm_100a",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__gemm_sm100_module__gemm_groupwise_e4m3_bf16_majorfalse_mma2_sm100__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__gemm_sm100_module__gemm_groupwise_e4m3_bf16_majorfalse_mma2_sm100__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__gemm_sm100_module__gemm_groupwise_e4m3_bf16_majorfalse_mma2_sm100__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/flashinfer__gemm_sm100_module__gemm_groupwise_e4m3_bf16_majorfalse_mma2_sm100__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/flashinfer__gemm_sm100_module__gemm_groupwise_e4m3_bf16_majorfalse_mma2_sm100__sm_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 152,
        "sync_instructions_note": "152 (83 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 47,
            "candidates": 83,
            "note": "47 of 83 ([#153](https://github.com/wmdi/wasp_verification/issues/153), [#154](https://github.com/wmdi/wasp_verification/issues/154))"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -5.2,
            "note": "-5.2% (4.07 \u2192 3.87 \u00b5s); B200 output identical",
            "original_us": 4.07,
            "reduced_us": 3.87
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 43,
            "candidates": 85,
            "note": "43 of 85 with K 256 \u2192 1,792; the 47-site recorded-input reduction is `not_wellsynced` here and hangs on a B200"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -2.8,
            "note": "-2.8% (7.80 \u2192 7.58 \u00b5s); B200 output identical",
            "original_us": 7.8,
            "reduced_us": 7.58
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/153",
          "https://github.com/wmdi/wasp_verification/issues/154"
        ]
      },
      "analysis_time_seconds": 24.4289909,
      "analysis_time_source": {
        "path": "examples/flashinfer__gemm_sm100_module__gemm_groupwise_e4m3_bf16_majorfalse_mma2_sm100__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__gemm_sm100_module__group_gemm_mxfp4_groupwise_e4m3_bf16_mma1_swapfalse_sm100__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "allocation_alias_relation_unknown",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__gemm_sm100_module__group_gemm_mxfp4_groupwise_e4m3_bf16_mma1_swapfalse_sm100__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__gemm_sm100_module__group_gemm_mxfp4_groupwise_e4m3_bf16_mma1_swapfalse_sm100__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__gemm_sm100_module__group_gemm_mxfp4_groupwise_e4m3_bf16_mma1_swapfalse_sm100__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 27.635144605,
      "analysis_time_source": {
        "path": "examples/flashinfer__gemm_sm100_module__group_gemm_mxfp4_groupwise_e4m3_bf16_mma1_swapfalse_sm100__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__gemm_sm100_module__group_gemm_mxfp4_groupwise_e4m3_bf16_mma2_swapfalse_sm100__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "allocation_alias_relation_unknown",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__gemm_sm100_module__group_gemm_mxfp4_groupwise_e4m3_bf16_mma2_swapfalse_sm100__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__gemm_sm100_module__group_gemm_mxfp4_groupwise_e4m3_bf16_mma2_swapfalse_sm100__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__gemm_sm100_module__group_gemm_mxfp4_groupwise_e4m3_bf16_mma2_swapfalse_sm100__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 47.082778419,
      "analysis_time_source": {
        "path": "examples/flashinfer__gemm_sm100_module__group_gemm_mxfp4_groupwise_e4m3_bf16_mma2_swapfalse_sm100__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__gemm_sm100_module_cutlass_bf16__bf16_gemm_cutlass___nv_bfloat16_128_128_128__sm_100a",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__gemm_sm100_module_cutlass_bf16__bf16_gemm_cutlass___nv_bfloat16_128_128_128__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__gemm_sm100_module_cutlass_bf16__bf16_gemm_cutlass___nv_bfloat16_128_128_128__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__gemm_sm100_module_cutlass_bf16__bf16_gemm_cutlass___nv_bfloat16_128_128_128__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/flashinfer__gemm_sm100_module_cutlass_bf16__bf16_gemm_cutlass___nv_bfloat16_128_128_128__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/flashinfer__gemm_sm100_module_cutlass_bf16__bf16_gemm_cutlass___nv_bfloat16_128_128_128__sm_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 113,
        "sync_instructions_note": "113 (50 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 24,
            "candidates": 50,
            "note": "24 of 50 ([#157](https://github.com/wmdi/wasp_verification/issues/157), [#158](https://github.com/wmdi/wasp_verification/issues/158))"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -8.2,
            "note": "-8.2% (3.40 \u2192 3.13 \u00b5s); B200 output identical",
            "original_us": 3.4,
            "reduced_us": 3.13
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 23,
            "candidates": 52,
            "note": "23 of 52 with K 128 \u2192 768; the 24-site recorded-input reduction is `not_wellsynced` here and hangs on a B200"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -4.9,
            "note": "-4.9% (4.79 \u2192 4.54 \u00b5s); B200 output identical",
            "original_us": 4.79,
            "reduced_us": 4.54
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/157",
          "https://github.com/wmdi/wasp_verification/issues/158"
        ]
      },
      "analysis_time_seconds": 7.085157682,
      "analysis_time_source": {
        "path": "examples/flashinfer__gemm_sm100_module_cutlass_bf16__bf16_gemm_cutlass___nv_bfloat16_128_128_128__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__gemm_sm100_module_cutlass_fp4__fp4_gemm_cutlass___nv_bfloat16_128_128_256__sm_100a",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__gemm_sm100_module_cutlass_fp4__fp4_gemm_cutlass___nv_bfloat16_128_128_256__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__gemm_sm100_module_cutlass_fp4__fp4_gemm_cutlass___nv_bfloat16_128_128_256__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__gemm_sm100_module_cutlass_fp4__fp4_gemm_cutlass___nv_bfloat16_128_128_256__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/flashinfer__gemm_sm100_module_cutlass_fp4__fp4_gemm_cutlass___nv_bfloat16_128_128_256__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/flashinfer__gemm_sm100_module_cutlass_fp4__fp4_gemm_cutlass___nv_bfloat16_128_128_256__sm_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 79,
        "sync_instructions_note": "79 (50 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 20,
            "candidates": 50,
            "note": "20 of 50 ([#159](https://github.com/wmdi/wasp_verification/issues/159), [#160](https://github.com/wmdi/wasp_verification/issues/160))"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -12.7,
            "note": "-12.7% (3.14 \u2192 2.74 \u00b5s); B200 output identical",
            "original_us": 3.14,
            "reduced_us": 2.74
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 19,
            "candidates": 52,
            "note": "19 of 52 with K 256 \u2192 2,560; the 20-site recorded-input reduction is `not_wellsynced` here and hangs on a B200"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -5.0,
            "note": "-5.0% (5.10 \u2192 4.83 \u00b5s); B200 output identical",
            "original_us": 5.1,
            "reduced_us": 4.83
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/159",
          "https://github.com/wmdi/wasp_verification/issues/160"
        ]
      },
      "analysis_time_seconds": 3.809943749,
      "analysis_time_source": {
        "path": "examples/flashinfer__gemm_sm100_module_cutlass_fp4__fp4_gemm_cutlass___nv_bfloat16_128_128_256__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__gemm_sm100_module_cutlass_fp8__fp8_gemm_cutlass___nv_bfloat16_128_128_128__sm_100a",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__gemm_sm100_module_cutlass_fp8__fp8_gemm_cutlass___nv_bfloat16_128_128_128__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__gemm_sm100_module_cutlass_fp8__fp8_gemm_cutlass___nv_bfloat16_128_128_128__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__gemm_sm100_module_cutlass_fp8__fp8_gemm_cutlass___nv_bfloat16_128_128_128__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/flashinfer__gemm_sm100_module_cutlass_fp8__fp8_gemm_cutlass___nv_bfloat16_128_128_128__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/flashinfer__gemm_sm100_module_cutlass_fp8__fp8_gemm_cutlass___nv_bfloat16_128_128_128__sm_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 80,
        "sync_instructions_note": "80 (53 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 27,
            "candidates": 53,
            "note": "27 of 53 ([#161](https://github.com/wmdi/wasp_verification/issues/161), [#162](https://github.com/wmdi/wasp_verification/issues/162))"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -9.2,
            "note": "-9.2% (2.56 \u2192 2.32 \u00b5s); B200 output identical",
            "original_us": 2.56,
            "reduced_us": 2.32
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 26,
            "candidates": 55,
            "note": "26 of 55 with K 128 \u2192 1,536; the 27-site recorded-input reduction is `not_wellsynced` here and hangs on a B200"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -5.3,
            "note": "-5.3% (3.93 \u2192 3.72 \u00b5s); B200 output identical",
            "original_us": 3.93,
            "reduced_us": 3.72
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/161",
          "https://github.com/wmdi/wasp_verification/issues/162"
        ]
      },
      "analysis_time_seconds": 7.688195272,
      "analysis_time_source": {
        "path": "examples/flashinfer__gemm_sm100_module_cutlass_fp8__fp8_gemm_cutlass___nv_bfloat16_128_128_128__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__gemm_sm100_module_cutlass_mxfp8__mxfp8_gemm_cutlass___nv_bfloat16_128_128_256__sm_100a",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__gemm_sm100_module_cutlass_mxfp8__mxfp8_gemm_cutlass___nv_bfloat16_128_128_256__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__gemm_sm100_module_cutlass_mxfp8__mxfp8_gemm_cutlass___nv_bfloat16_128_128_256__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__gemm_sm100_module_cutlass_mxfp8__mxfp8_gemm_cutlass___nv_bfloat16_128_128_256__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/flashinfer__gemm_sm100_module_cutlass_mxfp8__mxfp8_gemm_cutlass___nv_bfloat16_128_128_256__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/flashinfer__gemm_sm100_module_cutlass_mxfp8__mxfp8_gemm_cutlass___nv_bfloat16_128_128_256__sm_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 77,
        "sync_instructions_note": "77 (48 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 18,
            "candidates": 48,
            "note": "18 of 48 ([#163](https://github.com/wmdi/wasp_verification/issues/163), [#164](https://github.com/wmdi/wasp_verification/issues/164))"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -11.6,
            "note": "-11.6% (3.17 \u2192 2.82 \u00b5s); B200 output identical",
            "original_us": 3.17,
            "reduced_us": 2.82
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 17,
            "candidates": 50,
            "note": "17 of 50 with K 256 \u2192 1,536; the 18-site recorded-input reduction is `not_wellsynced` here and hangs on a B200"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -4.1,
            "note": "-4.1% (4.81 \u2192 4.62 \u00b5s); B200 output identical",
            "original_us": 4.81,
            "reduced_us": 4.62
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/163",
          "https://github.com/wmdi/wasp_verification/issues/164"
        ]
      },
      "analysis_time_seconds": 4.020612831,
      "analysis_time_source": {
        "path": "examples/flashinfer__gemm_sm100_module_cutlass_mxfp8__mxfp8_gemm_cutlass___nv_bfloat16_128_128_256__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__gemm_sm100_module_cutlass_nvfp4_svdquant__nvfp4_svdquant_gemm_cutlass_Tactic1Sm128x128x128Config__sm_100a",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__gemm_sm100_module_cutlass_nvfp4_svdquant__nvfp4_svdquant_gemm_cutlass_Tactic1Sm128x128x128Config__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__gemm_sm100_module_cutlass_nvfp4_svdquant__nvfp4_svdquant_gemm_cutlass_Tactic1Sm128x128x128Config__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__gemm_sm100_module_cutlass_nvfp4_svdquant__nvfp4_svdquant_gemm_cutlass_Tactic1Sm128x128x128Config__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/flashinfer__gemm_sm100_module_cutlass_nvfp4_svdquant__nvfp4_svdquant_gemm_cutlass_Tactic1Sm128x128x128Config__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/flashinfer__gemm_sm100_module_cutlass_nvfp4_svdquant__nvfp4_svdquant_gemm_cutlass_Tactic1Sm128x128x128Config__sm_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 92,
        "sync_instructions_note": "92 (61 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 27,
            "candidates": 61,
            "note": "27 of 61 ([#165](https://github.com/wmdi/wasp_verification/issues/165), [#166](https://github.com/wmdi/wasp_verification/issues/166))"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -9.6,
            "note": "-9.6% (4.24 \u2192 3.85 \u00b5s); B200 output identical",
            "original_us": 4.24,
            "reduced_us": 3.85
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 26,
            "candidates": 63,
            "note": "26 of 63 with K 256 \u2192 2,816; the 27-site recorded-input reduction is `not_wellsynced` here and hangs on a B200"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -3.8,
            "note": "-3.8% (8.45 \u2192 8.13 \u00b5s); B200 output identical",
            "original_us": 8.45,
            "reduced_us": 8.13
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/165",
          "https://github.com/wmdi/wasp_verification/issues/166"
        ]
      },
      "analysis_time_seconds": 159.0814626,
      "analysis_time_source": {
        "path": "examples/flashinfer__gemm_sm100_module_cutlass_nvfp4_svdquant__nvfp4_svdquant_gemm_cutlass_Tactic1Sm128x128x128Config__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__norm__fused_add_rmsnorm_bf16__sm_100a",
      "result": "potential_race",
      "diagnostics": [
        {
          "code": "conflicting_accesses_unordered",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__norm__fused_add_rmsnorm_bf16__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__norm__fused_add_rmsnorm_bf16__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__norm__fused_add_rmsnorm_bf16__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.158395711,
      "analysis_time_source": {
        "path": "examples/flashinfer__norm__fused_add_rmsnorm_bf16__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__rope__apply_rope_pos_ids_bf16__sm_100a",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__rope__apply_rope_pos_ids_bf16__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__rope__apply_rope_pos_ids_bf16__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__rope__apply_rope_pos_ids_bf16__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/flashinfer__rope__apply_rope_pos_ids_bf16__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/flashinfer__rope__apply_rope_pos_ids_bf16__sm_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 0,
        "sync_instructions_note": "0",
        "recorded": {
          "removal": {
            "status": "not_applicable",
            "note": "n/a"
          },
          "performance": {
            "status": "not_applicable",
            "note": "n/a"
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "not_reported",
            "note": ""
          },
          "performance": {
            "status": "not_reported",
            "note": ""
          },
          "rechecked_at_recorded_input": false
        },
        "references": []
      },
      "analysis_time_seconds": 3.246048148,
      "analysis_time_source": {
        "path": "examples/flashinfer__rope__apply_rope_pos_ids_bf16__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__selective_state_update_sm100_patched_upstream_compat__selective_state_update_s_bf16_i_bf16_w_bf16_a_f32_si_i64_d_64_ds_128_nt_4_cs_i32_na_i32_sm100_selective_state_update__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__selective_state_update_sm100_patched_upstream_compat__selective_state_update_s_bf16_i_bf16_w_bf16_a_f32_si_i64_d_64_ds_128_nt_4_cs_i32_na_i32_sm100_selective_state_update__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__selective_state_update_sm100_patched_upstream_compat__selective_state_update_s_bf16_i_bf16_w_bf16_a_f32_si_i64_d_64_ds_128_nt_4_cs_i32_na_i32_sm100_selective_state_update__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__selective_state_update_sm100_patched_upstream_compat__selective_state_update_s_bf16_i_bf16_w_bf16_a_f32_si_i64_d_64_ds_128_nt_4_cs_i32_na_i32_sm100_selective_state_update__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.077827751,
      "analysis_time_source": {
        "path": "examples/flashinfer__selective_state_update_sm100_patched_upstream_compat__selective_state_update_s_bf16_i_bf16_w_bf16_a_f32_si_i64_d_64_ds_128_nt_4_cs_i32_na_i32_sm100_selective_state_update__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__single_decode__bf16_hd128__sm_100a",
      "result": "potential_race",
      "diagnostics": [
        {
          "code": "conflicting_accesses_unordered",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__single_decode__bf16_hd128__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__single_decode__bf16_hd128__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__single_decode__bf16_hd128__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 3.32456028,
      "analysis_time_source": {
        "path": "examples/flashinfer__single_decode__bf16_hd128__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__single_prefill_fa2__bf16_hd128_causal__sm_100a",
      "result": "potential_race",
      "diagnostics": [
        {
          "code": "conflicting_accesses_unordered",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__single_prefill_fa2__bf16_hd128_causal__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__single_prefill_fa2__bf16_hd128_causal__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__single_prefill_fa2__bf16_hd128_causal__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 2.702073057,
      "analysis_time_source": {
        "path": "examples/flashinfer__single_prefill_fa2__bf16_hd128_causal__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__tinygemm2_sm100__deep_shallow_pdl_matrix__sm_100a",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__tinygemm2_sm100__deep_shallow_pdl_matrix__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__tinygemm2_sm100__deep_shallow_pdl_matrix__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__tinygemm2_sm100__deep_shallow_pdl_matrix__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/flashinfer__tinygemm2_sm100__deep_shallow_pdl_matrix__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/flashinfer__tinygemm2_sm100__deep_shallow_pdl_matrix__sm_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 28,
        "sync_instructions_note": "28 (18 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 10,
            "candidates": 18,
            "note": "10 of 18 ([#172](https://github.com/wmdi/wasp_verification/issues/172), [#173](https://github.com/wmdi/wasp_verification/issues/173))"
          },
          "performance": {
            "status": "no_measurable_change",
            "runtime_change_percent": 0.0,
            "note": "no measurable change (1.73 vs 1.69 \u00b5s); B200 output identical",
            "original_us": 1.73,
            "reduced_us": 1.69
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 8,
            "candidates": 21,
            "note": "8 of 21 with in_features 1,024 \u2192 8,192; the 10-site recorded-input reduction is `not_wellsynced` here and faults (launch failure) on a B200"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -1.0,
            "note": "-1.0% (4.37 \u2192 4.33 \u00b5s); B200 output identical",
            "original_us": 4.37,
            "reduced_us": 4.33
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/172",
          "https://github.com/wmdi/wasp_verification/issues/173"
        ]
      },
      "analysis_time_seconds": 3.06200265,
      "analysis_time_source": {
        "path": "examples/flashinfer__tinygemm2_sm100__deep_shallow_pdl_matrix__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__xqa_standard__input_bf16_kv_bf16_page32_head128_group8_sliding0__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__xqa_standard__input_bf16_kv_bf16_page32_head128_group8_sliding0__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__xqa_standard__input_bf16_kv_bf16_page32_head128_group8_sliding0__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__xqa_standard__input_bf16_kv_bf16_page32_head128_group8_sliding0__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.426076896,
      "analysis_time_source": {
        "path": "examples/flashinfer__xqa_standard__input_bf16_kv_bf16_page32_head128_group8_sliding0__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__xqa_standard__input_bf16_kv_bf16_page32_head128_group8_sliding1__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__xqa_standard__input_bf16_kv_bf16_page32_head128_group8_sliding1__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__xqa_standard__input_bf16_kv_bf16_page32_head128_group8_sliding1__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__xqa_standard__input_bf16_kv_bf16_page32_head128_group8_sliding1__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.435097002,
      "analysis_time_source": {
        "path": "examples/flashinfer__xqa_standard__input_bf16_kv_bf16_page32_head128_group8_sliding1__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashinfer__xqa_standard__input_bf16_kv_fp8_page32_head128_group8_sliding0__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashinfer__xqa_standard__input_bf16_kv_fp8_page32_head128_group8_sliding0__sm_100a.ptx"
        },
        "input": {
          "path": "examples/flashinfer__xqa_standard__input_bf16_kv_fp8_page32_head128_group8_sliding0__sm_100a/input.json"
        },
        "result": {
          "path": "examples/flashinfer__xqa_standard__input_bf16_kv_fp8_page32_head128_group8_sliding0__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.264108721,
      "analysis_time_source": {
        "path": "examples/flashinfer__xqa_standard__input_bf16_kv_fp8_page32_head128_group8_sliding0__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "flashmla__flashmla_sm100_sparse_decode_v32_h64__sm_100f",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/flashmla__flashmla_sm100_sparse_decode_v32_h64__sm_100f.ptx"
        },
        "input": {
          "path": "examples/flashmla__flashmla_sm100_sparse_decode_v32_h64__sm_100f/input.json"
        },
        "result": {
          "path": "examples/flashmla__flashmla_sm100_sparse_decode_v32_h64__sm_100f/output.json"
        }
      },
      "analysis_time_seconds": 0.194153634,
      "analysis_time_source": {
        "path": "examples/flashmla__flashmla_sm100_sparse_decode_v32_h64__sm_100f/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "pytorch__aten_Copy__sm_100a",
      "result": "potential_race",
      "diagnostics": [
        {
          "code": "conflicting_accesses_unordered",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/pytorch__aten_Copy__sm_100a.ptx"
        },
        "input": {
          "path": "examples/pytorch__aten_Copy__sm_100a/input.json"
        },
        "result": {
          "path": "examples/pytorch__aten_Copy__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.011811613,
      "analysis_time_source": {
        "path": "examples/pytorch__aten_Copy__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "pytorch__aten_GroupMM_bf16_grouped__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "allocation_alias_relation_unknown",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/pytorch__aten_GroupMM_bf16_grouped__sm_100a.ptx"
        },
        "input": {
          "path": "examples/pytorch__aten_GroupMM_bf16_grouped__sm_100a/input.json"
        },
        "result": {
          "path": "examples/pytorch__aten_GroupMM_bf16_grouped__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 23.485204195,
      "analysis_time_source": {
        "path": "examples/pytorch__aten_GroupMM_bf16_grouped__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "pytorch__aten_MaxUnpooling__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "dynamic_address_overlap_unresolved",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/pytorch__aten_MaxUnpooling__sm_100a.ptx"
        },
        "input": {
          "path": "examples/pytorch__aten_MaxUnpooling__sm_100a/input.json"
        },
        "result": {
          "path": "examples/pytorch__aten_MaxUnpooling__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.042935177,
      "analysis_time_source": {
        "path": "examples/pytorch__aten_MaxUnpooling__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "pytorch__aten_MultiMarginLoss__sm_100a",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/pytorch__aten_MultiMarginLoss__sm_100a.ptx"
        },
        "input": {
          "path": "examples/pytorch__aten_MultiMarginLoss__sm_100a/input.json"
        },
        "result": {
          "path": "examples/pytorch__aten_MultiMarginLoss__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/pytorch__aten_MultiMarginLoss__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/pytorch__aten_MultiMarginLoss__sm_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 2,
        "sync_instructions_note": "2 (2 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 0,
            "candidates": 2,
            "note": "0 of 2 ([#270](https://github.com/wmdi/wasp_verification/issues/270))"
          },
          "performance": {
            "status": "not_applicable",
            "note": "n/a"
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "not_reported",
            "note": ""
          },
          "performance": {
            "status": "not_reported",
            "note": ""
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/270"
        ]
      },
      "analysis_time_seconds": 0.038770226,
      "analysis_time_source": {
        "path": "examples/pytorch__aten_MultiMarginLoss__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "pytorch__aten_MultiMarginLoss_v2.8.0__sm_100a",
      "result": "potential_race",
      "diagnostics": [
        {
          "code": "conflicting_accesses_unordered",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/pytorch__aten_MultiMarginLoss_v2.8.0__sm_100a.ptx"
        },
        "input": {
          "path": "examples/pytorch__aten_MultiMarginLoss_v2.8.0__sm_100a/input.json"
        },
        "result": {
          "path": "examples/pytorch__aten_MultiMarginLoss_v2.8.0__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.027209361,
      "analysis_time_source": {
        "path": "examples/pytorch__aten_MultiMarginLoss_v2.8.0__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "pytorch__aten_Normalization__sm_100a",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/pytorch__aten_Normalization__sm_100a.ptx"
        },
        "input": {
          "path": "examples/pytorch__aten_Normalization__sm_100a/input.json"
        },
        "result": {
          "path": "examples/pytorch__aten_Normalization__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/pytorch__aten_Normalization__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/pytorch__aten_Normalization__sm_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 2,
        "sync_instructions_note": "2 (2 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 1,
            "candidates": 2,
            "note": "1 of 2 ([#183](https://github.com/wmdi/wasp_verification/issues/183), [#184](https://github.com/wmdi/wasp_verification/issues/184))"
          },
          "performance": {
            "status": "no_measurable_change",
            "runtime_change_percent": 0.0,
            "note": "no measurable change (1.68 vs 1.66 \u00b5s); B200 output identical",
            "original_us": 1.68,
            "reduced_us": 1.66
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 1,
            "candidates": 2,
            "note": "1 of 2 with N 2 \u2192 8, H\u00b7W 128 \u2192 512; the recorded-input reduction still verifies `race_free`"
          },
          "performance": {
            "status": "no_measurable_change",
            "runtime_change_percent": 0.0,
            "note": "no measurable change (4.42 vs 4.45 \u00b5s); B200 output identical",
            "original_us": 4.42,
            "reduced_us": 4.45
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/183",
          "https://github.com/wmdi/wasp_verification/issues/184"
        ]
      },
      "analysis_time_seconds": 4.373120802,
      "analysis_time_source": {
        "path": "examples/pytorch__aten_Normalization__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "pytorch__aten_RowwiseScaledMM_fp8__sm_100a",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/pytorch__aten_RowwiseScaledMM_fp8__sm_100a.ptx"
        },
        "input": {
          "path": "examples/pytorch__aten_RowwiseScaledMM_fp8__sm_100a/input.json"
        },
        "result": {
          "path": "examples/pytorch__aten_RowwiseScaledMM_fp8__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/pytorch__aten_RowwiseScaledMM_fp8__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/pytorch__aten_RowwiseScaledMM_fp8__sm_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 73,
        "sync_instructions_note": "73 (50 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 24,
            "candidates": 50,
            "note": "24 of 50 ([#185](https://github.com/wmdi/wasp_verification/issues/185), [#186](https://github.com/wmdi/wasp_verification/issues/186))"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -5.9,
            "note": "-5.9% (2.04 \u2192 1.92 \u00b5s); B200 output identical",
            "original_us": 2.04,
            "reduced_us": 1.92
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 23,
            "candidates": 52,
            "note": "23 of 52 with K 256 \u2192 2,048; the 24-site recorded-input reduction is `not_wellsynced` here and hangs on a B200"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -3.4,
            "note": "-3.4% (3.93 \u2192 3.78 \u00b5s); B200 output identical",
            "original_us": 3.93,
            "reduced_us": 3.78
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/185",
          "https://github.com/wmdi/wasp_verification/issues/186"
        ]
      },
      "analysis_time_seconds": 8.337851149,
      "analysis_time_source": {
        "path": "examples/pytorch__aten_RowwiseScaledMM_fp8__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "pytorch__aten_SoftMax__sm_100a",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/pytorch__aten_SoftMax__sm_100a.ptx"
        },
        "input": {
          "path": "examples/pytorch__aten_SoftMax__sm_100a/input.json"
        },
        "result": {
          "path": "examples/pytorch__aten_SoftMax__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/pytorch__aten_SoftMax__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/pytorch__aten_SoftMax__sm_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 6,
        "sync_instructions_note": "6 (6 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 1,
            "candidates": 6,
            "note": "1 of 6 ([#187](https://github.com/wmdi/wasp_verification/issues/187), [#188](https://github.com/wmdi/wasp_verification/issues/188))"
          },
          "performance": {
            "status": "no_measurable_change",
            "runtime_change_percent": 0.0,
            "note": "no measurable change (3.84 vs 3.80 \u00b5s); B200 output identical",
            "original_us": 3.84,
            "reduced_us": 3.8
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 1,
            "candidates": 6,
            "note": "1 of 6 with classes 10,240 \u2192 40,960; the recorded-input reduction still verifies `race_free`"
          },
          "performance": {
            "status": "no_measurable_change",
            "runtime_change_percent": 0.0,
            "note": "no measurable change (9.13 vs 9.10 \u00b5s); B200 output identical",
            "original_us": 9.13,
            "reduced_us": 9.1
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/187",
          "https://github.com/wmdi/wasp_verification/issues/188"
        ]
      },
      "analysis_time_seconds": 34.063765242,
      "analysis_time_source": {
        "path": "examples/pytorch__aten_SoftMax__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "pytorch__aten_Sorting_kthvalue_v2.8.0__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "atomic_add_memory_semantics_unsupported",
          "stage": "event_view_construction"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/pytorch__aten_Sorting_kthvalue_v2.8.0__sm_100a.ptx"
        },
        "input": {
          "path": "examples/pytorch__aten_Sorting_kthvalue_v2.8.0__sm_100a/input.json"
        },
        "result": {
          "path": "examples/pytorch__aten_Sorting_kthvalue_v2.8.0__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.150155363,
      "analysis_time_source": {
        "path": "examples/pytorch__aten_Sorting_kthvalue_v2.8.0__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "pytorch__aten_WeightNorm__sm_100a",
      "result": "verified",
      "diagnostics": [
        {
          "code": "total_definedness_not_proven",
          "stage": "equivalence_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/pytorch__aten_WeightNorm__sm_100a.ptx"
        },
        "input": {
          "path": "examples/pytorch__aten_WeightNorm__sm_100a/input.json"
        },
        "result": {
          "path": "examples/pytorch__aten_WeightNorm__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/pytorch__aten_WeightNorm__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/pytorch__aten_WeightNorm__sm_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 16,
        "sync_instructions_note": "16 (4 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 0,
            "candidates": 4,
            "note": "0 of 4 ([#271](https://github.com/wmdi/wasp_verification/issues/271))"
          },
          "performance": {
            "status": "not_applicable",
            "note": "n/a"
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "not_reported",
            "note": ""
          },
          "performance": {
            "status": "not_reported",
            "note": ""
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/271"
        ]
      },
      "analysis_time_seconds": 0.642523458,
      "analysis_time_source": {
        "path": "examples/pytorch__aten_WeightNorm__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "pytorch__aten_layer_norm_kernel__sm_100a",
      "result": "potential_race",
      "diagnostics": [
        {
          "code": "conflicting_accesses_unordered",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/pytorch__aten_layer_norm_kernel__sm_100a.ptx"
        },
        "input": {
          "path": "examples/pytorch__aten_layer_norm_kernel__sm_100a/input.json"
        },
        "result": {
          "path": "examples/pytorch__aten_layer_norm_kernel__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/pytorch__aten_layer_norm_kernel__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/pytorch__aten_layer_norm_kernel__sm_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 5,
        "sync_instructions_note": "5",
        "recorded": {
          "removal": {
            "status": "not_run",
            "note": "not run: baseline is `race_candidate` with the current verifier ([#191](https://github.com/wmdi/wasp_verification/issues/191))"
          },
          "performance": {
            "status": "not_applicable",
            "note": "n/a"
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "not_reported",
            "note": ""
          },
          "performance": {
            "status": "not_reported",
            "note": ""
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/191"
        ]
      },
      "analysis_time_seconds": 0.402508646,
      "analysis_time_source": {
        "path": "examples/pytorch__aten_layer_norm_kernel__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "tensorrt_llm__aux_kdaDecode_kdaDecode__sm_100f",
      "result": "potential_race",
      "diagnostics": [
        {
          "code": "conflicting_accesses_unordered",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/tensorrt_llm__aux_kdaDecode_kdaDecode__sm_100f.ptx"
        },
        "input": {
          "path": "examples/tensorrt_llm__aux_kdaDecode_kdaDecode__sm_100f/input.json"
        },
        "result": {
          "path": "examples/tensorrt_llm__aux_kdaDecode_kdaDecode__sm_100f/output.json"
        },
        "reference": {
          "path": "examples/tensorrt_llm__aux_kdaDecode_kdaDecode__sm_100f/reference.py"
        },
        "reference_binding": {
          "path": "examples/tensorrt_llm__aux_kdaDecode_kdaDecode__sm_100f/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 16,
        "sync_instructions_note": "16",
        "recorded": {
          "removal": {
            "status": "not_run",
            "note": "not run: baseline is `race_candidate` with the current verifier ([#193](https://github.com/wmdi/wasp_verification/issues/193))"
          },
          "performance": {
            "status": "not_applicable",
            "note": "n/a"
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "not_reported",
            "note": ""
          },
          "performance": {
            "status": "not_reported",
            "note": ""
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/193"
        ]
      },
      "analysis_time_seconds": 8.829383951,
      "analysis_time_source": {
        "path": "examples/tensorrt_llm__aux_kdaDecode_kdaDecode__sm_100f/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "tensorrt_llm__cutlass_fp4_gemm_bf16__sm_100f",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/tensorrt_llm__cutlass_fp4_gemm_bf16__sm_100f.ptx"
        },
        "input": {
          "path": "examples/tensorrt_llm__cutlass_fp4_gemm_bf16__sm_100f/input.json"
        },
        "result": {
          "path": "examples/tensorrt_llm__cutlass_fp4_gemm_bf16__sm_100f/output.json"
        },
        "reference": {
          "path": "examples/tensorrt_llm__cutlass_fp4_gemm_bf16__sm_100f/reference.py"
        },
        "reference_binding": {
          "path": "examples/tensorrt_llm__cutlass_fp4_gemm_bf16__sm_100f/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 81,
        "sync_instructions_note": "81 (54 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 29,
            "candidates": 54,
            "note": "29 of 54 ([#195](https://github.com/wmdi/wasp_verification/issues/195), [#196](https://github.com/wmdi/wasp_verification/issues/196))"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -13.5,
            "note": "-13.5% (3.23 \u2192 2.80 \u00b5s); B200 output identical",
            "original_us": 3.23,
            "reduced_us": 2.8
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 28,
            "candidates": 56,
            "note": "28 of 56 with K 128 \u2192 3,584; the 29-site recorded-input reduction is `not_wellsynced` here and hangs on a B200"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -2.2,
            "note": "-2.2% (8.67 \u2192 8.48 \u00b5s); B200 output identical",
            "original_us": 8.67,
            "reduced_us": 8.48
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/195",
          "https://github.com/wmdi/wasp_verification/issues/196"
        ]
      },
      "analysis_time_seconds": 38.189942527,
      "analysis_time_source": {
        "path": "examples/tensorrt_llm__cutlass_fp4_gemm_bf16__sm_100f/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "tensorrt_llm__cutlass_fp8_blockscale_gemm__sm_100f",
      "result": "potential_race",
      "diagnostics": [
        {
          "code": "conflicting_accesses_unordered",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/tensorrt_llm__cutlass_fp8_blockscale_gemm__sm_100f.ptx"
        },
        "input": {
          "path": "examples/tensorrt_llm__cutlass_fp8_blockscale_gemm__sm_100f/input.json"
        },
        "result": {
          "path": "examples/tensorrt_llm__cutlass_fp8_blockscale_gemm__sm_100f/output.json"
        }
      },
      "analysis_time_seconds": 0.31963238,
      "analysis_time_source": {
        "path": "examples/tensorrt_llm__cutlass_fp8_blockscale_gemm__sm_100f/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "tensorrt_llm__cutlass_fp8_rowwise_gemm_bf16__sm_100f",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/tensorrt_llm__cutlass_fp8_rowwise_gemm_bf16__sm_100f.ptx"
        },
        "input": {
          "path": "examples/tensorrt_llm__cutlass_fp8_rowwise_gemm_bf16__sm_100f/input.json"
        },
        "result": {
          "path": "examples/tensorrt_llm__cutlass_fp8_rowwise_gemm_bf16__sm_100f/output.json"
        },
        "reference": {
          "path": "examples/tensorrt_llm__cutlass_fp8_rowwise_gemm_bf16__sm_100f/reference.py"
        },
        "reference_binding": {
          "path": "examples/tensorrt_llm__cutlass_fp8_rowwise_gemm_bf16__sm_100f/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 99,
        "sync_instructions_note": "99 (75 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 51,
            "candidates": 75,
            "note": "51 of 75 ([#198](https://github.com/wmdi/wasp_verification/issues/198), [#199](https://github.com/wmdi/wasp_verification/issues/199))"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -37.5,
            "note": "-37.5% (2.86 \u2192 1.79 \u00b5s); B200 output identical",
            "original_us": 2.86,
            "reduced_us": 1.79
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 50,
            "candidates": 77,
            "note": "50 of 77 with K 256 \u2192 4,608; the 51-site recorded-input reduction is `not_wellsynced` here and hangs on a B200"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -14.9,
            "note": "-14.9% (6.53 \u2192 5.56 \u00b5s); B200 output identical",
            "original_us": 6.53,
            "reduced_us": 5.56
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/198",
          "https://github.com/wmdi/wasp_verification/issues/199"
        ]
      },
      "analysis_time_seconds": 1.397324089,
      "analysis_time_source": {
        "path": "examples/tensorrt_llm__cutlass_fp8_rowwise_gemm_bf16__sm_100f/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "tensorrt_llm__cutlass_mixed_runner_bf16_int4_gemm_fg_scaleonly__sm_100f",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/tensorrt_llm__cutlass_mixed_runner_bf16_int4_gemm_fg_scaleonly__sm_100f.ptx"
        },
        "input": {
          "path": "examples/tensorrt_llm__cutlass_mixed_runner_bf16_int4_gemm_fg_scaleonly__sm_100f/input.json"
        },
        "result": {
          "path": "examples/tensorrt_llm__cutlass_mixed_runner_bf16_int4_gemm_fg_scaleonly__sm_100f/output.json"
        },
        "reference": {
          "path": "examples/tensorrt_llm__cutlass_mixed_runner_bf16_int4_gemm_fg_scaleonly__sm_100f/reference.py"
        },
        "reference_binding": {
          "path": "examples/tensorrt_llm__cutlass_mixed_runner_bf16_int4_gemm_fg_scaleonly__sm_100f/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 167,
        "sync_instructions_note": "167 (86 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 49,
            "candidates": 86,
            "note": "49 of 86 ([#200](https://github.com/wmdi/wasp_verification/issues/200), [#201](https://github.com/wmdi/wasp_verification/issues/201))"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -12.5,
            "note": "-12.5% (3.48 \u2192 3.03 \u00b5s); B200 output identical",
            "original_us": 3.48,
            "reduced_us": 3.03
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 45,
            "candidates": 90,
            "note": "45 of 90 with K 64 \u2192 896; the 49-site recorded-input reduction is `not_wellsynced` here and hangs on a B200"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -3.5,
            "note": "-3.5% (6.03 \u2192 5.82 \u00b5s); B200 output identical",
            "original_us": 6.03,
            "reduced_us": 5.82
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/200",
          "https://github.com/wmdi/wasp_verification/issues/201"
        ]
      },
      "analysis_time_seconds": 12.46431442,
      "analysis_time_source": {
        "path": "examples/tensorrt_llm__cutlass_mixed_runner_bf16_int4_gemm_fg_scaleonly__sm_100f/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "tensorrt_llm__cutlass_moe_moe_gemm_kernels_fp8_fp8__sm_100f",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/tensorrt_llm__cutlass_moe_moe_gemm_kernels_fp8_fp8__sm_100f.ptx"
        },
        "input": {
          "path": "examples/tensorrt_llm__cutlass_moe_moe_gemm_kernels_fp8_fp8__sm_100f/input.json"
        },
        "result": {
          "path": "examples/tensorrt_llm__cutlass_moe_moe_gemm_kernels_fp8_fp8__sm_100f/output.json"
        }
      },
      "analysis_time_seconds": 0.377398311,
      "analysis_time_source": {
        "path": "examples/tensorrt_llm__cutlass_moe_moe_gemm_kernels_fp8_fp8__sm_100f/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "tensorrt_llm__cutlass_moe_moe_gemm_kernels_fp8_uint4__sm_100f",
      "result": "timeout",
      "diagnostics": [
        {
          "code": "timeout",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/tensorrt_llm__cutlass_moe_moe_gemm_kernels_fp8_uint4__sm_100f.ptx"
        },
        "input": {
          "path": "examples/tensorrt_llm__cutlass_moe_moe_gemm_kernels_fp8_uint4__sm_100f/input.json"
        },
        "result": {
          "path": "examples/tensorrt_llm__cutlass_moe_moe_gemm_kernels_fp8_uint4__sm_100f/output.json"
        }
      },
      "analysis_time_seconds": 500.08476533,
      "analysis_time_source": {
        "path": "examples/tensorrt_llm__cutlass_moe_moe_gemm_kernels_fp8_uint4__sm_100f/output.json",
        "field": "elapsed_seconds"
      }
    },
    {
      "name": "tensorrt_llm__llama4Bf16Bf16Gemm__sm_100f",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/tensorrt_llm__llama4Bf16Bf16Gemm__sm_100f.ptx"
        },
        "input": {
          "path": "examples/tensorrt_llm__llama4Bf16Bf16Gemm__sm_100f/input.json"
        },
        "result": {
          "path": "examples/tensorrt_llm__llama4Bf16Bf16Gemm__sm_100f/output.json"
        },
        "reference": {
          "path": "examples/tensorrt_llm__llama4Bf16Bf16Gemm__sm_100f/reference.py"
        },
        "reference_binding": {
          "path": "examples/tensorrt_llm__llama4Bf16Bf16Gemm__sm_100f/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 2,
        "sync_instructions_note": "2 (1 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 0,
            "candidates": 1,
            "note": "0 of 1 ([#272](https://github.com/wmdi/wasp_verification/issues/272))"
          },
          "performance": {
            "status": "not_applicable",
            "note": "n/a"
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "not_reported",
            "note": ""
          },
          "performance": {
            "status": "not_reported",
            "note": ""
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/272"
        ]
      },
      "analysis_time_seconds": 88.971927965,
      "analysis_time_source": {
        "path": "examples/tensorrt_llm__llama4Bf16Bf16Gemm__sm_100f/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "tensorrt_llm__llama4Fp8Fp8GemmSwiGLU__sm_100f",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/tensorrt_llm__llama4Fp8Fp8GemmSwiGLU__sm_100f.ptx"
        },
        "input": {
          "path": "examples/tensorrt_llm__llama4Fp8Fp8GemmSwiGLU__sm_100f/input.json"
        },
        "result": {
          "path": "examples/tensorrt_llm__llama4Fp8Fp8GemmSwiGLU__sm_100f/output.json"
        },
        "reference": {
          "path": "examples/tensorrt_llm__llama4Fp8Fp8GemmSwiGLU__sm_100f/reference.py"
        },
        "reference_binding": {
          "path": "examples/tensorrt_llm__llama4Fp8Fp8GemmSwiGLU__sm_100f/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 1,
        "sync_instructions_note": "1 (1 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 0,
            "candidates": 1,
            "note": "0 of 1 ([#273](https://github.com/wmdi/wasp_verification/issues/273))"
          },
          "performance": {
            "status": "not_applicable",
            "note": "n/a"
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "not_reported",
            "note": ""
          },
          "performance": {
            "status": "not_reported",
            "note": ""
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/273"
        ]
      },
      "analysis_time_seconds": 4.333362071,
      "analysis_time_source": {
        "path": "examples/tensorrt_llm__llama4Fp8Fp8GemmSwiGLU__sm_100f/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "tensorrt_llm__selective_scan_chunkscan_bf16_bf16__sm_100f",
      "result": "equivalence_not_proven",
      "diagnostics": [
        {
          "code": "not_proven",
          "stage": "pipeline"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/tensorrt_llm__selective_scan_chunkscan_bf16_bf16__sm_100f.ptx"
        },
        "input": {
          "path": "examples/tensorrt_llm__selective_scan_chunkscan_bf16_bf16__sm_100f/input.json"
        },
        "result": {
          "path": "examples/tensorrt_llm__selective_scan_chunkscan_bf16_bf16__sm_100f/output.json"
        },
        "reference": {
          "path": "examples/tensorrt_llm__selective_scan_chunkscan_bf16_bf16__sm_100f/reference.py"
        },
        "reference_binding": {
          "path": "examples/tensorrt_llm__selective_scan_chunkscan_bf16_bf16__sm_100f/reference_binding.json"
        }
      },
      "analysis_time_seconds": 79.601578889,
      "analysis_time_source": {
        "path": "examples/tensorrt_llm__selective_scan_chunkscan_bf16_bf16__sm_100f/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "tensorrt_llm__selective_scan_selectiveScan__sm_100f",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/tensorrt_llm__selective_scan_selectiveScan__sm_100f.ptx"
        },
        "input": {
          "path": "examples/tensorrt_llm__selective_scan_selectiveScan__sm_100f/input.json"
        },
        "result": {
          "path": "examples/tensorrt_llm__selective_scan_selectiveScan__sm_100f/output.json"
        }
      },
      "analysis_time_seconds": 0.020621713,
      "analysis_time_source": {
        "path": "examples/tensorrt_llm__selective_scan_selectiveScan__sm_100f/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "thunderkittens__thunderkittens_bf16_b200_gemm__sm_100a",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/thunderkittens__thunderkittens_bf16_b200_gemm__sm_100a.ptx"
        },
        "input": {
          "path": "examples/thunderkittens__thunderkittens_bf16_b200_gemm__sm_100a/input.json"
        },
        "result": {
          "path": "examples/thunderkittens__thunderkittens_bf16_b200_gemm__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/thunderkittens__thunderkittens_bf16_b200_gemm__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/thunderkittens__thunderkittens_bf16_b200_gemm__sm_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 54,
        "sync_instructions_note": "54 (38 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 17,
            "candidates": 38,
            "note": "17 of 38 ([#208](https://github.com/wmdi/wasp_verification/issues/208), [#209](https://github.com/wmdi/wasp_verification/issues/209))"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -4.2,
            "note": "-4.2% (2.65 \u2192 2.55 \u00b5s); B200 output identical",
            "original_us": 2.65,
            "reduced_us": 2.55
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 16,
            "candidates": 42,
            "note": "16 of 42 with K 128 \u2192 1,536; the 17-site recorded-input reduction is `not_wellsynced` here and hangs on a B200"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -1.4,
            "note": "-1.4% (5.63 \u2192 5.55 \u00b5s); B200 output identical",
            "original_us": 5.63,
            "reduced_us": 5.55
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/208",
          "https://github.com/wmdi/wasp_verification/issues/209"
        ]
      },
      "analysis_time_seconds": 1.917052914,
      "analysis_time_source": {
        "path": "examples/thunderkittens__thunderkittens_bf16_b200_gemm__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "tilelang-gemm-sm100-tcgen5mma",
      "result": "potential_race",
      "diagnostics": [
        {
          "code": "conflicting_accesses_unordered",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/tilelang-gemm-sm100-tcgen5mma.ptx"
        },
        "input": {
          "path": "examples/tilelang-gemm-sm100-tcgen5mma/input.json"
        },
        "result": {
          "path": "examples/tilelang-gemm-sm100-tcgen5mma/output.json"
        }
      },
      "analysis_time_seconds": 20.885127372,
      "analysis_time_source": {
        "path": "examples/tilelang-gemm-sm100-tcgen5mma/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "tilelang-online-softmax",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/tilelang-online-softmax.ptx"
        },
        "input": {
          "path": "examples/tilelang-online-softmax/input.json"
        },
        "result": {
          "path": "examples/tilelang-online-softmax/output.json"
        },
        "reference": {
          "path": "examples/tilelang-online-softmax/reference.py"
        },
        "reference_binding": {
          "path": "examples/tilelang-online-softmax/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 9,
        "sync_instructions_note": "9 (9 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 2,
            "candidates": 9,
            "note": "2 of 9 ([#274](https://github.com/wmdi/wasp_verification/issues/274), [#275](https://github.com/wmdi/wasp_verification/issues/275))"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": 2.5,
            "note": "+2.5% (2.50 \u2192 2.57 \u00b5s); B200 output identical",
            "original_us": 2.5,
            "reduced_us": 2.57
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 2,
            "candidates": 9,
            "note": "2 of 9, re-checked at the recorded input (compile-time shape); still `race_free`"
          },
          "performance": {
            "status": "no_measurable_change",
            "runtime_change_percent": 0.0,
            "note": "no measurable change (1.94 vs 1.99 \u00b5s); B200 output identical",
            "original_us": 1.94,
            "reduced_us": 1.99
          },
          "rechecked_at_recorded_input": true
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/274",
          "https://github.com/wmdi/wasp_verification/issues/275"
        ]
      },
      "analysis_time_seconds": 9.156499016,
      "analysis_time_source": {
        "path": "examples/tilelang-online-softmax/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "tilelang-ws-gemm-barrierpipe-stage2",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/tilelang-ws-gemm-barrierpipe-stage2.ptx"
        },
        "input": {
          "path": "examples/tilelang-ws-gemm-barrierpipe-stage2/input.json"
        },
        "result": {
          "path": "examples/tilelang-ws-gemm-barrierpipe-stage2/output.json"
        },
        "reference": {
          "path": "examples/tilelang-ws-gemm-barrierpipe-stage2/reference.py"
        },
        "reference_binding": {
          "path": "examples/tilelang-ws-gemm-barrierpipe-stage2/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 10,
        "sync_instructions_note": "10 (9 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 4,
            "candidates": 9,
            "note": "4 of 9 ([#276](https://github.com/wmdi/wasp_verification/issues/276), [#277](https://github.com/wmdi/wasp_verification/issues/277))"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -3.9,
            "note": "-3.9% (21.21 \u2192 20.38 \u00b5s); B200 output identical",
            "original_us": 21.21,
            "reduced_us": 20.38
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 4,
            "candidates": 9,
            "note": "4 of 9, re-checked at the recorded input (compile-time shape, and the recorded input already writes every pipeline buffer 8 times); still `race_free`"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -3.8,
            "note": "-3.8% (21.14 \u2192 20.33 \u00b5s); B200 output identical",
            "original_us": 21.14,
            "reduced_us": 20.33
          },
          "rechecked_at_recorded_input": true
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/276",
          "https://github.com/wmdi/wasp_verification/issues/277"
        ]
      },
      "analysis_time_seconds": 234.588294499,
      "analysis_time_source": {
        "path": "examples/tilelang-ws-gemm-barrierpipe-stage2/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "tilelang-ws-gemm-copy-0-gemm-1",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/tilelang-ws-gemm-copy-0-gemm-1.ptx"
        },
        "input": {
          "path": "examples/tilelang-ws-gemm-copy-0-gemm-1/input.json"
        },
        "result": {
          "path": "examples/tilelang-ws-gemm-copy-0-gemm-1/output.json"
        },
        "reference": {
          "path": "examples/tilelang-ws-gemm-copy-0-gemm-1/reference.py"
        },
        "reference_binding": {
          "path": "examples/tilelang-ws-gemm-copy-0-gemm-1/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 10,
        "sync_instructions_note": "10 (9 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 4,
            "candidates": 9,
            "note": "4 of 9 ([#278](https://github.com/wmdi/wasp_verification/issues/278), [#279](https://github.com/wmdi/wasp_verification/issues/279))"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -2.9,
            "note": "-2.9% (20.71 \u2192 20.13 \u00b5s); B200 output identical",
            "original_us": 20.71,
            "reduced_us": 20.13
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 4,
            "candidates": 9,
            "note": "4 of 9, re-checked at the recorded input (compile-time shape, and the recorded input already writes every pipeline buffer 16 times); still `race_free`"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -2.7,
            "note": "-2.7% (20.64 \u2192 20.08 \u00b5s); B200 output identical",
            "original_us": 20.64,
            "reduced_us": 20.08
          },
          "rechecked_at_recorded_input": true
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/278",
          "https://github.com/wmdi/wasp_verification/issues/279"
        ]
      },
      "analysis_time_seconds": 188.945792593,
      "analysis_time_source": {
        "path": "examples/tilelang-ws-gemm-copy-0-gemm-1/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "tilelang-ws-gemm-copy-1-gemm-0",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/tilelang-ws-gemm-copy-1-gemm-0.ptx"
        },
        "input": {
          "path": "examples/tilelang-ws-gemm-copy-1-gemm-0/input.json"
        },
        "result": {
          "path": "examples/tilelang-ws-gemm-copy-1-gemm-0/output.json"
        },
        "reference": {
          "path": "examples/tilelang-ws-gemm-copy-1-gemm-0/reference.py"
        },
        "reference_binding": {
          "path": "examples/tilelang-ws-gemm-copy-1-gemm-0/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 16,
        "sync_instructions_note": "16 (15 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 4,
            "candidates": 15,
            "note": "4 of 15 ([#280](https://github.com/wmdi/wasp_verification/issues/280), [#281](https://github.com/wmdi/wasp_verification/issues/281))"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -15.9,
            "note": "-15.9% (15.27 \u2192 12.83 \u00b5s); B200 output identical",
            "original_us": 15.27,
            "reduced_us": 12.83
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 4,
            "candidates": 15,
            "note": "4 of 15, re-checked at the recorded input (compile-time shape, and the recorded input already writes every pipeline buffer 8 times); still `race_free`"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -16.0,
            "note": "-16.0% (15.24 \u2192 12.79 \u00b5s); B200 output identical",
            "original_us": 15.24,
            "reduced_us": 12.79
          },
          "rechecked_at_recorded_input": true
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/280",
          "https://github.com/wmdi/wasp_verification/issues/281"
        ]
      },
      "analysis_time_seconds": 234.004103869,
      "analysis_time_source": {
        "path": "examples/tilelang-ws-gemm-copy-1-gemm-0/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "tilelang-ws-gemm-copy-gemm-0-1",
      "result": "potential_race",
      "diagnostics": [
        {
          "code": "conflicting_accesses_unordered",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/tilelang-ws-gemm-copy-gemm-0-1.ptx"
        },
        "input": {
          "path": "examples/tilelang-ws-gemm-copy-gemm-0-1/input.json"
        },
        "result": {
          "path": "examples/tilelang-ws-gemm-copy-gemm-0-1/output.json"
        }
      },
      "analysis_time_seconds": 0.597341771,
      "analysis_time_source": {
        "path": "examples/tilelang-ws-gemm-copy-gemm-0-1/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "tilelang-ws-gemm-softpipe-stage2",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/tilelang-ws-gemm-softpipe-stage2.ptx"
        },
        "input": {
          "path": "examples/tilelang-ws-gemm-softpipe-stage2/input.json"
        },
        "result": {
          "path": "examples/tilelang-ws-gemm-softpipe-stage2/output.json"
        },
        "reference": {
          "path": "examples/tilelang-ws-gemm-softpipe-stage2/reference.py"
        },
        "reference_binding": {
          "path": "examples/tilelang-ws-gemm-softpipe-stage2/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 16,
        "sync_instructions_note": "16 (15 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 4,
            "candidates": 15,
            "note": "4 of 15 ([#282](https://github.com/wmdi/wasp_verification/issues/282), [#283](https://github.com/wmdi/wasp_verification/issues/283))"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -16.0,
            "note": "-16.0% (15.27 \u2192 12.82 \u00b5s); B200 output identical",
            "original_us": 15.27,
            "reduced_us": 12.82
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 4,
            "candidates": 15,
            "note": "4 of 15, re-checked at the recorded input (compile-time shape, and the recorded input already writes every pipeline buffer 8 times); still `race_free`"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -16.0,
            "note": "-16.0% (15.24 \u2192 12.79 \u00b5s); B200 output identical",
            "original_us": 15.24,
            "reduced_us": 12.79
          },
          "rechecked_at_recorded_input": true
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/282",
          "https://github.com/wmdi/wasp_verification/issues/283"
        ]
      },
      "analysis_time_seconds": 239.339174135,
      "analysis_time_source": {
        "path": "examples/tilelang-ws-gemm-softpipe-stage2/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "tirx-basic-allgather-gemm",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/tirx-basic-allgather-gemm.ptx"
        },
        "input": {
          "path": "examples/tirx-basic-allgather-gemm/input.json"
        },
        "result": {
          "path": "examples/tirx-basic-allgather-gemm/output.json"
        }
      },
      "analysis_time_seconds": 0.135760375,
      "analysis_time_source": {
        "path": "examples/tirx-basic-allgather-gemm/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "tirx-basic-rmsnorm",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/tirx-basic-rmsnorm.ptx"
        },
        "input": {
          "path": "examples/tirx-basic-rmsnorm/input.json"
        },
        "result": {
          "path": "examples/tirx-basic-rmsnorm/output.json"
        },
        "reference": {
          "path": "examples/tirx-basic-rmsnorm/reference.py"
        },
        "reference_binding": {
          "path": "examples/tirx-basic-rmsnorm/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 3,
        "sync_instructions_note": "3 (3 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 2,
            "candidates": 3,
            "note": "2 of 3 ([#295](https://github.com/wmdi/wasp_verification/issues/295), [#296](https://github.com/wmdi/wasp_verification/issues/296))"
          },
          "performance": {
            "status": "no_measurable_change",
            "runtime_change_percent": 0.0,
            "note": "no measurable change (0.19 vs 0.22 \u00b5s); B200 output identical",
            "original_us": 0.19,
            "reduced_us": 0.22
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 1,
            "candidates": 3,
            "note": "1 of 3 with rows 1 \u2192 608, 4 per CTA; the 2-site recorded-input reduction is `potential_race` here (no output difference seen on a B200)"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -0.9,
            "note": "-0.9% (2.36 \u2192 2.34 \u00b5s); B200 output identical",
            "original_us": 2.36,
            "reduced_us": 2.34
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/295",
          "https://github.com/wmdi/wasp_verification/issues/296"
        ]
      },
      "analysis_time_seconds": 0.457962582,
      "analysis_time_source": {
        "path": "examples/tirx-basic-rmsnorm/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "tirx-curated-kda-forward",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/tirx-curated-kda-forward.ptx"
        },
        "input": {
          "path": "examples/tirx-curated-kda-forward/input.json"
        },
        "result": {
          "path": "examples/tirx-curated-kda-forward/output.json"
        }
      },
      "analysis_time_seconds": 0.181952299,
      "analysis_time_source": {
        "path": "examples/tirx-curated-kda-forward/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "tirx-curated-msa-decode",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/tirx-curated-msa-decode.ptx"
        },
        "input": {
          "path": "examples/tirx-curated-msa-decode/input.json"
        },
        "result": {
          "path": "examples/tirx-curated-msa-decode/output.json"
        }
      },
      "analysis_time_seconds": 0.161620277,
      "analysis_time_source": {
        "path": "examples/tirx-curated-msa-decode/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "tirx-curated-msa-prefill",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "schedule_dependent_wait_unsupported",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/tirx-curated-msa-prefill.ptx"
        },
        "input": {
          "path": "examples/tirx-curated-msa-prefill/input.json"
        },
        "result": {
          "path": "examples/tirx-curated-msa-prefill/output.json"
        }
      },
      "analysis_time_seconds": 0.169598797,
      "analysis_time_source": {
        "path": "examples/tirx-curated-msa-prefill/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "tirx-curated-vsa",
      "result": "analysis_budget_exceeded",
      "diagnostics": [
        {
          "code": "execution_step_budget_exceeded",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/tirx-curated-vsa.ptx"
        },
        "input": {
          "path": "examples/tirx-curated-vsa/input.json"
        },
        "result": {
          "path": "examples/tirx-curated-vsa/output.json"
        }
      },
      "analysis_time_seconds": 0.313961285,
      "analysis_time_source": {
        "path": "examples/tirx-curated-vsa/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "tirx-flashattention-forward",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/tirx-flashattention-forward.ptx"
        },
        "input": {
          "path": "examples/tirx-flashattention-forward/input.json"
        },
        "result": {
          "path": "examples/tirx-flashattention-forward/output.json"
        }
      },
      "analysis_time_seconds": 2.239325603,
      "analysis_time_source": {
        "path": "examples/tirx-flashattention-forward/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "tirx-flashattention-forward-causal",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/tirx-flashattention-forward-causal.ptx"
        },
        "input": {
          "path": "examples/tirx-flashattention-forward-causal/input.json"
        },
        "result": {
          "path": "examples/tirx-flashattention-forward-causal/output.json"
        }
      },
      "analysis_time_seconds": 2.681799319,
      "analysis_time_source": {
        "path": "examples/tirx-flashattention-forward-causal/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "tirx-flashinfer-quantization-nvfp4",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "saturation_input_finiteness_not_proven",
          "stage": "equivalence_import"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/tirx-flashinfer-quantization-nvfp4.ptx"
        },
        "input": {
          "path": "examples/tirx-flashinfer-quantization-nvfp4/input.json"
        },
        "result": {
          "path": "examples/tirx-flashinfer-quantization-nvfp4/output.json"
        },
        "reference": {
          "path": "examples/tirx-flashinfer-quantization-nvfp4/reference.py"
        },
        "reference_binding": {
          "path": "examples/tirx-flashinfer-quantization-nvfp4/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 0,
        "sync_instructions_note": "0",
        "recorded": {
          "removal": {
            "status": "not_applicable",
            "note": "n/a"
          },
          "performance": {
            "status": "not_applicable",
            "note": "n/a"
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "not_reported",
            "note": ""
          },
          "performance": {
            "status": "not_reported",
            "note": ""
          },
          "rechecked_at_recorded_input": false
        },
        "references": []
      },
      "analysis_time_seconds": 0.046670844,
      "analysis_time_source": {
        "path": "examples/tirx-flashinfer-quantization-nvfp4/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "tirx-flashinfer-topk-filtered",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/tirx-flashinfer-topk-filtered.ptx"
        },
        "input": {
          "path": "examples/tirx-flashinfer-topk-filtered/input.json"
        },
        "result": {
          "path": "examples/tirx-flashinfer-topk-filtered/output.json"
        }
      },
      "analysis_time_seconds": 1.057081113,
      "analysis_time_source": {
        "path": "examples/tirx-flashinfer-topk-filtered/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "triton__triton_ws.exact-3.8.0__sm_100a",
      "result": "invalid_lifecycle",
      "diagnostics": [
        {
          "code": "barrier_completion_before_invalidation_not_proven",
          "stage": "lifecycle_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/triton__triton_ws.exact-3.8.0__sm_100a.ptx"
        },
        "input": {
          "path": "examples/triton__triton_ws.exact-3.8.0__sm_100a/input.json"
        },
        "result": {
          "path": "examples/triton__triton_ws.exact-3.8.0__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 24.415651146,
      "analysis_time_source": {
        "path": "examples/triton__triton_ws.exact-3.8.0__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "tritongluon-03-async-copy",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/tritongluon-03-async-copy.ptx"
        },
        "input": {
          "path": "examples/tritongluon-03-async-copy/input.json"
        },
        "result": {
          "path": "examples/tritongluon-03-async-copy/output.json"
        },
        "reference": {
          "path": "examples/tritongluon-03-async-copy/reference.py"
        },
        "reference_binding": {
          "path": "examples/tritongluon-03-async-copy/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 2,
        "sync_instructions_note": "2 (2 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 1,
            "candidates": 2,
            "note": "1 of 2 ([#284](https://github.com/wmdi/wasp_verification/issues/284), [#285](https://github.com/wmdi/wasp_verification/issues/285))"
          },
          "performance": {
            "status": "no_measurable_change",
            "runtime_change_percent": 0.0,
            "note": "no measurable change (0.47 vs 0.47 \u00b5s); B200 output identical",
            "original_us": 0.47,
            "reduced_us": 0.47
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 1,
            "candidates": 2,
            "note": "1 of 2 with elements 1,000 \u2192 4,000, grid 4 \u2192 16; the recorded-input reduction still verifies `race_free`"
          },
          "performance": {
            "status": "no_measurable_change",
            "runtime_change_percent": 0.0,
            "note": "no measurable change (0.42 vs 0.42 \u00b5s); B200 output identical",
            "original_us": 0.42,
            "reduced_us": 0.42
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/284",
          "https://github.com/wmdi/wasp_verification/issues/285"
        ]
      },
      "analysis_time_seconds": 0.093114396,
      "analysis_time_source": {
        "path": "examples/tritongluon-03-async-copy/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "tritongluon-03-async-pipelined",
      "result": "timeout",
      "diagnostics": [
        {
          "code": "timeout",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/tritongluon-03-async-pipelined.ptx"
        },
        "input": {
          "path": "examples/tritongluon-03-async-pipelined/input.json"
        },
        "result": {
          "path": "examples/tritongluon-03-async-pipelined/output.json"
        },
        "reference": {
          "path": "examples/tritongluon-03-async-pipelined/reference.py"
        },
        "reference_binding": {
          "path": "examples/tritongluon-03-async-pipelined/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 8,
        "sync_instructions_note": "8 (8 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 1,
            "candidates": 8,
            "note": "1 of 8 ([#286](https://github.com/wmdi/wasp_verification/issues/286), [#287](https://github.com/wmdi/wasp_verification/issues/287)); verified with the time limit raised (23 min per run; the standard 300 s limit gives `native_timeout`)"
          },
          "performance": {
            "status": "no_measurable_change",
            "runtime_change_percent": 0.0,
            "note": "no measurable change (50.83 vs 50.87 \u00b5s); B200 output identical",
            "original_us": 50.83,
            "reduced_us": 50.87
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 1,
            "candidates": 8,
            "note": "1 of 8, unchanged: recorded input (it already overwrites every pipeline buffer 10 to 11 times); the reduction still verifies `race_free`"
          },
          "performance": {
            "status": "not_reported",
            "note": ""
          },
          "rechecked_at_recorded_input": true
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/286",
          "https://github.com/wmdi/wasp_verification/issues/287"
        ]
      },
      "analysis_time_seconds": 498.681199698,
      "analysis_time_source": {
        "path": "examples/tritongluon-03-async-pipelined/output.json",
        "field": "elapsed_seconds"
      }
    },
    {
      "name": "tritongluon-04-tma-pipelined",
      "result": "potential_race",
      "diagnostics": [
        {
          "code": "conflicting_accesses_unordered",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/tritongluon-04-tma-pipelined.ptx"
        },
        "input": {
          "path": "examples/tritongluon-04-tma-pipelined/input.json"
        },
        "result": {
          "path": "examples/tritongluon-04-tma-pipelined/output.json"
        }
      },
      "analysis_time_seconds": 13.222290161,
      "analysis_time_source": {
        "path": "examples/tritongluon-04-tma-pipelined/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "tritongluon-06-tcgen05-blocked-matmul",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "unsupported_memory_binding_domain",
          "stage": "memory_effect_binding"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/tritongluon-06-tcgen05-blocked-matmul.ptx"
        },
        "input": {
          "path": "examples/tritongluon-06-tcgen05-blocked-matmul/input.json"
        },
        "result": {
          "path": "examples/tritongluon-06-tcgen05-blocked-matmul/output.json"
        },
        "reference": {
          "path": "examples/tritongluon-06-tcgen05-blocked-matmul/reference.py"
        },
        "reference_binding": {
          "path": "examples/tritongluon-06-tcgen05-blocked-matmul/reference_binding.json"
        }
      },
      "analysis_time_seconds": 0.647003438,
      "analysis_time_source": {
        "path": "examples/tritongluon-06-tcgen05-blocked-matmul/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "tritongluon-06-tcgen05-tmem",
      "result": "potential_race",
      "diagnostics": [
        {
          "code": "conflicting_accesses_unordered",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/tritongluon-06-tcgen05-tmem.ptx"
        },
        "input": {
          "path": "examples/tritongluon-06-tcgen05-tmem/input.json"
        },
        "result": {
          "path": "examples/tritongluon-06-tcgen05-tmem/output.json"
        }
      },
      "analysis_time_seconds": 0.450873818,
      "analysis_time_source": {
        "path": "examples/tritongluon-06-tcgen05-tmem/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "tritongluon-07-persistence",
      "result": "timeout",
      "diagnostics": [
        {
          "code": "timeout",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/tritongluon-07-persistence.ptx"
        },
        "input": {
          "path": "examples/tritongluon-07-persistence/input.json"
        },
        "result": {
          "path": "examples/tritongluon-07-persistence/output.json"
        },
        "reference": {
          "path": "examples/tritongluon-07-persistence/reference.py"
        },
        "reference_binding": {
          "path": "examples/tritongluon-07-persistence/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 38,
        "sync_instructions_note": "38",
        "recorded": {
          "removal": {
            "status": "not_run",
            "note": "not run: not `race_free` with the corrected input ([#288](https://github.com/wmdi/wasp_verification/issues/288))"
          },
          "performance": {
            "status": "not_applicable",
            "note": "n/a"
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "not_reported",
            "note": ""
          },
          "performance": {
            "status": "not_reported",
            "note": ""
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/288"
        ]
      },
      "analysis_time_seconds": 498.65423281,
      "analysis_time_source": {
        "path": "examples/tritongluon-07-persistence/output.json",
        "field": "elapsed_seconds"
      }
    },
    {
      "name": "tritongluon-07-persistence-stealb",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "scalar_fold_cross_element",
          "stage": "value_analysis.scalar_fold"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/tritongluon-07-persistence-stealb.ptx"
        },
        "input": {
          "path": "examples/tritongluon-07-persistence-stealb/input.json"
        },
        "result": {
          "path": "examples/tritongluon-07-persistence-stealb/output.json"
        },
        "reference": {
          "path": "examples/tritongluon-07-persistence-stealb/reference.py"
        },
        "reference_binding": {
          "path": "examples/tritongluon-07-persistence-stealb/reference_binding.json"
        }
      },
      "analysis_time_seconds": 56.293417778,
      "analysis_time_source": {
        "path": "examples/tritongluon-07-persistence-stealb/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "tritongluon-08-ws-elementwise",
      "result": "potential_race",
      "diagnostics": [
        {
          "code": "conflicting_accesses_unordered",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/tritongluon-08-ws-elementwise.ptx"
        },
        "input": {
          "path": "examples/tritongluon-08-ws-elementwise/input.json"
        },
        "result": {
          "path": "examples/tritongluon-08-ws-elementwise/output.json"
        }
      },
      "analysis_time_seconds": 0.08185839,
      "analysis_time_source": {
        "path": "examples/tritongluon-08-ws-elementwise/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "tritongluon-08-ws-matmul-512",
      "result": "potential_race",
      "diagnostics": [
        {
          "code": "conflicting_accesses_unordered",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/tritongluon-08-ws-matmul-512.ptx"
        },
        "input": {
          "path": "examples/tritongluon-08-ws-matmul-512/input.json"
        },
        "result": {
          "path": "examples/tritongluon-08-ws-matmul-512/output.json"
        }
      },
      "analysis_time_seconds": 0.138460123,
      "analysis_time_source": {
        "path": "examples/tritongluon-08-ws-matmul-512/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "tritongluon-10-matmul-accumulate",
      "result": "potential_race",
      "diagnostics": [
        {
          "code": "conflicting_accesses_unordered",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/tritongluon-10-matmul-accumulate.ptx"
        },
        "input": {
          "path": "examples/tritongluon-10-matmul-accumulate/input.json"
        },
        "result": {
          "path": "examples/tritongluon-10-matmul-accumulate/output.json"
        }
      },
      "analysis_time_seconds": 0.170889162,
      "analysis_time_source": {
        "path": "examples/tritongluon-10-matmul-accumulate/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "tritongluon-10-tcgen05-copy",
      "result": "potential_race",
      "diagnostics": [
        {
          "code": "conflicting_accesses_unordered",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/tritongluon-10-tcgen05-copy.ptx"
        },
        "input": {
          "path": "examples/tritongluon-10-tcgen05-copy/input.json"
        },
        "result": {
          "path": "examples/tritongluon-10-tcgen05-copy/output.json"
        }
      },
      "analysis_time_seconds": 0.966685883,
      "analysis_time_source": {
        "path": "examples/tritongluon-10-tcgen05-copy/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "tritongluon-12-cluster-launch-control",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "scalar_fold_cross_element",
          "stage": "value_analysis.scalar_fold"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/tritongluon-12-cluster-launch-control.ptx"
        },
        "input": {
          "path": "examples/tritongluon-12-cluster-launch-control/input.json"
        },
        "result": {
          "path": "examples/tritongluon-12-cluster-launch-control/output.json"
        },
        "reference": {
          "path": "examples/tritongluon-12-cluster-launch-control/reference.py"
        },
        "reference_binding": {
          "path": "examples/tritongluon-12-cluster-launch-control/reference_binding.json"
        }
      },
      "analysis_time_seconds": 19.528077161,
      "analysis_time_source": {
        "path": "examples/tritongluon-12-cluster-launch-control/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "vllm__dsv3_fused_a_gemm__sm_100f",
      "result": "invalid_lifecycle",
      "diagnostics": [
        {
          "code": "barrier_initialized_multiple_times",
          "stage": "event_view_validation"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/vllm__dsv3_fused_a_gemm__sm_100f.ptx"
        },
        "input": {
          "path": "examples/vllm__dsv3_fused_a_gemm__sm_100f/input.json"
        },
        "result": {
          "path": "examples/vllm__dsv3_fused_a_gemm__sm_100f/output.json"
        }
      },
      "analysis_time_seconds": 137.270495222,
      "analysis_time_source": {
        "path": "examples/vllm__dsv3_fused_a_gemm__sm_100f/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "vllm__fp8_dynamic_per_token_scaled_quant__sm_100a",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/vllm__fp8_dynamic_per_token_scaled_quant__sm_100a.ptx"
        },
        "input": {
          "path": "examples/vllm__fp8_dynamic_per_token_scaled_quant__sm_100a/input.json"
        },
        "result": {
          "path": "examples/vllm__fp8_dynamic_per_token_scaled_quant__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/vllm__fp8_dynamic_per_token_scaled_quant__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/vllm__fp8_dynamic_per_token_scaled_quant__sm_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 3,
        "sync_instructions_note": "3 (2 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 0,
            "candidates": 2,
            "note": "0 of 2 ([#290](https://github.com/wmdi/wasp_verification/issues/290))"
          },
          "performance": {
            "status": "not_applicable",
            "note": "n/a"
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "not_reported",
            "note": ""
          },
          "performance": {
            "status": "not_reported",
            "note": ""
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/290"
        ]
      },
      "analysis_time_seconds": 1.258770229,
      "analysis_time_source": {
        "path": "examples/vllm__fp8_dynamic_per_token_scaled_quant__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "vllm__fused_gdn_decode_kernel__sm_100f",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/vllm__fused_gdn_decode_kernel__sm_100f.ptx"
        },
        "input": {
          "path": "examples/vllm__fused_gdn_decode_kernel__sm_100f/input.json"
        },
        "result": {
          "path": "examples/vllm__fused_gdn_decode_kernel__sm_100f/output.json"
        }
      },
      "analysis_time_seconds": 0.060549166,
      "analysis_time_source": {
        "path": "examples/vllm__fused_gdn_decode_kernel__sm_100f/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "vllm__fused_kda_decode_kernel__sm_100f",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "dynamic_address_overlap_unresolved",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/vllm__fused_kda_decode_kernel__sm_100f.ptx"
        },
        "input": {
          "path": "examples/vllm__fused_kda_decode_kernel__sm_100f/input.json"
        },
        "result": {
          "path": "examples/vllm__fused_kda_decode_kernel__sm_100f/output.json"
        }
      },
      "analysis_time_seconds": 108.894441489,
      "analysis_time_source": {
        "path": "examples/vllm__fused_kda_decode_kernel__sm_100f/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "vllm__fused_qknorm_rope__sm_100a",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/vllm__fused_qknorm_rope__sm_100a.ptx"
        },
        "input": {
          "path": "examples/vllm__fused_qknorm_rope__sm_100a/input.json"
        },
        "result": {
          "path": "examples/vllm__fused_qknorm_rope__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/vllm__fused_qknorm_rope__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/vllm__fused_qknorm_rope__sm_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 2,
        "sync_instructions_note": "2 (2 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 2,
            "candidates": 2,
            "note": "2 of 2 ([#215](https://github.com/wmdi/wasp_verification/issues/215), [#216](https://github.com/wmdi/wasp_verification/issues/216))"
          },
          "performance": {
            "status": "no_measurable_change",
            "runtime_change_percent": 0.0,
            "note": "no measurable change (1.32 vs 1.33 \u00b5s); B200 output identical",
            "original_us": 1.32,
            "reduced_us": 1.33
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 2,
            "candidates": 2,
            "note": "2 of 2 with tokens 8 \u2192 32, grid 4 \u2192 16; the recorded-input reduction still verifies `race_free`"
          },
          "performance": {
            "status": "no_measurable_change",
            "runtime_change_percent": 0.0,
            "note": "no measurable change (1.65 vs 1.69 \u00b5s); B200 output identical",
            "original_us": 1.65,
            "reduced_us": 1.69
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/215",
          "https://github.com/wmdi/wasp_verification/issues/216"
        ]
      },
      "analysis_time_seconds": 4.849427293,
      "analysis_time_source": {
        "path": "examples/vllm__fused_qknorm_rope__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "vllm__grouped_mm_c3x_sm100__sm_100f",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "allocation_alias_relation_unknown",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/vllm__grouped_mm_c3x_sm100__sm_100f.ptx"
        },
        "input": {
          "path": "examples/vllm__grouped_mm_c3x_sm100__sm_100f/input.json"
        },
        "result": {
          "path": "examples/vllm__grouped_mm_c3x_sm100__sm_100f/output.json"
        }
      },
      "analysis_time_seconds": 42.598142868,
      "analysis_time_source": {
        "path": "examples/vllm__grouped_mm_c3x_sm100__sm_100f/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "vllm__layernorm_fused_add_rms_norm__sm_100a",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/vllm__layernorm_fused_add_rms_norm__sm_100a.ptx"
        },
        "input": {
          "path": "examples/vllm__layernorm_fused_add_rms_norm__sm_100a/input.json"
        },
        "result": {
          "path": "examples/vllm__layernorm_fused_add_rms_norm__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/vllm__layernorm_fused_add_rms_norm__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/vllm__layernorm_fused_add_rms_norm__sm_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 3,
        "sync_instructions_note": "3 (2 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 0,
            "candidates": 2,
            "note": "0 of 2 ([#291](https://github.com/wmdi/wasp_verification/issues/291))"
          },
          "performance": {
            "status": "not_applicable",
            "note": "n/a"
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "not_reported",
            "note": ""
          },
          "performance": {
            "status": "not_reported",
            "note": ""
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/291"
        ]
      },
      "analysis_time_seconds": 3.305750058,
      "analysis_time_source": {
        "path": "examples/vllm__layernorm_fused_add_rms_norm__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "vllm__moe_topk_softmax__sm_100a",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/vllm__moe_topk_softmax__sm_100a.ptx"
        },
        "input": {
          "path": "examples/vllm__moe_topk_softmax__sm_100a/input.json"
        },
        "result": {
          "path": "examples/vllm__moe_topk_softmax__sm_100a/output.json"
        }
      },
      "analysis_time_seconds": 0.020495008,
      "analysis_time_source": {
        "path": "examples/vllm__moe_topk_softmax__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "vllm__mxfp4_blockwise_moe_kernel__sm_100f",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "allocation_alias_relation_unknown",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/vllm__mxfp4_blockwise_moe_kernel__sm_100f.ptx"
        },
        "input": {
          "path": "examples/vllm__mxfp4_blockwise_moe_kernel__sm_100f/input.json"
        },
        "result": {
          "path": "examples/vllm__mxfp4_blockwise_moe_kernel__sm_100f/output.json"
        }
      },
      "analysis_time_seconds": 9.564533234,
      "analysis_time_source": {
        "path": "examples/vllm__mxfp4_blockwise_moe_kernel__sm_100f/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "vllm__nvfp4_blockwise_moe_kernel__sm_100f",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "allocation_alias_relation_unknown",
          "stage": "memory_check"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/vllm__nvfp4_blockwise_moe_kernel__sm_100f.ptx"
        },
        "input": {
          "path": "examples/vllm__nvfp4_blockwise_moe_kernel__sm_100f/input.json"
        },
        "result": {
          "path": "examples/vllm__nvfp4_blockwise_moe_kernel__sm_100f/output.json"
        }
      },
      "analysis_time_seconds": 9.59633886,
      "analysis_time_source": {
        "path": "examples/vllm__nvfp4_blockwise_moe_kernel__sm_100f/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "vllm__nvfp4_scaled_mm_kernels__sm_100f",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/vllm__nvfp4_scaled_mm_kernels__sm_100f.ptx"
        },
        "input": {
          "path": "examples/vllm__nvfp4_scaled_mm_kernels__sm_100f/input.json"
        },
        "result": {
          "path": "examples/vllm__nvfp4_scaled_mm_kernels__sm_100f/output.json"
        },
        "reference": {
          "path": "examples/vllm__nvfp4_scaled_mm_kernels__sm_100f/reference.py"
        },
        "reference_binding": {
          "path": "examples/vllm__nvfp4_scaled_mm_kernels__sm_100f/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 91,
        "sync_instructions_note": "91 (43 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 18,
            "candidates": 43,
            "note": "18 of 43 ([#222](https://github.com/wmdi/wasp_verification/issues/222), [#223](https://github.com/wmdi/wasp_verification/issues/223))"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -5.1,
            "note": "-5.1% (4.09 \u2192 3.87 \u00b5s); B200 output identical",
            "original_us": 4.09,
            "reduced_us": 3.87
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 17,
            "candidates": 47,
            "note": "17 of 47 with K 256 \u2192 1,536; the 18-site recorded-input reduction is `not_wellsynced` here and hangs on a B200"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -4.6,
            "note": "-4.6% (4.90 \u2192 4.65 \u00b5s); B200 output identical",
            "original_us": 4.9,
            "reduced_us": 4.65
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/222",
          "https://github.com/wmdi/wasp_verification/issues/223"
        ]
      },
      "analysis_time_seconds": 148.880317242,
      "analysis_time_source": {
        "path": "examples/vllm__nvfp4_scaled_mm_kernels__sm_100f/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "vllm__pos_encoding_rotary_embedding__sm_100a",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/vllm__pos_encoding_rotary_embedding__sm_100a.ptx"
        },
        "input": {
          "path": "examples/vllm__pos_encoding_rotary_embedding__sm_100a/input.json"
        },
        "result": {
          "path": "examples/vllm__pos_encoding_rotary_embedding__sm_100a/output.json"
        },
        "reference": {
          "path": "examples/vllm__pos_encoding_rotary_embedding__sm_100a/reference.py"
        },
        "reference_binding": {
          "path": "examples/vllm__pos_encoding_rotary_embedding__sm_100a/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 0,
        "sync_instructions_note": "0",
        "recorded": {
          "removal": {
            "status": "not_applicable",
            "note": "n/a"
          },
          "performance": {
            "status": "not_applicable",
            "note": "n/a"
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "not_reported",
            "note": ""
          },
          "performance": {
            "status": "not_reported",
            "note": ""
          },
          "rechecked_at_recorded_input": false
        },
        "references": []
      },
      "analysis_time_seconds": 0.379444384,
      "analysis_time_source": {
        "path": "examples/vllm__pos_encoding_rotary_embedding__sm_100a/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "vllm__scaled_mm_blockwise_sm100_fp8__sm_100f",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/vllm__scaled_mm_blockwise_sm100_fp8__sm_100f.ptx"
        },
        "input": {
          "path": "examples/vllm__scaled_mm_blockwise_sm100_fp8__sm_100f/input.json"
        },
        "result": {
          "path": "examples/vllm__scaled_mm_blockwise_sm100_fp8__sm_100f/output.json"
        },
        "reference": {
          "path": "examples/vllm__scaled_mm_blockwise_sm100_fp8__sm_100f/reference.py"
        },
        "reference_binding": {
          "path": "examples/vllm__scaled_mm_blockwise_sm100_fp8__sm_100f/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 113,
        "sync_instructions_note": "113 (82 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 48,
            "candidates": 82,
            "note": "48 of 82 ([#225](https://github.com/wmdi/wasp_verification/issues/225), [#226](https://github.com/wmdi/wasp_verification/issues/226))"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -10.8,
            "note": "-10.8% (2.78 \u2192 2.48 \u00b5s); B200 output identical",
            "original_us": 2.78,
            "reduced_us": 2.48
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 44,
            "candidates": 84,
            "note": "44 of 84 with K 256 \u2192 2,048; the 48-site recorded-input reduction is `not_wellsynced` here and hangs on a B200"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -4.5,
            "note": "-4.5% (6.71 \u2192 6.41 \u00b5s); B200 output identical",
            "original_us": 6.71,
            "reduced_us": 6.41
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/225",
          "https://github.com/wmdi/wasp_verification/issues/226"
        ]
      },
      "analysis_time_seconds": 4.615278305,
      "analysis_time_source": {
        "path": "examples/vllm__scaled_mm_blockwise_sm100_fp8__sm_100f/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "vllm__scaled_mm_sm100_fp8__sm_100f",
      "result": "verified",
      "diagnostics": [],
      "files": {
        "ptx": {
          "path": "corpus/vllm__scaled_mm_sm100_fp8__sm_100f.ptx"
        },
        "input": {
          "path": "examples/vllm__scaled_mm_sm100_fp8__sm_100f/input.json"
        },
        "result": {
          "path": "examples/vllm__scaled_mm_sm100_fp8__sm_100f/output.json"
        },
        "reference": {
          "path": "examples/vllm__scaled_mm_sm100_fp8__sm_100f/reference.py"
        },
        "reference_binding": {
          "path": "examples/vllm__scaled_mm_sm100_fp8__sm_100f/reference_binding.json"
        }
      },
      "synchronization_removal": {
        "static_sync_instructions": 79,
        "sync_instructions_note": "79 (56 executed candidates)",
        "recorded": {
          "removal": {
            "status": "measured",
            "removable": 31,
            "candidates": 56,
            "note": "31 of 56 ([#227](https://github.com/wmdi/wasp_verification/issues/227), [#228](https://github.com/wmdi/wasp_verification/issues/228))"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -6.9,
            "note": "-6.9% (2.53 \u2192 2.35 \u00b5s); B200 output identical",
            "original_us": 2.53,
            "reduced_us": 2.35
          },
          "rechecked_at_recorded_input": false
        },
        "larger": {
          "removal": {
            "status": "measured",
            "removable": 30,
            "candidates": 58,
            "note": "30 of 58 with K 256 \u2192 3,328; the 31-site recorded-input reduction is `not_wellsynced` here and hangs on a B200"
          },
          "performance": {
            "status": "measured",
            "runtime_change_percent": -4.0,
            "note": "-4.0% (3.58 \u2192 3.43 \u00b5s); B200 output identical",
            "original_us": 3.58,
            "reduced_us": 3.43
          },
          "rechecked_at_recorded_input": false
        },
        "references": [
          "https://github.com/wmdi/wasp_verification/issues/227",
          "https://github.com/wmdi/wasp_verification/issues/228"
        ]
      },
      "analysis_time_seconds": 2.39696549,
      "analysis_time_source": {
        "path": "examples/vllm__scaled_mm_sm100_fp8__sm_100f/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    },
    {
      "name": "vllm__sm100_cutlass_mla_kernel__sm_100f",
      "result": "unsupported",
      "diagnostics": [
        {
          "code": "control_predicate_not_static",
          "stage": "ptx_execution"
        }
      ],
      "files": {
        "ptx": {
          "path": "corpus/vllm__sm100_cutlass_mla_kernel__sm_100f.ptx"
        },
        "input": {
          "path": "examples/vllm__sm100_cutlass_mla_kernel__sm_100f/input.json"
        },
        "result": {
          "path": "examples/vllm__sm100_cutlass_mla_kernel__sm_100f/output.json"
        }
      },
      "analysis_time_seconds": 0.471141575,
      "analysis_time_source": {
        "path": "examples/vllm__sm100_cutlass_mla_kernel__sm_100f/output.json",
        "field": "pipeline_elapsed_seconds"
      }
    }
  ]
}