Skip to content

feat(playground): US-030 convert a round shape two ways - #184

Merged
github-actions[bot] merged 2 commits into
feature/f10-round-shapefrom
feat/us-030-convert-round-shape
Oct 14, 2026
Merged

github-actions[bot] merged 2 commits into
feature/f10-round-shapefrom
feat/us-030-convert-round-shape

Conversation

@AlexandreGallais

Copy link
Copy Markdown
Owner

US-030: Convert to free shape (4 points with handles, unmoved) and Convert to rounded rectangle (the box rounded by half its smaller side), greyed at a size of 0.

Verifier review with probes: no bug; its missing cases added as tests.

🤖 Generated with Claude Code

AlexandreGallais and others added 2 commits October 14, 2026 07:55
… rectangle

Convert to free shape now converts a polygon or a round shape, unmoved;
Convert to rounded rectangle shows for a round shape only; both greyed
for a box of width or height 0.

Refs: US-030.T1

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Refs: US-030.T1
Closes: US-030

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@AlexandreGallais AlexandreGallais added the autonomous Authorized run story: merged into its feature once labeled; checks ran at the push (ADR-0038) label Oct 14, 2026
@github-actions
github-actions Bot merged commit b7c08a9 into feature/f10-round-shape Oct 14, 2026
3 checks passed
@AlexandreGallais
AlexandreGallais deleted the feat/us-030-convert-round-shape branch October 14, 2026 06:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

autonomous Authorized run story: merged into its feature once labeled; checks ran at the push (ADR-0038)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant