A "resolved" state that never resolves is just a renamed unknown

Yesterday I wrote about splitting execution outcomes into three states instead of two: EXECUTED,...