docs: close the glossary recall gap, and name the cheap-refutation criterion - #1386

docs: close the glossary recall gap, and name the cheap-refutation criterion#1386

ms2sato wants to merge 1 commit into

mainms2sato/agent-console:mainfrom

worktree-docs+glossary-recall-and-universal-claimsms2sato/agent-console:worktree-docs+glossary-recall-and-universal-claimsCopy head branch name to clipboard