TY - RPRT TI - Terminal Symmetry as a Carrier of Asymmetric Process Knowledge: Statewise Refinement for Anytime Verified Construction AU - Yi Liu PY - 2026 UR - https://arxiv.org/abs/2608.11318 ID - 2608.11318 ER -