Derivation Gap identified in LLM tool-call verification | HACKOBAR_