This record contains a five-paper core set for the F1-Lite Dirichlet variance-transduction branch of a conditional Subconvexity–GUE interface framework. The package does not claim a proof of GUE universality, subconvexity, the Riemann Hypothesis, or a zero-density theorem. Its purpose is more specific: it isolates the Dirichlet-family F1-Lite bridge into a restricted diagonal-safe theorem branch, a support-enlarged product-congruence obstruction branch, a stable secondary-target package, and a conditional model divisor-branch closure under a smooth shifted-divisor input. The uploaded PDFs are: 1. **Energy Interfaces between Subconvexity Bounds and GUE-Type Pair-Correlation Statistics: A Conditional Variance–Kernel Transduction Framework**, Version v4. 0r2. This parent manuscript formulates the conditional variance–kernel–energy interface. It separates the forward explicit-formula variance bridge, the variance–kernel comparability gate, the reverse obstruction package, threshold matching, and loss compatibility. 2. **A Diagonal-Safe Explicit-Formula Variance-Discrepancy Bridge for Dirichlet Families**, F1-Lite Restricted Theorem Note, Version v3. 7r2. This note extracts the restricted theorem-level branch for coefficient support below the prime modulus threshold, \ (1: -congruence obstruction and stable secondary-target branch, \] \^ EF=1: model divisor-branch closure under a smooth shifted-divisor input. \ The main remaining mathematical tasks after this release are: proving or importing sufficiently uniform shifted-product asymptotics for broader coefficient classes, proving centered product-congruence residual saving after secondary-target subtraction, handling endpoint/Type-I ledgers, extending the model divisor branch to the full EF/VHB coefficient-local setting, and establishing the separate variance–kernel comparability gate needed for GUE-facing kernel-energy conclusions.
Byoungwoo Lee (Wed,) studied this question.