Deterministic 26-rule verifier for neural-network training steps. Re-derives gradients + optimizer state from named factors; emits canonical JSONL. SGD/Adam/AdamW/SGD-momentum (+coupled-L2 weight decay); live PyTorch + JAX helpers; CPU-only.