Runtime 架構

證據、事件與信念彼此分離。

APR 將觀察轉為帶有出處的證據,讓未滿足的感知需求通過有限預算,並在明確閘門未滿足前阻擋行動。

Runtime 路徑證據 → 需求 → 閘門 → 結果 → 復原

證據、事件、信念

事件表示某事可能已改變;證據記錄觀察內容與來源;信念是 Runtime 當下有界的世界狀態。APR 不會默默合併這三層。

需求圖與感知預算

未知、過期、衝突或與行動關鍵相關的事實會成為明確需求。依賴關係決定下一個可觀察項目;只有實際觀察時才花費預算。

行動、結果、復原

行動閘門檢查新鮮度、矛盾、獨立性、風險與語義前置條件。執行只建立收據,不等於成功;新鮮的行動後證據驅動驗證與有界復原。

來源證據

固定於候選來源版本的不可變連結。