zara-coding: freeze completed symbolic task state #358

Open
nsaspy wants to merge 0 commits from rage/246-freeze-completed-task into main
Owner

RED-first slice for #246 under #1.

Exact RED head 0812966b0d2b2edfa343cc17ea6f55daffd40d34 requires completed tasks to reject both repeated completion and later evidence mutation with task-already-completed, preserving terminal state and evidence.

No Core changes, cross-plugin private imports, arbitrary Prolog execution, or second runtime.

RED-first slice for #246 under #1. Exact RED head `0812966b0d2b2edfa343cc17ea6f55daffd40d34` requires completed tasks to reject both repeated completion and later evidence mutation with `task-already-completed`, preserving terminal state and evidence. No Core changes, cross-plugin private imports, arbitrary Prolog execution, or second runtime.
Some checks failed
CI / test (pull_request) Failing after 19s
This branch is already included in the target branch. There is nothing to merge.
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin rage/246-freeze-completed-task:rage/246-freeze-completed-task
git switch rage/246-freeze-completed-task

Merge

Merge the changes and update on Forgejo.

Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.

git switch main
git merge --no-ff rage/246-freeze-completed-task
git switch rage/246-freeze-completed-task
git rebase main
git switch main
git merge --ff-only rage/246-freeze-completed-task
git switch rage/246-freeze-completed-task
git rebase main
git switch main
git merge --no-ff rage/246-freeze-completed-task
git switch main
git merge --squash rage/246-freeze-completed-task
git switch main
git merge --ff-only rage/246-freeze-completed-task
git switch main
git merge rage/246-freeze-completed-task
git push origin main
Sign in to join this conversation.
No description provided.