This record contains a three-paper manuscript set on conditional interfaces between subconvexity-type analytic savings, GUE-type pair-correlation statistics, and explicit-formula variance transduction in Dirichlet families. The set consists of: 1. **Energy Interfaces between Subconvexity Bounds and GUE-Type Pair-Correlation Statistics: A Conditional Variance–Kernel Transduction Framework**, Version v4. 0r1. 2. **A Diagonal-Safe Explicit-Formula Variance-Discrepancy Bridge for Dirichlet Families**, F1-Lite Restricted Theorem Note, Version v3. 7r1. 3. **Product-Congruence Obstructions to Support-Enlarged Variance Transduction in Dirichlet Families**, F1-Lite Max-Push Note, Version v3. 8r1. The first paper gives the public-stabilized conditional interface architecture. It does not claim that subconvexity alone proves GUE universality, nor that GUE input alone proves subconvexity. Instead, it formulates a shared variance–kernel–energy channel through which progress on either side can constrain the other once explicit bridge hypotheses are supplied. The central interface energy has the schematic form ETT, KT=KL (T\|T^) +ₒSpecT (T) +₊₄ₑ\|KT-KT^\|₇ₒ (ₖₓ) ²+ₑ₄₆Reg, ₓ (T). Here \ (T\) is an unfolded zero-statistic law, \ (KT\) is a windowed pair-correlation kernel, and \ (KT^\) is the GUE/sine-kernel reference. The KL–low-mode–regularity component is based on the companion foundation note “Entropy–Rigidity Energy Functionals for Arithmetic Statistics, ” Version v2. 0r3, DOI: 10. 5281/zenodo. 20132780. The second paper extracts the first restricted theorem-level F1-lite branch in a prime-modulus Dirichlet setting. For primitive nonprincipal characters modulo prime \ (q Q\), heavily smoothed explicit-formula test classes, and coefficient support \ (n Q^\) with \ (1\), nontrivial product-congruence pairs enter: n=m+kq and, after Type-II decomposition, equations of the form ab-cd=kq appear. These contributions are not controlled by the pure diagonal target alone. The support-enlarged branch is therefore reduced, in this Max-Push audit, to secondary-main-term absorption and weighted-character estimates. The refined support-enlarged target has the schematic form Dₑ₄₅, ₐ=D₃₈₀₆, ₐ+SMTQ, where \ (SMTQ\) is a secondary local product-congruence target. The remaining weighted-character package is summarized as WCC+WLV+GWF, where KNC denotes kernel nonconcentration, WLV denotes weighted large-value control, and GWF denotes good-character weighted fluctuation. This manuscript set does **not** claim a proof of GUE universality, subconvexity, the Riemann Hypothesis, or a new zero-density theorem. Its contribution is more specific: it provides a conditional Subconvexity–GUE interface framework, extracts a restricted diagonal-safe F1-lite variance-discrepancy theorem, and identifies the product-congruence and weighted-character obstructions that arise when one attempts support enlargement beyond \ (=1\).
Byoungwoo Lee (Wed,) studied this question.