This is official, not a leak: Windows Core OS will be open source. Most likely it is a basic Windows kernel only.
See: https://answers.microsoft.com/en-us/windows/forum/windows_10-windows_install/windows-core-os-an-open-source-operating-system/425e8d20-b335-4977-9559-d33f0b188d52?auth=1