"lithium-ion batteries .. degrade after just 1,000 cycles"
If you charge your car battery twice a week and complete a full cycle then we are still talking about like 9 years to reach 1000 cycles.
If you charge your phone every day, and do a full cycle, then we are close to 2.7 years. But you will probably not do a full cycle.
So, I guess lithium-ion batteries are not really that bad.
Norway as a state may be rich. but the state is also very afraid of spending too much money within the country as not to drive up inflation, salaries etc. In Norway the school children do not even get free/hot lunches (compared to e.g. Sweden).
According to Flightradar24, https://twitter.com/flightradar24/status/1742136715253313938, the Japanese coast guard aircraft was not equipped with a ADS-B transponder. Probably because it's not a requirement for military aircraft. That can explain why the ATC and/or JAL was not aware of the exact location of the plane.
"If everything is made rigorous:
You would have a valid independent proof It would contain real structural insight It would not replace the flow proof as the “best” proof
But:
It would still be a meaningful alternative proof with explanatory power, not just a redundant one."