Function from_systolic 

pub fn from_systolic(
    sys: &Systolic,
    m: usize,
    target: &SpatialTarget,
) -> Result<SpatialProgram, SpatialReject>

A weight-stationary systolic tile as a spatial program: O(m×n) = A(m×k)·W(k×n), the weights baked into a Param tensor, the compute stage carrying the weight-stationary policy.