Changes touching this path

• visibility_under is deleted: it was pub with no caller in the workspace, sdk, tools or site and no consumer among the sibling repos, parsed the policy on each call and returned the visibility tag without the publication marker, and the 1553 rule says a dead pub function is deleted rather than narrowed; an out-of-crate probe reached it before the delete and fails to compile on that name alone after, and seal_under now records why its sibling is gone (#1714) 19198ed2 · 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.