Registry · Definition
V.D85
tau-effective
formalized
V.D85 — Defect partition of paths
Defect partition of paths: at orbit depth n, CR-compatible paths of length <= r from node n are classified as defect-traversing (passing through at least one defect site where |dbar_b f| > 0) or defect-free (avoiding all defect sites in D_n).