Skip to content

fix(spec): re-read four sharing proof-registry reasons now that sharing_rule is governed - #18797

Merged
os-bill merged 1 commit into
mainfrom
claude/issue-18589-proof-registry-stale-blocked-reason
Sep 17, 2026
Merged

os-bill merged 1 commit into
mainfrom
claude/issue-18589-proof-registry-stale-blocked-reason

fix(spec): stop four liveness proof entries asserting a premise #1858…

968d6e0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar