Your boys have been busy!
As you know, I tended to concentrate on supervising the gleaning of materials from the ocean currents, but I noticed that the piles of excess material tended to diminish from time to time. Excellent!
Ocean harvesting, GCNR/REs, outfitting and equipping Habitats A and B, and finding personnel for the various hydroponics and other agricultural projects has occupied most of my time.
I've had very little extra time available to investigate my own projects. Everything in my labs is just hanging fire until we get some quiet time.
I did make sure we had those "Radioactive Material Disposal Canisters" operational though, just in case. Now I need to see about retrofitting the GCNR/REs with "asteroid-mining" prospecting LASERs on their noses. Multi-spectral, of course.
Since they are normally parked on the Thrust Ring, that gives them a "Forward Look" that will eventually make it possible to use them as asteroid or meteor defense systems.
Sir Isaac will not be disturbed by their operation.
Test cases show they should just kinda fall apart along the seam. Of course, energy requirements are phenomenal. We'd need to dedicate a significate portion of our reactor output to the task. Think of it as a "Death Star Superlaser" that doesn't actually blow anything into tiny pieces. Just Ginsu's them.