ds-ship
Installation
SKILL.md
Own the work from its current state to a merged PR while nobody is watching.
Only act this way when the user clearly asked for it. The request grants three things: run the tests and app checks the proof needs without asking first, force-push this task's own branch with --force-with-lease, and merge once the gate below passes. It grants nothing else.
Steps
- If you are on the default branch, create a new branch.
- Make the smallest change that meets the goal. Fix the case that was reported, not every case that might exist.
- Prove every part of the diff. Reproduce the failure, apply the fix, and run the same reproduction again. Run the checks CI runs. For UI or runtime behavior, run the app and look. Paste the command and its output into your notes.
- Review the change with
ds-review-loop. Re-prove anything the review changed. - Rebase on the latest default branch, then file the PR with
ds-pr. Add one line that says how you proved it. - Watch the PR with
ds-watch-pr. Fix real findings and CI failures, prove each fix, push, and watch again. - Check the merge gate on the latest commit. Merge with the repo's usual method. Never use
--adminor any other bypass. - Report the PR link, merge commit, proof, and every decision you made for the user.
Merge gate, all true on the latest head: proof covers the full diff, required checks are green, review bots are finished, each finding is fixed or answered with a reason, no human review asks for changes, and the branch is current and mergeable.