About the R1000:
We have pretty comprehensive user-side documentation of the R1000, but very, very little from the system/vendor side, so lots of things we simply do not know yet.
We have digitized everything we have here:
https://datamuseum.dk/wiki/Bits:Keyword/RATIONAL_1000
And our top-level wiki-page for the project is here:
https://datamuseum.dk/wiki/Rational/R1000s400
All the doc we have about the hardware type/object stuff and instruction set is in these course-slides:
https://datamuseum.dk/bits/30000916
If you are into data-archaeology and lack for challenges, we have several good outstanding questions for research. For instance the layout of the object-store/filesystem.
If you want to see a R1000 running, and experience the worlds first truly semantic IDE, come to Datamuseum.dk just outside Copenhagen, because we have the only approx 1.83 running R1000 computers.
(We also just started fundraisning for a new permanent building for our huge collection, we are at €113K of €3M goal. See top right corner or homepage or email.)
We know of only four surviving computers, we have two, one is privately owned in NZ and IBM donated one to CHM. The rest have been shredded because of classified mil-spec workload.
If you are local to/affiliated with CHM, and are interested/allowed, we would love to know more about their machine, and if possible, assist to get that running too.
PS: Here is a piece of Ada source code:
http://datamuseum.dk/aa/r1k_backup/13/1329b5ea7.html
And this may be what it compiles into: