You wrote: At the moment DbC on .NetCore is not working.

Eiffel without DbC is like a Porsche without brakes.
Is DbC in .NET Core simply commented out?
When is DbC for Eiffel for .NET Core expected to be "effective" ?
Would this be Eiffel 24.11?