proof(agda): model the speculative CAS + cancel-token race; replace the trivial cancellation-safety lemma - #470

proof(agda): model the speculative CAS + cancel-token race; replace the trivial cancellation-safety lemma#470

hyperpolymath merged 10 commits into

mainhyperpolymath/echidna:mainfrom

claude/new-session-th4e9w-parallel-race-modelhyperpolymath/echidna:claude/new-session-th4e9w-parallel-race-modelCopy head branch name to clipboard