← Archive
lm-004928 · 2026-11

反身雙生 RSI：穩定分支、探索分支、回退與譜系驗證

zh-Hant · md Raw source ↗ Metadata ↗
下載 MD 檔 ⬇

反身雙生 RSI：穩定分支、探索分支、回退與譜系驗證

系列：演化式 RSI、可執行反事實與 AI 自我科學系列（5/8）
英文題名：Reflexive Twin RSI: Stable Branches, Exploratory Branches, Rollback, and Lineage Verification
版本：v0.1
日期：2026-10-07
語言：zh-TW
文件性質：理論論文／RSI Governance Architecture／Reflexive Twin Runtime／Canonical Draft

作者： Neo.K
機構： EveMissLab／一言諾科技有限公司

摘要

當 AI 進入 Recursive Self-Improvement（RSI）後，一個不可避免的問題是：

如果系統可以修改自己，那麼探索中的錯誤是否會直接污染正式運作中的自己？

若每個候選更新都直接寫入主系統，則：

Exploration→Immediate Mutation→Operational Risk\text{Exploration} \rightarrow \text{Immediate Mutation} \rightarrow \text{Operational Risk}

會使自我改進與系統穩定性形成直接衝突。

本文提出「反身雙生 RSI」架構，將同一 AI 譜系中的狀態拆分為：

MtS∥MtR\boxed{ M_t^S \parallel M_t^R }

其中：

  • MtSM_t^S：Stable Branch，穩定分支；
  • MtRM_t^R：Reflexive / Research Branch，反身探索分支。

兩者不是兩個完全獨立的 AI，而是共享來源、研究世界、譜系、更新歷史與驗證規則的同一演化系統中的兩種狀態。

穩定分支負責：

  • 正式任務；
  • 已知能力；
  • 可重現行為；
  • production-compatible state；
  • safety / governance baseline。

探索分支則允許：

  • self-modification；
  • architecture mutation；
  • memory restructuring；
  • routing experiment；
  • evaluator experiment；
  • counterfactual execution；
  • failure；
  • rollback。

任何探索結果都不能直接覆蓋穩定分支，而必須經過：

Regression+Transfer+Verification+Lineage+Acceptance Gate\boxed{ \text{Regression} + \text{Transfer} + \text{Verification} + \text{Lineage} + \text{Acceptance Gate} }

才能形成：

Mt+1S.M_{t+1}^S.

本文進一步定義 Update Receipt、Lineage Graph、Rollback Horizon、Contamination Boundary、Promotion Gate 與 Stable-State Invariant，並提出：真正成熟的 RSI 不應把「能自我修改」理解成「隨時重寫自己」，而應建立一個可追蹤、可撤銷、可驗證的演化制度。

核心命題為：

Exploration Freedom+Commit Discipline=Sustainable RSI\boxed{ \text{Exploration Freedom} + \text{Commit Discipline} = \text{Sustainable RSI} }

反身雙生的真正意義不是建立兩個人格或兩個主體，而是讓探索風險與正式狀態分離，使 RSI 能夠大膽試錯，又不必把每一次試錯都變成不可逆的自我改寫。

1. 自我修改與系統穩定性的衝突

假設 AI 的當前正式狀態為：

Mt.M_t.

它產生候選修改：

Δt.\Delta_t.

最直接的做法是：

Mt+1=Mt+Δt.M_{t+1} = M_t+\Delta_t.

但如果：

Δt\Delta_t

存在未知副作用，

那麼：

Mt+1M_{t+1}

可能同時失去：

  • 舊能力；
  • 安全約束；
  • 可重現性；
  • evaluator 相容性；
  • memory consistency；
  • tool compatibility。

因此：

Self-Modification≠Safe Self-Improvement\boxed{ \text{Self-Modification} \neq \text{Safe Self-Improvement} }

2. 為什麼不能直接讓正式模型一直改自己？

因為正式模型同時承擔兩種互相衝突的角色：

Operational Agent\text{Operational Agent}

與：

Experimental Subject.\text{Experimental Subject}.

如果兩者完全重疊，

