Refactor GRACE 4 governed code while keeping .grace graph, verification, change scopes, and file-local anchors synchronized.