Effective Archimedean Stark Theorems over Real Quadratic Fields: Quadratic Support, Shintani Transfer, and CM Descent

Abstract

Version 1.5 integrates the certified RQ-000013 addendum into the main paper and removes the standalone addendum PDF from the top-level release inventory. The main upload is named effective-stark-results-00-main-paper.pdf so lexical file ordering places the paper before the companion archive and supplementary material. Its reserved release DOI is 10.5281/zenodo.21713178. The integrated worked example is the first fully worked nonzero imprimitive Engine-A row. Exact conductor, Euler-factor, class-number, unit-norm-kernel, determinant-index, root-isolation, and Artin-action checks give E_chi=2, I_chi=2, and X_[0]=u^2, X_[1]=u^(-2). The included bnrL1 point-value comparison remains explicitly quarantined and is not part of the proof. All version 1.4 mathematical and provenance corrections remain in force: the release preserves the proved Engine-C packet polynomials, magnitudes, and sigma-positive Fourier convention; withdraws the claim of a data-independent direct/inverse character choice in the five-control phase replay; and retains only the statement that one conjugate orientation has a unique quarter-turn match in each case. The proved Roblot weak-unit replacement corollary and the corrected Tangedal--Young pagination are unchanged. The deterministic version 1.5 companion nests the immutable published version 1.4 companion, preserving the historical standalone addendum and every correction record while making the integrated main paper the only top-level article PDF.