========================================================================
KAIROS DAG V5 — HYPOTHESIS PROPERTY-BASED FUZZING
========================================================================
  ✅   8.0s | Forward: valid output (500 random)
/home/kairosliquid/.local/lib/python3.10/site-packages/hypothesis/extra/numpy.py:261: RuntimeWarning: overflow encountered in cast
  result[idx] = val
/home/kairosliquid/.local/lib/python3.10/site-packages/hypothesis/extra/numpy.py:270: RuntimeWarning: overflow encountered in cast
  elem_changed = self._check_elements and val != result[idx] and val == val
/home/kairosliquid/kairos-signal-main/core/kairos_dag_v5.py:736: RuntimeWarning: invalid value encountered in matmul
  z = self.W @ aggregated + self.b + green_signal
/home/kairosliquid/kairos-signal-main/core/kairos_dag_v5.py:747: RuntimeWarning: invalid value encountered in matmul
  z = z + self.W_skip @ aggregated
/home/kairosliquid/.local/lib/python3.10/site-packages/numpy/_core/_methods.py:135: RuntimeWarning: invalid value encountered in reduce
  ret = umr_sum(arr, axis, dtype, out, keepdims, where=where)
/home/kairosliquid/.local/lib/python3.10/site-packages/numpy/_core/_methods.py:171: RuntimeWarning: invalid value encountered in reduce
  arrmean = umr_sum(arr, axis, dtype, keepdims=True, where=where)
/home/kairosliquid/kairos-signal-main/core/kairos_dag_v5.py:747: RuntimeWarning: invalid value encountered in add
  z = z + self.W_skip @ aggregated
/home/kairosliquid/.local/lib/python3.10/site-packages/numpy/_core/_methods.py:194: RuntimeWarning: overflow encountered in multiply
  x = um.multiply(x, x, out=x)
/home/kairosliquid/kairos-signal-main/core/kairos_dag_v5.py:219: RuntimeWarning: overflow encountered in square
  return np.maximum(0.0, x) ** 2
/home/kairosliquid/.local/lib/python3.10/site-packages/numpy/_core/_methods.py:191: RuntimeWarning: invalid value encountered in subtract
  x = asanyarray(arr - arrmean)
/home/kairosliquid/kairos-signal-main/core/kairos_dag_v5.py:244: RuntimeWarning: invalid value encountered in subtract
  return (x - mean) / np.sqrt(var + eps)
  ✅   7.2s | Forward: NaN/Inf safe (500 pathological)
⚠️ BMO CERTIFICATION FAILED (norm=11.8289). Scaling gauge execution by 50%.
  ✅   6.8s | Forward: extreme values safe (500 random)
  ✅   1.0s | ReQU: non-negative (500 random)
  ✅   0.9s | Clarke: bounded (500 random)
  ✅   0.9s | Layer norm: zero mean (500 random)
  ✅   0.6s | Softmax: partition of unity (500 random)
  ✅   0.8s | Doléans-Dade: positive (500 random)
  ✅   3.0s | Feynman-Kac: survival ∈ [0,1] (500 random)
⚠️ BMO CERTIFICATION FAILED (norm=11.7674). Scaling gauge execution by 50%.
  ✅   5.7s | BMO: bounded norm (500 random)
  ✅   0.4s | Confidence: bounded [0,1] (500 random)

========================================================================
HYPOTHESIS FUZZING COMPLETE — 35s
========================================================================
  Properties:  11/11
  Total cases: 5,500 random inputs
  Rate:        156 cases/s

  ✅ ALL 11 PROPERTIES HOLD ACROSS 5,500 RANDOM INPUTS
  No counterexample found by adversarial fuzzing.