Exact Structural Abstraction and Tractability Limits

arXiv:2604.07349v5 Announce Type: replace-cross Abstract: Any rigorously specified problem determines an admissible-output relation $R$, and exact correctness depends only on the induced classes $s \sim_R s' \iff \mathrm{Adm}_R(s)=\mathrm{Adm}_R(s')$. Exact relevance certification asks which...