# 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. $$ 例如： ```text 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 可分： ```text 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 可包括： ```text 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。 應標： ```text 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 可使用： ```text /object /probe /spectral /lambda=3.2 /epoch=17 ``` --- # 60. Path Address 這與 ISQL / filesystem / graph path 都可對接。 --- # 61. Address Normalization 不同表達： ```text /probe/a/../b ``` 與： ```text /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_0c_{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 可標： ```text 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 例如： ```text 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, $$ 若： 1. critical addresses resolved； 2. required paths valid； 3. no unresolved alias / ambiguity； 4. local frontier closed； 5. 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 $$ 有： ```text /value /provenance /precision ``` 三個 indices。 --- # 226. 加入 Probe 新 provenance-depth probe 產生： ```text /provenance/source /provenance/transform ``` 因此： $$ \boxed{ \mathcal I_0 \rightarrow \mathcal I_1. } $$ --- # 227. Split 原： ```text /provenance ``` 被 split 成兩個更細 addresses。 --- # 228. Identity 不變 $$ \iota_{\mathfrak N} $$ 不變。 --- # 229. 第二個例子：Spectral Index 新增： $$ \lambda\in\{1,2,4,8\}. $$ 產生： ```text /spectral/1 /spectral/2 /spectral/4 /spectral/8 ``` --- # 230. Adaptive Refinement 若： $$ 2<\lambda<4 $$ 有 transition，加入： ```text /spectral/3 ``` --- # 231. 第三個例子：Reindex 舊： ```text /quality/uncertainty ``` 改版成： ```text /uncertainty/model ``` 若只是 schema migration，canonical object identity 不變。 --- # 232. 第四個例子：Alias 保留： ```text /quality/uncertainty ``` 作 alias 指向新 canonical address。 --- # 233. 第五個例子：BCODR Frontier Outward probe 與 inward certificate 在： ```text /branch/131 ``` 附近形成責任重疊。 只在： ```text /branch/131/local ``` 建立更細 indices。 --- # 234. Localized Expansion 因此不需要全域 index explosion。 --- # 235. Minimal Runtime Operations 第一版 NIG Runtime 至少支援： ```text 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 ```text 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： ```text FROM /value FOLLOW derived_from UNTIL certificate >= T2 ``` --- # 249. Local Geometry Query ```text NEIGHBORHOOD /spectral/3.2 RADIUS 2 ``` --- # 250. Reindex Query ```text REINDEX /quality/uncertainty TO /uncertainty/model PRESERVE identity ``` --- # 251. Index Security Query ```text VISIBLE_TO agent:A ``` --- # 252. MVP 資料模型 ```json { "object_id": "niot:number:...", "index_version": 1, "root": "/", "nodes": [], "edges": [], "aliases": {}, "charts": [], "frontier": [], "history": [] } ``` --- # 253. Index Node Schema ```json { "index_id": "idx:...", "type": "SPECTRAL", "address": "/spectral/3.2", "role": "probe-coordinate", "state": "ACTIVE" } ``` --- # 254. Edge Schema ```json { "source": "idx:a", "target": "idx:b", "type": "derived_from", "weight": 1.0 } ``` --- # 255. Chart Schema ```json { "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 第一階段： 1. typed index； 2. indexed view； 3. pure reindexing； 4. identity preservation； 5. alias normalization； 6. quotient index； 7. finite epoch / unbounded expansion； 8. 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===