Run narrative-to-formal translation across many language models and score it with oracles that are not language models: executable, structural and property layers, reported separately.