Registry · Definition
V.D194
tau-effective
formalized
V.D194 — Domain-Wall Correction Factor
Domain-wall correction = 5/6 = 1 - (1/2)(1/3). P(conflict) = 1/3 proved; bnd_frac = 1/2 self-consistent with 6-threshold structure.
Book V
Part 6
Ch. 48