V.R75 — No approximation

The cocycle defect vanishes exactly at each orbit depth, not merely in a limit. At each finite depth n, the tau-Einstein identity is a finite-dimensional algebraic equation; the NF step solves it exactly. The limit n -> infinity is the profinite inverse limit of exact solutions.