Yes, the carbs sound stock but the big question is, stock from what year? They changed a bit (sometimes a lot) about every two years. To track down the correct replacement parts and to properly re-jet them, you have to know the carb set year. So yes, post some pics of the carbs and we can probably I.D. them.
Yes, dual points were stock up through 1979. The finned aluminum box could be a combo regulator/rectifier, used from '80 on. The problem is, it doesn't reto-fit to a '79 or older motor without doing some changes in how the brushes are wired. If you just slap one on, it will appear to work but will overcharge. Eventually, that can fry the entire charging system. A local new guy near me got 640 miles before he fried his, lol. I told him that set-up wasn't right but he just wanted to ride ..... now a near free to $30 fix will cost him as much as several hundred. They say that ignorance is bliss but I'm not seeing it here, lol.