Sign, orientation, and phase¶
sign4 is a pure function for the retained real profile:
- negative maps to
-1; - exact zero maps to
0; - positive maps to
+1; - semantic bottom maps to semantic bottom.
It accepts neither complex phase nor hidden history. Projective hysteresis is a
separate HystereticOrientationTracker; deterministic canonical gauge
orientation is returned as a witness. Optional complex unit phase has its own
function and must not be described as real Sign4.
The compatibility weak_sign wrapper warns. Exact sign4 has no ordinary
differentiability claim at zero or bottom; surrogate training objectives must
name their own boundary behavior.