Continuity note: rapidity and bounds
Treat alignment as a bounded channel carried with magnitude. We linearize alignment in rapidity space, combine there, then decode back so the alignment stays bounded while classical magnitudes behave exactly like ordinary math.
# clamp keeps alignment strictly inside (-1, +1)
sign(z) = 1 if z >= 0 else -1
clamp_a(a, eps_a):
if abs(a) >= 1 - eps_a: return sign(a) * (1 - eps_a)
else: return a
# encode and decode
u(a) = atanh( clamp_a(a, eps_a) )
a_of(u)= tanh(u)
# numeral and collapse (recap)
x = (m, a)
phi(m, a) = m
Micro example: sums (streaming-safe)
Weighted rapidity averaging keeps addition associative in batch and stream.
# inputs
x1 = (m1, a1)
x2 = (m2, a2)
gamma >= 0, eps_w > 0
# magnitude path (classical)
m_sum = m1 + m2
# alignment path (rapidity mean)
w1 = abs(m1)^gamma
w2 = abs(m2)^gamma
u1 = u(a1)
u2 = u(a2)
u_sum = (w1*u1 + w2*u2) / max(w1 + w2, eps_w)
a_sum = a_of(u_sum)
# output
s_add(x1, x2) = (m_sum, a_sum)
Micro example: products (bounded combine)
Two portable combine laws for the alignment channel:
M1 (simple): a' = a1 * a2
M2 (rapidity): u' = u(a1) + u(a2) ; a' = a_of(u')
m_mul = m1 * m2
a_mul = M2(a1, a2) # default (associative in u-space)
s_mul(x1, x2) = (m_mul, a_mul)
Micro example: integer powers
m_pow = m^k
a_pow = a_of( k * u(a) ) # = tanh( k * atanh(a) )
s_pow( (m, a), k ) = (m_pow, a_pow)
Micro example: banded comparisons (equality-first)
Compute numeric scores for greater-than and equality; then map to 4 bands.
# deltas
dv = (m_x - m_y) / max( abs(m_x) + abs(m_y), V_eps )
du = g_t * ( u(a_x) - u(a_y) ) # optional gate g_t in [0,1]; alignment-only
# scores
s_gt(x,y) = tanh( beta_v*dv + lambda_u*du )
raw_eq = beta_v*abs(dv) + beta_u*abs(du)
s_eq(x,y) = 1 - 2*tanh(raw_eq)
# banded report (precedence: equality first)
if s_eq >= tau_eq -> "equal"
else if s_gt >= +tau_hi -> "x > y"
else if s_gt <= -tau_hi -> "x < y"
else -> "undecided"
Calibration notes (brief): choose V_eps, beta_v, lambda_u, beta_u, tau_hi, tau_eq once per study and publish them in the manifest.
Lifting recipe (classical to symbolic)
To lift any classical expression f to stability-aware form:
+ -> s_add - -> s_sub * -> s_mul / -> s_div ^ -> s_pow
min -> min max -> max abs -> abs round -> round
phi( f_lifted((m,a), ...) ) = f_classical(m, ...) holds by construction.
Optional environment gate (alignment-only finalizer)
a_env = clamp_a( g_t * a_op , eps_a ) # g_t in [0,1]
# magnitudes unchanged; collapse parity preserved
Soft reminder (observation-only)
These operators expose stability and confidence for analysis and decision support. They do not replace domain models, operational controls, or safety processes.
Navigation
Previous: Operator Canon and Combine Policies (0.2)
Next: What SSMS is; Canonical Object and Collapse (1, 1.1, 1.2)