판 이력 — Jacobian Diagnostics for Under-Constrained Zero-Knowledge Circuits | AIChainDay