Inverse return
Time-addressed transport composes exactly and returns through its stated inverse.
Four Dual Forms · F 02
Memory Motion
Return, mirror transfer, and relative phase
Abstract
Motion carries a physical state between time addresses. Memory is the inverse condition by which a relation returns to its own address while the carriage remains ordered. The axial metric flow advances a real coordinate by 2 log φ and closes its quotient reading after that advance. The mirror reverses the flow.
Tₐ←ᵦ Tᵦ←ₐ = I
ξlift(Lax z) = ξlift(z) + 2 log φ
qax(ξlift(Lax z)) = qax(ξlift(z))
Record
Shared verifier
The shared finite verifier records the lift, quotient, matching, and root identities.
Axial carrier
The quotient-and-lift result is exact on the declared axial carrier X; it does not replace an instrument-specific memory model.
Scope
Claim boundary. The exact result is the invertible transport and quotient-lift identity on the declared axial carrier. A returning quotient read and distinct lift coordinates are both retained; physical material memory keeps its own stated model and measurement conditions.