Even if the algorithm was correct, the remaining staff will now focus on gaming the perceived productivity metrics. We all know what that means for actual productivity.
Reminds me when I was teasing my coworker in the project that 75% of our source code was written by me - I had committed a bunch of icons as XPM files to our source code :)
(I can't remember whether he consequently reindented all those files...)
I once had a boss who measured productivity in lines of code. We had two developers. A changed line counted, as did a new line.
So... every week, I'd fire up the code formatter and change a setting for indents (2 spaces or 4, new line for curley braces, etc) and reformat all the code. My parter would refactor the most common function names. We were amazingly productive.
One of the bad managers I've recently shifted jobs away from, achieved tons of "productivity" by shifting Confluence pages written by others, so he appears as the author.
The group I'm in is hiring for C/C++ systems. Experience with safety is a huge plus. If you give an email address I can send you some job listings. If you're interested we can go from there. I'm just an engineer so I can't bring you straight to an interview but I know we're having trouble hiring systems engineers; I could at least pass your resume on directly.