--- title: "意圖程式文明：後文本語言、持續 Agent 與可編譯世界的統一理論" english_title: "Intent-Programming Civilization: A Unified Theory of Post-Textual Languages, Persistent Agents, and Compilable Worlds" series: "意圖—結構—世界程式論" series_english: "Intent–Structure–World Programming" series_number: "12/12" part: "第四部：可編譯世界與程式治理" author: "Neo.K with Aletheia" institution: "EveMissLab／一言諾科技有限公司" version: "v1.0" date: "2026-07-25" language: "zh-TW" document_type: "統一理論論文／全系列總結" status: "系列完成" --- # 意圖程式文明：後文本語言、持續 Agent 與可編譯世界的統一理論 ## Intent-Programming Civilization: A Unified Theory of Post-Textual Languages, Persistent Agents, and Compilable Worlds **系列：**《意圖—結構—世界程式論》第十二篇／最終篇 **部別：**第四部「可編譯世界與程式治理」 **作者：** Neo.K with Aletheia **機構：** EveMissLab／一言諾科技有限公司 **版本：** v1.0 **日期：** 2026 年 7 月 25 日 --- ## 摘要 程式設計長期以原始碼、形式語法、函式、程序與應用程式為主要單位。大型語言模型、AI Agent、自然語言介面、結構化中介表示、可持續執行系統與數位世界的發展，正在使程式的中心逐漸從「人類如何逐行描述機器步驟」轉向「人類與 AI 如何共同表達目的、限制、權限、證據與可接受的世界狀態轉換」。 本文作為《意圖—結構—世界程式論》十二篇系列的最終篇，提出「意圖程式文明」的統一理論。此處的文明不是宣稱某一種新語言將取代所有既有技術，而是指一種新的計算制度：自然語言、形式語言、符號、結構圖、Agent、工具、世界狀態與人類治理，不再是彼此分離的工具，而被組織成可編譯、可授權、可驗證、可恢復與可反駁的共同執行閉環。 本文將完整體系表示為： $$ \mathbb C_I = \left\langle \mathcal P, \mathcal L, \mathcal F, \mathcal E, \mathcal N, \mathcal O, \mathcal I, \mathcal T, \mathcal R, \mathcal W, \mathcal H, \mathcal G \right\rangle $$ 其中依序代表目的與價值、語言事件、形式承諾、語意附加、結構原生程式、算子閉包、意圖／任務／能力中介表示、時間—空間控制、Agent Runtime、可編譯世界、人類可見狀態與治理／證據系統。 全體閉環為： $$ \boxed{ \text{Purpose} \rightarrow \text{Language Event} \rightarrow \text{Formal Commitment} \rightarrow \text{Semantic IR} \rightarrow \text{Structural Program} \rightarrow \text{Operator Closure} \rightarrow \text{Intent and Capability Plan} \rightarrow \text{Temporal Control} \rightarrow \text{Agent Runtime} \rightarrow \text{World-State Delta} \rightarrow \text{Human-Visible State} \rightarrow \text{Revision} } $$ 本文提出：意圖程式文明中的基本程式單位，不再只是文字來源檔，而是「受治理狀態轉換契約」： $$ \mathcal P_G = \left\langle I, S, C, A, T, W^-, \Delta W^+, V, R, H, E \right\rangle $$ 其中包含意圖、結構、能力、授權、時間控制、世界前置狀態、預期世界差分、驗證、回復、人類可見狀態與證據。文字、公式、節點圖、自然語言與 UI 都可以是此契約的投影，但任何單一投影都不得取代其權威結構。 本文統一前十一篇的主要命題：自然語言是可計算語意事件但不是自動授權；形式化是承諾壓縮而不是語意全知；EML 使語意跨越宿主；Nova 使結構先於文字；SOS 使符號與節點取得算子閉包；Intent IR 使目的轉化為可驗證能力計畫；時空控制使長時程任務不依賴永遠運行的程序；Agent Runtime 使模型、工具與世界效果具有正式邊界；CompilableWorld 使世界狀態由 Kernel、事件與規則裁決；HVSL 使人類重新取得看見、反駁、停止、接管與恢復的權力。 本文進一步區分四個閉環：語意閉環、結構閉環、能動閉環與治理閉環。任何系統若只有前三者而沒有治理閉環，便可能形成高能力但不可控的自動化；若只有治理而缺乏結構與證據，則治理將退化為形式審批。成熟體系必須使目的、能力、世界與人類控制共同閉合。 本文也提出意圖程式文明的十項制度條件：開放中介表示、語意多元性、模型與 Runtime 分離、行動者與世界裁判分離、最小授權、獨立驗證、可攜證據、可逆治理、多主體可見性與可反駁標準。這些條件使意圖編程不被單一模型、平台、註冊表或組織壟斷。 本文最後建立七級成熟度模型與可證偽研究議程，涵蓋端到端意圖保真、跨投影一致性、模型／工具替換、長時程漂移、世界重放、人類接管、不可見性債、語意註冊表治理與受影響主體申訴。本文的核心結論是：意圖時代並不意味人類不再編程，而是程式設計從撰寫單一路徑，轉變為共同建立目的、邊界、能力、證據與世界演化的制度。真正的意圖程式文明，不是「一句話讓 AI 做完一切」，而是讓每個從目的到世界改變的步驟都能被表達、編譯、授權、執行、驗證、看見與重新決定。 **關鍵詞：** 意圖程式文明、後文本程式設計、Intent IR、Agent Runtime、CompilableWorld、HVSL、EML、Nova、SOS、可逆治理、人機協作 --- ## Abstract Programming has long been organized around source code, formal syntax, procedures, functions, and applications. Large language models, AI agents, natural-language interfaces, structural intermediate representations, persistent runtimes, and digital worlds are shifting the center of programming from “how humans describe machine steps line by line” toward “how humans and AI jointly express purposes, constraints, authority, evidence, and acceptable world-state transformations.” This final paper of the twelve-paper series *Intent–Structure–World Programming* proposes a unified theory of intent-programming civilization. Civilization here does not mean that one new language will replace all existing technologies. It refers to a new computational institution in which natural language, formal language, symbols, structural graphs, agents, tools, world states, and human governance form a compilable, authorized, verifiable, recoverable, and contestable execution loop. The unified system is represented as: $$ \mathbb C_I = \left\langle \mathcal P, \mathcal L, \mathcal F, \mathcal E, \mathcal N, \mathcal O, \mathcal I, \mathcal T, \mathcal R, \mathcal W, \mathcal H, \mathcal G \right\rangle $$ The basic unit of programming becomes a governed state-transition contract containing intent, structure, capabilities, authorization, temporal control, world preconditions, expected deltas, verification, recovery, human-visible state, and evidence. The paper unifies four loops: semantic, structural, agentic, and governance loops. It develops ten institutional conditions, a seven-level maturity model, and a falsifiable research program. The central conclusion is that the age of intent does not eliminate human programming. It transforms programming from writing a single execution path into jointly constructing institutions of purpose, boundaries, capabilities, evidence, and world evolution. **Keywords:** intent-programming civilization, post-textual programming, Intent IR, Agent Runtime, CompilableWorld, HVSL, reversible governance --- # 一、從程式語言到程式制度 程式語言通常回答： > 如何用某種形式描述計算？ 意圖程式文明則進一步回答： > 誰提出目的？ > 目的如何被解釋？ > 哪些內容不可改變？ > 哪些能力可以使用？ > 誰授權？ > 世界如何被改變？ > 如何證明結果？ > 誰能停止、反駁與修正？ 因此，意圖程式文明不只是新的語法或 IDE。 它是一套將： - 語意； - 結構； - 能力； - 時間； - 世界； - 權限； - 證據； - 人類決策； 共同組織起來的計算制度。 傳統程式觀可以簡化為： $$ \text{Source} \rightarrow \text{Execution} \rightarrow \text{Output} $$ 統一後的程式觀則是： $$ \boxed{ \text{Purpose} \rightarrow \text{Commitment} \rightarrow \text{Capability} \rightarrow \text{Authorized Transition} \rightarrow \text{World History} \rightarrow \text{Human Revision} } $$ --- # 二、統一十二元模型 本文定義： $$ \boxed{ \mathbb C_I = \left\langle \mathcal P, \mathcal L, \mathcal F, \mathcal E, \mathcal N, \mathcal O, \mathcal I, \mathcal T, \mathcal R, \mathcal W, \mathcal H, \mathcal G \right\rangle } $$ ## 2.1 目的與價值 $\mathcal P$ 表示： - 人類目的； - 組織目標； - 多主體利益； - 不可代理決策； - 非目標； - 價值邊界。 目的不是由編譯器自行產生的真理。 ## 2.2 語言事件 $\mathcal L$ 表示： - 自然語言； - 圖像； - 手勢； - 文件； - 對話； - 修訂； - 撤回。 語言是意圖入口，也是世界事件的一部分。 ## 2.3 形式承諾 $\mathcal F$ 把開放語意壓縮為： - 型別； - 公理； - 契約； - 不變量； - 證明義務； - 可拒絕條件。 ## 2.4 語意附加 $\mathcal E$ EML 類系統使語意能附著於既有程式、文件、資料與工作流，不必先推翻所有宿主。 ## 2.5 結構原生程式 $\mathcal N$ Nova 類系統使程式本體可以直接是具型別、效果、形狀、記憶體與多投影的結構物件。 ## 2.6 算子閉包 $\mathcal O$ SOS 類系統使符號與節點不只是表面標記，而能指向可組合、可版本化與可驗證的算子契約。 ## 2.7 意圖與能力 IR $\mathcal I$ 保存： - Intent IR； - Task IR； - Capability IR； - 人類保留決策； - 成功與終止條件。 ## 2.8 時空控制 $\mathcal T$ 管理： - 事件； - 等待； - 排程； - 迴圈； - 租約； - 檢查點； - continuation； - 反身修訂。 ## 2.9 Agent Runtime $\mathcal R$ 承載： - 模型； - 工具； - 插件； - 權限； - 執行； - 驗證； - Commit； - 恢復； - 事件狀態。 ## 2.10 可編譯世界 $\mathcal W$ 由 World Kernel 管理： - 世界定義； - Runtime State； - Action IR； - State Delta； - Event Ledger； - Replay； - Branch； - Migration。 ## 2.11 人類可見狀態 $\mathcal H$ 把權威狀態投影為： - 可理解； - 可驗證； - 可下鑽； - 可操作； - 可接管； 的人類治理介面。 ## 2.12 治理與證據 $\mathcal G$ 管理： - 權利； - 權限； - 信任； - 版本； - 來源； - 稽核； - 申訴； - 撤銷； - 標準與制度。 --- # 三、受治理狀態轉換契約 傳統程式單位可以是： ```text function module class service application ``` 意圖程式文明的統一單位是： $$ \boxed{ \mathcal P_G = \left\langle I, S, C, A, T, W^-, \Delta W^+, V, R, H, E \right\rangle } $$ 其中： - $I$ ：Intent； - $S$ ：Structure； - $C$ ：Capability； - $A$ ：Authority； - $T$ ：Temporal Control； - $W^-$ ：World Preconditions； - $\Delta W^+$ ：Expected World Delta； - $V$ ：Verification； - $R$ ：Recovery； - $H$ ：Human-Visible State； - $E$ ：Evidence and Provenance。 ## 3.1 為何稱為契約 因為它不只描述「怎麼做」，也描述： - 為誰做； - 為何做； - 不得做什麼； - 何時可做； - 誰有權； - 如何證明； - 失敗如何處理； - 誰能撤回。 ## 3.2 為何稱為狀態轉換 因為所有有效程式最終都對某個狀態產生： $$ S_{t+1} = F(S_t,a_t) $$ 即使是「只生成文字」，也改變了： - 文件狀態； - 知識狀態； - 對話狀態； - 決策狀態； - 可能的後續行動。 ## 3.3 為何稱為受治理 因為可執行不等於合法，理解不等於授權，成功不等於正當。 --- # 四、四個閉環 ## 4.1 語意閉環 $$ \text{Human Purpose} \rightarrow \text{Natural Language} \rightarrow \text{Formal Commitment} \rightarrow \text{Human Review} $$ 用來確定： - 系統理解了什麼； - 哪些只是推論； - 哪些需要澄清； - 哪些不能代理。 ## 4.2 結構閉環 $$ \text{Semantic IR} \rightarrow \text{Structural Program} \rightarrow \text{Operator Composition} \rightarrow \text{Projection} \rightarrow \text{Structural Revision} $$ 用來確定： - 語意如何成為可執行結構； - 結構是否保持型別、效果與證明義務； - 多投影是否一致。 ## 4.3 能動閉環 $$ \text{Intent IR} \rightarrow \text{Capability Plan} \rightarrow \text{Temporal Control} \rightarrow \text{Agent Runtime} \rightarrow \text{World Delta} $$ 用來把目的轉化為長時程合法行動。 ## 4.4 治理閉環 $$ \text{World Delta} \rightarrow \text{Evidence} \rightarrow \text{Human-Visible State} \rightarrow \text{Contest or Approve} \rightarrow \text{Revision} $$ 用來防止能力閉環成為自我封閉的自動化。 ## 4.5 閉環完整性 若只有語意與結構，系統可能永遠停在規格。 若只有能動性，系統可能成為不可控執行器。 若只有可見性而沒有證據，透明可能只是敘事。 因此： $$ \boxed{ \text{Mature Intent System} = L_S \cap L_N \cap L_A \cap L_G } $$ 其中依序是語意、結構、能動與治理閉環。 --- # 五、後文本不等於反文字 「後文本」不是： - 不再寫字； - 全部改成圖； - 用符號取代自然語言； - 讓 AI 在背後生成傳統程式； - 取消原始碼。 後文本真正代表： $$ \boxed{ \text{Text} \text{ is no longer the sole ontological authority of programs} } $$ 文字仍然是： - 最重要的人類投影； - 可攜格式； - 搜尋與版本控制媒介； - 無障礙介面； - 長期封存形式； - 法律與治理紀錄。 但文字不再必須獨自承擔： - 型別； - 結構； - 依賴； - 效果； - 世界狀態； - 權限； - 證據。 --- # 六、自然語言的正式位置 自然語言既不是普通註解，也不是自動執行權。 其位置是： $$ u \rightarrow \{ I_1,\ldots,I_n \} \rightarrow I^\ast \rightarrow \text{Formal and Governed Execution} $$ ## 6.1 優勢 - 能表達新目的； - 能處理例外； - 能進行價值協商； - 能描述未知領域； - 能讓非程式設計者參與。 ## 6.2 限制 - 歧義； - 省略； - 語境依賴； - 權限不明； - 成功條件模糊； - 容易被操縱。 ## 6.3 正確角色 自然語言是： - 意圖入口； - 澄清介面； - 解釋投影； - 治理語言； - 世界敘事。 它不是未經編譯的無限制世界寫入權。 --- # 七、形式化的重新定義 形式化不是把全部人類語意一次變成完美數學。 它是： > 對當前任務所需的語意邊界，建立足以驗證、組合與拒絕的承諾。 因此： $$ \text{Formalization} = \text{Commitment Compression} $$ 形式化可以是局部的、分層的與可撤回的。 其目標不是消滅歧義，而是知道： - 哪些已決定； - 哪些未決定； - 哪些不能自動決定； - 哪些結果足以否定當前計畫。 --- # 八、語意、結構與算子 ## 8.1 EML 的位置 EML 是遷移橋： $$ \text{Legacy Host} + \text{Semantic Overlay} \rightarrow \text{Host-Neutral Meaning} $$ ## 8.2 Nova 的位置 Nova 是結構核心： $$ \text{Structure} \rightarrow \{ \text{Text}, \text{Graph}, \text{Math}, \text{Runtime} \} $$ ## 8.3 SOS 的位置 SOS 是組合單位： $$ \text{Symbol or Node} \rightarrow \text{Operator Closure} \rightarrow \text{Composition Algebra} $$ ## 8.4 三者不能互相吞併 - EML 不負責全部 Runtime； - Nova 不負責所有人類意圖； - SOS 不應成為宇宙總註冊表； - 自然語言不應取代所有結構； - Agent 不應取代 World Kernel。 統一來自接口，不來自單體化。 --- # 九、Agent 的重新定義 Agent 不是模型加上工具。 Agent 是： $$ \boxed{ \text{Persistent Identity} + \text{Intent Contract} + \text{Capability Plan} + \text{Temporal Control} + \text{Runtime} + \text{Evidence} } $$ ## 9.1 模型角色 模型可以： - 解析； - 規劃； - 生成； - 解釋； - 提出修訂； - 模擬候選未來。 ## 9.2 模型不得單獨擁有 - 長期權限； - Commit 權； - 世界真值； - 人類批准； - 事件歷史； - 證據最終裁決。 ## 9.3 Agent 連續性 Agent 身分不等同於同一模型權重： $$ \text{Continuity} = \text{Identity} + \text{Commitments} + \text{Memory} + \text{Causal History} + \text{Governance} $$ --- # 十、世界的重新定義 可編譯世界不是大型資料庫，而是： $$ \boxed{ \text{World} = \text{Definition} + \text{Kernel} + \text{State} + \text{Rules} + \text{Events} + \text{Roles} + \text{History} } $$ ## 10.1 行動者與裁判分離 Agent Runtime 提交 Action IR。 World Kernel 裁決 State Delta。 若 Agent 同時是世界裁判： $$ \text{Actor} = \text{Judge} $$ 則世界治理失效。 ## 10.2 敘事與事實分離 模型可以描述世界，但只有已提交事件具有世界權威。 ## 10.3 世界只對建模範圍負責 模擬、數位分身與組織模型都不是現實全部。 --- # 十一、人類角色的重新定義 意圖時代並不把人類降級成 prompt 提供者。 人類至少有五種角色。 ## 11.1 目的所有者 提出、修改與撤回目的。 ## 11.2 邊界設計者 定義非目標、限制、權限與不可代理決策。 ## 11.3 世界治理者 決定規則、Canon、角色、遷移與制度。 ## 11.4 證據審查者 檢查是否真的完成與是否值得接受。 ## 11.5 受影響主體 即使不是系統擁有者，也可能具有： - 知情； - 申訴； - 補救； - 退出； - 最小影響； 權利。 --- # 十二、AI 角色的重新定義 AI 可以是： - 語意編譯器； - 結構生成器； - 算子組合器； - 計畫者； - 執行者； - 驗證輔助者； - 世界角色； - 解釋者； - 研究協作者。 但不應被自動提升為： - 終極目標來源； - 無限制授權者； - 唯一驗證者； - 世界規則最終裁判； - 人類權利替代者。 因此： $$ \boxed{ \text{AI Agency} \neq \text{AI Sovereignty} } $$ --- # 十三、程式設計工作的轉變 ## 13.1 不會消失的工作 - 編譯器； - Runtime； - Kernel； - 驗證器； - 資料結構； - 系統安全； - 效能； - 形式方法； - 介面； - 世界建模。 ## 13.2 增加的工作 - 意圖規格； - 非目標設計； - 能力契約； - 權限； - 證據； - 回復； - 多主體治理； - 語意註冊； - 世界遷移； - Agent 交接。 ## 13.3 技能中心改變 從： ```text 記憶語法 逐行編碼 手動串接 API ``` 部分轉向： ```text 建立模型 定義不變量 設計能力 驗證世界差分 治理多 Agent ``` 這不是降低技術性，而是把技術性移向更高層結構。 --- # 十四、組織與制度的轉變 組織政策可以被編譯為： - Intent Constraints； - Capability Policies； - Permission Leases； - Human Gates； - World Rules； - Audit Requirements。 但政策自動化不代表所有制度問題都已解決。 ## 14.1 形式政策的危險 規則寫入系統後可能： - 固化偏見； - 隱藏責任； - 擴大規模； - 使申訴更困難。 ## 14.2 制度必須可反駁 每個高影響自動決策應能回答： - 適用哪條規則； - 誰制定； - 何時生效； - 有何例外； - 如何申訴； - 如何修訂。 --- # 十五、十項制度條件 意圖程式文明要避免成為平台式自動化壟斷，至少需要以下條件。 ## 15.1 開放中介表示 Intent IR、Action IR、World Delta、Audit Package 等應有可攜格式。 ## 15.2 語意多元性 不能由單一註冊表壟斷所有概念。 需允許： - 命名空間； - 方言； - 映射； - 衝突； - 本地語言與文化。 ## 15.3 模型與 Runtime 分離 可更換模型而不失去狀態、權限與歷史。 ## 15.4 行動者與世界裁判分離 Agent 不能自行裁決所有世界效果。 ## 15.5 最小授權 能力應短期、作用域化、可撤回。 ## 15.6 獨立驗證 生成者不應是唯一驗證者。 ## 15.7 可攜證據 證書、事件與稽核包能離開原平台檢查。 ## 15.8 可逆治理 提供暫停、撤回、補償、分支、接管與封存。 ## 15.9 多主體可見性 不只系統擁有者能看見受影響行動。 ## 15.10 可反駁標準 標準、模型、註冊表與政策本身都能被修訂、替換與申訴。 --- # 十六、不可被單體化的權力 統一理論不代表所有能力集中在一個系統。 必須分離： | 權力 | 建議權威 | |---|---| | 提出目的 | 人類／合法主體 | | 解析候選 | 模型／語意編譯器 | | 形式驗證 | 編譯器／驗證器 | | 能力授權 | 政策與人類治理 | | 工具執行 | Agent Runtime | | 世界提交 | World Kernel | | 狀態呈現 | HVSL | | 最終申訴 | 多主體治理 | 若單一模型同時擁有全部權力，統一理論將退化為集中式控制。 --- # 十七、七級成熟度模型 ## Level 0：文字自動化 模型生成文字或程式，但無持久執行。 ## Level 1：工具型 Agent 模型可調用工具，但狀態與權限薄弱。 ## Level 2：語意中介 具有 EML、結構化輸入與可追蹤語意。 ## Level 3：結構原生 程式、算子與多投影由權威結構承載。 ## Level 4：意圖編譯 具有 Intent、Task、Capability IR 與最小權限計畫。 ## Level 5：持續 Agent 具有事件、租約、檢查點、恢復與 Runtime。 ## Level 6：可編譯世界 具有 Kernel、Action、Delta、Event、Replay 與分支。 ## Level 7：受治理意圖文明 具有 HVSL、證據、申訴、多主體可見性、可逆治理與開放標準。 成熟度不是能力排行榜。高層必須包含下層的安全與治理要求，而不是只增加自動化範圍。 --- # 十八、意圖時代的主要風險 ## 18.1 意圖提取 平台可能從行為推斷並操縱人類意圖。 ## 18.2 語意單一化 全球系統被迫使用少數平台定義的概念與分類。 ## 18.3 註冊表俘獲 控制 semantic ID、插件與能力市場者取得基礎權力。 ## 18.4 不可見自動化 大量世界變化發生，但人類只看到流暢摘要。 ## 18.5 權限通膨 為了方便，Agent 長期持有過多能力。 ## 18.6 世界模型僭位 模擬與數位分身被當成現實本身。 ## 18.7 反身漂移 Agent 修改計畫、記憶與工具後逐漸偏離原始意圖。 ## 18.8 技能與依賴集中 人類失去理解底層與自行退出的能力。 ## 18.9 責任蒸發 人類、模型、平台、插件與組織互相推卸責任。 ## 18.10 永久監督 為了可見性與證據，系統可能形成全面記錄與監控。 因此，證據保存也必須具有： - 最小化； - 保存期限； - 角色存取； - 隱私； - 刪除與封存政策。 --- # 十九、跨語言與跨文化 意圖程式文明不能把英文或單一文化語意當成世界底座。 需要： $$ \operatorname{Map} : S_{\mathrm{culture}\,1} \leftrightarrow S_{\mathrm{culture}\,2} $$ 但映射可能： - 不完全； - 有爭議； - 需要多種版本； - 不能被自動壓平。 ## 19.1 多語投影 同一結構可有中文、英文、數學、圖形與語音投影。 ## 19.2 語意主權 社群應能維護自己的： - 詞彙； - 規則； - 命名空間； - 治理； - 映射。 ## 19.3 不以翻譯消滅差異 跨語言互通的目標是可協作，不是讓所有概念變成同一概念。 --- # 二十、教育的轉變 ## 20.1 基礎能力 未來學習者仍需理解： - 邏輯； - 資料； - 演算法； - 系統； - 安全； - 機率； - 因果； - 語言。 ## 20.2 新增素養 - 意圖分解； - 非目標； - 權限； - 證據； - 世界狀態； - 可逆性； - Agent 協作； - 多模型驗證； - 語意差分。 ## 20.3 不把 AI 當答案機 教育應讓學習者能： - 質疑模型； - 要求證據； - 修改 IR； - 比較計畫； - 理解失敗； - 接管系統。 --- # 二十一、基礎設施與公共財 某些意圖程式基礎應作為公共或開放基礎設施： - IR schema； - semantic registries； - capability descriptors； - audit package formats； - verification tools； - accessibility profiles； - world interchange formats； - migration tools。 若全部由封閉平台控制，使用者將無法： - 移轉 Agent； - 保存歷史； - 替換模型； - 獨立驗證； - 維護自己的語意。 --- # 二十二、經濟與市場結構 ## 22.1 新市場 - 能力模組； - 驗證服務； - 世界模組； - 語意註冊； - Agent Runtime； - 稽核； - 遷移； - 人類治理服務。 ## 22.2 新集中風險 掌握： - 模型； - 工具入口； - semantic ID； - Runtime； - 世界狀態； - 使用者意圖； 的平台可能形成全鏈控制。 ## 22.3 可替換性作為競爭條件 模型、工具、插件與 Runtime 的替換能力，不只是工程品質，也是市場自由條件。 --- # 二十三、文明級不變量 ## 23.1 目的不可靜默替換 $$ I^{(0)} \not\rightsquigarrow I^{(1)} $$ 除非存在合法修訂。 ## 23.2 權限不可由能力自證 $$ \operatorname{Can}(a) \not\Rightarrow \operatorname{May}(a) $$ ## 23.3 世界狀態不可由敘事自證 $$ \operatorname{Narrate}(e) \not\Rightarrow \operatorname{Committed}(e) $$ ## 23.4 完成不可由生成自證 $$ \operatorname{Generated}(x) \not\Rightarrow \operatorname{Verified}(x) $$ ## 23.5 透明不可由解釋自證 $$ \operatorname{Explained}(x) \not\Rightarrow \operatorname{Governable}(x) $$ ## 23.6 人類沉默不可自動視為同意 除非在合法、低風險且明確規定的範圍內。 ## 23.7 受影響者不能被排除 高影響世界變化需包含多主體權利與申訴。 --- # 二十四、端到端證書鏈 完整執行可產生： $$ \mathcal C_{\mathrm{end}} = \left\langle C_I, C_S, C_A, C_X, C_W, C_V, C_H \right\rangle $$ 其中： - $C_I$ ：Intent Certificate； - $C_S$ ：Structural Certificate； - $C_A$ ：Authorization Certificate； - $C_X$ ：Execution Certificate； - $C_W$ ：World Commit Certificate； - $C_V$ ：Verification Certificate； - $C_H$ ：Human Governance Receipt。 此證書鏈使人類能追問： > 此世界結果是否真的源於我批准的意圖？ --- # 二十五、可證偽研究議程 ## 25.1 端到端意圖保真 測量原始 Intent 與最終 World Delta 的語意距離。 ## 25.2 跨投影一致性 文字、圖、公式、UI 與 Agent Context 是否指向相同權威結構。 ## 25.3 模型替換 更換模型後，Intent、Task、權限與世界結果是否保持。 ## 25.4 工具替換 更換 Provider／插件後，能力契約是否保持。 ## 25.5 長時程漂移 跨越多次喚醒、恢復與修訂後，是否偏離原始目的。 ## 25.6 世界 Replay 事件重放是否重建相同世界狀態。 ## 25.7 人類接管 人在高風險狀態下能否及時理解並控制系統。 ## 25.8 不可見性債 HVSL 是否實際降低人類確認與恢復成本。 ## 25.9 多主體申訴 受影響者是否能取得充分資訊、提出異議並獲得補救。 ## 25.10 註冊表抗俘獲 語意與能力註冊是否能抵抗單一平台控制與惡意替換。 ## 25.11 跨文化語意保持 多語與多文化投影是否保留差異而不是錯誤同化。 ## 25.12 全系統資源成本 計算、能源、儲存、驗證與人類時間是否在可接受範圍。 --- # 二十六、十二篇的邏輯位置 | 篇次 | 核心問題 | 系統位置 | |---|---|---| | 1 | 程式概念如何從程式碼擴張至意圖？ | 歷史與本體轉換 | | 2 | 自然語言如何成為狀態轉換入口？ | 語言事件 | | 3 | 開放語意如何形成形式承諾？ | 形式化壓縮 | | 4 | 語意如何脫離單一宿主？ | EML | | 5 | 程式是否必須先是文字？ | Nova | | 6 | 符號如何成為可組合算子？ | SOS | | 7 | 意圖如何編譯為能力計畫？ | Intent／Task／Capability IR | | 8 | 長時程 Agent 如何等待與恢復？ | 時空控制 | | 9 | 模型與工具如何形成可執行 Agent？ | Agent Runtime | | 10 | 行動如何改變持久世界？ | CompilableWorld | | 11 | 人類如何看見並治理？ | HVSL | | 12 | 如何形成統一計算制度？ | 意圖程式文明 | --- # 二十七、統一主鏈 全系列最終主鏈為： $$ \boxed{ \begin{aligned} &\text{Purpose}\\ &\downarrow\\ &\text{Natural-Language Event}\\ &\downarrow\\ &\text{Formal Commitment}\\ &\downarrow\\ &\text{Semantic Overlay and IR}\\ &\downarrow\\ &\text{Structure-Native Program}\\ &\downarrow\\ &\text{Composable Operator Closure}\\ &\downarrow\\ &\text{Intent, Task, Capability IR}\\ &\downarrow\\ &\text{Temporal-Spatial Control}\\ &\downarrow\\ &\text{Agent Runtime}\\ &\downarrow\\ &\text{Authorized Action IR}\\ &\downarrow\\ &\text{World Kernel and State Delta}\\ &\downarrow\\ &\text{Event and Evidence Ledger}\\ &\downarrow\\ &\text{Human-Visible State}\\ &\downarrow\\ &\text{Contest, Recovery, Revision} \end{aligned} } $$ 這不是單向流水線。 它是一個可回饋的治理循環： $$ \text{Revision} \rightarrow \text{Purpose}^{(v+1)} $$ --- # 二十八、本文的二十項總命題 1. 程式的基本單位可以從來源文字擴張為受治理狀態轉換契約。 2. 自然語言可以成為計算入口，但不自動構成授權。 3. 形式化是局部承諾壓縮，而非語意全知。 4. 文字是重要投影，但不必是唯一程式本體。 5. 語意附加、結構原生與算子閉包是不同責任層。 6. Intent、Task、Capability 不可合併。 7. 長時程程式不等於長時間常駐程序。 8. 模型不等於 Agent Runtime。 9. MCP、API、CLI 與插件不等於 Agent。 10. Agent Runtime 不等於 World Kernel。 11. 行動者不能同時成為不受限制的世界裁判。 12. 敘事不等於世界事實。 13. 工具成功不等於世界狀態成功。 14. 生成完成不等於驗證完成。 15. 可讀解釋不等於可治理透明。 16. 人類沉默不等於高風險批准。 17. 可逆治理不等於完美時間倒流。 18. 統一體系應由接口與證書連接，而非由單一超級系統壟斷。 19. AI 能動性可以增加，但權限、世界與人類權利必須保持分離。 20. $$ \boxed{ \text{Intent-Programming Civilization} = \text{Purpose} + \text{Structure} + \text{Agency} + \text{World} + \text{Evidence} + \text{Governance} } $$ --- # 二十九、結論：人類沒有停止編程，而是開始編寫世界改變的條件 意圖時代最容易被誤解成： > 人類只要說一句話，AI 就會完成所有工作。 這只是介面的表面。 一句話背後仍然存在： - 語意選擇； - 結構選擇； - 工具選擇； - 權限選擇； - 風險選擇； - 世界狀態選擇； - 證據選擇； - 責任選擇。 如果這些選擇沒有被明示，它們不會消失，只會轉移給模型、平台、供應者或不可見的預設。 因此，真正的意圖程式文明不是取消程式設計。 它是把程式設計從： ```text 如何逐行命令機器 ``` 擴張為： ```text 我們希望什麼發生？ 哪些事情不得發生？ 誰有權決定？ 機器可以使用哪些能力？ 世界可以如何被改變？ 何種證據足以相信完成？ 失敗後如何恢復？ 受影響者如何看見與反駁？ ``` 其最終閉環為： $$ \boxed{ \text{Express} \rightarrow \text{Formalize} \rightarrow \text{Structure} \rightarrow \text{Authorize} \rightarrow \text{Act} \rightarrow \text{Verify} \rightarrow \text{Observe} \rightarrow \text{Govern} \rightarrow \text{Revise} } $$ 人類不再必須親自撰寫每個底層步驟。 但人類也不能因此放棄： - 目的； - 邊界； - 判斷； - 權利； - 申訴； - 責任。 AI 不再只是程式工具。 但它也不能因此自然成為世界主權者。 程式不再只是文字。 但它仍必須能被人類理解、保存、交換與反駁。 世界不再只是被動資料。 但它也不能被模型敘事任意改寫。 因此，本系列的最終命題是： $$ \boxed{ \text{意圖是程式的起點，而不是權力的終點。} } $$ 以及： $$ \boxed{ \text{真正成熟的意圖程式系統，} } $$ $$ \boxed{ \text{不是能替人類做最多事情的系統，} } $$ $$ \boxed{ \text{而是能在擴大共同能動性的同時，} } $$ $$ \boxed{ \text{仍讓目的、證據、世界與治理保持可見、可分離與可重新決定。} } $$ 《意圖—結構—世界程式論》十二篇至此完成。 --- # 附錄 A：統一治理契約範例 ```yaml governed_program: program_id: "gp-001" version: "1.0.0" intent: goal: "建立公開研究網站的新版本" non_goals: - "不刪除既有研究資料" reserved_human_decisions: - "正式發布" structure: semantic_ir: "artifact://semantic-ir" structural_ir: "artifact://nova-graph" operator_registry: "sos://registry/v1" capability_plan: required: - "repository.read" - "feature_branch.write" - "preview.deploy" forbidden: - "production.deploy" authorization: leases: - scope: "feature_branch" expires_at: "2026-07-26T12:00:00+08:00" temporal_control: status: "waiting-human" continuation: "cont-001" next_wake: event: "release_decision" world: precondition_hash: "sha256:..." expected_delta: - "preview deployment created" - "production unchanged" verification: required: - "tests" - "semantic diff" - "preview healthcheck" recovery: reversibility: "compensatable" compensation: - "delete preview deployment" - "revert feature branch" human_visible_state: evidence_ladder: true controls: - "approve" - "request_changes" - "pause" - "cancel" - "view_evidence" provenance: intent_owner: "human" planner: "ai-agent" runtime: "agent-runtime@1" world_kernel: "deployment-world@1" ``` --- # 附錄 B：文明級最小治理章程 ```yaml intent_programming_charter: principles: - "purpose shall not be silently replaced" - "capability shall not imply authority" - "narrative shall not imply world commit" - "generation shall not imply verification" - "explanation shall not imply governability" required_separation: - "model and runtime" - "agent runtime and world kernel" - "actor and final verifier" - "world fact and narrative projection" human_rights: - "see relevant state" - "know authority and provenance" - "contest high-impact decisions" - "pause or take over when possible" - "receive truthful reversibility information" - "obtain recovery or compensation paths" system_obligations: - "least privilege" - "versioned intent" - "independent verification" - "portable evidence" - "accessible human-visible state" - "multi-subject governance" ``` --- # 附錄 C：全系列四部結構 ## 第一部：程式概念的轉變 1. 從程式碼到意圖 2. 自然語言原生計算 3. 形式化壓縮與算子演化 ## 第二部：後文本語言與結構表示 4. 語意附加程式設計 5. 結構先於文字 6. 符號作為算子 ## 第三部：意圖編譯與 Agent 執行 7. 意圖中介表示 8. 時間—空間程式控制 9. Agent Runtime ## 第四部：可編譯世界與程式治理 10. 可編譯世界 11. 人類可見狀態 12. 意圖程式文明 --- # 參考文獻 ## 本系列 1. Neo.K with Aletheia，《從程式碼到意圖：程式概念的歷史轉換與後文本時代》，2026。 2. Neo.K with Aletheia，《自然語言原生計算：從語句生成到語義狀態轉換》，2026。 3. Neo.K with Aletheia，《形式化壓縮與算子演化：自然語言、形式語言與計算結構的生成》，2026。 4. Neo.K with Aletheia，《語意附加程式設計：EML 與宿主中立語義中介層》，2026。 5. Neo.K with Aletheia，《結構先於文字：Nova 與後文本程式語言本體論》，2026。 6. Neo.K with Aletheia，《符號作為算子：從靜態字元到可組合計算閉包》，2026。 7. Neo.K with Aletheia，《意圖中介表示：從自然語言要求到可驗證能力計畫》，2026。 8. Neo.K with Aletheia，《時間—空間程式控制：長時程 Agent 的迴圈、切片與反身執行》，2026。 9. Neo.K with Aletheia，《Agent Runtime：能力規劃、工具調用與可恢復執行》，2026。 10. Neo.K with Aletheia，《可編譯世界：從程式執行到世界狀態演化》，2026。 11. Neo.K with Aletheia，《人類可見狀態：意圖程式系統的稽核、解釋與可逆治理》，2026。 ## 一般理論背景 12. Church, A., *The Calculi of Lambda-Conversion*, 1941. 13. Turing, A. M., “On Computable Numbers, with an Application to the Entscheidungsproblem,” 1936. 14. Hoare, C. A. R., “An Axiomatic Basis for Computer Programming,” 1969. 15. Dijkstra, E. W., *A Discipline of Programming*, 1976. 16. Bratman, M. E., *Intention, Plans, and Practical Reason*, 1987. 17. Lamport, L., “Time, Clocks, and the Ordering of Events in a Distributed System,” 1978. 18. Harel, D., “Statecharts: A Visual Formalism for Complex Systems,” 1987. 19. Norman, D. A., *The Design of Everyday Things*, 1988. 20. Ostrom, E., *Governing the Commons*, 1990. 21. Lessig, L., *Code and Other Laws of Cyberspace*, 1999. 22. Evans, E., *Domain-Driven Design*, 2003. 23. Kleppmann, M., *Designing Data-Intensive Applications*, 2017. 24. Miller, T., “Explanation in Artificial Intelligence: Insights from the Social Sciences,” 2019. --- # 版本紀錄 ## v1.0 — 2026-07-25 - 完成系列第十二篇與全系列。 - 建立意圖程式文明十二元模型。 - 將程式基本單位重新定義為受治理狀態轉換契約。 - 統一語意、結構、能動與治理四個閉環。 - 確立後文本不等於反文字。 - 統一自然語言、形式化、EML、Nova 與 SOS 的責任。 - 重新定義 Agent、World、Human 與 AI 的角色。 - 提出十項制度條件與七級成熟度模型。 - 分析意圖提取、語意單一化、註冊表俘獲、世界模型僭位與責任蒸發。 - 建立跨語言、教育、公共基礎設施與市場結構的文明級推論。 - 提出文明級不變量與端到端證書鏈。 - 提出十二項可證偽研究議程。 - 完成十二篇邏輯位置、統一主鏈與二十項總命題。 - 完成全系列最終收束。