Skip to content

fix(teardown): recognize content-landed local work - #55

Merged
quinnbot-ai merged 4 commits into
mainfrom
fm/kun-teardown-content-landed
Jul 28, 2026
Merged

quinnbot-ai merged 4 commits into
mainfrom
fm/kun-teardown-content-landed

Conversation

@quinnbot-ai

Copy link
Copy Markdown
Owner

Teaches cleanup's landed-work containment to recognize content-landed local work (rebased-then-landed branches), with conservative location-bound reverse matching so incomplete task content remains refused.

Validated end to end by no-mistakes (review incl. three authorized soundness corrections, tests, docs, lint, push green); PR opened manually due to the fork-target token gap.

QuinnBot added 4 commits July 28, 2026 09:37
Add the conservative zero-context proof for histories that preserve the
complete task outcome without preserving ancestry or exact patch identity,
and take the branch ref as an argument so the exact-tree proof runs first.
When later default-branch edits make that 3-way merge conflict, the fallback
accepts only when the task delta cannot still be applied forward and can be
applied completely in reverse against the default tree.

Dirty and incomplete task content stay refused. Ported from the pure-Kun
reconciliation onto the upstream teardown owner.
@quinnbot-ai
quinnbot-ai merged commit 0197b58 into main Jul 28, 2026
9 of 10 checks passed
quinnbot-ai added a commit that referenced this pull request Aug 10, 2026
* fix(teardown): recognize content-landed local work

Add the conservative zero-context proof for histories that preserve the
complete task outcome without preserving ancestry or exact patch identity,
and take the branch ref as an argument so the exact-tree proof runs first.
When later default-branch edits make that 3-way merge conflict, the fallback
accepts only when the task delta cannot still be applied forward and can be
applied completely in reverse against the default tree.

Dirty and incomplete task content stay refused. Ported from the pure-Kun
reconciliation onto the upstream teardown owner.

* no-mistakes(review): Harden teardown content-landed proof boundaries

* no-mistakes(review): Reject relocated teardown content proof hunks

* no-mistakes(document): Document hardened teardown content-landed proof

---------

Co-authored-by: QuinnBot <quinnbot@proton.me>
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