I confirmed that the TMS1700 ROM word address decoder (between the ROM and RAM arrays) is the same as the first 32 rows of the TMS1000. Those all have bit 3 = 0, so I assume that when bit 3 = 1, the other 8 bits in the row are used (the ones that would be pages 9-15). The TMS1000 page order is 01234567FEDCBA9, so I used 0123456776543210 for the TMS1700 (when RWA bit 3 = 1, the page order is reversed). I uploaded a new converted ROM file using that logic.