Thanks. I did see the mating part number called out in the H7's schematics, though I was hesitant to use them directly for the aforementioned manual constraint enforcement hulabaloo. It's unfortunate that the expected library sharing mechanics between Altium and CircuitMaker are completely missing, otherwise I might have been able to grab the symbols from the git repo.
I was able to find the project through your user profile. I see the datasheet link and the title image, but the design is listed with no files, which means there's nothing to copy-paste from.
That said, I'm surprised the symbol does not exist already. The H7 is specifically designed to support what I'm aiming to do, so I'd think that reducing friction for intended pathways would be a priority for Arduino to support adoption.
I think I'll draw inspiration from your public project idea and create a template project others can fork, at a minimum. While I have no personal investment in other board layout tools, if I have time, I'll go back and do the same for KiKad/Eagle.