The following is a comment, I'm posting it in answer space since it is too large for the comment space.
In a Jan. 2020 answer to a question about derivation in physics stackexchange contributor Kevin Zhou (@knzhou) pointed out the following:
[...] in physics, you can often run derivations in both directions: you can use X to derive Y, and also Y to derive X. That isn't circular reasoning, because the real support for X (or Y) isn't that it can be derived from Y (or X), but that it is supported by some experimental data D. This two-way derivation then tells you that if you have data D supporting X (or Y), then it also supports Y (or X).
I'm quoting that statement here to emphasize the following: while it is the case that from assumption of conservation of energy the logical implications that you describe do follow, no wider conclusions can be drawn. The logical steps are correct, but they do not shed new light.
In any logical system there is great freedom to interchange theorem and axiom without changing the content of the system.
The Work-Energy theorem is obtained by deriving it from F=ma
The Work-Energy theorem:
$$ \int_{s_0}^s F \ ds = \tfrac{1}{2}mv^2 - \tfrac{1}{2}mv_0^2 $$
It follows from the work-energy theorem that in the course of physics taking place the rate at which the kinetic energy is changing will be equal to the rate at which the potential energy is changing - with opposite sign.
Hence: the value of the sum of kinetic energy and potential energy will remain the same.
Next:
There is a close connection between the Work-Energy theorem and Hamilton's stationary action.
Both are expressed in terms of kinetic and potential energy.
From both $F=ma$ can be recovered.
In fact:
In cases where the work-energy theorem holds good: Hamilton's stationary action holds good also.