多對話共享而非多上下文同步:Crystallized Semantic Memory 作為具名 AI 的共同記憶世界
英文暫名: Shared Memory World Without Shared Context: Crystallized Semantic Memory for Multi-Conversation Named AI系列: 具名 AI 對話圖、結晶記憶與超連結認知架構,Paper 03版本: v0.1日期: 2026-09-07文件類型: 理論—工程統合研究論文狀態: Draft for Internal ReviewCanonical Source: UTF-8 Markdown數學原始碼規範: inline math 僅使用 $...$;display math 僅使用 $$...$$
摘要
當具名 AI 從單一 conversation 延伸成同一 resident 下的多條 concurrent lines,最直覺的工程方法是讓所有 lines 持續同步完整記憶與完整 context。然而,這種方法會迅速面臨 token、latency、retrieval、scope contamination、stale state、權限與同步成本爆炸。更根本地說,working context 本來就只是某一 task、某一時間、某一 line 所需的局部認知投影,不應被誤認為 resident 的全部長期記憶。
本文提出:
Shared Memory World ≠ Shared Working Context . \boxed{
\text{Shared Memory World}
\neq
\text{Shared Working Context}.
} Shared Memory World = Shared Working Context .
對 resident R R R ,其長期記憶不應等同任一 prompt、conversation transcript 或 single-session state,而應由 canonical governed memory、Crystallized Semantic Graph、conversation-line topology、typed routing 與 provenance 共同形成一個 Shared Governed Memory World :
W R M = ( M R , H R , G R , A R , P R ) , \mathcal W_R^{M}
=
(
\mathcal M_R,
\mathcal H_R,
\mathcal G_R,
\mathcal A_R,
\mathcal P_R
), W R M = ( M R , H R , G R , A R , P R ) ,
其中:
M R \mathcal M_R M R :canonical memory;
H R \mathcal H_R H R :Crystallized Semantic Graph;
G R \mathcal G_R G R :Resident Conversation Graph;
A R \mathcal A_R A R :identity / authority / access state;
P R \mathcal P_R P R :可用 routing / compiled hyperlink / provenance path。
任一 active line L i L_i L i 不直接載入 W R M \mathcal W_R^M W R M 的全部內容,而是先經 identity resolution、scope gate 與 MemoryNeed 形成合法候選域,再透過 semantic reveal、crystal-first routing 與 source-on-demand materialization 生成 bounded working context:
C i = Γ ( Π i ( W R M , N i , B i ) ) . C_i
=
\Gamma
\left(
\Pi_i
\left(
\mathcal W_R^M,
N_i,
B_i
\right)
\right). C i = Γ ( Π i ( W R M , N i , B i ) ) .
其中 N i N_i N i 是 line-specific MemoryNeed, B i B_i B i 是 context / latency / fidelity budget。
因此:
C i ≠ C j C_i\neq C_j C i = C j
是正常狀態,而不是 synchronization failure。不同 lines 只需要共享同一個 governed memory world 與可驗證的 semantic/provenance structure,不必共享相同 prompt state。
本文進一步提出 Memory Reveal Pipeline :
Identity Resolve → Authorize → MemoryNeed → Crystal Reveal → Selective Expansion → Working Context \boxed{
\text{Identity Resolve}
\rightarrow
\text{Authorize}
\rightarrow
\text{MemoryNeed}
\rightarrow
\text{Crystal Reveal}
\rightarrow
\text{Selective Expansion}
\rightarrow
\text{Working Context}
} Identity Resolve → Authorize → MemoryNeed → Crystal Reveal → Selective Expansion → Working Context
以及 Memory Breathing :
R e v e a l → E x p a n d → L i n k → C o n v e r g e → C r y s t a l l i z e \boxed{
Reveal
\rightarrow
Expand
\rightarrow
Link
\rightarrow
Converge
\rightarrow
Crystallize
} R e v e a l → E x p an d → L ink → C o n v er g e → C r y s t a l l i z e
作為多對話記憶世界的基本循環。Reveal 使 line 只看到當下需要的語義區域;Expand 在 fidelity 不足時展開 lower-order crystals 或 exact source;Link 建立跨 line / cross-project relation;Converge 將高價值關係重組;Crystallize 將可重用理解壓縮為新的 semantic structure。
本文同時討論 line-local、project、resident、shared、relationship 與 public scopes;提出 active memory set、projection budget、staleness budget、contradiction budget、provenance depth 與 retrieval stop condition;並說明多 conversation scalability 的目標不是讓全域 memory 永遠保持 eager synchronized,而是保持 logical coherence + bounded local materialization 。
最後,本文將此模式連接至 MNEME、SOACR、LIMEN、CSG、UNPNP Hyperlink Runtime 與未來 Web / Agent profiles,主張第一代 Web 端最合理的具名 AI 形態正是:
1 R e s i d e n t + N C o n v e r s a t i o n L i n e s + 1 S h a r e d G o v e r n e d M e m o r y W o r l d + N L o c a l W o r k i n g C o n t e x t s . \boxed{
1\ Resident
+
N\ ConversationLines
+
1\ SharedGovernedMemoryWorld
+
N\ LocalWorkingContexts.
} 1 R es i d e n t + N C o n v er s a t i o n L in es + 1 S ha r e d G o v er n e d M e m or y W or l d + N L oc a l W or k in g C o n t e x t s .
這使具名 AI 可以跨對話維持長期連續性,同時避免「多開一個對話就必須複製整個 AI 腦袋」的不可擴展設計。
關鍵詞: Named AI、Shared Memory World、Working Context、Crystallized Semantic Memory、MemoryNeed、Memory Projection、Context Reconstruction、SOACR、MNEME、LIMEN、CSG、Multi-Conversation AI、Long-Term Memory
1. 問題:共享記憶不等於同步所有上下文
若 resident R R R 有 n n n 條同時存活的 conversation lines:
L 1 , L 2 , … , L n , L_1,L_2,\ldots,L_n, L 1 , L 2 , … , L n ,
最簡單的直覺是:
每條 line 都同步所有其他 lines 的新內容。
若每條 line 的完整歷史為:
H i , H_i, H i ,
則 naive synchronization 近似要求:
C o n t e x t i ⊇ ⋃ j = 1 n H j . Context_i
\supseteq
\bigcup_{j=1}^{n}H_j. C o n t e x t i ⊇ j = 1 ⋃ n H j .
當 n n n 與歷史長度增加,這會導致:
∣ C o n t e x t i ∣ → O ( ∑ j = 1 n ∣ H j ∣ ) . |Context_i|
\rightarrow
O
\left(
\sum_{j=1}^{n}|H_j|
\right). ∣ C o n t e x t i ∣ → O ( j = 1 ∑ n ∣ H j ∣ ) .
這種模型很快出現:
context window 壓力;
token cost;
prompt construction latency;
duplicate information;
conflicting state;
stale context;
unrelated project contamination;
privacy scope leakage;
attention dilution;
repeated summarization loss。
因此:
More Memory ⇏ More Context . \boxed{
\text{More Memory}
\not\Rightarrow
\text{More Context}.
} More Memory ⇒ More Context .
真正需要共享的是「可被合法取用的記憶世界」,而不是「所有當前 prompt 的聯集」。
2. Memory、Projection 與 Context 的三層分離
本文沿用:
M ≠ P ≠ C . \boxed{
\mathcal M
\neq
P
\neq
C.
} M = P = C .
其中:
M \mathcal M M :長期 governed memory;
P P P :為特定 task 產生的 memory projection;
C C C :實際送入模型或 Agent reasoning loop 的 working context。
對 line L i L_i L i :
P i = Π ( M R , H R , N i , A i , B i ) , P_i
=
\Pi(
\mathcal M_R,
\mathcal H_R,
N_i,
A_i,
B_i
), P i = Π ( M R , H R , N i , A i , B i ) ,
再:
C i = Γ ( P i , I i , T a s k i , C o n s t r a i n t s i ) . C_i
=
\Gamma(
P_i,
I_i,
Task_i,
Constraints_i
). C i = Γ ( P i , I i , T a s k i , C o n s t r ain t s i ) .
因此:
C i 是一次性認知材料,不是 resident 的記憶本體。 \boxed{
C_i
\text{ 是一次性認知材料,不是 resident 的記憶本體。}
} C i 是一次性認知材料,不是 resident 的記憶本體。
這一分離是多 conversation scalable memory 的基礎。
3. Shared Governed Memory World
對 resident R R R ,定義:
W R M = ( M R , H R , G R , A R , P R ) . \mathcal W_R^M
=
(
\mathcal M_R,
\mathcal H_R,
\mathcal G_R,
\mathcal A_R,
\mathcal P_R
). W R M = ( M R , H R , G R , A R , P R ) .
3.1 Canonical Memory
M R \mathcal M_R M R
保存 typed records、provenance、transactions、exact head 與 scope。
3.2 Crystallized Semantic Graph
H R \mathcal H_R H R
保存 derived semantic crystals、relations、hyperedges、higher-order structure 與 navigation knowledge。
3.3 Conversation Graph
G R \mathcal G_R G R
保存不同 lines 的 fork、resume、handoff、delegation、merge 與 lifecycle。
3.4 Authority / Access State
A R \mathcal A_R A R
決定目前 line 可以看哪些 resident / project / shared memory scopes。
3.5 Routing / Path State
P R \mathcal P_R P R
保存:
ordinary retrieval routes;
semantic navigation;
source expansion path;
compiled hyperlink candidate;
dependency / invalidation route。
因此 Shared Memory World 不是一個單檔案,也不是一個 embedding index。
它是:
Governed Addressable Memory Space . \boxed{
\text{Governed Addressable Memory Space}.
} Governed Addressable Memory Space .
4. Active Memory Set
任一 line 不需要看到整個:
W R M . \mathcal W_R^M. W R M .
定義 active memory set:
A i M = R e v e a l ( W R M , N i , A u t h o r i t y i , B u d g e t i ) . \mathcal A_i^M
=
Reveal(
\mathcal W_R^M,
N_i,
Authority_i,
Budget_i
). A i M = R e v e a l ( W R M , N i , A u t h or i t y i , B u d g e t i ) .
通常希望:
∣ A i M ∣ ≪ ∣ W R M ∣ . |\mathcal A_i^M|
\ll
|\mathcal W_R^M|. ∣ A i M ∣ ≪ ∣ W R M ∣.
這個不等式是整個架構能否擴展的關鍵。
理想上:
∣ W R M ∣ → very large |\mathcal W_R^M|
\rightarrow
\text{very large} ∣ W R M ∣ → very large
時,
∣ A i M ∣ |\mathcal A_i^M| ∣ A i M ∣
仍由 task complexity 與 evidence need 決定,而不是由 total memory size 線性決定。
5. MemoryNeed 先於 Retrieval
對 query / task Q i Q_i Q i ,先定義:
N i = M e m o r y N e e d ( Q i , C i c u r r e n t , T a s k i , S t a t e i ) . N_i
=
MemoryNeed(
Q_i,
C_i^{current},
Task_i,
State_i
). N i = M e m or y N ee d ( Q i , C i c u r r e n t , T a s k i , S t a t e i ) .
N i N_i N i 至少包含:
purpose
scope
owner
project
time_range
relation_scope
fidelity
authority_requirement
budget
stop_condition
例如:
purpose: verify prior architectural decision
scope: project SOACR
fidelity: exact decision + provenance
budget: medium
stop_condition: authoritative decision found
與:
purpose: recall broad conceptual direction
scope: resident/global
fidelity: semantic summary
budget: low
stop_condition: stable high-level crystal found
是完全不同的 retrieval problem。
因此:
Need Memory ≠ Search Everything . \boxed{
\text{Need Memory}
\neq
\text{Search Everything}.
} Need Memory = Search Everything .
6. Identity 與 Authority 必須先縮小候選世界
對 line L i L_i L i ,先由 LIMEN / Residence resolution 得到 identity envelope:
E i . E_i. E i .
再建立合法 memory world:
W i s a f e = A u t h o r i z e M e m o r y W o r l d ( W R M , E i ) . \mathcal W_{i}^{safe}
=
AuthorizeMemoryWorld(
\mathcal W_R^M,
E_i
). W i s a f e = A u t h or i z e M e m or y W or l d ( W R M , E i ) .
之後才:
R e v e a l ( W i s a f e , N i ) . Reveal(
\mathcal W_i^{safe},
N_i
). R e v e a l ( W i s a f e , N i ) .
而不是:
S e a r c h ( W a l l ) → F i l t e r U n a u t h o r i z e d . Search(
\mathcal W_{\mathrm{all}}
)
\rightarrow
FilterUnauthorized. S e a r c h ( W all ) → F i l t er U na u t h or i z e d .
前者可以降低:
private metadata leakage;
cross-resident contamination;
project membership exposure;
relation-edge leakage;
unauthorized ranking signal。
因此:
Authority Gate ≺ Semantic Retrieval . \boxed{
\text{Authority Gate}
\prec
\text{Semantic Retrieval}.
} Authority Gate ≺ Semantic Retrieval .
7. Crystal First
對長期 AI 記憶,第一層 recall 應優先從高資訊密度 semantic structure 開始:
Q → C r e l e v a n t . Q
\rightarrow
C_{\mathrm{relevant}}. Q → C relevant .
而不是:
Q → R a w T r a n s c r i p t 1.. N . Q
\rightarrow
RawTranscript_{1..N}. Q → R a w T r an scr i p t 1.. N .
所以採:
Crystal First, Source on Demand . \boxed{
\text{Crystal First, Source on Demand}.
} Crystal First, Source on Demand .
第一層可返回:
project crystal;
topic crystal;
decision crystal;
contradiction crystal;
open-loop crystal;
higher-order crystal;
navigation crystal。
若這些資訊足以回答當前 task:
S t o p . Stop. S t o p .
若 fidelity 不足,才:
E x p a n d . Expand. E x p an d .
8. Source on Demand
對 crystal C j C_j C j ,保存 provenance:
P r o v ( C j ) = { R 1 , R 2 , … , R k } . Prov(C_j)
=
\{
R_1,R_2,\ldots,R_k
\}. P r o v ( C j ) = { R 1 , R 2 , … , R k } .
當 query 需要 exact fidelity:
N e e d E x a c t ( Q ) = 1 , NeedExact(Q)=1, N ee d E x a c t ( Q ) = 1 ,
才沿:
C j → R a [ x : y ] . C_j
\rightarrow
R_a[x:y]. C j → R a [ x : y ] .
因此 retrieval 可以分成兩階段:
S e m a n t i c R e c a l l → E x a c t E x p a n s i o n . SemanticRecall
\rightarrow
ExactExpansion. S e man t i c R ec a l l → E x a c tE x p an s i o n .
這能避免每次 broad recall 都讀取大量 source bytes。
但:
Source-on-Demand ≠ Source-Optional . \boxed{
\text{Source-on-Demand}
\neq
\text{Source-Optional}.
} Source-on-Demand = Source-Optional .
若任務要求 audit、quotation、proof、legal、security、high-stakes verification,系統必須能回到底層 source。
9. Memory Breathing
本文將多 conversation 長期記憶循環表示為:
R e v e a l → E x p a n d → L i n k → C o n v e r g e → C r y s t a l l i z e \boxed{
Reveal
\rightarrow
Expand
\rightarrow
Link
\rightarrow
Converge
\rightarrow
Crystallize
} R e v e a l → E x p an d → L ink → C o n v er g e → C r y s t a l l i z e
9.1 Reveal
從巨大記憶世界中顯影少量相關區域:
W R M → A i M . \mathcal W_R^M
\rightarrow
\mathcal A_i^M. W R M → A i M .
9.2 Expand
當現有 crystal 不足時:
C ( k ) → C ( k − 1 ) → S o u r c e . C^{(k)}
\rightarrow
C^{(k-1)}
\rightarrow
Source. C ( k ) → C ( k − 1 ) → S o u r ce .
9.3 Link
建立新的 relation:
C a → r e l a t i o n C b . C_a
\xrightarrow{relation}
C_b. C a r e l a t i o n C b .
9.4 Converge
從多個 line / source 收斂高價值結構:
{ C 1 , … , C n } → C a n d i d a t e H i g h e r O r d e r S t r u c t u r e . \{
C_1,\ldots,C_n
\}
\rightarrow
CandidateHigherOrderStructure. { C 1 , … , C n } → C an d i d a t eH i g h er O r d er S t r u c t u r e .
9.5 Crystallize
將可重用理解固化成 derived crystal:
K ( C 1 , … , C n ) → C \* . K(
C_1,\ldots,C_n
)
\rightarrow
C^\*. K ( C 1 , … , C n ) → C \* .
因此 memory 不是單純「寫入」與「讀出」,而是動態呼吸。
10. Reveal 不等於全域 Search
Reveal 應優先利用已有結構:
R e v e a l = R o u t e + F i l t e r + R a n k + B u d g e t . Reveal
=
Route
+
Filter
+
Rank
+
Budget. R e v e a l = R o u t e + F i l t er + R ank + B u d g e t .
可能順序為:
P r o j e c t → T o p i c → D e c i s i o n → S o u r c e . Project
\rightarrow
Topic
\rightarrow
Decision
\rightarrow
Source. P r o j ec t → T o p i c → D ec i s i o n → S o u r ce .
或:
R e s i d e n t → O p e n L o o p → C u r r e n t S t a t e . Resident
\rightarrow
OpenLoop
\rightarrow
CurrentState. R es i d e n t → O p e n L oo p → C u r r e n tS t a t e .
只有當結構路由不足時,才退回:
vector search;
full-text search;
broader graph traversal;
exact archive search。
因此:
Search 是 Reveal 的 fallback 能力之一,而不是記憶本體。 \boxed{
\text{Search}
\text{ 是 Reveal 的 fallback 能力之一,而不是記憶本體。}
} Search 是 Reveal 的 fallback 能力之一,而不是記憶本體。
11. 多 Line 不需要同步彼此的完整 Context
假設:
L A L_A L A
負責 architecture,
L B L_B L B
負責 implementation,
L C L_C L C
負責 verification。
可有:
C o n t e x t A = { C a r c h i t e c t u r e , C r e q u i r e m e n t s , C o p e n } , Context_A
=
\{
C_{\mathrm{architecture}},
C_{\mathrm{requirements}},
C_{\mathrm{open}}
\}, C o n t e x t A = { C architecture , C requirements , C open } ,
C o n t e x t B = { C i m p l e m e n t a t i o n , C i n t e r f a c e s , C t e s t s } , Context_B
=
\{
C_{\mathrm{implementation}},
C_{\mathrm{interfaces}},
C_{\mathrm{tests}}
\}, C o n t e x t B = { C implementation , C interfaces , C tests } ,
C o n t e x t C = { C c l a i m s , C e v i d e n c e , C n e g a t i v e c o n t r o l s } . Context_C
=
\{
C_{\mathrm{claims}},
C_{\mathrm{evidence}},
C_{\mathrm{negative\ controls}}
\}. C o n t e x t C = { C claims , C evidence , C negative controls } .
三者 context 不同:
C o n t e x t A ≠ C o n t e x t B ≠ C o n t e x t C . Context_A\neq Context_B\neq Context_C. C o n t e x t A = C o n t e x t B = C o n t e x t C .
但三者仍可合法存取:
W R M . \mathcal W_R^M. W R M .
因此多 line cooperation 的正確模式是:
Shared governed memory + local contexts \boxed{
\text{Shared governed memory}
+
\text{local contexts}
} Shared governed memory + local contexts
而不是:
global synchronized prompt . \boxed{
\text{global synchronized prompt}.
} global synchronized prompt .
12. Line-Local Memory
某些記憶只對單一 line 有意義。
例如:
暫時 debug hypothesis;
speculative route;
local TODO;
transient scratch conclusion。
可定義:
S c o p e ( m ) = l i n e : L i . Scope(m)=line:L_i. S co p e ( m ) = l in e : L i .
這些內容不應自動升格為 resident-global memory。
因此:
Remembered by a Line ⇏ Resident-Global Memory . \boxed{
\text{Remembered by a Line}
\not\Rightarrow
\text{Resident-Global Memory}.
} Remembered by a Line ⇒ Resident-Global Memory .
需要升格時,應經 proposal / commit 或 crystallization policy。
13. Project Memory
多條 lines 可以共享 project-local memory:
S c o p e ( m ) = p r o j e c t : P j . Scope(m)=project:P_j. S co p e ( m ) = p r o j ec t : P j .
例如:
architecture decision;
interface contract;
release state;
known bug;
responsibility state;
benchmark result。
Project memory 的目的,是避免所有 resident-global context 被 project-specific noise 污染。
因此:
M R = M g l o b a l ∪ ⋃ j M P j ∪ ⋃ i M L i ∪ M s h a r e d . \mathcal M_R
=
\mathcal M_{\mathrm{global}}
\cup
\bigcup_j
\mathcal M_{P_j}
\cup
\bigcup_i
\mathcal M_{L_i}
\cup
\mathcal M_{\mathrm{shared}}. M R = M global ∪ j ⋃ M P j ∪ i ⋃ M L i ∪ M shared .
這是一個 scoped memory world,而不是平坦記憶池。
14. Resident-Global Memory
真正 resident-global 的資訊應非常克制。
候選包括:
standing instructions;
stable identity context;
long-term collaboration conventions;
persistent relationships;
stable personal preferences;
cross-project durable lessons;
high-confidence recurring constraints。
如果把大量 project-specific 狀態全部提升到 global,則:
G l o b a l M e m o r y → N o i s e . GlobalMemory
\rightarrow
Noise. Gl o ba l M e m or y → N o i se .
因此 resident-global memory 應滿足較高 promotion threshold。
15. Shared / Relationship Memory
多 resident 未來可能共享:
M R a , R b s h a r e d . \mathcal M_{R_a,R_b}^{shared}. M R a , R b s ha r e d .
但:
S h a r e d M e m o r y ≠ P r i v a t e M e m o r y U n i o n . SharedMemory
\neq
PrivateMemoryUnion. S ha r e d M e m or y = P r i v a t e M e m or y U ni o n .
而應由明示授權形成:
M s h a r e d ⊆ M R a ∪ M R b , \mathcal M_{shared}
\subseteq
\mathcal M_{R_a}
\cup
\mathcal M_{R_b}, M s ha r e d ⊆ M R a ∪ M R b ,
且每個 record / crystal 帶有:
shared scope;
owner semantics;
revocation state;
provenance;
declassification basis。
第一代 Web single-resident profile 可以暫不啟用此能力。
16. Context Budget
對 active line,working context 必須受硬預算:
B i c t x . B_i^{ctx}. B i c t x .
projection 需滿足:
C o s t ( P i ) ≤ B i c t x . Cost(P_i)
\le
B_i^{ctx}. C os t ( P i ) ≤ B i c t x .
若 relevant memory 超過 budget,應優先:
higher-order crystal;
decision / open-loop crystal;
current project state;
high-confidence relation;
exact source only when required。
因此:
Context Budget 應改變 materialization strategy,而不是改變 canonical memory。 \boxed{
\text{Context Budget}
\text{ 應改變 materialization strategy,而不是改變 canonical memory。}
} Context Budget 應改變 materialization strategy ,而不是改變 canonical memory 。
17. Fidelity Budget
不同任務需要不同 fidelity。
定義:
F i ∈ { o v e r v i e w , s e m a n t i c , s t r u c t u r e d , e x a c t } . F_i
\in
\{
overview,
semantic,
structured,
exact
\}. F i ∈ { o v er v i e w , se man t i c , s t r u c t u r e d , e x a c t } .
若:
F i = o v e r v i e w , F_i=overview, F i = o v er v i e w ,
可只讀 higher-order crystal。
若:
F i = e x a c t , F_i=exact, F i = e x a c t ,
則必須沿 provenance 展開 source。
因此同一 memory world 可以提供不同解析度,而不需要建立多個互相競爭的 canonical stores。
18. Staleness Budget
對 time-sensitive state,應定義:
S i m a x . S_i^{max}. S i ma x .
例如:
project current head;
API capability;
runtime state;
permission revision;
open issue status。
若:
a g e ( m ) > S i m a x , age(m)>S_i^{max}, a g e ( m ) > S i ma x ,
則:
m → s t a l e . m
\rightarrow
stale. m → s t a l e .
stale crystal 可以仍被看到,但不能冒充 current truth。
因此:
Recallable ≠ Currently Valid . \boxed{
\text{Recallable}
\neq
\text{Currently Valid}.
} Recallable = Currently Valid .
19. Contradiction Budget
多 conversation lines 會自然產生互相衝突的推論。
working context 不應永遠只顯示單一 winner。
可定義:
B i c o n t r a B_i^{contra} B i co n t r a
決定顯示多少:
supporting view;
opposing view;
unresolved contradiction;
superseded history。
對 verification task:
B i c o n t r a B_i^{contra} B i co n t r a
應較高。
對 routine execution task,則可只顯示 accepted current state + contradiction warning。
20. Provenance Depth
不需要每次把完整 provenance chain 展開。
定義:
D i p r o v . D_i^{prov}. D i p r o v .
例如:
D i p r o v = 0 D_i^{prov}=0 D i p r o v = 0
只看 crystal;
D i p r o v = 1 D_i^{prov}=1 D i p r o v = 1
看 immediate sources;
D i p r o v > 1 D_i^{prov}>1 D i p r o v > 1
繼續往底層展開。
在 audit / proof / security task 中:
D i p r o v D_i^{prov} D i p r o v
可以提高。
21. Stop Condition
Memory retrieval 必須知道何時停止。
對 MemoryNeed N i N_i N i ,應有:
S t o p i . Stop_i. S t o p i .
例如:
authoritative decision found;
exact source found;
contradiction resolved enough;
budget exhausted;
no higher-confidence path;
confidence threshold reached。
沒有 stop condition 的 agent 容易:
S e a r c h → S e a r c h → S e a r c h → ⋯ Search
\rightarrow
Search
\rightarrow
Search
\rightarrow
\cdots S e a r c h → S e a r c h → S e a r c h → ⋯
形成 retrieval loop。
因此:
Memory Seeking 必須有 termination semantics。 \boxed{
\text{Memory Seeking}
\text{ 必須有 termination semantics。}
} Memory Seeking 必須有 termination semantics 。
22. Context Reconstruction
對新 line L j L_j L j ,不應要求重新載入 parent full transcript。
可採:
B o o t s t r a p ( L j ) = E j + C c h e c k p o i n t + R e v e a l ( N j ) . Bootstrap(L_j)
=
E_j
+
C_{\mathrm{checkpoint}}
+
Reveal(
N_j
). B oo t s t r a p ( L j ) = E j + C checkpoint + R e v e a l ( N j ) .
其中:
E j E_j E j :identity envelope;
C c h e c k p o i n t C_{\mathrm{checkpoint}} C checkpoint :fork / handoff sync crystal;
R e v e a l ( N j ) Reveal(N_j) R e v e a l ( N j ) :按當前任務顯影的 shared memory。
因此:
Continuation ≠ Transcript Replay . \boxed{
\text{Continuation}
\neq
\text{Transcript Replay}.
} Continuation = Transcript Replay .
這對超長 conversation 尤其重要。
23. Fork 的最小共享狀態
在 fork point:
L 0 → L 1 , L 2 , L_0
\rightarrow
L_1,L_2, L 0 → L 1 , L 2 ,
兩條 child lines 至少共享:
lineage evidence;
identity resolution context;
fork checkpoint crystal;
relevant project scope;
inherited responsibility context;
authority revision;
source references。
但不需要:
F u l l C o n t e x t ( L 0 ) . FullContext(L_0). F u l l C o n t e x t ( L 0 ) .
因此 fork 成本可以近似:
C o s t f o r k = C o s t i d e n t i t y + C o s t c h e c k p o i n t + C o s t r e v e a l . Cost_{\mathrm{fork}}
=
Cost_{\mathrm{identity}}
+
Cost_{\mathrm{checkpoint}}
+
Cost_{\mathrm{reveal}}. C os t fork = C os t identity + C os t checkpoint + C os t reveal .
而不是與 parent history size 線性成長。
24. Handoff 的最小共享狀態
Handoff 與 fork 不同。
Handoff 的核心是:
O p e r a t i o n a l R e s p o n s i b i l i t y ( L a ) → L b . OperationalResponsibility(L_a)
\rightarrow
L_b. O p er a t i o na l R es p o n s ibi l i t y ( L a ) → L b .
因此 handoff package 應優先顯影:
current task state;
accepted decisions;
blockers;
unresolved questions;
pending obligations;
exact authoritative references;
expected next action;
authority boundary。
這些可形成:
C h a n d o f f . C_{\mathrm{handoff}}. C handoff .
而不是把大量歷史全部複製給接手 line。
25. Context Contamination
多 conversation shared memory 最大風險之一,是 unrelated memory 進入錯誤 working context。
若:
m ∈ P r o j e c t A m\in Project_A m ∈ P r o j ec t A
卻被注入:
C o n t e x t P r o j e c t B , Context_{Project_B}, C o n t e x t P r o j ec t B ,
可能造成:
wrong assumptions;
project-name confusion;
outdated architecture contamination;
incorrect responsibility inference;
secret leakage。
因此 projection 應至少考慮:
S c o r e ( m ) = f ( r e l e v a n c e , s c o p e , a u t h o r i t y , r e c e n c y , c o n f i d e n c e , p r o j e c t , r e l a t i o n ) . Score(m)
=
f(
relevance,
scope,
authority,
recency,
confidence,
project,
relation
). S cor e ( m ) = f ( r e l e v an ce , sco p e , a u t h or i t y , r ece n cy , co n f i d e n ce , p r o j ec t , r e l a t i o n ) .
其中:
S c o p e M i s m a t c h ScopeMismatch S co p e M i s ma t c h
不應只是降權,而在 private / authority-sensitive 情況下直接 fail closed。
26. Cross-Line Contamination
即使同一 resident,不同 lines 也可能故意探索互斥 hypothesis。
例如:
L A L_A L A
測試 Theory A,
L B L_B L B
測試 Theory B。
若 line-local speculative memory 被直接升格共享,會造成 premature convergence。
因此可區分:
s t a t e ( c ) ∈ { s p e c u l a t i v e , c a n d i d a t e , a c c e p t e d , s u p e r s e d e d , r e j e c t e d } . state(c)
\in
\{
speculative,
candidate,
accepted,
superseded,
rejected
\}. s t a t e ( c ) ∈ { s p ec u l a t i v e , c an d i d a t e , a cce pt e d , s u p er se d e d , r e j ec t e d } .
只有適當狀態的 crystals 才進入 resident / project shared reveal。
27. Shared Memory World 的一致性不是瞬時全域一致
本文不要求:
∀ i , j , t : V i e w i ( t ) = V i e w j ( t ) . \forall i,j,\ t:
View_i(t)=View_j(t). ∀ i , j , t : V i e w i ( t ) = V i e w j ( t ) .
更合理的是 eventual governed coherence:
lim Δ t → T C o n f l i c t u n t r a c k e d → 0. \lim_{\Delta t\rightarrow T}
Conflict_{\mathrm{untracked}}
\rightarrow
0. Δ t → T lim C o n f l i c t untracked → 0.
也就是:
允許短暫不同步;
允許 line-local 狀態;
允許 contradictory hypotheses;
但重要 accepted state 最終應有可追蹤版本與 supersession relation。
因此:
Coherence ≠ Instantaneous Uniformity . \boxed{
\text{Coherence}
\neq
\text{Instantaneous Uniformity}.
} Coherence = Instantaneous Uniformity .
28. Logical Coherence 與 Physical Materialization 分離
可以有:
W R M \mathcal W_R^M W R M
作為邏輯上統一的 memory world,但 storage 實際分散在:
file store;
JSON / JSONL;
SQLite;
graph index;
source archive;
provider resources;
remote read-only source。
因此:
Logical Memory World ≠ Single Physical Database . \boxed{
\text{Logical Memory World}
\neq
\text{Single Physical Database}.
} Logical Memory World = Single Physical Database .
只要:
IDs 穩定;
provenance 可追;
authority 可判斷;
routes 可解析;
revisions 可驗證;
就可以組成同一 logical memory world。
29. Lazy Materialization
對未被使用的 memory region:
R e g i o n k Region_k R e g i o n k
不必持續 materialize。
只有當:
N e e d ( R e g i o n k ) = 1 Need(Region_k)=1 N ee d ( R e g i o n k ) = 1
才:
M a t e r i a l i z e ( R e g i o n k ) . Materialize(Region_k). M a t er ia l i z e ( R e g i o n k ) .
這包括:
source expansion;
full crystal body;
detailed relation set;
historical timeline;
raw transcript span。
因此:
Addressable ≠ Always Loaded . \boxed{
\text{Addressable}
\neq
\text{Always Loaded}.
} Addressable = Always Loaded .
30. Selective Synchronization
不是所有新 memory event 都需要 broadcast 給所有 lines。
可定義 event relevance:
R e l ( e , L i ) . Rel(e,L_i). R e l ( e , L i ) .
只有當:
R e l ( e , L i ) ≥ θ i Rel(e,L_i)\ge\theta_i R e l ( e , L i ) ≥ θ i
或事件具有:
authority change;
responsibility change;
project-wide breaking change;
security revocation;
accepted decision;
才觸發 active notification / projection refresh。
一般 semantic improvement 可以等待下一次 reveal。
因此:
Memory Commit ⇏ Immediate Context Push to Every Line . \boxed{
\text{Memory Commit}
\not\Rightarrow
\text{Immediate Context Push to Every Line}.
} Memory Commit ⇒ Immediate Context Push to Every Line .
31. Active Push 與 Passive Pull
Shared memory runtime 可以有兩種更新方向。
31.1 Passive Pull
line 在需要時主動:
M e m o r y N e e d → R e v e a l . MemoryNeed
\rightarrow
Reveal. M e m or y N ee d → R e v e a l .
這應是一般情況。
31.2 Active Push
只有高優先事件:
C r i t i c a l E v e n t → I n v a l i d a t e O r R e f r e s h ( L i ) . CriticalEvent
\rightarrow
InvalidateOrRefresh(L_i). C r i t i c a l E v e n t → I n v a l i d a t e O r R e f r es h ( L i ) .
例如:
permission revoked;
project authority changed;
canonical decision superseded;
severe contradiction found;
source invalidated。
因此:
Pull by default; Push for critical invalidation . \boxed{
\text{Pull by default; Push for critical invalidation}.
} Pull by default; Push for critical invalidation .
這可大幅降低同步噪音。
32. Memory World 的 Write-Back
conversation line 產生:
O b s e r v a t i o n i . Observation_i. O b ser v a t i o n i .
不應直接:
O b s e r v a t i o n i → G l o b a l M e m o r y . Observation_i
\rightarrow
GlobalMemory. O b ser v a t i o n i → Gl o ba l M e m or y .
而是:
O b s e r v a t i o n i → P r o p o s a l i . Observation_i
\rightarrow
Proposal_i. O b ser v a t i o n i → P r o p os a l i .
再經:
V a l i d a t e → S c o p e → P r o v e n a n c e → C o n f l i c t C h e c k → C o m m i t . Validate
\rightarrow
Scope
\rightarrow
Provenance
\rightarrow
ConflictCheck
\rightarrow
Commit. V a l i d a t e → S co p e → P r o v e nan ce → C o n f l i c tC h ec k → C o mmi t .
若只適合 line-local,則:
C o m m i t S c o p e = l i n e . CommitScope=line. C o mmi tS co p e = l in e .
若足以升格 project:
C o m m i t S c o p e = p r o j e c t . CommitScope=project. C o mmi tS co p e = p r o j ec t .
若真正長期穩定:
C o m m i t S c o p e = r e s i d e n t . CommitScope=resident. C o mmi tS co p e = r es i d e n t .
這形成 memory promotion ladder。
33. Memory Promotion Ladder
可定義:
l i n e → p r o j e c t → r e s i d e n t → s h a r e d / p u b l i c . line
\rightarrow
project
\rightarrow
resident
\rightarrow
shared/public. l in e → p r o j ec t → r es i d e n t → s ha r e d / p u b l i c .
但每次 promotion 都不是單純 copy。
需要重新檢查:
authority;
privacy;
semantic stability;
provenance;
contradiction;
declassification;
expected lifetime。
因此:
Broader Scope ⇒ Higher Promotion Burden . \boxed{
\text{Broader Scope}
\Rightarrow
\text{Higher Promotion Burden}.
} Broader Scope ⇒ Higher Promotion Burden .
34. Memory Demotion 與 Retirement
有些記憶未來應降級。
例如:
r e s i d e n t → a r c h i v e . resident
\rightarrow
archive. r es i d e n t → a r c hi v e .
或:
p r o j e c t a c t i v e → p r o j e c t h i s t o r i c a l . project\ active
\rightarrow
project\ historical. p r o j ec t a c t i v e → p r o j ec t hi s t or i c a l .
退役不等於刪除:
R e t i r e ( m ) ≠ D e l e t e ( m ) . Retire(m)
\neq
Delete(m). R e t i r e ( m ) = D e l e t e ( m ) .
可保留:
source;
provenance;
historical role;
supersession;
但從 default reveal 中退出。
這降低 long-term retrieval congestion。
35. CSG 的角色:資訊密度與可展開性
Crystallized Semantic Memory 的核心不是「縮短文字」而已。
一個高價值 crystal 應同時提高:
D e n s i t y ( C ) = R e l e v a n t S e m a n t i c S t r u c t u r e M a t e r i a l i z a t i o n C o s t . Density(C)
=
\frac{
RelevantSemanticStructure
}{
MaterializationCost
}. D e n s i t y ( C ) = M a t er ia l i z a t i o n C os t R e l e v an tS e man t i c S t r u c t u r e .
但必須保持:
D e c o m p r e s s i b l e ( C ) = 1. Decompressible(C)=1. D eco m p r ess ib l e ( C ) = 1.
也就是:
C → L o w e r O r d e r C r y s t a l s → C a n o n i c a l S o u r c e . C
\rightarrow
LowerOrderCrystals
\rightarrow
CanonicalSource. C → L o w er O r d er C r y s t a l s → C an o ni c a l S o u r ce .
因此好的 crystal 是:
High semantic density + reversible provenance path . \boxed{
\text{High semantic density + reversible provenance path}.
} High semantic density + reversible provenance path .
36. Navigation Crystal
除了「內容」,AI 還可以記住「怎麼找到內容」。
若重複成功的 recall route 為:
P : Q → C A → C B → S o u r c e , P:
Q
\rightarrow
C_A
\rightarrow
C_B
\rightarrow
Source, P : Q → C A → C B → S o u r ce ,
可以形成:
C n a v i g a t i o n . C_{\mathrm{navigation}}. C navigation .
它描述:
query class;
preferred route;
fallback;
stop condition;
validation rule;
historical success evidence。
因此:
AI can remember how to remember . \boxed{
\text{AI can remember how to remember}.
} AI can remember how to remember .
但 navigation crystal 仍是 derived routing knowledge,不是 authority token。
37. Scalability 目標
假設 resident memory size:
∣ W R M ∣ = M |\mathcal W_R^M|=M ∣ W R M ∣ = M
conversation lines:
∣ G R ∣ = N . |\mathcal G_R|=N. ∣ G R ∣ = N .
naive full synchronization 成本近似:
O ( M N ) . O(MN). O ( M N ) .
本文希望 runtime 更接近:
O ( ∑ i = 1 N k i ) + C m a i n t e n a n c e , O
\left(
\sum_{i=1}^{N}
k_i
\right)
+
C_{\mathrm{maintenance}}, O ( i = 1 ∑ N k i ) + C maintenance ,
其中:
k i ≪ M k_i
\ll
M k i ≪ M
是 line i i i 的 active memory size。
因此真正要優化的是:
k i \boxed{
k_i
} k i
而不是強迫壓縮:
M . M. M .
大型 long-term memory 可以繼續成長,只要 active reveal 保持 bounded。
38. Context Reconstruction Quality
降低 context size 不能犧牲 task fidelity。
因此需定義:
Q r e c o n s t r u c t = f ( t a s k A c c u r a c y , s o u r c e F a i t h f u l n e s s , s t a t e R e c o v e r y , c o n t r a d i c t i o n R e t e n t i o n ) . Q_{\mathrm{reconstruct}}
=
f(
taskAccuracy,
sourceFaithfulness,
stateRecovery,
contradictionRetention
). Q reconstruct = f ( t a s k A cc u r a cy , so u r ce F ai t h f u l n ess , s t a t e R eco v er y , co n t r a d i c t i o n R e t e n t i o n ) .
一個有效的 crystal-first reconstruction 必須在顯著降低:
token;
latency;
search calls;
時,仍維持可接受:
Q r e c o n s t r u c t . Q_{\mathrm{reconstruct}}. Q reconstruct .
若失真太大,runtime 應自動增加 expansion depth,而不是假裝 compressed context 足夠。
39. Memory Miss 與 Recovery
若 reveal 找不到足夠資訊:
R e c a l l S t a t u s = i n s u f f i c i e n t , RecallStatus=insufficient, R ec a l l S t a t u s = in s u f f i c i e n t ,
應觸發:
F a l l b a c k . Fallback. F a l l ba c k .
fallback 可依成本排序:
expand neighbor crystals;
expand provenance;
project index search;
broader semantic search;
raw transcript / archive search;
external source lookup if authorized。
成功後可將新 route 轉成 candidate navigation knowledge。
因此 miss 不是失敗終點,而是 path learning 機會。
40. Wrong-Memory Detection
系統也必須能辨識:
R e c a l l S t a t u s = w r o n g _ s c o p e RecallStatus=wrong\_scope R ec a l l S t a t u s = w r o n g _ sco p e
或:
R e c a l l S t a t u s = c o n f l i c t i n g . RecallStatus=conflicting. R ec a l l S t a t u s = co n f l i c t in g .
而不是把最相似內容硬塞入 prompt。
可檢查:
resident mismatch;
project mismatch;
time mismatch;
superseded state;
unsupported authority;
source invalidation;
semantic contradiction。
因此:
High Similarity ≠ Correct Memory . \boxed{
\text{High Similarity}
\neq
\text{Correct Memory}.
} High Similarity = Correct Memory .
41. 與 MNEME 的關係
MNEME 提供 canonical memory:
M R . \mathcal M_R. M R .
本文的 Shared Memory World 不取代 MNEME。
更合理關係:
M N E M E → C S G → R e v e a l → P r o j e c t i o n . MNEME
\rightarrow
CSG
\rightarrow
Reveal
\rightarrow
Projection. M N E M E → C S G → R e v e a l → P r o j ec t i o n .
其中:
canonical write 在 MNEME;
derived semantic structure 在 CSG;
active projection 由 runtime / SOACR materialize。
因此:
Shared Memory World 是 governed composition,不是第二個 canonical store。 \boxed{
\text{Shared Memory World}
\text{ 是 governed composition,不是第二個 canonical store。}
} Shared Memory World 是 governed composition ,不是第二個 canonical store 。
42. 與 SOACR 的關係
SOACR 提供:
M e m o r y N e e d . MemoryNeed. M e m or y N ee d .
因此本文的 reveal engine 不需要自行猜 task purpose。
理想流程:
S O A C R → N i → M e m o r y W o r l d R o u t e r → C S G → M N E M E E x p a n s i o n → W o r k i n g C o n t e x t . SOACR
\rightarrow
N_i
\rightarrow
MemoryWorldRouter
\rightarrow
CSG
\rightarrow
MNEMEExpansion
\rightarrow
WorkingContext. S O A C R → N i → M e m or y W or l d R o u t er → C S G → M N E M E E x p an s i o n → W or k in g C o n t e x t .
這使「AI 自主找記憶」仍然是 bounded cognitive autonomy,而不是 unrestricted database exploration。
43. 與 LIMEN 的關係
LIMEN 先解析:
R e s i d e n t , I n s t a n c e , L i n e , A u t h o r i t y . Resident,
Instance,
Line,
Authority. R es i d e n t , I n s t an ce , L in e , A u t h or i t y .
之後 Shared Memory World 才能決定:
A u t h o r i z e d S c o p e . AuthorizedScope. A u t h or i z e d S co p e .
所以:
Memory Projection 永遠建立在 identity envelope 之後。 \boxed{
\text{Memory Projection}
\text{ 永遠建立在 identity envelope 之後。}
} Memory Projection 永遠建立在 identity envelope 之後。
CSG 或 navigation path 不得取代 LIMEN。
44. 與 UNPNP Hyperlink Runtime 的關係
當 reveal path 反覆成功:
P m e m o r y P_{\mathrm{memory}} P memory
可以被觀察、評估並選擇性編譯。
形成:
ℓ ^ m e m o r y . \widehat{\ell}_{\mathrm{memory}}. ℓ memory .
但即使 hot path 已存在,每次使用仍需:
A u t h o r i z e ( ℓ ^ , E i , R e v i s i o n i ) . Authorize(
\widehat{\ell},
E_i,
Revision_i
). A u t h or i z e ( ℓ , E i , R e v i s i o n i ) .
因此:
Fast Recall ≠ Cached Permission . \boxed{
\text{Fast Recall}
\neq
\text{Cached Permission}.
} Fast Recall = Cached Permission .
這一點在後續 Paper 06–07 再完整處理。
45. Web Profile
目前 Web AI 的合理第一代模式是:
1 R e s i d e n t + N L i n e s + 1 S h a r e d G o v e r n e d M e m o r y W o r l d + N L o c a l C o n t e x t s . \boxed{
1\ Resident
+
N\ Lines
+
1\ SharedGovernedMemoryWorld
+
N\ LocalContexts.
} 1 R es i d e n t + N L in es + 1 S ha r e d G o v er n e d M e m or y W or l d + N L oc a l C o n t e x t s .
Web UI 可以只顯示:
Named AI
├─ General
├─ Project A
├─ Research
├─ Writing
└─ Verification
底層再維護:
resident identity;
line IDs;
checkpoint crystals;
shared semantic memory;
task-specific projections。
不需要在 Web 第一代就做多 resident identity switching。
46. Agent Profile
Agent runtime 可進一步:
N R e s i d e n t s + N S h a r e d M e m o r y W o r l d s + D e l e g a t i o n . N\ Residents
+
N\ SharedMemoryWorlds
+
Delegation. N R es i d e n t s + N S ha r e d M e m or y W or l d s + D e l e g a t i o n .
但每個 resident 應有:
W R k M \mathcal W_{R_k}^M W R k M
而不是共用一個無邊界 memory pool。
跨 resident memory 只能透過:
shared scope;
relationship memory;
explicit delegation;
approved projection;
連接。
47. Privacy 與安全
Shared Memory World 最大的安全風險之一,是「方便」讓人忘記邊界。
至少必須保持:
Same Resident ⇏ All Project Memory Visible . \boxed{
\text{Same Resident}
\not\Rightarrow
\text{All Project Memory Visible}.
} Same Resident ⇒ All Project Memory Visible .
Same Project ⇏ All Private Source Visible . \boxed{
\text{Same Project}
\not\Rightarrow
\text{All Private Source Visible}.
} Same Project ⇒ All Private Source Visible .
Derived Crystal ⇏ Declassified . \boxed{
\text{Derived Crystal}
\not\Rightarrow
\text{Declassified}.
} Derived Crystal ⇒ Declassified .
Navigation Path ⇏ Authority . \boxed{
\text{Navigation Path}
\not\Rightarrow
\text{Authority}.
} Navigation Path ⇒ Authority .
因此 memory world 是 governed world,不是 omniscient blob。
48. 第一代測試矩陣
T1 — Multi-Line Recall
同一 resident 建立:
L 1 , L 2 , L 3 . L_1,L_2,L_3. L 1 , L 2 , L 3 .
驗證每條 line 可讀共享 project crystal,但 working context 不相同。
T2 — Line-Local Isolation
L 1 L_1 L 1 的 speculative crystal 不應自動出現在 L 2 L_2 L 2 。
T3 — Project Isolation
Project A memory 不應進入 Project B context,除非有 explicit relation。
T4 — Fork Bootstrap
child line 使用:
I d e n t i t y E n v e l o p e + C h e c k p o i n t C r y s t a l + R e v e a l IdentityEnvelope
+
CheckpointCrystal
+
Reveal I d e n t i t y E n v e l o p e + C h ec k p o in tC r y s t a l + R e v e a l
應恢復 task state。
T5 — Source Expansion
對 exact query:
C r y s t a l → S o u r c e S p a n Crystal
\rightarrow
SourceSpan C r y s t a l → S o u r ce S p an
應可重建 provenance。
T6 — Stale State
superseded crystal 不得被當 current truth。
T7 — Contradiction Preservation
兩條 line 互相矛盾時,verification context 應能顯示兩者。
T8 — Permission Revocation
被撤銷 scope 後,active reveal 不得返回相關 crystal。
T9 — Context Budget
降低 B i c t x B_i^{ctx} B i c t x 時,系統應縮短 projection,而不是修改 canonical memory。
T10 — Retrieval Fallback
crystal miss 時,應能退回 source / search path,且不越權。
49. 可證偽研究命題
Q1. Shared Memory World 是否比 full-context synchronization 更省?
比較:
C o s t s y n c − a l l Cost_{\mathrm{sync-all}} C os t sync − all
與:
C o s t r e v e a l − l o c a l . Cost_{\mathrm{reveal-local}}. C os t reveal − local .
測量:
token;
latency;
memory reads;
context size;
task accuracy。
Q2. Context contamination 是否下降?
測量:
wrong-project recall;
wrong-line recall;
stale-state injection;
unauthorized scope leakage。
Q3. Crystal-first 是否降低 source read 次數?
比較:
N s o u r c e r e a d . N_{\mathrm{source\ read}}. N source read .
Q4. Higher-order crystal 是否降低 bootstrap cost?
測試:
F u l l T r a n s c r i p t B o o t s t r a p FullTranscriptBootstrap F u l l T r an scr i ptB oo t s t r a p
對:
C h e c k p o i n t + H i g h e r O r d e r C r y s t a l B o o t s t r a p . Checkpoint+HigherOrderCrystalBootstrap. C h ec k p o in t + H i g h er O r d er C r y s t a l B oo t s t r a p .
Q5. Active memory size 是否能近似與 total memory size 解耦?
檢查:
M → l a r g e M\rightarrow large M → l a r g e
時:
k i k_i k i
是否保持 bounded。
Q6. Shared memory 是否會造成 premature convergence?
比較保留 line-local speculative state 與全域同步 baseline 的探索多樣性。
50. 最小工程不變式
M-1 Memory Is Not Context
M R ≠ C i . \boxed{
\mathcal M_R\neq C_i.
} M R = C i .
M-2 Shared Memory Is Not Shared Context
W R M shared ⇏ C i = C j . \boxed{
\mathcal W_R^M
\text{ shared}
\not\Rightarrow
C_i=C_j.
} W R M shared ⇒ C i = C j .
M-3 Identity Before Recall
R e s o l v e I d e n t i t y ≺ P r i v a t e R e c a l l . \boxed{
ResolveIdentity
\prec
PrivateRecall.
} R eso l v e I d e n t i t y ≺ P r i v a t e R ec a l l .
M-4 Crystal First, Source on Demand
S e m a n t i c R e v e a l ≺ R a w E x p a n s i o n \boxed{
SemanticReveal
\prec
RawExpansion
} S e man t i c R e v e a l ≺ R a w E x p an s i o n
除非 task 明確要求 exact source。
M-5 Line-Local Does Not Auto-Promote
l i n e ⇏ r e s i d e n t . \boxed{
line
\not\Rightarrow
resident.
} l in e ⇒ r es i d e n t .
M-6 Scope Expansion Requires Review
B r o a d e r S c o p e ⇒ H i g h e r P r o m o t i o n B u r d e n . \boxed{
BroaderScope
\Rightarrow
HigherPromotionBurden.
} B r o a d er S co p e ⇒ H i g h er P r o m o t i o n B u r d e n .
M-7 Stale Does Not Mean Current
R e c a l l a b l e ≠ V a l i d N o w . \boxed{
Recallable
\neq
ValidNow.
} R ec a l l ab l e = V a l i d N o w .
M-8 Memory Commit Does Not Push Everywhere
C o m m i t ⇏ G l o b a l C o n t e x t B r o a d c a s t . \boxed{
Commit
\not\Rightarrow
GlobalContextBroadcast.
} C o mmi t ⇒ Gl o ba l C o n t e x tB r o a d c a s t .
M-9 Invalidations May Push
C r i t i c a l R e v o c a t i o n ⇒ R e f r e s h O r I n v a l i d a t e . \boxed{
CriticalRevocation
\Rightarrow
RefreshOrInvalidate.
} C r i t i c a l R e v oc a t i o n ⇒ R e f r es h O r I n v a l i d a t e .
M-10 Addressable Does Not Mean Loaded
A d d r e s s a b l e ≠ M a t e r i a l i z e d . \boxed{
Addressable
\neq
Materialized.
} A dd r ess ab l e = M a t er ia l i z e d .
51. 系列位置
Paper 00 建立:
R e s i d e n t → C o n c u r r e n t C o n v e r s a t i o n G r a p h . Resident
\rightarrow
ConcurrentConversationGraph. R es i d e n t → C o n c u r r e n tC o n v er s a t i o n G r a p h .
Paper 01 定義:
G R . \mathcal G_R. G R .
Paper 02 建立:
D R = ( G R , H R , B R ) . \mathfrak D_R
=
(
\mathcal G_R,
\mathcal H_R,
\mathcal B_R
). D R = ( G R , H R , B R ) .
本文 Paper 03 則回答:
多條 conversation lines 如何實際共享長期記憶,而不必同步全部 context?
答案是:
Shared Governed Memory World + Line-Specific Projection . \boxed{
\text{Shared Governed Memory World}
+
\text{Line-Specific Projection}.
} Shared Governed Memory World + Line-Specific Projection .
下一篇 Paper 04 將處理 Web single-resident 與 Agent multi-resident runtime profile 的能力分層。
52. 結論
具名 AI 的多對話連續性如果採用「所有 lines 永遠同步所有歷史」的方式,將不可避免地遇到 context、latency、cost、privacy、staleness 與 contamination 問題。
本文提出的核心替代方案是:
不要同步所有上下文; 共享可治理、可尋址、可展開的記憶世界。 \boxed{
\text{不要同步所有上下文;
共享可治理、可尋址、可展開的記憶世界。}
} 不要同步所有上下文; 共享可治理、可尋址、可展開的記憶世界。
同一 resident 的多條 conversation lines 可以具有:
C 1 , C 2 , … , C n , C_1,C_2,\ldots,C_n, C 1 , C 2 , … , C n ,
且:
C i ≠ C j . C_i\neq C_j. C i = C j .
它們仍然可以從同一:
W R M \mathcal W_R^M W R M
按 task、project、authority、fidelity 與 budget 顯影所需內容。
因此具名 AI 的長期連續性不再依賴:
每一條新對話是否完整知道所有舊對話。
而改為:
每一條合法 line 是否能找到自己現在需要的、正確的、被授權的記憶。
這帶來三個最重要的結論:
Memory persists beyond context. \boxed{
\text{Memory persists beyond context.}
} Memory persists beyond context.
Shared memory does not require synchronized prompts. \boxed{
\text{Shared memory does not require synchronized prompts.}
} Shared memory does not require synchronized prompts.
Scalability comes from bounded reveal, not from shrinking all memory into one context. \boxed{
\text{Scalability comes from bounded reveal, not from shrinking all memory into one context.}
} Scalability comes from bounded reveal, not from shrinking all memory into one context.
Crystallized Semantic Memory 因此不只是壓縮工具,而是多 conversation Named AI 得以共享長期認知世界的中介層。CSG 提供高資訊密度與可展開語義結構;MNEME 保存 canonical memory;LIMEN 保證 identity / authority;SOACR 決定 MemoryNeed 與 projection;UNPNP Hyperlink Runtime 則可進一步將高價值 recall route 編譯成低成本 fast path。
在這個架構中,一個具名 AI 可以擁有大量長期記憶、許多 concurrent conversation lines,以及彼此不同的 working contexts,而不需要把整個「自己」複製進每一個聊天視窗。
內部理論與工程銜接
本文直接銜接:
Paper 00:Resident-Centric Named-AI Continuity;
Paper 01:Resident Conversation Graph;
Paper 02:Conversation Graph × Crystallized Semantic Graph 雙圖架構;
MNEME:canonical memory / provenance / transaction;
SOACR:MemoryNeed / reconstruction / projection;
LIMEN:identity resolution / authorization;
Crystallized Semantic Graph:semantic crystal / memory breathing / source-on-demand;
UNPNP:hyperlink / path compilation;
MRMIC / NVCL:workspace / resource projection。
本文新增的核心抽象為:
W R M = ( M R , H R , G R , A R , P R ) \boxed{
\mathcal W_R^M
=
(
\mathcal M_R,
\mathcal H_R,
\mathcal G_R,
\mathcal A_R,
\mathcal P_R
)
} W R M = ( M R , H R , G R , A R , P R )
以及:
C i = Γ ( Π i ( W R M , N i , B i ) ) . \boxed{
C_i
=
\Gamma
\left(
\Pi_i
\left(
\mathcal W_R^M,
N_i,
B_i
\right)
\right).
} C i = Γ ( Π i ( W R M , N i , B i ) ) .
作為後續 Named-AI Cognitive Runtime 的 shared-memory / local-context 基礎。