摘要
出于互补优先对“关系性操作”与“其物理实现”的区分，我们在一个给定的自主经典哈密顿模型中研究一次性源刷新。一个运动的信使必须抵达静止的源，与之交换任意的内部内容，并在一个固定的读出时刻同时呈现新输入与所保留的旧输出。一个正的配方平方动能耦合，使得完成的交换取决于空间面积，而非进入时的速度。另一个与位置相关的恢复相互作用，则把能量从主力学载体转移给一个可能几乎已经停止的信使。
对于四个实的四坐标内部寄存器与两对力学变量，该组合构造容许固定的乘积域 ||(x,y,b,c)|| ≤ 1、18.6193 ≤ α ≤ 18.6248，其力学制备与未知的内部数据无关。针对一条约化的三坐标释放律的精确有理证书，连同恢复估计，给出在时刻 47 之前完成源交换，并在 33π/2 处实现无相互作用的读出。此处的“认证”涉及约化系统的算术，而不是形式化内核证明，也不是对全部二十个坐标的验证积分。
新输入的装载是精确的；源／旧输出这一对相对于其所声明的理想比较，误差至多为 ε_pre ||(x,y,b)||，其中 ε_pre < 0.007338。这并不是一个关于整台处理器的精度界。
完整的终点保留了另外两次主端口通过、其余的内部寄存器，以及两份力学记录。其力学能量分配排除了立即重新套用同一份就绪态契约的可能，而一个仅针对源的见证则排除了精确的“仅载荷”线性约化。该结果在所陈述的架构之下，提供了一个有界的一次性实现。物理层面的重新待命、全输入／全字长线性控制，以及载体与相互作用的原初选择，仍在定理之外。
它在本次发布中的位置
源刷新分支的开篇论文。它提供的是一次性使用的精确空间交换与一个经认证的恢复域；物理层面的重新待命、全输入线性控制，以及载体与相互作用的原初选择，均不在定理范围内。
下载论文（Zenodo） —— CC-BY-4.0。