Arxiv 2607 26787 Property Driven Causal Abstractions For Markov Dec (Grade A) - Claude Skill | Skills Directory