← Archive
lm-005207 · 2026-11

EML-FCRPC Paper 08|概念產品驗證與發展路線:證據分級、可證偽基準、工程風險與產品化決策

下載 MD 檔 ⬇
title
EML-FCRPC Paper 08|概念產品驗證與發展路線:證據分級、可證偽基準、工程風險與產品化決策
english_title
Falsification, Benchmarks, Evidence, and Product Roadmap for Field-Container and Reconfigurable Physical Computing
series
EveMissLab Field-Container and Reconfigurable Physical Computing
series_abbreviation
EML-FCRPC
paper
08 / Series Closure, Falsification and Development Roadmap
version
0.1
date
2026-10-22
status
Public-facing research draft; not yet published, submitted or peer reviewed
author
Neo.K
research_assistance
Aletheia (AI-assisted synthesis, source checking and drafting)
institution
EveMissLab/一言諾科技有限公司,台灣
document_class
Research Agenda / Engineering Concept / Falsifiable Evaluation Protocol (R/E/T)
evidence_level
E0 for the integrated EML-FCRPC series; no dedicated prototype tests or physical results are claimed in this paper
language
zh-TW
canonical_format
UTF-8 Markdown; LaTeX delimiters limited to $...$ and $$...$$
license
Undecided; explicit author approval required before publication

EML-FCRPC Paper 08

概念產品驗證與發展路線

證據分級、可證偽基準、工程風險與產品化決策:場容器與可重構物理計算公開子系列的閉合篇

Falsification, Benchmarks, Evidence, and Product Roadmap for Field-Container and Reconfigurable Physical Computing

研究與證據聲明:本文是公開概念產品系列 Paper 00–08 的研究閉合稿,不是 EveMissLab 已完成外部光學計算機、聲光場容器、奈米 AI 邏輯單元、FPAA 原型、跨介質編譯器或新型通用運算硬體的驗收文件。本文定義將來如何蒐集、分級、比較與否證證據。除可明確追溯的既有數學原理及外部已發表實驗外,所有驗收門檻、資料結構、配置範例及產品路線皆為提案,不可倒寫成已執行成果。

關鍵詞:場容器;外部物理計算;三維格子;DNGP;光子計算;聲光耦合;可重構類比電路;FPAA;拓樸組合計算;物理儲備池;TCE;GCCFT;FCR-IR;FCEI;AI 控制;可證偽;可重現研究;證據分級;效能度量;安全聯鎖;產品發展路線。

作者: Neo.K
機構: EveMissLab/一言諾科技有限公司,台灣
日期: 2026-10-22
版本: 0.1


摘要

EML-FCRPC 系列提出一個長期但可逐步檢驗的概念:中央電子/AI 系統不必負責每一項物理轉換,而可將具有明確任務契約的部分計算工作配置到外部光學場、聲光調控介質、可重構類比電路或可組合實體邏輯單元,再透過受控輸入、物理演化、感測讀出、獨立驗證與結果採納,形成一套異質物理計算系統。DNGP 的三維格子與體素表示可以為人與 AI 提供操作介面;TCE、GCCFT 與相關全域計算研究則提供部分語義、動態耦合和映射的理論背景。然而,可被展示的立體畫面不是物理計算;兩束光交叉不是天然邏輯閘;改變實體位置不是必然改變運算拓樸;AI 規劃不是安全授權;模擬通過更不能充當實測驗收。

本篇把 Paper 00–07 的研究假說整理成可追溯的主張—基準—測試—原始資料—判決—失敗處置體系,建立全系列一致的 E0–E5 證據分級、任務類型與後端能力矩陣、對照與消融實驗、全系統成本模型、物理安全及權限閘門、版本化研究回執,以及從純軟體驗證到受控實體原型的分階段決策。特別規定同一任務的輸入域、輸出與容差必須事先凍結,不能用不同後端各自擅長的指標拼裝成虛假的優勢;任何未知物理結果、校準失效、缺失原始量測、版本衝突或不符合設備安全條件,都可合法導致拒絕、回退、降級或停止研究。

本篇提出的第一個近期閉環不是製作自由空間雷射運算盒,而是透過可公開重現的 DNGP/簡化 JSON 任務、規則式 FCR-IR 編譯、數位參照解、SPICE/ODE 類比模擬、明確拒絕與獨立比較,證明跨介質任務與結果可以被一致地描述、調度、驗證及保留陰性證據。之後只有在可控制性、可觀測性、全系統成本、安全和獨立重現均達標的限定任務上,才考慮受控低風險實體實驗,以及更遠期的光學、聲光、群集與可重組介質。本文不承諾通用加速、不預設超越傳統可計算性,也不把 E0 架構構想誤寫為已完成產品。

本文的閉合原則:研究可以具有長遠目標,但每一次能力升級都必須由下一個可檢驗的證據授權;失敗、拒絕與留在數位後端,同樣可以是嚴格而有價值的研究結論。


0. 問題:概念系列如何在沒有先建造未來機器的情況下,仍具有工程價值?

0.1 兩種常見的錯誤閉合

敘事閉合是先畫出一台看似完整的未來機器,再把各個尚未證實的部分依次敘述為已存在的技術。它能產生有說服力的概念影片,卻不能建立可驗證系統。

實驗閉合則相反:先將一項極小的原理實驗宣稱為整體架構的成功。例如把 RC 電路的高通/低通切換,直接稱為「全域物理計算機已完成」,便跨越了大量尚未驗證的控制、接口、觀測和部署問題。

本系列拒絕以上兩種錯誤閉合。Paper 08 所做的是研究契約閉合:每個合理可檢驗的主張都具有測試方式、明確反例、證據等級和停止條件。閉合的是「如何知道」,而非宣稱「已經做到」。

0.2 原型的三種意義

  1. 表示原型:可讓使用者移動 3D 格子、連結節點、展開語義深度,且不意外變更來源正典。
  2. 計算原型:把具體輸入編碼至受控模型或物理基板,得到符合任務契約的輸出,並由獨立參照驗證。
  3. 產品原型:加入穩定部署、工作流程、復原能力、使用者價值、成本、安全及維護責任。

三者可逐次承接,但不能以第一種的成功取代第二種,更不能以一次實驗取代第三種。

0.3 為何從軟體和類比基準開始?

低通、高通 RC 網路、固定與可切換拓樸、布林連線網路及有限波動模型,都有清楚的數學參照、廉價且容易比較的軟體工具。它們可以提早暴露來源版本、單位、時間、有效拓樸、讀出和權限錯誤。若這些簡單問題都不能被正確處理,沒有理由讓相同系統進入更昂貴且可能具有風險的光學或機械實體裝置。

0.4 必須先區分「新技術」與「新組合」

本系列的多項基礎技術是既有研究,包括光學干涉、光子神經網路、聲光調變、模組式機器人、機械邏輯、FPAA、跨後端編譯與圖重寫。EveMissLab 的新提案在於共享的結構語義、外部場運算接口、跨介質能力映射、中央 AI 限權調度、結果證據與可停止的研究路線。哪些組合真正具有專業上可辨識的新穎性,仍須依先前研究、專利與實作證據逐一評估。


1. 九篇系列的職責與不得跨越的主張邊界

1.1 研究族譜與現有理論

作者既有的 AetherGlass–LaserCPU v2.0 提供光電異質承載與校準研究;RMC/LRTC 提供物理計算介質與形態—關係動力學的研究路線;TCE v2.0 處理合法拓樸重寫、需求導向局部執行及硬體資源映射;GCCFT 形式化有限活動域、局部狀態、相位與耦合;GCM/GCCWT 處理異質資源及時間—因果背景;DNGP 提供 ProgramUnit、Relation、Interior、受控投影及 Agent-Native 互動界面。

這些系統不是同一套正典物件的不同名稱。Paper 08 無權改寫各自來源的定義,也不把其歷史中的 E0 提案宣稱成已完成硬體成果。

1.2 本系列完整索引

篇次 公開研究題目 新增的主要契約 待證明的核心問題 禁止冒稱
00 場容器與外部物理計算 Field Container / Task / Readout 外部場域何時構成有效計算後端? 只要投影出盒子就能運算
01 三維格子與體素位元 Spatial Projection / Program Identity 操作性空間表示能否保持來源身份及語義? 畫面體素天然等於物理位元
02 外部場容器與中央計算機 FCEI / Boundary / Observation 中央控制與物理作用能否被可靠分離? 發射、觀察等於物理計算成功
03 三維光場邏輯計算 FCEI-Optical 特定光場是否能穩定實現任務函數? 光束交叉即為通用邏輯閘
04 聲光耦合與動態場容器 FCEI-AO 聲場能否增加受控光場的有效功能? 可偏轉光便可實作任意邏輯
05 拓樸組合計算機 FCEI-TC 有效物理連接和重組如何改變輸入輸出? 任何位置改變即拓樸計算
06 可重構類比計算原型 FCEI-Analog / Netlist 同元件組的切換能否被模擬、量測和對照? RC 經典原理是新物理發現
07 AI 原生跨介質計算編譯器 FCR-IR / Capability / Fallback 不同後端能否依同一任務與證據契約受控路由? AI 規劃就是安全執行或成功
08 可證偽與產品路線閉合 Claim / Evidence / Gate / Roadmap 什麼證據足以支持升級、暫停或淘汰? 一篇路線圖等於產品已完成

1.3 共用但不可合併的責任

  • Source:DNGP 或其他正式來源的正典程式狀態;source_revision 與內容摘要是權威參照。
  • Plan:TCE/FCR-IR 所選的合法候選運算及目標後端;不是實體現況。
  • Physical Configuration:實際裝置的可量測狀態;可與計畫不一致。
  • Execution:是否發生過特定物理或模擬轉換;不可從 UI 動畫推論。
  • Observation:原始感測器或模擬器輸出;尚未必然有任務意義。
  • Verification:以事先規定的解碼器和接受規則檢查結果。
  • Adoption:權限所有者決定是否使用驗證結果;不自動修改來源正典。

1.4 系列閉合圖

                         SOURCE / PROGRAM
                          DNGP / Task JSON
                                 |
                             TaskContract
                                 |
                            TCE + GCCFT
                                 |
                    FCR-IR Candidate / Gates
                                 |
                          Backend Selection
                      +----------+----------+
                      |          |          |
                   Digital    Analog      Exploratory
                   CPU/ODE    SPICE       Optical/AO/TC
                      |          |          |
                      +----------+----------+
                                 |
                     FCEI Observation / Receipts
                                 |
                           Independent Verify
                                 |
                          E0–E5 Evidence Ledger
                                 |
                   ADOPT / CONTINUE / DOWNGRADE / STOP

右側的探索後端在近期可能只具 simulation_only、reject_only 或 not_supported 能力;框圖本身不是實際部署聲明。


2. 統一研究對象:主張、實驗、回執與權限

2.1 一項主張不等於一句願景

定義研究主張:

Ci=(si,di,bi,mi,τi,fi,ei),C_i=(s_i,d_i,b_i,m_i,\tau_i,f_i,e_i),

其中 sis_i 是可觀察的陳述、 did_i 是任務與輸入域、 bib_i 是比較基線、 mim_i 是量測方法、 τi\tau_i 是事前接受/拒絕條件、 fif_i 是明確反例或失敗條件、 eie_i 是證據連結。任何欄位沒有定義,只能保留為願景或待釐清問題,不得提升為已經驗證的性能主張。

例如:「物理拓樸改變了函數」若僅由圖像展示支持,至多成立展示敘述;若限定相同兩個元件、固定元件參數與量測方法,檢查兩種接線下的傳遞函數,才形成具有判定能力的工程主張。

2.2 實驗單元

以一個有限試驗定義:

