摘要
只有當一個有正當理由的流圖像進入其定義域時，局部數值參考才是有用的。在自主源刷新中，這一義務涉及裝置的狀態，而不僅僅是其被選定的輸出暫存器。我們研究一個給定的 44 座標源模型，並給出一個條件性複合定理，它保留原始狀態與時間、交互作用對比、累積脈衝面積、力學歷史，以及被動輸運紀錄。精確的簡正模重建把區間包裹與物理不確定性區分開來。對於一個帶正動量的非啟用路由器，我們導出可達到的位置極值，以及一個受限的前向邊緣凸包等式：保留相關性並不能消除這一特定投影的真實彌散。另一個帶防護的接收域容許更寬的路由器紀錄，同時保持原始時間與其餘 43 個座標的要求。隨後，源局域的因子化在不刪除任何物理座標、也不以儲存的中心替代已演化狀態的前提下，傳遞參考可觀測量。光滑延拓、精確的負向自由輸運，以及一個與源相匹配的積分型左入層，在前瞻性的全路徑防護之下被複合起來。一個正的矩展開為孤立參考提供了定向的界，其內部動量跡與歸檔的截斷約定被區別開來。全新的有界計算在各自單獨聲明的輸入假設下，於兩個標度標籤上分別重現了 18 個被接受與 3 個被拒絕的候選比較；這些並不是服務機率。該結果閉合的是一個局部的條件性蘊涵，而不是物理初始化、完整的兩次使用驗證、全域浮點程式精度，或一個共同起源的推導。
它在本次發布中的位置
源刷新分支的第二篇。它閉合的是關於「進入數值參考定義域」的局部條件性蘊涵——而不是物理初始化、完整的兩次使用驗證，或全域浮點程式精度。
下載論文（Zenodo） —— CC-BY-4.0。