C036 - Drive (A) produces a dipole AC Stark shift of ~= 2 pi x 17 kHz.
Verdict: partial
Location: Experimental error analysis
Type / expected artifact: numeric / numeric / paper_text
Claim: Drive (A) produces a dipole AC Stark shift of ~= 2 pi x 17 kHz.
Models: extraction claude-opus-4-8; verification gpt-5; verification_chain claude-opus-4-8 -> gpt-5; verdict_chain partial -> partial.
Limitations: paper_text_only.
Source location(s): source/main.tex:157 (Experimental error analysis).
Conclusion
Paper: drive (A) dipole AC Stark shift ~= 2 pi x 17 kHz (main line 157). The carrier AC Stark shift depends on the actual 729 nm intensity and detunings from the relevant carrier transitions, which are not fully specified, so it cannot be reconstructed from first principles. Consistency bounds: (1) the paper-reported differential Stark shift between the two ions is 2 pi x 2.5 kHz (main line 122); 2.5/17 ~= 15% implied per-ion intensity imbalance, physically reasonable for two-ion addressing. (2) With drive (A) Omega = 2 pi x 265 kHz (supp), the AC-Stark estimate Omega^2/(4 Delta) = 17 kHz implies an effective carrier detuning Delta ~= 2 pi x 1.0 MHz, a plausible detuning to nearby transitions. The 17 kHz value is consistent in scale but not exactly reconstructable -> partial, provenance paper_text_only.
Verification details
Executable rerun: run.py exited 0 in 0.371s; log verification/C036/attempts/R002/run.log.
Output excerpt:
paper dipole AC Stark shift (common) = 2pi x 17.0 kHz
paper differential AC Stark shift = 2pi x 2.5 kHz
implied fractional intensity imbalance between ions = 2.5/17.0 = 15% (physically reasonable for two-ion addressing)
effective carrier detuning to give 17.0 kHz with Omega=265.0 kHz: Delta = Omega^2/(4*shift) = 1.03 MHz
Delta ~1 MHz is a plausible detuning to nearby carrier/spectator transitions, so the 17 kHz value is consistent in scale.
=> value bounded/consistent but not reconstructable exactly -> partial