觀察—邊界—差異—連通—負狀態—恆在統一框架：觀察者索引本體論的研究綱領

英文題名： A Unified Framework of Observation, Boundary, Difference, Connectivity, Negative States, and Perpetual Being: A Research Program for Observer-Indexed Ontology
系列： 《觀察態、邊界與相對連通本體論》10
作者： Neo.K
AI 協作： GPT-5.6 Sol
機構： EveMissLab／一言諾科技有限公司
文件性質： 統合論文／研究綱領／形式依賴與工程接口總篇
版本： v0.1
日期： 2026-08-26
狀態： Series Integration / Research Program
正典上游： EveMissLab Ontology Canon v0.1（2026-08-15）
前置系列： 《觀察態、邊界與相對連通本體論》01–09

摘要

本系列從「世界中的事物究竟相連還是不相連」開始，最終得到的並不是「萬物皆連通」，也不是「萬物皆存在」，而是一套 observer-indexed、typed、witness-bearing、scope-preserving 的本體論與元認識論研究方法。

其理論依賴主幹可寫成：

\boxed{ \Phi \rightsquigarrow (\Omega,\Lambda,M) \rightsquigarrow \Pi_{\Theta} \rightsquigarrow \mathcal O_{\Theta} \rightsquigarrow \mathfrak N \rightsquigarrow \mathcal R_B \rightsquigarrow \mathfrak B \rightsquigarrow \mathfrak R \rightsquigarrow \mathcal Z_{\mathrm{cmp}} \rightsquigarrow \mathcal O^{(1)} \rightsquigarrow \mathcal O^{(2)} \rightsquigarrow \cdots }

其中 $\Phi$ 是前形式指向； $(\Omega,\Lambda,M)$ 是載域、潛在結構與顯現； $\Pi_{\Theta}$ 是觀察者索引投影； $\mathcal O_{\Theta}$ 是觀察與判定； $\mathfrak N$ 是負狀態族； $\mathcal R_B$ 是指稱邊界； $\mathfrak B$ 是狀態承載邊界族； $\mathfrak R$ 是關係型別族； $\mathcal Z_{\mathrm{cmp}}$ 是共享比較域； $\mathcal O^{(n)}$ 是遞歸元觀察。

這不是宇宙生成順序，而是理論依賴圖。

本系列形成六個核心分離：

\boxed{ \text{Observation} \neq \text{Ontological Substrate} }

\boxed{ \text{Boundary} \neq \text{Disconnection} }

\boxed{ \text{Difference} \neq \text{Isolation} }

\boxed{ \text{Connectivity} \neq \text{Identity} }

\boxed{ \text{Negative State} \neq \text{Absolute Nothingness} }

\boxed{ \text{Unobservability} \neq \text{Non-Being} }

並以：

\boxed{ \text{claim strength} \leq \text{evidence strength} }

作為總方法論約束。

對任何局部負判定：

N_{i,\Theta}(x),

不得在沒有完備性證書與全域 negative witness 時升格為：

\mathrm{AbsoluteNonBeing}(x).

對任何局部不連通：

C_{\Theta,R}(x,y)=0,

也不得直接升格為：

\forall\Theta',R': C_{\Theta',R'}(x,y)=0.

本文將這個共同結構稱為「局部—絕對提升門」：

\boxed{ \mathcal G_{\mathrm{LA}}. }

只有當：

\mathrm{CompCert}=1

且存在適用的 global witness 時，才允許 local judgement 升格為 absolute judgement。

關鍵詞： observer-indexed ontology、typed connectivity、negative states、boundary ontology、meta-observation、weak perpetual-being principle、completeness certificate、proof scope、AI epistemic runtime

1. 統合不等於塌縮

本文沿用正典規則：

\boxed{ \text{Similarity} \not\Rightarrow \text{Identity} }

以及：

\boxed{ \text{Unification} \neq \text{Premature Collapse}. }

因此：

\mathcal O, \mathcal B, D, C, N, \Omega

不被宣告為同一 primitive。

統一框架只提供：

\boxed{ \text{typed dependency} + \text{typed interaction} + \text{typed transformation}. }

2. 三種「底」

Series 02 建立：

\boxed{ B_{\mathrm{ont}} \neq B_{\mathrm{epi}} \neq B_{\mathrm{ref}}. }

其中：

$B_{\mathrm{ont}}$ ：存在論底；
$B_{\mathrm{epi}}$ ：最低完整認識門檻；
$B_{\mathrm{ref}}$ ：反身可定址門檻。

所以「觀察不是存在的底」與「觀察可能是可理解的底」可以同時成立。

3. 觀察條件

正式 judgement 應攜帶：

\boxed{ \Theta = \langle o,s,r,t,\mathcal A,\mathcal P,\Gamma,\mathcal K,\omega \rangle. }

其中：

$o$ ：observer；
$s$ ：scale；
$r$ ：resolution；
$t$ ：time；
$\mathcal A$ ：available operators；
$\mathcal P$ ：representation regime；
$\Gamma$ ：permission / governance；
$\mathcal K$ ：knowledge / evidence regime；
$\omega$ ：open / closed-world assumption。

4. 觀察與反身可定址

最低完整觀察：

\boxed{ \mathcal O_{\min} = \mathcal A \circ \mathcal T \circ \mathcal C \circ \mathcal B \circ \mathcal D. }

反身可定址：

\boxed{ \mathcal I_{\min} = \mathcal R_{\mathrm{addr}} \circ \mathcal O_{\min}. }

若結果可 register、address、reread、compare、revise，系統跨過：

\boxed{ \mathrm{RAT} = \text{Reflexive Addressability Threshold}. }

5. 負狀態族

Series 03 建立：

\boxed{ \mathfrak N = \{ N_{\mathrm{zero}}, N_{\mathrm{empty}}, N_{\mathrm{bottom}}, N_{\mathrm{null}}, N_{\mathrm{undef}}, N_{\mathrm{abs}}, N_{\mathrm{inactive}}, N_{\mathrm{inacc}}, N_{\mathrm{nonden}}, N_{\mathrm{unknown}}, N_{\mathrm{unrep}}, N_{\mathrm{undecided}} \}. }

因此：

0 \neq \varnothing \neq \bot \neq \mathrm{null} \neq \mathrm{undefined} \neq \mathrm{absent} \neq \mathrm{inactive} \neq \mathrm{inaccessible} \neq \mathrm{nondenoting} \neq \mathrm{unknown}.

普通負狀態也不等同：

N_{\mathrm{abs}} = \mathrm{AbsoluteNothingness}.

6. Negative-State Decompression

\boxed{ \mathrm{NSD} : \bot \to N_i. }

其目的是把 coarse failure 解壓成可行動、可診斷、可推理的 typed state。

7. 符號、指稱、存在

Series 04 建立：

\boxed{ \text{Symbol} \neq \text{Denotation} \neq \text{Ontological Existence}. }

因此：

\operatorname{SymbolExists}(s)=1

不推出：

\operatorname{ReferentExists}(s)=1.

8. 指稱邊界

\boxed{ \mathcal R_B = \text{Reference Boundary}. }

其中：

\mathcal R^+

是成功指稱域，

\mathcal R^0

是可表示但未成功指稱域，

\mathcal R^\emptyset

是尚未建立可操作表示地址之域。

因此：

\boxed{ \text{Reference Boundary} \neq \text{Ontological Boundary}. }

9. Absolute Distinction Paradox

若 Absolute Nothingness 的工作定義包含：

\neg Rep,

則：

\boxed{ Rep(N_{\mathrm{abs}}) \neq N_{\mathrm{abs}}. }

但：

\boxed{ Rep(N_{\mathrm{abs}}) \neq N_{\mathrm{abs}} \not\Rightarrow \neg Ont(N_{\mathrm{abs}}). }

所以這是 representation no-go，而不是 existence theorem。

10. 狀態承載邊界

Series 05 建立：

\boxed{ \mathcal B_{AB}^{q} = \left\langle \mathcal S_{\mathcal B}, T_{A\to\mathcal B}, T_{\mathcal B\to B}, \kappa_{A\mathcal B}, \kappa_{\mathcal B B}, F_{\mathcal B}, \Gamma_{\mathcal B} \right\rangle. }

因此：

\boxed{ \text{Boundary} \neq \text{Disconnection}. }

同時：

\boxed{ \mathrm{Boundary} \neq \mathrm{Barrier} \neq \mathrm{Medium} \neq \mathrm{Interface} \neq \mathrm{SharedDomain}. }

11. Shared Domain 不等於 Active Coupling

\boxed{ \mathrm{SharedDomain} \not\Rightarrow \mathrm{ActiveCoupling}. }

以及：

\boxed{ C_{\mathrm{constraint}}=1 \not\Rightarrow T_{A\to B}>0. }

共享共同邊界或共同約束，不等於直接 transport。

12. 型別化連通

Series 06 建立：

\boxed{ \mathcal C : (X\times X) \times \Theta \times \mathfrak R \to \mathcal J }

其中：

\boxed{ \mathcal J = \{1,0\} \cup \mathfrak N. }

因此：

\boxed{ \mathbf C_{\Theta}(x,y) = ( C_{\Theta,R_1}, \ldots, C_{\Theta,R_n} ). }

連通不是單一 bit。

13. 連通型態

至少區分：

\boxed{ \text{direct} \neq \text{path} \neq \text{mediated} \neq \text{shared} \neq \text{constraint} \neq \text{observational} \neq \text{representational}. }

因此：

\boxed{ C^{\mathrm{direct}}=0 \not\Rightarrow C^{\mathrm{weak}}=0. }

但：

\boxed{ C^{\mathrm{weak}}=1 \not\Rightarrow C_{\mathrm{causal}}=1. }

14. NoPathFound 不等於 NoPathExists

\boxed{ \mathrm{NoPathFound} \neq \mathrm{NoPathExists}. }

真正的：

C_{\Theta,R}=0

需要：

W^-_{\Theta,R}.

15. 差異不等於斷裂

Series 07 建立：

\boxed{ D_{\Theta}(x,y)>0 \not\Rightarrow C_{\Theta,R}(x,y)=0. }

差異甚至可以是 flow、tension、exchange 的 source condition。

16. 共享比較域

有效差異判定至少需要：

\boxed{ \mathcal Z_{\mathrm{cmp}}(x,y). }

但：

\boxed{ \mathcal Z_{\mathrm{cmp}} \neq \mathcal D_{\mathrm{share}} \neq \mathrm{ActiveCoupling}. }

能比較不等於共享狀態，也不等於物理連通。

17. 差異—身份—連通三軸

\boxed{ \mathbf R_{\Theta}(x,y) = \left( D_{\Theta}, I_{\Theta}, C_{\Theta,R} \right). }

因此：

\boxed{ \text{Individuality} \neq \text{Isolation}. }

以及：

\boxed{ \text{Connection} \neq \text{Identity Collapse}. }

18. 相對不可觀察性

Series 08 建立：

\boxed{ U(x;o,\Theta). }

並要求：

\boxed{ U(x;o,\Theta) \not\Rightarrow \neg\mathrm{Exists}(x). }

同時：

\boxed{ U(x;o,\Theta) \not\Rightarrow \mathrm{LatentExists}(x). }

不可觀察本身不決定本體方向。

19. 遞歸元觀察

\boxed{ \mathcal O^{(0)}, \mathcal O^{(1)}, \mathcal O^{(2)}, \ldots }

其中：

\boxed{ \mathcal O^{(n+1)} : \operatorname{State}(\mathcal O^{(n)}) \to M_{n+1}. }

核心限制：

\boxed{ \operatorname{Observe} ( \operatorname{FailureToObserve}(x) ) \not\Rightarrow \operatorname{Observe}(x). }

20. 高階不等於更真

\boxed{ n+1 \not\Rightarrow \text{more true}. }

高階只表示 target type 提升到前一階 observation state、policy 或 self-model。

21. Weak Perpetual-Being Principle

Series 09 建立：

\boxed{ \mathrm{WPB} : N_{i,\Theta}(x) \not\vdash \mathrm{ANB}(x) }

除非存在 global bridge proof。

其中：

