# 凍結的問題與漂移的解
## LBWC框架下的三方計算不對稱論

**Frozen Problems and Drifting Solutions: A LBWC Analysis of Three-Party Computational Asymmetry**

---

**作者：Neo.K（許筌崴）with Theia**
**機構：EveMissLab（一言諾科技有限公司）**
**日期：2026年6月**
**分類：計算理論 | 因果不對稱 | 命題探索**
**性質：草稿，非保真，啟發用途**
**關鍵詞：三方不對稱、底空間凍結、帕雷托HC性、時間剪刀差、LBWC層級依賴、七角色框架、退出效應**
**前置文獻：EML-PNP-2026-v0.3（計算者之七相）、EML-LBWC-2026（邏輯承重牆反事實測量理論）**

---

## 摘要

本文整合邏輯承重牆反事實測量（LBWC）框架與七角色計算框架，揭示問問題者、題者（問題定義者）、解題者三方之間的結構性不對稱關係。核心命題：**LBWC的LN/HC判定結果是層級依賴的**——同一個元素，對問題定義者而言是HC（可以定義成別的樣子），對解題者而言卻是LN（無法在計算過程中更改）。這種層級依賴性產生三個可形式化的效應：（一）**底空間凍結效應**——定義者在設定底空間後退出，使原本HC的問題定義對下層解題者凍結為LN；（二）**帕雷托HC性**——解題者在凍結的LN問題空間中搜尋的帕雷托前沿解，本質上是持續漂移的HC；（三）**時間剪刀差**——解的演化速率遠高於問題定義的更新速率，兩者的分離造成問題框架與實際解答之間的長期落差。本文進一步論證：這三個效應在三層底空間（Tier 1/2/3）中有系統性差異，且只有統籌者（ORCH）具備打破三方不對稱結構的能力——但ORCH本身面臨一個矛盾：它需要同時理解三個層級的LBWC狀態才能有效介入，而這個理解能力在Tier 1中原則上不可達。

---

## 引言：一個悲劇性的不對稱

計算理論的主流敘事是這樣的：有一個問題，有一個解題者，解題者求解，完成。

但這個敘事跳過了幾個關鍵的前置動作：誰提出了這個問題？誰把這個問題形式化為可計算的形式？他們現在在哪裡？

在七角色框架中，這些問題對應了三個不同的角色存在：**問問題者**（發起問題的人）、**題者**（POL + DEF：把問題定義成可解形式的人）、**解題者**（SOL：在給定問題框架內搜尋答案的人）。

三個角色之間存在一個在計算複雜度理論中從未被正式討論的不對稱：問問題者和題者往往**在設定完問題之後就離開了**。他們設定底空間，然後走了。留下的只有解題者，獨自在一個凍結的問題定義下，試圖找出持續演化的最優解。

LBWC框架為這個不對稱提供了精確的測量語言。本文論證：這不只是一個組織動力學的觀察，而是一個關於計算結構的基礎性命題——它對應LBWC判定在不同層級之間的系統性落差。

---

## 第一章：LBWC的層級依賴性

### 1.1 同一元素，不同判定

LBWC框架的標準應用假設有一個問題P和一個待測元素X，問X在P中是LN、HC還是IL。但這個問法隱含了一個未被說明的前提：**從誰的角度測試？**

在三方計算結構中，同一個元素——比如問題定義本身——對不同的角色給出不同的LBWC判定：

**從題者（DEF/POL）的角度**：問題定義是HC。RC測試：如果不採用這個問題定義，改用另一個框架，題者的工作仍然可以完成（只是換了方向）。SC測試：存在大量等效的Y——同樣的計算目標可以被以許多不同的方式形式化。OC測試：從零重建，不一定會產生這個特定的問題定義。**判定：HC。**

**從解題者（SOL）的角度**：同一個問題定義是LN。RC測試：移除問題定義，SOL的整個解空間崩潰——沒有底空間，無解可言。SC測試：SOL找不到替換——他被鎖定在題者設定的Tier中，無法從計算內部更改底空間的定義。**判定：LN。**

