流程設計

• 規格是一張查表：設計理念的全函數性質，與交接處丟失的那個定義域 September 14, 2026

  將設計理念形式化為定義於全情境的全函數，指出規格僅是有限定義域上的偏函數查表，揭示分工交接時未定義域外推失敗與跨模組相容約束失去持有者的結構性根源。