Development record

A fix to a plugin-payload file committed after the release roll changes the plugin archive's digest, and nothing before the release run notices. On 2026-10-15 the v0.14.2 cut fixed docs/how-to/install.md after the content commit (a docs-currency finding); make preflight passed, abcd launch receipts passed, the release PR merged, and only the release workflow's verify job refused: the committed marketplace pin named the archive rendered at the roll (beb4343893…), the merged tree rendered another (28755d0cf4…). No tag was cut, so the release could be repaired by re-pinning on main, but it cost a merge-queue cycle and a second release run.