Complex Model rules for numerical automation

These rules expose the rounded complex semantics through the same operation contracts used by scalar floats and other numerical systems. Executable complex arithmetic remains the direct definitions in Complex.Core.