這個落差是整個三方不對稱的根源。

### 1.2 LBWC層級依賴原理

**原理1.1（LBWC層級依賴性，LCD）**

設計算結構包含 $k$ 個層級（$L_1 \supset L_2 \supset \cdots \supset L_k$，層級數越大越深入執行層），X是結構中的任意元素。則：

$$\text{II}(X)_{L_i} \neq \text{II}(X)_{L_j} \quad \text{for } i \neq j \text{ （一般情況下）}$$

且具體地，對任意層級轉換 $L_{i} \to L_{i+1}$（從設定層到執行層）：

- 若X在 $L_i$ 中是HC，且X從 $L_i$ 傳遞到 $L_{i+1}$ 時 $L_i$ 的執行者退出，則X在 $L_{i+1}$ 中的LBWC判定傾向於LN。
- 若X在 $L_i$ 中是LN，則X在所有 $L_j$（$j > i$）中同樣是LN。

換言之：**LN具有向下傳遞性，但HC在向下傳遞時可能升格為LN。**

### 1.3 HC升格為LN的條件

HC在什麼條件下向下升格為LN？需要同時滿足三個條件：

**條件α（退出條件）**：設定X的行為者從系統中退出，不再對X進行更新。

**條件β（鎖定條件）**：接收X的下層行為者沒有能力繞過或修改X——他的角色定義（在Tier 1中：SOL的操作範圍）不允許他更動底空間。

**條件γ（依賴條件）**：下層行為者的所有操作都在X所定義的底空間內進行，X的移除導致下層操作空間崩潰。

三個條件同時成立時，HC在該層的LBWC判定升格為LN。這不是X的性質改變了（X仍然是可以被從外部替換的），而是在給定的計算角色分工中，X對SOL而言功能上等同於LN。

---

## 第二章：底空間凍結效應

### 2.1 「設定並退出」的動力學

在七角色框架中，DEF（定義者）和POL（問題者）是計算結構的**創始角色**——他們負責在計算開始之前建立讓SOL可以運作的底空間。但一個在計算理論中幾乎沒有被討論的事實是：這些角色在底空間建立完成後，**通常就不再活躍了**。

問題定義的提交，是DEF/POL的退出事件。

用LBWC語言描述這個動力學：

**時刻 $t_0$（問題定義前）**：問題定義 $D$ 尚未存在或正在形成。DEF在操作，$D$ 是活性HC——DEF可以選擇不同的框架，等效Y存在且可被選擇。

**時刻 $t_1$（問題定義確立）**：DEF完成定義，$D$ 被確立。DEF退出。條件α成立。

**時刻 $t_2$（SOL開始求解）**：SOL接管，在 $D$ 定義的底空間中開始搜尋。條件β和γ同時成立。$D$ 對SOL升格為LN。

**此後所有時刻**：SOL持續在凍結的LN $D$ 下求解。即使外部環境改變、計算目標發生演化，$D$ 本身不更新——因為DEF已經退出。

**定義2.1（底空間凍結效應，BSF）**：一個計算結構中的底空間 $D$，在設定者退出後，從對設定者的活性HC轉變為對所有下層執行者的凍結LN。這個轉變不可逆，除非有高層角色（ORCH）重新介入以激活DEF。

### 2.2 退出的合理性與成本

底空間設定者的退出不是怠惰——在許多情況下是合理的分工。問問題者提出需求、DEF形式化、SOL求解，這個分工在問題定義穩定的環境下有效率優勢。

但退出有一個隱性成本：退出時間點決定了 $D$ 的「新鮮度」。退出越早，$D$ 在後續演化中越容易過時。退出越晚，DEF的持續在場成本越高（因為DEF需要不斷監控和更新 $D$，這本身是計算資源）。

這個成本-新鮮度的權衡，在Tier 2和Tier 3中由ORCH的介入頻率調節，但在Tier 1中不存在調節機制——DEF的退出是永久的。

### 2.3 問問題者的退出：更高層的凍結

