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

Dependency Graph

Depends on (3)

Depended on by (3)

Lean Formalization

Module:

Symbol: