Skip to content

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

Merged
hyperpolymath merged 10 commits into
mainfrom
claude/new-session-th4e9w-parallel-race-model
Nov 9, 2026
Merged

proof(agda): model the speculative CAS + cancel-token race; replace the trivial cancellation-safety lemma#470
hyperpolymath merged 10 commits into
mainfrom
claude/new-session-th4e9w-parallel-race-model

docs(proofs): winner-is-first names the first prover to reach the CAS

50ccfc0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar