I agree that LSP is incorrect. That's a symptom of me writing this draft while being a bit too tired.See the updated draft with motivation updated. It also includes a brief Tony table.
friend constexpr strong_ordering operator<=>(nullopt_t, nullopt_t) noexcept = default;