剩餘意圖

• 規格的邊界：不可編譯的剩餘意圖與合法的不知道 September 16, 2026

  證明規格本質為情境空間上的偏函數，無法窮盡所有未建模情境與價值衝突；提出將剩餘意圖結構化升級與理由保留的機制，區分 Verification 與 Validation 之邊界。