Yes I am AnonyMint.
I haven't been reading the thread to see if there are any follow ups.
I am still analyzing your design. I think the main issue is because afaics witnesses have nothing-at-stake and afaics it can't be objectively determined which witnesses are creating units referencing MCs which create ambiguity about whether finality was really final. It may also not be objective which witnesses are mishaving. But I may not yet completely understand the design.
Don't confuse with PoS, witnesses' stakes are
outside the system.
Looks like you want to get a deep understanding of the design, then you have to read the first few sections of the white paper that discuss consensus.