NIOT-05 — 數值索引幾何：地址、重索引、局部鄰域與同一性保持

Numerical Index Geometry: Addressing, Reindexing, Local Neighborhoods, and Identity Preservation

系列： Numerical Information Object Theory（NIOT）／數值資訊物件論
篇次： Paper 05
作者： Neo.K
機構： EveMissLab／一言諾科技有限公司
版本： v0.1
日期： 2026-09-22
文件性質： 索引幾何／地址幾何／局部資訊空間論文
前置： NIOT-00、NIOT-01、NIOT-02、NIOT-03、NIOT-04
相關理論： 同一性微積分、主動索引微積分（AIC）、ISQL、UEFM、BCODR、CAIR
狀態： DRAFT / INDEX-GEOMETRY FOUNDATION / RUNTIME-READY
Canonical Source： UTF-8 Markdown
數學原始碼規範： inline math 僅使用 $...$ ，display math 僅使用 $$...$$

摘要

NIOT-01 建立數值資訊物件與同一性單元；NIOT-02 將資訊探針升格為可組合與可驗證的觀測算子；NIOT-03 建立無界展開有限矩陣，讓資訊維度在任何 epoch 中有限、但整體保持無界可擴展；NIOT-04 則進一步引入光譜分辨、多尺度與多探針耦合。至此，數值資訊物件已不再是一個標量，而是一個具有探針、矩陣、光譜與耦合場的動態局部世界。

然而，這仍然缺少一個關鍵層：這些資訊到底如何被定位、導航、切片、重索引與重新組織？

本文提出「數值索引幾何」（Numerical Index Geometry, NIG），把 probe index、spectral coordinate、matrix coordinate、ISQL semantic address、AIC active index 與 UEFM dynamic coordinate 統一到一個可操作的地址—索引空間中。

核心思想為：

\boxed{ \text{address} \neq \text{value} }

以及：

\boxed{ \text{reindexing} \neq \text{identity change}. }

對一個數值資訊物件 $\mathfrak N$ ，定義其索引空間：

\boxed{ \mathcal I(\mathfrak N) }

其中每個索引 $i\in\mathcal I(\mathfrak N)$ 對應某個可觀測、可操作、可追蹤的位置。這些位置可以是：

probe coordinate；
matrix coordinate；
spectral coordinate；
provenance node；
derivation node；
certificate location；
representation component；
bridge endpoint；
local neighborhood；
semantic anchor。

本文進一步定義地址圖、局部鄰域、索引路徑、索引距離、索引傳輸、重索引、索引纖維、地址重疊、局部 chart、atlas、gauge-like reparameterization、index holonomy 與 reindex invariants。數值索引幾何並不把資訊空間強行歐氏化，而允許不同數值資訊物件使用 graph、metric、topological、spectral 或 hybrid geometry。

本文特別承接同一性微積分與主動索引微積分的核心：

d_I(\mathfrak N) = \{ (\mathfrak N,i):i\in I \},

以及：

\widehat{\mathcal E}_{i\to j} : (\mathfrak N,i) \mapsto (\mathfrak N,j).

在 NIOT 中，這些操作獲得更一般的語義：index 不只是切片標籤，而是數值微觀世界中的可導航座標。只要操作屬於 identity-preserving reindexing，則：

\boxed{ \iota(\mathfrak N,i) = \iota(\mathfrak N,j) = \iota_{\mathfrak N}. }

因此，本文建立的不是「數值座標系」而已，而是一套保持 canonical identity 的資訊導航幾何。

關鍵詞： 數值索引幾何、地址空間、重索引、主動索引微積分、ISQL、索引纖維、局部鄰域、atlas、chart、holonomy、數值資訊物件

1. 問題：資訊已經存在，但如果不能定位，就不能成為可計算結構

NIOT 前四篇已經建立：

\mathfrak N,

\mathcal P,

M_t,

\mathcal S_{\mathfrak N},

以及：

C_{\mathfrak N}.

但這些符號仍缺少一個共同問題：

\boxed{ \text{where is a piece of information?} }

如果一個資訊狀態沒有地址：

無法被局部查詢；
無法被重索引；
無法被局部擴展；
無法被依賴追蹤；
無法被精確更新；
無法被 provenance 化；
無法被 agent 導航。

因此：

\boxed{ \text{distinguishable} \not\Rightarrow \text{addressable}. }

2. Address 與 Value 的分離

2.1 Value

value 是：

v\in V.

例如：

0.5.

2.2 Address

address 是：

a\in\mathcal A.

例如：

niot://object/123/probe/precision

或：

a=(i,j,\lambda,t).

2.3 Fundamental Separation

\boxed{ a \neq v. }

兩個不同地址可以有相同 value：

v(a_1)=v(a_2).

同一地址也可以跨 epoch 有不同 value：

v_t(a) \neq v_{t+1}(a).

3. Index Space

對數值資訊物件：

\mathfrak N,

定義：

\boxed{ \mathcal I(\mathfrak N) }

為其 index space。

每個：

i\in\mathcal I(\mathfrak N)

標識某個：

observable position；
semantic location；
dynamic coordinate；
structural role。

4. Index 不必是整數

傳統 array index：

i\in\mathbb N.

NIOT index 可以是：

tuple；
string path；
graph node；
semantic key；
spectral coordinate；
structured address；
symbolic coordinate。

因此：

\boxed{ \mathcal I \not\subseteq \mathbb N }

一般不成立。

5. Typed Index

定義：

\boxed{ i = (\tau_i,\alpha_i), }

其中：

$\tau_i$ ：index type；
$\alpha_i$ ：index payload。

例如：

\tau_i = \text{SPECTRAL},

\alpha_i = \lambda=3.2.

6. Index Classes

初版 index type 可分：

VALUE
REPRESENTATION
PROBE
MATRIX
SPECTRAL
PROVENANCE
HISTORY
RELATION
CERTIFICATE
BRIDGE
TASK
LOCAL_REGION

7. Indexed View

對任意：

i\in\mathcal I(\mathfrak N),

定義：

\boxed{ (\mathfrak N,i) }

為 indexed view。

它不是新的 canonical numerical object。

8. Identity Preservation

若：

i,j

只是同一數值物件的不同合法地址，則：

\boxed{ \iota(\mathfrak N,i) = \iota(\mathfrak N,j) = \iota_{\mathfrak N}. }

9. 同一性微積分接口

同一性微積分給：

d_I(\mathfrak N) = \{ (\mathfrak N,i) : i\in I \}.

NIOT 將其解釋為：

\boxed{ \text{index expansion without object destruction}. }

10. Forgetful Integration

\boxed{ \int_{\mathrm{id}} (\mathfrak N,i) = \mathfrak N. }

這保證 index 是 observation structure，而不是 canonical fragmentation。

11. Active Index

被動 index 只標記位置。

主動 index 允許：

\boxed{ \widehat{\mathcal E}_{i\to j} : (\mathfrak N,i) \mapsto (\mathfrak N,j). }

這是最小導航算子。

12. Address Graph

定義：

\boxed{ G_A(\mathfrak N) = (V_A,E_A). }

其中：

V_A = \mathcal I(\mathfrak N).

edge 表示合法 navigation / relation。

13. Edge Types

可包括：

contains
depends_on
derived_from
bridges_to
projects_to
refines
coarsens
adjacent_to
same_provenance
same_probe_family
same_spectrum

14. Address Path

定義：

\boxed{ \gamma = (i_0,i_1,\dots,i_k). }

若每個：

(i_j,i_{j+1}) \in E_A,

則 $\gamma$ 為合法地址路徑。

15. Path Length

最簡單：

\boxed{ L(\gamma)=k. }

也可以有 weighted length：

\boxed{ L_w(\gamma) = \sum_j w(i_j,i_{j+1}). }

16. Index Distance

定義：

\boxed{ d_I(i,j) = \inf_\gamma L(\gamma). }

若 graph 不連通：

d_I(i,j)=\infty.

17. Distance 不一定是幾何距離

$d_I$ 可以表示：

semantic hop；
derivation hop；
dependency hop；
bridge cost；
probe transition cost。

18. Local Neighborhood

對：

i\in\mathcal I,

定義：

\boxed{ B_r(i) = \{ j: d_I(i,j)\le r \}. }

這是 index ball。

19. Local Numerical World

對：

i,

定義：

\boxed{ \mathcal W_r(\mathfrak N,i) = \mathfrak N[B_r(i)]. }

這是以 $i$ 為中心的局部數值資訊世界。

20. Locality Principle

如果 probe 只作用於：

B_r(i),

則不應自動 materialize：

\mathcal I(\mathfrak N)

全部。

21. Dynamic Neighborhood

隨 epoch：

t,

index graph 可以改變。

因此：

\boxed{ B_r^{(t)}(i) }

也是動態的。

22. Address Topology

若定義一族 open sets：

\mathcal O_A,

則：

\boxed{ (\mathcal I,\mathcal O_A) }

形成 address topology。

23. Topology 不必來自 Metric

可以由：

dependency；
semantic containment；
probe reachability；
spectral adjacency；

直接誘導 topology。

24. Basis of Open Sets

局部 neighborhoods：

\{B_r(i)\}

可以作為 topology basis 的候選。

25. Index Continuity

若 map：

f: \mathcal I_1 \rightarrow \mathcal I_2

保持 open structure，則稱 continuous reindex map。

26. Reindexing

定義：

