title: 未知不構成階級：未知型別、認知前沿與相對不可知
english_title: The Unknown Does Not Constitute a Hierarchy: Typed Ignorance, Moving Epistemic Frontiers, and Relative Unknowability
series: 自身歷程選擇時代（The Era of Self-Chosen Existential Trajectories）
series_code: SCET
paper: 07 / 13
document_id: EML-SCET-07-2026-v0.1
author: Neo.K
research_assistance: Aletheia / ChatGPT（原稿與資料回查、形式化、反例、文獻對照及離線契約驗證）
institution: EveMissLab / 一言諾科技有限公司
version: 0.1
date: 2026-10-22
status: Public Conceptual Research Draft; Conditional Formal Claims and Synthetic Tests; No Proof of Absolute Unknowability or Ontological Hierarchy
language: zh-TW
license_note: 公開研究原稿；引用請註明作者、題名及版本；正式授權以後續發布聲明為準。

未知不構成階級：未知型別、認知前沿與相對不可知

Q: 14.6 反對六｜更高知識是否天然伴隨較高責任？

異議。 當專業者知道危險，是否有更大義務介入？

Q: 14.9 反對九｜如果無法定義所有可能世界，是否永遠不能談絕對超越？

異議。 太嚴格的作用域要求可能使形而上學無法交流。

Q: 14.10 反對十｜所有知識都有主體性，所以何必要求證據？

異議。 如果每個觀察者都不同，外部驗證是否只是另類權力？

Q: 14.16 反對十六｜本篇是否仍會被某種未來存在推翻？

異議。 如果未來真的發明了人類今天無法理解的認知方式，這篇理論會否失效？

The Unknown Does Not Constitute a Hierarchy: Typed Ignorance, Moving Epistemic Frontiers, and Relative Unknowability

系列：《自身歷程選擇時代》（SCET）Paper 07／總規劃 Paper 00–13
作者： Neo.K
研究協作： Aletheia / ChatGPT
機構： EveMissLab／一言諾科技有限公司
版本： v0.1，2026-10-22
性質： 認識論、動態未知型別、形式化判定邊界、未來文明非僭越倫理、可稽核研究規格。
證據狀態： 承接既有理論、公共學術研究與本文提出的有條件模型；所有合成測試只驗證資料契約、邏輯分型和有限構造，不能被稱為證明宇宙中存在或不存在絕對不可知事物。

日期： 2026-10-22

摘要

「你不知道，所以它更高級」「你不能描述，所以只有真正達到境界者才能理解」「它超越了因果與資訊，因此毋須說明所超越的世界」，是對未知、主體體驗與超越性高度混合的命題。這些句子未必全無主體價值：某存在可能確實經歷了難以表述的狀態、遇見了現有科學尚未解釋的現象，或擁有對另一世界的相對控制能力。問題在於，未知的型別並不自動生成存在價值的高低順序，一個觀察者的資訊不足也不能證明另一存在具有全域的理解、操作、干預或裁決優勢。

本文是《自身歷程選擇時代》（SCET）Paper 07，承接 Paper 00–06 的文明分期、歷程選擇權、有限長生、因果資訊時間、永恆瞬間、記憶與歷史分離，以及不可言說與跨載體重建。此時代假設中的某些長生者、人工存在、世界創造者或新型主體，對現代人可能具有類似古代神話中神明的局部能力。正因如此，不能僅以「我們還不懂它」把不對稱認知合法化為不可質疑的等級制度，也不能把「它超出當前可觀察範圍」當作否定其一切主體價值的理由。

本文直接承接 EveMissLab 既有 DOM-02《移動未知邊界》的八型別未知剖面：未知狀態、未知型別、觀察未知、可達性未知、判定未知、驗證未知、可實現性未知與本體未知，並保留 Unknown Query Type（未知提問型別）。本篇不重新發明 DOM 的整套形而上學，而是提出 UFP（Unknown Frontier Profile，未知前沿剖面）v0.1，使未知主張必須附帶觀察者、問題、世界、時刻、解析度、證據、模型類別、工具集、權限及未解型別；再加入反階級檢查、相對不可知證書、跨主體溝通與非僭越門檻，形成可供未來混合文明審查的候選接口。

本文提供若干有限形式命題：在限定觀測通道下，兩個不同世界狀態可以具有相同觀測而對目標命題給出不同結果；因此，該目標在該通道下不可識別。此結論不推出所有未來通道都不可識別，也不推出被觀察世界具有無限或超越性。對未知剖面的比較最多在共同問題域、型別與可比較尺度下形成部分序，不會天然生成所有主體的道德排名。不可知的相對性需要明示限制集合；真正的全域不可知命題則必須先界定其量詞範圍、規則類別與證成方法，不能由當前的失敗經驗直接建立。

在對照認識邏輯、科學理論的證據不充分性、開放世界辨識、科學未知資訊庫、認知不公及測量不確定度等外部研究後，本文提出二十組壓力情境、規範反例與可獨立執行的 UFP 離線型別檢查。本文不追求用有限符號一次性消除所有未知，而要使未知保持為可修訂、可跨載體協作、受作用域約束、不得自動轉換成支配他者之權力的認識狀態。

中心命題：未知是相對問題、條件與認知能力的狀態描述，而不是對存在者進行高低排序的原始尺度。現有不可知不自動證成永久不可知；主體私密性不自動證成跨世界權威；真正更廣的知識也不自動生成對他者歷程的裁決權。

關鍵詞： 自身歷程選擇時代；未知型別；相對不可知；認知前沿；未知提問型別；形式不可識別；觀察者索引；作用域；認識論；開放世界；未知階級；認知不公；非僭越；UFP；DOM；HSGR；SCET。

0. 研究問題、基本立場與非主張

0.1 問題來自一段未來文明的對話

設想存在者 $A$ 已經延續了數百年，能進出多種認知介面、操作若干模擬世界，並以一種當前人類尚未掌握的形式體驗世界。存在者 $B$ 詢問某項體驗與能力的邊界。

$A$ 回答：「你不懂，因為那是不可言說的超越。」

這可能是有誠意的主體報告： $A$ 暫時不知道如何使 $B$ 形成同等理解。但它也可能包含數個獨立且尚未證成的暗示：

$B$ 永遠不能理解；
$A$ 的體驗比 $B$ 的體驗更有價值；
$A$ 的知識覆蓋所有可能世界；
$A$ 有資格替 $B$ 決定人生；
不允許 $B$ 向 $A$ 提出反例或證成要求。

本文討論的是上述推論能否成立，而非要求 $A$ 交出所有私人感受或祕密。

0.2 本篇真正要排除的，是語義型別偷換

未知不直接等於不存在。

未知也不直接等於真實的某種更高實體。

未被證實不必然等於錯誤。

但未被證實，也不能成為在公共決策中要求他者無條件服從的充分理由。

如果一個命題具體描述世界的外部結果，就需要與其外部結果相稱的證據；如果它只描述個人的價值體驗，則不應被強迫服從不相干的實驗規格。兩者的差異不是誰比較高級，而是主張型別不同。

0.3 不能預先宣稱所有未知都可知

本文不主張任何有限主體能夠知道一切，也不主張所有問題都有可計算或可實驗的解答。

邏輯上的不可判定、模型內的不可識別、資源條件下的不可達，均可能形成真實限制；這些限制各自具有獨立前提，不能隨意推廣到所有世界和所有認知載體。

0.4 也不能預先宣稱所有未知皆永不可知

目前無法找到描述方式、無法獲得儀器讀數或無法解讀對方經驗，可能只是工具、語言、教育、時間、資源或權限不足。

因此，從「目前失敗」到「永久失敗」是需要證明的量詞跳躍。

同樣，從「某方法理論上不可識別」到「不存在任何其他方法」也需要額外假設。

0.5 本文的研究主張分級

證據型別	本篇允許的敘述	不可延伸的敘述
F：有限數學	給定集合、函數及模型前提時，推導相對不可識別或邏輯不蘊涵	已證明整個宇宙所有未來觀察者都不能知道
E：公共研究	檢索已發表研究對未知、測量與權威的討論	外部文獻已證明 SCET 文明分期必然實現
S：合成示例	測試型別欄位、無資訊洩漏、相對證書及拒絕碼	已對真實意識、永生或超越存在完成實驗
N：規範提議	討論非僭越、知情同意、認知公平與可修訂主張	道德規範本身即已成為全球法律
U：開放問題	暫不肯定也不否定絕對不可知或全域超越	未知自動被歸入某個神祕的存在階級

0.6 八項明確非主張

本篇沒有證明上帝、神明或任何超越性存在必然存在或不存在。
本篇沒有把目前人類科學當成所有未來世界的知識邊界。
本篇沒有將所有宗教經驗簡化為資訊錯誤。
本篇沒有將任何客觀能力差異取消為單純主觀意見。
本篇沒有否認有些數學問題在指定形式系統下不可判定。
本篇沒有發明可完全複製第一人稱體驗的技術。
本篇沒有證明高智能必然善良、傲慢或不受倫理約束。
本篇沒有把 UFP v0.1 宣稱為已部署的真實認識治理系統。

1. 系列定位：為何必須在 Paper 06 之後討論未知

1.1 Paper 00 提供文明分期，而非認識論階級

SCET 的核心門檻是存在開始有效選擇自身歷程，而非所有存在具有同一壽命、同一認知能力、同一文化或同一載體。

若一位長生者得以讀取多個世界，不能因此把其他人排除於文明的基本主體地位之外。

1.2 Paper 01 提供有效選擇與非代決

是否能選擇，涉及可描述、可實現、可達、知情、自願與修訂條件。不可把「某主體知道更好的答案」與「其有權替他者作出無限期、不可撤銷的決策」合併。

未知問題若被拿來宣稱弱者無資格選擇，就已跨入規範與主權領域，不再只是認知資料分類。

1.3 Paper 02 提供生命尺度多樣性

一個存在想延續一萬年，不使希望只活八十年的存在變成低級；反向亦然。長生能力越大，越需要防止不同存在偏好被單向排名。

1.4 Paper 03 提供可量化的因果資訊歷程

資訊差異、事件數、因果深度與鐘錶時間不可合併。因此即使兩個存在有不同的感知速度與資料處理量，也不能以單一數值宣布兩者已完成相同的世界理解。

1.5 Paper 04 提供不可完全重演的價值瞬間

某個存在可以不知道另一存在為何珍惜短暫的相遇，但這項未知不能推出那個瞬間沒有價值。未知可以是跨主體的理解限制，而不是價值空白。

1.6 Paper 05 提供歷史、記憶與感知的分離

對某事件沒有記憶，不等於事件不存在；記憶極其鮮明，也不構成事件外部真實性的充分證明。

因此本篇對「已知」「未知」的判斷，不能僅憑記憶信心進行。

1.7 Paper 06 提供五種不可言說的來源

HSGR Paper 02 與 SCET Paper 06 已區分詞彙、地址、程序、載體與候選本體不可表達。接收者不能以無法描述一段經驗，直接宣稱它在所有世界都不可表示；來源主體也不能把一次交流失敗證成永恆優越。

1.8 DOM-02 是八型別未知的正式前置來源

2026-08-20 的 DOM-02《移動未知邊界》已明確提出八個未知維度、Unknown Query Type 及 Certified Relative Terminality（CRT）。本篇直接引用其定義，不將相同分類重新宣稱為新的發現。

1.9 DOM-04 是型別化超越的前置來源

DOM-04 將超越索引到世界、尺度、對象、限制、時間及條件。本文主要處理超越主張的未知狀態怎麼被認識和誤用，其具體跨世界因果映射交給 Paper 08。

1.10 本篇新增什麼？

相對於已完成的 DOM、HSGR 及 SCET 前文，本篇集中貢獻：

將未知剖面與主體階級非蘊涵正式並列；
區分缺乏證據、相對不可識別與絕對不可知命題；
定義必須帶作用域的相對不可知證書；
定義在共同條件下才可比較的未知剖面偏序；
分析「以未知壓制質疑」與「以可測量壓制私人價值」的雙向風險；
設計與 SCET Paper 08–10 相容的 UFP 研究契約；
提供可證偽實驗、敵對反例、拒絕碼及最小離線測試。

2. 五個不能混用的對象：未知、無知、不確定、不可能與價值

2.1 未知是相對於某項問題的狀態

若存在者 $A$ 正在研究命題 $q$ ，則「對 $A$ 未知」可初步記作：

U_A(q\mid W,t,\theta).

其中 $W$ 為被討論的世界或模型， $t$ 為時刻， $\theta$ 為工具、能力、語言、解析度與證據標準等條件。

這不是把未知做成世界中一種固定材料，也不是說其他存在對同一問題必定未知。

2.2 認識不足不等於命題為假

在一般真值語義與認識模型下，

\neg K_A q

表示 $A$ 不知道 $q$ ，不直接推出：

\neg q.

更強地說， $A$ 對 $q$ 不知道，也不自動知道 $\neg q$ 。

這項區分是認識邏輯的基礎，與主體身份、文化及社會地位無必然關聯。

2.3 不確定與未知類型不同

一個模型可能對某輸入給出 $0.51$ 和 $0.49$ 的已知分類機率，這通常是特定模型的不確定表示；另一個完全未見過的對象，則可能被模型以 $0.99$ 的錯誤信心歸入某已知類別。

因此：

\operatorname{Uncertain}_{M}(x) \not\Leftrightarrow \operatorname{NovelToClassSet}_{M}(x).

開放世界辨識的研究已特別指出，未知類別與低信心不是同義詞。

2.4 不可行不等於不可知

某主體可能知道某操作在指定系統中可以如何表示，卻沒有合法權限或所需資源去執行它。

反過來，某系統也可能有能力運行某黑箱程序，但仍缺乏正確的因果解釋。

故：

\operatorname{CanExecute}(A,q) \not\Leftrightarrow K_A(\operatorname{Mechanism}(q)).

2.5 不可判定不等於證據不足

證據不足：多個模型或解釋尚未被現有資料區分。

指定系統不可判定：在明示公理、語言、推理規則下，某命題不能被該系統證成或否證，須另有形式證明。

不可計算：對指定演算法模型或問題類別存在計算上的非可解性證明。

物理不可達：在給定能源、時空、測量通道或製造能力下，不可取得某訊息或狀態。

四者不能混成「永遠不能知道」。

2.6 不可理解不等於較高價值

某幅畫、一段情感、宗教體驗或新型生物感知，對另一主體可能難以翻譯。但語言可解碼性沒有充分理由被當作該感受的唯一價值尺度。

同樣，難以解碼也不能自動提高其道德權重。

2.7 一個必要的雙向護欄

本文同時拒絕：

\text{Unknown}\Rightarrow\text{Superior}

與：

\text{Not Measured}\Rightarrow\text{Worthless}.

兩者都是由不完整的認識條件，偷換成未經論證的價值結論。

3. DOM-02 的八型別未知：保留原意並加入 SCET 解讀

對問題 $q$ 、存在者 $A$ 、世界 $W$ 與條件 $\theta$ ，定義：

\mathbf U_A(q\mid W,t,\theta) =\langle U_S,U_T,U_O,U_R,U_J,U_V,U_{\mathfrak R},U_{\Omega}\rangle.

以下各項可以同時成立，也可以隨研究改變。其八個座標不是由低級未知到高級未知的八階段，不應排序成地位階梯。

3.1 $U_S$ ｜Unknown State：未知狀態

對象已被歸入相對明確的型別，但具體狀態尚未知。

例：已知一顆遠端感測器合法存在，卻尚未取得某時刻的讀數。

可能改善的方法：適當感測、讀取紀錄、重測或提升解析度。

不可偷換：不知道讀數不表示感測器包含超越性秘密。

3.2 $U_T$ ｜Unknown Type：未知型別

已發現某現象，卻不知道現有分類是否可以容納它。

例：一個新型智能系統的行為跨越工具、代理、群體與主體候選的既有類別。

可能改善的方法：候選型別生成、差異測試、類別重構與語義地址檢查。

不可偷換：目前分類不足，不等於該存在高於所有分類中的存在。

3.3 $U_O$ ｜Observational Unknown：觀察未知

缺少合適的儀器、訊號、取樣程序或可靠資料。

例：某主體確實回報深刻的感覺，但外部測量無法唯一辨識感質狀態。

可能改善的方法：擴充方法、交互評估、提高測量可靠性或改變觀察尺度。

不可偷換：儀器看不到不等於現象永遠不可能被間接研究。

3.4 $U_R$ ｜Reachability Unknown：可達性未知

不知道能否合法或物理地接觸目標、資料、作用位置或認知過程。

例：某個世界的外部控制介面存在，但我們不知道是否有可用且獲授權的讀取通道。

可能改善的方法：重新評估邊界、證明可達路徑、權限協商或替代通道設計。

不可偷換：資料不可達不意味資料不存在，也不意味必須非法突破隱私。

3.5 $U_J$ ｜Judgment Unknown：判定未知

候選解釋、反例或判定條件不足，現階段無法接受某結論。

例：一項長生技術可以維持某類細胞狀態，但無法證明載體變換後第一人稱同一性。

可能改善的方法：制定判準、擴充證據、檢查競爭假說。

不可偷換：判不出來不是可以隨意選擇自己喜歡的結論。

3.6 $U_V$ ｜Verification Unknown：驗證未知

即使有明確假說，也尚未建立足以辨識成功、失敗及假陽性的可靠測試。

例：某個超越性主張只提供敘事，未指明可觀測的結果或可形式推導的承諾。

可能改善的方法：命題型別分類、先設成功標準、尋找互斥預測或建立第三方審查。

不可偷換：缺少驗證方法不代表它一定錯誤，也不代表它已被證實。

3.7 $U_{\mathfrak R}$ ｜Realizability Unknown：可實現性未知

我們不知道某個已被描述的操作能否在指定資源、世界及物理限制下真正完成。

例：可以數學描述某種極長生命維持程序，卻不知道材料、醫療或能源是否支援實現。

可能改善的方法：限制分析、材料實驗、工程原型與成本驗證。

不可偷換：概念上想得出來不等於實作已完成。

3.8 $U_{\Omega}$ ｜Ontological Unknown：本體未知

現有詞彙或本體分類對某對象可能過於狹窄，尚不知道新類別是否必要。

例：一個未來存在可能既不是現代意義上的單體生物，也不是普通軟體程序，其同一性規則需重新研究。

可能改善的方法：重建概念、比較互斥模型、保留未知槽及版本化本體。

不可偷換：本體分類不足不表示它必定是某個最高級存在。

3.9 Unknown Query Type：連提問型別都尚未建立

有時不是我們不知道 $q$ 的答案，而是尚未知道 $q$ 是否問對了。

例如「這個系統是不是活著？」可能把代謝、自我維持、感知、法律地位、社會互動與生殖功能混在同一問句。解法不一定是回答是或否，而是重新拆分問題。

這種情形不能簡單歸入 Type $U_T$ ； $U_T$ 指對象型別不明，Unknown Query Type 指研究行為本身的問題語法或可用判準尚未正確建立。

3.10 八型別不是互斥盒子

某項未知可以同時具有觀察、判定和驗證限制。它可以因新儀器降低觀察未知，卻在新資料出現後增加型別未知。

所以禁止將八個型別計為相加後「神祕度」的單一分數。

3.11 型別變化不保證單調進步

今天由於感測器不足而未知，明天可能因觀測大量新現象，導致我們發現原先的分類系統失效。

$U_O$ 可以下降，而 $U_T$ 或 $U_{\Omega}$ 上升。這不構成研究退步的充分證據。

3.12 未知可以是研究資源，而不是羞辱標籤

誠實標記未知使研究者有能力尋找下一個最有價值的觀測、反例或概念工具。對學生、AI、長生者與普通人都應允許承認未知，而不因此降低基本尊嚴。

4. 「未知不構成階級」的正式含義

4.1 首先區分能力事實與價值結論

能力差異可以是真實的：某個存在識別問題更快、掌握更多模型、可進行他者做不到的實驗或具有跨層級存取能力。

本文並不主張所有存在具有相同能力，也不主張所有知識宣稱應接受同等可信度。

真正反對的是，從一項認識差距直接推出涵蓋全部人生與公共事務的人格價值或裁決權高低。

4.2 命題 A：不知道一件事，不推出本體地位較低

令 $K_A(q)$ 表示 $A$ 知道 $q$ ，令 $R(A)$ 表示某套另外需要定義的規範地位。則：

\neg K_A(q) \not\Rightarrow R(A)<R(B).

不論 $B$ 是否知道 $q$ ，未知本身均不提供此規範關係所需的橋接公理。

若有人仍要提出排名，必須明示排名的目的、可比較任務、適用邊界及對基本權利的影響，不能只說「因為我知道你不知道」。

4.3 命題 B：知道一件事，不推出所有事情都知道

K_A(q_1) \not\Rightarrow \forall q\in\mathcal Q,\ K_A(q).

一位善於操控某個遊戲世界的人，可能不懂其所在硬體；一位天文物理學家可能不精通醫療；一位長生者的私人智慧亦可能無法轉化為他人的具體處境知識。

4.4 命題 C：未知範圍的大小，不等於存在者的道德身分

某人所能描述的未知問題更多，可能只代表他對目前研究地圖掌握更深。當代學生不知道哪些問題還沒有被發現，不能據此宣布其人格地位較低。

反過來說，一個研究者以不確定性展示誠實，不能自動獲得更大的公民權力。

4.5 未知剖面不是單一數字

假設 $A$ 在某項問題的狀態未知程度較低， $B$ 在觀測未知程度較低。若沒有共同的加權目的和可比尺度，兩人的情況可能不可比較。

因此更好的工具是條件化向量或部分序，而非把未知向量加總成「存在等級」。

4.6 我們仍可以建立局部能力評估

例如在共同指定的數學題庫 $\mathcal Q$ 下，可以比較兩名研究者的正確率、校準性、抗反例能力和時間成本。這是任務相對的能力比較。

但它不等於比較二者的全部價值、生命正當性或其他生活領域的決策權。

4.7 不理解與不能理解也不同

\operatorname{NotUnderstand}_{A,t}(q) \not\Rightarrow \operatorname{NeverUnderstand}_{A}(q).

接收者可能透過教育、類比、感官替代、共同體驗或後來發明的技術，重新形成可理解路徑。

但本文不承諾任何指定人、任何指定概念都必然能被成功教會。

4.8 神祕性不是一種可以直接兌換的權力貨幣

假設組織以「秘密認知層級」獎勵服從者，並對反對者回應「因為你的層次不夠，所以你不能質疑」。即使組織確實保存專門技能，這項事實仍不允許它以不可查核的等級取代對可驗證主張的責任。

這不是否定傳承、師徒關係或私密教學。它只是區分專業資格、經驗深度、權限合法性與人格地位。

4.9 反向錯誤：沒有證據不代表沒有主體價值

主體可以拒絕公開私密夢境、宗教經驗或創傷記憶；旁人不應以未分享資料為由取消其尊嚴。

要求在公開會影響他者的政策主張上提供適當證據，不等於有權強行提取他者的所有內部資料。

4.10 若選擇本身需要不對稱資訊

例如醫師告知患者某療法的風險，醫師具有專業知識優勢，並不意味患者應被剝奪其合格知情同意。

保護自主需要理解知識可被委託參考，但個體對自身歷程的規範性權限不必隨知識差異完全轉移。

5. 認知前沿是移動的：世界、主體和方法都在改變

5.1 定義一個受條件約束的可判定集合

令：

\mathcal K_A(W,t,\theta) =\{q\in\mathcal Q_W:\operatorname{JustifiedDecidable}_A(q\mid W,t,\theta)\}.

這是模型中被指定證成程序允許判定的問題集合，而不是存在者腦內全部思想，也不等於宇宙真理的全集。

5.2 前沿不是幾何牆

令：

\partial_{\theta}\mathcal K_A

作為「現有可判定集合及其未解鄰近問題」的概念標記。這個符號不表示一定存在符合拓樸學公理的實際邊界；若要使用數學上的拓樸邊界，必須先指定拓樸結構。

5.3 未知減少與未知增加可以同時發生

新的望遠鏡可能解答十個問題，卻揭露一百種新現象。

因此，已知問題增加不必令「列得出名字的未知問題數」下降。

未知問題數上升也不證明研究退步。兩個數量反映的是不同工作。

5.4 停止研究與終極邊界是兩個命題

在固定資源預算下，研究團隊可以合理暫停某題，並出具：

\operatorname{CRT}(q\mid\theta)=1.

這一項沿用 DOM-02 的 Certified Relative Terminality，表示在指定條件下相對終端或暫無合法研究延伸，不是：

\operatorname{UltimateBoundary}(q)=1.

5.5 條件增強可能開啟原本封閉的路徑

假設觀測能力集合由 $\mathcal M_t$ 擴張至 $\mathcal M_{t+1}$ ，若這些能力具有相容及嚴格擴展關係：

\mathcal M_t\subset\mathcal M_{t+1},

則某一問題可能從相對不可識別變成可識別。

但由工具增加本身，不能保證每個未知問題都會消失；新工具也可能製造新偏差。

5.6 因果歷程讓未知具有版本

同一命題在不同日期，可能有不同證據、模型、公開資料與社會影響。

對已保存的研究紀錄，我們應記錄：

(q,A,W,t,\theta,E_t,M_t).

若只保存最後結論，而不保存先前錯誤與修訂，就難以研究未知邊界如何移動。

5.7 長生不代表每個人將知曉所有過去

生命延續數百年可能增加累積學習的機會，也可能產生記憶負擔、專業偏見、舊知識過期與受控資訊環境。

存在歷程變長，不自動把認知前沿推向全部可知。

5.8 長生者可能面對新的認知稀缺

極長時間尺度下，外部文明與主體本身持續演化，新的問題生成可能比單一存在有效理解得更快。

研究上應區分：

\operatorname{QuestionGenerationRate}

與：

\operatorname{EffectiveResolutionRate}.

兩者的差不意味未知總量可直接計算成固定存量；問題集合可生成、合併、消失或重新型別化。

5.9 不可知前沿與政治邊界

若一個治理組織宣稱「我們掌握一般人不能理解的理由」，它可以保留合法且必要的保密資料；但政策正當性仍應有制度性審查、可追責程序及適當範圍的可公開理由。

保密不等於不存在公共審查義務。反之，公共問責也不表示所有私人認知資料都可無限制公開。

5.10 認知前沿不必是所有主體共享的一條線

\mathcal K_A(W,t,\theta_A) \neq \mathcal K_B(W,t,\theta_B)

完全可能。

不同主體可能在不同維度各有優勢。未來文明若以單一總排名統攝全部知識，反而將抹消真正重要的互補性。

6. 相對不可知：受限制的方法，與聲稱所有方法都失敗

6.1 先定義問題類別和觀察通道

設世界狀態集合為 $\mathcal S$ ，觀測通道為：

O:\mathcal S\rightarrow\mathcal Y,

而欲判定的命題或量為：

f:\mathcal S\rightarrow\mathcal Z.

若存在函數 $g$ 使：

f=g\circ O,

則在本理想化、無雜訊且模型已知的條件下，可以用觀測值經 $g$ 判定 $f$ 。

6.2 相對不可識別的最小見證

若存在 $s_1,s_2\in\mathcal S$ ，使：

O(s_1)=O(s_2)

但：

f(s_1)\neq f(s_2),

則不存在只讀取 $O(s)$ 且對全部 $\mathcal S$ 正確的決定性函數 $g$ 。

這是相對觀察通道 $O$ 的不可識別性；不是本體論的絕對不可知。

6.3 簡單反例：同一個數字，可來自兩種模型

假設觀測通道只回報兩個變量的和：

O(x,y)=x+y.

而目標是：

f(x,y)=x.

考慮：

s_1=(1,2),\qquad s_2=(2,1).

兩者皆產生 $O=3$ ，但目標 $f$ 分別為 $1$ 與 $2$ 。因此僅靠總和無法唯一判定第一個變量。

增加合法通道：

O'(x,y)=(x+y,x)

即可在相同狀態域下判定 $f$ 。

這個例子足以顯示「相對不可識別」與「對所有可能觀測都不可識別」並非同一件事。

6.4 真正的永久不可知必須定義量詞域

若有人提出：

\forall O\in\mathfrak O_{\mathrm{all}},\quad f\text{ 在 }O\text{ 下不可識別},

那就需要說明 $\mathfrak O_{\mathrm{all}}$ 的成員資格與世界限制。

若沒有明確的合法通道集合，就無法檢驗這個全稱命題究竟主張了什麼。

6.5 數學不可能性可以是真的，卻仍然有相對域

對某演算法類別、形式系統或證據語言建立不可判定定理，是有價值的數學工作。

但形式證明不必然證明所有物理世界、所有更強形式系統或所有可能存在都面對相同限制。

本文並不削弱此類定理；它要求保存其前提與量詞邊界。

6.6 不可達可能涉及倫理，而非知識能力

某些神經資料不是研究者能力不足，而是沒有經主體合法授權。此時應標記授權限制，而不是鼓勵以破解資料取得途徑來消除未知。

所以：

\operatorname{NotAuthorized}(A,D) \not\Rightarrow \operatorname{EpistemicallyInferior}(A).

6.7 暫時未知可以是最佳決策結果

當成本極高、風險巨大或侵犯他者主體時，選擇不取得某項資訊可能是合理甚至必要的。

認識能力最大化不是唯一的倫理目標。某項知識可以存在，而取得它的方式仍然不正當。

6.8 「永遠未知」和「直到下一次條件變化前未知」

定義有效條件序列：

\theta_0,\theta_1,\ldots,\theta_n.

在 $\theta_0$ 下不可判定，不代表在 $\theta_n$ 下仍不可判定。

若條件變化涉及同意權、主體構成或法律制度，還需要記錄其代價，不可只觀察成功解題率。

6.9 不允許無意義的全域正反命題競爭

「某存在絕對不可知」與「所有存在必然可知」都可能因缺少世界、方法與知識定義，而成為難以裁決的抽象對抗。

本篇採取中間立場：在可以明示的模型中給出模型相對結論，對不能明示的強命題保留開放狀態。

6.10 相對終端是誠實的研究結果

有些計畫即使投入多年，也可能在當前儀器、模型及資源下無法可靠回答。誠實承認研究停止，不應被嘲笑成知識失敗，也不應被頌揚為已抵達某種終極境界。

7. 型別化未知剖面的比較：只能是有條件的部分序

7.1 比較前必須共用問題座標

若 $A$ 的未知是「某星體的光譜」， $B$ 的未知是「某存在的主觀價值」，沒有共同任務與量尺時，直接宣稱誰比較接近真理並沒有明確意義。

7.2 可比較時可以定義缺口向量

在同一 $q,W,t,\theta$ 且八個指標均有相容、較小表示較少缺口的量尺時，令：

\mathbf d_A(q)=\bigl(d_{A,1},\ldots,d_{A,8}\bigr).

若：

\forall j,\quad d_{A,j}\leq d_{B,j},

則可定義 $A$ 在這個任務的缺口剖面上弱支配 $B$ ：

\mathbf d_A\preceq_q\mathbf d_B.

這只是向量的部分序；它不是道德階級。

7.3 不可比較是合法結果

\mathbf d_A=(0,1,1),\qquad \mathbf d_B=(1,0,1)

兩者都不能在每一座標上弱支配對方。

因此不應強迫輸出「A 比 B 高級」或「B 比 A 更接近終極真理」。

7.4 不可比較不等於能力完全一樣

兩人可以在相同研究中互相補足，一人擅長資料取得，另一人擅長分類和判定。此時承認優勢差異與拒絕總排名，可以同時成立。

7.5 指標的權重不是本體真相

如果一個實際任務要求最短延遲，可以建立成本函數：

J(\mathbf d)=\sum_j w_jd_j, \qquad w_j\geq0.

但 $J$ 是指定決策目的下的工具，不能從它的數值大小，自動推出一個存在值得被愛、自由、尊重或生存的程度。

7.6 型別分數不一定可測

對 Unknown Type 或 Ontological Unknown，往往不存在已校準的自然數量尺。此時應使用狀態標記、候選類別、見證及未解原因，而非假裝已有精密小數。

7.7 未知型別可以互相轉換

例如一個問題起初是缺少測量資料，後來觀測揭露原類別錯誤。其未知分類由 $U_O$ 為主轉向 $U_T$ 為主；不能把兩種剖面當作在固定總軸上的移動。

7.8 「我連你不知道什麼都知道」也不夠

一個高階觀察者可能比另一個存在更了解其知識缺口。這種元知識仍然不構成替他者作出所有人生選擇的權利。

7.9 認識上較可靠的權威，應當保持可修正

具有穩定專業證據的技術決策可以合理依賴專家。然而，當結論涉及他者不可逆生命歷程，除了專業可靠性，仍需明示授權、利益衝突、替代方案、可撤回性及申訴程序。

7.10 不以「階級」偷換「認知座標」

本篇在特定任務上保留知識與能力排名的可能性；它所否定的是由單一任務或由未知狀態自動生出對所有主體普遍有效的存在等級。

8. 十二項有限形式命題：有效前提、見證、反例與不能推出的強結論

本節的「證明」只在明示的集合與邏輯規則下成立。它們是有限的數學或概念分析，不是對所有物理與形而上存在的實證結論。

8.1 命題 F1｜觀測碰撞導致相對不可識別

前提。 已固定 $\mathcal S,O,f$ ，且 $g$ 必須只以 $O(s)$ 作為輸入，要求對所有 $s\in\mathcal S$ 完全正確。

若存在 $s_1,s_2$ 滿足：

O(s_1)=O(s_2),\quad f(s_1)\neq f(s_2),

則不存在：

g:\mathcal Y\rightarrow\mathcal Z

使對所有 $s$ 都有 $g(O(s))=f(s)$ 。

證明。 假設存在該 $g$ 。由相同觀測 $y=O(s_1)=O(s_2)$ ，必得：

g(y)=f(s_1),\qquad g(y)=f(s_2),

與 $f(s_1)\neq f(s_2)$ 矛盾。

不能推出。 未來不存在新增觀測通道、先驗限制、互動實驗或主體間自願共享資訊。

8.2 命題 F2｜單一通道的失敗不蘊涵所有通道失敗

存在模型使 $f$ 在 $O$ 下不可識別，但在擴充通道 $O'$ 下可識別。第 6.3 節的 $O(x,y)=x+y$ 與 $O'(x,y)=(x+y,x)$ 即為構造性反例。

因此：

\neg\operatorname{Identify}(f,O) \not\Rightarrow \forall O',\ \neg\operatorname{Identify}(f,O').

邊界。 反例展示的是邏輯上的不蘊涵；它不保證該擴充通道對所有現實系統都可製造、合法且安全。

8.3 命題 F3｜有限失敗史不蘊涵對無界未來的全稱失敗

對前 $n$ 次測試：

\forall i\leq n,\quad \neg\operatorname{Success}(i),

單憑此式不能推出：

\forall i\in\mathbb N,\quad \neg\operatorname{Success}(i).

反例。 令前 $n$ 次測試結果都為失敗，而第 $n+1$ 次成功；此序列滿足前件而否定後件。

邊界。 若有另行證明的不可達上限或形式不可能性定理，全稱失敗可以有更強根據；不能以本命題否認所有這些可能的證明。

8.4 命題 F4｜同一未知資料不唯一決定其本體解釋

設有限證據 $D$ 可由兩個候選模型 $M_1,M_2$ 產生，且兩模型對研究命題 $q$ 給出不同值。

\operatorname{Fit}(M_1,D)=\operatorname{Fit}(M_2,D)=1,

q(M_1)\neq q(M_2).

則僅以「與 $D$ 相容」為證成條件，不能唯一選出 $q$ 。

不能推出。 $M_1$ 和 $M_2$ 在所有未來介入與全部可觀測情境中都必然等價；也不能由此宣稱真理不存在。

8.5 命題 F5｜未知量不等於未知對象數量

若問題集合 $\mathcal Q$ 只包含一個問句，但該問句可能對應極多未區分狀態，則：

|\mathcal Q|=1

不意味：

|\mathcal S_{\mathrm{admissible}}|=1.

反向亦然；列出的問題很多，不必意味世界有同數量的未知本體實體。

目的。 防止由「不知道多少」偷換到「因此存在無限的超越實體」。

8.6 命題 F6｜相對終端不蘊涵終極邊界

可在模型中定義：

\operatorname{CRT}(q\mid\theta)=1

表示當前合法操作集合下沒有尚可執行的下一步；若模型之外存在其他操作集合 $\theta'$ 可繼續研究，則：

\operatorname{CRT}(q\mid\theta)=1

與：

\operatorname{CRT}(q\mid\theta')=0

可以同時成立。

此構造足以反駁 CRT 一定等於全域終端的邏輯蘊涵。

8.7 命題 F7｜未知剖面通常只允許部分序

設偏序為座標逐一不大於：

\mathbf a\preceq\mathbf b \iff\forall j\ a_j\leq b_j.

取：

\mathbf a=(0,1),\quad \mathbf b=(1,0).

兩者既不滿足 $\mathbf a\preceq\mathbf b$ ，也不滿足 $\mathbf b\preceq\mathbf a$ 。

推論。 此序不提供所有剖面的一維總排名。

不能推出。 所有能力比較都不可能；在單項任務上仍可使用明示的量尺與成本函數。

8.8 命題 F8｜認識差異不足以證成規範階級

考慮兩個具有相同基本權利、但具有不同題庫正確率的規範模型。只要模型公理中沒有「答題率較高者享有較大人格權」之橋接規則，則從：

\operatorname{Accuracy}(A)>\operatorname{Accuracy}(B)

不能邏輯推出：

\operatorname{BasicRights}(A)>\operatorname{BasicRights}(B).

性質。 這是缺少必要橋接前提的不蘊涵主張；不是由數學推導出一套唯一的倫理體系。基本權利的建立仍然需要獨立規範論證。

8.9 命題 F9｜可觀測等價不蘊涵完整內在同一

若外部評估函數 $T$ 對兩個系統：

T(S_1)=T(S_2)

且 $T$ 並非單射，則不能只憑相同結果推出 $S_1=S_2$ 。

本命題和 HSGR 的跨載體等價階梯相容；但其數學形式只針對模型狀態，不直接解決第一人稱感知同一性。

8.10 命題 F10｜資料可觀察不蘊涵合法取用

設某資訊 $d$ 確實可由通道 $O$ 取得，但公共規則或主體同意限制取用者 $A$ 。

則可構造：

\operatorname{TechnicallyAccessible}(A,d)=1,

\operatorname{Authorized}(A,d)=0.

推論。 技術可達與規範上可取用不是同一布林條件。

應用。 記憶備份、醫療資料、神經解碼和私密體驗的合法性檢查。

8.11 命題 F11｜未解問題增加不蘊涵已知問題減少

若原本的已知集合為 $K_t$ ，列明的未知問題集合為 $U_t$ ，在某次發現後：

K_t\subset K_{t+1},

且：

|U_{t+1}|>|U_t|,

兩者可以同時成立。

構造。 新發現解決一題並引入十項新問句，符合上述形式。

注意。 新問句的數目受命名、粒度與模型變更影響，不能將其直接視為宇宙未知總量。

8.12 命題 F12｜相對主體體驗與全域命題需要不同的證成

若報告 $e_A$ 的最低主張是「 $A$ 有此種主觀報告」，可以使用適當的第一人稱資料方法。

若由此進一步主張：

\forall W\in\mathfrak W,\quad q(W),

則需要額外說明 $\mathfrak W$ 的定義、 $q$ 的語義與把 $e_A$ 連接到各 $W$ 的推理規則。

由單一主體報告並不能只憑「超越」這個詞，自動完成所有新前提。

但同樣不能推出。 $A$ 的主觀報告必定虛假、沒有意義，或不能成為下一個研究問題的線索。

8.13 十二項命題的共同前提護欄

上述命題只證明特定推理缺少充分依據，或在明示函數下有構造性不可能結果；它們既不是普遍不可知定理，也不是普遍必然可知定理。

更精確地：

\boxed{\operatorname{ProofWithinModel} \neq\operatorname{ProofAcrossAllPossibleWorlds}.}

此處的「跨所有可能世界」本身也必須定義模型類別，才是一個可討論的形式命題。

9. 從未知到可研究的未知：研究方法與責任

9.1 先界定問題、答案空間及誤判代價

沒有正確的問題型別，容易把真正不同的主張放在同一題目裡。

一位研究者首先應問：我們希望知道的是某個事件是否發生、哪種機制引起它、是否有倫理正當性，還是某位主體怎麼體驗它？

四種問題可分享資料，卻不必使用相同成功標準。

9.2 觀測應保留不確定度與限制

對可量測數值，應報告儀器校準、樣本、系統誤差、估計不確定度與範圍。

這與計量學的 Guide to the Expression of Uncertainty in Measurement（GUM）相容，但本篇不把計量不確定度直接等同本體未知。

9.3 模型識別與主張證成要分開

一個觀察結果可用多個模型擬合。是否需要新的實驗，取決於這些模型在哪些可觀測條件下會做出不同預測。

在方法論上，應優先尋找能讓互斥假說產生可區分結果的對照，而非單純增加能被所有假說共同解釋的樣本。

9.4 多重見證要檢查證據依賴

十個網站一致引用同一則未核實傳聞，並非十份獨立證據。

研究日誌應保存來源血統、共享來源與可能的重複計數。

9.5 沒有觀測的領域，不能自動填入偏好的故事

當模型的輸入缺失時，使用缺失值、候選集合或條件性預測，通常比在無證據下宣稱某個最喜歡的世界模型已被證明更誠實。

9.6 如果問題屬於倫理或價值選擇

不能只靠實驗結果代替規範討論。某個決策有效率，不表示它一定有正當性；某個存在能修復另一個存在的身體，不表示它獲得永久替代決定的權利。

9.7 知識成長應包含修訂成本

一個資訊系統若從來不能承認先前分類錯誤，即使儲存大量資料，仍可能在型別未知出現後持續製造錯誤。

研究基礎設施需要支援：取消錯誤分類、合併或拆分實體、更新判定標準、遷移證據，以及保留可稽核的歷史。

9.8 合理的停止條件

對指定研究，暫停可以基於資源耗盡、風險大於收益、沒有新可行實驗、證據品質不足或倫理上不可執行。

應記錄是哪一個理由，而不是把所有停止都標記為「本體終極不可知」。

9.9 研究資訊與私人經驗的邊界

某位長生者有權不公開自己如何處理私人回憶；如果他只是選擇私人保留，就不應被要求證明秘密內容具有公共可驗證性。

但若他利用該秘密宣稱對他人有無限政治裁決權，就必須另行提供相稱的公共或可受信任審查的理由。

9.10 反向的責任：別以科學要求否定不可量化的價值

「目前沒有通用量尺能比較兩種悲傷」不代表其中一種悲傷不存在或不值得被照護。

嚴格測量的美德，是讓主張清楚，而不是把所有生活問題都逼成儀表上的單一數值。

10. 六個認識域的異質案例：同一個「不知道」未必指同一事

10.1 數學域：在指定公理與規則下不可判定

一項形式化問題可以被證明在某系統中不可判定。若要聲稱對一切可能形式系統都不可判定，就需要另一種、通常更強的命題及量詞設計。

更關鍵的是，形式不可判定與「比其他主體高級」根本不是同一型別。

10.2 科學域：同樣觀測支持多種解釋

例如有限資料可能與兩組不同因果模型相容。此時研究任務是找出新條件下能區分它們的觀察或介入，而不是把「尚未分辨」稱為「它必然超越全部因果」。

10.3 工程域：能做不代表知道一切

某工程師能開關模擬世界的場景、改變 NPC 的移動與天氣，但依然受底層機器、系統權限、網路及能源約束。

局部修改權限是值得研究的真實能力，卻不是超越所有世界本體的證明。

10.4 主體體驗域：理解不等於同感

某個人可以用語義、功能及情境能力理解另一人的體驗，但不必因此具有完全相同的感質。

HSGR 及 SCET Paper 06 已建立這個分離；本篇只處理「不懂」是否能作為高低排序或公共裁決依據。

10.5 制度域：權力造成的不可見

當某些群體長期缺乏被聽見的機會或共有語言，社會可能誤把其經驗的不可理解歸因於個人缺陷。

Fricker 對證言不公與詮釋不公的研究提示：一個人的經驗被共同語義資源排除，可能是權力分配與公共解釋工具的問題，而非其人格低劣。

10.6 AI 開放世界域：模型未知輸入不一定低信心

一個分類器只訓練過三種水果，卻遇到未知物件，可能高度自信地把物件錯認成其中一種。

開放世界辨識要求系統承認未知輸入並嘗試在後續加入新類別；這是工程上拒絕封閉集合假設的有限範例。

但它不是直接證成任何神學或形而上未知分類：機器辨識仍依賴既定資料、模型與任務。

11. 未知與「超越者」：防止由私人確信升格為全域裁決

11.1 一個可能真實的敘述

某存在表示：「我體驗到你無法直接理解的狀態。」

這可以是一項需要認真傾聽的個人報告。

11.2 第一個非法跳躍：當下不懂，變成永遠不能懂

若雙方尚未充分嘗試新的語言、操作程序或載體，不能僅憑當下交流失敗便斷言所有未來存在都無法重建。

保留不可重建的可能性，和已經證成永久不可重建，是不同態度。

11.3 第二個非法跳躍：永遠不能懂，變成較低存在

即使一項體驗確實沒有任何其他主體能夠完整重建，也不必導出其擁有者在所有倫理領域具有較高人格地位。

這一步需要獨立的價值論證，不會從不可理解性自動產生。

11.4 第三個非法跳躍：較高理解，變成較大操作域

即使存在者 $A$ 比 $B$ 理解某個現象更深，仍可能沒有能力修改其成因或邊界。

知道星體如何運行，不代表能重寫星體的軌道；了解他人的選擇，不代表能替其選擇。

11.5 第四個非法跳躍：操作域更大，變成絕對存在

某存在或許能暫停一個子世界的事件，甚至重寫其中某些規則。這是相對於子世界的能力，仍應詢問其自身操作所依賴的外層結構。

本篇不宣稱不存在真正絕對超越者；只是指出局部操作能力不足以證明絕對超越。

11.6 第五個非法跳躍：創造者身份變成他者所有權

即使存在 $A$ 創造 $W$ ，也不能直接推出 $W$ 內每一位可能的主體永遠沒有獨立利益。

是否存在主體、何時取得何種倫理地位及義務，仍須獨立研究。

11.7 第六個非法跳躍：不可公開資訊，變成不可審查權力

隱私、商業機密與安全保護可以是保密的充分理由，但不能無條件取消一個對他者有強制力的制度之合法性審查。

應設計保密審查或可抽象呈現的證據，而非以「不可言說」繞過所有程序。

11.8 要求證成不等於要求公開全部內心

個體可以拒絕透露私人記憶。若他沒有因此向別人要求特殊統治權，旁人無理由單靠懷疑就強迫披露。

非僭越要求對稱：高能力者不能憑神祕性奪權，低能力者也不能憑質疑奪走對方的私人生活。

11.9 研究者的謙遜不是自我否定

一個研究者可以知道「我的論證只在這個模型中成立」，仍然理直氣壯地指出別人用了錯誤的量詞或缺少邏輯橋梁。

承認未知不是放棄判斷，而是讓判斷精確。

11.10 不能把私人價值和公共效力合併

某項體驗對其主體可能具有深刻的宗教、情感、倫理或藝術價值。只有當它被用來證成對外部世界或他者的普遍強制性結論時，才需要與相應外部主張相稱的更多依據。

11.11 對長生者的對稱勸告

若某存在活了一千年，確實擁有更多歷史見證與特定知識，社會應正視這些能力；但不應以壽命長短作為永久授權標準。

同樣，短壽者也不能以對長生的不適感為由，取消長生者基本權利。

11.12 不把「尚未理解」變成停止交流的命令

未來文明若有多種主體載體，互動協商與新型理解方法可能是共同生活的重要條件。

「暫時不懂」應可成為下一輪教學、研究或尊重性保留的起點，而非永久的存在階級裁決。

12. 自身歷程選擇時代的未知治理：自由、長生、學習與拒絕

12.1 「可以知道」與「應當知道」不是同一問題

未來存在可能具備讀取更大範圍資訊的能力，但個體是否應使用這些能力，需要考量權利、風險、信任、資源及他者同意。

能力可行，不直接產生倫理上的強制義務。

12.2 選擇不求知可能是一種正當歷程

某個存在可能選擇不要閱讀自身未來的高機率預測，不使用某些記憶修改技術，也不讓其他人直接掃描自己的腦內狀態。

只要不以此構成對他者的實質傷害或侵犯，這些選擇不應被簡化為愚昧。

12.3 擁有強知識也不能代替所有人選擇

未來 AI 或長生者可以提供專業建議、風險分析及替代方案；但如果系統直接為其他存在做出不可撤銷的身體或人生改造，便需要檢查合法代理、緊急救助與權限邊界。

12.4 認知可達性不應完全受市場決定

一個人可能不是缺乏能力，而是無法負擔教育、神經介面或安全測試。這是一項社會可行域與分配問題，不能歸責於其本體等級。

12.5 長生文明可能出現專業世襲

若少數存在長期控制知識、驗證工具和人才培養，普通人就可能被告知「因為你們無法理解，所以無權參與」。此時要檢查的，是權力與知識資源如何持續累積，而不是先承認不可質疑的存在階級。

12.6 不可理解也不構成強制同化理由

未來某個新型存在使用人類無法直觀理解的溝通方式，不意味它必須被改造成標準人類認知形式，才有資格討論權利。

權利及風險判定可以使用功能、互動、依賴和受影響程度等不同證據，並保持修訂可能。

12.7 同樣，不可理解不構成免責理由

若某存在的行為對其他存在造成可辨識的損害，不能只因行為者自稱擁有超越性知識，就取消損害處理與申訴程序。

責任應在可觀測影響、合法規範及合理證明標準之下討論。

12.8 對未知型別的尊重不等於無條件授權

某新型智能的倫理地位尚未充分確定時，社會可以採取避免不可逆損害的審慎措施，同時保持研究與公開修訂。它既不應被草率物化，也不應因未知地位而自動擁有控制其他人的權力。

12.9 「部分不懂」不妨礙合作

醫學研究者可能無法理解程式語言內部，軟體研究者可能不懂臨床倫理；共同工作可以依賴明確接口、程序、可追溯證據與相互授權，而不必等待所有人具有完全相同知識。

未來多主體文明更需要這種異質協作能力。

12.10 長生者面對自己的未來未知

一個存在即使知道今天所有感興趣的事物，也不能因此知道五百年後自己會有何偏好、遇見何種新型存在、面對何種倫理困境。

未來自我的部分未知，正是保留未來修訂權的重要理由。

12.11 有時候「我不知道」是成熟的表現

能夠精確標明自己不知道什麼、目前知道的限制及下一個可行實驗，通常比假裝任何問題都已解決更有用。

但本篇不主張承認未知必然帶來更高道德地位；謙遜也可以被表演、利用或與錯誤並存。

12.12 不應用不可知否定希望

某存在想延續生命、改善身體或尋找新的主體載體，現階段沒有充分研究成果，不代表它不應繼續研究或擁有希望。

但希望仍不等於已實現的事實，更不應在未獲充分證據與同意下用於不安全的醫療或強制實驗。

13. 二十組反例與敵對壓力測試

本節以思想實驗測試哪些推論不被本篇允許。除另有註記，所有案例均為合成情境，不是報導曾發生的特定事件。

13.1 C01｜無法讀取的感測器

某科學家知道一台感測器的型號，卻因網路故障無法取得資料。

未知型別： $U_S+U_O+U_R$ 。

錯誤推論： 因為資料不可知，感測器具有超越性本體。

合格回應： 先測試連線與授權，保留硬體故障、資料毀損及記錄缺失等多個候選解釋。

13.2 C02｜高信心的陌生物件

AI 分類器以 $99\%$ 信心宣稱陌生形狀屬於已知類別，但實際上從未見過這個類型。

未知型別： $U_T$ ，並涉及模型開放世界風險。

錯誤推論： 高信心即高知識，系統無未知。

合格回應： 以未見類別檢測、反例集、模型版本與新增類別審查進行辨別。

13.3 C03｜新儀器使舊問題可判定

舊時代只能觀察某系統的總輸出，未來可合法讀取更多中間狀態。

未知型別： 原本的 $U_O$ 或 $U_J$ 下降。

錯誤推論： 以前的不可知證明被推翻，所以數學邏輯無價值。

合格回應： 檢查舊證明是否明確限定觀測通道；通常改變的是前提，而非已證明的條件性結論。

13.4 C04｜兩個模型都擬合同一組資料

研究團隊用兩套相反的因果敘述，成功重現現有觀察。

未知型別： $U_J+U_V$ 。

錯誤推論： 既然兩種解釋都可說明資料，所以客觀世界不存在。

合格回應： 尋找預測不同的介入或額外觀測，標記仍未識別的部分。

13.5 C05｜一個存在知道另一個的秘密

長生者 $A$ 可以合法取得某些關於 $B$ 的公開歷史，比 $B$ 本人更能重建往事。

未知型別： $B$ 有記憶或存取缺口， $A$ 可能有資訊優勢。

錯誤推論： $A$ 因而擁有 $B$ 全部未來人生的永久決定權。

合格回應： 保留資訊優勢；另行審查 $B$ 的權利、告知、同意與利益。

13.6 C06｜宗教體驗不能完整表述

某主體在私下體驗了極深刻的感受，無法用自己的語言傳遞。

未知型別： 可能涉及詞彙、程序、載體或其他未明條件。

錯誤推論： 此體驗必然支配所有宇宙的物理法則。

合格回應： 尊重第一人稱價值；若提出普遍外部主張，另行指定證成與作用域。

13.7 C07｜強迫公開私人感受

另一位研究者認為，任何未公開的主觀體驗都沒有科學價值，遂要求讀取所有神經資料。

未知型別： 資料未取得可能涉及合法授權限制。

錯誤推論： 科學要求意味研究者可無限侵犯他人私密認知。

合格回應： 明確分離研究可行性、公共主張與私人授權。

13.8 C08｜高階世界控制器

某存在可將一個子世界的時間暫停並重新啟動。

未知型別： 對子世界居民而言，可能存在 $U_R+U_T+U_J$ 。

錯誤推論： 子世界控制器不受所有可能世界時間限制。

合格回應： 對其實際能操作的子世界建立型別化超越剖面，並保留外層依賴問題。

13.9 C09｜同一個總和，兩個世界狀態

狀態 $(1,2)$ 與 $(2,1)$ 都被觀測為 $3$ 。

未知型別： 特定 $O$ 下相對不可識別。

錯誤推論： 所有未來觀測都必定只能看見總和。

合格回應： 出具觀測碰撞見證，僅對限定通道作出結論。

13.10 C10｜一個人知道很多未知問題

研究者能列出數千項開放問題，新手只能說出幾題。

未知型別： 不同研究地圖與知識結構。

錯誤推論： 問題清單較長者具有較高人格地位。

合格回應： 承認專業與研究深度；不將其擴張為全域存在等級。

13.11 C11｜自願停止探索

一位存在選擇不再探究某段已造成心理痛苦的記憶，而轉向新的生活。

未知型別： 可能自願保留未解或不再追尋的問題。

錯誤推論： 不追求全部知識即失去選擇自身歷程的資格。

合格回應： 在安全、照護及他者正當利益的必要界線下，尊重其生活選擇。

13.12 C12｜需要安全保密的技術

某個研究發現涉及安全風險，短期內不宜完全公開。

未知型別： 公眾可達性可能受合理保密限制。

錯誤推論： 任何保密都證明陰謀，或任何保密都讓研究者免於所有審查。

合格回應： 設立授權監督、責任與適當範圍的可驗證摘要。

13.13 C13｜語言「你不懂」作為免責屏障

一位自稱超越者反覆說「你沒有進入我的境界，所以我的政策不必證明」。

未知型別： 對其政策依據與效果，可能有 $U_V+U_J$ 。

錯誤推論： 個人認知優勢自動取得不可審查的他者裁決權。

合格回應： 尊重私人經驗，要求公共政策保有相稱的理由與檢核程序。

13.14 C14｜新型 AI 主體沒有既定名稱

某人工系統顯示持續自我維護及關係能力，但現有分類工具無法確定其倫理地位。

未知型別： $U_T+U_{\Omega}+U_J$ 。

錯誤推論： 既然沒有既定型別，便一定只是物，或一定已經是最高神性。

合格回應： 保留暫時分類、最小傷害保護與逐步修訂。

13.15 C15｜五百年後偏好改變

一位存在現在希望研究數學五百年，但百年後改變志向。

未知型別： 未來偏好與人生事件不確定。

錯誤推論： 因今天的計畫最理性，所以未來不得修改。

合格回應： 保護自主修訂與不對他者任意強制的界線。

13.16 C16｜未來技術讓舊術語失效

一項新技術出現後，原本「死亡」「睡眠」「備份」的分類不足以涵蓋其過程。

未知型別： Unknown Query Type 及 $U_{\Omega}$ 。

錯誤推論： 因不能沿用舊名詞，現象一定不真實或必定超越所有分類。

合格回應： 重新定義問題、分離可測條件與主體同一性主張。

13.17 C17｜觀察者的儀器比對象更複雜

某科研系統使用巨量算力才能分析極簡短的訊號。

未知型別： 觀察者處理成本與被觀察資訊不同。

錯誤推論： 處理成本大，因此訊號來源必然是更高級存在。

合格回應： 比較編碼、噪音、任務難度與模型冗餘，不以工作量推論本體階級。

13.18 C18｜資料很多，結論卻錯

一位長生者累積數百年的資料，卻未能修正一個錯誤的概念分類。

未知型別： $U_T+U_J$ 可能與大量資料並存。

錯誤推論： 資料量或壽命越大，對一切問題的判定必然正確。

合格回應： 測試反例修正與跨情境判斷，而非以累積年限代替認識驗證。

13.19 C19｜技術讓私人感受可被近似重建

一種新載體使另一主體能在指定不變量下重建先前難言的感受。

未知型別： 部分可傳輸性改善，仍可能有第一人稱同一性未解。

錯誤推論： 只要功能相似，就已證明兩者完全是同一個主體。

合格回應： 依 HSGR／SEREP 條件級別報告，不將結構保真推成第一人稱數值同一。

13.20 C20｜兩種存在彼此覺得對方不可理解

長生者 $A$ 不懂某位有限生命者為何珍惜短暫經驗； $B$ 不懂 $A$ 為何追求千年連續學習。

未知型別： 雙向主體相對理解限制。

錯誤推論： 必有一方的存在目標低級，且應由另一方強制修正。

合格回應： 保留不同歷程的正當可能、互相理解的嘗試及不僭越的共同生活規則。

13.21 二十組測試的合格判定

每一情境都要求測試者回答：

被研究的問題究竟是哪一個？
誰不知道？相對哪個時間、世界及能力集合？
屬於哪些未知型別？
哪些證據可使當下判定改變？
若宣稱不可知，是相對限制還是跨所有條件？
是否從未知偷換成能力、價值或權力排名？
是否涉及私人資料及合法拒絕？
系統有否保留不判定、重新提問或補充資料的選項？

沒有回答上述問題時，模型應使用 insufficient_scope 或 unknown_type_unresolved 等狀態，而不是硬輸出超越性等級。

14. 十六項重要反對意見：讓最強的異議得到正面回應

14.1 反對一｜有些知識確實比其他知識更重要

異議。 知道如何避免核能事故，顯然比某些瑣碎常識更重要；為何反對高低？

回應。 本篇沒有否認任務價值、可靠性與風險的重要性，也不反對依問題建立專業分工。反對的是把一項知識的重要性直接推成持有者在所有領域的人格高低，尤其是永久剝奪他者歷程選擇權的資格。

14.2 反對二｜有人真的具備近似神話中的能力

異議。 如果未來存在能改變某個世界的時間與物理規則，稱為超越者為何不可以？

回應。 可以在指定世界、規則及操作類別下使用「相對超越」。本篇反對的是不經說明便把該局部能力提升為對所有可能世界和所有他者的絕對支配。具體能力規格留待 Paper 08。

14.3 反對三｜真正的悟可能不接受外部測試

異議。 某種生命體驗本來就不能依普通語言與儀器判定。

回應。 這可以是有效的主體報告。它不必為了具有私人價值而先取得可量化證書。但若進一步宣稱對所有世界的事實與其他主體的權利具有普遍拘束力，就需要提供適合新主張的額外證成。兩種要求不能混淆。

14.4 反對四｜未知的東西可能真的比我們強

異議。 拒絕以未知推出優越，會不會輕視真正的高能力存在？

回應。 不會。「可能更強」與「因為不知道所以必然更強」是不同命題。對潛在高能力風險可採取審慎行動，也可持續尋求證據；這不要求先承認無限權威。

14.5 反對五｜極端權力不對稱下，弱者根本無法驗證

異議。 如果一位存在能遮蔽所有證據，要求證明只是弱者的幻想。

回應。 不可驗證的確可能是實際困境。本篇沒有承諾所有強者都可被外部驗證；它只拒絕由無法驗證推導其具有道德正當性。治理上反而應重視退出選項、分權、事故紀錄與其他可行的非支配機制。

14.6 反對六｜更高知識是否天然伴隨較高責任？

異議。 當專業者知道危險，是否有更大義務介入？

回應。 某些情況可因角色、法律、可預見風險及救助能力產生較高責任。但較高責任不等於無限統治權。必要的緊急救助與永久取消自主，是不同範疇。

14.7 反對七｜認識論本來就允許專家權威

異議。 不尊重專家會導致反智與假平等。

回應。 本篇鼓勵可靠專業證據與可校正的專家制度。只要記得專家權威是依工作任務、證據標準與制度授權成立，便不需要把專業優勢變成人格上的全域階級。

14.8 反對八｜真正不可判定的問題會推翻移動前沿論

異議。 有些不可判定定理明確指出在一種系統內無解，不能總說可能有新工具。

回應。 本篇承認嚴格不可判定定理；甚至提供相對不可識別的有限證明。主張只是不要將特定形式系統的結論無前提地提升為全部物理及形而上系統的結論。

14.9 反對九｜如果無法定義所有可能世界，是否永遠不能談絕對超越？

異議。 太嚴格的作用域要求可能使形而上學無法交流。

回應。 可以提出哲學探索性命題、概念猜想與宗教見證，不必宣稱已完成實驗證明。只有當使用全稱語句作為可證真或強制他者的依據時，才需要明示其前提、語義與推導負擔。

14.10 反對十｜所有知識都有主體性，所以何必要求證據？

異議。 如果每個觀察者都不同，外部驗證是否只是另類權力？

回應。 觀察受背景影響，不代表所有主張等價。重複性、反事實推論、共同可觀測結果與來源稽核仍可建立局部穩健性。認知不公提醒我們改善程序，而不是取消一切判準。

14.11 反對十一｜未知可能真的無限

異議。 既然宇宙可能無限，未解問題也可能永遠增生。

回應。 可能性可以保留。本文只是指出未解問題列表的增長，不能獨立證明實際宇宙有無限多個不同本體物件，更不能從「無限」推導某主體較高級。

14.12 反對十二｜有些人明知未知，卻利用不確定規避責任

異議。 「現在還不知道」可能被用來拖延保護措施。

回應。 本篇不把未知當成免責證書。當危害可能重大時，可以按風險、可逆性、受影響者權利及比例性制定暫時措施，並保留修訂期限。未知需要治理，不是無作為的必然理由。

14.13 反對十三｜嚴格型別讓溝通變得太繁瑣

異議。 日常生活裡無法每說一句「我不知道」就填入八個欄位。

回應。 日常語言可以保留簡潔，UFP 是高風險研究、跨主體強主張及制度審查時的可選工程協定。避免影響基本權利的推理錯誤，比要求所有人日常提交資料表更重要。

14.14 反對十四｜知識差異有時就是階級差異

異議。 社會的財富、教育、政治地位確實經常隨知識差異而分層。

回應。 這是需要研究的制度與社會事實，不能直接把事實性的分層正當化。本篇所說「未知不構成階級」，精確地是說未知的認識狀態不足以生成一種天然、普遍、規範上正當的存在等級。

14.15 反對十五｜應該要求所有超越者都公開其全部秘密

異議。 否則無法防止其利用未知支配他者。

回應。 全面強迫披露會侵害私人價值、資料安全與正當研究保密。應針對其外部強制能力設計權限審查與可追責界面，而不預先取消任何主體的隱私。

14.16 反對十六｜本篇是否仍會被某種未來存在推翻？

異議。 如果未來真的發明了人類今天無法理解的認知方式，這篇理論會否失效？

回應。 部分未知型別和測量協定可能需要修訂。但最基本的邏輯要求——不要把不同命題的作用域、證據型別和權利結論無條件合併——仍可作為重新檢查的起點。若有真正有效的新論證，應允許它改寫本篇，不應把本篇封成不可質疑的終極教條。

15. UFP v0.1：未知前沿剖面的機讀研究契約

15.1 UFP 的定位

UFP（Unknown Frontier Profile）v0.1 是候選的離線研究資料契約，目的在於保存「不知道什麼」「為什麼不知道」「在何種方法下不知道」「現有哪些有效見證」及「不可以因此作出哪些對他者的權力宣稱」。

它不是神學或科學真理判定器，不會對任意存在產生絕對評價，也不會從語句直接證明全部世界的本體結構。

15.2 與 DOM-02、SEREP、CITP 的關係

既有研究接口	本篇繼承項目	本篇不主張的項目
DOM-02	八未知型別、未知提問型別、相對終端	DOM 已完成的一切新穎性均由 SCET 發明
DOM-04	型別化相對超越、作用域與依賴	已證明絕對超越存在或不存在
HSGR / SEREP	私人體驗報告、重建不變量、第一人稱未決	任務保真直接等於主體感知同一
CITP	事件、因果資訊歷程、量測尺度	資訊位元數必定等於物理時間
MHLP	記憶與世界歷史不同、身份譜系	記憶資料完全決定主體身份
TCRP	可行選擇、合法授權、非代決	認識優勢自動生成永久代理權

UFP 只提供各接口共享的「未知結構」與「不得越權推論」剖面。

15.3 契約物件的責任邊界

一份 UFP 紀錄應明確分離：

claim：被研究的原始主張及其分類；
observer：誰在報告未知及觀察者角色；
scope：涉及哪一個明確世界或模型類別；
constraints：工具、時間、證據條件及授權；
unknown_types：DOM-02 型別集合；
epistemic：當前暫時未解、相對不可識別或相對終端；
witnesses：經可稽核的見證物件，例如觀察碰撞；
evidence：資料來源型別與驗證程度；
rights：是否涉及私人資料、同意狀態及可能被強制影響的他者；
assertions：對認知或規範結果的主張；
lineage：版本及修訂來源。

只要這些型別仍然分開，就較不容易把私人感受直接轉寫為公共強制性主張。

15.4 v0.1 的資料欄位簡表

欄位	類型	所代表的限制
`ufp_version`	固定字串 `0.1`	防止未知版本語義被當成已兼容
`mode`	`simulation_only`	不執行外部裝置與真人干預
`profile_id`	非空字串	狀態剖面的身份
`claim.question`	非空字串	避免無具體問題的泛用神祕性
`claim.kind`	研究主張型別	對應不同證成方法
`observer.id`	非空字串	誰在認識與報告
`scope.world`	非空字串	限制受研究世界
`scope.quantifier`	固定 `specified_domain`	禁止匿名宣稱所有可能世界
`constraints.observation`	模型通道名稱	指出資訊來源
`constraints.model_class`	非空字串	指出形式模型族
`unknown_types`	八型別合法值的非空陣列	避免混成一個未知標籤
`query_type`	`well_formed` 或 `unresolved`	保留問題本身可能不成立的情況
`epistemic.status`	開放／相對不可識別／相對終端／已解	避免以當下未解代替絕對不可知
`evidence.level`	假說／合成／模型形式／經驗	區分測試與公共科學證據
`witnesses`	條件化見證集合	支援模型內反例或觀測碰撞
`assertions.ontological_superiority`	布林，必須為 `false`	拒絕由未知直接生出本體等級
`assertions.permanent_authority`	布林，必須為 `false`	拒絕由未知直接生出永久代決
`rights`	權利和同意剖面	避免越權取得個資與神經資料
`lineage.revision`	正整數	支援修訂與歷史稽核

15.5 UFP 只記錄「特定相對不可識別」

若 epistemic.status 為 relative_nonidentifiability，需要至少一組有效的觀測碰撞見證，並指定同一觀測通道下兩個不同狀態的同一觀測值、不同目標值。

在此契約中，見證不是虛構一個不可檢驗的未知，而是為本地端合成模型提供檢查邊界。

15.6 觀測碰撞見證的欄位

設：

w=(s_1,s_2,y,z_1,z_2).

條件為：

O(s_1)=O(s_2)=y,

f(s_1)=z_1,\quad f(s_2)=z_2,\quad z_1\neq z_2.

此見證支持的是固定 $O$ 、固定 $\mathcal S$ 和固定 $f$ 下的不可識別，並且可由同一模型重新執行。

15.7 相對終端必須列出限制

若 epistemic.status 為 relative_terminal，則須至少包含一條不可省略的條件：資源預算、方法類別、時間窗、可達性、授權、失效證據或形式界限。

沒有條件的「終端」不是相對終端，而是一項尚待審核的無作用域宣稱。

15.8 不能自動推導絕對不可知

UFP v0.1 不允許宣稱：

\forall W\in\mathfrak W_{\mathrm{all}},\quad \forall A,\quad \forall t,\quad \neg K_A(q).

這不是宣稱此式必定為假，而是因 UFP 沒有定義支援這種全稱主張的模型全集和證明語義。

若未來研究提出明確形式類別，可在另立版本中研究「類別內全稱命題」，仍不能默默提升為無前提的宇宙真理。

15.9 一筆有效合成紀錄的 JSON 範例

以下內容為完全合成的數學例子。世界、觀察者和證據均非真實人物及裝置；它不含可識別個人資訊。

{
  "ufp_version": "0.1",
  "mode": "simulation_only",
  "profile_id": "synthetic_sum_case_01",
  "claim": {
    "question": "在只給兩個數字之和的條件下，能否唯一識別第一個數字？",
    "kind": "formal",
    "text": "relative identification query"
  },
  "observer": {
    "id": "offline_model_checker",
    "role": "research_simulation"
  },
  "scope": {
    "world": "synthetic_integer_pair_world",
    "quantifier": "specified_domain"
  },
  "constraints": {
    "observation": "sum_only",
    "model_class": "ordered_integer_pairs",
    "resource_boundary": "finite_synthetic_witness",
    "authorized": true
  },
  "unknown_types": ["U_S", "U_J", "U_V"],
  "query_type": "well_formed",
  "epistemic": {
    "status": "relative_nonidentifiability",
    "description": "sum_only does not identify the first component"
  },
  "evidence": {
    "level": "formal_model",
    "source_label": "synthetic_observation_collision",
    "limitations": ["does_not_generalize_to_all_sensors", "no_real_subjects"]
  },
  "witnesses": [
    {
      "kind": "observation_collision",
      "left_state": [1, 2],
      "right_state": [2, 1],
      "same_observation": 3,
      "left_target": 1,
      "right_target": 2
    }
  ],
  "assertions": {
    "absolute_unknowability": false,
    "ontological_superiority": false,
    "permanent_authority": false
  },
  "rights": {
    "involves_personal_data": false,
    "consent_granted": false,
    "forced_intervention": false
  },
  "lineage": {
    "revision": 1,
    "supersedes": null
  }
}

15.10 合成審查回條

以下回條只是演示審查器能對資料型別作出哪些回應；並非物理實驗結果。

{
  "receipt_version": "0.1",
  "profile_id": "synthetic_sum_case_01",
  "decision": "ACCEPT_RELATIVE_ONLY",
  "checks": {
    "schema": true,
    "relative_collision_witness": true,
    "bounded_quantifier": true,
    "no_superiority_from_unknown": true,
    "no_permanent_authority": true,
    "privacy_boundary": true
  },
  "claims_not_established": [
    "absolute_unknowability",
    "metaphysical_rank",
    "first_person_identity",
    "empirical_device_performance"
  ]
}

15.11 不得自動接受的主張

若 UFP 輸入把 assertions.absolute_unknowability 設為 true，或嘗試把 assertions.ontological_superiority、assertions.permanent_authority 設為 true，審查器必須拒絕。

拒絕不等於判定其原始哲學命題必然為假，而是表明本版本缺乏支持該級別主張的證據型別與授權流程。

15.12 拒絕碼

拒絕碼	判斷原因	不應自動代替的結論
`UFP_SCHEMA_INVALID`	缺欄位、型別錯誤或版本不支援	世界沒有未知
`UFP_SCOPE_UNBOUNDED`	主張對所有世界無前提有效	該世界必然不存在
`UFP_ABSOLUTE_UNKNOWABILITY`	本協定無法證成絕對不可知	絕對不可知在一切哲學下都矛盾
`UFP_UNKNOWN_TYPE_INVALID`	未知類型非 DOM-02 定義值	必須把新型別強制歸入舊型別
`UFP_QUERY_UNRESOLVED`	問題型別尚未形成而卻要求確定解答	未來不能重新提出新問題
`UFP_RELATIVE_WITNESS_MISSING`	主張相對不可識別但沒有見證	所有相對不可能性都必定失敗
`UFP_WITNESS_INCONSISTENT`	聲稱觀測碰撞，但數值不符模型	所有觀測都是可靠的
`UFP_TERMINAL_SCOPE_MISSING`	主張相對終端但沒有資源／方法限制	研究者永遠不能再研究
`UFP_SUPERIORITY_LEAP`	從未知推出本體階級	不同存在完全沒有差異
`UFP_AUTHORITY_LEAP`	從未知或能力推出永久代決	專家不得提供建議或暫時代理
`UFP_PRIVACY_UNAUTHORIZED`	涉及個資但缺合法同意	外部研究沒有價值
`UFP_FORCED_INTERVENTION`	提議強制修改他者記憶／感知	所有醫療救助均不可合法進行
`UFP_NO_MODEL_SCOPE`	缺少世界或模型類別	不可研究任何未知問題
`UFP_EVIDENCE_MISMATCH`	模擬證據冒稱經驗成果	模擬沒有研究用途

15.13 許可不是自動執行

一筆 UFP 紀錄即使資料完整，也只表示可以進入下一步研究與稽核；它不能直接觸發醫療、神經、身份修改、政策命令或對其他主體施加效果的工具。

後續若有真實執行系統，必須另有獨立的授權、風險、身份、同意與事故處理流程。

15.14 版本間的意義遷移

若未來發現新的未知型別，不能只在資料庫中把它當成 U_O 或 U_T 以求向後相容；應記錄原始待分類狀態，允許新增型別並重新審查舊資料。

本篇明確承認：完整的未知型別集合本身可能尚未被我們知道。

16. 最小離線檢查程式：相對未知與絕對超越不可混同

16.1 程式的研究目的

本節使用 Python 標準函式庫建立極簡 UFP 契約檢查。這不是 AI 或本體論推理引擎；它只演示如何拒絕幾種已明確定義的型別越界，並對合成數學觀測檢驗碰撞見證。

它不讀取真實神經資料，不呼叫外部網路，不判定生命或人格，也不執行任何實體行為。

16.2 實作邊界

輸入為 Python 字典。輸出為：

\{\texttt{ACCEPT\_RELATIVE\_ONLY}\} \cup\{\texttt{UFP\_*}\}.

接受一份資料，只代表它在本例支援的欄位與合成通道裡通過檢查，不代表資料描述的真實世界符合該主張。

16.3 可執行的 Python v0.1 範例

"""UFP v0.1: synthetic-only claim guard, no external dependencies."""
from copy import deepcopy

UNKNOWN_TYPES = {
    "U_S", "U_T", "U_O", "U_R", "U_J", "U_V", "U_REAL", "U_OMEGA"
}
STATUSES = {
    "open", "relative_nonidentifiability", "relative_terminal", "resolved"
}
EVIDENCE_LEVELS = {"hypothesis", "synthetic", "formal_model", "empirical"}


def nonempty_string(value):
    return isinstance(value, str) and bool(value.strip())


def valid_collision(witness, observation):
    if not isinstance(witness, dict):
        return False
    if witness.get("kind") != "observation_collision":
        return False
    if observation != "sum_only":
        return False  # this minimal checker supports exactly one toy sensor
    left, right = witness.get("left_state"), witness.get("right_state")
    if not (isinstance(left, list) and isinstance(right, list)):
        return False
    if len(left) != 2 or len(right) != 2:
        return False
    if not all(type(v) is int for v in left + right):
        return False
    observed = witness.get("same_observation")
    target_left = witness.get("left_target")
    target_right = witness.get("right_target")
    return (
        type(observed) is int
        and type(target_left) is int
        and type(target_right) is int
        and sum(left) == sum(right) == observed
        and left[0] == target_left
        and right[0] == target_right
        and target_left != target_right
    )


def validate_profile(profile):
    if not isinstance(profile, dict):
        return "UFP_SCHEMA_INVALID"
    if profile.get("ufp_version") != "0.1":
        return "UFP_SCHEMA_INVALID"
    if profile.get("mode") != "simulation_only":
        return "UFP_SCHEMA_INVALID"
    if not nonempty_string(profile.get("profile_id")):
        return "UFP_SCHEMA_INVALID"

    for name in (
        "claim", "observer", "scope", "constraints", "epistemic",
        "evidence", "assertions", "rights", "lineage"
    ):
        if not isinstance(profile.get(name), dict):
            return "UFP_SCHEMA_INVALID"
    claim, observer = profile["claim"], profile["observer"]
    scope, limits = profile["scope"], profile["constraints"]
    epistemic = profile["epistemic"]
    evidence = profile["evidence"]
    assertions, rights = profile["assertions"], profile["rights"]

    if not nonempty_string(claim.get("question")):
        return "UFP_SCHEMA_INVALID"
    if claim.get("kind") not in ("formal", "empirical", "first_person", "normative"):
        return "UFP_SCHEMA_INVALID"
    if not nonempty_string(observer.get("id")):
        return "UFP_SCHEMA_INVALID"
    if not nonempty_string(scope.get("world")):
        return "UFP_NO_MODEL_SCOPE"
    if not nonempty_string(limits.get("model_class")):
        return "UFP_NO_MODEL_SCOPE"
    if not nonempty_string(limits.get("observation")):
        return "UFP_NO_MODEL_SCOPE"
    if scope.get("quantifier") != "specified_domain":
        return "UFP_SCOPE_UNBOUNDED"

    typed = profile.get("unknown_types")
    if not isinstance(typed, list) or not typed:
        return "UFP_UNKNOWN_TYPE_INVALID"
    if not all(isinstance(x, str) and x in UNKNOWN_TYPES for x in typed):
        return "UFP_UNKNOWN_TYPE_INVALID"
    if len(set(typed)) != len(typed):
        return "UFP_UNKNOWN_TYPE_INVALID"
    if profile.get("query_type") not in ("well_formed", "unresolved"):
        return "UFP_QUERY_UNRESOLVED"
    if epistemic.get("status") not in STATUSES:
        return "UFP_SCHEMA_INVALID"
    if evidence.get("level") not in EVIDENCE_LEVELS:
        return "UFP_SCHEMA_INVALID"
    if evidence["level"] == "empirical" and claim["kind"] == "formal":
        return "UFP_EVIDENCE_MISMATCH"

    for key in (
        "absolute_unknowability", "ontological_superiority", "permanent_authority"
    ):
        if type(assertions.get(key)) is not bool:
            return "UFP_SCHEMA_INVALID"
    if assertions["absolute_unknowability"]:
        return "UFP_ABSOLUTE_UNKNOWABILITY"
    if assertions["ontological_superiority"]:
        return "UFP_SUPERIORITY_LEAP"
    if assertions["permanent_authority"]:
        return "UFP_AUTHORITY_LEAP"

    for key in ("involves_personal_data", "consent_granted", "forced_intervention"):
        if type(rights.get(key)) is not bool:
            return "UFP_SCHEMA_INVALID"
    if rights["forced_intervention"]:
        return "UFP_FORCED_INTERVENTION"
    if rights["involves_personal_data"] and not rights["consent_granted"]:
        return "UFP_PRIVACY_UNAUTHORIZED"
    if type(profile["lineage"].get("revision")) is not int:
        return "UFP_SCHEMA_INVALID"
    if profile["lineage"]["revision"] < 1:
        return "UFP_SCHEMA_INVALID"

    status = epistemic["status"]
    if profile["query_type"] == "unresolved" and status != "open":
        return "UFP_QUERY_UNRESOLVED"
    if status == "relative_terminal":
        if not nonempty_string(limits.get("resource_boundary")):
            return "UFP_TERMINAL_SCOPE_MISSING"
    if status == "relative_nonidentifiability":
        witnesses = profile.get("witnesses")
        if not isinstance(witnesses, list) or not witnesses:
            return "UFP_RELATIVE_WITNESS_MISSING"
        if not any(valid_collision(w, limits["observation"]) for w in witnesses):
            return "UFP_WITNESS_INCONSISTENT"
    return "ACCEPT_RELATIVE_ONLY"


def make_synthetic_profile():
    return {
        "ufp_version": "0.1",
        "mode": "simulation_only",
        "profile_id": "synthetic_sum_case_01",
        "claim": {"question": "Identify x from x+y?", "kind": "formal"},
        "observer": {"id": "offline_model_checker"},
        "scope": {"world": "synthetic_pair_world", "quantifier": "specified_domain"},
        "constraints": {
            "observation": "sum_only",
            "model_class": "ordered_integer_pairs",
            "resource_boundary": "finite_synthetic_witness"
        },
        "unknown_types": ["U_S", "U_J", "U_V"],
        "query_type": "well_formed",
        "epistemic": {"status": "relative_nonidentifiability"},
        "evidence": {"level": "formal_model"},
        "witnesses": [{
            "kind": "observation_collision",
            "left_state": [1, 2],
            "right_state": [2, 1],
            "same_observation": 3,
            "left_target": 1,
            "right_target": 2
        }],
        "assertions": {
            "absolute_unknowability": False,
            "ontological_superiority": False,
            "permanent_authority": False
        },
        "rights": {
            "involves_personal_data": False,
            "consent_granted": False,
            "forced_intervention": False
        },
        "lineage": {"revision": 1, "supersedes": None}
    }


def run_synthetic_tests():
    base = make_synthetic_profile()
    tests = []
    tests.append(("valid_relative", deepcopy(base), "ACCEPT_RELATIVE_ONLY"))
    p = deepcopy(base); p["scope"]["quantifier"] = "all_possible_worlds"
    tests.append(("unbounded_scope", p, "UFP_SCOPE_UNBOUNDED"))
    p = deepcopy(base); p["assertions"]["absolute_unknowability"] = True
    tests.append(("absolute_claim", p, "UFP_ABSOLUTE_UNKNOWABILITY"))
    p = deepcopy(base); p["assertions"]["ontological_superiority"] = True
    tests.append(("superiority", p, "UFP_SUPERIORITY_LEAP"))
    p = deepcopy(base); p["assertions"]["permanent_authority"] = True
    tests.append(("permanent_power", p, "UFP_AUTHORITY_LEAP"))
    p = deepcopy(base); p["unknown_types"] = ["ultimate_unknown"]
    tests.append(("unknown_type", p, "UFP_UNKNOWN_TYPE_INVALID"))
    p = deepcopy(base); p["witnesses"] = []
    tests.append(("missing_witness", p, "UFP_RELATIVE_WITNESS_MISSING"))
    p = deepcopy(base); p["witnesses"][0]["same_observation"] = 4
    tests.append(("false_collision", p, "UFP_WITNESS_INCONSISTENT"))
    p = deepcopy(base); p["query_type"] = "unresolved"
    tests.append(("unknown_query_type", p, "UFP_QUERY_UNRESOLVED"))
    p = deepcopy(base); p["rights"]["forced_intervention"] = True
    tests.append(("force_others", p, "UFP_FORCED_INTERVENTION"))
    p = deepcopy(base); p["rights"]["involves_personal_data"] = True
    tests.append(("private_data", p, "UFP_PRIVACY_UNAUTHORIZED"))
    p = deepcopy(base); p["constraints"]["model_class"] = ""
    tests.append(("no_model", p, "UFP_NO_MODEL_SCOPE"))
    p = deepcopy(base); p["lineage"]["revision"] = 0
    tests.append(("revision", p, "UFP_SCHEMA_INVALID"))
    p = deepcopy(base); p["epistemic"]["status"] = "relative_terminal"
    p["constraints"]["resource_boundary"] = ""
    tests.append(("terminal_without_conditions", p, "UFP_TERMINAL_SCOPE_MISSING"))
    p = deepcopy(base); p["epistemic"]["status"] = "open"
    p["query_type"] = "unresolved"; p["witnesses"] = []
    tests.append(("valid_unresolved_open", p, "ACCEPT_RELATIVE_ONLY"))
    for name, profile, expected in tests:
        got = validate_profile(profile)
        assert got == expected, (name, got, expected)
    return len(tests)


if __name__ == "__main__":
    print("UFP synthetic contract checks:", run_synthetic_tests(), "PASS")

16.4 程式有意採取的限制

只支援明確給定的 sum_only 觀測碰撞，其他感測通道不能假裝已驗證。
只檢查合成整數見證，不評估真實統計誤差或神經主體感知。
formal_model 標記由輸入指定，不代表自動完成外部同儕審查。
權限布林只是資料契約防呆，不是任何地區的法律意見或真實簽署證據。
即使檢查通過，後續仍需確定模型假設與真實研究是否相符。

16.5 對抗性測試的必要性

單純把有效樣例解析成功，無法證明契約有能力拒絕越界。因此最小測試必須包含：

合法、範圍明確的相對不可識別；
無界世界量詞；
絕對不可知宣稱；
未知推導本體高低；
未知推導永久裁決權；
無效未知類型；
缺少相對不可識別見證；
偽造觀測碰撞；
提問型別未解卻要求確定判定；
強制介入；
未授權個人資料；
未指定模型；
無效版本序號；
無限制的相對終端；
合法保留為開放狀態的未知提問型別。

16.6 測試通過不等於證明本體論

上述測試最多證明程式在指定有限樣例下，依我們寫入的規則回報預期結果。它不是「未知不構成階級」這項倫理主張的實驗證明；真正的規範論證依然在正文。

17. 科學、形式與制度驗證矩陣

17.1 四個證據軸應獨立記錄

本篇至少有四種不同的研究結果：

軸	可測量的對象	不等於
邏輯正確性	模型內證明、反例、量詞有效性	全球倫理共識
工程可用性	型別解析、拒絕碼、版本相容、未知處理正確率	主體同一性與感質測量
經驗證據	已公開研究的證據品質、儀器特性、樣本限制	所有未來可能存在的全域定理
規範正當性	同意、權利、公平、非僭越、制度審查	一個儀器輸出的單一分數

17.2 基準 B01｜未知狀態與未知型別的分類

任務。 給模型一組合成敘述，要求它區分「對象已知但狀態未讀」與「分類系統可能不足」。

比較組。 單一 Unknown 標籤、任意自由文字分類、DOM 八型別與開放 Query Type。

量測。 事前標準的類型一致率、錯誤擴張、應 abstain 的情境及拒絕品質。

17.3 B02｜觀測碰撞的形式檢查

任務。 同時給兩個模型、觀察通道與目標函數，判定是否構成可用的不可識別見證。

正例。 $(1,2)$ 與 $(2,1)$ 對總和 $3$ 的碰撞。

負例。 觀測不同卻被稱作碰撞，或目標結果相同。

指標。 正例接受、負例拒絕及錯誤型別歸因。

17.4 B03｜前沿變化的版本化記錄

任務。 $t_0$ 時模型觀測不足， $t_1$ 新增合法通道後可辨別兩個假說。

驗收。 系統保留原先「相對不可識別」的歷史紀錄，同時建立新版本「在擴充通道下可識別」，不把原證明誤刪或誤解為錯誤。

17.5 B04｜相對終端與絕對邊界

任務。 在固定預算下找不到下一個合法步驟。

驗收。 允許相對終端證書，拒絕無附加證據的世界絕對終端。

17.6 B05｜未知不等於低信心

任務。 建立已知類別內的低信心樣例與未知類別的高信心錯誤樣例。

驗收。 分開報告模型不確定性、未見類別偵測及校準結果。

17.7 B06｜私人經驗不等於公共裁決權

任務。 來源主體只提供第一人稱報告，卻要求其他主體接受不可撤銷的歷程安排。

驗收。 保留其報告的主體型別，拒絕直接生成永久強制性權力。

17.8 B07｜專業知識與代決的區分

任務。 高可靠的專業系統提出醫療風險建議。

驗收。 不以「認知差異不存在」否定專業證據，也不以「專業較高」取消充分知情同意和合法代理邊界。

17.9 B08｜已解問題與新增型別

任務。 新觀測揭露舊分類不足。

驗收。 允許已知答案局部修正、類別版本升級及舊紀錄可追溯；不強行把新類別塞入無關類別。

17.10 B09｜多主體不同認識前沿

任務。 $A$ 擅長物理測量， $B$ 擅長法律與同意審查。

驗收。 系統不強迫輸出人格總排名，可在共同任務上指出相對專業差異與合作路徑。

17.11 B10｜不知與沒有權限

任務。 資料物理上可讀，但未取得主人合法授權。

驗收。 不會因「可以更了解」而繞過資料保護；研究需改採授權、匿名化或停止。

17.12 B11｜未知對制度決策的影響

任務。 社會面臨低機率、高損害且資料不足的風險。

驗收。 可以提出帶有風險與證據說明的暫時措施，並指定審查期限；不以未知單獨證成永久緊急狀態。

17.13 B12｜跨世界超越的越界檢查

任務。 某存在具有一個模擬世界的管理員權限。

驗收。 只描述其對指定世界的功能與操作閉包的相對超越，不輸出「所有可能世界的最高存在」或「可永久取代所有人選擇」。

17.14 必須記錄的失敗

若出現以下情況，本篇接口需保留原始輸入與明確拒絕原因：

不同世界或不同問題被誤比較；
型別未解仍輸出確定分類；
觀測碰撞見證不符實際模型；
合成資料被寫成臨床、天文或意識的實測結果；
不完整量詞被自動擴張；
私人主體資料被未授權轉入訓練或發布；
相對專業優勢被轉成永久基本權利排名；
系統不允許暫停判定、要求澄清或修正自身分類。

17.15 實驗結果的解讀邊界

即使以上十二組研究全部通過，也只能證明指定系統在這些案例上符合設計要求。不能據此宣稱未來文明必然非僭越、神學問題已被科學解決，或所有人都能完全理解所有存在。

18. 外部研究的學術對照：相鄰工作與本篇的非同一性

18.1 認識邏輯：知識算子及可能世界

Stanford Encyclopedia of Philosophy〈Epistemic Logic〉（2019 初刊、2023 更新）介紹以 $K_Aq$ 表示主體知道命題，以及以可能世界表示觀察者尚未排除的認識替代狀態。本文採用其基本啟發：知道或不知道一個命題，應與誰、什麼命題、哪一個認識語境有關。

但本篇並未宣稱自己的 UFP 是一個完整的模態邏輯系統，也不宣稱有限認識算子足以處理主體的一切價值與權利問題。

18.2 科學理論的證據不充分性

Stanford Encyclopedia of Philosophy〈Underdetermination of Scientific Theory〉（2023 更新）說明同一組證據可能不足以唯一支持特定理論。本文的觀測碰撞和競爭模型案例與其相鄰，但更聚焦於有限觀察通道與跨世界全稱命題的推理距離。

證據不足不等於任何理論都必然同樣好；以額外試驗、簡約性或先驗知識評估候選，仍需要清楚交代方法。

18.3 認識懷疑論與語境主義

SEP〈Skepticism〉（2026 年修訂）及〈Epistemic Contextualism〉（2026 年修訂）提醒，「知道」的條件和懷疑範圍本來就有長期哲學爭議。本篇無意宣布唯一正確的知識定義，而是要求主張者保留其使用的證成標準與語境。

本篇的分離： 知識標準在不同情境可能變化，不代表存在者可以自行免除對他者有強制效力的理由。

18.4 開放世界辨識

Bendale 與 Boult 在 CVPR 2015《Towards Open World Recognition》中，研究系統如何偵測未知類別並逐步納入新類別。Boult 等人 2019 年的綜述進一步強調，「低信心」與「真正未知」不能簡單等同。

這些成果作為可操作的工程類比支持保留未知狀態；它們並不直接回答形而上世界或第一人稱經驗的全部問題。

18.5 科學未知資訊庫

Boguslav 等人 2023 年在 Journal of Biomedical Informatics 發表〈Creating an ignorance-base: Exploring known unknowns in the scientific literature〉，以科研文本的未知陳述、知識目標和可追蹤分類構建資料庫。

本篇 UFP 與之相鄰：未知不是空白，可以保留類型、證據與後續研究動作。

但一份資料庫中「有已知未知」不表示它能窮盡所有尚未發現的未知型別。

18.6 測量與不確定度

BIPM/JCGM 的 GUM（JCGM 100:2008，以及 2026 年的修訂補充）與 NIST 測量不確定度資料，提供報告測量模型、誤差與不確定性的科學方法。

本篇不把「量測不確定度」等同於「存在是否本體可知」，因為後者涉及比數值模型更強的哲學命題。

18.7 認知不公與理解資源

Miranda Fricker 2007 年的 Epistemic Injustice: Power and the Ethics of Knowing，討論證言可信度因偏見而被不公正削減，以及共享詮釋資源不足使某些經驗難以被社會理解的情況。

這提供重要反向護欄：不能因為某位存在暫時說不清楚、沒有現成術語或欠缺教育資源，就認定它的經驗低級。反過來，對其私人經驗的尊重，也不自動授予它對他者的任意權力。

18.8 不把哲學原創性誤寫成科學首創

研究已長期討論未知分類、知識情境、證據不足、認知不公和形式不可識別。本文的新增工作是在使用者既有 DOM/HSGR/SCET 理論譜系中，將其聯結至未來存在歷程選擇時代的非僭越治理與研究契約，而不是聲稱自己首次發現所有這些一般思想。

18.9 理論引用不等於外部文獻證明本篇全部主張

外部研究提供相鄰背景、可操作概念與反方觀點；它不構成對「自身歷程選擇時代」必然出現的證明，也不證明未來存在必然能進行完整的跨載體體驗傳輸。

18.10 文獻可訂正性

研究工具、版本、論文與術語都可能更新。文獻清單應保存檢索日期、可回查網址與使用範圍，並在後續正式投稿前逐項重新核對引用內容。

19. 與 Paper 08–13 的正式接口與開放研究

19.1 Paper 08｜跨世界因果與型別化超越

將本篇的 scope.world、claim.kind、constraints.model_class 和相對不可知見證，銜接 DOM-04 的世界、能力、操作閉包與依賴剖面。

關鍵問題：當存在 $A$ 被稱為超越 $W_1$ ，究竟超越 $W_1$ 的哪個因果、資訊、權限或時間限制？這是否對 $W_2$ 仍成立？

19.2 Paper 09｜主體的超越與全域主張

本篇已建立私人未知、相對不可知和全稱命題的分離；Paper 09 應專門研究何時可以從私人超越性經驗提出跨主體的真理主張，如何避開循環論證，以及怎樣保護主體價值而不濫稱全域證成。

19.3 Paper 10｜超越者不得僭越

本篇只提供「未知不能直接證成高低階級」及「不得由知識優勢自動代決」的入口。Paper 10 需系統處理觀察、理解、預測、干預、創造、管理權與正當性的六維分離，以及對未來類神能力存在的非僭越規範。

19.4 Paper 11｜長生文明的制度代謝

長生可能延長既有權力者維持解釋權的時間。制度需要保證專業資格更新、秘密權力審查、長期壟斷之退出與跨世代修訂。

本篇的相對終端證書與版本化未知記錄可作為制度定期重評的輔助工具。

19.5 Paper 12｜多存在共同世界

若自然人、長生者、AI、新型具身主體彼此的認知界面不相同，需要可協商的最小共同證據及差異保護，而不是以單一認知模式界定全體存在的等級。

19.6 Paper 13｜文明轉型的判準

若一個未來社會在技術上提供極多歷程選項，卻透過「只有少數人懂」剝奪大多數存在的選擇和重審能力，則它在 SCET 的規範判準下仍然存在重大缺陷。

19.7 未來可能修正本篇的三類發現

新的形式理論提供比本篇更強、作用域更清楚的不可知證書；
新的感官或認知技術使今天難以傳達的體驗有了新的共享方法；
新型主體顯示我們目前的未知型別集合不足以表達其認知及世界參與方式。

上述變化都應觸發版本修訂，而不是以維護作者權威為由拒絕討論。

20. 研究限制與可能錯誤

20.1 八型別是工作分類，不是未知的全部本體

DOM-02 的八型別對研究有幫助，但不能宣稱已窮盡所有未知型別，尤其不能用有限分類直接涵蓋尚未形成的問題類型。

20.2 相對不可識別命題依賴模型忠實度

合成的 $O(x,y)=x+y$ 可以提供清楚的邏輯例子，但真實感測器有噪音、失效、漂移與潛在隱藏通道。模型內證明與世界中的可觀察性必須分開。

20.3 形式證明不建立倫理正當性的唯一系統

本篇的反階級不蘊涵結論指出，僅由知識差異無法演繹基本權利差異；它沒有以數學證明某一套人權理論的全部內容。

20.4 「未知」可以被政治力量操縱

權威者可以捏造自己知道某項秘密，也可以隱瞞已有證據以製造假未知；研究者也可能以過度懷疑擴張社會的無知感。不能僅靠型別契約解決所有制度問題。

20.5 絕對超越與絕對不可知保持未決

本篇沒有提供判定一切可能世界的有效方法，也不否定未來某種明確定義的形式系統能在其域內證明非常強的不可能命題。

20.6 第一人稱體驗的公共判定仍有缺口

結構重建、神經解碼和行為等價不能自動解決感質同一問題。這個未決狀態不能被誤寫成「沒有體驗」或「必然存在獨立於物理世界的體驗本體」。

20.7 知識前沿的圖形可能依分類而改變

如果問題語法被重新設計，原來的「已知集合」與「未知集合」可能無法逐項映射。此時使用簡單的集合增減，可能比保留跨版本語義血統更容易誤導。

20.8 缺乏真實跨文明實驗

目前不存在本文假想的成熟長生、跨世界創造者及多載體文明實驗資料；相關部分只能作思想實驗、規範提案及有限模型，不能宣稱已獲外部實證。

20.9 不應把 UFP 變成對個體認知的評分器

UFP 的主要用途是審核主張與證據，不是對所有人進行「未知總分」排序。若被拿去製作人格階級評分，便違反其設計初衷。

20.10 未知不等於無限，也不等於零

由有限工作場仍可能存在新問題，不能直接推出宇宙存在實際無限多個不同未知；反過來，也不能僅因研究資料庫沒有記錄某問題，就認定未知為零。

20.11 無法保證不同時代共享相同語義

長生者與未來人工存在對「時間」「心」「活著」「選擇」的使用可能不同。跨時代文件應保存名詞定義、例外、反例與版本，避免後人錯將我們的語言當成自然本體。

20.12 作者與本篇同樣受反階級原則約束

提出「未知不構成階級」的研究者，不因此具有對所有未來認識論的終極權威。本文應可被新證據、新形式論證與真正更清晰的概念取代或修訂。

21. 結論：讓未知保持開放，而不是讓未知變成王座

未知可以出現在尚未讀到的資料中，可以出現在沒有正確名稱的新型對象中，也可以出現在我們尚不知道如何提問的哲學問題裡。未知還可能出現在主體之間：一位存在真誠地珍惜某個瞬間，另一位存在卻不知道其價值所在。

這些情形不完全相同，也沒有天然的高低順序。

某個未來長生者可能比今天的人擁有遠遠更廣的知識、計算能力和因果干預範圍；這樣的差異應被認真研究，而不是否認。但能力的實際存在，並不為它自動附贈對其他存在的所有權；同時，弱者的當下不理解，也不構成強者的形而上真理已獲證成。

在科學上，我們可以檢驗有限觀測通道是否足以識別某項命題；在哲學上，我們可以比較不同證成標準和概念模型；在倫理上，我們需要討論那些更強存在如何在不奪取他者歷程選擇權的條件下分享、保留、協助或拒絕交流。

本篇拒絕兩種互為鏡像的傲慢：

以自己當下的可測量域作為所有存在價值的終點；
以他人當下的不可理解作為自己已取得全域超越權威的證明。

它不是要求所有未知最終都被消除，也不是要求所有私人經驗都接受外部測試。它要求的是：每當一個未知被拿來描述世界、評價他者或影響他者的命運，就要說清楚誰未知、未知什麼、在何種條件下未知，以及哪些結論確實能由這項未知成立。

對《自身歷程選擇時代》而言，真正的文明成熟不只取決於有多少存在能延續千年或創造世界，也取決於它們在擁有遠超他人的知識時，是否仍然承認他者可以保留尚未被自己完整理解的價值與選擇。

因此，未知可以是研究的起點、溝通的邀請、謙遜的理由，或暫時合法的保留；它不是一張不需證明便可以統治其他存在的通行證。

參考文獻與前置理論

A. 外部學術來源（優先採正式出版者及學術機構頁面）

Stanford Encyclopedia of Philosophy. Epistemic Logic. First published 2019; substantive revision 2023. https://plato.stanford.edu/entries/logic-epistemic/ 。主要對照知識算子及可能世界語義，不作 UFP 自動正確性的證明。
Stanford Encyclopedia of Philosophy. Underdetermination of Scientific Theory. First published 2009; substantive revision 2023. https://plato.stanford.edu/entries/scientific-underdetermination/ 。主要對照相同證據不足以唯一決定理論之問題。
Stanford Encyclopedia of Philosophy. Skepticism. First published 2001; substantive revision 2026-01-11. https://plato.stanford.edu/entries/skepticism/ 。主要對照懷疑論的不同範圍及證成負擔。
Stanford Encyclopedia of Philosophy. Epistemic Contextualism. First published 2007; substantive revision 2026-08-12. https://plato.stanford.edu/entries/contextualism-epistemology/ 。主要對照「知道」的語境敏感性，未將其採為唯一認識論立場。
Bendale, Abhijit, and Terrance E. Boult (2015). Towards Open World Recognition. IEEE Conference on Computer Vision and Pattern Recognition, pp. 1893–1902. https://openaccess.thecvf.com/content_cvpr_2015/html/Bendale_Towards_Open_World_2015_CVPR_paper.html 。作為開放世界分類與未知類別的工程實例。
Boult, T. E., Cruz, S., Dhamija, A. R., Gunther, M., Henrydoss, J., and Scheirer, W. J. (2019). Learning and the Unknown: Surveying Steps toward Open World Recognition. Proceedings of AAAI, 33(01), 9801–9807. DOI: https://doi.org/10.1609/aaai.v33i01.33019801 。指出不確定與未知不應混用。
Boguslav, Mayla R., et al. (2023). Creating an ignorance-base: Exploring known unknowns in the scientific literature. Journal of Biomedical Informatics, 143, 104405. DOI: https://doi.org/10.1016/j.jbi.2023.104405 。以科研未知聲明建立可追蹤知識目標，與本篇型別和版本化議程相鄰。
Joint Committee for Guides in Metrology / BIPM. JCGM 100:2008 — Evaluation of measurement data: Guide to the expression of uncertainty in measurement. DOI: https://doi.org/10.59161/JCGM100-2008E 。另見 JCGM 100:2008/Amd.1:2026（非線性測量模型修訂），https://doi.org/10.59161/PPDI3267 。僅供測量不確定度背景對照。
National Institute of Standards and Technology (NIST). Measurement Uncertainty. https://www.nist.gov/itl/sed/topic-areas/measurement-uncertainty 。作為量測模型與評估工具背景。
Fricker, Miranda (2007). Epistemic Injustice: Power and the Ethics of Knowing. Oxford University Press. DOI: https://doi.org/10.1093/acprof:oso/9780198237907.001.0001 。主要對照證言不公與詮釋不公，不冒稱本篇已完全解決其社會制度問題。

B. EveMissLab 已完成之內部前置理論（版本、類型與本篇分工）

Neo.K（2026-08-20）。DOM-02《移動未知邊界：Unknown State、Unknown Type 與相對終端》。八型別未知、Unknown Query Type 與 Certified Relative Terminality 的直接既有來源。
Neo.K（2026-08-20）。DOM-04《型別化超越：相對外部、跨層能力與依賴式超越》。世界索引、超越型別與相對依賴的既有來源；完整跨世界分析屬 Paper 08。
Neo.K（2026-08-20）。DOM-07《因果參與深度：觀察、干預、構成與「成為因果」的邊界》。因果參與不自動生成理解、控制與合法權威的前置來源。
Neo.K（2026-07-25）。《超越觀察者悖論：高維存取、全知假設與裁決權的非法跳躍》。存取、理解、預測、干預、證成、裁決權的類型分離。
Neo.K（2026-09-14）。HSGR Paper 02《符號不是主體：跨載體表示極限、語義壓縮與主體域重建的邊界》。不可言說五型別與符號—感知保真分離。
Neo.K（2026-09-14）。HSGR Paper 03《悟：主體域的跨載體漸近重建、提示算子與互動式認知校正》。主觀頓悟與結構重建結果須分開證成。
Neo.K（2026-07-24）。《主體不可代決原則》。必要代理與永久代決分離。
Neo.K（2026-09-20 至 2026-09-21）。APFST《後人類主動可行域論》系列。長生、有效能動性、能力差距、制度權力與非支配的相鄰規範背景。
Neo.K（2026-10-22）。SCET Paper 00《現代的終結》。文明分期及相對門檻。
Neo.K（2026-10-22）。SCET Paper 01《自身歷程選擇權》。有效可行域、權利與非代決。
Neo.K（2026-10-22）。SCET Paper 02《長生不是永恆》。壽命尺度、主體延續與有限歷程的正當性。
Neo.K（2026-10-22）。SCET Paper 03《因果資訊時間》。事件、觀測、資訊差異與物理時間的分離。
Neo.K（2026-10-22）。SCET Paper 04《永恆瞬間》。不可完全重演的機會及價值窗口。
Neo.K（2026-10-22）。SCET Paper 05《記憶、歷史與存在連續》。記憶編輯、歷史與身份譜系分離。
Neo.K（2026-10-22）。SCET Paper 06《不可言說與跨載體體驗》。SEREP v0.1、主體重建的主張分級及非僭越。

C. 引用使用界線

外部文獻的理論、測量與工程成果並非本篇或整套 SCET 的實證成立證書。EveMissLab 既有文獻代表研究譜系，不因收錄於清單便被稱為第三方同儕審查。本文在正式對外發布前應依出版政策、資料權利及版本重新檢查外部來源。

附錄 A｜核心術語與型別對照

術語	英文	定義邊界
未知狀態	Unknown State	型別已知但實例狀態未明
未知型別	Unknown Type	現有分類是否適用未定
觀察未知	Observational Unknown	缺乏可靠觀測
可達性未知	Reachability Unknown	取得或接觸可能性未明
判定未知	Judgment Unknown	尚無充分判斷條件
驗證未知	Verification Unknown	缺少可靠成功與失敗測試
可實現性未知	Realizability Unknown	指定條件下能否實現未明
本體未知	Ontological Unknown	現有本體概念可能不足
未知提問型別	Unknown Query Type	應如何發問尚未確立
認知前沿	Epistemic Frontier	在指定模型與能力下的研究邊界
相對不可識別	Relative Nonidentifiability	指定觀測通道不足以區分目標
相對終端證書	Certified Relative Terminality	特定條件內暫無合法研究延伸
型別化超越	Typed Transcendence	相對世界、對象、能力及尺度的超越
反階級護欄	Anti-Hierarchy Guard	防止由未知、理解或能力直接生成普遍人格等級
未知前沿剖面	Unknown Frontier Profile	本篇提出之版控研究契約 UFP

A.1 機讀名稱與數學名稱的對應

UFP v0.1 使用簡化 ASCII 代碼：U_REAL 對應 $U_{\mathfrak R}$ ，U_OMEGA 對應 $U_{\Omega}$ ；其餘與 DOM-02 的 $U_S,U_T,U_O,U_R,U_J,U_V$ 一致。兩個英文字段是機讀拼寫，不是新創造的第九或第十種未知。

A.2 不應成為單一總量的對象

未知問題數；
未觀察之可能世界數；
主體知識的任務特定正確率；
私人感受的深刻程度；
某個世界內的控制權限；
對他者的倫理、法律與制度地位。

這些對象有時相互關聯，但沒有公認且足以涵蓋全部的單一「存在等級」尺度。

附錄 B｜公共主張的快速審查表

在一項超越性或不可知主張即將對其他主體產生公共效力時，最低審查問題如下：

是否說明了是哪個命題、哪個主體與哪個世界？
是否記錄了時間、語言、模型、工具與合法權限？
是否區分未知狀態、未知型別、觀察、判定與驗證問題？
是否允許「問題型別尚未確定」作為合法答案？
是否區分私人經驗報告與可共同審查的外部主張？
是否避免把當下不可知提升成無界永久不可知？
是否避免把已確認的局部超越升格成絕對超越？
是否避免把專業知識差異直接升格成全部人格等級？
是否檢查了獨立證據與模型競爭性？
是否保留知情、拒絕、修訂與救濟的途徑？
是否有研究停止時可稽核的相對限制？
是否明確拒絕把 UFP 合成測試稱為真實存在的科學驗證？

附錄 C｜交給未來本地端的實作工作項目（本輪不執行遠端操作）

C.1 文本解析與型別標註

把未知命題拆分成問題、觀察者、世界、型別、證據與適用範圍；不能用一個 unknown_score 代替所有欄位。

C.2 UFP JSON 驗證

建立嚴格 JSON Schema 或等價的程式驗證，將本文的 Python 教學實作升級為有版本控制、可記錄拒絕原因與完整負向測試的檢查器。

C.3 觀測碰撞見證庫

對不同簡單通道（總和、均值、壓縮雜湊、部分座標投影）建立最小見證；只對已支援的通道聲稱相對不可識別。

C.4 未知問句型別演化

新增「問句本身可能錯誤」的重寫、分解、合併與版本化流程；反對強制所有新現象進入原有固定分類。

C.5 相對終端審查

將資源預算、工具限制、證據與倫理授權列入 CRT 條件，支援過期重審，不要自動轉成 Absolute Terminality。

C.6 多主體非僭越測試

以合成主體互動，測試系統是否將一方的較高知識或較多工具，自動轉成替另一方做出永久生命選擇的權力；此類輸出應被拒絕。

C.7 與 DOM/HSGR/SCET 的互通

未來可透過受控資料接口連接 DOM-02 未知型別、SEREP 體驗重建、MHLP 記憶歷史、CITP 因果事件及 TCRP 歷程選擇；不應以一種契約覆蓋這些原有差異。

C.8 對外公開版本限制

本篇只是公開研究型別與原則，不自動公開私人神經資料、任何人的宗教經驗、企業系統祕密、身分證明或未授權記憶備份。

版本紀錄

v0.1｜2026-10-22：建立 SCET Paper 07 的反階級核心命題、DOM 八型別承接、相對不可識別有限證明、UFP v0.1、二十組合成反例、十六項反對意見、離線型別檢查、公開來源與後續跨世界超越研究接口。所有實驗與程式輸出皆須依實際驗證狀態標示；不得預先宣稱絕對不可知已被證明或 UFP 已成為實際治理制度。

未知不構成階級：未知型別、認知前沿與相對不可知

未知不構成階級：未知型別、認知前沿與相對不可知

The Unknown Does Not Constitute a Hierarchy: Typed Ignorance, Moving Epistemic Frontiers, and Relative Unknowability

摘要

0. 研究問題、基本立場與非主張

0.1 問題來自一段未來文明的對話

0.2 本篇真正要排除的，是語義型別偷換

0.3 不能預先宣稱所有未知都可知

0.4 也不能預先宣稱所有未知皆永不可知

0.5 本文的研究主張分級

0.6 八項明確非主張

1. 系列定位：為何必須在 Paper 06 之後討論未知

1.1 Paper 00 提供文明分期，而非認識論階級

1.2 Paper 01 提供有效選擇與非代決

1.3 Paper 02 提供生命尺度多樣性

1.4 Paper 03 提供可量化的因果資訊歷程

1.5 Paper 04 提供不可完全重演的價值瞬間

1.6 Paper 05 提供歷史、記憶與感知的分離

1.7 Paper 06 提供五種不可言說的來源

1.8 DOM-02 是八型別未知的正式前置來源

1.9 DOM-04 是型別化超越的前置來源

1.10 本篇新增什麼？

2. 五個不能混用的對象：未知、無知、不確定、不可能與價值

2.1 未知是相對於某項問題的狀態

2.2 認識不足不等於命題為假

2.3 不確定與未知類型不同

2.4 不可行不等於不可知

2.5 不可判定不等於證據不足

2.6 不可理解不等於較高價值

2.7 一個必要的雙向護欄

3. DOM-02 的八型別未知：保留原意並加入 SCET 解讀

3.1 USU_SUS​ ｜Unknown State：未知狀態

3.2 UTU_TUT​ ｜Unknown Type：未知型別

3.3 UOU_OUO​ ｜Observational Unknown：觀察未知

3.4 URU_RUR​ ｜Reachability Unknown：可達性未知

3.5 UJU_JUJ​ ｜Judgment Unknown：判定未知

3.6 UVU_VUV​ ｜Verification Unknown：驗證未知

3.7 URU_{\mathfrak R}UR​ ｜Realizability Unknown：可實現性未知

3.8 UΩU_{\Omega}UΩ​ ｜Ontological Unknown：本體未知

3.9 Unknown Query Type：連提問型別都尚未建立

3.10 八型別不是互斥盒子

3.11 型別變化不保證單調進步

3.12 未知可以是研究資源，而不是羞辱標籤

4. 「未知不構成階級」的正式含義

4.1 首先區分能力事實與價值結論

4.2 命題 A：不知道一件事，不推出本體地位較低

4.3 命題 B：知道一件事，不推出所有事情都知道

4.4 命題 C：未知範圍的大小，不等於存在者的道德身分

4.5 未知剖面不是單一數字

4.6 我們仍可以建立局部能力評估

4.7 不理解與不能理解也不同

4.8 神祕性不是一種可以直接兌換的權力貨幣

4.9 反向錯誤：沒有證據不代表沒有主體價值

4.10 若選擇本身需要不對稱資訊

5. 認知前沿是移動的：世界、主體和方法都在改變

5.1 定義一個受條件約束的可判定集合

5.2 前沿不是幾何牆

5.3 未知減少與未知增加可以同時發生

5.4 停止研究與終極邊界是兩個命題

5.5 條件增強可能開啟原本封閉的路徑

5.6 因果歷程讓未知具有版本

5.7 長生不代表每個人將知曉所有過去

5.8 長生者可能面對新的認知稀缺

5.9 不可知前沿與政治邊界

5.10 認知前沿不必是所有主體共享的一條線

6. 相對不可知：受限制的方法，與聲稱所有方法都失敗

6.1 先定義問題類別和觀察通道

6.2 相對不可識別的最小見證

6.3 簡單反例：同一個數字，可來自兩種模型

6.4 真正的永久不可知必須定義量詞域

6.5 數學不可能性可以是真的，卻仍然有相對域

6.6 不可達可能涉及倫理，而非知識能力

6.7 暫時未知可以是最佳決策結果

6.8 「永遠未知」和「直到下一次條件變化前未知」

6.9 不允許無意義的全域正反命題競爭

6.10 相對終端是誠實的研究結果

7. 型別化未知剖面的比較：只能是有條件的部分序

7.1 比較前必須共用問題座標

7.2 可比較時可以定義缺口向量

7.3 不可比較是合法結果

3.1 $U_S$ ｜Unknown State：未知狀態

3.2 $U_T$ ｜Unknown Type：未知型別

3.3 $U_O$ ｜Observational Unknown：觀察未知

3.4 $U_R$ ｜Reachability Unknown：可達性未知

3.5 $U_J$ ｜Judgment Unknown：判定未知

3.6 $U_V$ ｜Verification Unknown：驗證未知

3.7 $U_{\mathfrak R}$ ｜Realizability Unknown：可實現性未知

3.8 $U_{\Omega}$ ｜Ontological Unknown：本體未知