pub fn policy(w: &Wording) -> String
What speccoder tells the model about an attempt; stable for the project.