I.T14 — No Additive Inverse

For n > 0, no m in tau-Idx satisfies n + m = 0. The absence of additive inverses is structural: rho generates positive depths only.