Skip to content

test(cli): cover workspace registration mismatch#664

Merged
enricopiovesan merged 1 commit into
mainfrom
codex/issue-637-http-api-coverage
Jul 13, 2026
Merged

test(cli): cover workspace registration mismatch#664
enricopiovesan merged 1 commit into
mainfrom
codex/issue-637-http-api-coverage

Conversation

@enricopiovesan

Copy link
Copy Markdown
Collaborator

Summary

Cover the public HTTP workspace-capability registration path when body workspace_id does not match the URL workspace.

Governing Spec

  • 033-http-json-api

Project Item

Refs #637

Definition of Done

  • Mismatched body and URL workspace IDs return the stable invalid_workspace_id response.

Validation

  • cargo test -p traverse-cli workspace_capability_registration_rejects_mismatched_body_workspace

@enricopiovesan enricopiovesan enabled auto-merge (squash) July 13, 2026 19:42
@enricopiovesan enricopiovesan force-pushed the codex/issue-637-http-api-coverage branch from d53cae9 to 824c4be Compare July 13, 2026 19:57
@enricopiovesan enricopiovesan merged commit 46a207e into main Jul 13, 2026
26 checks passed
@enricopiovesan enricopiovesan deleted the codex/issue-637-http-api-coverage branch July 13, 2026 20:01
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