{
  "changes": [],
  "refreshed_servers": 0,
  "note": "Append-only: an event is recorded when an integrity check observes that a registered external server's tool definitions changed. Reading this feed first re-checks registered servers whose last check is older than 6 hours (at most 3 per read, oldest first); there is no background schedule, so a change is recorded when the server is next checked — by a pre-call check, an explicit integrity check, or a feed read like this one. An empty feed means no change has been observed yet; it is not a claim that no server has changed."
}