摘要
出於互補優先對「關係性操作」與「其物理實現」的區分，我們在一個給定的自主古典哈密頓模型中研究一次性源刷新。一個運動的信使必須抵達靜止的源，與之交換任意的內部內容，並在一個固定的讀出時刻同時呈現新輸入與所保留的舊輸出。一個正的配方平方動能耦合，使得完成的交換取決於空間面積，而非進入時的速度。另一個與位置相關的恢復交互作用，則把能量從主力學載體轉移給一個可能幾乎已經停止的信使。
對於四個實的四座標內部暫存器與兩對力學變數，該組合構造容許固定的乘積域 ||(x,y,b,c)|| ≤ 1、18.6193 ≤ α ≤ 18.6248，其力學製備與未知的內部資料無關。針對一條約化的三座標釋放律的精確有理證書，連同恢復估計，給出在時刻 47 之前完成源交換，並在 33π/2 處實現無交互作用的讀出。此處的「認證」涉及約化系統的算術，而不是形式化核心證明，也不是對全部二十個座標的驗證積分。
新輸入的裝載是精確的；源／舊輸出這一對相對於其所聲明的理想比較，誤差至多為 ε_pre ||(x,y,b)||，其中 ε_pre < 0.007338。這並不是一個關於整臺處理器的精度界。
完整的終點保留了另外兩次主埠通過、其餘的內部暫存器，以及兩份力學紀錄。其力學能量分配排除了立即重新套用同一份就緒態契約的可能，而一個僅針對源的見證則排除了精確的「僅載荷」線性約化。該結果在所陳述的架構之下，提供了一個有界的一次性實現。物理層面的重新待命、全輸入／全字長線性控制，以及載體與交互作用的原初選擇，仍在定理之外。
它在本次發布中的位置
源刷新分支的開篇論文。它提供的是一次性使用的精確空間交換與一個經認證的恢復域；物理層面的重新待命、全輸入線性控制，以及載體與交互作用的原初選擇，均不在定理範圍內。
下載論文（Zenodo） —— CC-BY-4.0。