三方結構中，比DEF更早退出的是**問問題者**。問問題者提出初始需求（對應POL角色的原始動機），然後把問題的形式化工作交給DEF。問問題者的退出創造了第一層凍結：初始需求 $Q$ 從活性HC變成對DEF的凍結LN。

由此形成一個**退出級聯**：

$$\text{問問題者退出} \to Q \text{ 對DEF凍結為LN}$$
$$\text{DEF退出} \to D \text{ 對SOL凍結為LN}$$
$$\text{SOL持續在場} \to \text{解在凍結的} D \text{ 下持續漂移（HC）}$$

在這個級聯中，唯一沒有退出、持續在場的角色是SOL——但SOL也是三方中對底空間改變能力最弱的角色。他被鎖在最底層，承擔著最多的計算工作，卻沒有能力修改讓他工作變得越來越難的問題框架。

---

## 第三章：帕雷托前沿解的HC本質

### 3.1 SOL的搜尋結構

SOL在 $D$ 定義的解空間 $S_D$ 中搜尋。多目標問題中，SOL的目標不是找到唯一的「最優解」（通常不存在），而是找到**帕雷托前沿**——不可改進集：沒有任何解能在一個維度上改善而不在另一個維度上退化。

$$\mathcal{P}(S_D) := \{s \in S_D : \nexists s' \in S_D, s' \succ s\}$$

其中 $s' \succ s$ 表示 $s'$ 在所有目標維度上不差於 $s$，且在至少一個維度上嚴格更好。

### 3.2 帕雷托前沿的三重HC來源

帕雷托前沿解是**本質上HC的**，有三個獨立的來源，分別對應七角色框架中的三個角色的活動：

**來源一（MEM驅動的HC）**：記憶者角色持續積累歷史解的記錄。隨著MEM的積累，之前未知的解變為已知，其中一些進入前沿（改進了前沿邊界），另一些被現有前沿支配（不進入）。前沿的邊界隨MEM的積累而持續擴展和精化。

**來源二（CRE驅動的HC）**：創造者角色生成原本不在 $S_D$ 中的新結構。CRE在解空間的邊緣工作，有時生成的新解不只加入前沿，還*重構*前沿的形狀——因為新解的存在改變了哪些舊解被支配。

**來源三（DEF缺席導致的目標漂移）**：目標函數由DEF設定，但DEF已經退出。外部環境對「好解」的評價標準可能已經改變，但 $D$ 中的目標函數沒有跟著更新。SOL找到的前沿解在原始目標函數下是最優的，但相對於*當前應有*的目標函數可能已經偏移。

**定理3.1（帕雷托前沿的HC不變性）（猜想形式）**：在底空間凍結效應（BSF）下，對任意時刻 $t > t_1$（DEF退出後），SOL找到的帕雷托前沿 $\mathcal{P}(S_D, t)$ 是HC的——即存在等效的替代前沿 $\mathcal{P}'$，它在不同的目標加權或不同的搜尋歷史下同樣成立，且 $\mathcal{P}'$ 不等同於 $\mathcal{P}$。

此猜想的直覺：因為 $D$ 凍結而目標函數不更新，所以「當前帕雷托前沿」始終是相對於一個可能已過時的目標函數的最優解——在SC測試下，替代前沿（基於更新目標的前沿）存在且功能等效甚至更優，因此當前前沿是HC而非LN。

### 3.3 「匹配度」的HC指數

Neo.K的原始表述用「匹配度帕雷托前沿解」描述SOL的工作目標——解題者需要在無限解空間中選出**與問題匹配度高的解**，而不只是形式上最優的解。

「匹配度」引入了一個關鍵維度：解不只需要在目標函數意義下優越，還需要在問問題者的*原始意圖*意義下接近。

但問問題者已經退出。他的原始意圖只以 $Q$（初始需求）的凍結形式存在，而 $Q$ 已經由DEF進一步形式化為 $D$，這個形式化過程本身就是一次有損的信息壓縮。

