Skip to content

fix(ce-proof): update HITL flow for Proof v2#847

Merged
tmchow merged 1 commit into
mainfrom
tmchow/update-ce-proof-hitl-api
May 21, 2026
Merged

fix(ce-proof): update HITL flow for Proof v2#847
tmchow merged 1 commit into
mainfrom
tmchow/update-ce-proof-hitl-api

Conversation

@tmchow
Copy link
Copy Markdown
Collaborator

@tmchow tmchow commented May 21, 2026

Summary

ce-proof now teaches agents the Proof v2-native HITL workflow: read only review comments, make narrow content edits through /edit/v2, batch thread replies/resolutions, and reserve whole-document rewrites for true last-resort cases. This should make Proof review loops faster and safer while avoiding the stale-token, duplicate-mark, and full-rewrite habits that came from the v1-era contract.

The mutation examples now match Proof v2's stricter contract: /ops examples include Idempotency-Key, successful writes chain the next mutationBase.token, and retries that rebuild the body with a fresh baseToken mint a fresh key instead of tripping IDEMPOTENCY_KEY_REUSED.

What changed

  • Reframes HITL content edits around find_replace_in_doc and block-level /edit/v2, with suggestion.add reserved for visible track-change cases and rewrite.apply documented as last resort.
  • Adds efficient comment handling through state?kinds=comment, batched /ops replies/resolves, and comment.reply with resolve: true.
  • Corrects copy-paste examples for Proof v2 mutation safety, including token chaining, idempotency keys on /ops, exact-body retry semantics, and consistent ai:compound-engineering bridge identity.
  • Updates ce-brainstorm, ce-ideate, and ce-plan handoff wording so upstream skills no longer promise tracked suggestions as the default HITL edit path.

Verification

  • bun run release:validate
  • bun test tests/frontmatter.test.ts
  • bun test tests/release-metadata.test.ts
  • git diff --check

Compound Engineering
GPT_5

@tmchow tmchow merged commit 2a46670 into main May 21, 2026
2 checks passed
@github-actions github-actions Bot mentioned this pull request May 21, 2026
LLMpsycho pushed a commit to LLMpsycho/compound-engineering-plugin that referenced this pull request May 21, 2026
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