Jankowski, A. AGL: Actionable Granular Logic for Verifiable Specifications and Reasoningin AI decision–action Systems. ts 2025.