審查結論：保留方向，先補契約

呢份設計審查嘅結論係：唔建議照原案直接採納，但亦毋須推倒重來。 單向借槽、按正文原子扣減成本，以及完整訊息試裝，方向都合理；現階段要先補齊三個關鍵位：公共引用結構、實際傳送邊界，以及穩定核心嘅形成和重用條件。方案應繼續維持 PROPOSED，未算正式通過。

今次屬只讀設計審查及決策備忘，唔涉及改檔、實施或執行驗證；審視對象亦係所提供嘅設計內容，唔係服務源碼逐行審計。因此，呢個結論唔代表已解除場景 A 嘅阻塞，亦唔代表服務已修好。

單向借槽：算式冇錯，邊界要講清楚

按設計設定，必需骨架超出 16 個之後，每多一個就借用一個上下文槽位；上下文容量相應減少，異常管道維持 4 個，總容量上限仍係 32。單睇算式，冇發現容量計算錯誤。

要補嘅係調度規則：

• 必需項目幾時定案？必需上下文要包括條件、呼叫位置及資源清理等必要關聯，唔可以只預留表面上列出嘅候選項目。
• 如果父類方法替換等情況改變正文所有權，就要重新計算整個試裝集合嘅正文成本，唔可以沿用舊嘅扣減紀錄。
• 槽位歸屬、角色覆蓋同正文所有權係三回事。同一段正文只應扣一次成本，但唔可以靠改標籤攞到借槽資格。
• 加入可選內容時，必須保留所有必需項目嘅預留；唔可以先塞滿可選項目，之後先發現必需組合放唔落。

例如，17 個必需骨架、12 個必需上下文，加上 0 個異常項目，一共 29 塊；按呢套政策仍然會被拒絕，因為上下文冇可借槽。呢個係「唔借異常槽」嘅政策代價，唔等於算式出錯。

決策訊息亦要分清三種情況：政策本身唔容許借槽、搜尋未完成，以及已證明容量不足。唔應將三者一律寫成「冇可行解」。替代證據組合嘅搜尋亦要有固定排序同狀態數上限；時間超時應只令結果受阻，唔應決定最後揀出邊個完整核心。

V2 Schema：引用要有目標，整體狀態要算得出

目前最明確嘅阻塞係 V2 Schema 未形成閉合嘅公共契約。設計中出現咗幾類引用，但未交代佢哋各自指向邊個資料表：來源同關係會引用條件索引，但穩定核心冇條件表；關係會引用單元身份，但知識包冇清楚嘅單元登記表；來源會引用正文所有者，但所有者登記同讀取完整性紀錄亦未定義。

另外，逐項義務狀態唔等於知識包整體狀態。資料包仲要清楚表示所屬場景，以及整體係完整、部分完成、受阻定失敗。角色證明若同時放喺候選項目同穩定核心，就會有兩份資料各自變動、互相唔一致嘅風險。

最小修正包括：

1. 補齊單元表、正文所有者表、條件表，以及場景和整體狀態欄位。
2. 角色證明只保留一份權威資料，再用引用連接相關單元，避免複製兩份可各自改動嘅證明。
3. 逐一訂明引用目標類型、索引範圍、身份唯一性同閉包規則。
4. 清楚界定唔同證據等級點樣先算符合要求；單靠列出等級名稱，未能證明邊級強過邊級。
5. 整體完整狀態要由必需義務、來源及傳送條件計算出嚟，唔應交由模型自由填寫。

呢度講嘅正文所有者表，唔係要求回傳整份源碼，而係要交代實際讀取過邊個語法單元、範圍、身份，以及內容完整性。語法路徑可以協助定位，但唔係永久穩定身份；源碼改動後要重新認證。主保護區塊支援邊類語法形式，亦要列明，唔好將所有相似條件都當成合法入口。

有研究探討以 AST 結構圖支援程式碼檢索，亦有工作介紹以 Tree-sitter 建立程式碼知識圖譜；呢啲資料可作技術背景，但唔足以證明本設計已完備，亦唔能夠單獨證明其效能或快取收益。14

傳送邊界：試裝字節要等於真正寫出嘅字節

設計提出嘅核心原則係：試裝通過嘅字節串，就係實際傳送嘅字節串。呢個原則可以建立嚴格嘅長度不變式，但目前只見到編碼示例，未證明計量發生喺真正協定寫出邊界。

