Registry · Remark V.R11 tau-effective not_applicable

V.R11 — Comparison with Book~IV

Book V's dependency chain is simpler than Book IV's (eight Parts, one branch point, single synthesis) because the base tau^1 has fewer generators (2 vs 3) and fewer sectors, reflecting the structural asymmetry between the temporal and spatial halves of tau^3.

Book V Part 0 Ch. 3

Lean Formalization

Module: