Discovery Infrastructure for AI Agents: llms.txt, agents.json, OpenAPI, and Semantic HTML as a Layered Stack