I.L07 — Tail Agreement Propagation

If two tower-coherent stagewise functions agree at stage d0 for all inputs, they agree at ALL stages k <= d0. The downward direction: agreement at a fine stage implies agreement at all coarser stages.