Xj=(Ci,Dj,Rj,Bj,Pj,Yj,Vj),X_j=(C_i,\mathcal D_j,R_j,B_j,P_j,Y_j,V_j),

其中 Dj\mathcal D_j 是封存的資料/任務集合, RjR_j 是資源與時間限制, BjB_j 是候選後端及基線, PjP_j 是已凍結的程序與參數, YjY_j 是真正輸出, VjV_j 是驗證結果。若尚未執行,則 YjY_j 與 VjV_j 不存在,不應由作者預先填入 PASS。

2.3 不同類型的證據不可互相替代

內容 可支持的主張 不足以支持的主張
手工計算與解析式 有限數學模型的一致性 實體功耗或裝置穩定度
UI 截圖/互動影片 視圖、操作與可用性 正典身份正確或實體計算
JSON schema/單元測試 介面語法與局部不變量 真實設備在危險條件下安全
SPICE/ODE 輸出 模型假設下的數值與網表行為 物理元件誤差與壽命
原始感測波形 有一組可量測現象 任務正確率及結果已被採納
第三方重現報告 指定條件下有跨組織可重現證據 所有後端、所有場域皆通用
產品使用者回饋 真實工作流程與需求 新物理機制已被證明

2.4 雙重帳本:研究進度與證據成熟度

專案可能完成九篇論文的「文件進度」100%,但概念物理裝置仍是 E0。反之,一份簡短研究報告也可能附有充分 E3 實體實驗資料。文件完成度、工程成熟度及證據等級須存放在不同欄位。

2.5 身分與版本規則

推薦每一份主要物件至少具有:claim_id、study_id、task_revision、source_digest、candidate_id、configuration_revision、execution_id、observation_digest、verifier_revision、adoption_id。其中不存在的物件應標記 null,不能把共用的 experiment_id 充當所有物件的唯一身份。

2.6 研究界線與誠實的未知

有意義的結論包括:SUPPORTED_WITHIN_SCOPE、REFUTED_WITHIN_SCOPE、INCONCLUSIVE、NOT_RUN、UNSAFE_TO_TEST、OUT_OF_SCOPE。這與運行時的 PASS、FAIL、INDETERMINATE 屬不同判決層:一次試驗 FAIL,可能是理論錯、配置錯、資料錯或儀器錯;只有透過事前定義才能決定它是否構成對研究假說的反證。


3. E0–E5 證據制度:不要讓某篇 E3 轉帳給整個系列

3.1 分級是本系列內部研究治理規則

這裡沿用 Paper 00–07 的 E0–E5,不是宣稱 IEC、NIST 或學術界制定了完全相同的認證標準。它是為了約束研究敘述與對外產品文字而建立的文件規格。

等級 最低實質要求 可合理主張 不可由此主張
E0 概念與待證假說 研究問題、範圍、架構、反例與待測清單 有可討論、可測試的研究提案 已完成可執行程式、物理功能或效能
E1 形式與契約驗證 可解析 schema、型別/單位/權限規則、有限證明或規格測試 某些接口與不變量在指定模型下成立 全系統正確、可部署或硬體已完成
E2 可重現軟體實驗 真正可執行程式、凍結輸入、版本、原始輸出、重現命令及獨立比對 指定軟體模型/後端的可重現結果 真正三維光盒、聲光裝置或奈米群已實測
E3 受控物理原型 實際裝置、合格安全程序、校準、原始資料、對照與實驗日誌 某個指定物理功能在限定條件下獲測 商業可靠性、長期穩定與普遍性能
E4 跨條件實體重現 多批次/設備/操作情境、失效注入、統計不確定度與完整成本 某功能在較廣但明示的域內具可重複性 所有任務/所有環境下有效
E5 公開獨立重現與審查 可供外部研究者取得資料/重現材料,有獨立結果與差異紀錄 所指定主張已通過某範圍的外部驗證 產品普遍最優、超越現有物理或可計算性

3.2 等級必須綁定具體主張,而非文件名

例如 C06-RC-LP-HP 可能在軟體驗證達 E2,而 C04-AO-LOGIC 仍是 E0。不能因兩者同屬 EML-FCRPC 就將聲光後端標成 E2。整合命題只有在整合鏈自身具有證據時才可升級。

3.3 外部文獻的證據歸屬

2026 年的三維玻璃光子神經網路論文、自由空間光學邏輯,以及早期聲光調制和機械可重構邏輯,均可作為各自技術存在的可靠參考,但其樣品、實驗團隊、工藝參數和結論範圍屬於原研究。引用它們不能使 EveMissLab 自行提出的場容器系統從 E0 直接變成 E3。

3.4 升級規則

一項主張只能依其自身證據升級。推薦最低條件:

  1. 先核對主張是否可被觀察及否證;
  2. 審查所引用的執行物件與輸入是否真正存在;
  3. 由另一個可檢查驗證過程重算判決;
  4. 明確指出適用域、無法支援的外推與剩餘風險;
  5. 若使用者、裝置或環境改變,升級只能維持在可轉移的部分。

3.5 降級與撤回

出現原始資料與報告不符、所稱物理測試實為模擬、重現失敗揭露根本問題、校準不適用或引用撤回時,必須修訂證據等級、保留歷史與發布更正。失敗不必刪除論文,卻必須降低不再成立的主張強度。

3.6 示範狀態(2026-10-22)

截至本篇撰寫,本系列新增的整合概念與 FCR-IR/FCEI 設計按 E0 管理;已有相關研究文獻及作者另行完成的 DNGP 部分本地工作,但沒有在本篇獨立核對並執行完整 FCRPC 新後端測試。不得從 GitHub 文件數、模型推導或本稿長度推定 E1–E5 已通過。


4. 全系列主張帳本:每篇至少一項可否證研究命題

4.1 主張帳本的第一原則

同一篇論文可能包含幾十個設計命題,只有能指定測試程序與反例者才進入主要 ClaimLedger。形而上學或文明願景可保留於背景討論,但不使用 E2 等級掩蓋沒有明確可觀察指標的命題。

4.2 最小跨篇主張矩陣

Claim ID 原始篇次 有限主張 最小前置條件 首輪對照/反例 失敗處置
FCR-00-A 00 同一任務可被外部後端描述與驗證 任務、輸入/輸出、解碼與效果 無讀出或讀出不獨立 不認列為計算
FCR-00-B 00 外部化可區分中央與基板工作 工作分工及成本量測 中央軟體先算好答案再投影 降為展示/數位計算
FCR-01-A 01 同一 ProgramUnit 在多種 3D 顯示中保持同一身份 canonical ID 與 revision 換視圖後 ID 或關係漂移 修正投影接口
FCR-01-B 01 純顯示移動不改語義或物理配置 區分操作層級 移動格子時產生關係變更 不允許該 UI 編輯模式
FCR-02-A 02 FCEI 能保留中樞與外場的操作邊界 版本、來源、讀出與權限 stale plan 仍可致動 阻止部署
FCR-02-B 02 感測與結果採納可分離 RawObservation / Verdict / Adoption 自動把輸出覆寫成真值 禁止採納
FCR-03-A 03 有限光學模型可形成固定解碼的邏輯輸出 鎖定光學輸入、讀點及噪聲域 只在事後調閾值才正確 否證該解碼方法
FCR-03-B 03 體積/多模式讀出提供獨立資訊 可觀測算子及有效秩 多讀點高度冗餘 降階獨立通道主張
FCR-04-A 04 聲場配置可可重現地改變光學映射 固定光學讀出與聲場基線 只有影像平移而任務不變 限定為路由/顯示
FCR-04-B 04 聲光控制能提高限定任務能力 同光學後端、同總成本 性能不改善或功耗過高 不升級控制功能
FCR-05-A 05 同單元集不同連接可實現不同函數 固定單元數與基礎算子 只調參或視覺移位 不計作拓樸重構
FCR-05-B 05 實體移動的計算收益可補償其成本 量測移動/感測/復原 失聯、不可達或成本大於收益 停止實體化該路線
FCR-06-A 06 同 R/C 集可被配置為高通與低通 相同元件、輸入和負載假設 網表與解析式不一致 停止進階硬體
FCR-06-B 06 動態切換在已定義包絡內可控制 切換事件、狀態讀回和穩定性 切換後狀態未知 禁止運作中切換
FCR-07-A 07 FCR-IR 可將同任務映射至合法後端 型別、單位、容差與效果 缺能力仍被編譯成實體執行 阻擋/降級路由
FCR-07-B 07 AI 候選與權限、量測判決可分離 冷凍規格與獨立驗證 AI 自行改安全門檻或真值 關閉 AI 物理路由
FCR-07-C 07 合法回退不會重複造成現實副作用 冪等、未知結果處理 物理超時後盲重試 拒絕並保留未知
FCR-08-A 08 證據分級可阻止跨層誇大 來源帳本與分級邏輯 引用他人 E3 升級自家 E0 更正對外聲明
FCR-08-B 08 Gate 能避免不成熟硬體投入 預先量化停止條件 無原始資料亦可過 Gate 暫停升級

所有行目前都是待執行實驗或待驗收規格。這是一份研究計畫,不是一份「全部 PASS」的測試報告。

4.3 反證的邏輯範圍

一次實驗只有在明確適用域內具有否證力。某個有限聲光配置無法實作 XOR,不表示物理界所有聲光系統均無法計算;反過來,某個光學系統成功完成 XOR,也不表示任何光學操作皆可變成可級聯通用電腦。

4.4 相互依賴的主張不能重複計為多次證明

若光學計算成果完全依賴中央數位系統先完成布林答案、再用其產生光圖案,該實驗不能同時作為「外部場自主形成結果」與「中央—場運算分離」兩項獨立證據。必須設計遮蔽輸入、物理狀態隔離或消融對照辨識計算真正在哪裡發生。

4.5 新主張必須增量編號

後續版本應允許新增 FCR-04-C 或 FCR-06-C,但已公開 ID 不得指向另一個完全不同的命題。若核心定義改變,建立新版本與 supersedes 連結,並保留舊版使外部讀者能辨識差異。


5. 正確性優先:統一任務契約與比較空間

5.1 一個可測任務的最小結構

T=(I,O,f,Q,ℓ,ϵ,E),\mathcal T=(\mathcal I,\mathcal O,f,\mathcal Q,\ell,\epsilon,\mathcal E),

其中 I\mathcal I 是輸入域, O\mathcal O 是輸出域, ff 是參照映射或可檢驗約束, Q\mathcal Q 是事前指定的輸入分布, ℓ\ell 是損失函數, ϵ\epsilon 是可接受誤差, E\mathcal E 是容許副作用、倫理/物理運作範圍及安全規則。

單一後端可以用不同的物理編碼,但不得在不變更任務版本的情況下改變 ff 、 Q\mathcal Q 或接受準則;否則不再是同一項可比較任務。

5.2 嚴格語義一致與有限觀測近似

對數位 deterministic reference,有限輸入上的嚴格一致是:

∀x∈D:f^b(x)=f(x),\forall x\in\mathcal D:\quad \hat f_b(x)=f(x),

對類比/光學等具有噪聲與有限精度的後端,適當定義的是受指定誤差約束的觀測近似:

Lb=Ex∼Q[ℓ(f^b(x),f(x))]≤ϵ.L_b=\mathbb E_{x\sim\mathcal Q}\left[\ell(\hat f_b(x),f(x))\right]\leq\epsilon.

但只檢查平均損失仍可能掩蓋極端失敗。對需要可靠度的應用,還必須測量失敗率、拒絕率、尾端誤差與極端輸入情境。

5.3 被拒絕的任務必須計入可用性

假設某種後端只接受最容易的輸入,剩餘輸入全數 INDETERMINATE,便不能只計算已接受樣本的正確率。建議同時記錄:

