{"type": "article", "title": "Coding Agent Proof Spirals", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/coding-agent-proof-spirals", "original_source": "https://www.imaurer.com/writing/coding-agent-proof-spirals/", "published": "2026-10-05T00:00:00+00:00", "accessed": "2026-10-05", "id": "coding-agent-proof-spirals"}