Registry · Remark V.R446 conjectural not_applicable

V.R446 — Clay Bridge Status

Decompactification bound quantifies domain gap; admissibility gap remains qualitative. Together: precise obstacle between τ-result and Clay problem.

Book V Part 4 Ch. 27

Dependency Graph

Depends on (2)

Lean Formalization

Module: