fix smem and elab rule generation
separate attempted completions and actual completions
update reporters for last commit
spontaneous retrieval directly proposes do-goal