Record-Preserving Rearming and a Certified Second Service in Autonomous Source Refresh

A completed autonomous operation need not leave its apparatus in a state admitted
by the next operation. We construct a second service from the actual terminal record of a specified
source-refresh preparation, rather than replacing that record by an ideal ready state. A preinstalled,
initially inactive twenty-four-coordinate supply augments the twenty-coordinate parent. Its router
archives the old outputs, and a clock-driven mechanical exchange transfers the old carrier infor-
mation into physical histories. The exact decoded scaling product differs from one: the realized
launch is close to, but not equal to, the stored mechanical reference. Both clock reactions and
the cost of activating the history energy are retained. A conserved internal norm excludes every
recovered historical receiver box for the chosen new payload family; a separate functional receiving
class admits the actual continuation without deleting passive records. For every independently
supplied four-dimensional payload of norm at most one half, a connected source-valid route reaches
the originally prescribed second readout. Its joint loading-and-processing error is below 0.000409,
against the declared tolerance 0.01. Later interactions need no additional near-ideal angle condition
because their realized orthogonal operators fix the ideal zero-register target. All forty-four coordi-
nates, old output archives, mechanical histories, and signed source-value events remain available.
The result is conditional on the published first-terminal membership and supplied source, prepa-
ration, and record identities. It is functional reuse with finite preinstalled resources, not exact
reset, autonomous creation of supplies, a uniform first-use theorem, unlimited repeatability, or a
laboratory demonstration. This manuscript consolidates analytic and finite-computation evidence,
accompanied by a newly executed connected reproduction from the trusted first-terminal records.
A dedicated Lean support package checks exact algebra, certificate arithmetic, and conditional
error transport; physical instantiation of its hypotheses and full formalization of the cumulative
theorem remain outside its scope.