用真实MySQL与隔离Redis完整运行四条时序，复现先删后改、迟到旧值回填和提交后失效失败，区分提交结果、删除返回值、TTL与可靠恢复边界。