Registry · Theorem
IV.T134
tau-effective
formalized
IV.T134 — Window Algebra Origin
The 5/7 NLO coefficient arises from two adjacent W₃ sliding windows on CF[ι_τ]: numerator=W₃(4)=5, denominator=W₃(3)−2·W₃(4)=7.