II.T34 — Regularity Criterion

A point p is tau-regular for f if and only if the omega-germ sequence stabilizes: there exists a finite stage N such that the boundary lift agrees with f for all stages beyond N. Constructive and decidable at each finite stage.