C016 - The collective excitation step is implemented as two pulses (t = 2 n pi/delta, n=2) with...
Verdict: partial
Location: Experiment
Type / expected artifact: numeric / numeric
Claim: The collective excitation step is implemented as two pulses (t = 2 n pi/delta, n=2) with eta Omega = delta/2, giving Phi = pi/4 and a drive time t = 150 us.
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_reimplementation.
Source location(s): source/main.tex:122 (Experiment).
Conclusion
Paper: Phi=n pi (etaOmega)^2/(2 delta^2)=pi/4 (n=2, etaOmega=delta/2) and drive time t=150us. The Phi computation is an exact closed-form identity: with etaOmega=delta/2,n=2 it gives exactly pi/4 (0.250 pi) — matches. The t=150us does NOT equal the ideal 2 n pi/delta=136.1us; it equals two 75us ramped segments (C068), pulling the pulse-ramp model from paper text. Phi is verified-grade but the timing relies on a paper assumption -> overall partial.
Verification details
Executable rerun: run.py exited 0 in 0.409s; log verification/C016/attempts/R002/run.log.
Output excerpt:
Phi = n pi (etaOmega)^2/(2 delta^2) = 0.785398 rad = 0.2500 pi
paper Phi = pi/4 = 0.785398
t_ideal = 2 n pi/delta (n=2) = 136.05 us
paper drive time t = 150 us
single segment 2pi/delta = 68.03 us; two segments = 136.05 us
with ramped segments (75us each, gap 3.2us): total = 153.2 us
without gap (2x75us): 150.0 us <- matches paper 150 us