執行時承諾

深度分析

CBEA 與 LCV：以合約式證據啟用與字典序驗證強化長期個人化執行時可靠性

長時個人化系統在執行階段常出現把雜訊當成約束、遺失罕見證據或在不可行情況下仍回應的控制失誤。論文提出「合約約束證據啟動」（CBEA）與「字典序承諾驗證」（LCV）：先把經確認的約定編譯為可機檢的結構化承諾，受限預算下啟用經過類型化和尾端保護的證據，再以驗證器按字典序檢查承諾可行性。