用一个“生成报告—人工审批—写入数据库”的最小案例，讲清 LangGraph 检查点、断点恢复与幂等写入的边界。