Shunyaya Symbolic Mathematical Hardware – Readiness: Telemetry Schema, Band Policy & CI Gates (8.4–8.6)

8.4 — CSV logging schema (minimum viable telemetry)
Minimal header.
time,kpi,m,a,band,knobs_hash,build_id,site_id,unit_id,note
Extended header (recommended for proofs).
time,kpi,m,a,u,w,U_accum,W_accum,a_out,band,knobs_hash,build_id,site_id,unit_id,note
Row example (minimal).
YYYY-MM-DDThh:mm:ssZ,slip_ratio,0.182,-0.12,A-,f3a1d2,ssmh-main,plant-2,line-7,read-only
Rule. Never hide m; bands inform operators; knobs_hash ties rows to the manifest.


8.5 — Band policy template (simple, monotone, auditable)
Thresholds.
A++ : a >= 0.75
A+ : 0.50 <= a < 0.75
A0 : 0.25 <= a < 0.50
A- : 0.10 <= a < 0.25
A– : a < 0.10
Hysteresis. Require delta_a >= 0.05 to move up a band; allow immediate drop.
Advisory hooks. Map bands to gains with k_eff := k_nom * f_band(a) in non-critical paths only.
Monotone policy. Do not reorder band meanings mid-run; keep thresholds constant for the pilot window.


8.6 — CI gates and tolerances (automate or block the build)
Global tolerances. tol = 1e-12, q_rtol = 1e-6, seed = 0.
E1 Clamp safety. Inject a = {+0.9999999, -0.9999999} → finite u.
E2 M2 multiply identity. tanh(atanh(a1)+atanh(a2)) equals fused result within tol.
E3 M2 divide identity. tanh(atanh(a1)-atanh(a2)) equals fused result within tol.
E4 Reciprocal symmetry (bounded). a' = tanh(-atanh(a)) bounded; curve matches reference.
E5 Streaming order invariance. fuse(batch) == fuse(stream) == fuse(shuffle) within tol.
E6 Collapse parity. After any port, phi((m,a)) == m (float parity ulp <= 1).
E7 Fragile-ratio visibility. Near-zero denominators increase |a|; never NaN/Inf.
E8 Quantization sanity. Q1.15/Q5.11/Q9.7 keep |a_q| <= 1 - 2^-fractionbits; parity within q_rtol.
E9 Env gate purity. a_env := clamp(g_t * a_op); phi unchanged; |a_env| <= 1 - eps_a.
E10 Fixed-point parity. Software vs RTL max_abs_diff(a_out) <= q_rtol; clamps hold.
E11 Backfill/shuffle invariance. Insert or reorder samples; diffs within tol.
E12 Near-zero division guard. strict|meadow|soft produce bounded, informative outcomes; no NaNs.
Fail rules. Any FAIL blocks the merge; WARN requires sign-off.
Artifacts. CI emits conformance_checksum recorded in the manifest.


Navigation
Back: Shunyaya Symbolic Mathematical Hardware – Readiness: Org & Numeric Checklists, Manifest Template (8.1–8.3)
Next: Shunyaya Symbolic Mathematical Hardware – Readiness: Pilot Packet, Safety Case, Audit & Go/No-Go (8.7–8.10)


Directory of Pages
SSMH – Table of Contents