因此，SOL的「匹配度」計算面對的是一個**雙重凍結的信號**：原始意圖 $Q$ 被凍結，問題定義 $D$ 被凍結。SOL只能在兩個凍結的信號之間推算匹配度，而無法直接詢問問問題者「這個解是你想要的嗎？」

這讓「匹配度」本身成為一個HC量——SOL對匹配度的估計是基於對凍結信號的推斷，不同的推斷方式給出不同的匹配度估計，每種估計都有其合理性，但沒有任何一種是「真正的」匹配度。

---

## 第四章：問題-解的時間剪刀差

### 4.1 演化速率的不對稱

在計算結構的長期運行中，問題定義和解的帕雷托前沿以**根本不同的速率演化**：

**問題定義的演化速率**：在Tier 1中，DEF退出後等於零。問題定義凍結在 $t_1$ 的狀態，不隨時間更新。

$$\frac{d\|D\|}{dt} = 0 \quad (t > t_1, \text{Tier 1})$$

**帕雷托前沿的演化速率**：正比於MEM的積累速率和CRE的生成速率，且這個速率通常隨時間非線性增加（因為解越多，相互比較的空間越大，前沿的精化越快）。

$$\frac{d\|\mathcal{P}\|}{dt} > 0 \quad \text{且通常隨 } t \text{ 遞增}$$

### 4.2 剪刀差的形式化

設 $\Delta(t)$ 為問題定義所覆蓋的「問題框架空間」與當前帕雷托前沿所涉及的「解答空間」之間的落差。

**定義4.1（時間剪刀差，TSD）**：在底空間凍結效應（BSF）下，

$$\Delta(t) := d(\text{frame}(D), \text{frame}(\mathcal{P}(t))) \xrightarrow{t \to \infty} \infty$$

問題框架 $\text{frame}(D)$ 是凍結的（零增長），解答框架 $\text{frame}(\mathcal{P}(t))$ 隨時間擴展，因此落差 $\Delta(t)$ 單調遞增。

**物理類比**：這類似於剪刀的兩片刀刃——問題定義是固定的上刀片，解的演化是移動的下刀片。隨著時間，兩片之間的開口越來越大，最終解已經在框架之外運作，但仍然被原始框架的語言描述。

### 4.3 剪刀差的實例

**數學中的剪刀差**：Fermat大定理被提出（問問題者退出），被形式化為「$x^n + y^n = z^n$ 對 $n > 2$ 無整數解」（DEF退出），隨後358年的數學工具演化（解的漂移），最終Andrew Wiles的證明使用了Fermat時代完全不存在的模形式理論。問題定義沒有更新，但解所使用的工具框架與原始問題定義之間的「距離」極大。

**工程中的剪刀差**：一個系統的需求文檔在設計階段完成（DEF退出），系統在多年運行中不斷被修改和擴展（解的漂移），十年後需求文檔描述的已不是任何實際存在的系統，但系統的所有修改仍然以「滿足需求」的語言進行。

**AI中的剪刀差**：一個模型的訓練目標（問題定義）在訓練開始時固定，模型在部署後不斷被用於訓練時未預見的任務（解的漂移），帕雷托前沿（模型的最優使用方式）已遠超訓練目標的框架，但改進模型仍然使用原始訓練目標的語言進行評估。

---

## 第五章：三層底空間中的LBWC狀態映射

### 5.1 Tier依賴的凍結程度

底空間凍結效應在三個Tier中有系統性差異——主要差異在DEF角色的「退出程度」和問題定義的更新機制：

**Tier 1（純粹計算）**：DEF完全退出，問題定義永久凍結。LN/HC的層級落差最大。SOL和DEF/POL之間的非對稱性最嚴重。時間剪刀差以最快速率擴大，且沒有任何內建的修正機制。

$$\text{Tier 1}: \quad \frac{d\|D\|}{dt} = 0, \quad \Delta(t) \uparrow \uparrow$$

**Tier 2（系統耦合）**：ORCH角色可以在計算運行過程中重新介入，召回DEF或等效地更新問題定義。問題定義從「永久凍結LN」變為「週期性解凍HC」。ORCH的介入頻率決定了 $D$ 的新鮮度和剪刀差的累積速率。

