pub fn work_of(p: &SpatialProgram, t: &SpatialTarget) -> WorkExpand description
What the program makes the machine do. Walks the scheduled choreography — the same structure the backends print — so the model cannot drift from the code that runs.
A program without a schedule has not been through synthesize_handshakes and has no movement to
count; the compute law still holds, so that is what comes back.
A loop run to a trip counts its trip’s greatest count: the work is the program’s bound. work_at is the work
of one run.