fn global_ids(text: &str) -> Vec<String>
The proof-validity ids every proof rests on: “proof-validity trust (V7–V11)”.