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