v0.13.2

Fixed

• (foot-cycle) let the proof derive every stored time, and refuse a knot pair that names one instant through a key
• (foot-cycle) make the span edges and the knot-collision rule symmetric
• (foot-cycle) decide authored-key coincidence once, in the emitted binary32 domain
• (foot-cycle) compare a knot against both instants of the knot before it
• (foot-cycle) keep the map's exact endpoints authoritative at a track's span ends