Report of the Auditor-General on Affordable Housing Finance Project (IDA Credit No 8958-KE) for the Year Ended 30 June 2023