Exact (stable instruction, canonical fact) state stored once per run.
(stable instruction, canonical fact)