Tom: After the sonic cleaning, I would give all the parts you have removed a nice oil bath (or ballistol if you have) and then wipe them as dry as possible with cotton cloth (old T shirts are a good source). Since you have opened it quite a bit in order to remove a broken hammer, I would completely disassemble the entire action, clean, oil and wipe all parts. I would use light gun grease on the bolts, the main spring plunger and the top lever. There may be other opinions but that is what I would do. Can you post some pictures of the broken hammer? Is the hammer broken or is it the mainspring pin that holds the hammer and the hammer stirrup together that is broken?
Cheers
Jack

Left Hammer with Hammer Stirrup
Three parts here. The hammer and the stirrup are joined by the Mainspring Pin, which appears to be lightly staked. Discretion says not to disassemble, although the pin can be punched out if need be, for example to replace a cracked or broken hammer or stirrup. The last three digits of the serial number are stamped on the inside face. The outside face is smooth. The same applies to the Right Hammer, allowing one to correctly determine left or right hammer in the event of forgetting the correct orientation. The hammer rotates on the hammer screw to the cocked or fired position. There is a cut out on the hammer stirrup that fits approximately 1/4 of the circumference of the hammer screw, which allows for its required movement to stay in place in the mainspring plunger when the mainspring is compressed or extended.