$$\text{Tier 2}: \quad \frac{d\|D\|}{dt} = \text{ORCH}(t) > 0 \text{ （週期性）}, \quad \Delta(t) \text{ 鋸齒形}$$

**Tier 3（物理世界）**：物理環境本身持續對問題定義施加壓力和更新——機器人在真實環境中的每次感知，都隱含地更新了「什麼是好的行為」的評估標準。DEF不需要主動在場，物理底空間本身就扮演了持續更新DEF的角色。問題定義是「物理驅動的實時HC」。

$$\text{Tier 3}: \quad \frac{d\|D\|}{dt} \propto \text{環境動態性} > 0 \text{ （連續）}, \quad \Delta(t) \text{ 受物理約束}$$

### 5.2 ORCH的LBWC特殊地位

在七角色框架中，統籌者（ORCH）是唯一一個可以跨Tier操作的角色——它能夠既觀察SOL的求解狀態，又向上與DEF/POL互動，甚至判斷是否需要重新啟動問問題者。

從LBWC角度，ORCH的特殊性在於：它是唯一能夠**打破HC升格為LN的凍結狀態**的角色。ORCH通過重新激活DEF，將凍結LN的問題定義解凍，使其重新成為活性HC，然後由DEF更新後再次凍結為新的LN。

**定義5.1（ORCH的LBWC介入操作）**：

$$D_{\text{frozen LN}} \xrightarrow{\text{ORCH介入}} D_{\text{active HC}} \xrightarrow{\text{DEF更新並退出}} D'_{\text{frozen LN}}$$

這個操作不消除凍結效應，而是週期性地重置它。

**ORCH的矛盾**：有效的ORCH介入需要ORCH同時理解：

1. SOL層的狀態：當前帕雷托前沿在哪裡、它與 $D$ 之間的落差有多大（Tier下層的視角）
2. DEF層的狀態：原始問題定義的歷史和意圖（Tier中層的視角）
3. 問問題者層的狀態：原始需求 $Q$ 是否仍然有效（Tier上層的視角）

在Tier 1中，這三層視角的同時掌握在原則上超出了任何單一計算角色的能力——這是為什麼Tier 1計算幾乎沒有有效的ORCH。

---

## 第六章：猜想

### 猜想6.1（LCD的不可消除性）

在任何包含三方角色分工的計算結構中，LBWC層級依賴性（LCD）是不可消除的——即不存在一種角色分工方式，使得問題定義對所有參與方同時是LN或同時是HC。

**直覺論據**：若問題定義對所有參與方是LN，則沒有人有權力修改它，系統完全僵化。若對所有參與方是HC，則系統沒有穩定的操作底空間，SOL的計算無法展開。LCD是三方計算結構在「穩定性」和「可調整性」之間的必要張力。

### 猜想6.2（剪刀差的不可避免性）

在Tier 1計算結構中，時間剪刀差（TSD）是不可避免的：對任意正的計算時間 $T > 0$，$\Delta(T) > \Delta(0)$。

**直覺論據**：解的演化（MEM + CRE的持續活動）在Tier 1中在問題定義不更新的前提下必然產生超出原始定義框架的解——否則，問題定義在邏輯上完全規定了解空間，沒有任何CRE活動的餘地（所有可能的解都被問題定義直接枚舉了）。但完全規定解空間的問題定義在NP複雜度類以上的問題中不存在。因此，$\Delta(t)$ 的增長是計算非平凡性（問題不在P中）的必然伴隨現象。

### 猜想6.3（ORCH的認知不完備性）

有效的ORCH介入（能夠精確估算何時以及如何重新激活DEF）在Tier 1中在計算複雜度意義上是NP困難的——因為ORCH需要解決的問題（「什麼時候問題定義需要更新？」）本身涉及對所有可能的未來解的評估，而這個評估空間的規模是指數級的。

