The complication comes when sell (F x ST) amount of PPC is an unexecutable action when there isnāt F x ST amount in the reserve. The motion should have qualified the sell by āas much as the reserve allows.ā so the calculator will code the cases.
You think any motion is not for the future? This motion is for the future. The calculator is for the future. A sloppy motion has to be patched to avoid being broken the first time it is applied because it didnāt try hard enough to be rigorous. The whole idea of trying to codify what to do will be seen as a dubious exercise if sloppiness is shown everywhere.
How about a motion to require any proposer of passed motion that is relevant to buyback to do a line-by-line calculation by hand, correctly, before that particular case is coded into the calculator? Any other case wonāt be coded until the proposer does the above in the future?