the ADR 0073 consequence clause on what the work counters watch of the opt-in halves stops naming its members and names measure::WORK_COUNTERS instead, since #2225 gated graph_sorts and left the enumeration #1662 wrote naming less than the gate counts. the #1662 amendment quotation of that clause is left as written and marked as dated where it stands, and the status block records why for the next amendment: a quotation records what an amendment changed the text to on its date, and rewritten to agree with the present it would state something that amendment never said. the note under the clause says how it moved from #1662 to here. prose only with no behavioural seam, so there is no mutation proof; work_counters reads 12 passed before and after. the workspace suite is green (4262 passed over 136 binaries, 10 ignored) (#2238) bf9c6c26 · dbf3dbe6…
Renames are not followed. loot's tree maps a path to an address, so a rename is a delete and an add. This list is the history of the name, not of the bytes.