fn diff_field_spine<T: Timestamp + Lattice>(
    from: &Trace<T>,
    to: &Trace<T>,
    diffs: &mut Vec<StateFieldDiff<HollowBatch<T>, ()>>
)