如果服務適配層或 SDK 之後再序列化，之前量度嘅就唔係最終訊息。設計需要綁定實際協商嘅 MCP 協定版本、封裝欄位、編碼選項、換行方式、唯一寫出者、最大中繼資料，以及最終實際寫出嘅字節。MCP 規格要求訊息遵循 JSON-RPC 2.0；2026-07-28 版本嘅結果回應定義包括 resultType 欄位，所以協定版本差異需要納入編碼契約。10 喺 stdio 傳輸下，伺服器會喺標準輸出寫出 JSON-RPC 訊息，並以換行分隔；因此應喺實際訊息寫出邊界計量，而唔係只量度業務物件。11

設計所列嘅 22,016 字節上限，亦有兩個限制要講明：模型生成之前，通常未能精確預知最終必要事實嘅文字成本；預先試裝只證明當時嗰份最小表示放得落，唔保證生成完成後仍然放得落。另外，長度合規唔代表寫入成功、宿主已讀取，或者完整往返流程已達標。

因此，模型輸出後仍要做引用閉包檢查同最終試裝。若最小必要資料都放唔落，就應回傳已計量嘅業務阻塞狀態；唔可以刪走必需事實之後仍標示為完整。亦唔應將業務預算不足，一概錯誤歸類成參數錯誤。

多重角色：一段正文可共用，證據義務唔能夠跳級

同一段正文可以涵蓋多個角色，但成本只扣一次，呢個安排合理。不過，角色分類唔代表相關義務已全部達標：一個構造器可能同時出現裝配、連線同調度等結構訊號，但是否有證據支持持久化目標、資源所有權或實際編排關係，仍要逐項判斷。

拓撲方向亦要定義清楚。如果邊代表「呼叫者指向被呼叫者」，一般拓撲順序會先列呼叫者；如果展示上要求依賴項先於使用者，就要用相反嘅展示方向。兩種順序唔應混稱為生命週期順序。

未知呼叫應留喺未知關係表，唔好塞入確定鄰接表。咁做得到嘅係「已證明靜態關係」嘅偏序，唔係完整嘅真實依賴偏序；如果關鍵動態關係未知，相關義務就仍未算滿足。亦唔可以單靠角色標籤、強連通分量（SCC）或拓撲位置，推斷執行時事實。

穩定前綴：承諾應限於已封存核心

穩定前綴唔應同供應商快取命中混為一談。至少要分開追蹤四種身份：輸入快照、知識核心內容摘要、實際前綴字節摘要，以及下游實際觀察到嘅快取結果。將四者都叫做「快取鍵」，會掩蓋佢哋各自代表嘅嘢。

令核心每次都唔同嘅因素，唔止時間戳，仲包括模型措辭、選擇器停止時機、動態訊息預算，以及任務增量插入後引用編號改變。較穩妥嘅做法係固定核心選擇政策同預算，完成形成、認證及封存之後先重用；唔好承諾同一輸入重新呼叫模型，就一定生成同一核心。完整訊息放唔落時，應先削減可選觀測；仍然唔夠就回報受阻，而唔係改動已封存嘅核心。核心同任務增量亦應分開引用空間，避免場景 B 改寫項目核心索引。

模型措辭唔應被機械式「正規化」成貌似相同嘅事實，以免抹走否定、條件或適用邊界。可承諾嘅範圍應收窄至：同一個已封存核心喺同一渲染版本下，產生相同前綴字節。 遠端服務有冇命中快取，係另一項需要觀察嘅結果，無法由呢個承諾保證。現有資料亦未能確認供應商目前嘅快取細則，屬證據不足。

決策：採用最小修正版，唔擴建新平台

選項	評估
原案照收	流程改動最少，但 Schema 未閉合，傳送邊界同核心形成條件未綁定，不建議。
分層最小修正版	保留借槽、正文原子扣減及精確試裝，補齊必要契約；建議採用，但仍維持 PROPOSED。
全局最優求解、持久化快取或供應商管理平台	功能範圍更大，但會增加搜尋、依賴、權限及生命週期複雜度；目前未見有必要擴大範圍嘅證據，宜押後。

獲准實施前，建議依次通過契約閉合、調度及來源驗證、實際寫出字節與試裝字節一致性檢查，以及兼容性驗證。其後，場景 A 仲要獨立驗收：通用規則要實際選中證據、13 個凍結錨點嘅正文及語義要求要成立，並符合完整訊息同時間門檻。前綴確定性亦要另外驗收；供應商快取收益、真實宿主、獨立三輪測試及第二個項目，都要按實際授權另行取證，唔可以互相代替。

總結：五個優化方向可以保留，但公共引用閉包、真實傳送邊界，以及已封存核心嘅形成與重用條件，仍要先補齊。今次只完成只讀審查及決策建議，唔代表方案已轉正、服務已修復，或者運行門檻已通過。

