The problem is that the current design doesn't take into account binary libraries, or what happens when conflicting contract modes are linked together, as contracts aren't reflected on ABI.

Additionally they offer very little mechanisms versus Eiffel's original design, Ada/SPARK or Frama-C.

A basic MVP, expected to improve on subsequent C++ version, assuming that the proposal authors stick around for those evolution proposals.