| 274 | /// (`_private.….«0».…`, `Lean.Order.«term_⊑_»`) while [`Name::pretty`] |
| 275 | /// renders them bare, so a fail-out file written by one side misses a |
| 276 | /// string-keyed lookup on the other. Stripping the guillemets from BOTH |
| 277 | /// the request and the candidate collapses the two renderings onto one |
| 278 | /// key, at the cost of the same flattening ambiguity `pretty` already |
| 279 | /// has. Mirrors `Ix.Cli.ConstsFile.normalizeName` on the Lean side. |