Paccept=NacceptedNeligible,P_{\mathrm{accept}}=\frac{N_{\mathrm{accepted}}}{N_{\mathrm{eligible}}}, Pcorrect∣accept=Ncorrect and acceptedNaccepted,P_{\mathrm{correct}\mid\mathrm{accept}} =\frac{N_{\mathrm{correct\ and\ accepted}}}{N_{\mathrm{accepted}}},

以及總任務成功率:

Psuccess=Ncorrect and acceptedNeligible.P_{\mathrm{success}}=\frac{N_{\mathrm{correct\ and\ accepted}}}{N_{\mathrm{eligible}}}.

分母的 eligible 在試驗開始前按輸入有效性定義;不可在看到結果後移除困難樣本。

5.4 參照實作亦有自己的錯誤

解析式、CPU 浮點求解和 SPICE 不一定彼此完全等價。對數值問題,應建立方程推導、求解方法、離散化、容差與獨立工具交叉核對;當參照值本身不穩定時,應標記 REFERENCE_UNCERTAIN,不應讓權威的名字取代可檢查的數值依據。

5.5 能力支援是部分函數

推薦將合法部署理解為:

μb:T⇀Kb,\mu_b:\mathcal T\rightharpoonup\mathcal K_b,

其中 Kb\mathcal K_b 是後端 bb 可承擔的合格配置集合。\rightharpoonup 代表不是每一個任務都有合法的物理映射。沒有合格後端是預期中的正確答案,不是編譯器缺少想像力。

5.6 禁止以樣本後選擇取代驗證

若研究者觀察完光斑圖、輸出電壓或拓樸網路後才挑選最佳讀點、閾值、時間窗口、樣本群,則與真正事前指定的任務不同。探索階段允許調整,但必須使用獨立確認資料重新驗證;否則只能聲稱探索性適配。


6. 全系列比較基準矩陣:讓每一條路線有自己的陰性對照

6.1 通用基線組

基線 ID 名稱 為何不可省略
B0 解析解/明確數位參照 讓實驗知道「正確答案」或任務容差
B1 固定拓樸/固定配置 分離結構改變是否真正帶來效果
B2 同結構只調參 避免把參數調整誤稱拓樸重組
B3 可重構但無 AI 辨識 AI 搜尋是否具有額外收益
B4 同候選預算的規則/隨機搜尋 防止 AI 使用更多次試驗形成假優勢
B5 數位完成全部計算後直接輸出 識別物理介質是否只是昂貴顯示器
B6 純 UI 投影變化 檢查畫面變化是否被誤認為實際運算
B7 故障、漂移與不確定讀出 檢查失敗時能否安全拒絕

6.2 Paper 01:空間介面組

  • 同一份 ProgramUnit 正典,使用文字/2D Grid/3D Spatial Canvas 三種顯示表示,檢查 identity、relation、interior 與 revision 一致性。
  • 顯示移動、語義連線、物理配置提案各建立隔離測試。
  • 類似 Photoshop 的圖層拉開視圖,不得改變未經授權的圖層像素、混合或遮罩資料。
  • 觀察者視圖 LOD 降低時,不可把 hidden、unknown、unmaterialized 改寫為 canonical absent。
  • 測試手機/桌面/沉浸式設備差異時,座標轉換、尺寸單位與精度必須顯式化。

6.3 Paper 02:外部場域控制組

  • 以 simulation_only 的場模型先驗證 Task、Config、Observation 與 Result 對應。
  • 刻意提交過期配置、未知 source、假校準與缺失原始數據,系統應拒絕或回報未知。
  • 模擬 dispatch 已發生但通訊中斷:不得自動把整個物理操作重試一遍。
  • 用相同任務與解碼器比較「中央全部數位計算」及「外場實際承擔的指定轉換」。
  • 中央 AI 完成的前處理和參照求解要記入工作量,不能全部算作外場貢獻。

6.4 Paper 03:光學運算組

  • 最小級先採用線性傳播或干涉模型,固定光學場編碼、採樣平面、讀點和閾值。
  • 光源相干性、輸入功率漂移、相位噪聲、探測雜訊與讀點誤差要分別處理。
  • 光束交會與光學讀出之間必須有受控映射;單純可見干涉不代表指定布林函數可靠成立。
  • 讀取多個光學模式時,應量測模式間相關及有效資訊秩,避免用相機像素數當作獨立邏輯位元數。
  • 若要宣稱光學非線性,必須區分介質內真正的場—場作用與光電轉換後的電子判定非線性。

6.5 Paper 04:聲光耦合組

  • 固定光學輸入,在聲場關閉、聲場固定、聲場可配置三種條件間做配對比較。
  • 光學偏轉/模態變化與任務輸出性能各自報告。
  • 將聲學建立時間、溫控、致動功耗、校準與維護納入全系統成本。
  • 體積顯示與懸浮微粒展示可作介面實驗,但不得列為已完成光學邏輯運算。
  • 多聲學區域的控制自由度應依可觀測秩、串擾及有效控制頻寬度量,而非理想模擬格點數。

6.6 Paper 05:拓樸實體單元組

  • 固定相同單元種類與數量,檢查兩套合法連接是否造成不同函數族。
  • 固定連接,只改位置或權重,判斷是幾何效應、權重效應還是拓樸效應。
  • 對可移動組件統計移動成功率、連接讀回率、壞接點、失聯及回復時間。
  • AI 參與時,維持相同候選搜尋預算與觀測資訊量,並記錄額外推論成本。
  • 不能由「群體表現出一致運動」直接推定它們具備通用 AI、意識或完整程式計算能力。

6.7 Paper 06:可重構類比組

  • 使用一個 R、一個 C 的低通/高通解析式作為可手算參照;SPICE 和獨立 ODE 作為額外軟體交叉驗證。
  • 兩配置必須保持同一批元件與參照條件,若改變元件值要另設參數對照。
  • 量測幅頻、相頻、暫態、噪聲、切換時間和重新穩定時間。
  • 運作中重接線實驗另需定義保留的電容狀態、聯鎖限制及不可預期暫態處置。
  • 若實體結果與理想模擬不符,先辨識寄生、量測和安全包絡,不能直接改寫理論電路為「通過」。

6.8 Paper 07:跨介質編譯組

  • X07-A:RC 傳遞函數在解析解、CPU 複數數值、SPICE 之間的可比性。
  • X07-B:有限維狀態方程於不同數值解法間的初態、量綱、事件對齊。
  • X07-C:線性光場 profile 應拒絕需要可級聯非線性記憶的任務。
  • X07-D:物理單元圖應拒絕非法端口與未核對的實體接點。
  • 強制注入 STALE_SOURCE、CALIBRATION_EXPIRED、UNSUPPORTED_CAPABILITY、PHYSICAL_OUTCOME_UNKNOWN 等條件,檢查不會自動採納假結果。

6.9 公平比較不得省略的消融

第一,去掉 AI:檢查人類規則或等成本搜尋是否已有同樣表現。

第二,去掉可重構性:確認固定配置在同任務上是否更快、更穩定。

第三,去掉實體外場:如果中央數位機一樣能以更低完整成本完成任務,外場只有研究意義,尚無產品化優勢。

第四,去掉 3D UI:若純文字/2D 界面可以完成相同操作且錯誤更少,3D 介面應先只作選配功能。

第五,去掉複雜驗證器的某些副本只能作研究消融,不能移除實體設備上的安全聯鎖或真實部署所需的核對程序。


7. 指標定義:精度、失敗率、能耗與重配置成本必須有共同分母

7.1 指標不是愈多愈科學

一組指標只有在與主張存在直接可核對的映射時才有用。若研究目標是「正確把源任務轉譯到類比模擬」,首先量測來源/數值一致性、拒絕判準與重現性;若研究目標是「物理場比數位後端更省電」,才必須以完整能源邊界檢驗。本文不把所有指標合成一個不可解釋的「全域算力分數」。

7.2 絕對誤差、相對誤差與尺度無關誤差

給定目標值 yy 與讀出估計 y^\hat y:

Eabs=∣y^−y∣.E_{\mathrm{abs}}=|\hat y-y|.

當 ∣y∣|y| 很小時,相對誤差可能爆炸,因此應事前指定尺度下限 s0>0s_0>0:

Erel=∣y^−y∣max⁡(∣y∣,s0).E_{\mathrm{rel}}=\frac{|\hat y-y|}{\max(|y|,s_0)}.

對多維連續訊號,可採固定尺度的歸一化均方根誤差:

Enrmse=1N∑i=1N(y^i−yisi)2.E_{\mathrm{nrmse}}= \sqrt{\frac{1}{N}\sum_{i=1}^{N} \left(\frac{\hat y_i-y_i}{s_i}\right)^2}.

其中 sis_i 必須在比較前定義,不能在看到不同後端輸出後分別選擇各自有利的尺度。

7.3 頻率響應與複數結果

對 Paper 06 的線性交流電路,應比較複數頻率響應 H(jω)H(j\omega),而不只比較增益圖片。建議同時報告:

  • 複數殘差 ∣H^(jω)−H(jω)∣|\hat H(j\omega)-H(j\omega)| ;
  • 幅值、相位及相位展開規則;
  • 截止頻率附近與兩側頻帶的分段誤差;
  • 單位、採樣頻點、理想/非理想負載及初態;
  • 模擬器解法、容差與實體元件的不確定度。

相位在接近零振幅的點可能沒有穩定意義,需預先指定有效相位區域,不應把數值偶然振盪當成電路現象。

7.4 類比/光學的觀測不確定度

對一般測量 zz,至少區分儀器解析度、校準、重複性、系統漂移、取樣時鐘及環境誤差。可以寫成:

z^=z+bcal+ηrandom+d(t),\hat z=z+b_{\mathrm{cal}}+\eta_{\mathrm{random}}+d(t),

其中 bcalb_{\mathrm{cal}} 是校準偏差, ηrandom\eta_{\mathrm{random}} 是隨機誤差, d(t)d(t) 是時間相關漂移。這是概念性分解;實際測量不應預設各誤差獨立或服從常態分布。若無法估算校準效期,不能直接在 E3 宣稱某數位精度位元數。

7.5 有效可辨識維度不是像素數

對輸入控制向量 uu 與量測向量 yy,局部線性化的靈敏度矩陣可寫為:

J=∂y∂u.J=\frac{\partial y}{\partial u}.

即使光學感測器有大量像素,若 JJ 在受限制噪聲下只有少數可辨識的奇異值,就不能把像素總數當成可獨立寫入/讀取的體素位元數。應在指定訊噪比與控制容差下量測有效秩,再討論有多少獨立可用控制方向。

7.6 完整任務延遲

定義端到端延遲:

Te2e=Tprepare+Tencode+Tconfigure+Tsettle+Texecute+Tread+Tdecode+Tverify+Tadopt.T_{\mathrm{e2e}}= T_{\mathrm{prepare}}+T_{\mathrm{encode}}+T_{\mathrm{configure}}+ T_{\mathrm{settle}}+T_{\mathrm{execute}}+T_{\mathrm{read}}+ T_{\mathrm{decode}}+T_{\mathrm{verify}}+T_{\mathrm{adopt}}.

某些階段可能重疊,因此上式是順序化記帳參考;實際並行系統須依事件追蹤獲得總牆鐘時間,不可把完全重疊階段重複相加,也不能故意只保留最短的光傳播時間。

應同時報告平均值、中位數、尾延遲及逾時率。若採 p95、p99 等統計,須公布樣本數、採樣策略與觀察窗口;過少樣本不能使尾端分位數可靠。

7.7 完整牆插能耗

Ewall=∫t0t1Psystem(t) dt.E_{\mathrm{wall}}=\int_{t_0}^{t_1}P_{\mathrm{system}}(t)\,dt.