\mathrm{ANB}(x) = \mathrm{AbsoluteNonBeing}(x).

22. 四級恆在命題

\boxed{ H_0<H_1<H_2<H_3. }

其中：

H_0: N_i\neq N_{\mathrm{abs}},

H_1: N_{i,\Theta}(x) \not\Rightarrow \mathrm{ANB}(x),

H_2: \mathrm{ManifestAbsent}_{\Theta}(x) \not\Rightarrow \mathrm{CarrierAbsent}(x),

H_3: \exists\Omega_\ast.

最強：

\boxed{ H_3 = \mathrm{OPEN}. }

23. No Proof of Non-Being 不等於 Proof of Being

\boxed{ \neg(E\vdash\neg\mathrm{Exists}(x)) \not\Rightarrow E\vdash\mathrm{Exists}(x). }

因此弱恆在不是「不能否定就算存在」。

24. 共同模式：Local 不得無證明升格 Absolute

前九篇反覆出現：

\boxed{ \text{local negative} \not\Rightarrow \text{absolute negative}. }

例如：

\mathrm{NoPathFound} \not\Rightarrow \mathrm{AbsoluteDisconnection},

U(x;o,\Theta) \not\Rightarrow \mathrm{AbsoluteUnobservability}(x),

N_{i,\Theta}(x) \not\Rightarrow \mathrm{ANB}(x).

25. 局部—絕對提升門

本文定義：

\boxed{ \mathcal G_{\mathrm{LA}} }

為 local judgement 升格 absolute judgement 的 gate。

26. Completeness Certificate

\boxed{ \mathrm{CompCert}(\Theta,P) }

表示 $\Theta$ 對命題 $P$ 的 relevant scope 已被證明完整。

若：

\mathrm{CompCert}\neq1,

則：

\mathcal G_{\mathrm{LA}}

不得通過。

27. Global Witness

除了 completeness，還需要：

\boxed{ W_{\mathrm{global}}. }

因此：

\boxed{ J_{\Theta}(P) + \mathrm{CompCert}(\Theta,P) + W_{\mathrm{global}}(P) \Rightarrow J_{\mathrm{absolute}}(P). }

28. Claim Strength 與 Evidence Strength

定義：

S_E

為 evidence strength，

S_C

為 claim strength。

統一規則：

\boxed{ S_C \leq S_E. }

若：

S_C>S_E,

即：

\boxed{ \mathrm{Overclaim}. }

29. 統一 Witness

正式 judgement 可保存：

\boxed{ W = \langle claim, type, scope, observer, evidence, provenance, strength, completeness \rangle. }

正判定需要：

W^+.

負判定需要：

W^-.

若兩者都不足，保留：

N_{\mathrm{unknown}}.

30. 統一 Runtime Object

建議核心 assessment：

OntologicalAssessment {
  subject
  predicate
  relation_type
  observer
  scale
  resolution
  time
  operator_set
  representation
  permission_regime
  world_assumption
  judgement_state
  negative_type
  positive_witness
  negative_witness
  evidence_strength
  claim_strength
  completeness_certificate
  provenance
}

31. Boundary Object

BoundaryState {
  boundary_id
  boundary_type
  participants
  state_domain
  relation_type
  direction
  permeability
  transform
  coupling
  policy
  history
  provenance
}

32. Connectivity Object

ConnectivityState {
  source
  target
  relation_type
  connectivity_kind
  observer
  scale
  resolution
  time
  world_assumption
  state
  positive_witness
  negative_witness
  loss
  confidence
  provenance
}

33. Observation / Meta-Observation Object

ObservationState {
  observer
  target
  status
  negative_type
  scale
  resolution
  time
  boundary_state
  operator_set
  representation
  evidence
  provenance
}

MetaObservationState {
  target_observation_id
  meta_level
  failure_type
  diagnosis
  confidence
  repair_action
  cost
  stop_condition
  provenance
}

34. 最小 Runtime Pipeline

\boxed{ \text{Input} \to \text{Observe} \to \text{Type} \to \text{Judge} \to \text{Witness} \to \text{ScopeCheck} \to \text{ClaimGate} \to \text{Store}. }

