rl-theory-analyzer

Analyzes RL algorithms mathematically — derives update rules, proves convergence, identifies failure modes, and classifies algorithms along standard taxonomic dimensions.