02 Second Order/Readability Conditions/Retrace Read
Retrace Read
Retrace Read names a produced read through which a trace can recover the dependency path. Where trace names the direct path through which the apparent becomes followable, retrace read names the act of following that path back through its prior conditions — not repetition, not going backwards in time, but recovering what must have held for the current condition to be available. Retrace read is how a read returns to its ground at second order.
Trace
Read
Retrace Read becomes recognisable where a dependency path can be followed back through prior conditions to recover what made the current read available — where "how did we get here" has a traceable answer.
Structural Role
Retrace at Second Order is a produced readability condition. It recovers a dependency path as a readable return; it does not yet name participation moving through that path as higher-order carrying.