關係約束交接方法論 v0.1

RCHM 把「相交」「無限」「有限」「存在」這些裸運算換成有型別的方案：介面 C、映射 f／g、關係 R、合法性 Γ、範圍 Σ、演化與見證 W，附自由度帳本與四條「母命題」（第一條：有效有限性可以由多個無界域之間的合法關係生成）。這是方法陳述，沒有證明任何定理。