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