I don't fully understand mechanics and there is no good documentation - the only way is to go through the code, but I'm not so fluent plus time constraints...

I agree it's not easy to find that information, but it might be a sticking point in this analysis.

Assuming that your assumption is correct though, I'm not sure about your calculation of the staking coins S = nI - nB, since this equals n(I - B) which could be negative if I'm understanding correctly; in other words I'm not sure that C = nB.

Regarding the time constraints, I completely understand, I'm struggling with finding time to contribute myself. I think that we can all help each other refine our models, we don't have to work alone. Your analysis of/response to my model has altered the approach I'm taking.