SSM-AI – Robustness & Troubleshooting (7.6, 7.7)

Quick checks to guarantee bounded behavior; fast fixes for common symptoms.

7.6 Robustness & Acceptance (quick checks)
Collapse parity. phi((m,a)) = m before/after any lane/gate step.
Order/shard invariance. Batch vs stream vs shuffled ⇒ same RSI (within tolerance).
Boundedness. All a, RSI, RSI_env, RSI_path satisfy |x| < 1.
Edge clamps. Inputs at or beyond ±1 clamp to ±(1 - eps_a).
Division policy. Under "strict", near-zero divisors ⇒ fallback to classical actuation; lane still stamps context.
Determinism. Fixed manifest ⇒ identical outputs (within dtype), across machines.

# Core invariants to assert in CI
assert phi((m,a)) == m

# Order/shard invariance (sketch)
RSI_batch   := tanh( SUM w*atanh(a) / max(SUM w, eps_w) )
RSI_stream  := tanh( U/W )  # carried U,W with same items
RSI_sharded := tanh( (SUM_shards U_k) / max(SUM_shards W_k, eps_w) )
assert close(RSI_batch, RSI_stream) and close(RSI_batch, RSI_sharded)

# Boundedness + clamps
a_c := clamp(a, -1+eps_a, +1-eps_a)
assert abs(a_c) < 1 and abs(RSI) < 1 and abs(RSI_env) < 1

7.7 Troubleshooting (symptoms → fixes)
Symptom: frequent a near ±1 (saturation).
Fix: reduce lens gain c or increase Unit; verify calibration.
Symptom: RSI hovers near 0 (dead-zone).
Fix: increase c (or adjust Unit); consider uniform weights w := 1.
Symptom: slight drift between batch and stream.
Fix: clamp before atanh; use pairwise/Kahan sum for U; check eps_w.
Symptom: unstable ratios.
Fix: ensure division_policy = "strict"; verify bounds for denominators; lane math stays M2.
Symptom: gating too aggressive at high confidence.
Fix: switch gate to “u_scale” mode.

# Strict division policy (control, not value)
division_policy := "strict"
if |m_den| <= eps_div:
  use_lane_for_actuation := False   # fallback to classical selection
  stamp("DIV_GUARD")

# Gate alternatives
# multiply mode (default):
RSI_env := g_t * RSI

# curvature-preserving mode:
RSI_env := tanh( g_t * atanh(RSI) )

One-line takeaway. Accept only what’s bounded, invariant, and reproducible: assert collapse parity, clamps, and shard/order equality; when symptoms show up, tweak gain/Unit, strengthen clamps or sums, and fall back to classical actuation under "strict" policy — never touching m.


Navigation
Previous: SSM-AI – Scalability: HW Parity & Performance (7.4, 7.5)
Next: SSM-AI – Integration Quickstarts: LLM Decoding Hooks (8.1)


Directory of Pages
SSM-AI — Table of Contents