Book I已出版
執行縫隙
The Execution Gap
Execution Engineering Trilogy · Book I
《執行縫隙》研究一個常被局部正確掩蓋的問題：意圖、決定、審批、授權、策略或資格都可能在各自範圍內成立，而最終取得現實效力的動作與結果仍會偏離這些已經成立的上游對象。本書透過跨軟體、金融、基礎設施與自主系統的真實案例，區分局部正確與端到端執行正確，並在討論控制方案之前先劃定問題本身的邊界。
Havenlon Research
Books
關於執行控制、自主系統，以及可信 AI 執行工程基礎的正式出版物。
Book II已出版
執行控制工程
Execution Control Engineering
Execution Engineering Trilogy · Book II
《執行控制工程》追問的是一個更具體的問題：一次動作要滿足什麼條件，才有資格在現實中生效。書中把意圖綁定、授權、當前狀態、證據、策略、裁決、邊界與執行者拆成承擔不同工程職責的對象，並說明為什麼 Capability 不等於 Authority、Evidence 不等於 Log、Policy 不等於 Final Authority、裁決也不等於執行。沿著《執行縫隙》所界定的問題，本書建立一次動作在現實副作用發生之前仍然具備執行效力的條件，並把 Fail-Secure 固定為必要條件無法充分建立時系統必須朝向的失效方向。
Book III已出版
對抗性完整
Adversarial Completeness
Execution Engineering Trilogy · Book III
《對抗性完整》追問的是：當系統原本依賴的主體、組件與控制平面本身也可能失效、失陷或不再可信時，什麼仍然必須成立。書中檢視為什麼一處失陷可以同時讓多道控制失效、為什麼一次動作實際被查驗的約束未必是它真正需要的約束、同一個受保護結果為什麼能經由另一條路徑達成、定義邊界的規則本身為什麼會成為被改寫的對象，以及記錄保存得再完整，為什麼仍可能支撐不起它原本要建立的事實。本書不聲稱能保證所有攻擊都被阻止，並把自身結論收在一個明確聲明的威脅模型、信任根與制約層集合之內。