R-Mod: Minimal Structural Revision of S5 Epistemic Models (Journal of Artificial Intelligence Research (JAIR), 2026)