IV.T91 — Second law via defect functional

Second law via defect functional: under propagation Phi_{n,n+1}, defect entropy S_def is non-increasing, refinement entropy S_ref is non-decreasing, total entropy S = S_def + S_ref is non-decreasing, and tau-temperature T_tau >= 0 always.