Runtime 語義、狀態機、登錄器與可執行參考模型

把 Paper 00–07 的理論轉成第一版可實作的 runtime 規格。定義機器狀態(原生圖、狀態映射、證書登錄器、債務登錄器、前沿、割集、阻斷覆蓋、耗盡、政策、登錄簿頭、版本),所有定理級變異都必須經過原子交易。固定三層 runtime:L0 canonical append-only 事件登錄簿(真相來源)、L1 原生具現化閉包狀態(必須可由重放重建)、L2 特定用途視圖(權威絕不超過 L1)。核心安全原則:沒有證書路徑 ⇒ 沒有原生定理變異。明確聲明 runtime 與實作無關——不論實現成 LLM、定理證明器、GUI、網頁服務或分散式資料庫都無妨,重要的是確定性語義、登錄器、登錄簿、PCO、交易、重放、查詢與一致性測試。