I would "precondition" `op+=( char const (&)[ M ] )` (and op=) by failing at compile time when M > N, because the size is known, but in fixed_string's case, the size isn't known.

No I wouldn't. :-) The size isn't known in this case either. It's better to diagnose_if the whole thing.