The strict resolved-delta evaluation now fails unless the proof event carries a non-empty kind and a phase >= 0, matching the M109 manifest contract. Local 1280x720 zh_CN retest stays PROVEN (kind=damage, phase=3).