審查結論：保留方向，先補契約

呢份設計審查嘅結論係：唔建議照原案直接採納，但亦毋須推倒重來。 單向借槽、按正文原子扣減成本，以及完整訊息試裝，方向都合理；現階段要先補齊三個關鍵位：公共引用結構、實際傳送邊界，以及穩定核心嘅形成和重用條件。方案應繼續維持 PROPOSED，未算正式通過。

今次屬只讀設計審查及決策備忘，唔涉及改檔、實施或執行驗證；審視對象亦係所提供嘅設計內容，唔係服務源碼逐行審計。因此，呢個結論唔代表已解除場景 A 嘅阻塞，亦唔代表服務已修好。

單向借槽：算式冇錯，邊界要講清楚

按設計設定，必需骨架超出 16 個之後，每多一個就借用一個上下文槽位；上下文容量相應減少，異常管道維持 4 個，總容量上限仍係 32。單睇算式，冇發現容量計算錯誤。

要補嘅係調度規則：

• 必需項目幾時定案？必需上下文要包括條件、呼叫位置及資源清理等必要關聯，唔可以只預留表面上列出嘅候選項目。
• 如果父類方法替換等情況改變正文所有權，就要重新計算整個試裝集合嘅正文成本，唔可以沿用舊嘅扣減紀錄。
• 槽位歸屬、角色覆蓋同正文所有權係三回事。同一段正文只應扣一次成本，但唔可以靠改標籤攞到借槽資格。
• 加入可選內容時，必須保留所有必需項目嘅預留；唔可以先塞滿可選項目，之後先發現必需組合放唔落。

例如，17 個必需骨架、12 個必需上下文，加上 0 個異常項目，一共 29 塊；按呢套政策仍然會被拒絕，因為上下文冇可借槽。呢個係「唔借異常槽」嘅政策代價，唔等於算式出錯。

決策訊息亦要分清三種情況：政策本身唔容許借槽、搜尋未完成，以及已證明容量不足。唔應將三者一律寫成「冇可行解」。替代證據組合嘅搜尋亦要有固定排序同狀態數上限；時間超時應只令結果受阻，唔應決定最後揀出邊個完整核心。

V2 Schema：引用要有目標，整體狀態要算得出

目前最明確嘅阻塞係 V2 Schema 未形成閉合嘅公共契約。設計中出現咗幾類引用，但未交代佢哋各自指向邊個資料表：來源同關係會引用條件索引，但穩定核心冇條件表；關係會引用單元身份，但知識包冇清楚嘅單元登記表；來源會引用正文所有者，但所有者登記同讀取完整性紀錄亦未定義。

另外，逐項義務狀態唔等於知識包整體狀態。資料包仲要清楚表示所屬場景，以及整體係完整、部分完成、受阻定失敗。角色證明若同時放喺候選項目同穩定核心，就會有兩份資料各自變動、互相唔一致嘅風險。

最小修正包括：

1. 補齊單元表、正文所有者表、條件表，以及場景和整體狀態欄位。
2. 角色證明只保留一份權威資料，再用引用連接相關單元，避免複製兩份可各自改動嘅證明。
3. 逐一訂明引用目標類型、索引範圍、身份唯一性同閉包規則。
4. 清楚界定唔同證據等級點樣先算符合要求；單靠列出等級名稱，未能證明邊級強過邊級。
5. 整體完整狀態要由必需義務、來源及傳送條件計算出嚟，唔應交由模型自由填寫。

呢度講嘅正文所有者表，唔係要求回傳整份源碼，而係要交代實際讀取過邊個語法單元、範圍、身份，以及內容完整性。語法路徑可以協助定位，但唔係永久穩定身份；源碼改動後要重新認證。主保護區塊支援邊類語法形式，亦要列明，唔好將所有相似條件都當成合法入口。

有研究探討以 AST 結構圖支援程式碼檢索，亦有工作介紹以 Tree-sitter 建立程式碼知識圖譜；呢啲資料可作技術背景，但唔足以證明本設計已完備，亦唔能夠單獨證明其效能或快取收益。14

傳送邊界：試裝字節要等於真正寫出嘅字節

設計提出嘅核心原則係：試裝通過嘅字節串，就係實際傳送嘅字節串。呢個原則可以建立嚴格嘅長度不變式，但目前只見到編碼示例，未證明計量發生喺真正協定寫出邊界。

