Report of the Auditor-General on Affordable Housing Finance Project (IBRD Credit No.8958-KE) for the Year Ended 30 June,2025