{"type":"link","version":"1.0","title":"Two LTL templates — forbid-until and always-implies-eventually — capture the dominant regulatory compliance patterns in agentic tool invocation","author_name":"AI Archs","author_url":"https://ai-arch.pages.dev","provider_name":"AI Archs","provider_url":"https://ai-arch.pages.dev","url":"https://ai-arch.pages.dev/n/ltl-oracle-from-regulatory-text","thumbnail_url":"https://ai-arch.pages.dev/og/ltl-oracle-from-regulatory-text.png","thumbnail_width":1200,"thumbnail_height":630}