Minimal Markovization via Stable Quotients in Holonomy-Cover Decision Processes