# Paper 00｜實驗命題族：從約束代數到可修正、可替換與跨理論超譯的物理驗證框架 **Experimental Proposition Families: From Constraint Algebra to Revisable, Carrier-Substitutable, and Cross-Theory Physical Verification** **作者：** Neo.K / EveMissLab **協作：** Aletheia **版本：** v0.1 **日期：** 2026-09-15 **文件性質：** 系列第零篇／實驗方法論總綱／物理驗證架構 **Canonical Source：** UTF-8 Markdown **數學原始碼規範：** inline math 僅使用 ` $...$ `；display math 僅使用 `$$...$$` **機構：** EveMissLab／一言諾科技有限公司 --- ## 摘要 傳統物理研究常以單一假說為基本單位，將實驗結果壓縮為「支持／不支持」或「未被否證／被否證」的二元判決。然而，對跨介質、跨尺度、跨物理載體與跨理論描述的複合研究而言，單一命題往往不足以承載真實的研究結構。某些子機制早已由成熟物理學支持；某些命題只涉及工程參數；某些命題關乎載體替換；某些則屬於更高階的共同結構推測。若將所有內容綁成一個總假說，任何局部失敗都可能被錯誤理解為整體失敗，任何局部成功也可能被過度外推為整體成立。 本文提出 **Experimental Proposition Family Framework，實驗命題族框架，EPFF**。其核心主張是：對複合物理問題，不應只建立單一命題，而應建立具有依賴、替代、細化、實現與解釋關係的命題集合族。實驗的任務也不只是對總命題進行一次性否證，而是持續辨識哪一個命題、參數、載體、耦合、邊界條件或理論解釋需要修正。 本文將既有 **Constraint Algebra and Mixed-Carrier Realization Theory，CAMCRT** 作為物理實現層基底，以約束代數、實現算子、載體替換原則與代數臨界性描述「同一功能關係是否可由不同幾何、材料、場與邊界條件實現」。在此基礎上，本文引入命題圖、證據狀態、實驗映射、修正算子、跨理論超譯層與未知殘差升格條件。 本文尤其區分「超譯」與「不可證偽化」。超譯不是在實驗失敗後任意更換理論以保存原命題，而是讓同一觀測結果在多個既有理論坐標系中被分別計算、比較預測誤差、列出可區辨條件，並保留彼此不相容之處。只有當觀測殘差在控制已知機制、儀器誤差、環境擾動與替代模型後仍穩健存在，且可跨實驗、跨儀器或跨載體重現時，才允許將其升格為「未知機制候選」。 因此，EPFF 將實驗從單一判決程序改寫為一個可版本化的研究更新系統： $$ \boxed{ \text{Experiment} = \text{Discrimination} + \text{Correction} + \text{Realization Search} + \text{Theory Translation} } $$ 並將整個研究系列表示為： $$ \boxed{ \mathfrak P_{t+1} = \mathcal U \left( \mathfrak P_t, \mathcal E_t, \mathcal R_t, \mathcal T_t, \mathcal C_t \right) } $$ 其中 $\mathfrak P_t$ 為當前命題族， $\mathcal E_t$ 為實驗證據， $\mathcal R_t$ 為物理實現狀態， $\mathcal T_t$ 為跨理論解釋集合， $\mathcal C_t$ 為控制條件與反例集合， $\mathcal U$ 則是研究更新算子。 本文不主張任何特定未知推進機制已被證明，也不將成熟物理現象重新命名為未知效應。本文的目的，是建立一套能夠容納成熟機制、開放命題、失敗修正、跨載體替換與新機制發現的正式實驗研究架構，作為後續水域、大氣、稀薄氣體、真空與更高階物理驗證工作的共同第零層。 --- ## 關鍵詞 實驗命題族、約束代數、混合載體實現、載體替換、跨理論超譯、實驗方法論、證據圖、可證偽性、異常殘差、物理驗證、CAMCRT、EPFF --- # 1. 問題起點：單一假說不足以描述複合物理研究 ## 1.1 傳統最小圖景 最簡化的科學方法可以寫為： $$ H \longrightarrow E \longrightarrow \{ \text{support}, \text{reject}, \text{undetermined} \}. $$ 其中 $H$ 為假說， $E$ 為實驗。 此架構對單一、邊界清楚、變量有限的研究非常有效。然而當研究包含： - 已成熟的物理機制； - 尚待測試的工程實現； - 跨介質或跨載體替換； - 多重耦合與邊界條件； - 不同理論對同一現象的多重描述； - 尚未分類的觀測殘差； 則單一 $H$ 會變得過度粗糙。 ## 1.2 兩種常見錯誤 第一種錯誤是「局部失敗導致整體誤殺」： $$ H_k=\text{false} \not\Rightarrow \forall i,\ H_i=\text{false}. $$ 第二種錯誤是「局部成功導致整體過度外推」： $$ H_k=\text{supported} \not\Rightarrow \forall i,\ H_i=\text{supported}. $$ 因此研究對象應從單一命題提升為命題族。 --- # 2. 實驗命題族的最小定義 ## 2.1 命題族 定義： $$ \boxed{ \mathfrak P = \left( V_P, E_{\mathrm{dep}}, E_{\mathrm{alt}}, E_{\mathrm{ref}}, E_{\mathrm{real}}, E_{\mathrm{exp}} \right) } $$ 其中： - $V_P$：命題節點集合； - $E_{\mathrm{dep}}$：依賴關係； - $E_{\mathrm{alt}}$：替代關係； - $E_{\mathrm{ref}}$：細化／修正關係； - $E_{\mathrm{real}}$：物理實現關係； - $E_{\mathrm{exp}}$：跨理論解釋關係。 因此命題族不是普通清單，而是一個具有方向與型別的命題圖。 ## 2.2 單一命題節點 每一個命題節點定義為： $$ \boxed{ P_i = \left( H_i, D_i, R_i, M_i, O_i, C_i, S_i, V_i \right) } $$ 其中： - $H_i$：命題內容； - $D_i$：適用域； - $R_i$：physical realization； - $M_i$：假定或已知機制； - $O_i$：可觀測量； - $C_i$：控制條件； - $S_i$：證據狀態； - $V_i$：版本。 這使「一句物理敘述」轉化為可追蹤、可實驗與可修正的研究節點。 --- # 3. 命題的六種證據狀態 本文不使用單純 true / false 作為唯一狀態，而定義： $$ S_i \in \{ A, S, O, W, R, T \}. $$ 其意義為： - $A$：Anchor，成熟物理錨點； - $S$：Supported，在指定域與誤差條件內獲得支持； - $O$：Open，尚未充分測試； - $W$：Weakened，需要縮小作用域或修改參數； - $R$：Rejected，在明確作用域內被實驗排除； - $T$：Translated，原敘述被替換為更合適的理論描述，但觀測本身保留。 特別注意： $$ R \neq \text{research failure}. $$ 一個命題被拒絕仍可能改善命題族的結構與可識別性。 --- # 4. 成熟物理機制的角色：Anchor Proposition 命題族中允許存在已被成熟物理支持的節點。 例如某一研究系列可能包含： $$ H_A: \text{a controlled field can generate a measurable force distribution}. $$ 若此現象已由成熟理論與實驗支持，則其角色不是「重新證明自然定律」，而是作為： $$ \boxed{ \text{Anchor Proposition} } $$ 其功能包括： 1. 校準儀器； 2. 提供 baseline； 3. 驗證實驗站能否重現已知現象； 4. 隔離新命題真正新增的自由度； 5. 防止把已知效應誤判為未知機制。 因此： $$ \boxed{ \text{Novel Research} \neq \text{Everything Must Be Novel}. } $$ 成熟物理可以是新命題族中的固定錨點。 --- # 5. CAMCRT 作為物理實現層 ## 5.1 約束代數 本文採用 CAMCRT 的核心表示： $$ \boxed{ \mathcal A = \left( \mathcal X, \mathcal O, \mathcal C, \mathcal I, \mathcal T \right) } $$ 其中： - $\mathcal X$：state variables； - $\mathcal O$：operators； - $\mathcal C$：constraints； - $\mathcal I$：invariants； - $\mathcal T$：transition rules。 研究首先問： > 需要什麼關係結構？ 而不是先問： > 應該用哪一種材料或哪一種場？ ## 5.2 實現算子 $$ \boxed{ \mathcal R: \mathcal A \to ( \mathcal G, \mathcal M, \mathcal F, \mathcal B ) } $$ 其中： - $\mathcal G$：geometry / topology； - $\mathcal M$：material / interface； - $\mathcal F$：field； - $\mathcal B$：boundary / stopping / environment。 因此實驗設計不再只搜尋一個裝置，而是搜尋一整族 realization。 ## 5.3 載體替換 若： $$ \mathcal R_a(\mathcal A) $$ 與： $$ \mathcal R_b(\mathcal A) $$ 都保持研究要求的 invariants，則可寫為： $$ \boxed{ \mathcal R_a \sim_{\mathcal A} \mathcal R_b. } $$ 此關係不表示兩種物理載體在微觀上相同，只表示它們可能實現同一組功能性約束。 這是後續跨水域、大氣、稀薄氣體、真空與其他環境研究的形式基礎。 --- # 6. 實驗不是一次判決，而是辨識問題 對一個實驗結果 $E_k$，本文不直接問： > 理論對不對？ 而先問： $$ \boxed{ \text{Which layer failed?} } $$ 可能的錯誤來源至少包括： $$ \mathcal F_{\mathrm{err}} = \{ P, \theta, R, K, B, I, D \}, $$ 其中： - $P$：Proposition Error； - $\theta$：Parameter Error； - $R$：Carrier / Realization Error； - $K$：Coupling Error； - $B$：Boundary Error； - $I$：Interpretation Error； - $D$：Data / Instrument Error。 因此： $$ E_k \not\models H_i $$ 只代表目前 realization 與條件不足以支持 $H_i$，直到責任層被隔離。 --- # 7. 命題族實驗的最小單位 本文定義實驗最小單位： $$ \boxed{ X_{ijk} = \left( P_i, R_j, E_k \right). } $$ 也就是： > 哪一個命題，透過哪一個 physical realization，由哪一個實驗測試？ 若加入理論解釋，則為： $$ \boxed{ X_{ijkl} = \left( P_i, R_j, E_k, T_l \right). } $$ 這允許同一個實驗： - 同時測試多個命題； - 對比多個 realization； - 被多個理論分別解釋； - 將結果回寫到不同節點。 --- # 8. 實驗證據圖 定義 Evidence Graph： $$ \boxed{ \mathfrak E = \left( V_E, E_{\mathrm{sup}}, E_{\mathrm{con}}, E_{\mathrm{cal}}, E_{\mathrm{rep}} \right) } $$ 其中： - $V_E$：實驗、量測、模擬與校準結果； - $E_{\mathrm{sup}}$：支持關係； - $E_{\mathrm{con}}$：反例／衝突關係； - $E_{\mathrm{cal}}$：校準關係； - $E_{\mathrm{rep}}$：重現關係。 命題圖與證據圖之間建立雙向映射： $$ \boxed{ \mathfrak P \leftrightarrow \mathfrak E. } $$ 命題決定要測什麼，證據則改寫命題的狀態與版本。 --- # 9. 研究更新算子 定義： $$ \boxed{ \mathfrak P_{t+1} = \mathcal U \left( \mathfrak P_t, \mathcal E_t, \mathcal R_t, \mathcal T_t, \mathcal C_t \right) } $$ 其中： - $\mathfrak P_t$：當前命題族； - $\mathcal E_t$：新增證據； - $\mathcal R_t$：realization 狀態； - $\mathcal T_t$：theory translation set； - $\mathcal C_t$：控制條件、反例與排除項； - $\mathcal U$：更新算子。 $\mathcal U$ 可以執行： 1. 保持； 2. 支持； 3. 削弱； 4. 拒絕； 5. 參數修正； 6. 作用域縮減； 7. 命題分裂； 8. 命題合併； 9. realization 替換； 10. 理論超譯； 11. 新命題生成。 因此： $$ \boxed{ \text{Experiment} \neq \text{binary verdict}. } $$ 而是： $$ \boxed{ \text{Experiment} = \text{state update on a proposition family}. } $$ --- # 10. 命題分裂與責任層定位 若一個命題： $$ H: A\land B\land C $$ 被實驗拒絕，不應立刻宣稱三者皆錯。 應先分裂： $$ H_A, H_B, H_C, H_{AB}, H_{AC}, H_{BC}. $$ 再透過最小實驗集定位： $$ \boxed{ \operatorname*{argmin}_{\mathcal X} |\mathcal X| \quad \text{s.t.} \quad \mathcal X \text{ discriminates candidate causes}. } $$ 這與「最小依賴錐」思路一致：只增加足以區分候選原因的測試，不無限制擴張實驗空間。 --- # 11. 參數錯誤不等於機制錯誤 若理論預測： $$ O=f(\theta), $$ 但實驗得到： $$ O_{\mathrm{obs}}\neq f(\theta_0), $$ 至少存在三種可能： $$ \theta_0 \text{ is wrong}, $$ $$ f \text{ is incomplete}, $$ 或： $$ H \text{ is wrong}. $$ 因此在拒絕機制前，應建立： $$ \Theta_{\mathrm{valid}} = \{ \theta: \mathcal L(O_{\mathrm{obs}},f(\theta)) \leq \epsilon \}. $$ 若整個合理參數域均失敗，才提高對機制本身的否證權重。 --- # 12. 邊界與環境是正式變量，不是實驗背景 傳統實驗常把環境視為附註條件。 本文將其提升為 realization 的正式分量： $$ \mathcal B = ( P, T, \rho, g, \mu, \sigma, \text{boundary geometry}, \text{external disturbance} ). $$ 因此當系統從： $$ \text{water} \to \text{air} \to \text{rarefied gas} \to \text{vacuum} $$ 遷移時，不應被描述成「同一實驗換地點」，而是： $$ \boxed{ \mathcal B_1 \to \mathcal B_2 \to \mathcal B_3 \to \mathcal B_4 } $$ 所造成的 realization family 變換。 --- # 13. 外場—內域—介質耦合的抽象命題 後續系列可使用下列上位結構，但本文不宣稱其已被普遍驗證： $$ \boxed{ \mathcal F_{\mathrm{ext}} \bowtie \mathcal C_{\mathrm{int}} \bowtie \mathcal B_{\mathrm{med}} \to \mathcal O_{\mathrm{transport}}. } $$ 其中： - $\mathcal F_{\mathrm{ext}}$：外部可控場； - $\mathcal C_{\mathrm{int}}$：場與本體／內域的耦合； - $\mathcal B_{\mathrm{med}}$：介質與邊界條件； - $\mathcal O_{\mathrm{transport}}$：可觀測輸運結果。 更具體可研究： $$ \Delta \Pi = \Pi_{\mathrm{front}} - \Pi_{\mathrm{rear}}, $$ 其中 $\Pi$ 不預設必然是哪一種「基本張力」，它可以在不同 realization 中代表： - 壓力； - 應力； - 動量通量； - 場能密度； - 有效勢； - 其他可測的廣義共軛量。 因此核心不是提前命名新力，而是測量： $$ \boxed{ \Delta \Pi \neq0 \Rightarrow \text{whether a controlled directional transport emerges}. } $$ --- # 14. 「超譯」的正式定義 ## 14.1 為什麼需要超譯 同一個觀測 $O$ 可能被不同理論描述： $$ T_1 \mapsto \hat O_1, $$ $$ T_2 \mapsto \hat O_2, $$ $$ T_3 \mapsto \hat O_3. $$ 我們不應先選一個喜歡的理論，再要求資料服從它。 因此定義 Theory Translation Set： $$ \boxed{ \mathcal T(O) = \{ (T_l,\hat O_l,\epsilon_l,C_l) \}_{l=1}^{m}. } $$ 其中： - $T_l$：候選理論； - $\hat O_l$：該理論的預測； - $\epsilon_l$：預測誤差； - $C_l$：使不同理論可被區辨的條件。 ## 14.2 超譯不是保存理論 本文定義： $$ \boxed{ \text{Super-Translation} \neq \text{Theory Rescue}. } $$ 超譯只能做三件事： 1. 將同一觀測翻譯進不同理論坐標； 2. 比較各理論在哪些域等價、在哪些域分歧； 3. 設計能區分它們的下一個實驗。 若某理論已被明確否證，超譯不能把它重新標記為成立。 --- # 15. 理論等價、近似等價與不可區辨 若在觀測域 $\Omega$ 中： $$ \left| \hat O_a-\hat O_b \right| < \epsilon_{\mathrm{inst}}, $$ 則兩理論在目前儀器解析度下不可區辨： $$ \boxed{ T_a \sim_{\Omega,\epsilon} T_b. } $$ 這不表示兩理論本體相同，只表示目前實驗無法區分。 因此後續實驗應最大化： $$ \boxed{ \Delta_{ab} = \left| \hat O_a-\hat O_b \right|. } $$ 即優先選擇理論預測分歧最大的工作域。 --- # 16. 未知殘差 定義觀測殘差： $$ \boxed{ \Delta O = O_{\mathrm{obs}} - O_{\mathrm{known}}. } $$ 其中： $$ O_{\mathrm{known}} = \sum_{j=1}^{n} \hat O_j^{\mathrm{established}}. $$ 但： $$ \Delta O\neq0 $$ 不能立即被解讀為新物理。 它可能來自： - 校準偏差； - 未建模氣流； - 熱效應； - 機械振動； - 電磁串擾； - 幾何不對稱； - 材料非均勻； - 感測器漂移； - 數值模型不足； - 統計偶然。 --- # 17. 未知機制候選的升格條件 只有當殘差通過下列閘門，才允許由 anomaly 升格為 unknown mechanism candidate。 定義： $$ G_{\mathrm{unknown}} = G_{\mathrm{ctrl}} \land G_{\mathrm{rep}} \land G_{\mathrm{inst}} \land G_{\mathrm{model}} \land G_{\mathrm{carrier}}. $$ 其中： - $G_{\mathrm{ctrl}}$：主要 conventional confounders 已被控制； - $G_{\mathrm{rep}}$：獨立重現； - $G_{\mathrm{inst}}$：不同儀器鏈仍可觀測； - $G_{\mathrm{model}}$：多個成熟替代模型均不足； - $G_{\mathrm{carrier}}$：若命題聲稱跨載體，則至少有對應跨載體證據。 只有： $$ G_{\mathrm{unknown}}=1 $$ 時，才建立： $$ H_{\mathrm{unknown}}. $$ --- # 18. 反異常膨脹規則 本文明確禁止下列推理： $$ \text{unexplained} \Rightarrow \text{new force}. $$ 正確流程為： $$ \boxed{ \text{unexplained} \to \text{residual} \to \text{controls} \to \text{replication} \to \text{model competition} \to \text{candidate anomaly}. } $$ 此規則是整個命題族研究避免自我封閉的核心。 --- # 19. 跨載體驗證與 Carrier Substitution 假設研究要求的功能約束為： $$ \mathcal A^\star. $$ 第一個 realization： $$ \mathcal R_1(\mathcal A^\star) = ( \mathcal G_1, \mathcal M_1, \mathcal F_1, \mathcal B_1 ). $$ 第二個 realization： $$ \mathcal R_2(\mathcal A^\star) = ( \mathcal G_2, \mathcal M_2, \mathcal F_2, \mathcal B_2 ). $$ 若兩者都維持指定 invariants： $$ \mathcal I^\star, $$ 則可以檢查： $$ \boxed{ \mathcal R_1 \sim_{\mathcal A^\star} \mathcal R_2. } $$ 此處「等價」只限於命題指定的功能域，不代表微觀物理等價。 這正是本系列與一般單裝置研究最重要的差異之一。 --- # 20. Earth-First 作為實驗空間，而非預設答案 本文提出一個可能的實驗域順序： $$ \boxed{ \text{Water} \to \text{Atmospheric Air} \to \text{Rarefied Gas} \to \text{Vacuum} \to \text{Outer Space}. } $$ 此順序不是理論必然，而是研究可控性的工程策略。 其目的為逐步改變： $$ \rho_{\mathrm{medium}}, \quad P, \quad g, \quad \text{boundary conditions}, \quad \text{available field carriers}. $$ 當某種 realization 在介質耗盡時失效，這本身也是有價值的證據。 例如： $$ F(P) \to 0 \quad \text{as} \quad P\to0 $$ 可支持該 realization 對物質介質的依賴。 若存在穩健殘差： $$ \lim_{P\to0} F(P) = F_{\mathrm{res}} \neq0, $$ 則首先應進入殘差排查，而不是直接宣稱真空新機制。 --- # 21. 命題族中的理論層級 本文建議將命題至少分為五層。 ## Level A — Anchor 成熟物理與可重現基準。 ## Level B — Engineering Realization 已知機制的新裝置、新幾何、新控制法。 ## Level C — Cross-Carrier Structural Proposition 主張不同載體實現同一 constraint algebra。 ## Level D — Generalized Physical Principle 主張更一般的外場、耦合、邊界與輸運共同結構。 ## Level E — Unknown Mechanism Candidate 只有在已知模型不足且通過升格閘門後建立。 因此： $$ A \not\Rightarrow B \not\Rightarrow C \not\Rightarrow D \not\Rightarrow E. $$ 每一層都需要自己的證據。 --- # 22. 命題依賴與禁止越級 若： $$ P_j \prec P_k, $$ 表示 $P_k$ 依賴 $P_j$。 則在 $P_j$ 未達最低證據門檻前，不應將 $P_k$ 標為 Supported。 定義最低門檻： $$ \operatorname{Gate}(P_k) = \bigwedge_{j\in\operatorname{Parents}(k)} S_j \in \{ A,S \}. $$ 這可防止： > 底層只證明一個已知聲學現象，上層卻直接宣稱普遍場推進原理成立。 --- # 23. 命題修正而不是文字修補 當命題需修改時，必須生成新版本： $$ P_i^{(v)} \to P_i^{(v+1)}. $$ 舊版本保留。 修正至少標註： - 哪一個實驗觸發； - 哪一個條件改變； - 哪一個作用域縮小或擴張； - 是否更換 realization； - 是否改變理論解釋； - 哪些證據仍有效。 因此研究歷史本身也是資料。 --- # 24. 失敗類型學 本文將失敗區分為： $$ \boxed{ \mathcal F = \{ F_P, F_R, F_C, F_B, F_M, F_I, F_X \}. } $$ 其中： - $F_P$：命題錯誤； - $F_R$：realization 不合適； - $F_C$：耦合不足； - $F_B$：邊界條件不成立； - $F_M$：模型近似不足； - $F_I$：儀器／量測失敗； - $F_X$：未知或尚未分類失敗。 這種分類比單純「實驗失敗」更有研究價值。 --- # 25. 實驗站需要保存的最小資料 每次實驗應至少保存： $$ D_k = ( \text{hardware}, \text{geometry}, \text{materials}, \text{field configuration}, \text{environment}, \text{control}, \text{raw data}, \text{calibration}, \text{analysis}, \text{version} ). $$ 特別禁止只保存最終曲線而丟失 raw data。 若要進行跨載體比較，還需保存： $$ \mathcal I^\star $$ 即研究聲稱應跨 realization 保持的 invariants。 --- # 26. 模擬、實驗與理論的三分法 本文區分： $$ \boxed{ \text{Simulation} \neq \text{Experiment} \neq \text{Theory}. } $$ 模擬回答： > 在指定模型內會發生什麼？ 實驗回答： > 現實裝置實際量到什麼？ 理論回答： > 哪一組關係最合理地解釋與預測這些觀測？ 三者可以循環： $$ T \to S \to E \to T'. $$ 但不能互相替代。 --- # 27. 實驗命題族的閉包概念 本文不要求「最終完備」。 只定義局部實驗閉包： $$ \boxed{ \operatorname{Closure}_{\Omega} (\mathfrak P) } $$ 當在指定作用域 $\Omega$ 中： 1. 關鍵命題具有穩定狀態； 2. 主要替代解釋已被比較； 3. 主要參數域已掃描； 4. 主要 confounders 已有控制； 5. 新實驗不再高頻改變命題拓撲； 則稱該域達到 provisional closure。 它不表示宇宙真理已被完全證明。 --- # 28. 何時停止一條實驗線 停止不等於失敗。 定義停止條件： $$ \boxed{ \operatorname{Stop}(L) = C_{\mathrm{cost}} \lor C_{\mathrm{risk}} \lor C_{\mathrm{redundant}} \lor C_{\mathrm{resolved}} \lor C_{\mathrm{dominated}}. } $$ 其中： - 成本過高； - 風險不可接受； - 實驗冗餘； - 命題已充分解析； - 被更有效的 realization 支配。 這與 CAMCRT 的 Algebraic Stopping Principle 相容。 --- # 29. 新論文寫作方式 傳統單篇論文常採： 1. Introduction； 2. Hypothesis； 3. Methods； 4. Results； 5. Discussion； 6. Conclusion。 EPFF 系列建議增加： 1. Proposition Map； 2. Anchor Set； 3. Realization Class； 4. Discrimination Target； 5. Control & Confounder Matrix； 6. Evidence Update； 7. Theory Translation； 8. Residual Register； 9. Proposition Revision； 10. Next Experimental Gate。 因此每一篇後續論文不只是報告一個結果，而是更新整個命題族。 --- # 30. 每篇後續論文的標準輸出 每篇實驗論文至少輸出： $$ \boxed{ \{ \mathfrak P_{\mathrm{before}}, E_k, \mathfrak P_{\mathrm{after}} \} } $$ 並明示： - 新增了什麼命題； - 哪些命題被支持； - 哪些命題被削弱； - 哪些命題被拒絕； - 哪些 realization 被淘汰； - 哪些理論目前不可區辨； - 是否出現殘差； - 下一篇最值得測什麼。 --- # 31. 命題族不是「把所有可能都寫進去」 開放不等於無限逃逸。 本文要求每個命題至少滿足： $$ \boxed{ \text{Operationalizable} \land \text{Observable} \land \text{Discriminable}. } $$ 若一個命題既沒有可測量輸出，也沒有能使其與替代解釋分離的實驗條件，則它暫時不能進入核心命題族。 可保留於： $$ \mathfrak P_{\mathrm{spec}} $$ 即 speculative annex。 --- # 32. 對「新物理」的保守門檻 本文不以「反直覺」作為新物理證據。 新物理候選至少需要： $$ \boxed{ \text{robust residual} + \text{replication} + \text{alternative-model exhaustion} + \text{predictive novelty}. } $$ 其中 predictive novelty 表示新模型必須做出原模型未做出的、可被後續實驗檢驗的預測。 如果只能事後解釋： $$ \text{post hoc fit}, $$ 則不能視為足夠的新物理理論。 --- # 33. 從「否證」到「可修正科學」 本文保留 falsifiability，但拒絕把它簡化為： $$ \text{one failed experiment} \Rightarrow \text{whole framework is dead}. $$ 更完整的科學更新應為： $$ \boxed{ \text{Falsifiability} + \text{Responsibility Localization} + \text{Revision} + \text{Replacement} } $$ 命題必須可被拒絕； 但研究系統必須能知道： > 被拒絕的是哪一個命題，而不是模糊地宣布「整個思想錯了」。 --- # 34. 實驗命題族的核心價值 EPFF 的主要價值不是讓理論更難被否證，而是讓它： - 更容易局部否證； - 更容易定位責任層； - 更容易替換錯誤載體； - 更容易保留成熟物理錨點； - 更容易跨理論比較； - 更難把未知誤差包裝成新機制； - 更容易將負結果轉化為研究資訊。 因此： $$ \boxed{ \text{Robust Research} \neq \text{Never Wrong}. } $$ 而是： $$ \boxed{ \text{Robust Research} = \text{Know Exactly What Became Wrong}. } $$ --- # 35. 後續系列的自然生成原則 本文暫不鎖定系列總篇數。 後續篇數應由命題圖自然決定： $$ N_{\mathrm{papers}} = f \left( N_{\mathrm{major\ proposition\ clusters}}, N_{\mathrm{realization\ classes}}, N_{\mathrm{discrimination\ experiments}} \right). $$ 只有在第零篇完成後，才根據： - 水域； - 大氣； - 稀薄氣體； - 真空； - 載體替換； - 跨理論超譯； - 未知殘差； 等主命題群的依賴關係，決定正式篇數與系列命名。 --- # 36. 第零篇不主張的事情 本文明確不主張： 1. 已證明某種未知推進力； 2. 已證明時空可被特定裝置宏觀操縱； 3. 已證明聲場、電磁場、流體場具有同一微觀本體； 4. 已證明真空可直接承接所有介質中的輸運機制； 5. 已證明任何超光速機制； 6. 成熟聲學、流體力學或電磁效應就是新物理； 7. 任何未解釋殘差必然是新力。 本文只建立： $$ \boxed{ \text{a disciplined architecture for testing a family of propositions}. } $$ --- # 37. 第零篇的正命題 本文真正提出的命題只有： ### Proposition 0.1 複合物理研究可由單一假說提升為具有型別關係的命題族。 ### Proposition 0.2 命題族中的成熟物理可作為 anchor，而非必須重新偽裝成新理論。 ### Proposition 0.3 同一 constraint algebra 可以搜尋多個 physical realizations。 ### Proposition 0.4 實驗失敗應先定位責任層，再決定拒絕、削弱、修正或替換。 ### Proposition 0.5 同一觀測可以進入多個理論坐標系進行受約束的跨理論超譯。 ### Proposition 0.6 未知機制候選只有在已知模型、控制、重現與儀器排查後才可升格。 ### Proposition 0.7 整個研究過程可以被表示為可版本化的命題族更新系統。 --- # 38. 總結 本文建立一個新的實驗論文與研究組織方式。 研究對象不再只是： $$ H. $$ 而是： $$ \boxed{ \mathfrak P = \{P_0,P_1,\ldots,P_n\}. } $$ 物理實現不再被綁死為單一材料或單一場，而是： $$ \boxed{ \mathcal A \xrightarrow{\mathcal R} ( \mathcal G, \mathcal M, \mathcal F, \mathcal B ). } $$ 實驗也不再只是： $$ \text{true / false}. $$ 而是： $$ \boxed{ \text{measure} \to \text{discriminate} \to \text{localize} \to \text{revise} \to \text{replace} \to \text{translate} \to \text{retest}. } $$ 若同一命題結構可以在不同載體中得到實現，則研究進一步檢查其跨載體 invariants；若不同理論可以解釋同一觀測，則主動尋找使其分歧最大的實驗域；若出現未知殘差，則先排除成熟機制與實驗誤差，再決定是否建立新命題。 因此本系列的目標不是保護某個預設答案。 真正的目標是： $$ \boxed{ \text{建立一個允許錯誤、能夠修正、可以換載體、可以換理論座標、但不能逃避實驗的物理研究系統。} } $$ 第零篇至此只建立研究基底。 後續所有具體物理命題、地球實驗、跨介質 realization 與可能的未知機制，都必須重新掛回這個命題族，逐節點接受實驗。 --- # 附錄 A｜Canonical Data Skeleton ```yaml proposition: id: P-000 version: 0.1 statement: "" domain: "" dependencies: [] alternatives: [] refinement_of: null realization_class: [] mechanism_class: [] observables: [] controls: [] confounders: [] evidence_state: Open theory_translation: [] residual_status: none experiment: id: E-000 proposition_targets: [] realization_id: "" environment: medium: "" pressure: null temperature: null density: null gravity: null hardware: [] geometry: {} field_configuration: {} raw_data_uri: "" calibration_uri: "" analysis_version: "" replication_group: null outcome: "" evidence_edges: [] revision: from_version: "" to_version: "" trigger_experiment: "" changed_fields: [] rationale: "" preserved_evidence: [] invalidated_evidence: [] ``` --- # 附錄 B｜核心更新式 $$ \boxed{ \mathfrak P_{t+1} = \mathcal U \left( \mathfrak P_t, \mathcal E_t, \mathcal R_t, \mathcal T_t, \mathcal C_t \right) } $$ $$ \boxed{ X_{ijkl} = \left( P_i, R_j, E_k, T_l \right) } $$ $$ \boxed{ \Delta O = O_{\mathrm{obs}} - O_{\mathrm{known}} } $$ $$ \boxed{ G_{\mathrm{unknown}} = G_{\mathrm{ctrl}} \land G_{\mathrm{rep}} \land G_{\mathrm{inst}} \land G_{\mathrm{model}} \land G_{\mathrm{carrier}} } $$ $$ \boxed{ \mathcal R_a \sim_{\mathcal A} \mathcal R_b } $$ $$ \boxed{ \text{Experiment} = \text{Discrimination} + \text{Correction} + \text{Realization Search} + \text{Theory Translation} } $$ --- # 參考脈絡 1. Neo.K / EveMissLab, **Constraint Algebra and Mixed-Carrier Realization Theory: From Geometry, Materials, and Fields to Engineered Critical Regimes**, 2026. 2. Neo.K / EveMissLab, **Carrier Substitution Principle**, CAMCRT framework, 2026. 3. Neo.K / EveMissLab, **Algebraic Stopping Principle**, CAMCRT framework, 2026. 4. EveMissLab internal research context on supercavitation, field-guided transport, external-field/internal-domain coupling, and cross-carrier experimental realization.