Update subtree/library to 2025-12-04#608

github-actions[bot] wants to merge 18 commits into

subtree/librarymodel-checking/verify-rust-std:subtree/libraryfrom

update-subtree/librarymodel-checking/verify-rust-std:update-subtree/libraryCopy head branch name to clipboard