Apparently, these are bitwise identical to firmware of DEC Pro controller Rev.1 (P/N 54-15134-01) -- ROMs 071B2, 072B2, 073B2... wonder if DEC published firmware source for it?
that's a useful data point. is the pro hard disk controller schematic somewhere? I think I looked for it when this came up and I don't think I found it