A. Jankowski, “AGL: actionable granular logic for verifiable specifications and reasoningin AI decision–action systems”, ts, Dec. 2025.