C018 - In the absence of other errors, the protocol produces |Psi^-> regardless of the ions' tem...
Verdict: partial
Location: Experiment
Type / expected artifact: empirical / math / empirical
Claim: In the absence of other errors, the protocol produces |Psi^-> regardless of the ions' temperature.
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
Claim: error-free protocol produces |Psi^-> regardless of temperature. the self-contained model is spin-only (no motional dof), so temperature is checkable only structurally: the error-free cycle has a UNIQUE fixed point |Psi^-> (F=1.0 exactly; 2nd-eigenvalue magnitude 0.877<1). Iterating from pure states (|dn,dn>,|up,up>,|Psi^+>), the maximally-mixed = infinite-T state, and random mixed states all converge to |Psi^-> (min F=0.99999983 after 120 cycles; residual is just the 0.877^120 transient). Temperature enters the physical system only as initial motional condition / temperature-dependent LOCAL errors, which are absent here, so the fixed point is temperature-independent. Structural/initial-condition content confirmed; full temperature claim is a paper-text argument (no motional dof). Capped at partial.
Verification details
Executable rerun: run.py exited 0 in 0.517s; log verification/C018/attempts/R002/run.log.
Output excerpt:
error-free cycle steady state: F(|Psi^->) = 0.999999999995, eig=1.000000-0.000000j
second-eigenvalue magnitude = 0.876964 (<1 => unique fixed point)
initial state F after 120 cycles
|dn,dn> 0.9999998721
|up,up> 0.9999998414
|Psi^+> 0.9999998327
maximally-mixed (infinite-T) 0.9999998715
random-mixed#0 0.9999998655
random-mixed#1 0.9999998685
random-mixed#2 0.9999998678