Skip to content

Enforce the two decidable sub-cases of stale_claim_survives_its_own_correct_edit (declared-symbol citations; lifecycle-bounded referents modeled, not stringly) - #10595

Closed
gunbai-bot[bot] wants to merge 1 commit into
mainfrom
session/tidy-heron-873
Closed

Enforce the two decidable sub-cases of stale_claim_survives_its_own_correct_edit (declared-symbol citations; lifecycle-bounded referents modeled, not stringly)#10595
gunbai-bot[bot] wants to merge 1 commit into
mainfrom
session/tidy-heron-873

Commits

  1. Commits on Sep 5, 2026