TY - RPRT TI - The reflective hull of the two-element chain in DCPO: properness, maximal Γ-faithfulness, and an internal reflection formula AU - Xulong He AU - Zhenchao Lyu AU - Yuxu Chen AU - Hui Kou PY - 2026 UR - https://arxiv.org/abs/2608.23128 ID - 2608.23128 ER -