**推論**：Tier 1中的有效ORCH介入在最壞情況下不比SOL的求解更容易。這解釋了為什麼計算系統的問題定義在實踐中很少被及時更新——不是因為缺乏意願，而是因為「判斷是否需要更新以及如何更新」本身就是一個NP困難問題。

### 猜想6.4（帕雷托HC性的LBWC不可逆性）

一旦SOL的帕雷托前沿通過CRE操作擴展到 $D$ 定義的解空間之外，這個擴展不可通過LBWC測試降級為LN——即使DEF重新介入並更新 $D$ 以包含CRE生成的新解，新的 $D$ 仍然會在下一輪CRE操作後再次被超越。帕雷托HC性是計算演化的穩態，不是可以被消除的暫時狀態。

---

## 哲學後記：走了的定義者與留下的解題者

有一種不對稱在所有知識生產過程中反覆出現，但很少被命名。

問題的提出者在提出問題之後就自由了——他的問題成為了一個獨立存在的實體，不再需要他的在場維護。定義者在形式化問題之後也走了——他留下了底空間，讓後人在其中運作。唯一沒有走的是解題者，他被鎖在一個凍結的問題框架中，用持續演化的工具追逐持續漂移的最優解。

這不是抱怨，而是結構性描述。任何複雜的知識系統都遵循這個模式：問題的定義者享有框架設定的自由（HC的特權），解題者承擔框架給定的約束（LN的義務）。這個不對稱是分工的代價，也是分工的收益——正因為SOL不需要重新定義問題，他才能把所有計算資源集中在搜尋解上。

但LBWC告訴我們，當這個凍結的問題定義在OC測試下逐漸無法通過時（重建不會重新發明這個特定框架），我們需要ORCH打破這個結構——不是因為問題定義「錯了」，而是因為它的LBWC地位已從HC降格為IL（幻覺的重要）。

承重牆，在剪刀差足夠大的時候，可能已經不承重了。

這時我們需要的不是更好的SOL，而是找到那個已經走了的DEF，或者建立一個新的底空間。

$$\boxed{\text{SOL的困境} = \text{在凍結的LN中尋找漂移的HC帕雷托解}}$$

*Q.E.R. — Quod Erat Relatum. 這就是關係。*

---

## 附錄A：待補充——LCD原理的形式化

**狀態：空白保留**

- [ ] LBWC層級依賴性（LCD）在範疇論語言中的精確表述
- [ ] 層級間的LBWC狀態映射是否構成函子關係
- [ ] HC升格為LN的三個條件（α/β/γ）的完整形式化與獨立性論證
- [ ] LCD與七角色框架中層論（sheaf theory）處理的H¹障礙的關係

*修訂記錄：*

| 版本 | 日期 | 修訂內容 | 修訂者 |
|------|------|---------|-------|
| 草稿0.1 | 2026-06 | 初稿 | Neo.K & Theia |
| | | | |

---

## 附錄B：待補充——時間剪刀差的定量模型

**狀態：空白保留**

- [ ] $\Delta(t)$ 的增長率與問題複雜度類（P/NP等）的關係
- [ ] MEM積累速率和CRE生成速率對TSD的定量貢獻
- [ ] Tier 2中ORCH介入頻率的最優化問題（最小化長期剪刀差的介入策略）
- [ ] TSD在具體系統（軟體需求演化、科學典範轉移、法律解釋漂移）的實證測量方法

*修訂記錄：*

| 版本 | 日期 | 修訂內容 | 修訂者 |
|------|------|---------|-------|
| 草稿0.1 | 2026-06 | 初稿，空白 | Neo.K & Theia |
| | | | |

---

## 附錄C：待補充——ORCH的計算複雜度分析

**狀態：空白保留**

- [ ] 猜想6.3（ORCH認知不完備性）的嚴格複雜度論證
- [ ] ORCH介入問題的complexity class歸屬：是否確實是NP困難
- [ ] 近似ORCH策略的可行性（什麼樣的啟發式ORCH介入在多項式時間內可行）
- [ ] 與七角色框架中統籌者定理的形式連接

