pub fn logos_gemm_program(m: usize, n: usize, k: usize) -> String
A canonical LOGOS matmul C[m×n] = A[m×k] · B[k×n] as the triple loop the tensor recognizer reads (the same program the Tenstorrent lane lowers).
C[m×n] = A[m×k] · B[k×n]