TY - RPRT TI - NormCode: A Semi-Formal Language for Auditable AI Planning AU - Xin Guan AU - Yunshan Li AU - Zekun Wu AU - Ruibo Zhang PY - 2026 UR - https://arxiv.org/abs/2512.10563 ID - 2512.10563 ER -