Skip to content

feat: idd-edit batch × R5 — per-comment refuse + continue (scenario C semantics)#257

Merged
kiki830621 merged 1 commit into
mainfrom
idd/158-batch-r5
Jul 13, 2026
Merged

feat: idd-edit batch × R5 — per-comment refuse + continue (scenario C semantics)#257
kiki830621 merged 1 commit into
mainfrom
idd/158-batch-r5

Conversation

@kiki830621

Copy link
Copy Markdown
Member

Refs #158

Summary

Mixed-OWNER batch × R5 semantics(拍板 2026-07-11:(i) per-comment refuse + 繼續):R5 refuse 由「殺整批 mid-loop」改為 record + continue;新 Step 7.5 outcome report(edited/refused + ✗ REFUSED 顯著行 + override hint);exit contract M=0→0 / M>0→4(單 target 退化等價,行為不變);--override-user-content 明文 all-targets + shared reason。helper 零改動。Fixture 14(8 prose-contract checks)併入 idd-edit suite:31/31。

Checklist

  • Diagnose(focused batch drain)+ 語意拍板 (i)
  • Plan(approved 2026-07-11)
  • Implement (1 commit; idd-edit suite 31/31 RED→GREEN; full sweep 0 fail)
  • Verify
  • Verify-gated: post-verify PASS = ready to merge → after merge, run the /idd-close ritual on this issue — number in the Refs header (manual gate + closing summary; no auto-close trailer)

Generated by /idd-plan → /idd-implement. Do NOT add a GitHub close trailer.

…158)

Lands the decided scenario-C semantics (option i, 2026-07-11): in a
mixed-OWNER batch the R5 author-gate refuse records the target and
continues instead of killing the whole batch on the first non-OWNER
(previous behavior: exit mid-loop — processed targets kept, rest
untouched, the murkiest of the three candidates). New Step 7.5 batch
outcome report (edited/refused counts + highlighted refused rows with
the override hint); exit contract 0 iff no refusals, 4 otherwise —
single-target refuse is degenerate-equivalent to prior behavior.
--override-user-content codified as all-targets + shared reason.
idd-edit-helper.py untouched. Fixture 14 prose-contract checks (8
assertions) integrated into the idd-edit suite: 31/31.

Refs #158
@kiki830621
kiki830621 merged commit dda0cfc into main Jul 13, 2026
1 check passed
@kiki830621
kiki830621 deleted the idd/158-batch-r5 branch July 13, 2026 04:37
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