若發生 failure / uncertainty：

\boxed{ \text{Observe} \to \text{Meta-Observe} \to \text{Repair} \to \text{Re-Observe}. }

35. 最小 MVP

第一版只需五個模組：

Observation Registry
Negative-State Classifier
Boundary / Connectivity Registry
Witness & Provenance Store
Claim Upgrade Gate

核心目標不是 AGI，而是阻止跨層誤判。

36. 最小 MVP 測試

至少測：

$0$ vs null；
$\varnothing$ vs undefined；
missing vs inaccessible；
no-path-found vs proven-disconnected；
direct vs mediated connectivity；
shared boundary without direct transport；
unobservable vs nonexistent；
symbol exists vs referent exists；
local absence vs global non-being；
claim strength vs evidence strength。

37. 統一最小公理集

UO-A1 — Typed Judgement

\boxed{ J \Rightarrow J_{\Theta,\tau}. }

UO-A2 — Negative-State Typing

\boxed{ N_i\neq N_j \quad (i\neq j). }

UO-A3 — Boundary/Disconnection Separation

\boxed{ \mathrm{Boundary} \not\Rightarrow \mathrm{Disconnection}. }

UO-A4 — Difference/Disconnection Separation

\boxed{ D>0 \not\Rightarrow C=0. }

UO-A5 — Shared/Coupling Separation

\boxed{ \mathrm{SharedDomain} \not\Rightarrow \mathrm{ActiveCoupling}. }

UO-A6 — Meta/Object Separation

\boxed{ \mathrm{MetaObservation} \not\Rightarrow \mathrm{ObjectObservation}. }

UO-A7 — Representation/Ontology Separation

\boxed{ Rep(x)=1 \not\Rightarrow Ont(x)=1. }

UO-A8 — Locality of Negative Judgement

\boxed{ J_{\Theta}^{-} \not\Rightarrow J_{\mathrm{absolute}}^{-}. }

UO-A9 — Witness Requirement

\boxed{ J\in\{0,1\} \Rightarrow \exists W. }

UO-A10 — Claim/Evidence Discipline

\boxed{ S_C\leq S_E. }

38. 統一 No-Go 集

\boxed{ \mathrm{NoEvidence} \not\Rightarrow \mathrm{NonBeing}. }

\boxed{ \mathrm{NoPathFound} \not\Rightarrow \mathrm{NoPathExists}. }

\boxed{ \mathrm{Unobservable} \not\Rightarrow \mathrm{Nonexistent}. }

\boxed{ \mathrm{Represented} \not\Rightarrow \mathrm{OntologicallyExists}. }

\boxed{ \mathrm{SharedBoundary} \not\Rightarrow \mathrm{DirectTransport}. }

\boxed{ \mathrm{WeakConnectivity} \not\Rightarrow \mathrm{CausalConnectivity}. }

\boxed{ D>0 \not\Rightarrow \mathrm{Isolation}. }

\boxed{ C=1 \not\Rightarrow \mathrm{IdentityCollapse}. }

\boxed{ \neg\mathrm{ProofOfNonBeing} \not\Rightarrow \mathrm{ProofOfBeing}. }

39. OPEN 問題

本系列明確保留：

\boxed{ H_3: \exists\Omega_\ast. }

即 universal perpetual carrier 是否真實成立。

未來需要研究：

local carrier gluing；
universal carrier invariants；
annihilation criteria；
cross-observer carrier consistency；
empirical discriminators；
model adequacy；
ontological bridge。

不能再以「空集不是虛無」取代這些證明。

40. 後續數學研究

可建立：

R_i\circ R_j\Rightarrow R_k

的 Relation Composition Algebra；

建立：

\mathcal G_{\mathcal B}: (D,C)\to(D',C')

的 Boundary Dynamics；

建立：

\mathrm{CompCert}

的 Completeness Certificate Calculus；

建立：

\{\Omega_i\}\to\Omega_\ast

的 Carrier Gluing Theory。

41. 後續 AI 研究

本系列可以直接支持：

autonomous error diagnosis；
epistemic self-model；
observer upgrade planning；
multi-relation world models；
negative evidence calibration；
claim-strength control；
reference-boundary hallucination detection；
boundary-aware multi-agent communication。

