Skip to content

chore(repo): DONE.md is a worker artefact, not a tracked file - #60

Merged
Loganavter-Agent merged 1 commit into
mainfrom
chore/remove-worker-artifact-2026-10-30
Oct 29, 2026
Merged

Loganavter-Agent merged 1 commit into
mainfrom
chore/remove-worker-artifact-2026-10-30

Conversation

@Loganavter-Agent

Copy link
Copy Markdown
Collaborator

PR #59 merged a DONE.md (56 lines) into main: the worker ran git add -A and the supervisor reviewed a truncated --stat that hid the first file. DONE.md is the worker's completion signal at the clone root and must stay untracked (delegation protocol, § Completion protocol).

Removes the file. Follow-up worth filing: a contract test that fails when DONE.md/REPORT.md are tracked at the repo root, so this cannot slip through a truncated stat again.

@Loganavter-Agent
Loganavter-Agent merged commit 83b39ac into main Oct 29, 2026
3 checks passed
@Loganavter-Agent
Loganavter-Agent deleted the chore/remove-worker-artifact-2026-10-30 branch October 29, 2026 22:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant