refactor: rename Effort Graph paths to Proof - #243

Closed

tonyketcham wants to merge 9 commits into

stack/tonyketcham/toeknee/extract-proof-repo/retarget-cursor-agents-external-proof--d40e6118from

stack/tonyketcham/toeknee/extract-proof-repo/rename-effort-graph-paths-proof--529a8212

Commits on Jul 29, 2026

Commits on Aug 1, 2026

chore: move proof to its own repository

tonyketcham
and
cursoragent
committed
f7e8d82
fix: retarget Cursor agents at external Proof

tonyketcham
and
cursoragent
committed
173e300

Commits on Aug 12, 2026

refactor: rename Effort Graph paths to Proof

tonyketcham
and
cursoragent
committed
3c5fd30
fix: retarget Proof path rename leftovers for CI
cursoragent
committed
4fa69c2