Registry · Definition
III.D33
tau-effective
formalized
III.D33 — NP Witness as Canonical Address (v1)
An NP witness for a τ-admissible decision problem is a canonical NF address in ABCD coordinates. Verification = NF coherence check. The witness has CRT product structure via the primorial tower, not arbitrary combinatorial structure.
Book III
Part 7