Most of this is just noise; a proof demonstrates an equivalence, it does not create it, which is a crucial distinction for the discipline. The equivalence between sensitivities is an inherent property of models, not an act of generation by mathematical formalization. We do not create the rules of the CMVM by proving their existence.
The confusion between demonstration and creation is a posture to avoid in order not to overestimate the theoretical impact on the controllable reality.
For example, the effectiveness of a tokenized asset on the market exists independently of proof of its pricing mechanism, even if this is necessary for its regulation.