@Colin_Edwards and the rest of the thread.
I need everybody to understand that there is a difference between K as a parameter and the actual K, actual decentralization of stake and block production, of the Cardano network. A few epochs ago I started quantifying K-effective, the actual distribution of stake across independent groups. K-effective is the metric you and Charles are looking for to quantify real decentralization performance.
https://twitter.com/DrLiesenfelt/status/1497047709123022848
The current K-effective of Cardano is about 41. There is absolutely no mathematical way to justify an increase from k-parameter of 500 to k-parameter of 750 or 1000 with the network is really at k-effective=41. In fact, if you really want the network to operate more efficiently you will propose a reduction of k-parameter to approximately 100. An increase of k-parameter is only mathematically justified when the effective decentralization (k-effective) of the real network meets or exceeds the k-parameter.
From Epoch 323: