akslcw

證據約束的負面知識賬本：記錄被證偽的路徑（command_failed / file_missing）及其結果與前置條件證據，重複嘗試時警告或攔截，證據變化後自動解除。