論文
四個系列，全部在計算機領域。
每篇論文以閱讀網頁與 PDF 兩種形式發表，兩者由同一份原始檔生成。原始 Markdown 不對外發佈。版本、日期與證據狀態直接印在每篇論文上，不做成熟度宣稱。
PU / 18
程式宇宙基礎
對「程式語言到底是什麼」的現階段回答：從意圖、計算與物理三個存在域出發，重新定義程式、語言與可編譯的世界。
- PU-0-01
三重宇宙論：意圖、計算與物理存在的基本區分
A Theory of Three Universes: The Fundamental Distinction Among Intentional, Computational, and Physical Existence
程式設計、計算機科學與人工智慧通常直接從符號、演算法、資料結構、模型與執行開始，卻很少先回答一個更早的問題：人類為何建立計算機宇宙，而計算究竟連接了哪些存在域？若不先區分「主體或制度想要的世界」、「機器能表示與轉換的世界」以及「實際具有因果效力的世界」，程式就容易被縮減為語法，意圖容易被誤認為可直接執行，計算模型也容易被錯認為現實本身。
- PU-0-02
三宇宙耦合動力學：從想要、表示到世界改變
Dynamics of Three-Universe Coupling: From Wanting and Representation to World Change
前篇〈三重宇宙論〉區分了意圖宇宙、計算機宇宙與物理宇宙，並指出三者具有不同存在條件。本篇進一步提出「三宇宙耦合動力學」，研究意圖如何被形式化為計算結構，計算如何產生數位或物理效果，物理結果又如何被感測、解釋並返回新的意圖。
- PU-0-03
表示落差：意圖、計算模型與物理現實之間的不可完備映射
The Representation Gap: Incomplete Mappings Among Intent, Computational Models, and Physical Reality
前兩篇論文分別建立了意圖宇宙、計算機宇宙與物理宇宙的基本區分，以及三者之間的耦合循環。本篇集中處理耦合過程中的核心難題：任何從意圖到模型、從模型到世界、再從世界回到資料與解釋的映射，都不是完備、無損或透明的。
- PU-0-04
數位宇宙作為人工存在域：實體、狀態、規則與歷史
The Digital Universe as an Artificial Domain of Existence: Entities, States, Rules, and History
前篇〈表示落差〉指出，計算模型永遠不等於意圖全部，也不等於物理現實全部。然而，「不等於物理現實」並不意味著數位世界沒有實在性。相反地，現代社會中的帳號、數位資產、權限、聲譽、虛擬角色、平台規則、交易紀錄、資料身份與 Agent 狀態，已經對人類行動、制度分配、經濟關係與物理生活產生穩定而持續的因果效力。
- PU-0-05
生成與限制：計算機宇宙如何創造並封閉可能性
Generation and Constraint: How the Computational Universe Creates and Closes Possibility
前篇將數位宇宙定義為由實體、身分、狀態、規則、事件、歷史、權限、數位時間與 Runtime／Kernel 共同維持的人工存在域。本篇進一步研究其最核心的動力：計算機宇宙不只是保存既有世界，也會生成新對象、新規則、新行動與新世界；然而，同一套生成機制也必然排除、封閉或壓縮其他可能性。
- PU-0-06
我們到底想要什麼：計算目的、價值邊界與世界選擇
What Do We Actually Want? Computational Purpose, Value Boundaries, and the Choice of Worlds
前五篇論文依序建立了意圖宇宙、計算機宇宙與物理宇宙的區分；三者之間的耦合動力；跨宇宙表示的不可完備性；數位宇宙作為人工存在域的本體地位；以及計算系統同時生成並封閉可能性的雙重結構。本篇作為第 0 冊《程式之前》的收束篇，提出最終且最不可被技術替代的問題：
- PU-1-01
程式不等於程式碼：可執行問題模型的基本定義
A Program Is Not Source Code: A Fundamental Definition of Executable Problem Models
程式設計教育長期將學習順序安排為語法、變數、條件、迴圈、函式、類別、框架與專案。然而，這種順序往往讓學習者誤以為「程式」就是一組文字指令，並把能寫出可執行程式碼視為已經完成程式設計。實際上，原始碼只是程式的一種表示；演算法只是程式的一種轉換結構；軟體是程式、資料、資源、介面與執行環境的集合；應用程式則是面向特定使用情境的軟體實例；系統更包含外部主體、制度、物理環境與持續運作關係。
- PU-1-02
問題世界建模：實體、關係、規則與系統邊界
Problem-World Modeling: Entities, Relations, Rules, and System Boundaries
前篇將程式定義為「可執行問題模型」，並指出來源文字只是程式在特定語言中的投影。本篇進一步處理程式設計中最常被跳過、卻又決定整個系統結構的前置工作：問題世界建模。
- PU-1-03
資料—狀態—事件—行動：程式系統的四元動力結構
Data, State, Event, and Action: A Fourfold Dynamic Structure of Program Systems
前篇建立了問題世界的實體、關係、規則與系統邊界，但靜態世界模型仍不足以描述程式如何隨時間運作。任何持續系統都必須回答：世界目前是什麼狀態、什麼事情發生了、誰想做什麼、哪些資料只是觀測或投影，以及一次變化如何被判定為合法。
- PU-1-04
責任、模組與契約：從檔案分類到系統邊界
Responsibility, Modules, and Contracts: From File Classification to System Boundaries
前兩篇分別建立了問題世界模型，以及資料、狀態、事件、行動的四元動力結構。本篇處理系統設計的下一個核心問題：當世界中已有實體、狀態、事件與行動後，究竟由誰負責維持它們？哪些狀態屬於哪個模組？模組之間應交換命令、事件、查詢、資料還是證據？跨邊界失敗由誰承擔？契約又應包含哪些內容？
- PU-1-05
可視化作為外部結構記憶：多角色、多尺度的程式理解
Visualization as External Structural Memory: Multi-Role and Multi-Scale Program Understanding
前四篇已依序建立程式作為可執行問題模型、問題世界建模、資料—狀態—事件—行動四元動力，以及責任模組與跨邊界契約。然而，若這些結構只存在於原作者腦中、散落於來源碼、文件、會議紀錄與 Runtime，團隊仍無法形成共同系統理解。大型程式系統的核心瓶頸，往往不是缺少資料，而是缺少可被不同角色在不同尺度理解的外部結構記憶。
- PU-1-06
失敗也是程式：驗證、可觀測、恢復與長期維護
Failure Is Also Program: Verification, Observability, Recovery, and Long-Term Maintenance
第 1 冊前五篇依序將程式定義為可執行問題模型，建立問題世界、資料—狀態—事件—行動四元動力、責任模組與契約，以及可視化外部結構記憶。本篇作為第 1 冊封頂篇，集中處理最容易被錯誤地視為「例外」或「開發後期工作」的部分：失敗、驗證、可觀測、恢復與長期維護。
- PU-2-01
程式語言不等於文字：結構、語意與執行的基本分離
A Programming Language Is Not Text: The Fundamental Separation of Structure, Semantics, and Execution
前兩冊已分別回答：為何需要計算、計算世界與物理世界如何耦合，以及程式應如何被建模、切分、理解、驗證與維護。本冊轉向更深一層問題：程式語言究竟是什麼？
- PU-2-02
符號作為算子：從靜態字元到可組合計算閉包
Symbols as Operators: From Static Characters to Composable Computational Closure
前篇指出程式語言不等於文字，文字只是程式結構的一種線性序列化投影。本篇進一步追問：若語言不以文字為本體，那麼構成語言的「符號」究竟是什麼？
- PU-2-03
語法—語意—效果：程式語言的三層存在結構
Syntax, Semantics, and Effects: The Three-Layer Ontology of Programming Languages
前兩篇分別提出：程式語言不等於文字，文字只是程式結構的一種投影；符號也不等於靜態字元，而是具有輸入、輸出、前後條件、效果、授權、驗證與組合規則的受治理算子。本篇進一步建立程式語言的三層存在結構：
- PU-2-04
意圖中介表示：從自然意圖到多重可執行投影
Intent Intermediate Representation: From Natural Intent to Multiple Executable Projections
前三篇已建立：程式語言不等於文字；符號應被理解為受治理算子；程式語言具有語法、語意與效果三層存在。本篇進一步處理意圖時代最核心的編譯問題：自然語言、圖形、表格、對話與人類未完成想法，如何被轉換為可驗證、可追蹤、可授權、可生成多種投影，並能安全進入 Runtime 的共同中介結構？
- PU-2-05
可編譯世界：程式執行作為世界狀態差分
The Compilable World: Program Execution as Governed World-State Difference
前四篇依序建立：程式語言不等於文字；符號應被理解為受治理算子；程式語言具有語法、語意與效果三層；自然意圖需要先進入意圖中介表示，再生成多重可執行投影。本篇進一步處理最終執行問題：當一個已驗證的意圖 IR 取得執行權後，Runtime 真正做的事情是什麼？
- PU-2-06
後文本程式語言：意圖、結構、驗證與物理耦合的統一框架
Post-Textual Programming Languages: A Unified Framework for Intent, Structure, Verification, and Physical Coupling
本篇是第 2 冊《程式語言的本質》的封頂篇，也是「程式宇宙書系」十八篇地基論文的總封頂篇。
PLDST / 30
程式語言設計師風格譜系
歷代程式語言設計者的決策模式研究。不做人格診斷，而是把複雜度配置、責任分配、相容性與治理風格當作可比較的決策語料。
- PLDST-001
程式語言設計師風格譜系：從語言特徵分類到設計決策人格
A Genealogy of Programming Language Designer Styles: From Language-Feature Classification to Decision-Style Signatures
現有程式語言分類通常以範式、型別系統、執行模型、語法形式、抽象層級或應用領域為核心。這些分類能回答「一種語言具有哪些特徵」，卻不一定能回答另一個問題：
- PLDST-002
複雜度配置論：程式語言沒有消滅的複雜度去了哪裡？
The Allocation of Complexity in Programming Language Design: Where Does the Complexity Go?
程式語言設計經常以「更簡單」「更安全」「更自然」「零成本」「免管理」描述自身優勢。然而，一個介面變得簡單，並不代表支撐它的全部計算、規則、例外、工具與治理成本已經消失。垃圾回收降低程式設計者的手動記憶體管理負擔，卻增加運行時、延遲分析與實作者責任；型別推導減少顯式標註，卻提高編譯器推理、錯誤解釋與工具實作負擔；所有權系統能在沒有垃圾回收器的情況下提供記憶體安全保證，卻要求編譯器與使用者共同處理移動、借用及生命週期…
- PLDST-003
控制責任配置論：使用者、編譯器、Runtime 與工具誰應承擔錯誤？
The Allocation of Control Responsibility: Who Should Bear Errors—the Programmer, Compiler, Runtime, or Tools?
程式語言設計中的錯誤問題，經常被簡化成一場二選一爭論：錯誤應在編譯期阻止，還是交給運行期與程式設計者處理？這種二分法忽略了錯誤治理其實至少包含七種責任：預防、偵測、定位、圍堵、處理與恢復、升級，以及追責與制度修正。
- PLDST-004
設計者、共同體與制度：如何避免程式語言史的創始人歸因偏誤
Designers, Communities, and Institutions: Avoiding Founder-Attribution Bias in Programming Language History
這些說法作為入門識別並非全錯，但一旦被用來解釋語言的全部特徵、長期演化、制度選擇與生態結果，就會形成 創始人歸因偏誤。它把多階段、多主體、多制度的語言演化壓縮為單一人物的穩定意志，進而混淆：
- PLDST-005
風格的時間相位：設計師思想、語言演化與社群治理如何分離
Temporal Phases of Design Style: Separating Designer Thought, Language Evolution, and Community Governance
這些標籤可以作為初步索引，卻容易將數十年的思想、技術與制度演化壓縮為一個靜態人格。設計者可能改變觀點；語言可能在創始者離開後繼續演化；共同體可能把創始原則制度化，也可能以相同口號支持與原意不同的決策；向後相容可能把早期偶然選擇固定成永久表面；工具與生態還可能建立一套規格之外的「事實語言」。
- PLDST-006
極簡核心與功能擴張：語言應保持多小，又能成長到多大？
Minimal Cores and Feature Expansion: How Small Should a Language Remain, and How Far Should It Grow?
「保持語言簡單」幾乎是所有程式語言設計者都願意公開支持的價值，但不同設計者所稱的簡單，可能指向完全不同的系統結構。
- PLDST-007
顯式控制與自動推導：設計者應要求使用者說多少，又替使用者猜多少？
Explicit Control and Automatic Inference: How Much Should Programmers State, and How Much Should Languages Derive?
過度顯式可能造成樣板、視覺噪音、重複契約與維護負擔；過度隱式則可能造成非局部搜尋、意外轉換、推導不穩定、難以解釋的錯誤，以及公開 API 隨實作細節漂移。
- PLDST-008
機器效率與人類可讀性：成本模型應寫在語言表面，還是藏在編譯器之後？
Machine Efficiency and Human Readability: Should Cost Models Appear in Source Code or Hide Behind the Compiler?
這種圖像過度簡化。C 與 C++ 讓資料布局、指標、配置與硬體操作較容易出現在程式表面，但編譯器仍依抽象機器與 as-if 原則進行轉換，表面敘述並不是實際指令序列的逐字記錄；C++ 的零額外成本原則約束特定抽象的運行時間與空間開銷，並不保證編譯時間、診斷或程式碼體積為零。Rust 以所有權、借用、迭代器與型態狀態等高階構造，試圖讓安全及可讀抽象編譯成接近手寫低階程式的結果，但其代價部分前移至型別規則、編譯器與建…
- PLDST-009
安全約束與表達自由：語言應禁止多少錯誤，又應允許多少逃生？
Safety Constraints and Expressive Freedom: How Much Error Should a Language Forbid, and How Much Escape Should It Permit?
安全不只是「編譯器拒絕更多程式」，而是對特定錯誤類別建立可說明的保證；自由也不只是「任何位元都能被任意操作」，而包括表達新抽象、連接外部系統、控制資源、實作 Runtime，以及在現有分析能力之外建立新機制的能力。
- PLDST-010
設計一致性、相容性與社群演化：語言何時應堅持原則，何時應接受歷史？
Design Coherence, Compatibility, and Community Evolution: When Should a Language Defend Its Principles, and When Should It Accept History?
若永遠優先原則，語言可能頻繁破壞程式、分裂生態並耗盡使用者；若永遠優先相容，早期偶然、錯誤預設與不理想介面可能被永久保留，形成規格膨脹、教學負擔與設計化石。
- PLDST-011
John Backus：從 FORTRAN 到函數級程式設計的自我反省
John Backus: From FORTRAN to the Self-Critique of Function-Level Programming
John Backus 在程式語言史上呈現一種罕見的雙重角色：他先領導團隊建立 FORTRAN，使高階數學表示能被翻譯為接近手寫效率的機器程式；二十年後，他又在圖靈獎演講中批判以變數、賦值、狀態與逐字操作為中心的傳統語言，並承認自己對這種複雜性可能負有一部分責任。
- PLDST-012
John McCarthy：極小核心、符號計算與語言可延展性
John McCarthy: Minimal Cores, Symbolic Computation, and Language Extensibility
John McCarthy 的程式語言設計風格通常被濃縮成幾個標籤：LISP、List、Recursion、`eval`、程式即資料。然而，這些特徵若脫離其原始問題，就容易被誤解成純粹的語法極簡或無限制元程式設計。
- PLDST-013
Alan Kay：物件、訊息與對物件導向的歷史誤讀
Alan Kay: Objects, Messages, and the Historical Misreading of Object-Oriented Programming
Alan Kay 經常被描述為「物件導向程式設計之父」「Smalltalk 發明者」或「圖形介面先驅」。這些稱號雖能指向其歷史地位，卻也容易把一套原本服務於個人運算、教育、動態媒介、分散式訊息與可延展系統的整體設計，壓縮成「類別、封裝、繼承」的語言功能集合。
- PLDST-014
Niklaus Wirth：簡潔、教育與可實作性的設計倫理
Niklaus Wirth: Simplicity, Education, and the Ethics of Implementability
Niklaus Wirth 常被簡化為「Pascal 的發明者」「極簡主義語言設計者」或「軟體膨脹的批評者」。這些標籤只描述了結果，卻未說明其極簡從何而來，也容易將他誤寫成反對所有功能與大型系統的保守派。
- PLDST-015
Dennis Ritchie：可攜式系統語言、機器透明度與克制的抽象
Dennis Ritchie: Portable Systems Languages, Machine Transparency, and Restrained Abstraction
Dennis Ritchie 經常被描述為 C 語言的創造者與 Unix 的共同開發者。這個描述正確，卻不足以說明他的設計風格，也容易產生兩種相反誤讀：
- PLDST-016
Bjarne Stroustrup：零額外成本、多範式與相容性政治
Bjarne Stroustrup: Zero-Overhead Abstraction, Multi-Paradigm Design, and the Politics of Compatibility
Bjarne Stroustrup 經常被描述成 C++ 的發明者、物件導向的推廣者，或者一門過度複雜語言的主要責任者。這些描述各有部分事實，卻容易忽略 C++ 原始問題的雙重約束：
- PLDST-017
Guido van Rossum：可讀性、實用主義與 BDFL 裁決
Guido van Rossum: Readability, Pragmatism, and BDFL Judgment
Guido van Rossum 常被描述為 Python 的創造者、可讀性語言的設計者，以及長期擔任 Benevolent Dictator For Life（BDFL）的開源領導者。這些標籤指出了三個重要事實，卻也容易造成三種誤讀：
- PLDST-018
Yukihiro Matsumoto：程式設計者幸福、語言自然性與社群信任
Yukihiro Matsumoto: Programmer Happiness, Linguistic Naturalness, and Community Trust
Yukihiro “Matz” Matsumoto 經常被描述為 Ruby 的創造者，以及「為了讓程式設計者幸福」而設計語言的人。這個描述捕捉了 Ruby 最著名的價值主張，卻也容易產生四種誤讀：
- PLDST-019
Larry Wall：語言多義性、後現代實用主義與社群文化
Larry Wall: Linguistic Polysemy, Postmodern Pragmatism, and Community Culture
Larry Wall 常被描述為 Perl 的創造者、自然語言式程式設計的倡議者，以及「There’s more than one way to do it」的代表人物。這些描述正確，卻也容易把 Perl 寫成一門只追求短碼、容許混亂，甚至故意反對一致性的語言。
- PLDST-020
Anders Hejlsberg：工具驅動設計、漸進型別與平台折衷
Anders Hejlsberg: Tool-Driven Design, Gradual Typing, and Platform Compromise
Anders Hejlsberg 橫跨四十多年的語言與工具工作，常被濃縮成一串產品名稱：
- PLDST-021
Rich Hickey：價值、身分與簡單性的分離
Rich Hickey: Separating Values, Identity, and Simplicity
Rich Hickey 常被描述為 Clojure 的創造者、不可變資料與函數式程式設計的倡議者，以及〈Simple Made Easy〉的講者。這些標籤都正確，卻容易把他的設計思想壓縮成幾句口號：
- PLDST-022
Graydon Hoare 與 Rust 共同體：安全系統語言如何從個人原型轉為制度工程
Graydon Hoare and the Rust Community: How a Safe Systems Language Became Institutional Engineering
Rust 經常被描述為 Graydon Hoare 創造的一門安全系統程式語言，其 Ownership、Borrow checker 和無 Garbage collector 的 Memory safety 解決了 C／C++ 長期問題。這種敘述抓住 Rust 的創始起點，卻不能準確解釋今日 Rust。
- PLDST-023
Wirth、Ritchie 與 Stroustrup：簡潔、機器控制與相容性之間的三種系統語言倫理
Wirth, Ritchie, and Stroustrup: Three Ethics of Systems Language Design Across Simplicity, Machine Control, and Compatibility
Niklaus Wirth、Dennis Ritchie 與 Bjarne Stroustrup 都設計過能處理系統級問題、重視效率且深刻影響工程實踐的語言。然而，若只以「Pascal／Oberon、C、C++」的功能表比較三人，就會忽略最重要的差異：他們對語言設計者應保護什麼、允許什麼、刪除什麼，以及把複雜度交給誰，具有三套不同倫理。
- PLDST-024
Guido、Matz 與 Larry Wall：可讀性、幸福與多義性之間的三種人本語言設計
Guido, Matz, and Larry Wall: Three Human-Centered Language Designs Across Readability, Happiness, and Polysemy
Guido van Rossum、Yukihiro “Matz” Matsumoto 與 Larry Wall 都曾把程式語言設計從「機器能否執行」推向「人如何使用、閱讀、感受與表達」。Python、Ruby 與 Perl 也經常被共同歸入動態語言、腳本語言、膠水語言或高生產力語言。然而，只用「三者都重視人」概括其設計，會掩蓋三套幾乎相反的人本模型。
- PLDST-025
Backus、McCarthy 與 Hickey：函數、符號與簡單性的不同道路
Backus, McCarthy, and Hickey: Different Roads Through Functions, Symbols, and Simplicity
John Backus、John McCarthy 與 Rich Hickey 都曾把函數、組合、符號表示與簡單性置於程式語言設計的中心。然而，若只把三人共同歸入「函數式／Lisp／極簡設計」傳統，會同時誤解三者。
- PLDST-026
個人設計者、仁慈獨裁者與 RFC 制度：語言治理風格比較
Individual Designers, Benevolent Dictators, and RFC Systems: A Comparative Study of Programming Language Governance Styles
程式語言通常被描述為語法、型別系統、執行模型、標準函式庫與工具鏈的集合。然而，任何能持續演化的語言還包含另一個不可省略的構造：
- PLDST-027
PLDST 評估矩陣與設計決策語料庫規格
PLDST Evaluation Matrix and Design Decision Corpus Specification
PLDST 前二十六篇已完成理論地基、方法論、設計師個案及跨設計師比較。若這些成果仍只存在於長篇文章中，PLDST 雖然可以形成有價值的思想史與設計史研究，卻仍難以支持：
- PLDST-028
PLDST SKILL 技術規格：資料搜尋、決策抽取與風格判定
PLDST SKILL Technical Specification: Source Search, Design-Decision Extraction, and Style Assessment
PLDST-027 已把程式語言設計師風格研究轉成十八軸評估矩陣、Design Decision Record（DDR）、來源分級、證據片段、時間切片、版本與溯源規格。下一個問題不是再增加一篇人物分析，而是：
- PLDST-029
AI 模擬程式語言設計師風格：混合、轉譯與失真問題
AI Simulation of Programming-Language Designer Styles: Mixing, Translation, and Distortion
大型語言模型已能依角色名稱、人物描述、對話記憶與檢索資料，生成具有某種穩定語氣、價值傾向與行為方式的回答。近年的角色扮演研究也從單純語言模仿逐步轉向人格圖譜、長期記憶、視角邊界、動態一致性與內部角色表示。然而，程式語言設計師風格並不等於一般角色性格。
- PLDST-030
程式語言設計師風格譜系總論：設計自由、複雜度與代價
A General Theory of Programming Language Designer Styles: Design Freedom, Complexity, and Cost
程式語言設計史通常以範式、語法、型別系統、執行模型與著名語言為主線。這些分類可以說明一門語言「具有什麼」，卻較難回答另一組問題：
CCP / 17
計算機概念產品系列
運算架構的概念產品提案：光學、立體運算、拓撲約束、電源與熱管理。每篇都標明證據狀態，提出的效益是待驗證假說而非既成性能。
- CCP-01
分布式自適應近負載供電架構
現代 CPU、GPU、AI 加速器與高頻寬記憶體的供電問題，已不只是提供足夠平均瓦數，而是要在極低電壓、極高電流與快速負載變化下維持電壓完整性。當負載電流於短時間內急遽變化時，電壓調節器無法單獨即時補足全部電流；供電網路必須依賴晶片內、封裝內、主板級去耦電容，以及不同層級調節器共同承擔。若功率傳輸路徑的等效電阻、電感或諧振過高，即使整體 PSU 額定功率充足，負載端仍可能發生電壓下陷、過衝、時脈降頻、錯誤或系統失穩。
- CCP-02
立體運算的設計空間
計算硬體正在從單一大型裸晶，轉向 chiplet、2.5D、3DIC、HBM、晶圓級處理器與模組化加速系統。這種轉變並不表示平面設計已經消失，而是表示「平面」與「立體」不再是二元對立：現代系統通常同時包含平面電晶體層、垂直互連、封裝內異質晶粒、板級模組與機箱級網路。空間幾何因而成為跨尺度系統技術協同最佳化的一部分。
- CCP-03
拓撲約束執行引擎 v2.0
現代計算系統已不再是單一 CPU 上的線性指令序列。機器學習模型、資料庫查詢、圖分析、科學計算、編譯工作流與分散式服務，通常以有向無環圖、控制流圖、資料流圖、稀疏張量、超圖、狀態機或多階段管線表示；執行資源也同時包含 CPU、GPU、NPU、DPU、chiplet、近端與遠端記憶體、CXL 資源池、可重構資料流陣列、光子或物理計算後端。真正的最佳化問題不只是「把某個 kernel 跑得更快」，而是決定：哪一種等價…
- CCP-04
拓撲導向物質生成系統：多尺度幾何約束、自組裝與時間編程的製造架構
本文提出拓撲導向物質生成系統（Topology-Guided Material Synthesis System, TGMSS），一個將幾何模板、定向自組裝、材料沉積、時間程序、逆向設計與閉環量測整合為單一製程圖的研究架構。其核心命題不是「用幾何取消物理極限」，也不是「讓原子在虛空中自動坍縮成任意器件」，而是：藉由可設計的邊界條件、界面化學、局部場、材料供應與時間順序，縮小物質演化的可達狀態集合，使目標結構在統計…
- CCP-05
空間解耦模組運算架構
先進運算系統正同時面臨四種耦合壓力：運算與記憶體頻寬需求增加、封裝內互連密度提高、功率傳輸路徑縮短，以及局部熱通量與系統維護複雜度上升。2.5D、3DIC、hybrid bonding 與 chiplet 技術已證明，異質元件可以透過先進封裝在更小距離內整合；但整合密度提高並不自動解決熱、翹曲、供電、測試與良率問題。相反地，系統技術協同最佳化必須同時決定裸晶分割、互連介面、功率傳輸、熱路徑、封裝、冷卻與軟體映射。
- CCP-06
從逐點掃描到體積光場：超精密 3D 列印、體積式增材製造與 AOCLS 的真正分工
「超精密 3D 列印能否取代 AOCLS」並不是一個適當的技術問題。它把多種彼此差異極大的製程都壓縮成單一的「3D 列印」，又把仍屬架構提案的 AOCLS 當成已經完成的單一製造設備。更重要的是，近年的技術發展已經打破「3D 列印必然逐點或逐層」的二分法：雙光子聚合正在透過多焦點、投影與連續掃描提高並行度；計算軸向光刻、斷層體積式增材製造、全像體積式製造與 2026 年出現的亞秒級體積光場方法，則已能在整個感光體…
- CCP-07
萬物皆 AI v2.0：關係—形態動力計算與液態可重構介質研究綱領
Everything Can Compute? Relational Morphodynamic Computing and Liquid Reconfigurable Media Research Agenda
本文重構「萬物皆 AI」命題，提出關係—形態動力計算（Relational Morphodynamic Computing, RMC）研究綱領，以及其液態分支——液態關係拓撲計算（Liquid Relational Topology Computing, LRTC）。新版不再把「所有物理過程都是人工智慧」「智能是任意高連接密度的必然結果」或「物質在特定拓撲下必然產生意識」視為已證明結論，而是把原始宣言拆分為可以分…
- CCP-08
錐形相位光學平台：從軸錐透鏡、Bessel–Gauss 光束到可程式化延伸焦域
本文提出錐形相位光學平台（Conical Phase Optics Platform, CPOP），將折射式軸錐透鏡、繞射式 axicon、空間光調變器、數位微鏡元件、液態可調軸錐、微型 axicon、meta-axicon、複合透鏡組、波前量測與閉環校準整合為一個可程式化結構光場平台。本文不是宣稱發明 axicon。軸錐光學元件自 1954 年即已被系統研究，其基本作用是把入射波前轉換為錐形波，使有限孔徑光束在…
- CCP-09
AetherGlass–LaserCPU v2.0：三維玻璃光子與異質光電運算研究議程
本文提出 AetherGlass–LaserCPU v2.0，一套由三維玻璃光子承載層與異質光電處理器構成的長期研究議程。AetherGlass 不被視為全光學通用電腦，而被定義為可在透明材料內形成三維波導、耦合器、干涉器、延遲線、多模變換介質、感測結構與長期資料層的空間化光子平台。LaserCPU 不被定義為以雷射閘全面取代 CMOS 的處理器，而被定義為由電子控制與記憶、光子互連、光子線性代數、選配光學非線性…
- CCP-10
AOCLS 虛擬光刻模擬引擎：物理約束神經算子、格點收斂與拓撲驗證框架
本文提出 AOCLS 虛擬光刻模擬引擎的第二版架構。其目標不是以神經網路取代所有高保真數值求解器，而是在 AOCLS「觀察—理解—模擬—製造—驗證」閉環中，建立一個具備物理約束、跨格點檢驗、拓撲保真與不確定性輸出的快速代理模擬層。
- CCP-11
AOCLS 觀察導向閉環製造平台：多模態量測、不確定性數位雙生與可驗證逆向製造
本文提出 AOCLS 第二版架構，將原始的 AI-driven Observation-based Conical Lithography System 重新定義為 AI-assisted Observation-guided Closed-Loop Synthesis，中文名稱為人工智慧輔助觀察導向閉環製造平台。此調整保留「觀察作為製造入口」與錐形相位光學的原始構想，但不再把 AOCLS 限縮為單一錐形透鏡，也…
- CCP-12
BioSynth v2.0：生物—合成共生介面與閉環認知輔助研究議程
BioSynth v2.0: Biological–Synthetic Symbiotic Interface and Closed-Loop Cognitive Assistance Research Agenda
本文提出 BioSynth v2.0，一套面向長期人機協作的生物—合成共生介面研究議程。其目標不是宣稱人類意識可與人工智慧直接融合，也不是把人體視為可免費徵用的分散式運算資源，而是研究：如何在可撤回同意、用途限制、訊號不確定性、生物相容性、臨床風險與硬體安全約束下，建立從生理量測、神經訊號解碼、外部認知輔助到限定式閉環調節的分層系統。
- CCP-13
DEO-SynCore：預測式離散運作包絡控制
現代處理器的運作狀態不是單一頻率參數，而是電壓、時脈、啟用核心、微架構資源、快取與記憶體狀態、封裝功率、局部溫度、冷卻能力及可靠度壓力共同形成的多維決策。既有動態電壓與頻率調整技術已能以 P-state、硬體自主管理或抽象效能提示在多個工作點之間轉換，因此真正未解的問題不是「頻率應不應離散」，而是：系統能否把這些工作點組織成少量可認證、可解釋、可預測切換且具有安全邊界的運作包絡，並與作業系統、應用程式、供電與冷卻…
- CCP-14
DryCore 模組化熱管理與氣候控制架構
高性能 CPU、GPU、AI 加速器、記憶體與電源模組的熱管理問題，不能只用單一「瓦數」衡量。晶片熱通量、熱源面積、封裝熱阻、冷卻介質溫度、污染累積、噪音、露點、材料相容性、液路可靠度與服務維護共同決定系統能否長時間維持性能。當運算模組走向高密度封裝、立體堆疊與模組化互連時，傳統「在熱源上堆更大的風冷器」將逐漸失去可擴展性，但液冷本身也引入接頭、腐蝕、過濾、壓力、冷凝與漏液風險。
- CCP-15
O-Chip：意圖—決策—執行解耦運算架構
現代異質運算系統同時包含通用 CPU、效率核心、GPU、NPU、記憶體控制器、網路與儲存加速器、功率管理單元及多層軟體。每一層都做出部分決策：CPU 微架構預測下一條控制流；硬體回饋介面描述核心能力；作業系統決定執行緒放置；執行期建立任務依賴；應用程式知道即將到來的幀、批次或服務期限；電源與冷卻控制器掌握可用功率及熱容量。問題不在於「決策與執行從未分離」，而在於這些決策缺乏共同語義、時間尺度與可驗證協議，導致局部…
- CCP-16
SynCore v2.1：可重構融合—流動運算架構
本文提出 SynCore v2.1，一種將可組合單執行緒資源、數位資料流加速、物理耦合振盪運算、精確狀態提交與跨層控制納入同一系統的異質運算架構。此版本不是對「多個核心可以無條件融合成數倍單核效能」的再次宣告，也不把 Kuramoto 同步視為可替代一切布林運算的宇宙原生計算。它重新界定 SynCore 的研究問題：
- CCP-17
SynCore v1.1：可組合核心融合的研究起源
本文重構 SynCore 最初的研究問題：當一個晶片擁有多個物理核心，而關鍵工作負載仍受單執行緒依賴鏈、分支、記憶體延遲或軟體遺產限制時，能否讓部分原本獨立的核心資源，暫時組成一個較大的邏輯執行域，以提高單執行緒性能或降低完成相同工作的能耗？
STDI / 12
時空域支配智能
從單體具身智能延伸出的類未來 AI 概念產品：AI 如何在被明確授權、空間有限、時間持續的物理域中維持世界模型、權限與證據鏈。
- STDI-01
時空間支配型 AI
現有具身人工智能研究通常將「身體」理解為一台機器人、一組感測器與執行器，或一群可以分工協作的移動代理。自主實驗室則進一步將人工智能、機器人、自動化儀器、材料與量測流程組合成實驗閉環，使系統能在有限問題空間中提出條件、執行操作、分析結果並選擇下一輪實驗。這些成果已證明，AI 可以控制物理或計算實驗，移動機器人也能在既有實驗室中操作多種設備。然而，現有系統大多仍是針對狹窄研究任務、少數工具與特定流程建立的客製化閉環；…
- STDI-02
超靈的物理化
《時空間支配型 AI》已提出，一個高階人工智能的身體不必等於單一機器人，而可以由固定站、移動站、儀器、感測器、算力、材料庫與人類協作者共同構成。本文進一步處理其中最核心、也最容易被含糊帶過的問題：
- STDI-03
Oversoul Station Fabric
前兩篇已提出，時空域支配智能不是一個 AI 加上多台機器人，而是一個具有持續治理核心、共享世界模型、權限租約、地方安全與證據責任鏈的分布式具身主體。然而，若沒有一個可部署的站點架構，「分布式身體」仍只是哲學描述：不同機器人、儀器、感測器、模擬器與遠端服務如何被發現？如何描述能力？如何進入共同世界模型？如何接收任務？如何完成跨站交接？如何在斷線、時序不一致或設備故障時安全退化？如何判定一個虛擬模型、遠端實驗室或人類…
- STDI-04
持續性指揮控制區
前序論文已建立時空域支配智能、超靈的多身體治理，以及由固定站、移動站、儀器站與虛擬站構成的 Oversoul Station Fabric。然而，站點能被連接、註冊與調度，仍不代表人工智能真正「持續佔據」了一個物理域。一般自動化系統可以完成任務後退出；一般機器人可以關機後失去任務脈絡；一般雲端代理也可能只在收到請求時短暫存在。對跨日實驗、長週期材料處理、遠端基地、夜間無人研究室或多站點工程而言，真正困難的是：
- STDI-05
語義即物理路由
SFRSN「語義即路由」原本處理 AI 資料中心中的資料流：權重、KV cache、activation、控制訊號與安全狀態，不應只依地址和拓撲搬運，而應依其任務角色、時限、重用概率、一致性與安全需求，被編譯至不同記憶層、通道、功率和執行單元。本文將這個命題尺度遷移至具身研究與物理時空域，提出：
- STDI-06
具身即佔域，對齊即能力
分布式具身系統最容易產生的錯覺，是把站點數量、機器人數量、儀器數量或標稱吞吐量直接相加，並將其宣稱為系統能力。若一個實驗室新增十台機器人、二十個感測器和五個量測站，表面上似乎獲得數十倍具身能力；但這些節點可能共享同一條通道、同一個交接區、同一套工具、同一個電力峰值、同一名人工批准者、同一個樣本批次，或必須在狹窄時間窗中共同到位。其真實能力不由「有多少節點」決定，而由「多少節點、物料、工具、能源、權限、世界狀態和證…
- STDI-07
中央主權、地方自治與動態不動點中央
時空域支配智能必須同時解決兩個看似矛盾的要求。第一，跨站點研究、物料保管、能源分配、世界狀態和責任提交需要一個能做出全局決策的治理中心；第二，任何中央智能都不應越過地方站點的硬體互鎖、即時安全、現場感知與合法作用邊界。若中央過強，系統容易形成高延遲、單點失效、權限過度集中與遠端錯誤放大；若地方過強，則可能出現目標分裂、重複執行、樣本保管衝突、資源爭用、分裂腦與責任無法歸屬。
- STDI-08
連線不是纜線
分布式具身智能常被想像成「中央 AI 透過網路控制許多機器」。這種描述容易將網路視為透明、連續且同質的管道，彷彿只要設備具有 IP 位址、無線訊號或某條纜線，就能承擔相同的控制責任。然而，物理站網中的通訊條件高度異質：本地馬達與安全互鎖需要微秒至毫秒級的確定性；跨站樣本交接需要有界延遲、時間同步與高可靠度；移動機器人需要可漫遊的無線連線；顯微影像與模型檔案可能需要高吞吐光學或有線鏈路；遠端、深海、軌道或災害環境則…
- STDI-09
站點化世界模型
時空域支配智能若要跨越多個固定站、移動站、儀器、虛擬模型與人類參與者持續行動，必須共享某種「世界」。但這個世界不能只是一張三維地圖、一份設備資料庫、一個數位孿生、一段模型記憶，或一個可以生成未來影片的神經網路。三維地圖知道物體位於何處，卻不一定知道其保管者、危險性與可執行動作；設備資料庫知道機器規格，卻不一定知道它是否正在被使用、是否已校準或是否因人類進入而失去作用權；數位孿生可以模擬設備和製程，卻不應被直接視為…
- STDI-10
具身化 AI 自主研究閉環
前九篇已建立一個持續性超靈如何取得多個身體、組織站點網、維持物理時空域、編譯物料與能源流、計算對齊容量、分配中央與地方權限、跨越異質鏈路，並維護可區分觀測、推論、模擬和提交狀態的共同世界模型。本文將這些元件第一次閉合成完整研究系統，提出 EARC｜Embodied Autonomous Research Cycle（具身化 AI 自主研究循環）。
- STDI-11
異常即入口
具身化 AI 自主研究閉環若只會選擇下一個最佳實驗、提高目標函數或重複成功程序，最終容易形成一個高速但封閉的最佳化機器。真正的研究系統必須能處理那些不符合預期、無法被既有類別解釋、破壞模型假設，甚至無法立即判斷是「新現象」還是「設備壞掉」的事件。
- STDI-12
安全憲法即運行時
具身 AI、分布式機器人和自主研究系統常以「安全政策」「倫理原則」「禁止事項」描述安全，但文字原則若不能在物理命令真正進入致動器之前被檢查、限制、替換或否決，就只是設計文件，而不是安全機制。對時空域支配智能而言，中央超靈可能產生高階計畫，地方 Agent 可能進行路徑和工具調整，生成式模型可能提出新實驗，遠端站點可能在斷線時依任務包繼續運行；安全不能只依賴每個智能體都「理解並願意遵守」共同原則。