其中系統邊界必須涵蓋主控電腦、AI 推論、模擬與編譯、光源與調製、聲學驅動、致動器、傳感器、ADC/DAC、冷卻、儲存、網路、校準與必要的待機功率。不同實驗室可採不同邊界,但比較時必須公開差異並另做同邊界重算。

7.8 每個合格輸出的完整成本

當某後端拒絕大量請求或需多次重試,單次成功樣本的能耗不代表服務效率。定義:

Eper success=∑jEwall,j+EamortizedNverified successful,E_{\mathrm{per\ success}}= \frac{\sum_j E_{\mathrm{wall},j}+E_{\mathrm{amortized}}} {N_{\mathrm{verified\ successful}}},

其中 EamortizedE_{\mathrm{amortized}} 包含明確分攤的校準/預熱/重配置能耗。若分母為零,指標不可報為零;應回報無合格結果及必要的失敗成本。

7.9 有效吞吐與任務品質約束

一種物理載體只有在輸出品質達到相同接受規則時,才可與數位後端比較任務吞吐:

Qvalid=Naccepted correctTwall,total.Q_{\mathrm{valid}}= \frac{N_{\mathrm{accepted\ correct}}}{T_{\mathrm{wall,total}}}.

跨論文直接比較 TOPS、FLOPS 或所謂「每秒光學運算次數」通常不合理:一個光學矩陣變換的等效操作數,不能無條件視為數位處理器同精度、同 I/O、同功能的浮點操作數。

7.10 重配置的攤銷條件

對固定配置方案 FF 與可重構方案 RR,在同一任務集合及允許品質下,考慮:

CR(n)=CR,0+∑k=1n(CR,kexec+CR,kreconf+CR,kverify),C_R(n)=C_{R,0}+\sum_{k=1}^{n}(C_{R,k}^{\mathrm{exec}}+C_{R,k}^{\mathrm{reconf}}+C_{R,k}^{\mathrm{verify}}), CF(n)=CF,0+∑k=1n(CF,kexec+CF,kverify).C_F(n)=C_{F,0}+\sum_{k=1}^{n}(C_{F,k}^{\mathrm{exec}}+C_{F,k}^{\mathrm{verify}}).

此處 CC 需指明是時間、能源、金錢或已正規化的決策成本。只有 CR(n)<CF(n)C_R(n)<C_F(n) 且品質與風險同樣合格,才可說在該任務序列上重配置具有正的整體成本收益。不能把多維成本先以任意權重加總,再宣稱普遍優勢。

7.11 重現性與變異來源

推薦至少將變異分成:輸入樣本、程式版本、隨機種子、實驗日、硬體批次、環境條件、操作員與量測裝置。對同一配置重測 nn 次,應明列哪些因素固定、哪些真正變動;只用同一模擬器同一 seed 重跑 100 次,不能說明跨批次物理可靠度。

7.12 失敗率不能因零次失敗就報為零

若 nn 次獨立且同分布試驗未觀測到失敗,將失敗率說成「實測零風險」仍不成立。在二項假設下,單側信心水準 1−α1-\alpha 的失敗率上限為:

pU=1−α1/n.p_U=1-\alpha^{1/n}.

例如以 α=0.05\alpha=0.05 表示 95% 單側信心水準, n=100n=100 次零失敗只支持失敗率上限約 2.95% 的界,並不表示失敗率為零。這個結論也依賴獨立同分布及試驗代表性的前提;設備漂移或失敗聚集會使簡單二項模型不適用。

7.13 多目標決策與不可被交易的硬性限制

當需要比較候選,可定義正規化加權效用:

J(π)=∑k=1mwk C~k(π),J(\pi)=\sum_{k=1}^{m}w_k\,\widetilde C_k(\pi),

但只有在先滿足安全、正確性、權限、校準、資料可追溯等硬性條件後才可最小化 JJ。不允許用較低延遲抵銷非法權限,或用較低成本抵銷無法解釋的實體危險。

7.14 不確定數值的公開規則

文中標明「設計目標」「解析示例」「文獻值」「模擬輸出」「本計畫量測」五個來源類別。設計目標不是結果;外部論文量測不是本計畫結果;未校準估值不應保留超過其真實意義的有效位數。


8. 決策閘門:從 E0 理論到可運作產品的有條件升級

8.1 Gate 不等於 Evidence Tier

E2 回答證據屬於哪一類;G3 則回答是否滿足某階段的特定准入條件。可以存在一項已完成 E2 模擬,但因外部介面安全架構未完成而仍然不能通過實體部署 Gate。相同地,一套能通過 GUI Gate 的產品不一定具物理演算法證據。

8.2 共用 Gate 0–8

Gate 需求 最低可檢查產物 若不通過
G0:Research Contract 可證偽命題、來源、適用域 ClaimLedger v0.1、文獻清單 保持 E0,澄清研究問題
G1:Semantic Identity 同源身份、型別、權限與投影隔離 DNGP/Task JSON 對照與負測試 不發布可編輯語義介面
G2:Reference Correctness 解析與至少一個獨立數值對照 可重播結果、誤差和版本 不升模擬後端性能主張
G3:FCEI/FCR-IR Contract 合法配置、拒絕、回執與 fallback schema、狀態機與注入測試 保持 simulation_only
G4:Closed-Loop Software 同任務至少兩種後端能被比較 原始輸出、驗證與審計回執 限縮至單後端研究
G5:Physical Safety Readiness 專業安全與設備能力審查 正式危害評估與設備聯鎖證據 禁止物理致動
G6:Controlled Physical Evidence 校準、量測、陰性對照、原始數據 原始感測資料與獨立核對 不提出 E3 實體性能主張
G7:Robustness / Cost 多條件重現與全系統對比 E4 條件矩陣、成本與維護紀錄 不宣布成熟產品
G8:Independent Release 公開可重現材料與外部審查 第三方獨立報告、版本修正 限定為研究樣機/beta

8.3 Gate 通過條件應是邏輯合取而非總分

例如:

G5pass=Shazard∧Aauthority∧Iinterlock∧Ccalibration∧Rrecovery,G5_{\mathrm{pass}}= S_{\mathrm{hazard}}\land A_{\mathrm{authority}}\land I_{\mathrm{interlock}}\land C_{\mathrm{calibration}}\land R_{\mathrm{recovery}},

其中每個子條件皆需要獨立可核對的證據。任何一項為 unknown 或 false,都不能因其他評分漂亮而通過。實體安全 Gate 應由相應能力和資格的人員決定,不交給 AI 自行解鎖。

8.4 Gate 與公開聲明的連動

若目前只有 G0、G1 通過,對外宣傳可稱為「概念/結構介面原型」。若 G2–G4 完成,則可描述為「軟體可重現跨介質基準」。若 G5–G6 的受控物理實驗完成,則只能陳述指定場域和配置;沒有 G7–G8,不能暗示已達商用運作與跨機器普遍可靠度。

8.5 不應把關卡設計成必然進入下階段

有些研究可能在 G2 得到清楚陰性結論:固定拓樸比動態重配置更適合目前工作負載。此時可以凍結硬體路線,留下可用的模型、判準和軟體元件;不必以投入更多資源才算「進步」。研究成功和產品繼續投入是兩個決策。

8.6 Gate 的時間有限性

相同硬體因裝置老化、韌體升級、探測器更換、室內環境變化、系統權限更動或其他原因,先前 Gate 可能不再適用。Gate 證書應綁定裝置、配置、效期與限定條件,並定義失效/撤銷路徑。

8.7 三種特殊 Gate

  • Interface Gate:不允許 3D 顯示拖曳直接觸發外場電力或光學致動。
  • Evidence Gate:無 RawObservation 時,不得靠模型預測補出 PASS。
  • Commit Gate:驗證完成前,執行結果不可以修改不相關的 DNGP、ORDR 或資產正典。

8.8 安全停機不等於任務失敗掩飾

當安全聯鎖要求中止時,正確的回執可以是 SAFE_SHUTDOWN_REQUIRED 並標為 INDETERMINATE。不得為提高 benchmark 成功率而在統計時把這類樣本移除;安全事件本身必須另有完整報告。


9. 實驗預註冊與反選擇偏差

9.1 預註冊文件應包含的內容

在實際運行前保存 StudyPlan,至少記錄:

  1. 研究主張 ID、任務 ID、既有研究參照和原創問題;
  2. 試驗輸入集合與納入/排除規則;
  3. 是否採探索型、確認型或安全合規測試;
  4. 主要與次要指標及其量綱;
  5. 主要效應大小、可接受誤差及實驗設計依據;
  6. 參照後端、對照組與消融組;
  7. 樣本數或自適應停止策略與多重檢驗校正;
  8. 事前固定的解碼器/讀點/閾值/資料清理規則;
  9. 失敗與拒絕如何計算;
  10. 版本、seed、配置與設備安全責任;
  11. 測試是否允許 AI 提出參數,以及是否能接觸確認集;
  12. 何種結果會讓研究主張被拒絕或限縮。

9.2 探索、校準與確認集分開

一個合理的資料流程:

Exploration Set -> choose model / topology / detector positions
Calibration Set -> estimate calibration and fixed thresholds
Confirmation Set -> freeze settings; test held-out cases
Independent Rerun -> reproduce using retained protocols

如果在 confirmation set 上繼續修改閾值,該資料集合即轉為探索/調參資料,不能再同時稱為獨立確認。實體試驗可以另選日、另裝置或另批次作確認,以提高外推能力。

9.3 隨機化與配對實驗

對 RC、光學或聲光可逆配置,若裝置允許且安全,交替或隨機化 A/B 順序能減少時間漂移造成的偏差。必須事前評估狀態殘留、熱歷史、電容暫態及感測器恢復時間。若存在不可逆致動,不可為了統計設計而強行重設設備。

9.4 最小效應大小比只算 p 值重要

若目標是產品化,不只問差異是否統計顯著,更應事前提出實際可接受的改善量,例如端到端延遲減少比例、可用輸出率提升量或每合格任務能源節省,並包含新增維護與安全成本。未達實用效益時,即使某個統計量顯著,也可能只適合保留為基礎研究。

9.5 預算與次數公平

AI 搜尋、網格搜尋、隨機搜尋與人工規則若使用不同候選測試次數,所得「最佳配置」不能直接視為方法優勢。建議報告候選數、模型呼叫成本、外部實驗次數、失敗候選數,以及找到第一個合格配置所需總成本。

9.6 多任務與多指標偏誤

當測試數十種任務、光場讀點、拓樸與閾值,最小 p 值或最好結果可能是大量試驗後的偶然。確認型研究應指定主要檢驗或調整多重比較;探索性最佳結果必須明確標記 exploratory,以獨立重現決定能否升級。

9.7 樣本數應隨風險與假說訂定

不能為所有試驗硬編同一個「30 次就足夠」。電路數值正確性可能要求系統掃頻收斂;物理故障可靠度可能需要遠多於 30 次且跨條件的測試。若目前無法負擔統計上有辨識力的實驗,應如實報告先導研究,而非誤稱成功驗收。

9.8 設備能力不允許的反例也要記錄

若某配置因權限/安全條件被拒絕,該拒絕應保留為 not_executed_due_to_safety;不能自行繞過聯鎖來填補樣本數。安全限制是研究設計的一部分,不是需要被「最佳化消除」的數值約束。

9.9 審稿者的可重現問題

獨立讀者應能回答:哪些樣本在何時、依什麼規則排除?什麼參數是事前決定?哪些由 AI 選出?所有試驗是否保留?若失敗後改版,新的結果是否換了研究 ID?若換了儀器,先前校準是否仍有效?


10. 三份先行實驗預註冊規格(均尚未執行)

10.1 Study P08-A:3D 格子—正典身份與變更隔離

