Registry · Definition
III.D55
tau-effective
formalized
III.D55 — NP Witness as Canonical Address
An NP witness = τ-address w with unique NF decomposition (A,B,C,D). The ABCD coordinates structure the witness space: search the 4-component coordinate space instead of arbitrary bitstrings. E₂-native definition.