You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
// FORMAT THEOREM: image_build_success -> executable(/usr/local/bin/plan-to-git)
94
95
// PURITY: SHELL
95
-
// EFFECT: Docker build downloads and installs a pinned Rust CLI from GitHub.
96
-
// INVARIANT: plan-to-git is available on PATH with Claude hooks and sync --pr before agent hooks or git post-push actions run.
96
+
// EFFECT: Docker build downloads and installs the current main branch Rust CLI from GitHub.
97
+
// INVARIANT: plan-to-git is available on PATH with Claude hooks and sync --pr before agent hooks or git post-push actions run; moving main changes the remote ADD input and invalidates the install layer.
97
98
// COMPLEXITY: O(network + cargo_build)
98
99
constrenderDockerfilePlanToGit=(): string=>
99
100
`# Install plan-to-git for multi-agent plan capture and explicit PR sync (issue #397)
0 commit comments