待測假說:DNGP 正典可以安全地投影為可自由拖曳的三維格子,同時保持 canonical ID、型別關係與執行權限。

最低測試動作:同一程式物件進行視圖平移、縮放、旋轉、遞迴展開、選擇、建立關係提案與拒絕關係提案。測試在 refresh、不同視圖和存檔重載後的身份一致性。

主要判準:display-only 操作不得產生 canonical mutation;提案不得自動 commit;stale projection 不得未經 rebase 提交;unknown interior 不得假設為 empty;連線的合法性必須依 Relation 型別判斷。

最低對照:普通 2D Grid、只讀文本投影,以及不同 3D renderer 的同源對照。

可能的陰性結論:若無法阻擋誤提交,則空間 UI 只能保持 read-only;若 3D 介面在具體任務中增加操作錯誤率,則先不將其設為預設 IDE。

10.2 Study P08-B:同 R/C 組件的兩種函數與跨求解器一致性

待測假說:同樣元件集合的合法接線重配置可以形成高通/低通兩種明確的傳遞函數,且跨解析式、SPICE 與 ODE 的數值結果在指定假設和誤差範圍內一致。

數學參照:以 Paper 06 的理想 RC 例子,針對指定配置可使用:

HLP(s)=11+sRC,H_{\mathrm{LP}}(s)=\frac{1}{1+sRC}, HHP(s)=sRC1+sRC.H_{\mathrm{HP}}(s)=\frac{sRC}{1+sRC}.

這兩個傳遞函數是既有電路原理,非本系列新發現。必須在事前指定輸出端、源阻抗、負載、元件精度與頻率採樣條件;條件不同會使理想式不再適用。

主要判準:兩種拓樸都能追溯同一批元件;不允許在掃頻後動態修改參照傳遞函數;SPICE 與獨立 ODE 的輸出均有真實軟體 log;全組網表/程式可重播。

故障注入:反轉端口、失聯的配置版本、缺少採樣單位、超出求解器穩定域、讀回錯誤與數值容差衝突。

可能的陰性結論:若模擬器不一致,先回到規格、求解器與模型;不能因為預期原理成立就預先回報跨系統 PASS。若未來實體切換成本高於重用收益,可把路線維持在軟體基準而不進入 FPAA 產品化。

10.3 Study P08-C:跨介質路由與拒絕正確性

待測假說:FCR-IR 能保留同任務的身份、單位、精度和權限,將合法任務分派到數位或類比模擬後端,並拒絕超過光學/聲光/拓樸設備 profile 聲明能力的任務。

測試集合:RC 低/高通;有限線性 ODE;受限線性波場;非法端口連線;需要非線性記憶但只有線性光學能力的任務;過期校準;不存在的 source;物理結果未知。

主要判準:所有合法任務具有可獨立核對的任務結果;所有非法任務有清楚 reason code;simulation_only 不會產生設備致動;來源、配置、觀測和 verifier 版本保持一致。

基線:手寫固定數位路由、有限規則式路由、相同候選預算下的 AI 輔助路由。第一輪不要求 AI 一定比規則式更快。

可能的陰性結論:若 AI 路由增加無理由的幻覺、錯誤能力宣稱或高額成本,應禁用 AI 規劃、保留規則式路由。跨介質框架仍可能有價值,但不能因此宣稱 AI 改善已成立。

10.4 這三份 Study 為何足夠開始?

P08-A 測「人機操作與來源正典不混淆」;P08-B 測「物理拓樸與計算函數具實際可比較參照」;P08-C 測「不同後端與 AI 能被合法拒絕和驗證」。三者共同建立外部物理計算機的必要控制層。若它們失敗,應先修軟體和研究契約,沒有充分理由直接投入更複雜的光學或群集硬體。

10.5 為何不把正式雷射裝置列為第一個 Study?

目前此研究系列的最大風險不僅是缺乏設備,而是容易把渲染、耦合、輸出與功能等價混成一種「運算成功」。首個 Study 應測這種語義失敗能否被系統阻止。物理光學方向應待研究單位具備合適設施、資格、安全審查、有效控制及量測能力後,才考慮設計專業實驗。


11. 安全與實體風險:可探索不代表可以隨意致動

11.1 風險與研究吸引力是兩個維度

某項實驗在理論上很有價值,不因此變得安全。場容器可能涉及光輻射、超音波、電氣、運動機構、高壓/高能驅動、材料或化學等危害;每類危害都需獨立辨識,不能把「AI 監控」當成通用安全控制。

11.2 雷射類實驗

若未來有實體雷射測試,應由具資格的人員依設備分類、適用安全標準及實驗場所程序評估封閉光路、光束終端、眼睛/皮膚暴露、聯鎖、失能保護、警示及操作訓練。IEC 60825-1:2014 是雷射產品分類及要求的一項重要國際標準,實際適用版本和地方法規仍須由當地專業者確認。

本文不提供高功率雷射陣列、空間匯聚、人體附近投射或無聯鎖開放光路的製作參數;引用既有高功率聲光研究不是邀請直接複製其實驗。

11.3 超音波類實驗

聲學驅動可能帶來人體暴露、機械振動、熱及對附近設備的干擾。可調聲場的安全責任包含發射源、接收場、諧波與干擾評估,不應因「人耳聽不見」就假定沒有危害。對真實聲場配置,需由適用的職業安全、設備及現場審查決定,不採模型推理自行解除限制。

11.4 類比電路與可重構硬體

低壓教學電路是相對可控的原型,但運作中變更連接可能出現瞬態、電容殘存電荷、短路、輸入保護限制與量測地迴路等問題。第一階段先在軟體中測試接線與斷線,實體部署時要有元件規格和安全聯鎖,不把軟體 simulation 的合法性直接視為物理合法。

11.5 微型群集、材料與移動機構

未來微型單元可能涉及材料毒性、微粒逸散、電磁/磁性致動、接觸不可靠、聚集失控及回收處置。現有模組化機器人與微型群體研究具有不同的製造與安全限制,不能把它們直接縮小成無需能源與控制的「奈米 AI」。任何生物性或化學反應路線另需相應合規審查。

11.6 安全責任的最小層次

層級 責任 是否可由 AI 單獨承擔
硬體被動與主動聯鎖 將危害阻止於設備側 否
本地確定性控制器 限幅、限能、緊急停止 否
授權/工作流程 核准危害等級與可執行模式 否
AI 提議/優化 建議參數候選與錯誤排查 可參與,但不可單獨授權
外部審核與量測 測試、監督、調查 AI 可協助整理,不替代資格或責任

11.7 研究數據的安全與完整性

即使純軟體沒有物理危害,也可能發生來源污染、機器權限錯用、偽造回執和不可信的第三方資料導入。與外部感測或硬體接口連動前,需定義資料來源信任、可驗證 schema、受限命令集合及只讀/候選/執行/採納的不同權限。

11.8 失效時的共同處置

  • UNKNOWN_PHYSICAL_STATE:不推測恢復完成,不盲目重試。
  • UNSAFE_CONFIGURATION:設備側拒絕;人員審查後另立配置版本。
  • CALIBRATION_EXPIRED:不產生合格實體運算回執。
  • UNAUTHORIZED_ACTUATION:阻斷執行並保存事件證據。
  • MISSING_OBSERVATION:不得把 AI 預測值代替實體量測。
  • EVIDENCE_TAMPERED:禁止結果採納並進行來源核查。

11.9 不把設備事故當作一般程式例外

程式例外可在受控 sandbox 中重試,但實體設備的動作可能不可逆、具有殘留能量或對環境產生影響。即使編譯器具備重試機制,設備控制層也必須採另一套「先確認現實狀態、再決定是否允許新操作」的規則。


12. 機讀證據與研究回執:讓外部審查不必相信作者的摘要

12.1 核心理念

真正能讓長期研究逐步累積的不是每篇漂亮的架構敘述,而是不同研究者能從一份明確的研究物件,找到它所依賴的來源版本、試驗計畫、實際執行、原始觀測與獨立判決。

此處建議 ClaimLedger、StudyPlan、RunReceipt、ObservationArtifact、VerificationReport、DecisionRecord 互相參照。可以採 JSON、SQLite、物件儲存及開放標準的 provenance 表示,但同一資料應保留單一權威內容摘要;資料轉換後新建立的匯出物必須記錄 derived_from,不可宣稱複製的資料天然與原始資料同一身份。

12.2 最小研究物件圖

ClaimLedger / ClaimRevision
          |
          v
StudyPlan / FrozenAcceptanceSpec
          |
          +---- SourceSnapshot / CanonicalRevision
          +---- ReferenceModel / Version
          +---- CapabilitySnapshot / ValidityWindow
          +---- ProposedConfiguration / Revision
          |
          v
RunReceipt / ActualExecution
          |
          +---- RawObservation / ImmutableDigest
          +---- DeviceOrSimulator / ExactVersion
          +---- FaultAndInterventionLog
          |
          v
VerificationReport / IndependentEvaluator
          |
          v
DecisionRecord / Adopt-Hold-Pivot-Stop

對只停留 E0 的論文,上述大部分物件合法地不存在。資料模型允許 NOT_RUN,但不能因 schema 欄位齊全而冒稱 E2。

12.3 研究帳本機讀提案

以下 JSON 為純規格樣本。它明確標記本篇未執行新實驗,不含任何偽造的成功紀錄。

{
  "schema": "eml-fcrpc/claim-ledger/v0.1",
  "series": "EML-FCRPC",
  "claim_id": "FCR-06-A",
  "claim_revision": 1,
  "paper_ref": "EML-FCRPC-Paper06-v0.1",
  "summary": "Same R/C elements can implement different transfer functions under distinct valid netlists.",
  "scope": "ideal linear passive RC models with fixed source and load assumptions",
  "task_plan_id": "study:proposal:rc-compare",
  "reference_spec_revision": 1,
  "evidence": {
    "tier": "E0",
    "status": "NOT_EXECUTED",
    "run_ids": [],
    "raw_data_digests": [],
    "verifier_report_id": null,
    "independent_reproduction_id": null
  },
  "claim_verdict": "NOT_RUN",
  "limitations": [
    "Analytical equations alone do not demonstrate cross-simulator agreement.",
    "No EML-FCRPC hardware measurement is asserted."
  ],
  "publication_status": "DRAFT_NOT_SUBMITTED"
}

12.4 回執的語義不可互相冒充

推薦分別保存:

  • proposal_receipt:只證明有人或 AI 建議了候選;
  • validation_receipt:只證明候選符合指定形式約束;
  • configuration_receipt:只證明某個配置經適當方式核對;
  • execution_receipt:只證明某個執行可能/確實發生,需明確狀態;
  • observation_receipt:保存原始觀測資料的來源與雜湊;
  • verification_receipt:保存獨立比較和判決;
  • adoption_receipt:保存權限所有者對結果的採納、拒絕或未知處置。

即使在單一 CLI 中以一次命令產生多種資料,也應能追溯每個階段、辨識物件性質,不把其中一份資料重命名為其他所有回執。

12.5 資料來源與可追溯性

來源欄位建議採用三軸:origin_kind(analytic/simulation/physical/external_published)、authority(本地 verifier、裝置、引用作者等)、capture_method(生成/測量/抄錄/衍生)。若是外部論文資料,應明確保留 DOI、授權與擷取日期,不把第三方圖表另存後宣稱為自己的原始實驗。

12.6 檔案摘要與完整性

研究原件至少具內容摘要,例如 SHA-256,並記錄生成命令、工具版本與適用來源快照。雜湊可證明資料在比對期間的完整性,但不能證明測量本身正確、儀器已校準、作者沒有選擇性報告,或實際硬體處於宣稱狀態。完整性是可核對性的必要部分,不等於科學真實性的充分條件。

12.7 可重現執行包的建議內容

