Development record

implement step and land refuse to push during another copy's release, although the repository's rule is that a change ready while a peer is mid-cut is handed over as a pull request: on 2026-11-04 a walled session finished a lane during the v0.17.0 cut and had to push and open its pull request by hand.