Tickets.md (Ticketing for agents)