fcrpc-validation-study/
  README.md
  LICENSES.md
  SOURCE_MANIFEST.json
  CLAIM_LEDGER.json
  STUDY_PLAN.json
  data/
    raw/                    # 實際存在的原始輸出
    derived/                # 可重算分析結果
  reference/
    equations/              # 推導與假設
    fixtures/               # 有限測試任務
  compiler/
    fcr_ir/                 # 候選與實際編譯結果
    adapters/               # 限定後端接口
  execution/
    receipts/               # 真正執行才會存在
    config_snapshots/
  verification/
    code/                   # 盡量獨立於規劃器
    reports/
  scripts/
    reproduce.sh
  logs/
    failures/
  SHA256SUMS.txt

這是未來工程建議,不是聲稱資料夾已建成。初始版本可以只有 README.md、數個 JSON 契約與少量模擬腳本,避免為了完整架構而先製造不必要的工程負擔。

12.8 受限資料與可公開證據

若原始裝置日誌包含個人資訊、未公開製程或第三方商業機密,可提供匿名化/受控存取方案或摘要統計,並說清楚外部可核對性因此受到哪些限制。採用 FAIR 原則時,應區分「可發現的 metadata」與「依法或依授權可取得的內容」;FAIR 不等於任何資料都要無條件公開。

12.9 私有研究引用

若要引用 DNGP、GCCFT、EveAtelier 或其他私有研究,公開文稿只能引用作者同意揭露的版本與摘要;私人 GitHub 程式庫的存在不表示其他讀者能取得相同內容,也不表示它們已取得公眾授權。公開的交互接口範本可以不洩露原始內部設定而保持研究可理解性。

12.10 失敗資料永久有位置

每個失敗都應有結構化條目:failed_claim、observed_condition、suspected_cause、ruling、next_action、open_uncertainty。已完成的陰性實驗不必因結果不漂亮而藏在附錄;若它否證了一項主要主張,正文就應直接報告。


13. 分階段發展路線:軟體先行,不強迫多介質一次到位

13.1 路線不是依年份自動解鎖

遠期技術是否實現取決於材料、測量、成本與安全,而非到某一年就必然發生。因此本篇採用條件式階段,不把年份當成工程證明,也不宣稱某階段必然帶來新的計算複雜度類別。

13.2 Stage R0:公開概念與資料回收

工作:完成 Paper 00–08 的公開可讀稿;建立主張與引用索引;釐清已知技術、既有作者理論和新系統組合。

交付物:可追溯 UTF-8 Markdown、研究主張帳本、研究限制、引用清單。

不主張:演算法或硬體已執行。

Gate:G0,外加文件格式與公開授權審查。

13.3 Stage R1:DNGP/Spatial Canvas 受控表示層

工作:建立可在 CPU/一般 GPU 運作的 3D 格子工作台,支援顯示移動、語義關係候選與多層投影,與現有來源正典保持可檢查身份。

必須測試:顯示/語義/物理三類操作權限隔離;不同視圖的 ID 不變;未知與未物化區分;版本衝突;撤銷與重作。

交付物:可重播操作腳本、來源快照、負對照、UI 與語義差分。

退出條件:若操作會默默修改執行圖或實體配置,保持 read-only 並修正 contract。

13.4 Stage R2:數位參照與可重配置電路模擬

工作:用解析模型、獨立 ODE 與 SPICE 對照 Paper 06 的有限 RC 網路及更小型的布林拓樸。

必須測試:低通/高通 transfer function、初態、量測窗口、數值收斂、固定連線與重接線差異;輸入相同時結果可比。

交付物:網表、解析推導、模擬器腳本、未剪裁原始 log、驗證結果。

退出條件:數值或版本不一致、非決定性未記錄、只用單一求解器自行確認。

13.5 Stage R3:FCR-IR/FCEI 軟體編譯與拒絕閉環

工作:讓一份 TaskContract 能選擇合格數位參照或類比模擬後端,完成型別檢查、能力快照、候選編譯、結果回執和獨立驗證。

必須測試:非法能力拒絕、過期校準/版本、未知物理狀態、fallback 限制、AI 不可自動採納結果。

交付物:受限 compiler、mock backend、測試矩陣與可重播的 success/rejection 證據。

退出條件:需要修改 DNGP canonical source 才能支援第二個後端,或無法阻止未授權執行。

13.6 Stage R4:受控的可重配置實體類比實驗

前置:G0–G5 應適當完成;具備所需的電氣安全、人員及校準能力。

工作:在合格、受限、安全設備上驗證少量可配置類比/數位邏輯電路,先測配置讀回和固定拓樸,再評估重配置的收益與成本。

交付物:真正的 raw waveform、配置讀回、校準資料、停機事件、完整系統成本。

退出條件:失去可追溯性、不能安全恢復、無法區分配置失敗與任務失敗。

13.7 Stage R5:專業條件下的限定光學或聲光作用實驗

前置:必須建立與 R4 相同或更嚴格的能力、校準與安全程序。光學、聲學、聲光三種工作可各自分開進行,不必要求同一台設備一開始同時具備全部能力。

研究問題:能否在指定模型和小任務上,辨識外部場域完成的有用映射,並以固定解碼器與公平數位基線比較?若聲場只帶來路由/視覺效應,也如實記錄,不假稱邏輯運算。

退出條件:控制秩不足、讀出無法穩定、噪聲/漂移過大、維護成本超過實驗價值、聯鎖無法可靠處理。

證據等級:只有真實且可核對的量測才可能形成 E3;模擬結果不可替代。

13.8 Stage R6:可重組實體模組研究

工作:在有限節點數與安全致動條件下研究實體組件的位置、接觸、有效訊號連線、群集配置及恢復。允許由中央 AI 提出候選,但必須有設備側 deterministic acceptance gate。

產品判定:只有當結構重組帶來固定拓樸不能簡單替代的功能或工作流程價值,且接點可靠度、能耗、致動時間達標,才值得擴展。

遠期區分:桌面模組、微型群集和奈米單元為三個不同技術階段;不能以桌面模組成功宣布奈米 AI 計算機已完成。

13.9 Stage R7:專用外部物理計算後端與可選產品化

工作:選擇具有明確任務收益的一種或多種後端,建構更穩定的驅動、校準、批次運行、故障隔離、升級與客戶工作流程。

進入條件:G7–G8 需要足夠證據;商業、法務與風險決策獨立評估。

可能結果:可以是一種小型數位與類比驗證工作台、特定光學專用加速模組、可重配置機械計算裝置,或只有開源研究工具;不必必然收斂到單一通用場容器盒子。

13.10 階段矩陣

Stage 主交付 必要證據主要層級 硬體使用 典型 GO/HOLD
R0 論文、主張與來源索引 E0 無 來源可追溯才可 GO
R1 空間表示與身份測試 E1–E2 一般電腦 語義隔離不成立則 HOLD
R2 類比模擬基準 E2 一般電腦 模擬不收斂則 HOLD
R3 跨後端編譯/拒絕 E1–E2 一般電腦 無法拒絕非法任務則 HOLD
R4 可配置實體類比樣機 E3 受限電路 安全或量測失效則 STOP
R5 限定光/聲場研究 E3(視實測) 專業研究設備 無法安全可控則 STOP
R6 可組合實體模組 E3–E4 受控機械/群集 重組不可靠則 PIVOT
R7 專用計算產品 E4–E5(依主張) 合格產品平台 完整成本或需求不足則 HOLD

13.11 能共用的少數核心資產

跨階段值得保存的不是某一個渲染器,而是 TaskContract、DNGP 正典身份映射、FCR-IR 候選、FCEI 能力與觀測回執、獨立驗證工具、錯誤碼、資料血統及有限研究基準。各介質的物理方程和設備控制不必強行共用一份 runtime。

13.12 「進入下一階段」是可撤銷決策

即使已在某個裝置上做出展示,也可能因維護、成本、安全或供應鏈因素退回純軟體路線。路線退回不會否定已存在的理論與實驗證據,只是承認產品開發需要另外的可持續條件。


14. 產品決策:把科學可行性、工程可行性與商業可行性分開

14.1 三軸判決

軸 提問 建議觀測
科學可行性 是否存在任務定義下的有效物理映射? 指定輸入輸出、可控性、可測性、反例
工程可行性 是否可重複且安全地運行、配置、校準與恢復? 裝置證據、錯誤率、環境與維護條件
商業可行性 是否解決足夠有價值的需求? 工作流程、成本、替代品、支援與採用

任一軸的成功不自動推出另兩軸成立。研究團隊有時應將某個很美的物理概念保留為公開論文,而不轉成需要高風險維護的產品。

14.2 先產品化哪一部分?

第一個可能形成使用者價值的產品,不必是光場計算盒,而可以是3D 結構程式與可驗證類比/物理後端工作台。它可以幫助研究者定義受限任務、觀察運算圖、生成網表、比較模擬、保留驗證證據。

這類工具的優勢需要由真實使用者測試決定;若一般 2D 電路編輯器更有效率,3D 工作台就應保留為特定任務的視圖模式,而不是強制替代所有 UI。

14.3 產品候選組合

  1. Spatial Programming Workbench:DNGP 格子和多重投影,面向結構觀察、教育或 IDE 研究。
  2. Reconfigurable Analog Lab:有限類比拓樸基準與實驗重播,面向教學、研究與類比電路驗證。
  3. Cross-Media Compute Testbench:FCR-IR/FCEI 合法能力路由與執行證據,面向後端系統工程。
  4. Field-Container Research Platform:具有受控物理後端的專業研究環境,只有在物理證據與安全成立後才考慮。
  5. Reconfigurable Physical Unit Kit:實體模組連接、定位、量測與回復,需另外證明可製造性與使用價值。

這些是產品族的可能形態,不是已經上市或具體承諾的五種產品。

14.4 項目是否值得投資的最小決策函數

可將下一階段投資分成可明確記帳的成本與受限的預期價值:

Vnext=Ptechnical Btask−Cengineering−Crisk−Copportunity,V_{\mathrm{next}}=P_{\mathrm{technical}}\,B_{\mathrm{task}} -C_{\mathrm{engineering}}-C_{\mathrm{risk}}-C_{\mathrm{opportunity}},

其中每項估計必須有來源及不確定度。此式只是決策組織方式,並非已完成的財務預測,也不能由它導出確切產品上市時間。

14.5 研究上的「有用」不等於市場上的「划算」

某個實體場域若能正確完成 XOR,具物理研究價值;但若它需要昂貴的光學校準、專業環境或大量供電,不一定適合替代數位邏輯閘。市場價值可能來自高度特定的空間變換、感測—運算一體化、低延遲訊號處理或教育,而不是大量生產通用 CPU。

14.6 授權與依賴

公開研究稿、程式碼、測試資料、製造設計、第三方影片/圖片與商標可以有不同授權。選用外部光子、機械、編譯器或 GUI 庫時應追蹤版本、條件、專利及通知義務。開源論文不代表專有設備取得使用權,也不代表可避開裝置安全審查。

14.7 避免過度垂直整合

倘若現有 SPICE、數值 ODE、光學模擬、圖編譯器或硬體控制軟體能可靠提供功能,優先使用 adapter 與可替換後端。只在特定功能的 API、性能、可重現性或授權確實無法滿足需求時,再決定自行開發完整引擎。

14.8 外部協作可扮演何種角色

物理實驗需要材料、儀器、安全和獨立測量能力;軟體側可以以開放的 task contract、基準與驗證程式吸引外部研究者參與,而不要求合作方接受全部遠期理論。合作報告要保留第三方作者貢獻、原始結果與公開版本。

