---
id: pr-tilelang-1950
repo: tile-ai/tilelang
pr: 1950
title: '[Enhancement] Use stronger prover in `ProveFragmentContains` to avoid false layout conflicts'
author: LJC00118
date: '2026-03-20'
url: https://github.com/tile-ai/tilelang/pull/1950
source_category: upstream-code
architectures:
- sm100
tags:
- mxfp4
- schedule
techniques: []
hardware_features:
- fp4
- mxfp4
kernel_types: []
languages: []
captured_at: '2026-05-16'
status: merged
merge_sha: 12b45b34c54fe5fd9453c0f5edb6ec9a8422e23a
inclusion_reason: Search-matched CUDA kernel optimization PR; materialize diff/source before synthesis.
changed_paths:
- src/layout/utils.cc
- tilelang/analysis/layout_visual.py
artifact_dir: evidence/pull-bundles/tilelang/gh-1950
head_ref_oid: 589e8d1df73a6881a2acb3075de0b89b965a9e5d
---
# [Enhancement] Use stronger prover in `ProveFragmentContains` to avoid false layout conflicts

- Repository: `tile-ai/tilelang`
- PR: [1950](https://github.com/tile-ai/tilelang/pull/1950)
- Decision: `Search-matched CUDA kernel optimization PR; materialize diff/source before synthesis.`
- Reason: Search-matched CUDA kernel optimization PR; materialize diff/source before synthesis.

## Changed Paths

- `src/layout/utils.cc`
- `tilelang/analysis/layout_visual.py`

## Evidence Bundle

`evidence/pull-bundles/tilelang/gh-1950`
