Good luck implementing and then maintaining a project of this size and complexity at ~100 lines of verified code per human developer per day.