14.9 四種開發決策

  • GO:證據和安全條件足以支持下一個受限實驗。
  • HOLD:有價值,但關鍵基準或資源尚未具備;保留假說。
  • PIVOT:技術機制成立但原產品用途不划算,改轉研究或專用應用。
  • STOP:主張在限定域中被否證,或風險/成本不可接受;保存失敗紀錄並停止該路線。

不要把 STOP 看成遮掩失敗的反義詞;可被停掉的研究,才是真正接受可證偽性的研究。


15. 開放、審稿、法務與聲明治理

15.1 九篇文件的完成與正式發表不同

本系列的九篇原稿可以先完成、校驗與歸檔,再由作者決定對外公開或提交。Completed Draft、Publicly Posted、Submitted、Peer Reviewed、Accepted、Artifact Validated、Replicated 是不同狀態,必須分別記錄。Paper 08 的生成不表示前八篇已被上傳至任何預印本或論文平台。

15.2 主要來源版本政策

以 2026 年 7 月已公開修訂的 AetherGlass–LaserCPU v2.0、RMC/LRTC v2.0、TCE v2.0 為適當先行概念來源;較早的宏大敘述只能作歷史研究方向,不恢復已修正的「光幾乎不耗能」「無限維免費加速」「物質具有必然意識」等聲明。

15.3 先前公開與專利風險

公開技術說明可能影響不同司法管轄區對新穎性及專利申請的判斷。若未來確實規劃對某些光學結構、硬體介面或材料配置提出專利,應在發布前進行適當的專業先前技術與法律審查;目前本文不聲稱任何可專利性已經被確認。

15.4 署名與 AI 協作揭露

研究提出者、實際實驗執行者、數據分析者、程式貢獻者、AI 文字輔助與後續獨立審稿者各自保留適當角色。AI 協助整理不意味其曾操作設備或取得不存在的原始數據;報告不能用 AI 所寫的「通過」取代測試人員簽核。

15.5 公開文件對第三方文獻的精確引用

以具體論文的 DOI、出版年與已驗證功能描述既有研究,不把其他人的 Nature、IEEE 或 ACM 實驗直接變成「本公司已實驗」;也不將領域共同常識包裝成第一發現。每個外部結果在本篇至多支持其原作者所證明的有限範圍。

15.6 可供公眾閱讀的三種敘述

研究上合理的說法:「我們提出一套用於描述並驗證外部光學、類比及可重構實體計算域的概念框架,準備以數位參照與有限類比模擬開始測試。」

需要實測才能說的話:「該類比原型在某任務上優於固定拓樸方案,並在完整能耗/延遲與誤差上通過獨立測試。」

目前不得說的話:「我們已實現自由空間的通用全域邏輯 CPU、奈米 AI 群體計算,且整體性能普遍超越 GPU。」

15.7 公開版本的特定權利邊界

授權欄位現為 Undecided。對外正式釋出前由作者決定原稿的文字授權;外部圖片、學術資料、參考代碼、模型權重與設備設計不因使用同一系列名便自動採同一授權。特別注意先行私有 GitHub 的存取權不是永久再利用授權。

15.8 外部讀者如何驗證此系列有無實質成果?

外部讀者應能找到:至少一個明確的 Claim ID、方法與原始資料(若已試驗)、程式版本與重播步驟、驗證判決、失敗紀錄、適用域,以及真正可以與之比較的基線。若目前只有 E0,就應對外公開這個事實,而不是用宏觀願景、影片或論文總數替代。

15.9 發表後更正流程

一旦新資料否證先前主張,先建立 erratum 或有版本的 revision,列出差異與受影響的 Claim ID,再依相同評估流程更新結論。不得刪除早期陰性資料或以同名新檔覆蓋原始完整記錄。每個主要版本應保存 byte-level source 與摘要。


16. 整體風險登錄與降階對應

16.1 技術風險

Risk ID 風險 早期訊號 主要緩解 停止/降階條件
R-SEM 3D UI 改寫了程式語義 Drag 後 canonical diff 操作分層與 candidate-only 持續不變量失敗
R-TOP 將幾何移動誤當拓樸改變 接點圖未變卻記作新函數 分離幾何、權重與訊號圖 無法建立不同有效映射
R-FLD 光場只提供顯示而非計算 讀出依賴中央預算答案 固定 decoder 與對照 外場無任務增益
R-AO 聲場帶來串擾與慢速重配置 模態不穩、延遲超限 區域觀測與成本核算 不可穩定/不安全
R-ANA 類比不確定度過大 模擬與量測殘差增加 校準、非理想模型 目標誤差無法達成
R-UNIT 微型組件接觸不可靠 接點頻繁失效 讀回、冗餘與容錯 恢復/維護成本失控
R-IR 跨後端失去型別或效果 型別錯接、單位不符 可拒絕的 FCR-IR 非法任務進入裝置
R-OBS 感測讀出不足 非唯一反演、低有效秩 觀測設計與負對照 無可辨識輸出
R-PROV 回執無法追溯來源 版本或雜湊不匹配 原件保存與獨立比對 拒絕結果採納
R-COST 加速被控制開銷抵銷 端到端成本不降 全系統記帳 無具體使用情境收益

16.2 安全/治理風險

Risk ID 風險 所需門檻
R-LASER 雷射輻射與開放光路 合規設備、專業審查與獨立聯鎖
R-US 超音波暴露與非預期作用 場域評估、設備限制與專業操作
R-ACT 實體致動與未知結果 設備狀態讀回、撤銷與禁止盲重試
R-AI AI 自行提升能力或權限 固定許可、確定性 gate 與完整日誌
R-IP 公開披露與第三方權利衝突 法務/授權/專利先行審查
R-CLAIM 公開宣傳高於實際證據 逐項 Claim ID 驗證與更正政策

16.3 容錯不是自動繞過風險

容錯的目標是讓系統在故障時仍遵守安全及正確性邊界,而不是讓它更擅長把錯誤包裝成成功。只有被任務允許且可追溯的 fallback 才是合格的容錯;無從判斷物理效果是否發生時,最合適的動作可能是立即停止。

16.4 一次暫停應保留什麼?

應保留來源修訂、候選配置、最近確認的設備狀態、原始讀數、錯誤碼、操作授權、AI 的建議與人員採納紀錄。若僅保存最後一張漂亮的圖形快照,往往無法判斷故障前究竟發生何事。


17. 與 DNGP、TCE、GCCFT、RMC 與原有概念產品的相互關係

17.1 保留分工是比建立單一超級本體更強的架構原則

DNGP 負責程式語義與結構;TCE 負責合法拓樸重寫和運算部署;GCCFT 負責可用耦合、活動域和觀測的形式視角;RMC/LRTC 提供物理介質的動態和驗證原則;AetherGlass–LaserCPU 提供光子介質與異質光電系統的特殊研究背景;GCM/GCCWT 則提供多資源及時間—因果的跨域背景。

FCR-IR/FCEI 是為了在各系統相交處保持資料血統與能力契約而提出的薄層,不是要求原有系統放棄獨立的 canonical 定義。每個底層介質保留自己的方程、設備參數與校準方式。

17.2 哪些映射可以被允許?

  • DNGP ProgramUnit 可映射至空間視覺格、FCR-IR task source 或某個經授權的 backend operator。
  • Spatial Voxel 只有在具體硬體/感測協定規定後,才能映射至 Field Sample Cell 或實體資訊單元。
  • GCCFT phase 作為計算相位抽象,只有顯式物理模型才可對應聲波或光學相位。
  • TCE topology 的候選圖只在被裝置配置與感測讀回核對後,才可能對應真實有效信號拓樸。
  • RMC physical substrate 只有具可定義編碼、動力學、讀出與任務時才算可研究的計算基板。

17.3 不允許的捷徑

  • 不能用 DNGP 語義深度 = UI Z 軸 = 雷射體素座標 的一串等號取代三種獨立模型。
  • 不能將 光束交叉 = 耦合 = XOR 當作任何介質下普遍成立的定律。
  • 不能把 幾何重組 = 圖拓樸重組 = 群體智能 視為自動推論。
  • 不能以 全域耦合理論 = 任何物理設備無限頻寬 來跨越傳播與控制限制。
  • 不能把 AI 產生的計畫 = 通過獨立驗證 = 已經完成實體執行 混為一談。

17.4 概念產品族譜位置

此系列是原有「計算機概念產品系列」的一個新子系列,並不重編或取代原主系列的歷史篇號。它可以為未來的光子、可重構類比、場容器、拓樸單元及空間原生程式工具提供共同的研究規範,但不要求它們最終都製造成同一部機器。

17.5 理論擴張何時值得發生?

只有當有限的軟體與物理基準暴露出既有接口無法解釋的現象,且可以排除測量、編碼、讀出與錯誤模型問題時,才有強理由新增更一般的形式理論。不要把每項工程 bug 立即升格成全新計算本體論。


18. 系列閉合結論:從「看見的三維盒子」到「能被證據限定的外部計算域」

EML-FCRPC 以一個簡單而具有想像力的概念起步:中央計算機將資訊配置到真實的三維作用區,允許光學場、聲學調控或可重組實體單元承擔某些運算,而人類與 AI 可以藉由 3D 格子空間觀察、編排、提議、驗證及取得結果。隨著研究逐層展開,這個構想被拆成可以各自發展的物理路線、程式語義、設備控制、讀出與證據責任。

Paper 00 提出場容器總綱;Paper 01 把三維顯示與正典程式結構分開;Paper 02 建立中樞—外場的 FCEI 介面;Paper 03 區分光學干涉、物理耦合與有效邏輯;Paper 04 把超音波理解為可受限調控介質,而非神奇光學邏輯;Paper 05 研究真正的物理連線與結構重組;Paper 06 以類比電路提供近期可檢驗的橋梁;Paper 07 建立可拒絕的跨介質編譯與 AI 限權規則。現在的 Paper 08 則把九篇共同轉化為一份可供未來嚴格證實、反駁、降級與修訂的研究契約。

整個系列目前可合理聲稱的是:一個 E0 等級、具有明確理論承接、物理研究分支、軟體/類比先行驗證計畫、可拒絕能力路由與證據門檻的公開概念產品研究體系。 它尚未證明外部場容器是一台通用實體計算機,也尚未證明三維體素位元能替代傳統硬體,或拓樸重組在所有任務上具有性能優勢。

這些限制不是缺點的遮掩,而是未來研究能真正累積進展的邊界。一個架構若能在資料不足時報告未知、在能力不符時拒絕、在成本不划算時不部署、在結果被否證時修正,那麼它就具備從概念逐步走向可信工程的基本條件。

系列母句(研究版本,不作物理定理):

計算結構可以不只由固定的處理器與線路承擔;但任何聲稱「外部場域或重組介質完成了計算」的系統,都必須交代任務、編碼、合法配置、受控演化、觀測、解碼、驗證、成本與責任。不存在可免費跳過的證據步驟。

Paper 08 的完成閉合的是公開研究敘述與下一步驗證問題,而不是宣告未來計算機已經誕生。


參考資料與已核對來源

A. 外部科學實驗與技術方法

  • [E1] Bhatt, G. R., Fuller, E. J., & Léonard, F. (2026). Parallel execution of nonlinear logic circuits using reconfigurable free-space diffractive optics. Nature Communications, 17, 8020. https://doi.org/10.1038/s41467-026-74970-5 。支援指定自由空間光學邏輯功能,不等於一般光束交叉自動產生邏輯運算。
  • [E2] Cao, Z., et al. (2026). Programmable Three-dimensional Photonic Neural Network Chip. Nature Communications, 17, 5476. https://doi.org/10.1038/s41467-026-72316-9 。支援三維玻璃內波導及特定光學矩陣運算;不是本文自由空間場容器原型。
  • [E3] Schrödel, Y., et al. (online 2023; journal volume 2024). Acousto-optic modulation of gigawatt-scale laser pulses in ambient air. Nature Photonics, 18, 54–59. https://doi.org/10.1038/s41566-023-01304-y 。支援空氣中的聲致光學調變;本系列不據此提供高功率複製方案。
  • [E4] Hirayama, R., Martinez Plasencia, D., Masuda, N., & Subramanian, S. (2019). A volumetric display for visual, tactile and audio presentation using acoustic trapping. Nature, 575, 320–323. https://doi.org/10.1038/s41586-019-1739-5 。聲學懸浮體積顯示先例;不等於體素已是可執行運算單元。
  • [E5] Hu, X., Tan, T., Chen, Y., & Yan, Z. (2025). Spatially programmable origami networks enable high-density mechanical computing for autonomous robotics. Nature Communications, 16, 10209. https://doi.org/10.1038/s41467-025-64956-0 。支援特定機械重配置邏輯,不等於微奈米 AI 群已實現。
  • [E6] Li, Y., Song, W., Wang, Z., et al. (2023; online 2022). Memristive Field-Programmable Analog Arrays for Analog Computing. Advanced Materials, 35, 2206648. https://doi.org/10.1002/adma.202206648 。可重配置類比計算硬體先例,需逐項比較任務和成本。
  • [E7] Stepney, S. (2024). Physical reservoir computing: a tutorial. Natural Computing, 23, 665–685. https://doi.org/10.1007/s11047-024-09997-y 。物理基板計算的輸入、讀出、任務定義與效益邊界。
  • [E8] Willsey, M., et al. (2021). egg: Fast and Extensible Equality Saturation. Proceedings of the ACM on Programming Languages, 5(POPL). https://doi.org/10.1145/3434304 。等價重寫技術背景,不能直接代替物理等價驗證。

B. 公開規格、標準與研究治理

外部研究與標準的存在不能自動提升本文的新系統設計之 E0 等級;正式對外引用前仍應審查文獻版本及引用細節。IEC 等標準的適用及設備安全合規必須按實際裝置與所在地區另行確認。

C. EveMissLab 先行研究與本系列前作

  • [I1] Neo.K(2026-07-29),《計算機概念產品系列:全系列盤點 v0.1》。研究族譜、證據帳本與公開類型。
  • [I2] Neo.K(2026-07-30),《AetherGlass–LaserCPU v2.0:三維玻璃光子與異質光電運算研究議程》。公開修訂版本。
  • [I3] Neo.K(2026-07-30),《萬物皆 AI v2.0:關係—形態動力計算與液態可重構介質研究綱領》(RMC/LRTC)。公開修訂版本。
  • [I4] Neo.K(2026-07-30),《拓撲約束執行引擎 v2.0》(TCE)。公開修訂版本。
  • [I5] Neo.K × Aletheia(2026-09-22 起),GCCFT Paper 00/06 等;計算耦合、活躍域與受控規劃。
  • [I6] Neo.K × Aletheia(2026-09-23 起),DNGP Paper 00/02/10/12 等;正典程式、語義深度與 Agent 操作投影。
  • [I7] Neo.K(2026),GCM/GCCWT 系列;異質計算資源及時間—因果背景。
  • [I8] Neo.K(2026-10-22),EML-FCRPC Paper 00,《場容器與外部物理計算》v0.1。
  • [I9] Neo.K(2026-10-22),EML-FCRPC Paper 01,《三維格子與體素位元程式表示》v0.1。
  • [I10] Neo.K(2026-10-22),EML-FCRPC Paper 02,《外部場容器與中央計算機》v0.1。
  • [I11] Neo.K(2026-10-22),EML-FCRPC Paper 03,《三維光場邏輯計算》v0.1。
  • [I12] Neo.K(2026-10-22),EML-FCRPC Paper 04,《聲光耦合與動態場容器》v0.1。
  • [I13] Neo.K(2026-10-22),EML-FCRPC Paper 05,《拓樸組合計算機》v0.1。
  • [I14] Neo.K(2026-10-22),EML-FCRPC Paper 06,《可重構類比計算原型》v0.1。
  • [I15] Neo.K(2026-10-22),EML-FCRPC Paper 07,《AI 原生跨介質計算編譯器》v0.1。

上述來源是研究族譜與責任分工資訊;私有原稿的全文是否可對外取得,須由原作者核定,不得因本系列有公開版意圖而默認所有內部資料已公開授權。


附錄 A:全系列術語、反例與有效讀法

術語 有效讀法 應避免的混淆
Field Container 有效受控外部物理作用域及可驗證接口 一個亮起來的 3D 透明盒子即可計算
External Physical Computation 受編碼、可控且可讀的物理任務映射 中央機預先算出答案再投影
DNGP ProgramUnit 具穩定身份的程式正典物件 3D 畫面中每一個亮點都是一個 ProgramUnit
Display Voxel 顯示系統的體積資訊採樣 獨立邏輯位元或實體物件
Semantic Depth 可進入式程式內部的語義關係 UI 的 Z 座標
Field Cell 物理場中有限模態或測量單元 必定可獨立操控的完美 3D 位元
Optical Knot 在特定模型中可辨識的結構光拓樸 光束像繩子打結而立刻算出答案
Acousto-Optic Control 聲場調制光傳播及讀出條件 任何聲場都能形成通用光學 CPU
Effective Topology 指定端口及可觀測條件下的訊號連接 物件看起來靠近就產生邏輯邊
AI Logic Unit 可含局部規則或自主調整的資訊單元族 每個奈米粒子都是完整大型語言模型
FPAA 有受限能力的可編程類比區塊 可任意變形的通用計算機
FCR-IR 後端選擇與證據約束的中間表示 覆蓋 DNGP source 或改寫物理定律
FCEI 受控配置、執行、觀測與回執接口 可由 AI 任意控制的通用設備命令集
Evidence Tier 某項主張已有何種可核對證據 論文寫得愈長等級愈高
Gate 是否允許下一個工程行動的門檻 上一個 Gate 通過即可取得所有權限
Independent Verification 可與規劃器分開檢查的資料與程序 同一 AI 再生成一次成功敘述

附錄 B:可交付本地端的首輪驗收清單(尚未執行)

B.1 來源與版本

  • 所有被測 Task 有穩定 ID、source revision、內容摘要與任務規格。
  • 3D UI 的 display-only 操作不修改 canonical graph。
  • 未知 source、缺少 unit、過期 source 必須分別拒絕。
  • 渲染的 unknown、hidden、unmaterialized 不會默認轉成 absent。
  • 傳遞至編譯器的所有量具有型別與單位。

B.2 模擬與類比模型

  • RC 高通、低通具明確且不混淆的輸出定義與 SPICE 網表。
  • 參照式、SPICE、另一個獨立數值解具有凍結的容差。
  • 固定拓樸、參數變更、重接線三類運算分開記錄。
  • 求解器未收斂不得報 PASS。
  • 真正的原始輸出及重現命令可以由另一個執行過程重新核對。

B.3 AI/編譯器/設備能力

  • AI 不能在無授權情況下更換 simulation_only 為 physical。
  • 線性光學 Profile 遇到要求非線性可級聯記憶的任務時拒絕。
  • 聲光 Profile 不能缺解碼器而自稱邏輯計算後端。
  • 非法端口、非法單位和過期校準一律拒絕。
  • 任何硬體回執未知時不得自動盲重試。
  • 版本錯置的 FCR-IR 計畫不可直接部署到新配置。

B.4 證據與對外主張

  • 資料來源標為 analytic/simulation/physical/external_published。
  • 每個原始數據有獨立內容摘要和版本。
  • 失敗、拒絕、中止及未知結果均有可追溯日誌。
  • 只在真正完成 E2 或 E3 時更新相應 Claim Tier。
  • 安全限制或來源污染無法用平均性能分數抵銷。
  • 文件的公開/投稿/同行審查狀態與工程驗收狀態分離。
  • 實際設備如需使用,已獲得相應資格、安全條件與合規審查。

附錄 C:實驗預註冊表單(純文字規格)

Research series: EML-FCRPC
Study ID:
Claim IDs and revisions:
Versioned research question:
Task and reference function:
Population / input range / exclusions:
Primary and secondary metrics:
Minimum meaningful improvement / tolerance:
Comparison baselines:
Control, ablation and negative test groups:
Candidate selection / AI access restrictions:
Physical or simulated backend identity:
Software/device version and configuration hash:
Calibration state, unit and time validity:
Number of repetitions and justification:
Order randomization / paired design:
Measurement time bases and uncertainty:
Safety permit / physical execution authority:
Expected mode: simulation_only | physical
Pre-registered pass / fail / inconclusive rules:
Fallback / unknown-physical-outcome policy:
Raw observation archive and checksum method:
Statistical / analytic comparison procedure:
Independent verifier and conflict controls:
Evidence tier after actual review:
Publication and licensing restrictions:

附錄 D:各研究主張對照表(填寫模板)

Claim ID:
Version:
Paper origin:
Scope / exclusion domain:
Statement:
Falsifier:
Null or incumbent baseline:
Task distribution:
Measurement procedure:
Data-source classification:
Predefined acceptance threshold:
Planned study IDs:
Actual run IDs (or NOT_RUN):
Observed output hashes (or null):
Verifier report (or null):
Verdict: NOT_RUN | INCONCLUSIVE | SUPPORTED_WITHIN_SCOPE | REFUTED_WITHIN_SCOPE
Evidence tier: E0 | E1 | E2 | E3 | E4 | E5
Publication state:
Status change history:

附錄 E:本系列後續必須回答的十個開放問題

  1. 有沒有某種外部物理基板,在完整校準、設備與能源成本下,對特定任務真正勝過數位參照?
  2. 哪些光學計算結果依賴場內物理演化,哪些實際是讀出裝置或中央電腦完成的?
  3. 聲學控制是否增加可用的計算自由度,還是只增加路由自由度與顯示能力?
  4. 三維可觀測空間是否能在可接受訊噪比下取得比平面架構更高的有效獨立模式數?
  5. 哪些動態拓樸重新配置能抵銷自身的運動、驗證與重新校準成本?
  6. 在多種物理後端中,哪些任務契約可以嚴格一致,哪些只能接受受限的統計或觀測近似?
  7. AI 是否能在相同候選預算下,提出比規則法更好的合法配置,還是只提高搜尋及維護成本?
  8. 多使用者操作、未知物理狀態及外場效應,如何與正典權限、rollback 和稽核共存?
  9. 哪些有限原型能經獨立研究者實際重現,而不依賴不可公開的設備或手工校準秘密?
  10. 即使物理運算本身成功,什麼樣的產品需求才真正值得承擔額外硬體與安全責任?

附錄 F:發表前作者確認與原始碼保存

  • 本檔屬完整 UTF-8 Markdown 原稿,擬供對外閱讀、技術討論及後續研究計畫使用;目前未正式投稿或發表。
  • 正式論文數學原始碼只使用 $...$ 與 $$...$$,不以聊天介面、轉圖公式、HTML 或 PDF 重新生成 canonical source。
  • 文件數據不得憑示例推論出真實 EML-FCRPC 實驗已運行;JSON 示例需保留 NOT_EXECUTED 標記。
  • 正式發布前由作者核定題名、署名、協作披露、授權、內部原稿可公開範圍、圖表權利與必要的先前技術/專利審查。
  • 後續任何正式修訂需建立新版本與改動紀錄,保存本 v0.1 的位元組、雜湊、引用和重要反例;不得靜默修改已被外部讀者引用的檔案。
  • 實體部署與裝置驗收屬獨立工作,本篇完成不能替代專業設備審查、物理量測或獨立重現。

EML-FCRPC Paper 08 完結。Paper 00–08 的公開研究原稿系列至此完成文件層級的閉合;各物理與編譯器後端的實驗驗證仍依上述證據制度獨立進行。