摘要
一個數值構造可以保存其儲存的輸入並重現其輸出，卻仍未能表示其解釋中所稱的精確製備或數學定律。本文在自主源刷新模型中研究這一區分。三個對象被分別保持：一個意圖中的哈密頓模型、一個由凍結的源常數所定義的實分段系統，以及一個被執行的浮點程式。一份繼承而來的邊界固定裝置通過了它的浮點容許謂詞，卻違反了精確的範數上限與載荷上限。另一個被單獨命名的正根式製備保持了被重建的原始方向，並精確滿足兩個上限；其座標包含區間與最近的浮點序列化本身並不是被容許的製備。我們在連續、絕對連續、幾乎處處成立的解約定之下，在兩個主介面上給出源特定的橫向延拓。第一次交換確定了一個功不變量，而功的旋轉又為下一次交換確定了一個不同的對比。完整的狀態重建保留了原始相位以及信使被正確匹配的自由分支。由於被凍結的支撐長度並不是數學意義上的 2π，源純量沿這條連續軌跡有兩次嚴格為正的向下記帳。它們之小並不使它們為零，而對它們的核算也並不提供一個物理耗散機制。一個受限的障礙排除了在一個開的全相空間鄰域上以可加常數修復同一組正則分支場的可能。繼承而來的定向紀錄實例化了一個由製備導出的有限前綴，直到 805/256；這既不是一個完整的首個終點，也不是一個「製備到參考」的定理，更不是一個全域的浮點程式誤差界。本文的貢獻在於明確分離並複合精確製備、源解釋、局部轉移與有限證據契約。
它在本次發布中的位置
源刷新分支的第三篇。其貢獻在於明確分離並複合精確製備、源解釋、局部轉移，以及有限證據契約。
下載論文（Zenodo） —— CC-BY-4.0。