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

Corrected paper and reproducibility archive for unconditional effective identifications of selected one-place archimedean Stark packets over real quadratic fields. The work develops a uniform quadratic-support theorem, an effective Shintani index-two transfer with certified height rigidity, and a cyclic-quartic CM norm bridge. Version 1.2 credits Tate's classical proof of the quadratic rank-one case and Arakawa's related index formula, clarifies that Engine A contributes the uniform explicit one-place formula rather than the underlying algebraicity theorem, explains the precise role of Roblot's hypothesis (A4), and records that Roblot's squareness criteria do not apply to Engine C's imaginary-quadratic bases. The exact Roblot overlap audit remains unchanged: his sextic theorem applies to four selected order-six ray fields, while RQ-002057 lies outside it because of wild ramification above 3. The record contains the paper and supplement as directly previewable top-level PDF and TeX files, together with a self-checksumming companion archive of exact case data, Arb certificates, correction records, and compact proof-checking programs.