pub fn pareto_frontier(gpu: &GpuLimits) -> Vec<CudaTile>Expand description
CONSTRUCT the measurement frontier: the Pareto-optimal feasible tiles — those NOT dominated by any other feasible tile on the three physical axes (DRAM traffic ↓, SMEM traffic ↓, occupancy ↑). This is the honest “let it construct the answer” step: we do NOT pick a winner and we assume NO weighting — we only discard tiles that are provably worse on every axis (they cannot be optimal), then hand the survivors to the GPU, which crowns the winner by measurement. The frontier is a small superset of the true optimum; the machine, not us, resolves the un-modelable physics (bank conflicts, scheduling) that separates the survivors.