Conditional Main Return and Full-State Accounting in Autonomous Source Refresh

Finite rearming of a completed apparatus does not by itself prove the next service. We establish a conditional inward continuation for a 68-coordinate extension of an autonomous source-refresh construction, starting from its actual retained entry state rather than a newly prepared rectangular enclosure. The main coordinate traverses an exchange–weighted-work–exchange block from 3ℓ to 0. For each actual member, the internal evolution is an exact ordered product with member-dependent actions; the middle weighted operation changes the contrast used by the final exchange. The main momentum remains strictly inward, with 680<P<1061, and the total elapsed model time lies between 33/10 and 21/4. The full clamped courier recovery law, its kinetic numerator, and one global cutoff history are retained throughout. Three distinct nonnegative incoming source traces are booked once, and any courier cutoff contributes only its incremental debit. Complete endpoint formulas preserve all 68 coordinates, including archives, mechanical histories, routers, and paid clocks. Applying the actual orthogonal coefficient history to the inherited comparison preserves its internal discrepancy without additional near-ideal conditions on the returning actions. At the first inward s=0 event, the main internal waves end in value and first derivative, with no main exit debit or immediately subsequent entry credit. The conclusion is main-block completion under the stated source and incoming-family hypotheses. Universal courier completion, a common fixed-time third service, and unlimited repeatability remain separate open obligations. The argument consolidates written component proofs and exact arithmetic evidence. Scoped Lean verification supports its algebraic and arithmetic layers; no new physical trajectory simulation or full formalization of the 68-coordinate theorem is claimed.