UNPNP Series 07
計算結晶化:讓已驗證路徑成為新的計算原語
Computational Crystallization: Turning Verified Paths into New Computational Primitives
系列名稱: UNPNP Hyperlink & Crystallized Computation Series
系列篇次: 07
作者: Neo.K with Aletheia(GPT)
機構: EveMissLab/一言諾科技有限公司
版本: v0.1
日期: 2026-09-07
文件性質: AI 原生計算/計算結晶化/UNPNP 理論論文
狀態: Canonical Draft
摘要
UNPNP Series 06 已提出 Path Compilation:當一段多階 traversal 在某個有效域內具有穩定語義、可驗證終態與可界定副作用時,系統可以將:
B1→B2→⋯→Bn
重新編譯成:
B1ℓ1,nBn.
然而,一個被編譯出的 fast path 並不必然立刻成為系統長期使用的基本計算單位。它可能只是暫時 optimization、局部 session artifact、特定版本捷徑,甚至是只在一次測試中成立的候選。
本文提出 Computational Crystallization,用以描述一條已編譯路徑經過反覆成功、驗證、穩定化、成本評估、有效域界定與 provenance 固定之後,被提升為新的可重用計算原語的過程。
令:
Γ
為原始路徑,
PC(Γ)=ℓ
為 path compilation 結果。
若:
ℓ
進一步滿足穩定性、可驗證性、可回退性、有效度與生命週期收益等條件,則結晶算子:
K(ℓ,E,H,C)=κ
生成一個計算結晶:
κ.
本文將計算結晶定義為:
κ=⟨D,G,F,I,O,V,P,R,X,U,L⟩,
其中包含有效域、guard、快速執行形式、輸入與輸出契約、validator、provenance、rollback / fallback、invalidation condition、utility 與 lifecycle state。
因此:
Crystallization=Caching=Macro Packaging=Path Compilation.
Path Compilation 產生候選新路;Crystallization 則把其中足夠成熟的路提升為上一層可直接使用的新 primitive。
本文進一步提出高階結晶:
K(2)(κ1,κ2,…,κm)=κ(2),
使一次結晶的結果可以再成為下一次結晶的材料。由此形成:
primitive→compiled path→crystal→higher-order crystal→⋯
的多尺度計算階層。
本文同時提出正向結晶、負向結晶、暫時結晶、局部結晶、跨問題族結晶、解晶、失效、降級、合併與去重等機制。尤其重要的是,失敗路徑也可以結晶成「不要再走」的負向結構,使學習不只累積成功捷徑,也能累積已驗證的禁止、無效與高成本區域。
最後,本文將 Series 04 的「呼吸」與本文的「結晶」正式結合:
ELCt→Kt→ELCt+1.
其中:
E→L→C
產生可結晶結構,而:
Kt
反過來改寫下一輪可用 link set:
Lt+1=Lt∪Kt+−Kt−.
因此:
呼吸產生結晶,結晶改變下一次呼吸。
在 UNPNP 中不再只是描述性比喻,而可以成為一個正式的自我優化計算模型。
關鍵詞: UNPNP、Computational Crystallization、Path Compilation、計算原語、Higher-Order Crystal、Cold Warm Hot、Decrystallization、Negative Crystal、Adaptive Runtime、AI Recompilation
1. 為什麼 Path Compilation 還不夠?
Series 06 已經建立:
ΓPCℓ.
但:
ℓ
可能只是:
- 一次 session 的暫時捷徑;
- 某個版本專用優化;
- 尚未累積足夠驗證證據的 candidate;
- 高成本編譯後只值得執行一次的 path;
- 過度特化於單一 input 的 procedure。
因此:
Compiled=Crystallized.
2. 結晶化的基本直覺
結晶不是:
把一段程式碼壓成比較短。
而是:
一段原本需要多個步驟才能完成的計算,在反覆驗證後,被上一層系統視為一個穩定、可直接使用的新基本單位。
所以:
many operations→one higher-level primitive.
3. 結晶算子
令:
ℓ
為 compiled path。
令:
E
為 verification evidence,
H
為 execution history,
C
為 cost / lifecycle information。
定義:
K(ℓ,E,H,C)=κ.
其中:
κ
為 computational crystal。
4. 計算結晶的第一版結構
本文定義:
κ=⟨D,G,F,I,O,V,P,R,X,U,L⟩.
其中:
- D:valid domain;
- G:guard;
- F:fast executable form;
- I:input contract;
- O:output / postcondition;
- V:validator;
- P:provenance;
- R:rollback / fallback;
- X:invalidation conditions;
- U:utility statistics;
- L:lifecycle state。
5. 結晶與 Cache 的差別
Cache 通常保存:
x↦y.
結晶保存的可以是:
D↦FD.
也就是:
對一個有效輸入域 D,存在一個成熟、可執行、可驗證的快速 procedure。
因此:
Cache stores results;
而:
Crystal stores validated reusable computation.
6. 結晶與 Macro 的差別
Macro:
M=(Θ1,…,Θn)
可能只是包裝。
結晶:
κ
要求:
C(κ)<C(Γ)
在有效域內真實成立。
所以:
Crystallization requires actual computational value.
7. 結晶與 Path Compilation 的差別
Path Compilation:
Γ→ℓ.
Crystallization:
ℓ→κ.
前者回答:
能否做出新路?
後者回答:
這條新路是否成熟到值得成為系統的新 primitive?
8. 結晶的 Promotion 條件
第一版可以要求:
Promote(ℓ)=1
當:
S(ℓ)≥θS,
V(ℓ)≥θV,
U(ℓ)>0,
R(ℓ)≤θR.
9. Stability
定義:
S(ℓ)=f(success,repeatability,domain stability,dependency stability).
高成功率但環境高度漂移,
仍不代表高穩定。
10. Verification Maturity
定義:
MV
表示驗證成熟度。
它可以依:
- differential tests;
- property tests;
- replay;
- deterministic digest;
- shadow run;
- formal proof;
- statistical test;
累積。
11. Utility
結晶的有效度:
U(ℓ)
至少考慮:
ΔC,
f,
CM,
R,
CV.
即節省多少、使用多頻繁、維護多昂貴、風險多高、驗證多困難。
12. Lifecycle State
一個結晶不是永久固定。
令:
L(κ)∈{candidate,cold,warm,hot,stale,retired}.
13. Candidate Crystal
剛完成 path compilation:
ℓ
先進:
candidate.
它還不是 runtime primitive。
14. Cold Crystal
經初步驗證後:
candidate→cold.
Cold 表示:
- 已有價值;
- 使用歷史少;
- 驗證仍較深;
- 不宜 aggressive reuse。
15. Warm Crystal
當:
nsuccess≥θW
且:
S(κ)≥θWS,
可:
cold→warm.
Warm 可以被較積極調用。
16. Hot Crystal
若:
f(κ)
高,
且:
V(κ)
成熟,
以及:
G(κ)
便宜,
則:
warm→hot.
Hot crystal 是真正的 fast primitive。
17. Stale Crystal
如果:
- dependency changed;
- version changed;
- schema changed;
- distribution shifted;
- permission changed;
則:
κ→stale.
Stale 不應繼續走 fast path。
18. Retired Crystal
如果:
U(κ)≤0
或:
FailureRate>θF,
則:
κ→retired.
19. 結晶不是永久真理
即:
Verified before=valid forever.
所以每個結晶都必須有:
X=invalidation conditions.
20. 依賴指紋
可建立:
ddep=H(v1,…,vm).
若:
ddep′=ddep,
則:
κ→revalidation.
21. 解晶
本文將:
Decrystallization
定義為:
DK(κ)→Γ.
即:
將一個高階 primitive 重新展開回較低階 path。
22. 為什麼一定要能解晶?
因為:
- debugging;
- audit;
- version migration;
- failure analysis;
- verification;
- explanation;
都可能要求重新查看原始結構。
所以:
Crystallization=irreversible forgetting.
23. Provenance Chain
一個結晶:
κ(2)
可能來自:
κ1,κ2.
而:
κ1
又來自:
Γ1.
因此 provenance:
κ(2)→{κ1,κ2}→{Γ1,Γ2}.
必須可追。
24. 結晶層級
定義:
K(0)
為原始 primitive。
一次:
K(1)
形成一階 crystal。
再一次:
K(2)
形成二階 crystal。
一般:
K(n).
25. Higher-Order Crystallization
若:
κ1,κ2,…,κm
經常形成穩定 sequence:
κ1→κ2→⋯→κm,
則:
K(2)(κ1,…,κm)=κ(2).
26. 1→100→10000
第一次:
1→2→⋯→100.
結晶:
1→100.
再有:
100→101→⋯→10000.
結晶:
100→10000.
最後高階:
1→10000.
27. 結晶的遞歸性
因此:
crystals can be constituents of new crystals.
這使:
K
不只是 flat cache。
而可以形成階層式計算世界。
28. Crystal Graph
令:
GK=(VK,EK).
其中:
VK={κ1,…,κn}.
邊表示:
- composition;
- dependency;
- alternative;
- specialization;
- generalization;
- conflict;
- invalidation。
29. Crystal Hypergraph
多個 crystal 共同形成一個新 primitive 時,
更自然是:
e:{κ1,κ2,…,κm}→κ′.
因此計算結晶更一般可形成:
Crystallized Computational Hypergraph.
30. Crystal 不一定是線性 path
一個結晶可以代表:
- DAG;
- parallel execution;
- conditional branch;
- solver call;
- generated function;
- query plan;
- state machine;
只要上一層可把它當成一個 stable primitive。
31. Positive Crystal
最常見:
κ+.
表示:
在條件 G 下,走這條路是已驗證的有效 fast path。
32. Negative Crystal
若某條 route:
Γ−
反覆證明:
可以形成:
κ−.
33. Negative Crystal 的語義
例如:
κ−=⟨D,G,avoid,P,V⟩.
它不是 executable shortcut。
而是:
verified route suppression primitive.
34. 為什麼負向結晶重要?
沒有負向結晶,
Adaptive Corridor Generator 可能反覆重新探索:
known bad path.
所以:
κ−
直接降低未來 Expansion cost。
35. Positive / Negative Duality
因此:
Kt=Kt+∪Kt−.
正向:
go faster.
負向:
do not waste time here.
36. Conditional Crystal
有些結晶只在:
G1
成立。
另一個:
G2
可能使用不同 route。
所以:
κ={Gi↦Fi}.
37. Multi-Version Crystal
同一目標:
T
可能有:
κCPU,
κGPU,
κlow−memory,
κhigh−accuracy.
Adaptive Corridor Generator 動態選擇。
38. Hardware-Aware Crystal
因此:
κ=K(Γ,Ht),
其中:
Ht
是 hardware state。
39. Resource-Aware Crystal
同樣:
κ=K(Γ,Bt),
其中:
Bt
為 budget。
40. Crystal Specialization
一個 general crystal:
κG
可以針對 hot domain:
Dh
生成:
κDh.
使:
C(κDh)<C(κG)
在:
Dh
上成立。
41. Crystal Generalization
多個:
κx1,…,κxn
若共享 structure,
可以抽象:
KG(κx1,…,κxn)=κD.
這是從 instance crystal 走向 family crystal。
42. Crystal Merge
若:
Da∩Db
大,
且:
Fa≃Fb,
可嘗試:
Merge(κa,κb)=κab.
43. Crystal Deduplication
若:
κa≃κb
且 lifecycle value 重複,
則應 deduplicate。
避免:
∣Kt∣
無限制膨脹。
44. Crystal Pruning
定義:
UL(κ)
為 lifecycle utility。
若:
UL(κ)<θP,
則:
κ→retire.
45. 結晶庫不是越大越好
如果:
∣K∣→∞,
則 routing、maintenance、verification 也會變貴。
所以:
memory of shortcuts has its own complexity.
46. Crystal Selection Cost
若找:
κ\*
本身需要:
Cselect
很大,
則 fast path 優勢可能被抵銷。
因此:
Cselect
也進完整成本帳本。
47. Crystal Index
可建立:
IK:(s,g,h)↦{κ1,…,κm}.
使 candidate crystal 顯影成本下降。
48. Semantic Revealing of Crystals
用:
Πξt(K)=Ktvisible.
只顯影目前相關 crystals。
所以結晶庫可以很大,
active crystal set 仍小。
49. 結晶與 Working Set
因此:
∣Ktactive∣≪∣K∣.
這避免:
因為學會很多捷徑,反而每次選捷徑更慢。
50. Crystal Formation Cost
結晶成本:
CK=Cqualify+Cverify+Cindex+Cpersist+Cmonitor.
51. 結晶不是免費
完整:
Ccrystal=Ccompile+CK.
只有長期:
NΔC>Ccrystal
才值得持久化。
52. Ephemeral Crystal
若:
N
預期很小,
但 session 內仍有價值,
可使用:
κephemeral.
session 結束即丟棄。
53. Persistent Crystal
若:
Nfuture
高,
且:
S(κ)
高,
則持久化:
κpersistent.
54. Persistence 不等於永久 hot
Persistent 只表示:
值得保存。
不表示:
L=hot
永遠成立。
55. Crystal Replay
為驗證:
κ
可定期:
Replay(κ,Dsample).
若結果漂移:
κ→stale.
56. Shadow Verification
新版本:
κ′
可以與原 path:
Γ
shadow run。
比較:
Obs(κ′)
與:
Obs(Γ).
57. Fast Verification
Hot crystal 不一定每次 deep verification。
可用:
Vfast.
例如:
- hash;
- state invariant;
- version token;
- range check;
- deterministic digest。
58. Deep Verification Trigger
若:
Ut>θU
或:
Nt>θN,
則:
Vfast→Vdeep.
59. 結晶的防錯機制
因此成熟 crystal 不是:
以後都相信它。
而是:
cheap continuous validation+conditional deep validation.
60. Crystal Failure
如果:
V(κ)=0,
則不能直接:
κ→delete.
先判斷:
- transient failure;
- domain mismatch;
- version drift;
- implementation bug;
- corrupted dependency。
61. Repair
若:
Crepair<Crecrystallize,
則:
κ→κ′.
62. Recrystallization
如果 repair 不值得,
則:
DK(κ)→Γ→PC→ℓ′→K→κ′.
63. 解晶—再結晶循環
因此:
κ→decrystallize→recompile→κ′.
這使結晶不是僵化結構。
64. 結晶與動態世界
如果:
Wt
持續變動,
則:
Kt
也必須動態變動:
Kt+1=Kt.
65. Crystal Evolution
可以寫:
Kt+1=U(Kt,Rt,ΔWt).
其中:
Rt
為 execution receipts。
66. 晶格式計算世界
當 crystal 數量與層級增加,
整個世界可以想像成:
a lattice of reusable computational shortcuts.
但這裡的「晶格」是結構比喻與工程表示,不主張與數學 lattice theory 完全等同。
67. 原始程式與結晶層
Legacy program:
P0.
觀察後形成:
K1.
之後 runtime 可以執行:
P0+K1.
再形成:
K2.
68. 不需要一開始改寫全部程式
所以:
legacy source may remain canonical while crystals form as an optimization layer.
這對第一代實驗非常重要。
69. Crystal Overlay
可寫:
Pt=Plegacy⊕Kt.
其中:
⊕
表示:
在不抹掉原始程式的前提下疊加已驗證 fast paths。
70. 逐步替換
如果某些 crystal 長期成熟,
才可能:
Plegacy→Precompiled.
所以完全再編譯是後期結果,不是初始必要條件。
71. 遊戲中的結晶化
單機遊戲提供:
St
大量重複 transition。
例如:
- inventory query;
- pathfinding;
- combat routine;
- NPC behavior;
- resource lookup;
- quest update。
這些都是候選 crystal source。
72. 遊戲中的正向結晶
若:
Γheal
反覆成立,
形成:
κheal+.
下一次:
stκhealst+1.
73. 遊戲中的負向結晶
如果某 route:
Γdanger
反覆造成:
death / failure,
可形成:
κdanger−.
直接在 Expansion 階段遮蔽。
74. 遊戲是結晶演化的風洞
因為:
- state 可保存;
- failure 可重播;
- performance 可量;
- world 複雜;
- side effect 可回滾。
所以非常適合觀察:
Kt
是否真正逐步改善 runtime。
75. Crystallization Ratio
定義:
RK(t)=Nall transitionsNcrystal transitions.
理想穩定 workload:
RK(t)↑.
76. Deep Reasoning Ratio
同時:
RD(t)=Nall transitionsNdeep reasoning.
若結晶有效:
RD(t)↓.
77. Average Runtime Cost
Cavg(t)=Nt∑Ct.
最重要的觀察之一:
dtdCavg<0
在穩定 workload 中是否成立。
78. Crystal Utility Curve
一個 crystal 的累積價值:
UN(κ)=NΔC−Ccrystal−Cmaintain(N).
若:
UN>0,
代表 lifecycle beneficial。
79. Crystal Debt
某些 crystal 前期有收益,
後期維護變貴。
可定義:
DK=Cmaintain−NΔC.
若:
DK>0,
應考慮退役。
80. 結晶與外部複雜度
結晶把:
Cruntime
轉移為:
Ccompile+Cverify+Cstore+Cmaintain.
因此仍然符合 Series 01:
complexity moves.
81. 結晶不是免費超能力
一個世界如果變化太快,
可能:
Cmaintain≫ΔCrun.
則結晶化不划算。
82. Crystallizability
可以定義某 path 的可結晶度:
QK(Γ)=f(frequency,stability,cost,verifiability,domain width,maintenance burden).
83. 高可結晶區域
通常:
f↑,
S↑,
Cold↑,
CV↓
會提高:
QK.
84. 低可結晶區域
例如:
- one-shot task;
- rapidly changing state;
- high uncertainty;
- irreversible external action;
- difficult equivalence;
- very low frequency。
不應強迫結晶。
85. 選擇性結晶
因此:
maxcrystal count
不是目標。
而是:
maxκ∈K∑UL(κ).
86. 結晶與有效度超連結
這直接通向 Series 08。
真正應決定是否結晶的是:
Effective Hyperlink Utility.
而不是:
能不能做成 hyperlink?
87. Crystal as Primitive
當:
κ
成為 hot,
上一層 runtime 可以把它視為:
pnew.
所以:
Pt+1=Pt∪{pnew}.
88. 程式原語不是固定集合
傳統:
Pt=P0.
UNPNP:
Pt+1=Pt∪Kt+−Kt−.
這是非常重要的差異。
89. Computational Vocabulary Growth
可以把 primitive set 看成:
Vt.
結晶化使:
∣Vt+1∣>∣Vt∣
在有價值的新 primitive 出現時成立。
也就是:
計算機會長出自己的新「動詞」。
90. 但 Vocabulary 也需要壓縮
如果:
∣V∣
太大,
routing 成本升高。
所以需要:
- merge;
- abstraction;
- hierarchy;
- pruning。
91. Higher-Order Vocabulary
多個 primitive:
p1,…,pn
可結晶成:
P.
於是:
P
對上一層是 primitive,
對下一層是 compound path。
92. 自指結構
因此:
primitive at level k=path at level k−1.
這與 Series 02 的自指底空間完全相容。
93. 呼吸與結晶的正式接口
Series 04:
StEtFtLtOtCtSt+1.
本文加入:
Kt=K(Et,Lt,Ct,Rt).
94. 下一輪計算世界更新
若:
Kt+
為新增正向結晶,
Kt−
為淘汰或負向結晶,
則:
Lt+1=Lt∪Kt+−Kt−.
95. 呼吸產生結晶
即:
ELCt→Kt.
每一次完整計算都可能留下:
- reusable path;
- negative path;
- better guard;
- compressed state;
- new primitive。
96. 結晶改變下一次呼吸
因為:
Lt+1=Lt,
所以下一次 Expansion:
Et+1
面對的是不同計算圖。
因此:
Kt→ELCt+1.
97. Breathing–Crystallization Loop
完整:
ELCt→Kt→ELCt+1→Kt+1→⋯
這是本篇最核心的動態式。
98. 自我優化的真正含義
self-optimizing 不表示:
AI 每次都修改自己的模型權重。
也可以只是:
Kt+1=Kt.
即:
可用計算 primitive 集合正在改善。
99. Frozen-Model Crystallization Experiment
故意固定:
θmodel.
只允許:
Kt
變化。
若:
Cavg(t)↓,
則可證明:
性能提升來自架構結晶,而不是模型更新。
100. 結晶與學習
因此本文提出:
Learning⊃Crystallized Computational Adaptation.
weight update 只是學習的一種形式。
101. Path Memory
每個:
κ
其實也是:
verified computational memory.
它記住的不是:
曾經發生什麼。
而是:
以後遇到這類狀態,可以怎麼更便宜地算。
102. 與記憶結晶化的區別
後續結晶化語義圖白皮書處理:
semantic memory crystal.
本篇處理:
computational path crystal.
兩者可以互相連接,
但不是同一資料結構。
103. Semantic Crystal 與 Computational Crystal
語義結晶回答:
我知道什麼?
計算結晶回答:
我知道怎麼做。
因此:
knowledge crystal=execution crystal.
但未來可以形成雙向 link。
104. Safety Crystal
安全領域甚至可以有:
κsafe
記錄:
- approved route;
- denied route;
- capability boundary;
- verified rollback。
但權限本身不應因結晶自動擴張。
105. Learning 不能變成 Self-Authorization
所以:
K⇒permission expansion.
結晶可以讓合法路徑更快,
不能讓原本禁止的路徑因「常用」就自動合法。
106. Crystal Security Boundary
一個 crystal:
κ
必須攜帶:
Creq(κ).
runtime 要求:
Creq(κ)⊆Ct.
107. 快速錯誤問題
結晶使正確路徑變快。
也可能使錯誤路徑變快。
因此:
fast path⇒need fast invalidation.
108. Poisoned Crystal
如果:
P
或:
V
被污染,
則:
κ
可能變成 poisoned fast path。
所以 provenance 與 validator 不可省略。
109. Crystal Trust
可定義:
TK(κ)=f(V,P,S,R,freshness).
只有:
TK>θT
才進 hot。
110. Crystal Trust 不是永久常數
TK(t+1)=TK(t)
可以因:
- stale;
- dependency change;
- new failure;
- new evidence;
改變。
111. Crystallization 不等於 P=NP
即使某一問題族形成大量:
κ,
也不代表:
P=NP.
因為:
- 建晶成本可能高;
- 外部資源可能巨大;
- worst case 未改善;
- uniform generator 未證明。
112. Non-Uniform Crystal
若:
∀x∃κx,
也不代表:
∃K∀x.
所以:
crystal existence=uniform crystallizer.
113. Universal Crystallizer 是更強命題
真正強的是存在:
K\*
可以對問題族:
D
低成本形成有價值 crystals。
這與 Series 03 的:
AGC
及:
UGC
相接。
114. 不可結晶區域
有些計算可能:
- 不重複;
- 不穩定;
- 不可驗證;
- 過度 context-dependent;
- 高度 adversarial;
- 編譯成本過高。
因此:
QK≈0.
UNPNP 必須承認這些區域存在。
115. 核心命題一
計算結晶化不是壓縮輸出,而是把反覆驗證且具有生命週期收益的計算路徑提升為新的可重用原語。
116. 核心命題二
結晶必須可追溯、可失效、可降級、可解晶;否則它只是不可觀測的黑箱捷徑。
117. 核心命題三
結晶可以再次結晶,因此計算 primitive 的抽象層級可以隨執行歷史逐步升高。
118. 核心命題四
負向失敗經驗也可以結晶,從而讓系統不只記住哪些路值得走,也記住哪些路不值得再走。
119. 核心命題五
呼吸產生結晶,結晶改變下一次呼吸。
120. 第一版總模型
完整 runtime:
StEtFtLtOtCtSt+1KtKt+1.
其中:
Kt+1=U(Kt,Kt,Rt,ΔWt).
121. Primitive Set Evolution
定義:
Pt
為 runtime primitive set。
則:
Pt+1=Pt∪Promote(Kt)−Retire(Kt).
122. 結論
路徑編譯使:
1→2→⋯→100
可以變成:
1→100.
但只有當這條新路經過:
- 有效域界定;
- 多次成功;
- equivalence verification;
- cost validation;
- dependency binding;
- provenance 固定;
- rollback / fallback;
- lifecycle evaluation;
它才應從:
compiled candidate
真正升級為:
computational crystal.
一旦成為 crystal,
上一層不再需要把它視為:
一段複雜歷史。
而可以把它視為:
一個新的計算動詞。
而當多個新動詞又形成穩定路徑:
κ1→κ2→⋯→κn,
系統還能再一次:
K(2)→κ(2).
因此 UNPNP Computer 的 primitive vocabulary 不是永遠由原始程式設計者固定。
它可以:
執行→觀察→重編譯→驗證→結晶→生成新的原語.
這就是計算結晶化真正重要的地方。
最終:
呼吸不是白呼吸。 每一次成功的展開—連結—收斂,都可能留下新的結晶; 而每一塊結晶,都可能讓下一次世界穿越變得更短。
下一篇將回答一個更務實的問題:
既然可以結晶,是不是所有可以結晶的路徑都應該結晶?
答案顯然是否定的。
真正需要的是一套:
有效度超連結路徑編碼
來決定哪些路值得被編譯、保存與提升為 fast path。
後續篇章
Series 08|有效度超連結路徑編碼:不是所有程式都值得被改寫
下一篇將正式處理:
UH(Γ)
與:
UK(κ),
並建立:
- frequency;
- cost saving;
- stability;
- verification burden;
- maintenance;
- risk;
- domain width;
- break-even;
- selective recompilation;
- negative optimization;
- crystal pruning;
- effective hyperlink density;
- 為什麼目標不是「全程式 hyperlink 化」,而是「只改真正值得改的路」。