局部正確與全域失敗 v0.1

——投影閉合、跨邊界錯位與宏觀完成缺口

English Title: Local Correctness, Global Failure: Projection Closure and Cross-Boundary Misalignment
系列：《綠燈錯置：AI 操作意圖不對齊與完成失真》03 / 08
作者： Neo.K × AI 協作
版本： v0.1
日期： 2026-09

機構： EveMissLab／一言諾科技有限公司

摘要

一個大型軟體、遊戲或 Agent 系統通常同時存在多個工程視角：前端、後端、資料、基礎設施、安全、UX、程式、美術、企劃、玩家等。每一視角都能建立自己的有效檢查與局部 closure。然而，即使所有局部角色各自宣稱「正確」，整體產品仍可能失敗。

本文將此現象形式化為投影閉合不推出宏觀閉合（Projection Closure Does Not Imply Macro Closure）。對宏觀對象 $X$ ，令不同角色／工具／模態形成觀察投影 $O_i(X)$ 。則：

\forall i, \quad V_i(O_i(X))=1

一般不能推出：

V_G(X,I)=1.

真正的產品完成除了局部 closure，還需要 cross-boundary closure、cross-perspective consistency 與 intent closure。

1. 同一個產品，其實被多個局部世界描述

遊戲開發中，程式、企劃與美術並不是三份彼此獨立的產品，而是同一宏觀遊戲的不同工作投影。

程式可能關注：

P_{code} = State+Logic+Architecture+Performance.

企劃關注：

P_{design} = Rules+Experience+Balance+Progression.

美術關注：

P_{art} = Form+Readability+Animation+Style.

每個投影都真實，但沒有一個投影等於完整遊戲：

\boxed{ O_i(X) \neq X }

2. 局部綠燈可以同時成立

例如：

Backend API tests: PASS
Frontend component tests: PASS
Schema validation: PASS
Deployment: PASS

仍可能：

User clicks checkout
→ spinner never ends

原因不是上述測試一定錯，而是它們驗證不同子空間。

形式上：

C_F=1, \qquad C_B=1,

不推出：

C_{F\leftrightarrow B}=1.

更不推出：

C_{product}=1.

3. 跨邊界失敗

本文將跨邊界 closure 定義為：若兩個局部投影 $O_i,O_j$ 透過 interface、state、timing、authority 或 semantic contract 交互，則必須驗證：

V_{ij} ( O_i(X), O_j(X) )=1.

常見跨邊界錯位包括：

schema 合法但語義不同；
API 成功但 UI latency perception 失敗；
game mechanic 正確但 animation timing 破壞可讀性；
security rule 正確但 product flow 無法完成；
backend state 正確但 cache / client state stale；
model output 正確但 downstream tool interpret 錯誤。

這些都不是單一 component failure，而是 relation failure。

4. Relation 本身是產品的一部分

若產品由元件集合：

V=\{v_1,\dots,v_n\}

與關係：

E=\{e_{ij}\}

構成，則產品不應只表示為：

X=V.

而應至少表示為：

\boxed{ X=(V,E,S_t) }

其中 $S_t$ 是運行狀態。

因此只驗證所有 vertex：

\forall v_i, V(v_i)=1

仍不能證明 edge 全部成立。

5. 全端不等於全域

Full-stack engineer 或 full-stack Agent 可以降低 front/back translation cost，但：

\boxed{ \text{FullStack} \neq \text{GlobalStack} }

因為「知道多個 layer」不等於：

擁有所有必要觀察算子；
對不同 role 保持獨立判定；
能看見 runtime、user、security、infra、data 等所有有效關係；
能在需要時主動切換視角。

甚至同一個 full-stack observer 可能把前後端都放進同一套先驗，減少摩擦的同時也減少異質反證。

6. Productive Friction

跨職能摩擦通常被當作 coordination cost，但它同時具有驗證價值。

定義：

F_h = \text{Heterogeneous Role Friction}.

可拆為：

F_h = C_{coordination} + V_{cross\text{-}projection}.

其中第一項是成本，第二項卻可能是錯誤檢測能力。

所以目標不是：

F_h\rightarrow0.

而是：

\boxed{ \text{RedundantFriction}\downarrow, \qquad \text{EpistemicallyProductiveFriction}\uparrow. }

7. Global Completion 的四層

本文提出：

C_G = C_L \land C_B \land C_P \land C_I.

其中：

$C_L$ ：Local Closure；
$C_B$ ：Boundary Closure；
$C_P$ ：Cross-Perspective Closure；
$C_I$ ：Intent Closure。

因此：

\boxed{ \text{LocalCorrectness} \not\Rightarrow \text{GlobalCompletion} }

只是第一層。

8. 與 Global-First Completion 的關係

Global-First 的真正價值不是「一次寫很多 code」，而是先讓宏觀 product graph 存在，使：

主要節點出現；
主要 edge 可被觀察；
boundary 可以被驗證；
integration failure 提前顯現。

因此：

\text{Global Coverage Precedes Local Perfection}

同時意味：

\boxed{ \text{Cross-Boundary Observability Precedes Local Over-Optimization} }

9. 核心命題

\boxed{ \textbf{P1: A macro-object is not reducible to any single professional projection.} }

\boxed{ \textbf{P2: All local validators can pass while cross-boundary behavior fails.} }

\boxed{ \textbf{P3: Relations and runtime state are first-class parts of completion.} }

\boxed{ \textbf{P4: Heterogeneous friction can function as an error detector.} }

\boxed{ \textbf{P5: Global completion requires local, boundary, perspective, and intent closure.} }

10. 結論

真正的全域失敗往往不是每一塊都做錯，而是：

每一塊都以自己的方式做對了，卻沒有人驗證它們合起來是不是同一個產品。

這將把問題自然推到下一篇：如果工作流程本身持續讓 Agent 在同一個局部投影中 planning、review、verify，那麼「流程做得很完整」本身也可能成為新的錯位來源。