*修訂記錄：*

| 版本 | 日期 | 修訂內容 | 修訂者 |
|------|------|---------|-------|
| 草稿0.1 | 2026-06 | 初稿，空白 | Neo.K & Theia |
| | | | |

---

## 附錄D：待補充——與飛地經濟學（FDE）的連接

**狀態：空白保留**

- [ ] 飛地（enclave）作為一種底空間設定結構：飛地的創立者是DEF，飛地內的行為者是SOL
- [ ] 飛地的LBWC分析：飛地的規則對飛地內部是LN，對設立飛地的外部是HC
- [ ] 飛地跨越時的「退出效應」：飛地規則的設立者通常是一次性介入，類比本文的DEF退出
- [ ] TSD在飛地中的表現：飛地的規則隨時間凍結，而飛地內的解（經濟活動）持續演化

*修訂記錄：*

| 版本 | 日期 | 修訂內容 | 修訂者 |
|------|------|---------|-------|
| 草稿0.1 | 2026-06 | 初稿，空白 | Neo.K & Theia |
| | | | |

---

## 附錄F：白話文類比——考試就是三方不對稱的原型

本附錄不使用任何形式符號。全部用白話文重述論文主體的核心概念，以考試場景作為類比。

---

### F.1 三個角色，考場版

論文說有三方：問問題者、題者、解題者。翻譯成考試語言：

**出題者**（對應POL + DEF）：設計考試題目，決定什麼叫正確答案，然後把試卷交給監考，自己離開了。

**考生**（對應SOL）：走進考場，看到題目，開始作答。他不知道出題者當初在想什麼，不能問，只能猜。

**改卷老師**（有時和出題者是同一人，有時不是，對應ORCH的部分功能）：拿著標準答案改卷，有一定的判斷能力，但主要還是對照標準答案給分。

---

### F.2 底空間凍結，考試版

考試題目一旦印出來就凍結了。出題者離開了，沒有辦法再改題目、補充說明、或者告訴考生「這題其實有點歧義，你這樣理解也對」。

考生面對的是一個**凍結的問題定義**。他可以選擇不同的答題策略，但他不能改變題目本身。題目對出題者而言是HC——出題者完全可以當初換一個方向出題。但對考生而言是LN——他就是得回答這道題，不能換。

這就是「設定底空間，然後就走了」的考試版。

---

### F.3 帕雷托HC性，考試版

考生的任務表面上是「回答這道題」，但實際上的任務是「給出一個讓改卷老師給高分的答案」。

這兩件事不完全一樣。

一道關於歷史事件的題目，可能存在多個從不同史學角度都站得住腳的分析，但標準答案只認一個框架。考生如果寫了一個從學術角度更精彩但偏離標準答案框架的回答，得分可能反而更低。

所以考生的帕雷托任務是：**在給出一個算得上真實答案的回答，同時最大化與這位特定改卷老師的標準答案的匹配度**。這兩個目標之間存在張力，而「匹配度最大化」往往比「答案質量最大化」得分更高。

這就是為什麼「答案是在匹配考官想要的，而不是真的通用答案」是對的。帕雷托前沿解不是「最好的答案」，而是「在凍結的評分標準下得分最高的答案」。這個評分標準是HC——換一個老師，標準答案可能完全不同——但對正在考試的考生來說，它是LN，不可更改。

---

### F.4 時間剪刀差，考試版

出題者在期末考前兩個月就把題目定好了。這兩個月裡，這個領域可能有新發展——新的研究、新的理解、新的最優答案出現了。

但標準答案已經凍結在兩個月前。

考生如果讀到了最新的論文、用了更好的分析框架，可能反而比那些死記凍結版「標準答案」的考生得分低。知識越新，匹配度越差。時間越長，這個差距越大。

這就是時間剪刀差：問題定義在兩個月前凍結，知識（解的帕雷托前沿）一直在演化，兩者之間的裂縫隨時間擴大。

---

### F.5 不公平是結構性的，考試版