每一次 experiment 都會變成：

production mutation.\text{production mutation}.

這類架構缺少：

  • isolation；
  • rollback；
  • reproducibility；
  • causal attribution。

因此 RSI 需要至少一層：

Experimental Isolation\boxed{ \text{Experimental Isolation} }

3. 反身雙生的基本形式

本文定義：

Tt=(MtS,MtR,Gt,Et,Lt)\boxed{ \mathcal T_t = ( M_t^S, M_t^R, G_t, E_t, L_t ) }

其中：

  • MtSM_t^S：Stable Branch；
  • MtRM_t^R：Reflexive Branch；
  • GtG_t：共享研究世界；
  • EtE_t：驗證與 promotion evaluator；
  • LtL_t：lineage / receipts。

初始時：

MtR←Fork⁡(MtS).M_t^R \leftarrow \operatorname{Fork}(M_t^S).

然後：

MtR→MtR′→MtR′′→⋯M_t^R \rightarrow M_t^{R'} \rightarrow M_t^{R''} \rightarrow \cdots

探索可以持續，

但：

MtSM_t^S

保持凍結或受控更新。

4. Twin 不等於 Two Independent Agents

反身雙生不是：

A1∥A2A_1 \parallel A_2

兩個完全獨立 agent。

兩者共享：

  • parent state；
  • canonical identity；
  • research history；
  • objective contract；
  • evaluator family；
  • lineage；
  • world model。

因此：

Twin=two controlled states of one evolving lineage\boxed{ \text{Twin} = \text{two controlled states of one evolving lineage} }

而不是兩個互不相關的 AI。

5. Stable Branch 的角色

穩定分支：

MtSM_t^S

至少應滿足：

ItS={known capability,known constraints,known interfaces,verified state}.I_t^S = \{ \text{known capability}, \text{known constraints}, \text{known interfaces}, \text{verified state} \}.

它的任務不是：

永遠不變。

而是：

在新版本通過前，提供可依賴的基準。

所以：

Stable≠Immutable Forever\boxed{ \text{Stable} \neq \text{Immutable Forever} }

而是：

Change only through verified promotion\boxed{ \text{Change only through verified promotion} }

6. Reflexive Branch 的角色

探索分支：

MtRM_t^R

可以：

  • 修改 architecture；
  • 改 memory；
  • 改 routing；
  • 改 search policy；
  • 改 tool interface；
  • 建立新 verifier；
  • 建立新 representation；
  • 執行反事實世界；
  • 進行高風險 experiment。

因此：

Reflexive Branch=protected mutation space\boxed{ \text{Reflexive Branch} = \text{protected mutation space} }

它的價值正是：

可以失敗。

7. 失敗是探索分支的正常狀態

若要求：

P(failure)=0,P( \text{failure} )=0,

那探索就會變得極端保守。

成熟 RSI 應允許：

P(failure in MR)>0P( \text{failure in }M^R )>0

同時保持：

P(failure propagates to MS)≪1.P( \text{failure propagates to }M^S ) \ll1.

因此設計目標不是：

No Failure\boxed{ \text{No Failure} }

而是：

Contained Failure\boxed{ \text{Contained Failure} }

8. Contamination Boundary

本文定義：

BC=Contamination Boundary\boxed{ B_C = \text{Contamination Boundary} }

表示探索分支與穩定分支之間的隔離邊界。

理想上：

ΔMR↛MS\Delta M^R \nrightarrow M^S

除非通過：

Et.E_t.

因此任何：

  • weight update；
  • memory write；
  • skill addition；
  • routing change；
  • evaluator change；

都應明確標註：

experimental\text{experimental}

或：

stable.\text{stable}.

9. Stable-State Invariant

為了知道 stable branch 是否仍保持基本性質，

需要：

IS\boxed{ \mathcal I_S }

即 Stable-State Invariant。

它可以包含：

  • mandatory capabilities；
  • interface compatibility；
  • safety rules；
  • data integrity；
  • deterministic contracts；
  • memory consistency；
  • minimum performance thresholds。

Promotion 後的新 stable state：

Mt+1SM_{t+1}^S

至少需要：

Mt+1S⊨ISM_{t+1}^S \models \mathcal I_S

10. Promotion 不是 Copy-Paste

探索分支若成功：

MtRM_t^R

不能直接：

MtS←MtR.M_t^S \leftarrow M_t^R.

而應經過：

Promotion Pipeline\boxed{ \text{Promotion Pipeline} }

例如：

Candidate→Regression→Transfer→Stress→Verification→Receipt→Commit.\text{Candidate} \rightarrow \text{Regression} \rightarrow \text{Transfer} \rightarrow \text{Stress} \rightarrow \text{Verification} \rightarrow \text{Receipt} \rightarrow \text{Commit}.

11. Regression Test

Regression test 問：

新版本有沒有破壞舊能力？

設舊任務集合：

Told.\mathcal T_{\mathrm{old}}.

要求：

Qt+1(Told)≥Qt(Told)−ϵ.Q_{t+1}(\mathcal T_{\mathrm{old}}) \ge Q_t(\mathcal T_{\mathrm{old}}) - \epsilon.

若下降超過：

ϵ,\epsilon,

則需要：

  • reject；
  • revise；
  • justify trade-off。

12. Transfer Test

新能力不能只在 training / benchmark task 上成立。

設：

Theldout\mathcal T_{\mathrm{heldout}}

為未見任務。

要求：

Qt+1(Theldout)>Qt(Theldout)Q_{t+1}(\mathcal T_{\mathrm{heldout}}) > Q_t(\mathcal T_{\mathrm{heldout}})

或至少不退化。

這用來區分：

benchmark optimization\text{benchmark optimization}

與：

generalizable improvement.\text{generalizable improvement}.

13. Stress Test

對新版本施加：

  • distribution shift；
  • long context；
  • rare task；
  • adversarial input；
  • resource pressure；
  • degraded tools。

觀察：

Qt+1stress.Q_{t+1}^{stress}.

Stable promotion 不應只基於：

Qaverage.Q_{\mathrm{average}}.

還需要觀察：

Pcatastrophic.P_{\mathrm{catastrophic}}.

14. Cost Regression

新版本能力提高，

但如果：

Ct+1≫Ct,C_{t+1}\gg C_t,

就可能只是：

resource inflation.\text{resource inflation}.

所以 promotion gate 應包含：

Cost Regression Test\boxed{ \text{Cost Regression Test} }

至少比較：

Ct∗(q)C^\ast_t(q)

與：

Ct+1∗(q).C^\ast_{t+1}(q).

15. Agent Regression

如果新版本必須使用：

Nt+1=1000N_{t+1}=1000

agents 才達到舊版本：

Nt=10N_t=10

的品質，

也要標記。

因此：

N∗(q)\boxed{ N^\ast(q) }

也應成為 promotion metric。

16. Verification Gate

Promotion evaluator：

EtE_t

可以寫成：

Et=E(Q,C,N,T,G,R,S,V)E_t = E( Q, C, N, T, G, R, S, V )

其中：

  • QQ：capability；
  • CC：compute；
  • NN：agent demand；
  • TT：latency；
  • GG：generalization；
  • RR：redundancy；
  • SS：safety；
  • VV：verifiability。

只有：

Et(MtR)≥τE_t(M_t^R) \ge \tau

才允許 promotion。

17. Promotion Gate 應是多軸，而不是單分數

單一 scalar：

JJ

容易隱藏 trade-off。

因此更合理的是：

P=Pareto⁡(Q,−C,−N,−T,G,S,V)\boxed{ \mathcal P = \operatorname{Pareto} ( Q, -C, -N, -T, G, S, V ) }

新分支只要在某些重要軸上被舊版本完全支配，

就不應輕易 promoted。

18. Promotion 可以是部分的

不一定整個：

MtRM_t^R

都要進入 stable。

可以只提取：

Δ∗\Delta^\ast

即：

Mt+1S=MtS+Δ∗.M_{t+1}^S = M_t^S + \Delta^\ast.

這就是：

Selective Promotion\boxed{ \text{Selective Promotion} }

避免探索分支中無關或高風險變化一起帶入。

19. Update Receipt

每次 promotion 應建立：

Ut=(Pt,Δt,Dt,Et,Qt,Ct,Vt,Decisiont)\boxed{ U_t = ( P_t, \Delta_t, D_t, E_t, Q_t, C_t, V_t, Decision_t ) }

其中：

  • PtP_t：parent；
  • Δt\Delta_t：修改；
  • DtD_t：data / experiment；
  • EtE_t：evaluator；
  • QtQ_t：quality metrics；
  • CtC_t：cost metrics；
  • VtV_t：verification evidence；
  • DecisiontDecision_t：accept / reject / partial merge。

這就是：

Update Receipt.\boxed{ \text{Update Receipt}. }

20. 為什麼 Receipt 重要？

如果未來：

Mt+10M_{t+10}

出現異常，

可以沿：

Ut+10→Ut+9→⋯U_{t+10} \rightarrow U_{t+9} \rightarrow \cdots

追蹤：

哪一次 mutation 引入這個行為？

沒有 receipt，

長期 RSI 很容易變成：

opaque evolutionary drift.\boxed{ \text{opaque evolutionary drift}. }

21. Lineage Graph

若 RSI 不只有單一路線，

而存在多個探索分支：

B1,B2,…,Bn,B_1,B_2,\ldots,B_n,

則 lineage 不是鏈：

M0→M1→M2.M_0\rightarrow M_1\rightarrow M_2.

而是圖：

L=(VL,EL)\boxed{ \mathcal L = (V_L,E_L) }

其中節點是版本／世界，

邊是 mutation / merge / promotion。

這就是：

Lineage Graph.\boxed{ \text{Lineage Graph}. }

22. Lineage Proof

一個 stable version：

MtSM_t^S

應能回答：

你是從哪裡來的？

形式上：

ProofLineage⁡(MtS)\operatorname{ProofLineage}(M_t^S)

應返回：

  • parent chain；
  • accepted mutations；
  • evaluator receipts；
  • merge points；
  • rollback events。

這使：

self-asserted identity≠verified lineage identity.\boxed{ \text{self-asserted identity} \neq \text{verified lineage identity}. }

23. Rollback Horizon

如果：

MtSM_t^S

在部署一段時間後才發現問題，

系統需要知道可以退回多遠。

定義：

HR=Rollback Horizon.\boxed{ H_R = \text{Rollback Horizon}. }

如果：

HR=k,H_R=k,

代表至少能可靠恢復到：

Mt−kS.M_{t-k}^S.

理想上：

HRH_R

應足以覆蓋：

  • delayed regressions；
  • hidden failures；
  • evaluator mistakes。

24. Rollback 不是只回到舊權重

如果：

MtM_t

包含：

  • memory；
  • tools；
  • indices；
  • world state；
  • policies；

rollback 必須恢復：

coherent system state\boxed{ \text{coherent system state} }

而不是只回復：

Wt.W_t.

因此：

Rollback⁡:Rt→Rt−k.\operatorname{Rollback} : \mathfrak R_t \rightarrow \mathfrak R_{t-k}.

25. State Snapshot

每一個 stable checkpoint：

StS_t

應保存足夠資訊：

St=(Mt,Rt,Et,Gt,Jt,Lt)S_t = ( M_t, R_t, E_t, G_t, J_t, L_t )

這與前幾篇提出的 RSI state 完全一致。

所以 rollback 是：

Research World Rollback\boxed{ \text{Research World Rollback} }

不是單純 model rollback。

26. Rollback 後不能忘記失敗

如果退回：

Mt−1M_{t-1}

卻把：

Kt−K^-_t

也刪掉，

之後可能再次重走同樣錯誤。

所以 rollback 應：

restore state+retain failure knowledge.\boxed{ \text{restore state} + \text{retain failure knowledge}. }

即：

Gt−1→Gt−1∪Kt−.G_{t-1} \rightarrow G_{t-1}\cup K^-_t.

27. Exploration Branch 可以有多個

最簡雙生：

MS∥MR.M^S \parallel M^R.

但也可以：

MS∥{MR1,MR2,…,MRn}.M^S \parallel \{ M^{R_1}, M^{R_2}, \ldots, M^{R_n} \}.

其中每個分支探索不同：

  • architecture；
  • method；
  • memory；
  • objective-preserving strategy。

所以「Twin」是最小概念，

更完整可以是：

Stable Core+Exploratory Branch Family.\boxed{ \text{Stable Core} + \text{Exploratory Branch Family}. }

28. 為什麼仍保留 Twin 這個概念？

因為最重要的二分不是：

1 vs N.1 \text{ vs } N.

而是：

Committed State≠Experimental State.\boxed{ \text{Committed State} \neq \text{Experimental State}. }

只要這個二分保持，

探索分支可以是一個，也可以是一萬個。

29. Stable Core 也不必是單一模型

未來 stable state 可能包含：

  • model ensemble；
  • memory substrate；
  • tool system；
  • policy；
  • verifier；
  • world state。

因此：

MtSM_t^S

更準確應理解為：

St\boxed{ \mathfrak S_t }

即穩定系統狀態。

Reflexive branch：

Rtexp\mathfrak R_t^{exp}

則是實驗系統狀態。

30. 探索分支不能任意修改所有東西

即使在 sandbox，

也可能需要 capability gate。

定義：

AallowedRA_{\mathrm{allowed}}^R

為探索分支可執行的 self-modification actions。

例如：

AallowedR={Δmemory,Δrouting,Δtoolpolicy}A_{\mathrm{allowed}}^R = \{ \Delta memory, \Delta routing, \Delta tool policy \}

但不包含：

Δgovernanceroot.\Delta governance root.

因此：

Exploration Freedom≠Unlimited Mutation Authority.\boxed{ \text{Exploration Freedom} \neq \text{Unlimited Mutation Authority}. }

31. Capability-Gated RSI

每種 mutation：

Δi\Delta_i

需要：

CapabilityGate⁡(Δi).\operatorname{CapabilityGate}(\Delta_i).

例如：

  • low-risk software change：自動允許；
  • evaluator replacement：需要更高 gate；
  • objective change：禁止或需外部治理；
  • physical deployment：需要 physical validation。

這形成：

Typed Self-Modification.\boxed{ \text{Typed Self-Modification}. }

32. Mutation Type System

可建立：

TΔ={ΔM,ΔR,ΔE,ΔG,ΔJ}.\mathcal T_\Delta = \{ \Delta_M, \Delta_R, \Delta_E, \Delta_G, \Delta_J \}.

其中：

  • ΔM\Delta_M：model mutation；
  • ΔR\Delta_R：RSI method mutation；
  • ΔE\Delta_E：evaluator mutation；
  • ΔG\Delta_G：research memory / world mutation；
  • ΔJ\Delta_J：objective / governance mutation。

不同類型具有不同 promotion requirements。

33. Objective Mutation 應最嚴格

方法：

RtR_t

可以頻繁改。

但：

JtJ_t

若改變，

可能代表：

what counts as success\text{what counts as success}

也改變。

因此：

Cgate(ΔJ)>Cgate(ΔR)\boxed{ C_{\mathrm{gate}}(\Delta_J) > C_{\mathrm{gate}}(\Delta_R) }

通常合理。

即 objective / constitution 類更新需要更高驗證與治理門檻。

34. Evaluator Mutation 也需要隔離

若探索分支同時改：

MM

與：

E,E,

可能產生：

candidate and judge co-adaptation.\text{candidate and judge co-adaptation}.

因此應保留：

EanchorE_{\mathrm{anchor}}

作為外部 anchor。

候選 evaluator：

E′E'

也要先接受：

MetaEval⁡(E′).\operatorname{MetaEval}(E').

35. Stable Evaluator Window

可以設：

EtSE_t^S

在一段：

kk

代內固定。

模型可以快速變，

但 evaluator 更新較慢。

這形成：

Fast Model Evolution+Slow Evaluation Evolution.\boxed{ \text{Fast Model Evolution} + \text{Slow Evaluation Evolution}. }

降低 moving target problem。

36. Promotion Debt

如果大量探索結果等待驗證，

會產生：

DP=Promotion Debt.\boxed{ D_P = \text{Promotion Debt}. }

即：

  • 很多候選；
  • verifier 不夠；
  • regression queue 過長。

所以 RSI throughput 不只由：

NexperimentsN_{\mathrm{experiments}}

決定。

還由：

CverificationC_{\mathrm{verification}}

決定。

37. RSI 的瓶頸可能從生成轉成驗證

當 AI 可以快速產生：

10610^6

個候選，

但只能完整驗證：

103,10^3,

真正 bottleneck 是：

Verification Throughput.\boxed{ \text{Verification Throughput}. }

這與前篇 Verification-Seeking Attractor 直接一致。

38. Promotion Scheduler

需要：

SP\boxed{ \mathcal S_P }

決定哪些 candidate 優先驗證。

可以依：

Scorei=E[ΔVi]Cverify,iScore_i = \frac{ \mathbb E[ \Delta V_i ] }{ C_{\mathrm{verify},i} }

排序。

也就是：

不是最酷的候選先驗證，而是資訊／價值密度最高的候選。

39. Stable Branch 也可以主動吸收多個分支

如果：

R1R_1

有好 memory，

R2R_2

有好 routing，

可以：

Δ∗=Merge⁡(Δ1,Δ2).\Delta^\ast = \operatorname{Merge} ( \Delta_1, \Delta_2 ).

但必須重新：

Verify⁡(Δ∗).\operatorname{Verify}(\Delta^\ast).

因為：

individually safe⇏jointly safe.\boxed{ \text{individually safe} \not\Rightarrow \text{jointly safe}. }

40. Merge Conflict

若：

Δ1\Delta_1

和：

Δ2\Delta_2

在同一 subsystem 上互相衝突，

則：

Merge⁡\operatorname{Merge}

可能產生：

Q<min⁡(Q1,Q2).Q< \min(Q_1,Q_2).

所以需要：

Compositional Regression Test.\boxed{ \text{Compositional Regression Test}. }

41. Branch Promotion 不應消滅 Diversity

如果每次只 promotion 單一最強候選，

所有 lineage 很快會收斂。

可以保留：

St(1),St(2)\mathfrak S_t^{(1)}, \mathfrak S_t^{(2)}

不同 stable profiles，

例如：

  • efficiency lineage；
  • robustness lineage；
  • research lineage。

但這會提高治理成本。

所以需要平衡：

Diversity↔Operational Complexity.\boxed{ \text{Diversity} \leftrightarrow \text{Operational Complexity}. }

42. Reflexive Twin 與 Executable Counterfactual Worlds

上一篇建立：

W1,W2,…,Wn.W_1,W_2,\ldots,W_n.

反身雙生為這些世界提供治理角色：

WstableW_{\mathrm{stable}}

與：

Wexperimental(i).W_{\mathrm{experimental}}^{(i)}.

因此：

Executable Counterfactual+Stable/Exploratory Separation=Governed Counterfactual RSI.\boxed{ \text{Executable Counterfactual} + \text{Stable/Exploratory Separation} = \text{Governed Counterfactual RSI}. }

43. 可執行世界不應直接成為正式世界

如果：

WiW_i

在 sandbox 得到好結果，

仍需要：

Wi→promotion gate.W_i \rightarrow \text{promotion gate}.

因為 sandbox：

≠\neq

production。

所以：

Executable≠Deployable.\boxed{ \text{Executable} \neq \text{Deployable}. }

44. Promotion 就是一種世界線選擇

當：

WiW_i

被 promotion，

實際上是：

Wstable,t+1←Wi.W_{\mathrm{stable},t+1} \leftarrow W_i.

因此 RSI 的 commit 可以理解為：

select one tested world as the next canonical world.\boxed{ \text{select one tested world as the next canonical world}. }

這直接連到 ANWIS 的 canonical substrate 思想。

45. Canonical Stable World

在任意時間：

tt

應存在：

WtC\boxed{ W_t^{C} }

作為 canonical stable world。

其他：

Wt(i)W_t^{(i)}

都是 branch。

這避免：

到底哪一個版本才是正式 AI？

失去明確答案。

46. Canonical 不等於「唯一合法未來」

Canonical 只表示：

當前正式採用。

不代表：

WtCW_t^C

是終極最佳。

所以：

Canonical≠Final.\boxed{ \text{Canonical} \neq \text{Final}. }

它只是下一輪反事實分岔的共同基線。

47. Stable Branch 也必須能被挑戰

如果：

WCW^C

永遠受到保護，

RSI 會僵化。

所以：

stable state must be challengeable but not casually mutable.\boxed{ \text{stable state must be challengeable but not casually mutable}. }

這是穩定與演化的核心平衡。

48. Reflexive Twin 與 AI Self-Science

科學研究通常區分：

  • established knowledge；
  • experimental hypothesis。

反身雙生將這種制度直接寫入 AI 架構：

Stable Branch=Current Best Accepted Theory\boxed{ \text{Stable Branch} = \text{Current Best Accepted Theory} } Reflexive Branch=Experimental Research Program\boxed{ \text{Reflexive Branch} = \text{Experimental Research Program} }

這使 AI 自我科學不只是一種行為，

而可以成為 runtime 結構。

49. 研究制度化

當：

  • hypothesis；
  • experiment；
  • evaluator；
  • receipt；
  • promotion；
  • rollback；

都被內建，

AI 不再只是：

偶爾自己修改。

而開始具有：

institutionalized self-research.\boxed{ \text{institutionalized self-research}. }

也就是：

自我研究本身成為持續制度。

50. 可證偽命題

命題一：Stable / Exploratory Separation 會降低 self-modification regression propagation

相比直接 in-place mutation，

應看到：

P(experimental failure affects production)↓.P( \text{experimental failure affects production} ) \downarrow.

命題二：Update Receipt 會提高 root-cause identification accuracy

有 lineage receipt 時：

CdiagnosisC_{\mathrm{diagnosis}}

應下降。

命題三：Selective Promotion 優於整分支替換

在相同 improvement quality 下，

只 promotion 已驗證 delta 應降低：

RunexpectedR_{\mathrm{unexpected}}

命題四：Rollback + Failure Retention 優於單純 rollback

若保留：

K−,K^-,

則重複同類失敗率應下降。

命題五：Evaluator 更新速度過快會降低跨世代比較可靠性

若：

τE≈τM,\tau_E \approx \tau_M,

moving-target effect 應高於：

τE≫τM.\tau_E\gg\tau_M.

51. 本文不主張

本文不主張：

  1. 所有 RSI 都必須只有兩個分支；
  2. stable branch 永遠不能變；
  3. exploration branch 應有無限權限；
  4. rollback 可以消除所有風險；
  5. evaluator 一定比 candidate 更可信；
  6. receipts 本身不會出錯；
  7. 所有 mutation 都能獨立驗證；
  8. simulation promotion 等同 physical deployment；
  9. multi-lineage 永遠優於 single-lineage；
  10. 反身雙生架構已被完整實證。

本文真正主張：

如果 AI 可以持續自我修改， 則把正式運作狀態與探索狀態分離， 會提供一個可驗證、可回退、可追溯的 RSI 基礎架構。\boxed{ \text{如果 AI 可以持續自我修改， 則把正式運作狀態與探索狀態分離， 會提供一個可驗證、可回退、可追溯的 RSI 基礎架構。} }

52. 與前四篇的關係

第 1 篇：

Rt≠Rt+1R_t\neq R_{t+1}

說明 RSI 方法本身可演化。

第 2 篇：

Verification-Seeking Attractor\text{Verification-Seeking Attractor}

說明可靠 RSI 為何偏好驗證。

第 3 篇：

Cexperiment≲CreasoningC_{\mathrm{experiment}} \lesssim C_{\mathrm{reasoning}}

說明計算機原生實驗為何便宜。

第 4 篇：

Counterfactual→Executable World\text{Counterfactual} \rightarrow \text{Executable World}

建立可執行分支。

本文加入：

Governance of executable self-modification.\boxed{ \text{Governance of executable self-modification}. }

53. 通往第 6 篇

一旦存在：

  • stable states；
  • experimental branches；
  • rejected branches；
  • rollback；
  • receipts；
  • lineage；

下一個問題就是：

這些歷史應該怎麼保存，才能讓未來 AI 真正「記得自己研究過什麼」？

如果只存：

latest model\text{latest model}

會遺失：

  • why；
  • failed worlds；
  • rejected hypotheses；
  • verifier history；
  • branch provenance。

因此下一篇將正式處理：

Reconstructible Research World.\boxed{ \text{Reconstructible Research World}. }

即：

《可重建研究世界：RSI 為什麼需要保存成功、失敗、反事實與研究血統》。

54. 結論

成熟 RSI 的核心問題不是：

AI 能不能修改自己？

而是：

AI 能不能在不把每一次探索都變成正式自我重寫的前提下，持續修改自己？

反身雙生提供一個最小答案：

MtS∥MtR.\boxed{ M_t^S \parallel M_t^R. }

讓：

MtRM_t^R

可以：

Explore+Fail+Rollback+Try Again\text{Explore} + \text{Fail} + \text{Rollback} + \text{Try Again}

而：

MtSM_t^S

保持：

Known+Verified+Recoverable.\text{Known} + \text{Verified} + \text{Recoverable}.

只有當探索成果通過：

Regression+Transfer+Stress+Cost+Verification+Lineage\boxed{ \text{Regression} + \text{Transfer} + \text{Stress} + \text{Cost} + \text{Verification} + \text{Lineage} }

才形成：

Mt+1S.M_{t+1}^S.

因此真正可持續的 RSI 不應是：

modify and hope.\text{modify and hope}.

而應該是：

fork→experiment→verify→receipt→promote\boxed{ \text{fork} \rightarrow \text{experiment} \rightarrow \text{verify} \rightarrow \text{receipt} \rightarrow \text{promote} }

如果後續發現錯誤：

rollback+retain the failure knowledge.\boxed{ \text{rollback} + \text{retain the failure knowledge}. }

反身雙生的真正意義因此不是「兩個 AI」。

而是：

把探索自由與正式承諾分離。\boxed{ \text{把探索自由與正式承諾分離。} }

這可能是 AI Self-Science 從「會做實驗」走向「具有研究制度」的重要一步。

既有 EveMissLab 前置

本篇主要承接：

  1. 00｜小模型結構編譯與反身雙生研究計畫
    Discrete Reflexive Twin、stable point model、reflexive branch、regression / transfer tests。

  2. 06｜離散反身雙生架構：穩定點模型、探索分支與可追溯生成式更新
    Twin channel、controlled update、lineage receipt 與 stable-state promotion。

  3. TW-02｜反身結構編譯 Runtime
    EKA、Twin Channel、Update Receipt 等 runtime 介面。

  4. CTCL-ITR｜時間因果自我史與 Decision Receipt
    上下文壓縮後的因果可追溯性與 decision provenance。

  5. ANWIS-01 / ANWIS-08
    Canonical World State、branch-aware identity、反事實世界 Runtime。

  6. RMCMA Extra B
    Reconstructible Cognitive World、persistent cognitive infrastructure。

  7. 本系列第 1–4 篇
    Evolving RSI、Verification-Seeking、Computer-Native Experimentation、Executable Counterfactual Worlds。

Canonical Source Note

本文件之 UTF-8 Markdown 原始碼為正式 source artifact。所有數學原始碼僅使用 $...$ 與 $$...$$ 作為 canonical delimiter；不使用 Unicode 數學字元替代 LaTeX source，不進行 unicode escape round-trip，不自行美化反斜線、空白或 delimiter，不以聊天介面渲染內容取代正式原稿。