IV.R158 — Finitely specified at each depth

At each primorial depth n, the functional delta_n is finitely specified: it assigns a 4-tuple to each of finitely many cylinders C_{n,0},...,C_{n,p_n#-1}; no infinite-dimensional function space is involved, a direct consequence of the profinite address structure.