如果服務適配層或 SDK 之後再序列化，之前量度嘅就唔係最終訊息。設計需要綁定實際協商嘅 MCP 協定版本、封裝欄位、編碼選項、換行方式、唯一寫出者、最大中繼資料，以及最終實際寫出嘅字節。MCP 規格要求訊息遵循 JSON-RPC 2.0；2026-07-28 版本嘅結果回應定義包括 resultType 欄位，所以協定版本差異需要納入編碼契約。10 喺 stdio 傳輸下，伺服器會喺標準輸出寫出 JSON-RPC 訊息，並以換行分隔；因此應喺實際訊息寫出邊界計量，而唔係只量度業務物件。11

設計所列嘅 22,016 字節上限，亦有兩個限制要講明：模型生成之前，通常未能精確預知最終必要事實嘅文字成本；預先試裝只證明當時嗰份最小表示放得落，唔保證生成完成後仍然放得落。另外，長度合規唔代表寫入成功、宿主已讀取，或者完整往返流程已達標。

因此，模型輸出後仍要做引用閉包檢查同最終試裝。若最小必要資料都放唔落，就應回傳已計量嘅業務阻塞狀態；唔可以刪走必需事實之後仍標示為完整。亦唔應將業務預算不足，一概錯誤歸類成參數錯誤。

多重角色：一段正文可共用，證據義務唔能夠跳級

同一段正文可以涵蓋多個角色，但成本只扣一次，呢個安排合理。不過，角色分類唔代表相關義務已全部達標：一個構造器可能同時出現裝配、連線同調度等結構訊號，但是否有證據支持持久化目標、資源所有權或實際編排關係，仍要逐項判斷。

拓撲方向亦要定義清楚。如果邊代表「呼叫者指向被呼叫者」，一般拓撲順序會先列呼叫者；如果展示上要求依賴項先於使用者，就要用相反嘅展示方向。兩種順序唔應混稱為生命週期順序。

未知呼叫應留喺未知關係表，唔好塞入確定鄰接表。咁做得到嘅係「已證明靜態關係」嘅偏序，唔係完整嘅真實依賴偏序；如果關鍵動態關係未知，相關義務就仍未算滿足。亦唔可以單靠角色標籤、強連通分量（SCC）或拓撲位置，推斷執行時事實。

穩定前綴：承諾應限於已封存核心

穩定前綴唔應同供應商快取命中混為一談。至少要分開追蹤四種身份：輸入快照、知識核心內容摘要、實際前綴字節摘要，以及下游實際觀察到嘅快取結果。將四者都叫做「快取鍵」，會掩蓋佢哋各自代表嘅嘢。

令核心每次都唔同嘅因素，唔止時間戳，仲包括模型措辭、選擇器停止時機、動態訊息預算，以及任務增量插入後引用編號改變。較穩妥嘅做法係固定核心選擇政策同預算，完成形成、認證及封存之後先重用；唔好承諾同一輸入重新呼叫模型，就一定生成同一核心。完整訊息放唔落時，應先削減可選觀測；仍然唔夠就回報受阻，而唔係改動已封存嘅核心。核心同任務增量亦應分開引用空間，避免場景 B 改寫項目核心索引。

模型措辭唔應被機械式「正規化」成貌似相同嘅事實，以免抹走否定、條件或適用邊界。可承諾嘅範圍應收窄至：同一個已封存核心喺同一渲染版本下，產生相同前綴字節。 遠端服務有冇命中快取，係另一項需要觀察嘅結果，無法由呢個承諾保證。現有資料亦未能確認供應商目前嘅快取細則，屬證據不足。

決策：採用最小修正版，唔擴建新平台

選項	評估
原案照收	流程改動最少，但 Schema 未閉合，傳送邊界同核心形成條件未綁定，不建議。
分層最小修正版	保留借槽、正文原子扣減及精確試裝，補齊必要契約；建議採用，但仍維持 PROPOSED。
全局最優求解、持久化快取或供應商管理平台	功能範圍更大，但會增加搜尋、依賴、權限及生命週期複雜度；目前未見有必要擴大範圍嘅證據，宜押後。

獲准實施前，建議依次通過契約閉合、調度及來源驗證、實際寫出字節與試裝字節一致性檢查，以及兼容性驗證。其後，場景 A 仲要獨立驗收：通用規則要實際選中證據、13 個凍結錨點嘅正文及語義要求要成立，並符合完整訊息同時間門檻。前綴確定性亦要另外驗收；供應商快取收益、真實宿主、獨立三輪測試及第二個項目，都要按實際授權另行取證，唔可以互相代替。

總結：五個優化方向可以保留，但公共引用閉包、真實傳送邊界，以及已封存核心嘅形成與重用條件，仍要先補齊。今次只完成只讀審查及決策建議，唔代表方案已轉正、服務已修復，或者運行門檻已通過。