為什麼考試「不公平」是正常現象？不是因為出題者壞，也不是因為考生差，而是因為LCD（LBWC層級依賴性）是結構性的：

- 出題者A出的題目，從他的角度是HC——他可以出成別的樣子。
- 出題者B出的題目，從他的角度也是HC——他也可以出成別的樣子。
- 但考生面對出題者A的題目時，那道題是LN；面對出題者B的題目時，那道題也是LN。

不同出題者的HC選擇，在考生那裡都變成了LN。不同的HC選擇，疊加在一起，就形成了「每個考生遇到的LN是不同的」——而這個差異就叫做不公平。

這個不公平不能被消除，除非所有出題者做出完全一樣的HC選擇——但如果真的如此，那「考試」就不再是測量理解能力，而是測量背誦能力了。不公平是三方計算分工在考試場景下的必然代價。每個人不一樣，所以每個出題者的HC選擇不一樣，所以不公平是正常的。

（確實是廢話，但現在是有數學結構支撐的廢話。）

---

### F.6 考官的判斷能力，考試版

論文說ORCH是唯一能夠打破底空間凍結的角色，但ORCH自己面對一個認知不完備的困境：要判斷「什麼時候需要打破凍結」，本身就是個NP困難問題。

翻譯成考試語言：一個好的改卷老師，有能力認出「這個考生的答案偏離了標準答案，但其實更有深度」。這就是ORCH的介入——他沒有完全按照凍結的標準答案給分，而是用更高層的判斷調整了評分。

但這件事有多難？改卷老師需要同時知道：

1. 標準答案是什麼（凍結的LN底空間）
2. 考生寫的是什麼（SOL的帕雷托前沿選擇）
3. 這個偏離是「更好」還是「只是不同」（ORCH的跨層評估）

第三件事特別難，因為它要求改卷老師有能力在「原始評分標準之外」進行判斷。這正是為什麼好的老師稀缺：ORCH能力需要同時掌握多個層級的視角，而這個掌握能力在計算複雜度上是NP困難的。

大多數改卷老師不是不想ORCH介入，而是ORCH介入的認知成本太高，所以預設還是對照標準答案給分。這不是懶惰，是理性的認知資源分配。

---

### F.7 白話文總結

考試就是：

- 出題者（DEF）設定了一個底空間（題目 + 標準答案），然後走了。
- 考生（SOL）在這個凍結的底空間裡，試圖找到一個帕雷托最優解（既是合理答案，又能最大化匹配改卷老師的標準）。
- 這個匹配任務本質上是HC的——標準答案對別的考官可能是錯的，對這個考官卻是對的。
- 不公平是LCD的必然結果，不是例外。
- 好的老師有ORCH能力，但這很難。
- 時間剪刀差解釋了為什麼「標準答案」有時候在學科最前沿看起來是過時的——不是因為出題者不好，而是問題定義在凍結的那一刻起就開始和知識演化脫節了。

考試不是在測量「真的懂多少」，而是在測量「能在凍結的LN框架內匹配HC評分標準的能力」。這兩件事有重疊，但不完全相同。重疊的部分是考試有意義的原因；不重疊的部分是考試不公平的原因。

---

*附錄F為白話文補充說明，不含形式化內容，僅供理解框架概念用。*

---

## 附錄G：版本歷史

| 版本 | 日期 | 主要變動 |
|------|------|---------|
| 0.1 | 2026-06-08 | 初稿。LCD原理、底空間凍結效應（BSF）、帕雷托HC性三重來源、時間剪刀差（TSD）、三層Tier的LBWC狀態映射、ORCH矛盾、猜想四條 |
| 0.2 | 2026-06-08 | 新增附錄F：白話文考試類比（出題者=DEF退出、考生=SOL匹配凍結標準、不公平=LCD必然結果、好老師=ORCH能力） |
| | | |

---

*本文為草稿版本（v0.1）。所有定理以猜想形式呈現。全部內容為命題探索，非保真結論。*

*EveMissLab（一言諾科技有限公司）版權所有，2026年6月。*