Most of what is communicated here is noise regarding the nature of equivalence.
A proof does not create the equivalence between sensitivities at a fixed point and those by KKT; it demonstrates it.
The equivalence is an inherent property existing independently of its proof, essential for the discipline of markets.
For institutions like the Caisse de dépôt et placement du Québec, validating a risk model requires that principles be universal truths, not constructions.
The act of proof is a validation, not a genesis, confirming the existence of a underlying reality.