{GA}
All gates · shared · L1 · control
Validator · Gate KX-L1-A13

Certifiable closed-loop control (CBF-certified safety clamp)

KX-L1-A13reproducedverification card freeze 2026-08-27

What was computed

CBF clamp on betaN: unclamped max 4.200 (50/100 violations); clamped max 3.500, min h=+0.000, 0/100 — forward invariance holds; u∈[1.06,1.25]

Reproduce this

# Reproduce KX-L1-A13 against the frozen record
pip install kronos-toolkit   # github.com/KronosFE/kronos-toolkit
python -c "from kronos_toolkit.verify import run_regression; run_regression()"
# KX-L1-A13 is anchored in the 2026-08-27 freeze spine (verdict: reproduced).