Leonardo’s contribution was published on Fonts In Use now. This ID is still missing. If you have any insights, we’re happy to hear it.
Could it be an old condensed cut of a predecessor to Century Oldstyle?
Thanks for giving me an excuse to flip through my books!
Here's some more material which might bring this closer. My guess is it's a long-lost condensed Old Style from the late 19th century.
Thank you, Ryan! It is definitely a condensed oldstyle. It’s not the one shown by ATF as Lining Oldstyle Condensed No. 522, among other names/numbers: in that version, serifs are longer and rounds more round than in the 1877 application.