LangGraph's HITL Has a Double Execution Problem

LangGraph's interrupt/resume primitives are genuinely clean. But the checkpoint model has a side effect that silently double-executes tools, and approval binding is positional rather than explicit. Here's what that means in practice.