V.R76 — Comparison with orthodox gauge freedom

In orthodox GR, solutions are unique only up to diffeomorphisms and the gauge group Diff(M) is infinite-dimensional. In Category tau, there is no gauge freedom: the boundary holonomy algebra has a unique normal form at each orbit depth from the tau-NF of Book I, Part XI.