Natural-Language Policy Reasoning With Proof Generation: Turning Platform Rules into Verifiable Knowledge. JTIE 2025, 4 (2), 402-424. https://doi.org/10.51903/jtie.v4i2.505.