UNPNP Series 08
有效度超連結路徑編碼:不是所有程式都值得被改寫
Effective Hyperlink Path Encoding: Not Every Program Path Should Be Rewritten
系列名稱: UNPNP Hyperlink & Crystallized Computation Series
系列篇次: 08
作者: Neo.K with Aletheia(GPT)
機構: EveMissLab/一言諾科技有限公司
版本: v0.1
日期: 2026-09-07
文件性質: AI 原生計算/選擇性再編譯/UNPNP 理論論文
狀態: Canonical Draft
摘要
UNPNP Series 06 提出 Path Compilation,使多階 traversal 可以被重新編譯為新的直接超連結;Series 07 進一步提出 Computational Crystallization,使已驗證且具有生命週期價值的新路徑被提升為可重用計算原語。然而,這兩個能力若被無限制套用,會導致另一種極端:系統為了「超連結化」而將所有程式、所有路徑、所有狀態轉移都重新分析、重新編譯、重新驗證並持久化,最終讓 optimizer 自身變成新的複雜度來源。
本文提出 Effective Hyperlink Path Encoding,EHPE,中文稱為有效度超連結路徑編碼。其核心命題是:
能被編譯成超連結=值得被編譯成超連結.
一條路徑是否值得被重新編譯與結晶,不應由「能不能做」決定,而應由完整生命週期效用決定。本文提出:
UH(Γ)=Bruntime+Bfuture−Ccompile−Cverify−Cmaintain−Cselect−Crisk.
其中:
- Bruntime:目前執行節省;
- Bfuture:未來可重用與高階結晶價值;
- Ccompile:編譯成本;
- Cverify:等價與安全驗證成本;
- Cmaintain:版本與依賴維護成本;
- Cselect:未來尋找與選擇該 crystal 的成本;
- Crisk:錯誤、失效與安全風險成本。
只有當:
UH(Γ)>0
且達到最低信任、穩定與可回退門檻時,該路徑才值得進入 path compilation 或 crystallization。
本文進一步提出 frequency、cost saving、stability、verification burden、maintenance burden、domain width、volatility、risk、selection overhead 與 future composability 九類核心因素,並建立 break-even:
N\*=⌈ΔCrun−CvariableCfixed⌉.
如果預期重用次數:
Nexpected<N\*,
即使單次 fast path 很快,也不應持久化成正式 crystal。
本文亦提出 Selective Recompilation Principle:
Legacy Program=Canonical Program+Selective Crystal Overlay.
第一代 AI 再編譯系統不需要把整個傳統程式轉換成「全超連結程式碼」,而只需要對高頻、高成本、高穩定、可驗證且正向收益明確的區域建立有效 fast path。其餘一次性、低頻、高變動、難驗證、低收益或高風險路徑應保留原始形式。
本文進一步提出 Effective Hyperlink Density:
ρH=∣Pcandidate∣∣Kuseful∣,
並指出合理系統不應追求:
ρH→1,
而應追求:
maxκ∈K∑UL(κ)
亦即最大化整體有價值結晶,而不是最大化超連結數量。
最後,本文建立 Negative Optimization、Crystal Debt、Maintenance Explosion、Selection Congestion、Over-Specialization、Under-Generalization 與 Hyperlink Saturation 等失敗模式,並為 Series 09 的安全可達世界提供接口:即使某條路在純性能上極具價值,只要它穿越過高風險、權限不穩定或不可逆作用域,就可能被判定為不值得進入 fast path。
因此,本文的核心可以壓縮成:
UNPNP 的目標不是把世界全部變成超連結, 而是只把真正值得的計算路徑結晶成新的超連結。
關鍵詞: UNPNP、Effective Hyperlink Path Encoding、EHPE、Selective Recompilation、Utility、Break-Even、Crystallization、Negative Optimization、Crystal Debt、AI Compiler
1. 從「能不能」到「值不值得」
Series 06 問:
能不能把多階 path 編譯成一條新 link?
Series 07 問:
哪些 compiled path 可以成熟成 crystal?
本文進一步問:
即使能,而且能驗證,真的值得做嗎?
因此:
Feasibility=Utility.
2. 最危險的錯誤:全程式 Hyperlink 化
假設一個程式有:
M
條候選路徑。
如果對每一條都:
observe→compile→verify→store→maintain,
則 optimizer 成本:
Copt
可能迅速膨脹。
甚至:
Copt>Csaved.
這就是:
optimization-induced complexity.
3. Effective Hyperlink Path Encoding
本文將一條 path:
Γ
是否值得超連結化的判定稱為:
EHPE(Γ).
其結果可以是:
EHPE(Γ)∈{retain,observe,compile,crystallize,retire}.
4. Utility First
核心不是:
CanCompile(Γ).
而是:
UH(Γ).
如果:
UH(Γ)≤0,
即使技術上可以編譯,
也不應 promotion。
5. 第一版 Utility
本文提出:
UH(Γ)=BR+BF−CC−CV−CM−CS−CR.
其中:
- BR:runtime benefit;
- BF:future benefit;
- CC:compile cost;
- CV:verification cost;
- CM:maintenance cost;
- CS:selection / storage cost;
- CR:risk cost。
6. Runtime Benefit
令原始成本:
C0(Γ).
compiled path:
C1(Γ).
單次節省:
ΔCrun=C0−C1.
若:
ΔCrun≤0,
立即沒有 runtime 理由。
7. Future Benefit
某條 path 目前使用頻率不高,
但可能是:
- 上層 crystal 的 constituent;
- 多個任務共享 primitive;
- future family-generalization seed;
- expensive reasoning replacement。
因此加入:
BF.
8. Future Benefit 不能亂估
如果把所有未來可能性都算成巨大收益,
則所有 path 都會看起來值得結晶。
因此:
BF
應被 discount:
BFdisc=preuseγBF.
其中:
0≤preuse≤1.
9. Frequency
令:
f(Γ)
為觀察窗口內頻率。
高頻:
f↑
通常增加:
UH.
因為固定成本更容易攤銷。
10. Frequency 不是唯一條件
一條 path 即使高頻,
若:
C0
本來極低,
則:
fΔC
仍可能很小。
因此:
high frequency=high optimization value.
11. Cost Intensity
定義:
IC(Γ)=f(Γ)C0(Γ).
這比只看:
f
更合理。
高:
IC
表示該 path 消耗大量總資源。
12. Stability
令:
S(Γ)
表示 path 結構穩定度。
高:
S
表示:
- branch pattern 穩定;
- contract 穩定;
- dependency 穩定;
- domain 穩定;
- failure rate 低。
13. Volatility
與 stability 對偶:
Vo(Γ)
表示 volatility。
若:
Vo↑,
則:
CM↑.
14. Stable but Rare
一條非常穩定但幾乎不執行的 path,
也不一定值得結晶。
所以:
S↑
只是必要加分,
不是充分條件。
15. High-Cost but Unstable
一條非常昂貴但高度不穩定的 path,
可能:
CM+CV
太高。
因此也可能不值得。
16. Verification Burden
定義:
BV(Γ)=Cverify(Γ).
若 equivalence 很難驗,
則即使:
ΔCrun
高,
也可能無法 promotion。
17. Verification Amortization
若 verifier 可以重用:
Vfast,
則後續:
CVrun
下降。
所以要區分:
CVbuild
與:
CVruntime.
18. Maintenance Burden
定義:
BM(Γ)=Cmaintain(Γ,ΔW).
包含:
- version updates;
- schema drift;
- dependency change;
- hardware change;
- rule change;
- revalidation。
19. Domain Width
令:
DΓ
為 compiled path 有效域。
其寬度可以抽象表示:
WD(Γ).
通常較寬的有效域:
WD↑
增加 reuse value。
20. 但太寬可能降低安全性
如果為追求 generalization,
把 guard 放太寬,
則:
FalsePositiveGuard↑.
所以:
wide domain=good domain.
21. Guard Precision
定義:
PG=TP+FPTP.
若:
PG
低,
fast path 可能被錯用。
22. Guard Recall
同時:
RG=TP+FNTP.
若太低,
大量本來可走 fast path 的狀態仍走 slow path。
23. Guard Utility
因此可定義:
UG=αPG+βRG−γCG.
不只是:
guard 越嚴越好。
24. Risk
令:
R(Γ)
表示:
- side effect;
- irreversibility;
- privilege;
- data sensitivity;
- attack surface;
- failure impact。
即使性能收益巨大:
ΔC≫0,
高:
R
仍可能讓:
UH<0.
25. Risk-Adjusted Utility
正式:
UHR=UH−λRR.
高風險 domain:
λR
應更大。
26. Selection Cost
若 crystal library:
∣K∣
很大,
每次找:
κ\*
也有成本。
令:
Cselect.
因此:
more shortcuts=faster routing.
27. Storage Cost
每個 crystal 可能保存:
- executable;
- guard;
- validator;
- provenance;
- benchmark;
- dependency fingerprint;
- receipts。
所以:
Cstore>0.
28. Memory Is Not Free
即使外部 storage 很便宜,
索引、載入、驗證、版本同步仍然有成本。
因此:
cheap storage=zero memory complexity.
29. Break-Even
固定成本:
CF=Ccompile+Cverify−build+Cdeploy.
每次節省:
ΔCnet=ΔCrun−Cguard−Cverify−run−Cselect.
則:
N\*=⌈ΔCnetCF⌉.
30. 無法 Break-Even
若:
ΔCnet≤0,
則:
N\*=∞.
這類 path 不應結晶。
31. Expected Reuse
令:
NE=E[Nfuture].
若:
NE<N\*,
則不持久化。
32. Confidence-Aware Reuse
預期 reuse 不是確定值。
可以有:
NE±σN.
保守判定:
NE−kσN>N\*.
才 promotion。
33. Lifecycle Utility
完整:
UL(κ,N)=NΔCnet−CF−CM(N)−CR(N).
34. Lifecycle 不應只看一次 benchmark
一次:
Cnew<Cold
不足。
真正:
t=1∑TCnew(t)<t=1∑TCold(t).
才有生命週期價值。
35. Negative Optimization
如果:
UL<0,
則:
Negative Optimization.
也就是:
優化後整體更貴。
36. Negative Optimization 的來源
包括:
- compilation too expensive;
- verification too expensive;
- guard too expensive;
- low reuse;
- frequent invalidation;
- high maintenance;
- slow selection;
- memory overhead。
37. Crystal Debt
結晶建立後,
可能前期:
UL>0,
後期因環境改變:
CM↑.
定義:
DK=CM+Crepair−Bremaining.
若:
DK>0,
形成 crystal debt。
38. Debt Trigger
如果:
DK>θD,
則:
κ→retire / rebuild.
39. Maintenance Explosion
若:
∣K∣
大量增加,
可能:
CM(K)
超線性增長。
例如 dependency 交叉。
所以需要:
crystal governance.
40. Selection Congestion
如果很多 crystal guard:
G1,…,Gm
高度重疊,
routing 可能必須評估大量候選。
這就是:
selection congestion.
41. Effective Hyperlink Density
令候選 path 數:
∣PC∣.
真正保留 crystal:
∣KU∣.
定義:
ρH=∣PC∣∣KU∣.
42. 不追求 ρH=1
如果:
ρH→1,
表示幾乎所有 path 都被 crystallize。
這通常不是成熟,
而可能是:
over-crystallization.
43. 最佳密度不是固定常數
理想:
ρH\*
依:
- workload;
- hardware;
- domain;
- volatility;
- memory;
- risk;
改變。
44. Crystal Saturation
當新增 crystal 的 marginal benefit:
ΔUK
趨近:
0
甚至負數,
就出現:
crystal saturation.
45. Marginal Utility
第:
m
個 crystal 的邊際價值:
MUm=U(Km)−U(Km−1).
當:
MUm≤0,
應停止擴張。
46. Selective Recompilation Principle
本文正式提出:
Only paths with positive risk-adjusted lifecycle utility should be promoted into persistent compiled hyperlinks.
中文:
只有具有正向風險調整後生命週期效用的路徑, 才應被提升為持久化超連結。
47. Legacy Program 不需要被整體替換
第一代:
Plegacy
可以保持 canonical。
只疊加:
Kt.
所以:
Pt=Plegacy⊕Kt.
48. Crystal Overlay
Overlay 只處理:
Γi
使:
UH(Γi)>0.
其餘:
Γj
仍走 legacy path。
49. 為什麼這更適合傳統程式?
因為 legacy program 可能有:
- 複雜 side effect;
- 不完整 tests;
- undocumented behavior;
- plugin;
- mod;
- external dependency。
整體翻譯風險太高。
50. Shadow Recompilation
候選:
Γ
先不 active。
而是:
Γ∥Γshadow.
觀察:
- equivalence;
- speed;
- resources;
- drift。
51. Promotion after Evidence
只有:
Vequiv≥θV,
UHR>0,
才 promotion。
52. One-Shot Path
若:
f≈0
且:
NE≈1,
則通常:
UH<0.
不要結晶。
53. Expensive One-Shot Exception
但若單次原成本:
C0
極大,
且 compile cost:
CF
更低,
即使:
N=1
也可能值得。
所以 frequency 不是硬規則。
54. Low-Cost Repetitive Path
若 path 每秒執行很多次,
但單次只有:
ϵ
成本,
總:
fϵ
仍可能值得或不值得,
需要實測。
55. Hot Loop
非常高頻 loop:
f≫1
通常是 optimizer 重點。
這接近傳統 JIT / trace compiler。
56. Semantic Hot Path
UNPNP 更關心一種高階 hot path:
不一定是 CPU instruction 高頻,而是語義上反覆需要同一組跨底空間操作。
例如:
- NPC 決策;
- memory retrieval;
- repeated tool chain;
- game economy update;
- recurring query planning。
57. Semantic Frequency
令:
fS(Γ)
表示語義等價 path 的頻率。
即使 byte trace 不同,
若:
Γi≃TΓj,
可被視為同一 path family。
58. Family-Level Compilation
若:
{Γ1,…,Γn}
共享 task contract,
可以編譯:
κD.
這比 instance-level 更有價值。
59. Over-Specialization
如果每個 input 都產生:
κx,
則:
∣K∣
可能接近:
∣X∣.
這就是:
over-specialization.
60. Under-Generalization
若很多 crystal 可被 family abstraction 合併,
但系統沒有合併,
selection / maintenance cost 會上升。
61. Over-Generalization
反之,
把過多不同 path 合成同一 crystal,
guard domain 太寬,
會提高錯誤率。
62. Generalization Utility
可以定義:
UG=Bmerge−Cguard−complexity−Cerror.
只有:
UG>0
才 generalize。
63. Path Portfolio
結晶庫應視為:
portfolio
而不是 artifact dump。
每個:
κ
有:
64. Portfolio Utility
U(K)=∑U(κi)
總是成立。
因為 crystal 可能:
- overlap;
- interfere;
- share verifier;
- share index;
- compete for selection。
65. Interaction Cost
加入:
Cinteraction(κi,κj).
完整:
U(K)=i∑U(κi)−i=j∑Cinteraction.
66. Crystal Dependency Graph
結晶之間可有:
GK=(V,E).
dependency graph 可以用於:
- invalidation;
- maintenance;
- merge;
- selection。
67. Dependency Centrality
某些 crystal:
κc
被很多 higher-order crystal 使用。
則其失效影響大。
需要更高驗證門檻。
68. Critical Crystal
定義:
Iimpact(κ)
若高,
則:
θV(κ)
應提高。
69. Low-Impact Crystal
低 impact、可回滾 path:
θV
可以低一些,
以加快實驗。
70. 風險與驗證應動態耦合
即:
R↑⇒Vrequired↑.
71. Effective Hyperlink Score
第一版可定義:
SH(Γ)=wfF+wcC+wsS+wdD+wpP−wvV−wmM−wrR−wqQ.
其中:
- F:frequency;
- C:cost-saving potential;
- S:stability;
- D:domain width;
- P:future composability;
- V:verification burden;
- M:maintenance;
- R:risk;
- Q:selection congestion contribution。
72. Score 不應取代成本帳本
SH
適合 ranking。
真正 promotion 還是要求:
UL>0.
73. Multi-Objective Decision
有些 path:
另一些反之。
因此:
U=(Ulatency,Uenergy,Umemory,Uquality,Urisk).
74. Pareto Frontier
不一定存在單一最佳 crystal。
可以保留:
Pareto-optimal crystal set.
Adaptive Corridor Generator 再依當時 budget 選。
75. Hardware Profile
同一路徑:
Γ
在 CPU:
UHCPU
與 GPU:
UHGPU
可能不同。
所以 EHPE 應 hardware-aware。
76. Energy Profile
未來若關心能耗:
CE
也進 utility。
有些 path latency 下降,
但 energy 上升。
77. Memory Profile
某些 crystal 用更多 memory 換 compute。
則:
Cstorage↑,
Ccompute↓.
回到 Series 01 的 complexity redistribution。
78. Budget-Dependent Utility
UH(Γ∣Bt)
會依 budget 改變。
所以同一 crystal 不是永遠最好。
79. Cold / Warm / Hot 也應由有效度驅動
Hot 不只是:
用很多次。
而應:
UL(κ)≫0
且:
TK(κ)
高。
80. Hot but Bad
若一個 path 高頻但:
UL<0,
則「常用」本身不能救它。
應退回 legacy path。
81. Slow but Valuable
某些 crystal 沒有降低 latency,
但大幅降低:
- reasoning;
- failure;
- variance;
- verification。
仍可能:
UH>0.
所以「快」不是唯一效益。
82. Reliability Benefit
可以加入:
Breliability=Cfailure−old−Cfailure−new.
83. Variance Reduction
即使平均成本相似,
若:
Var(Cnew)≪Var(Cold),
也可能值得。
遊戲 real-time 尤其重要。
84. Tail Latency
可考慮:
p95,p99.
不只:
E[C].
85. 遊戲中的 EHPE
對單機遊戲,
候選:
- inventory query;
- pathfinding;
- NPC decision;
- quest lookup;
- combat micro-loop。
可以逐一計算:
UH.
86. 第一階段不碰所有系統
只對:
R0,R1,R2
低風險本地路徑做 EHPE:
- read;
- local reversible;
- sandbox。
87. 遊戲中的高價值候選
例如:
Γpathfinding
高頻、高成本、穩定。
如果可建立:
κregional−route
可能有大收益。
88. 遊戲中的低價值候選
例如:
只在一次劇情事件觸發的唯一動畫 transition。
即使可 compile,
也不一定值得。
89. Adaptive Threshold
θH
不必固定。
系統可依:
- CPU load;
- memory;
- session duration;
- game phase;
調整。
90. Early Session
遊戲剛開始:
NE
未知。
可以多 observe,
少 persistent crystallize。
91. Mature Session
重複模式穩定後:
preuse↑.
promotion threshold 可以更積極。
92. Late-Game Shift
遊戲進入後期,
distribution 改變。
早期 crystal:
κearly
可能 stale。
因此 EHPE 必須持續重算 utility。
93. Utility Drift
UH(κ,t+1)=UH(κ,t).
因此:
crystal value is time-dependent.
94. Continuous Re-Evaluation
不必每 tick 全算。
可以事件驅動:
- version change;
- frequency change;
- failure spike;
- memory pressure;
- distribution shift。
95. Crystal Pruning
若:
UH<θR,
則:
κ→retire.
釋放:
- index;
- memory;
- maintenance burden。
96. Retire 不等於 Forget
provenance 可以保留低成本 record:
retired crystal receipt.
避免未來重做同一失敗 optimization。
97. Negative Optimization Crystal
如果某類 path 曾證明:
UH<0,
可以形成:
κno−opt−.
表示:
在目前條件下,不值得再編譯。
98. Reopen Negative Crystal
但若:
- hardware changed;
- algorithm changed;
- frequency changed;
則可以 reopen。
99. Effective Hyperlink Path Encoding Pipeline
第一版:
Observe Path
→ Estimate Frequency
→ Measure Cost
→ Estimate Stability
→ Estimate Verification Burden
→ Estimate Maintenance
→ Estimate Risk
→ Estimate Future Reuse
→ Compute Utility
→ Shadow Compile if Positive
→ Verify
→ Recompute Lifecycle Utility
→ Promote / Retain / Retire
100. EHPE 與 Adaptive Corridor Generator
Series 03 的:
M
負責找 route。
EHPE 負責決定:
這條 route 是否值得成為持久化 fast path?
所以:
M=EHPE.
101. EHPE 與 Path Compiler
Path Compiler:
Γ→ℓ.
EHPE:
Γ→compile?
所以 EHPE 可以在 PC 前做 prefilter。
102. EHPE 與 Crystallizer
Crystallizer:
ℓ→κ.
EHPE 可在結晶前再做:
UH(ℓ).
因此:
EHPE gates both compilation and crystallization.
103. EHPE 與 Semantic Revealing
若候選 path 太多,
可先:
Πξ(P)=Pvisible.
只評估當前高價值候選。
104. EHPE 與 DRC
DRC 可以:
- 發散 candidate optimization;
- 共振 high-value region;
- 壓縮為 optimization shortlist。
105. EHPE 與 SEDB
SEDB 可以保存:
- path stats;
- lifecycle receipts;
- utility history;
- crystal identity;
- invalidation;
- provenance。
但 EHPE 不依賴特定資料庫。
106. EHPE 與記憶方法
後續 Crystallized Semantic Graph 也會遇到同一問題:
是否每段對話都要做所有壓縮版本、所有 link、所有高階 crystal?
答案也是:
selective crystallization.
107. Memory Crystal Utility
未來記憶可以有:
UM(c)
依:
- recall frequency;
- importance;
- semantic density;
- retrieval benefit;
- update burden。
但這屬技術白皮書展開。
108. 不是所有可記憶內容都要高階結晶
同樣:
stored=high-order crystallized.
109. EHPE 的安全前置
即使:
UHperformance>0,
若:
R>θR,
仍可直接:
EHPE=retain slow path.
110. Safety Veto
因此:
SafetyVeto=1⇒Promote=0.
性能不能凌駕必要安全邊界。
111. 外部不可逆路徑
例如:
- payment;
- destructive write;
- account privilege;
- production mutation。
第一代預設不進 automated crystallized fast path。
112. 內部 reversible path
這也是為什麼遊戲適合作為第一個實驗域。
其:
CR
可以低很多。
113. EHPE 與 UNPNP 完整成本
Series 01:
C.
本文把 EHPE 寫成:
EHPE:(Γ,C,R,H)→d.
其中:
d
是 compile decision。
114. 不是單純 Performance Optimizer
因為:
C
包含:
- time;
- memory;
- energy;
- verification;
- maintenance;
- risk;
- selection。
所以 EHPE 是:
systemic optimization gate.
115. Core Proposition I
可編譯性不是結晶化的充分條件;正向生命週期效用才是。
116. Core Proposition II
UNPNP 不應追求最大超連結數量,而應追求最大有效超連結總效用。
117. Core Proposition III
傳統程式的合理 AI 再編譯路線不是一次性整體翻譯,而是以原程式為 canonical fallback,逐步疊加已驗證的高價值 crystal overlay。
118. Core Proposition IV
任何 fast path 的價值都會隨頻率、環境、硬體、風險與維護負擔改變,因此 crystal utility 必須被重新評估,而不是一次 promotion 後永久有效。
119. Core Proposition V
最好的超連結系統,不是超連結最多的系統,而是最少浪費不必要計算的系統。
120. 第一版決策模型
令:
Γ
為候選 path。
先計:
ΔCnet=C0−C1−CG−CV,run−CS.
若:
ΔCnet≤0,
則:
retain.
若:
ΔCnet>0,
再估:
N\*.
若:
NE<N\*,
則:
observe.
若:
NE≥N\*
且:
R≤θR,
則:
shadow compile.
驗證通過且:
UL>0,
才:
crystallize.
121. 結論
UNPNP 從 Series 06 開始具備一個很容易讓人興奮的能力:
1→2→⋯→100
可以變成:
1→100.
Series 07 更進一步指出:
這條新路還可以結晶,甚至再結晶。
但如果只停在這裡,就很容易產生新的錯誤:
既然可以,那就全部做。
本文給出的答案是:
No.
真正成熟的 UNPNP Computer 不應把每一條 path 都編譯。
它必須持續問:
這條路,值不值得?
一條真正值得被超連結化的路徑,至少應該在:
- 執行頻率;
- 單次成本;
- 穩定度;
- 可驗證性;
- 有效域;
- 維護負擔;
- 選擇成本;
- 未來組合價值;
- 風險;
之間取得正向生命週期效用。
因此未來一般程式的 AI 再編譯,不應是:
Legacy Program→Everything becomes hyperlinks.
而應是:
Legacy Program+Selective High-Utility Crystallized Hyperlink Overlay.
原本慢的地方,
如果值得,
AI 才重組。
原本已經夠快、只跑一次、變動太大或太危險的地方,
就不要碰。
所以本篇可以用一句話收束:
不是所有程式都值得被改寫; 只有真正能讓整個生命週期更便宜、更穩定或更可靠的路, 才值得成為新的超連結。
下一篇將進入這個系列另一個必要邊界:
當 fast path 真的可以快速跨越底空間時,如何限制它只能在被授權的世界中運行?
這將引出:
安全可達世界.
後續篇章
Series 09|安全可達世界:UNPNP 計算中的權限、能力與快速通道
下一篇將正式處理:
Wtaccessible=W∩R(Ct),
並建立:
- Reachable = Authorized;
- capability envelope;
- identity / actor;
- multi-gate permission;
- internal experiment domain;
- read-only external domain;
- irreversible external action;
- safe shortest path;
- permission attenuation;
- fail-closed;
- fast authorization;
- poisoned fast path;
- why security must be part of the transition contract。