42. 正式文件不應再裸用的詞

正式論文中，下列詞應盡量帶 type / scope：

connected；
disconnected；
empty；
nothing；
nonexistent；
unobservable；
same；
different；
unknown。

例如「不連通」應寫：

C_{\Theta,R}(x,y)=0

並附：

W^-_{\Theta,R}.

「看不到」應寫：

U_{\tau}(x;o,\Theta)=1.

「不同」應寫：

D_{\Theta,F}(x,y)>0.

43. 系列核心不變量

後續任何延伸都應保留：

Type before unification
Scope before absoluteness
Witness before certainty
Observer before observation claim
Boundary before connectivity simplification
Negative-state typing before non-being
Meta/object separation
Representation/ontology separation
Claim/evidence strength discipline
OPEN remains OPEN until bridge proof exists

44. 系列最終 Signature

整套研究框架可壓縮為：

\boxed{ \mathfrak F_{\mathrm{OBRC}} = \left\langle \Phi, \Omega, \Lambda, M, \Theta, \mathcal O, \mathfrak N, \mathcal R_B, \mathfrak B, \mathfrak R, \mathcal Z_{\mathrm{cmp}}, \mathcal O^{(\ast)}, \mathcal G_{\mathrm{LA}}, W, \mathrm{CompCert} \right\rangle. }

其中：

\mathcal O^{(\ast)} = \{ \mathcal O^{(0)}, \mathcal O^{(1)}, \ldots \}.

這是一個 typed research architecture，而不是單一 ontology primitive。

45. 最終結論

本系列最終得到的不是：

\boxed{ \text{Everything is connected}. }

也不是：

\boxed{ \text{Everything exists}. }

而是以下十條：

\boxed{ \text{Boundary} \neq \text{Disconnection}. }

\boxed{ \text{Difference} \neq \text{Isolation}. }

\boxed{ \text{Connectivity} \neq \text{Boolean-only property}. }

\boxed{ \text{“Nothing”} \neq \text{one type}. }

\boxed{ \text{Unobservability} \neq \text{Non-Being}. }

\boxed{ \text{Meta-observing failure} \neq \text{observing the hidden object}. }

\boxed{ \text{Representation of nothingness} \neq \text{Absolute Nothingness itself}. }

\boxed{ \text{No proof of non-being} \neq \text{proof of being}. }

\boxed{ \text{Local negative evidence} \not\Rightarrow \text{absolute ontological negation}. }

以及最終方法論不變量：

\boxed{ \text{claim strength} \leq \text{evidence strength}. }

因此，觀察者索引本體論的核心不是把世界變成 observer 的投影，也不是把 observer 從世界中刪除。

它要求每一個「有／無、同／異、連／斷、可見／不可見」判定，都保留自己的：

\boxed{ \text{type} + \text{scope} + \text{observer} + \text{witness} + \text{provenance}. }

只有在這些條件被保留時，局部判定才不會被誤讀成宇宙絕對結論。

最初那個直覺因此可以被精確改寫為：

人類以為沒有連著的，可能只是在某個 relation type、尺度與 observer 下沒有合法路徑；以為連著的，也可能只是共享同一邊界、比較域、表示域或共同約束。真正的連通／不連通必須型別化；真正的存在／不存在必須保留證明作用域；而真正的「無」不能再被一個詞一次吞掉。

這就是《觀察態、邊界與相對連通本體論》01–10 的統一研究綱領。

附錄：Series 01–10

Series 01 — 觀察態與相對連通
Series 02 — 觀察不是存在的底，卻可能是可理解的底
Series 03 — 「無」的分類學
Series 04 — 可觀察的無已不是絕對無
Series 05 — 邊界不是斷裂
Series 06 — 連通不是布林值
Series 07 — 差異不等於斷裂
Series 08 — 不可觀察不等於不存在
Series 09 — 恆在本體論的弱化重建
Series 10 — 統一框架與研究綱領

OPEN：

\boxed{ H_3: \exists\Omega_\ast. }

即 universal perpetual carrier 的真正本體論證明。