\boxed{ \rho: \mathcal I \rightarrow \mathcal I'. }

以及：

\boxed{ \rho_\ast : M \rightarrow M'. }

27. Pure Reindexing

若：

\rho

只改地址，不改語義資訊，稱：

\boxed{ \text{pure reindexing}. }

28. Identity-Preserving Reindexing

要求：

\boxed{ \iota ( \rho_\ast(\mathfrak N) ) = \iota(\mathfrak N). }

29. Semantic Reindexing

若：

\rho

除了改地址還改語義 grouping，需要額外 certificate。

30. Reindex Certificate

至少包含：

source index space；
target index space；
mapping；
preserved invariants；
lost distinctions；
reversibility。

31. Bijective Reindexing

若：

\rho

為 bijection，且 payload 不變，通常可視為 lossless。

32. Non-Bijective Reindexing

若：

\rho

不是 bijection，可能包含：

merge；
split；
quotient；
expansion。

33. Split as Reindexing

\boxed{ i \mapsto \{i_1,\dots,i_k\}. }

這是 one-to-many reindex。

34. Merge as Reindexing

\boxed{ \{i_1,\dots,i_k\} \mapsto \hat i. }

這是 many-to-one reindex。

35. Quotient Index

若：

i\sim j,

則：

\boxed{ [i] }

可作為 quotient index。

36. Quotient Address Space

\boxed{ \mathcal I/\sim. }

37. Fiber of Reindexing

對：

j\in\mathcal I',

定義：

\boxed{ F^\rho_j = \rho^{-1}(j). }

38. Nontrivial Fiber

若：

|F^\rho_j|>1,

表示多個原地址被壓成一個目標地址。

39. Reindex Ambiguity

若無法從：

j

唯一回復原：

i,

則：

\boxed{ \rho^{-1} }

不是函數。

40. Address Loss

因此 merge / compression 必須聲明：

\boxed{ \text{address loss}. }

41. Chart

對局部 region：

U\subseteq\mathcal I,

定義 chart：

\boxed{ \phi_U: U \rightarrow \mathbb K^n }

或更一般：

\phi_U: U \rightarrow C.

42. Chart 是方便表示，不是本體

\boxed{ \phi_U(U) \neq U }

一般成立。

43. Local Coordinate

在 chart 中：

\boxed{ x_U = \phi_U(i). }

44. Multiple Charts

一個 index space 可以需要：

\boxed{ \{(U_\alpha,\phi_\alpha)\} }

多個 charts。

45. Atlas

定義：

\boxed{ \mathcal A = \{ (U_\alpha,\phi_\alpha) \}. }

46. Transition Map

若：

U_\alpha\cap U_\beta\neq\varnothing,

定義：

\boxed{ \phi_{\beta\alpha} = \phi_\beta \circ \phi_\alpha^{-1}. }

47. Transition Consistency

若 transition map 不一致，可能表示：

chart mismatch；
schema mismatch；
identity mismatch；
invalid bridge。

48. Atlas Incompleteness

某些 index region 可能沒有 chart。

應標：

ATLAS_MISSING

不能當作不存在。

49. BCODR 的 Atlas Lesson

BCODR-LUC 已顯示：

\boxed{ \text{global symmetry} \not\Rightarrow \text{same local chart}. }

這在 NIOT 中一般化為：

\boxed{ \text{global information equivalence} \not\Rightarrow \text{same local index coordinate}. }

50. Gauge-Like Reparameterization

若：

g: \mathcal I \rightarrow \mathcal I'

只改 coordinate convention，而不改 canonical structure，則可視為：

\boxed{ \text{index gauge transform}. }

51. Gauge Orbit

同一資訊結構的多種 indexing：

\boxed{ \mathcal O_g(\mathfrak N) = \{ g\cdot\mathfrak N \}. }

52. Gauge-Invariant Observable

若：

O(g\cdot\mathfrak N) = O(\mathfrak N),

則：

\boxed{ O }

為 gauge-invariant。

53. Gauge Fixing

Runtime 可以選：

\boxed{ g^\star }

作為 canonical index convention。

54. Gauge Fixing 不等於本體唯一

只是選擇比較方便的 representation。

55. Spectral Coordinate as Index

NIOT-04 的：

\lambda

可以直接成為 index：

\boxed{ i_\lambda = (\text{SPECTRAL},\lambda). }

56. Probe Coordinate as Index

\boxed{ i_P = (\text{PROBE},P). }

57. Matrix Coordinate as Index

\boxed{ i_{ab} = (\text{MATRIX},a,b). }

58. Composite Index

可以：

\boxed{ i = (P,\lambda,t,a,b). }

表示一個高度精確的資訊位置。

59. Hierarchical Address

可使用：

/object
  /probe
    /spectral
      /lambda=3.2
        /epoch=17

60. Path Address

這與 ISQL / filesystem / graph path 都可對接。

61. Address Normalization

不同表達：

/probe/a/../b

與：

/probe/b

可能指向同一 address。

需要：

\boxed{ N_A(a) }

canonical normalization。

62. Address Equality

定義：

\boxed{ a_1\equiv_A a_2 }

若 normalization 後相同。

63. Address Equality 不等於 Object Equality

兩地址相同只能表示同一 location。

64. Object Identity vs Address Identity

\boxed{ \iota_O \neq \iota_A. }

65. Moving Address, Stable Object

同一 object 可以：

a_t \rightarrow a_{t+1}

但：

\iota_O

保持。

66. Stable Address, Changing Content

同一 address 也可以跨時間內容改變。

67. Temporal Index

定義：

\boxed{ i_t = (\text{TIME},t). }

68. Spatiotemporal Index

可組合：

\boxed{ i=(a,t). }

69. Version Index

\boxed{ i_v = (\text{VERSION},v). }

70. Historical Navigation

可以：

\widehat{\mathcal E}_{t_1\to t_2}.

71. Historical Identity

若只是同一 object 的版本演化：

\boxed{ \iota_{\mathfrak N} }

可以持續。

72. Fork Identity

若 canonical fork：

\mathfrak N^{(A)}, \mathfrak N^{(B)},

則需要新 branch identities。

73. Branch Address

\boxed{ i = (\text{BRANCH},b). }

74. Branch Merge

兩 branch merge 需要：

reconciliation；
conflict resolution；
provenance preservation。

75. Index Dependency

如果：

i_j

依賴：

i_i,

記：

\boxed{ i_i \prec i_j. }

76. Partial Order

若 dependency 無 cycle，可形成 poset：

\boxed{ (\mathcal I,\preceq). }

77. Cycle

如果有 cycle，不能強制當 DAG。

需要一般 directed graph。

78. Strongly Connected Component

cycle region 可壓成 SCC：

\boxed{ \operatorname{SCC}(\mathcal I). }

79. Condensation Graph

SCC quotient 後得到 DAG。

80. Index Depth

若 DAG：

\boxed{ d(i) }

可以表示 derivation depth。

81. Index Height

也可定義到 root / sink 的距離。

82. Index Boundary

對 region：

U,

定義：

\boxed{ \partial_I U }

為與外部有 edge interaction 的 indices。

83. Interior

\boxed{ \operatorname{Int}_I(U) = U\setminus\partial_I U. }

84. Boundary Probe

高價值 probe 可以只作用於：

\partial_I U.

85. Index Frontier

如果：

U

是已展開區域，frontier 可定義為：

\boxed{ F_I = \partial_I U. }

86. Frontier Expansion

下一輪只展開：

F_I.

87. BCODR Responsibility Frontier

BCODR 可以把：

outward reachable；
inward reachable；

交會區轉成：

\boxed{ F_I^{\mathrm{resp}}. }

88. Local Responsibility Chart

在：

F_I^{\mathrm{resp}}

上建立更細 chart。

89. Address Overlap

兩個 index regions：

U,V

可能：

U\cap V\neq\varnothing.

90. Overlap 不等於 Identity

即使：

i\in U\cap V,

也不表示：

U=V.

91. Overlap Transition

需要 transition rule：

\boxed{ \phi_{VU}. }

92. Multi-Chart Consistency

在 triple overlap：

U\cap V\cap W,

理想上：

\boxed{ \phi_{WU} = \phi_{WV}\circ\phi_{VU}. }

93. Transition Defect

若：

\phi_{WU} \neq \phi_{WV}\circ\phi_{VU},

定義：

\boxed{ \Delta_{\mathrm{trans}}. }

94. Index Holonomy

沿 closed path：

\gamma,

做一連串 reindex / transition：

\boxed{ \mathcal H_\gamma. }

95. Trivial Holonomy

如果：

\mathcal H_\gamma = \operatorname{id},

路徑閉合無缺陷。

96. Nontrivial Holonomy

若：

\mathcal H_\gamma \neq \operatorname{id},

可能表示：

path-dependent indexing；
active state change；
incompatible charts；
genuine information curvature。

97. Index Curvature

本文暫將非平凡 holonomy 視為：

\boxed{ \text{index curvature candidate}. }

98. 不是傳統 Riemann Curvature

除非額外建立 smooth manifold 與 connection，不能直接等同。

99. Index Connection

可定義局部 transport rule：

\boxed{ \nabla_I. }

它描述 index 如何沿 path 搬運。

100. Parallel Transport Analogy

\boxed{ T_\gamma(i) }

表示 index role 沿 path 的 transport。

101. Role Preservation

如果 transport 後：

\operatorname{Role}(T_\gamma(i)) = \operatorname{Role}(i),

稱 role-preserving。

102. Role Drift

若 role 改變，需要標記：

\boxed{ \text{role drift}. }

103. Index Metric

不是所有 index space 都需要 metric。

若需要，可定義：

\boxed{ d: \mathcal I\times\mathcal I \rightarrow [0,\infty]. }

104. Weighted Metric Candidate

例如：

d(i,j) = \alpha d_{\mathrm{semantic}} + \beta d_{\mathrm{provenance}} + \gamma d_{\mathrm{spectral}}.

105. Task-Relative Metric

\boxed{ d_{\mathcal T} }

可以依任務調權重。

106. Metric 不一定唯一

不同任務可以使用不同距離。

107. Index Geodesic

如果 metric 定義，最短 navigation path：

\boxed{ \gamma^\star = \arg\min_\gamma L(\gamma). }

108. Geodesic Query

例如：

從 scalar value 地址到其最接近的 provenance certificate，最短合法路徑是什麼？

109. Probe Navigation

AI 可以沿 index graph：

i_0 \rightarrow i_1 \rightarrow i_2

逐步決定下一個 probe。

110. Navigation Policy

定義：

\boxed{ \pi_{\mathrm{nav}} ( i_t, M_t, \mathcal T ) \rightarrow i_{t+1}. }

111. Local Search

只在：

B_r(i)

內找高 utility probe。

112. Global Search

若 local closure 失敗，再擴 radius。

113. Radius Schedule

r_0<r_1<\cdots.

114. Adaptive Radius

依 information gain 調整：

r_{t+1} = f(G_t,K_t).

115. Multi-Scale Index Geometry

不同：

r

產生不同鄰域結構。

這接 NIOT-04 的 multi-scale spectrum。

116. Spectral Radius

可把：

\lambda

與：

r

一起成為：

\boxed{ (\lambda,r). }

117. Matrix-Index Duality

UEFM 的 row / column indices：

I_t

本身就是數值索引幾何的子空間。

118. Sparse Matrix as Address Graph

sparse UEFM：

M_t \equiv (I_t,E_t,\omega_t)

可直接看成：

\boxed{ G_A. }

119. Matrix Expansion = Index Expansion

新增 coordinate：

i_{n+1}

就是 index space expansion。

120. Matrix Compression = Index Quotient

如果 merge coordinates：

i_1\sim i_2,

則 matrix compression 對應 index quotient。

121. Matrix Reindex = Geometry Change

因此：

\boxed{ \text{UEFM dynamic update} }

可以部分理解為：

\boxed{ \text{index geometry evolution}. }

122. Dynamic Index Geometry

寫成：

\boxed{ \mathcal I_t }

隨時間變化。

123. Index Birth

新 probe 發現新 coordinate：

\boxed{ i_{\mathrm{new}} }

稱 index birth。

124. Index Death

coordinate 被證明 redundant / invalid / revoked，可退役。

125. Index Persistence

定義：

\boxed{ \operatorname{life}(i) = [t_{\mathrm{birth}},t_{\mathrm{death}}). }

126. Persistent Index

長期存在的 index 可能是穩定 invariant 候選。

127. Short-Lived Index

可能是：

transient probe；
noise；
temporary chart；
intermediate derivation。

128. Index Persistence Diagram

可建立：

\boxed{ \mathcal D_I. }

這和 persistent homology 類似，但本文不宣稱等同。

129. Address Stability

定義：

\boxed{ S_A(i) }

衡量 address across epochs 的穩定性。

130. High-Stability Anchor

高穩定 index 可成為 ISQL semantic anchor。

131. Low-Stability Coordinate

適合做 transient local chart，不適合做永久 canonical key。

132. ISQL Interface

ISQL 可以負責：

\boxed{ \text{semantic address registry}. }

133. ISQL Anchor

對 stable index：

i,

建立：

\boxed{ a_{\mathrm{ISQL}}(i). }

134. ISQL Link

relation edge：

(i,j)

可對應 ISQL link。

135. ISQL Path

navigation path：

\gamma

可成為 ISQL query path。

136. Addressable Probe

每個 probe：

P

應有：

\boxed{ a(P). }

137. Addressable Spectrum

每個：

(\lambda,P)

可形成：

a(P,\lambda).

138. Addressable Coupling

每個：

C_{ij}

可有：

a(C_{ij}).

139. Addressable Certificate

每個 certificate 也可有 canonical address。

140. Provenance Navigation

可由結果 node：

i_r

一路回：

i_{\mathrm{source}}.

141. Reverse Navigation

也可以由 source 找所有 descendants。

142. Dependency Cone

定義：

\boxed{ \operatorname{Cone}^+(i) }

為 descendants。

143. Reverse Cone

\boxed{ \operatorname{Cone}^-(i) }

為 ancestors。

144. Bidirectional Cone

BCODR 可在：

\operatorname{Cone}^+(i)

與：

\operatorname{Cone}^-(j)

上找 overlap。

145. Responsibility Intersection

\boxed{ R_{ij} = \operatorname{Cone}^+(i) \cap \operatorname{Cone}^-(j). }

146. Structural Responsibility Path

如果：

R_{ij}

很小，可直接定位 critical path。

147. Address Bottleneck

某 index：

k

如果大量 paths 必經，可能是：

\boxed{ \text{address bottleneck}. }

148. Betweenness-Like Measure

可以定義：

\boxed{ B_I(k). }

149. High-Betweenness Index

可能是：

critical bridge；
canonical anchor；
structural choke point。

150. Index Cut

移除一組 indices：

S

使 graph 分裂，稱：

\boxed{ \text{index cut}. }

151. Minimal Cut

\boxed{ S^\star = \arg\min |S| }

subject to separating target regions。

152. 可用於責任隔離

找到最少需要檢查的 critical indices。

153. Address Flow

若資訊沿 edge 傳輸，可定義：

\boxed{ f_{ij}. }

154. Flow Conservation

在某些 pure routing node，可要求：

\sum_j f_{ji} = \sum_k f_{ik}.

155. 但不是所有資訊節點都守恆

Derived probe 可能創造新表達，而不是守恆流量。

156. Index Capacity

edge 可有：

\boxed{ c_{ij}. }

表示 bandwidth / compute / semantic capacity。

157. Congestion

如果：

f_{ij}>c_{ij},

形成 index congestion。

158. Routing Optimization

AI 可以根據：

distance；
cost；
trust；
congestion；

選 path。

159. Trust-Weighted Distance

\boxed{ d_T(i,j) = \min_\gamma \sum_{e\in\gamma} w_T(e). }

160. Certificate-Weighted Distance

低 trust edge 可以成本更高。

161. Secure Navigation

某些地址只能由特定權限訪問。

162. Permissioned Index Space

定義：

\boxed{ \mathcal I_u \subseteq \mathcal I }

為 user / agent 可見子空間。

163. Same Object, Different Visible Geometry

不同 agent：

u,v

可能看到：

\mathcal I_u \neq \mathcal I_v.

164. Visibility Projection

\boxed{ \Pi_u(\mathcal I) = \mathcal I_u. }

165. Security Projection Non-Identity

可見 index space 不是完整 canonical index space。

166. Hidden Does Not Mean Absent

若某 index 對 agent 不可見：

\boxed{ \text{WITHHELD} }

不是：

\boxed{ \text{NONEXISTENT}. }

167. Access Certificate

導航到敏感 index 需要 permission certificate。

168. Index Mutation

若 active probe 改變 index graph：

\boxed{ \mathcal I_t \rightarrow \mathcal I_{t+1}. }

169. Mutation Log

必須記錄：

added indices；
removed indices；
remapped indices；
reason；
certificate。

170. Index Diff

定義：

\boxed{ \Delta\mathcal I_t = \mathcal I_{t+1} \ominus \mathcal I_t. }

171. Structural Diff

不只看增刪，也看：

edge change；
role change；
chart change；
gauge change。

172. Reindex Diff

\boxed{ \Delta_\rho }

專門記 coordinate remapping。

173. Canonical Index Snapshot

每個重要 epoch 可保存：

\boxed{ S_I^{(t)}. }

174. Index Hash

若 serialization deterministic：

\boxed{ h_I^{(t)} = H(S_I^{(t)}). }

175. Cross-Runtime Index Sync

兩 runtime 可以比較：

h_I^{(A)}

與：

h_I^{(B)}.

176. Same Hash, Same Serialized Index State

不代表所有外部 world state 相同，只代表 canonical serialized index state 相同。

177. Index Replay

從 mutation log：

\boxed{ \mathcal I_0 \rightarrow \mathcal I_1 \rightarrow \cdots }

應可重播。

178. Index Rollback

若錯誤 reindex：

\mathcal I_{t+1} \rightarrow \mathcal I_t.

179. Rollback 可能有 side effect

外部系統 address 已更新時需補償。

180. Index Migration

如果 schema 改版：

\boxed{ \mu: \mathcal I^{(v1)} \rightarrow \mathcal I^{(v2)}. }

181. Migration Certificate

需要：

mapping；
lost addresses；
new addresses；
ambiguity；
compatibility。

182. Index Compatibility

若舊 query 在新 index space 可等價執行，稱 backward compatible。

183. Index Deprecation

舊 index 可標：

DEPRECATED

而非直接消失。

184. Alias

可保留：

\boxed{ i_{\mathrm{old}} \mapsto i_{\mathrm{new}}. }

185. Alias Chain

長 chain 應 normalize。

186. Alias Loop

若：

i_1\to i_2\to i_1,

需要檢測。

187. Canonical Address

一個 identity 可以有多個 aliases，但只有一個 canonical address：

\boxed{ a^\star. }

188. Canonical Address 不等於 Object Identity

它仍只是目前 canonical locator。

189. Index Ambiguity

如果一個 surface address 解析成多個 indices：

\boxed{ a \mapsto \{i_1,\dots,i_k\}. }

190. Ambiguity Resolution

需要：

schema；
context；
namespace；
version。

191. ICNS Analogy

ICNS 解 numeral ambiguity。

NIG 解 address / index ambiguity。

192. Namespace

定義：

\boxed{ \mathcal N_S. }

不同 index types 應有 namespace。

193. Fully Qualified Address

例如：

niot://object/123/spectral/scale/3.2

194. Relative Address

在 local chart 中可以使用 shorter path。

195. Relative-to-Absolute Resolution

需要：

\boxed{ R_{\mathrm{addr}}. }

196. Root Address

每個 numerical information object 可有：

\boxed{ a_{\mathrm{root}}. }

197. Rooted Index Geometry

整個 index space 可視為：

\boxed{ (\mathcal I,a_{\mathrm{root}}). }

198. Multiple Roots

如果 object 本身有多 canonical subdomains，可允許多 roots。

199. Rooted vs Unrooted Geometry

不是所有分析都需要 root。

200. Local Index Basis

在 region：

U,

可選：

\boxed{ \mathcal B_I(U). }

作為局部 coordinate basis。

201. Basis Change

\boxed{ B: \mathcal B_I(U) \rightarrow \mathcal B_I'(U). }

202. Basis Invariant

task-critical structure 應在合法 basis change 下保持。

203. Index Tensor

如果多 axes：

i=(i_1,\dots,i_k),

可以形成 tensor-product-like address space。

204. Factorizable Index Space

若：

\mathcal I = \mathcal I_1\times\cdots\times\mathcal I_k,

可分軸導航。

205. Non-Factorizable Index Space

如果 relation 使 axes 不能分離，需 joint indexing。

206. Coupled Index Geometry

NIOT-04 的 coupling：

C_{ij}

可以改變 local distance / navigation。

207. Coupling-Weighted Metric

\boxed{ d_C(i,j) = f(C_{ij}). }

208. Strong Coupling, Short Distance

一種常見選擇：

d_C(i,j) = \frac{1}{\epsilon+|C_{ij}|}.

僅作示例。

209. Coupling-Induced Neighborhood

\boxed{ B_r^C(i) = \{j:d_C(i,j)\le r\}. }

210. Spectral-Coupling Geometry

距離可以同時依賴：

\lambda

與：

C.

211. Dynamic Metric

\boxed{ d_t(i,j). }

隨 epoch 變化。

212. Geometry Drift

如果：

d_t \neq d_{t+1},

表示 index geometry drift。

213. Drift Attribution

需要判斷：

source change；
probe change；
coupling change；
reindex change。

214. Index Geometry Closure

對 task：

\mathcal T,

若：

critical addresses resolved；
required paths valid；
no unresolved alias / ambiguity；
local frontier closed；
needed charts available；

則：

\boxed{ \operatorname{Close}^{I}_{\mathcal T}=1. }

215. Closure Certificate

包含：

index version；
root；
charts；
unresolved indices；
alias map；
frontier；
critical paths。

216. Geometry Reopen

新 probe / new task 可重新打開 index geometry。

217. Finite Materialization

任何 epoch：

\boxed{ |\mathcal I_t|<\infty. }

218. Unbounded Address Expansion

允許：

\boxed{ \sup_t|\mathcal I_t|=\infty. }

219. NIG 與 UEFM 一致

UEFM 的 unbounded dimension 在 NIG 中對應：

\boxed{ \text{unbounded index birth}. }

220. NIG 與 Probe Calculus 一致

Probe discovery：

P_{\mathrm{new}}

可能生成：

i_{\mathrm{new}}.

221. NIG 與 Spectrum 一致

新增 spectral sample：

\lambda^\star

生成 spectral index：

i_{\lambda^\star}.

222. NIG 與 BCODR 一致

新的 responsibility overlap region 可生成局部 responsibility indices。

223. NIG 與 CAIR 一致

reindex / mutation 應先作 candidate diff，再 commit。

224. NIG 與 ISQL 一致

ISQL 可以作 canonical semantic locator layer。

225. 第一個最小例子

假設：

\mathfrak N_x

有：

/value
/provenance
/precision

三個 indices。

226. 加入 Probe

新 provenance-depth probe 產生：

/provenance/source
/provenance/transform

因此：

\boxed{ \mathcal I_0 \rightarrow \mathcal I_1. }

227. Split

原：

/provenance

被 split 成兩個更細 addresses。

228. Identity 不變

\iota_{\mathfrak N}

不變。

229. 第二個例子：Spectral Index

新增：

\lambda\in\{1,2,4,8\}.

產生：

/spectral/1
/spectral/2
/spectral/4
/spectral/8

230. Adaptive Refinement

若：

2<\lambda<4

有 transition，加入：

/spectral/3

231. 第三個例子：Reindex

舊：

/quality/uncertainty

改版成：

/uncertainty/model

若只是 schema migration，canonical object identity 不變。

232. 第四個例子：Alias

保留：

/quality/uncertainty

作 alias 指向新 canonical address。

233. 第五個例子：BCODR Frontier

Outward probe 與 inward certificate 在：

/branch/131

附近形成責任重疊。

只在：

/branch/131/local

建立更細 indices。

234. Localized Expansion

因此不需要全域 index explosion。

235. Minimal Runtime Operations

第一版 NIG Runtime 至少支援：

resolve
navigate
neighbors
reindex
split
merge
alias
normalize
snapshot
rollback

236. Resolve

\boxed{ \operatorname{Resolve}(a) \rightarrow i. }

237. Navigate

\boxed{ \operatorname{Navigate}(i,j) \rightarrow \gamma. }

238. Neighbors

\boxed{ \operatorname{Neighbors}(i,r) \rightarrow B_r(i). }

239. Reindex

\boxed{ \operatorname{Reindex}(\rho). }

240. Split

\boxed{ \operatorname{Split}(i). }

241. Merge

\boxed{ \operatorname{Merge}(S). }

242. Alias

\boxed{ \operatorname{Alias}(a_{\mathrm{old}},a_{\mathrm{new}}). }

243. Normalize

\boxed{ \operatorname{NormalizeAddress}(a). }

244. Snapshot

\boxed{ \operatorname{SnapshotIndexSpace}(). }

245. Rollback

\boxed{ \operatorname{RollbackIndex}(t). }

246. Query Example

START:
/value

FIND:
nearest certified provenance node

CONSTRAINT:
trust >= T2

247. Navigation Result

Runtime 應回：

path；
total cost；
trust；
unresolved edges；
aliases used。

248. Index Query Language

未來可接 ISQL：

FROM /value
FOLLOW derived_from
UNTIL certificate >= T2

249. Local Geometry Query

NEIGHBORHOOD /spectral/3.2 RADIUS 2

250. Reindex Query

REINDEX /quality/uncertainty
TO /uncertainty/model
PRESERVE identity

251. Index Security Query

VISIBLE_TO agent:A

252. MVP 資料模型

{
  "object_id": "niot:number:...",
  "index_version": 1,
  "root": "/",
  "nodes": [],
  "edges": [],
  "aliases": {},
  "charts": [],
  "frontier": [],
  "history": []
}

253. Index Node Schema

{
  "index_id": "idx:...",
  "type": "SPECTRAL",
  "address": "/spectral/3.2",
  "role": "probe-coordinate",
  "state": "ACTIVE"
}

254. Edge Schema

{
  "source": "idx:a",
  "target": "idx:b",
  "type": "derived_from",
  "weight": 1.0
}

255. Chart Schema

{
  "chart_id": "chart:local:1",
  "domain": ["idx:a", "idx:b"],
  "coordinate_system": "local-v1"
}

256. Index Invariant A

\boxed{ \text{reindexing} \not\Rightarrow \text{identity change}. }

257. Index Invariant B

\boxed{ \text{missing address} \neq \text{nonexistent structure}. }

258. Index Invariant C

\boxed{ \text{alias equality} \neq \text{canonical object equality}. }

259. Index Invariant D

\boxed{ \text{local chart} \neq \text{global index space}. }

260. Index Invariant E

\boxed{ \text{coordinate overlap} \neq \text{mechanism identity}. }

261. Index Invariant F

\boxed{ \text{index transform} \text{ must be traceable}. }

262. Theorem 1 — Bijective Pure Reindexing Preserves Address Cardinality

若：

\rho: \mathcal I \rightarrow \mathcal I'

為 bijection，則：

\boxed{ |\mathcal I| = |\mathcal I'|. }

263. Theorem 2 — Pure Reindexing Does Not Change Canonical Identity

依定義：

\boxed{ \iota ( \rho_\ast(\mathfrak N) ) = \iota(\mathfrak N). }

264. Theorem 3 — Noninjective Reindexing Produces Nontrivial Fibers

若：

\rho

非 injective，則存在：

j

使：

\boxed{ |F^\rho_j|>1. }

265. Theorem 4 — Local Address Equality Is Weaker Than Global Structural Equality

若：

\phi_U(i)=\phi_U(j),

仍不推出：

i=j

除非 chart map injective。

266. Theorem 5 — Finite Epoch Geometry Can Remain Unboundedly Extensible

若每 epoch：

|\mathcal I_t|<\infty,

且允許 index birth 無上界，則：

\boxed{ \sup_t|\mathcal I_t|=\infty }

與 finite execution 相容。

267. Formalization Targets

Lean / Coq 第一階段：

typed index；
indexed view；
pure reindexing；
identity preservation；
alias normalization；
quotient index；
finite epoch / unbounded expansion；
address graph reachability。

268. Graph Library Integration

很多性質可直接使用：

finite graph；
reachability；
path；
quotient；
SCC；
DAG。

269. Topology Formalization

可延後到第二階段。

270. Holonomy Formalization

可再延後，先保持理論方向。

271. Open Problem：Canonical Index Core

哪些 indices 必須永遠保留？

例如：

value；
schema；
provenance root；
identity anchor？

仍待定。

272. Open Problem：Minimal Address Basis

是否存在：

\boxed{ \mathcal B_A }

使所有 task-relevant addresses 可由它生成？

273. Open Problem：Index Curvature

何種 path-dependence 足以升級成真正 curvature 定義？

274. Open Problem：Address Complexity

導航複雜度如何依：

node count；
edge density；
hierarchy depth；

變化？

275. Open Problem：Semantic Metric

能否建立 task-stable semantic distance？

276. Open Problem：Index Gauge Group

哪些 reindex transforms 應視為純 gauge？

277. Open Problem：Cross-Object Index Alignment

兩個不同 numerical objects：

\mathfrak N_1, \mathfrak N_2

的 index spaces 如何對齊？

278. Alignment Map

需要：

\boxed{ A: \mathcal I(\mathfrak N_1) \rightarrow \mathcal I(\mathfrak N_2). }

279. Partial Alignment

A 可以是 partial map。

280. Structural Alignment

不能只比 address string。

需要比較：

role；
topology；
provenance；
probe family；
coupling profile。

281. Cross-Object Atlas

多 numerical objects 可以共享一個上層 atlas。

282. Global Numerical Atlas

未來可能建立：

\boxed{ \mathfrak A_{\mathrm{NIOT}}. }

將不同 object 的 local index spaces 接起來。

283. 但本篇不宣稱已有 universal atlas

這只是後續方向。

284. 與下一篇的接口

NIOT-06 將進入：

\boxed{ \textbf{浮點投影、完成與跨域橋接。} }

NIG 提供的核心接口是：

\boxed{ \text{不同 representation domain 間的 bridge endpoint 也應有地址。} }

285. Bridge Endpoint Index

對：

B: X\rightsquigarrow Y,

定義：

\boxed{ i_X, \qquad i_Y. }

286. Bridge Path

\boxed{ i_X \xrightarrow{B} i_Y. }

287. Bridge Provenance

bridge 本身可成為 edge object。

288. Cross-Domain Reindex

表示轉換可能同時伴隨：

\boxed{ \text{value bridge} + \text{index bridge}. }

289. Float Address

一個 float representation 不只是一個值，還有：

bit field address；
exponent address；
significand address；
exception address；
rounding context address。

290. Exact Real Address

精確實數可有：

symbolic source；
generator；
completion certificate；
approximation stream。

291. Cross-Domain Atlas

NIOT-06 將研究這些 representation charts 如何被 bridge。

292. 本篇最重要的核心句

第一：

\boxed{ \text{value} \neq \text{address}. }

第二：

\boxed{ \text{index} \neq \text{identity}. }

第三：

\boxed{ \text{reindex} \neq \text{replace object}. }

第四：

\boxed{ \text{local chart} \neq \text{global ontology}. }

第五：

\boxed{ \text{addressable information} = \text{distinguishable information} + \text{stable locator}. }

293. 結論

前四篇 NIOT 已經完成從：

x

到：

\mathfrak N

再到：

P_i(\mathfrak N),

M_t,

\mathcal S_{\mathfrak N},

C_{\mathfrak N}.

本文補上了下一個不可缺少的層：

\boxed{ \mathcal I(\mathfrak N). }

也就是：

\boxed{ \text{數值資訊物件的地址—索引幾何。} }

一旦資訊可以被精確定址，它才真正可以：

局部探測；
局部更新；
重索引；
split；
merge；
navigate；
replay；
rollback；
bridge；
governance。

因此數值微觀世界不再只是「有很多資訊」。

它開始具有：

\boxed{ \text{位置} + \text{鄰域} + \text{路徑} + \text{邊界} + \text{chart} + \text{atlas} + \text{transport}. }

而「每一個數都是一」在此獲得更強版本：

\boxed{ \text{同一數值資訊物件可以擁有大量局部地址與視圖， 但只要操作是 identity-preserving， 這些切片與導航仍屬於同一個 canonical identity。} }

因此：

\boxed{ \text{數值微觀世界} }

不再是隱喻。

它已經具有一個可工程化的局部幾何骨架：

\boxed{ \mathfrak N \rightarrow \mathcal I(\mathfrak N) \rightarrow G_A \rightarrow B_r(i) \rightarrow \text{chart} \rightarrow \text{reindex} \rightarrow \text{navigation}. }

\boxed{ \textbf{NIOT-06 — 浮點投影、完成與跨域橋接。} }

將正式把最早引發本系列的問題帶回來：

\boxed{ \text{如果 float 只是 projection， 那 exact value、completion、rounding、interval、representation 與跨域 operator 到底要怎麼在同一框架中合法互換？} }

Canonical Source Declaration

本檔為 NIOT-05-v0.1 的 UTF-8 Markdown canonical source。

數學 delimiter 僅使用 $...$ 與 $$...$$。

本文正式引入：

numerical index space；
typed index；
address / value separation；
indexed view；
active index transport；
address graph；
index distance；
local neighborhood；
address topology；
reindexing；
split / merge；
quotient index；
reindex fiber；
chart；
atlas；
gauge-like reparameterization；
index holonomy；
dynamic index geometry；
permissioned index space；
index mutation / migration / alias。

本文不宣稱：

所有 index space 都是 smooth manifold；
所有 address graph 都有唯一 metric；
index holonomy 已等同傳統幾何 curvature；
所有 reindexing 都無損；
所有 numerical objects 共享一個 universal atlas；
所有 address equality 等同 canonical object equality。

後續 NIOT-06 應以本篇的 bridge endpoints、cross-domain address 與 representation charts 作為跨域數值轉換的索引基礎。

===END===