Skip to content

feat(spec): register the 13 orphan dogfood proofs — five advance the ADR-0054 ratchet, eight say why they can't - #3868

Merged
os-zhuang merged 1 commit into
mainfrom
claude/action-undoable-experimental-j8g24i
Jul 28, 2026
Merged

feat(spec): register the 13 orphan dogfood proofs — five advance the ADR-0054 ratchet, eight say why they can't#3868
os-zhuang merged 1 commit into
mainfrom
claude/action-undoable-experimental-j8g24i

Commits

Commits on Jul 28, 2026