I don't understand the Scrum one. Scrum is also agile with short development cycles, and prioritizes communication with the product owners and stakeholders.
I've never heard of lean development, but not a fan of "lean manufacturing," at least not the way it's commonly implemented in the U.S. (using primarily temp workers so they can ramp up and down their workforce as needed; and it also exacerbates supply-chain problems).
If they ever flip back to a Democrat majority, it's going to take decades to undo all the damage this court has done (and they'll still have the incentive to not undo stuff like this).